3.11 Limite supérieure, limite inférieure

On sait qu'une suite bornée peut ne pas converger (ne pas avoir de limite). On va voir ici que l'on peut pourtant toujours définir deux nombres, appelés limite supérieur et limite inférieure, qui donnent des informations sur le comportement de la suite à l'infini.

Soit \((a_n)\) une suite bornée. On définit deux nouvelles suites, \((M_n)\) et \((m_n)\): \[\begin{aligned} M_n&:= \sup \{a_n,a_{n+1},\dots\}\,,\\ m_n&:= \inf \{a_n,a_{n+1},\dots\}\,. \end{aligned}\] Remarquons que \[ m_n\leqslant a_n\leqslant M_n\qquad \forall n\,. \]

Lemme: Les suites \((M_n)\) et \((m_n)\) sont monotones et bornées. Plus précisément,

En particulier, ces deux suites sont convergentes.

Définissons \(A_n:= \{a_n,a_{n+1},\dots\}\). Puisque \(A_{n+1}\subset A_{n}\), on a d'une part que \(\sup A_{n+1}\leqslant \sup A_n\), ce qui donne \[M_{n+1}\leqslant M_n,\] et d'autre part que \(\inf A_{n+1}\geqslant \inf A_n\), ce qui donne \[m_{n+1}\geqslant m_n\,.\] Comme \((a_n)\) est bornée, \((M_n)\) est minorée, et \((m_n)\) est majorée. On a donc existence des limites \(\lim_{n\to \infty} M_n\) et \(\lim_{n\to \infty} m_n\).

On observe ces propriétés sur l'animation ci-dessous. La suite \((a_n)\) est représentée par les points noirs, \((M_n)\) par les points rouges, et \((m_n)\) par les points bleus:

Soit \((a_n)\) une suite bornée, \((M_n)\) et \((m_n)\) définies comme ci-dessus.
  1. La limite supérieure de \((a_n)\) est définie par \[\limsup_{n\to\infty}a_n:= \lim_{n\to \infty} M_n\,.\]
  2. La limite inférieure de \((a_n)\) est définie par \[\liminf_{n\to\infty}a_n:= \lim_{n\to \infty} m_n\,.\]

Remarque:

Exemple: Considérons la suite \(a_n=(-1)^n\), qui comme on le sait est bornée mais ne possède pas de limite. D'une part, \(M_n=+1\) pour tout \(n\), et donc \[ \limsup_{n\to\infty} a_n=+1\,. \] D'autre part, \(m_n=-1\) pour tout \(n\), et donc \[ \liminf_{n\to\infty} a_n=-1\,. \]

On peut utiliser les \(\liminf/\limsup\) pour formuler un critère pour l'existence de la vraie limite d'une suite:

Théorème: Soit \((a_n)\) une suite bornée. Alors \((a_n)\) converge et sa limite vaut \(\lim_{n\to \infty} a_n=L\) si et seulement si \[\liminf_{n\to\infty}a_n=\limsup_{n\to\infty}a_n=L\,.\]

(Voir la vidéo)

Quiz 3.11-1 : Soit \((a_n)\) une suite bornée dont la limite supérieure vaut \(L\). Vrai ou faux?
  1. () \(a_n\to L\).
  2. () \(a_n\leqslant L\) pour tout \(n\geqslant 1\).
  3. () Si \(a_n=C\) pour tout \(n\) suffisamment grand, alors \(L=C\).
  4. () \((a_n)\) est croissante.
  5. () \(L\) est la plus grande valeur de la suite \(\{a_1,a_2,\dots\}\).
  6. () \(\sup\{a_1,a_2,\dots\}=L\).
  7. () Pour tout \(\varepsilon\gt 0\), il existe une infinité d'indices \(n\) pour lesquels \(a_n\geqslant L-\varepsilon\).
Quiz 3.11-2 : Vrai ou faux?
  1. () \(\displaystyle\limsup_{n\to\infty} (a_n+b_n)= \bigl(\limsup_{n\to\infty}a_n\bigr)+ \bigl(\limsup_{n\to\infty}b_n\bigr)\)
  2. () \(\displaystyle\limsup_{n\to\infty} (a_nb_n) =\bigl(\limsup_{n\to\infty}a_n\bigr) \bigl(\limsup_{n\to\infty}b_n\bigr)\)




---- (Dernière modification: 2022-10-31 (07:27:51)) ----