Théorème de Stolz-Cesàro

En mathématiques, le théorème de Stolz-Cesàro établit une condition suffisante d'existence de limite d'une suite. Un cas particulier de cette version discrète de la règle de l'Hôpital est le lemme de Cesàro.

Son nom vient des mathématiciens Otto Stolz et Ernesto Cesàro.

Énoncé

Soient (u_n) et (v_n) deux suites réelles, avec (v_n) strictement croissante, et satisfaisant l'une des deux hypothèses supplémentaires suivantes :

• (cas 0/0) : $\lim _{n\to \infty }u_{n}=\lim _{n\to \infty }v_{n}=0$ ;
• (cas ∙/∞) : $\lim _{n\to \infty }v_{n}=+\infty$.

${\rm {Si}}\quad \lim _{n\to \infty }{\frac {u_{n+1}-u_{n}}{v_{n+1}-v_{n}}}=\ell \in {\overline {\mathbb {R} }}\quad {\rm {alors}}\quad {\frac {u_{n}}{v_{n}}}\to \ell .$

L'énoncé reste vrai si u_n et ℓ sont des nombres complexes ou, plus généralement, des éléments d'un espace vectoriel normé.

Reformulation

En posant a_n = u_n – u_n–1 et b_n = v_n – v_n–1, l'énoncé devient :

Soient (a_n) et (b_n) deux suites réelles, avec b_n > 0, et telles que ${\frac {a_{n}}{b_{n}}}\to \ell \in {\overline {\mathbb {R} }}.$

• (Cas 0/0) : si les séries ∑a_n et ∑b_n convergent alors ${\frac {\sum _{k=n}^{\infty }a_{k}}{\sum _{k=n}^{\infty }b_{k}}}\to \ell .$
• (Cas ∙/∞) : si ∑b_n diverge alors ${\frac {\sum _{k\leq n}a_{k}}{\sum _{k\leq n}b_{k}}}\to \ell .$

Exemples

Voici deux applications du cas ∙/∞.

• Le lemme de Cesàro s'obtient en posant b_n = 1.
• Soit α > 0. Sachant que$\lim _{n\to \infty }{\frac {(n+1)^{\alpha }-n^{\alpha }}{n^{\alpha -1}}}=\lim _{n\to \infty }{\frac {(1+1/n)^{\alpha }-1}{1/n}}=\left({\frac {\rm {d}}{{\rm {d}}x}}x^{\alpha }\right)_{x=1}=\alpha ,$en posant$a_{n}=(n+1)^{\alpha -1}{\text{ et }}b_{n}=(n+1)^{\alpha }-n^{\alpha }$on trouve :$\lim _{n\to \infty }{\frac {1^{\alpha -1}+2^{\alpha -1}+3^{\alpha -1}+\ldots +n^{\alpha -1}}{n^{\alpha }}}={\frac {1}{\alpha }}.$(Pour α entier, il s'agit du coefficient dominant du polynôme de la formule de Faulhaber.)

Généralisations du cas ∙/∞

• Soient (a_n) et (b_n) deux suites réelles, avec b_n > 0 et ∑b_n = +∞. Alors, les limites inférieure et supérieure de (a_n/b_n) encadrent celles de la suite des quotients de sommes partielles des deux séries :$\liminf _{n\to \infty }{\frac {a_{n}}{b_{n}}}\leq \liminf _{n\to \infty }{\frac {\sum _{k\leq n}a_{k}}{\sum _{k\leq n}b_{k}}}\leq \limsup _{n\to \infty }{\frac {\sum _{k\leq n}a_{k}}{\sum _{k\leq n}b_{k}}}\leq \limsup _{n\to \infty }{\frac {a_{n}}{b_{n}}}.$
• Soient p_{n, k} (n, k ∈ ℕ) des réels positifs tels que$\forall n\in \mathbb {N} \quad \sum _{k}p_{n,k}=1$et s ↦ t la transformation linéaire sur les suites bornées définie par$t_{n}=\sum _{k=0}^{\infty }p_{n,k}s_{k}.$Une condition nécessaire et suffisante pour que cette transformation soit régulière, c'est-à-dire pour qu'elle vérifie$\lim _{n\to \infty }s_{n}=\ell \Rightarrow \lim _{n\to \infty }t_{n}=\ell \quad (*)$est :$\forall k\in \mathbb {N} \quad \lim _{n\to \infty }p_{n,k}=0.$Dans le cas triangulaire inférieur, c'est-à-dire lorsque p_{n, k} = 0 dès que k > n, la transformation s'étend aux suites non bornées, et si la condition de régularité est satisfaite alors l'implication (✻) est encore vraie pour ℓ = ±∞.

Démonstration

Cette condition est nécessaire car pour chaque k, la suite (p_{n, k})_n est la transformée de la suite (δ_{k, n})_n.

Supposons que la condition est vérifiée et que s_n → ℓ, et montrons que t_n → ℓ. On se ramène comme dans la preuve précédente au cas ℓ = 0.

Soit ε > 0. Il existe alors N₁ tel que $\forall k\geq N_{1}\quad |s_{k}|\leq \varepsilon ,$ puis N₂ tel que pour chaque k < N₁, $\forall n\geq N_{2}\quad p_{n,k}\leq {\frac {\varepsilon }{N_{1}|s_{k}|}}.$ Alors, pour tout n ≥ N₂, ${\begin{aligned}|t_{n}|&\leq \sum _{k}p_{n,k}|s_{k}|\\&\leq \sum _{k<N_{1}}p_{n,k}|s_{k}|+\sum _{k\geq N_{1}}p_{n,k}|s_{k}|\\&\leq \sum _{k<N_{1}}{\frac {\varepsilon }{N_{1}}}+\sum _{k\geq N_{1}}p_{n,k}\varepsilon \\&\leq \varepsilon +\sum _{k}\varepsilon p_{n,k}\\&=2\varepsilon ,\end{aligned}}$ ce qui prouve que t_n → 0.

Le cas ∙/∞ s'en déduit, en posant$p_{n,k}={\begin{cases}{\frac {b_{k}}{\sum _{j=0}^{n}b_{j}}}&{\text{si }}k\leq n,\\0&{\text{si }}k>n.\end{cases}}$

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Stolz–Cesàro theorem » (voir la liste des auteurs).