Limite supérieure et limite inférieure

En analyse réelle, les limites inférieures et supérieures sont des outils d'étude des suites de nombres réels. Une telle suite n'est en général ni monotone, ni convergente. L'introduction des limites supérieure et inférieure permet de retrouver, partiellement, de telles propriétés. Il s'agit d'un cas particulier de valeurs d'adhérence de la suite.

Exemple de recherche de limites inférieure et supérieure. La suite (x_n)_n est représentée en bleu.

Définitions

Si $(u_{n})_{n\geq 0}$ est une suite bornée de réels, les suites définies par

v_{n}=\sup\{u_{k}\mid k\geq n\}{\text{ et }}w_{n}=\inf\{u_{k}\mid k\geq n\}

sont respectivement décroissante et croissante. De plus, pour tout $n$ ,

w_{n}\leq u_{n}\leq v_{n}.

Ce sont donc des suites convergentes, d'après le théorème de la limite monotone. On pose

\limsup _{n\rightarrow +\infty }u_{n}=\lim _{n\rightarrow +\infty }v_{n}{\text{ et }}\liminf _{n\rightarrow +\infty }u_{n}=\lim _{n\rightarrow +\infty }w_{n},

ou, ce qui est équivalent :

\limsup _{n\rightarrow +\infty }u_{n}=\inf(v_{n})_{n\geq 0}{\text{ et }}\liminf _{n\rightarrow +\infty }u_{n}=\sup(w_{n})_{n\geq 0}.

Ces nombres sont appelés limite supérieure et limite inférieure de la suite $(u_{n})_{n\geq 0}$ .

Cette définition s'étend telle quelle aux suites réelles non nécessairement bornées ou même aux suites à valeurs dans ℝ = ℝ $\cup {-\infty, +\infty}$ et donne alors, par exemple :

\limsup _{n\rightarrow +\infty }u_{n}=+\infty

si la suite n'est pas majorée par un réel,

et

\liminf _{n\rightarrow +\infty }u_{n}=-\infty

si la suite n'est pas minorée par un réel.

Exemples

$\limsup _{n\rightarrow +\infty }(-1)^{n}=1,\ \liminf _{n\rightarrow +\infty }(-1)^{n}=-1$
$\limsup _{n\rightarrow +\infty }\sin n=1,\ \liminf _{n\rightarrow +\infty }\sin n=-1$

Propriétés

$\liminf(-u_{n})=-\limsup u_{n}.$
Les limites inférieure et supérieure d'une suite u à valeurs dans le compact ℝ sont respectivement sa plus petite et sa plus grande valeur d'adhérence, autrement dit[1], par exemple pour la limite supérieure L de u :
- Pour tout $L' > L$ , il n'y a qu'un nombre fini de $k$ tels que $u k \geq L'$ .
  En effet, la convergence vers $L$ de la suite $v$ montre que $v n < L'$ pour $n$ assez grand, et pour un tel $n$ on a : $\forall k\geq n,\quad u_{k}\leq v_{n}<L'$ .
- Pour tout $L" < L$ , il y a une infinité de $k$ tels que $u k > L"$ .
  En effet, pour tout $n$ , $L" < v n$ . D'après la définition même de la borne supérieure (plus petit des majorants), il existe $k \geq n$ tel que $L" < u k$ .

(La finitude de $lim sup$ — ou de $lim inf$ — pour une suite bornée fournit donc une preuve sophistiquée d'un cas particulier — par ailleurs élémentaire — du théorème de Bolzano-Weierstrass.)

D'après le point précédent, les limites inférieure et supérieure d'une suite sont égales si et seulement si la suite admet une limite (finie ou infinie), et la limite est alors cette valeur commune.

Application : formule de Cauchy-Hadamard

La formule de Hadamard donne l'expression du rayon de convergence $R$ d'une série entière $\sum _{n=0}^{\infty }a_{n}z^{n}\$ en termes d'une limite supérieure : ${\frac {1}{R}}=\limsup _{n\to \infty }\left(|a_{n}|^{1/n}\right).$ Cette formule découle de l'application de la règle de Cauchy.

Généralisations

On peut généraliser la notion de suite numérique et de ses limites supérieure et inférieure dans deux directions : en modifiant l'ensemble ℝ dans lequel la suite prend ses valeurs ou l'ensemble ℕ des indices.

Suites dans un treillis complet

La définition des limites supérieure et inférieure pour une suite numérique correspond à la relation d'ordre sur la droite réelle achevée, mais s'applique encore pour une suite à valeurs dans n'importe quel treillis complet, c'est-à-dire n'importe quel ensemble ordonné où toute partie possède une borne supérieure et une borne inférieure :

\limsup u_{n}=\inf _{n}\left(\sup _{k\geq n}u_{k}\right)\qquad {\text{et}}\qquad \liminf u_{n}=\sup _{n}\left(\inf _{k\geq n}u_{k}\right).

En particulier dans le treillis de l'ensemble des parties d'un ensemble (ordonné par l'inclusion), $\limsup$ et $\liminf$ sont définies pour une suite $(A_{n})_{n\geq 0}$ de parties par :

\limsup A_{n}=\cap _{n}\left(\cup _{k\geq n}A_{k}\right)\qquad {\text{et}}\qquad \liminf A_{n}=\cup _{n}\left(\cap _{k\geq n}A_{k}\right).

On peut remarquer que la fonction indicatrice de la limite supérieure de la suite $(A_{n})$ est égale à la limite supérieure de la suite des fonctions indicatrices des $A_{n}$ , et de même pour les limites inférieures.

$\limsup A_{n}$ est l'ensemble des $x\in E$ qui appartiennent à $A_{n}$ pour une infinité d'indices $n$ , et $\liminf A_{n}$ est l'ensemble des $x\in E$ qui appartiennent à tous les $A_{n}$ à partir d'un certain rang. Ces notions jouent un rôle important en calcul des probabilités, dans la démonstration de la loi forte des grands nombres. Voir par exemple le lemme de Borel-Cantelli.

Suites généralisées

La définition des limites supérieure et inférieure d'une suite (à valeurs dans ℝ) s'étend telle quelle à une suite généralisée, c'est-à-dire à une famille (u_i)_i∈I d'éléments de ℝ indexée par un ensemble ordonné filtrant $I$ qui n'est plus nécessairement l'ensemble des entiers naturels :

\limsup u_{i}=\inf _{i\in I}\left(\sup _{k\geq i}u_{k}\right)\qquad {\text{et}}\qquad \liminf u_{i}=\sup _{i\in I}\left(\inf _{k\geq i}u_{k}\right).

Plus généralement, si $X$ est un ensemble muni d'un filtre ℱ, les limites supérieure et inférieure suivant ce filtre[2] d'une fonction $f$ de $X$ dans ℝ sont définies par :

\limsup _{\mathcal {F}}f=\inf _{V\in {\mathcal {F}}}\left(\sup _{x\in V}f(x)\right)\qquad {\text{et}}\qquad \liminf _{\mathcal {F}}f=\sup _{V\in {\mathcal {F}}}\left(\inf _{x\in V}f(x)\right)

et l'on peut, dans les seconds membres, remplacer le filtre ℱ par l'une quelconque de ses bases.

En particulier, si $f:X\to \mathbb {R}$ est une fonction numérique définie sur un espace topologique, on peut définir $\limsup _{x\to a}f(x)$ . Cela permet par exemple de définir les nombres dérivés[3] d'une fonction $f:\mathbb {R} \to \mathbb {R}$ . Ce sont les « nombres » (éventuellement égaux à $\pm\infty$ )

{\begin{aligned}\limsup _{h\to 0^{+}}{\frac {f(a+h)-f(a)}{h}},&\qquad \liminf _{h\to 0^{+}}{\frac {f(a+h)-f(a)}{h}},\\\limsup _{h\to 0^{-}}{\frac {f(a+h)-f(a)}{h}},&\qquad \liminf _{h\to 0^{-}}{\frac {f(a+h)-f(a)}{h}}.\end{aligned}}

Notes et références

Pierre Colmez, Éléments d'analyse et d'algèbre (et de théorie des nombres), Palaiseau, Éditions de l'École Polytechnique, 2009, 469 p. (ISBN 978-2-7302-1563-3, lire en ligne), p. 63.
N. Bourbaki, Éléments de mathématique (lire en ligne), p. TG IV.23.
Henri Lebesgue, Leçons sur l'intégration et la recherche des fonctions primitives, AMS, 2003 (réimpr. 2003), 3^e éd., 340 p. (ISBN 978-0-8218-3498-5, lire en ligne), p. 71.

Portail de l'analyse

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Pierre Colmez, Éléments d'analyse et d'algèbre (et de théorie des nombres), Palaiseau, Éditions de l'École Polytechnique, 2009, 469 p. (ISBN 978-2-7302-1563-3, lire en ligne), p. 63.

[2] N. Bourbaki, Éléments de mathématique (lire en ligne), p. TG IV.23.

[3] Henri Lebesgue, Leçons sur l'intégration et la recherche des fonctions primitives, AMS, 2003 (réimpr. 2003), 3^e éd., 340 p. (ISBN 978-0-8218-3498-5, lire en ligne), p. 71.