Lemme de Cesàro

En analyse réelle ou complexe, la moyenne de Cesàro d'une suite $(a n)$ est la suite obtenue en effectuant la moyenne arithmétique des $n$ premiers termes de la suite.

Le nom de Cesàro provient du mathématicien italien Ernesto Cesàro (1859-1906), mais le théorème est déjà démontré dans le Cours d'Analyse (1821) de Cauchy^[1].

Le théorème de Cesàro ou lemme de Cesàro précise que, lorsque la suite $(a n)$ a une limite, la moyenne de Cesàro possède la même limite.

Il existe cependant des cas où la suite $(a n)$ n'a pas de limite et où la moyenne de Cesàro est, elle, convergente. C'est cette propriété qui justifie l'utilisation de la moyenne de Cesàro comme procédé de sommation de séries divergentes.

Moyenne de Cesàro modifier

Soit une suite $\left(a_{n}\right)_{n\in \mathbb {N} ^{*}}$ . Alors la suite des moyennes de Cesàro est la suite de terme général :

c_{n}={\frac {1}{n}}\sum _{k=1}^{n}a_{k}={\frac {a_{1}+\cdots +a_{n}}{n}}

Le terme d'indice $n$ est ainsi la moyenne arithmétique des $n$ premiers termes de $(a_{n})$ .

Une suite dont la suite des moyennes de Cesàro converge est dite "convergente au sens de Cesàro", ou "en moyenne de Cesàro".

Lemme de Cesàro modifier

Suites convergentes modifier

Théorème de Cesàro^[2] — Soit $(a_{n})_{n\in \mathbb {N} ^{*}}$ une suite de nombres réels ou complexes. Si elle converge vers $ℓ$ , alors la suite de ses moyennes de Cesàro, de terme général

c_{n}={\frac {1}{n}}\sum _{k=1}^{n}a_{k}

,

converge également, et sa limite est $ℓ$ .

Limite infinie modifier

Si une suite de réels $(a_{n})_{n\in \mathbb {N} ^{*}}$ a pour limite $+\infty$ ou $-\infty$ , il en est de même de la suite de ses moyennes de Cesàro.

Démonstration^[3]

Supposons par exemple que $a_{n}\to +\infty$ . Pour tout réel A > 0, il existe alors une suite $b_{n}\leq a_{n}$ telle que $b_{n}\to A$ (par exemple : $b_{n}=\min(a_{n},A)$ ). La suite des moyennes de $(b_{n})$ converge vers A d'après le § précédent, et minore celle des moyennes $c_{n}$ de $(a_{n})$ , qui sont donc > A/2 à partir d'un certain rang. Ceci, valant pour tout A > 0, prouve que la suite $(c_{n})$ a bien pour limite $+\infty$ .

Suites divergentes modifier

La réciproque du lemme de Cesàro est fausse : il existe des suites divergentes pour lesquelles la moyenne de Cesàro converge. C'est par exemple le cas de la suite périodique

s_{n}=(1,0,1,0,1,\ldots )

divergente mais qui a pour limite au sens de Cesàro 1/2.

Lemme de l'escalier modifier

Un énoncé équivalent au théorème de Cesàro (également dans le cas $ℓ$ infini ci-dessus) est : pour toute suite $(u_{n})_{n\in \mathbb {N} }$ , si $u n - u n -1 \to ℓ$ alors $u n / n \to ℓ$ (on passe d'un énoncé à l'autre par télescopage, en posant $u_{n}=\sum _{0<k\leq n}a_{k}$ et inversement, $a n = u n - u n -1$ ). C'est cet énoncé qui figure dans Cauchy 1821, p. 59.

Application aux séries divergentes modifier

Articles détaillés : Sommation de Cesàro et Série divergente.

La moyenne de Cesàro donne un procédé de sommation de certaines séries divergentes au sens usuel.

Exemple de la série de Grandi modifier

La série de Grandi est la série associée à la suite

u_{n}=(-1)^{n}\,

dont les sommes partielles sont

s_{n}=1-1+1-1+\cdots \,+(-1)^{n-1}

.

La série de Grandi est divergente mais la moyenne de Cesàro des sommes partielles converge vers 1/2 (voir plus haut).

On associe alors à la série de Grandi la somme $S=1/2$ .

Euler proposa le résultat 1/2 avec une autre méthode : si l'on suppose que la somme est bien définie, notons-la $S$ , alors

S=1-1+1-1+\cdots

donc

S-1=-1+1-1+\cdots =-S

et donc

S={\frac {1}{2}}

.

Le point non prouvé est alors l'existence de $S$ , i.e. la pertinence des calculs menés. L'enjeu du travail sur les séries divergentes consiste justement à montrer que la valeur attribuée a un sens mathématique (par exemple, qu'elle ne dépend pas de la méthode employée).

Utilisations modifier

Une utilisation notable de la moyenne de Cesàro est faite dans le cadre des séries de Fourier : les sommes de Fejér sont les moyennes de Cesàro des sommes partielles de la série de Fourier. Pour la série de Fourier, les théorèmes de convergence sont délicats ; au contraire, les sommes de Fejér vérifient des résultats de convergence très forts, décrits par le théorème de Fejér.

Le produit de Cauchy de deux séries convergentes est une série convergente pour le procédé de sommation de Cesàro.

La moyenne de Cesàro est un procédé de sommation de séries divergentes particulièrement appliqué dans la théorie des séries de Dirichlet^[4].

Si une suite $(x n)$ de réels strictement positifs possède une limite $ℓ \in [0, +\infty]$ , le lemme de Cesàro appliqué à $a n = log (x n)$ montre que la suite de ses moyennes géométriques $n \sqrt x 1 \dots x n$ tend vers $ℓ$ . Ce qui se réécrit : si une suite $(y n)$ de réels strictement positifs est telle que $y n +1 / y n \to ℓ$ alors $n \sqrt y n$ $\to ℓ$ .

Généralisation modifier

Il existe plusieurs généralisations de la moyenne de Cesàro, au travers du théorème de Stolz-Cesàro et de la moyenne de Riesz. Le procédé de Cesàro est souvent appelé moyenne (C,1). Pour chaque entier k, il existe une moyenne de Cesàro d'ordre k, permettant de sommer certaines séries divergentes que les procédés (C, n) ne somment pas pour n < k.

Il existe beaucoup d'autres procédés de sommation^[5]^,^[6]^,^[7], dont celui de Borel.

Notes et références modifier

↑ Augustin-Louis Cauchy, Cours d'Analyse de l'École royale polytechnique, 1^re partie : Analyse algébrique, 1821 (lire en ligne), p. 48-52, 1^er théorème et p. 59, 3^e théorème.
↑ Pour une démonstration, voir par exemple Cauchy 1821, p. 48-50 ou la section correspondante de la leçon « Équivalents et développements de suites » sur Wikiversité.
↑ Voir aussi Cauchy 1821, p. 50-52.
↑ (en) Hardy et Riesz, The General Theory of Dirichlet's Series.
↑ (en) Godfrey Harold Hardy, Divergent Series, Oxford University Press, 1973 (1^re éd. 1949) (lire en ligne)
↑ Marc Zamansky, « La sommation des séries divergentes », Mémorial des sciences mathématiques, n^o 58,‎ 1954 (lire en ligne).
↑ Ervand Kogbetliantz, « Sommation des séries et intégrales divergentes par les moyennes arithmétiques et typiques », Mémorial des sciences mathématiques, n^o 51,‎ 1931 (lire en ligne).

Articles connexes modifier

Portail de l'analyse

[1] Augustin-Louis Cauchy, Cours d'Analyse de l'École royale polytechnique, 1^re partie : Analyse algébrique, 1821 (lire en ligne), p. 48-52, 1^er théorème et p. 59, 3^e théorème.

[2] Pour une démonstration, voir par exemple Cauchy 1821, p. 48-50 ou la section correspondante de la leçon « Équivalents et développements de suites » sur Wikiversité.

[3] Voir aussi Cauchy 1821, p. 50-52.

[4] (en) Hardy et Riesz, The General Theory of Dirichlet's Series.

[5] (en) Godfrey Harold Hardy, Divergent Series, Oxford University Press, 1973 (1^re éd. 1949) (lire en ligne)

[6] Marc Zamansky, « La sommation des séries divergentes », Mémorial des sciences mathématiques, n^o 58,‎ 1954 (lire en ligne).

[7] Ervand Kogbetliantz, « Sommation des séries et intégrales divergentes par les moyennes arithmétiques et typiques », Mémorial des sciences mathématiques, n^o 51,‎ 1931 (lire en ligne).

[1]

[2]

[3]

[4]

[5]

[6]

[7]