$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Théorème de Stolz

Le théorème de Stolz-Cesàro est un énoncé donnant une condition suffisante pour l'existence de la limite du quotient de deux suites. Il peut être vu comme une version discrète de la règle de l'Hospital, et est aussi une version plus générale du théorème de Cesàro.

Théorème : Soient $(u_n)$ et $(v_n)$ deux suites de nombres réels telles que $(v_n)$ est strictement croissante et tend vers $+\infty$. Si de plus $$\lim_{n\to+\infty}\frac{u_{n+1}-u_n}{v_{n+1}-v_n}=\ell\in\mathbb R\cup\{\pm\infty\},$$ alors $$\lim_{n\to+\infty}\frac{u_n}{v_n}=\ell.$$

En choississant $v_n=n$ et $u_n=\sum_{k=1}^n a_k$ où $(a_k)$ est une suite de nombres réels, on retrouve le lemme de Cesàro.

Il existe une autre version du théorème de Stolz-Cesàro, où les deux suites $(u_n)$ et $(v_n)$ convergent vers zéro :

Théorème : Soient $(u_n)$ et $(v_n)$ deux suites de nombres réels telles que $(v_n)$ est strictement croissante et telles que $\lim_n u_n=\lim_n v_n=0.$ Si de plus $$\lim_{n\to+\infty}\frac{u_{n+1}-u_n}{v_{n+1}-v_n}=\ell\in\mathbb R\cup\{\pm\infty\},$$ alors $$\lim_{n\to+\infty}\frac{u_n}{v_n}=\ell.$$
Le premier de ces deux théorèmes apparaît dans un livre d'Otto Stolz en 1885 et est repris dans un article d'Ernesto Cesàro en 1888.
Consulter aussi
Recherche alphabétique
Recherche thématique