File failed to load: https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/extensions/TeX/xypic.js

Mathjax

jeudi 7 septembre 2023

Limite "+" et limite "-" (convergence par valeurs inférieures et par valeurs supérieures)

Dans cet article, nous donnons une définition sur les limites finies. Elle permet de préciser si une suite qui converge vers un réel x, à partir d'un ceertain rang ne prend que des valeurs supérieurs ou inférieurs à x.

Nous en déduirons des propriétés sur les limites des suites opposées et des suites inverses.

Définition

Soit (u_n) une suite convergente vers un réel x.

  • S'il existe un rang N tel que n\geq N implique u_n> x , alors on dit que (u_n) converge vers x par valeurs supérieures, et on note \lim_n u_n=x^+ .
  • S'il existe un rang N tel que n\geq N implique u_n< x , alors on dit que (u_n) converge vers x par valeurs inférieures, et on note \lim_n u_n=x^- .


Remarque 1.

  • \lim_n u_n = x^+ équivaut à \forall \varepsilon>0, \exists N>0, 0 < u_n-x<\varepsilon
  • \lim_n u_n = x^- équivaut à \forall \varepsilon>0, \exists N>0, 0 < x-u_n<\varepsilon


Exemple 1. 

\lim \frac 1 n = 0^+. En effet, on sait que \lim_n \frac 1 n=0 (voir dernière propriété de l'article Limite d'une suite). De plus pour tout entier naturel non-nul n, u_n>0 nous permet de préciser la convergence vers 0^+


Opposé et inverse

Propriété 1. (u_n) converge vers x^+ si et seulement si (-u_n) converge vers (-x)^-.


Exemple 2. Soit (v_n) la suite définie par v_n=2-\frac 1 {n^2} pour tout n non-nul. 

Alors grâce à la propriété 1 de l'article [Toute suite convergente est bornée, somme et produit de suites convergentes, inverse d'une suite convergente] et à l'exemple 1 plus haut, on a 

\lim_n \frac 1{n^2}=\lim_n \frac 1 n \frac 1 n = 0\times 0 = 0

D'après la même propriété (la partie sur la limite d'une somme), on a \lim_n =2-\frac 1 {n^2}=2

Comme de plus \frac 1 {n^2}>0, on a \lim_n 2-\frac 1 {n^2}<2  , on a la précision, \lim_n 2-\frac 1 {n^2} = 2^-

Ainsi d'après la propriété 1 ci-dessus, 

\lim_n -2+\frac{1}{n^2}=(-2)^+ 


Remarque 2. On pourrait dire que -(x^+) = (-x)^- et que -(x^-)=(-x)^+.


Démonstration de la propriété 1.

\lim_n u_n = x^+ équivaut à d'après la remarque 1 à \forall \varepsilon>0, \exists N>0, 0 < u_n-x <\varepsilon .


Or l'égalité 0 < u_n-x <\varepsilon équivaut à 0<-(-u_n)+(-x)<\varepsilon c'est-à-dire à 0<(-x)-(-u_n)<\varepsilon


On peut donc en déduire que 

\lim_n u_n = x^+ équivaut à \forall \varepsilon>0, \exists N>0, 0<(-x)-(-u_n)<\varepsilon qui équivaut à \lim_n (-u_n)=(-x)^-.


Propriété 2. Soit (u_n) une suite.

(1) Si \lim_n u_n = 0^+, alors \lim_n \frac 1 {u_n}=+\infty.

(2) Si \lim_n u_n = 0^-, alors \lim_n \frac 1 {u_n}=-\infty


Démonstration. Tout d'abord, dans les cas (1) et (2) \frac 1 {u_n} existe à partir d'un certain rang N. En effet, il existe un rang N tel que n\geq N implique u_n>0 (cas (1)) et u_n<0 (cas (2)).


Démontrons d'abord le cas (1). Prenons un réel A>0. On sait qu'il existe un N=N_{\frac 1 A}, tel que n\geq N implique 0<u_n<\frac 1 A . Donc pour n\geq N, on a \frac 1{u_n}> A .

Cela prouve que \lim_n \frac 1 {u_n}=+\infty


Pour montrer le (2), on peut considérer la suite (-u_n) et se ramener au cas (1). On utilise la propriété 1 pour conclure.


Exemple 3. Soit k\geq 1 un entier. Alors la suite (u_n) définie par u_n=n^k diverge vers +\infty. On a \lim_n n^k=+\infty


Démonstration. Tout d'abord, notons pour tout n non-nul, w_n=\frac 1{u_n}=\frac{1}{n^{-k}}


Comme k>0, -k<0. Ainsi d'après l'exemple à la fin de l'article [Toute suite convergente est bornée....], on en déduit que \lim_n w_n = 0. Comme tous les termes de (w_n) sont positifs, on a la précision  \lim_n w_n = 0^+. Enfin comme pour tout entier n\geq 1 , u_n=\frac 1{w_n}, on en conclut que \lim_{u_n}=+\infty.


Une dernière propriété pour finir qui est la réciproque de la propriété 2.


Propriété 3. Soit (u_n) une suite. 

(1) Si \lim_n u_n = +\infty, alors \lim_n \frac{1}{u_n} =0^+

(2) Si \lim_n u_n = -\infty, alors \lim_n \frac{1}{u_n} =0^-


Démonstration. Tout d'abord, comme pour la propriété 2, la suite (\frac 1 {u_n}) est définie à partir d'un certain rang dans le cas (1) comme dans le cas (2). En effet, dans les deux cas, les termes de (u_n) sont tous strictement positifs dans le cas (1) et tous strictement négatif dans le cas (2). 


Cas (1). Soit \varepsilon>0, et soit A=\frac 1 \varepsilon. Il existe un rang N=N_{\varepsilon}=N_A tel que n\geq N implique 

u_n> A=\frac 1 \varepsilon >0. Cette dernière inégalité implique 

0<\frac 1 {u_n}<\frac 1 \varepsilon


On en déduit que \lim_n \frac{1}{u_n} =0^+.


Cas (2). On peut par exemple, considérer la suite (-u_n) et se ramener au cas (1)

Aucun commentaire:

Enregistrer un commentaire