DL N°2
PCSI 1
A rendre le Lundi 13 Décembre
Professeur LAAMARTI Yassine
MOYENNE DE CESARO
On appelle suite des moyennes de Césaro associée à une suite réelle (un )
la suite (σn ) définie par :
u0 +u1 +···+un
∀n ∈ N, σn = n+1
L’objectif du problème est d’étudier la convergence de (σn ) en fonction
de propriétés portées par (un ).
Partie I - Cas d’une suite monotone et convergente
On suppose dans cette partie que (un ) est une suite croissante de limite
` ∈ R.
On introduit sa suite des moyennes de Césaro (σn ) définie comme en
introduction.
1. Montrer que la suite (σn ) est croissante.
2. Montrer que ∀n ∈ N, σn ≤ `. Que peut-on en déduire ?
3. Etablir ∀n ∈ N, σ2n+1 ≥ 21 σn + 12 un+1 .
4. En déduire que (σn ) converge vers `.
5. Que dire de la suite des moyennes de Césaro d’une suite décroissante
de limite ` ∈ R ?
Partie II - Cas d’une suite convergente
Soit (un ) une suite réelle convergent vers ` ∈ R. Pour tout ε > 0.
1. Justifier qu’il existe n0 ∈ N tel que pour tout n ∈ N, n > n0 entraîne :
|un − `| ≤ ε/2.
2. Etablir que pour tout entier n > n0 on a :
|u0 − `| + · · · + |un0 − `| |un0 +1 − `| + · · · + |un − `|
|σn − `| ≤ + .
n+1 n+1
3. Montrer qu’il existe n1 > n0 tel que pour tout n ∈ N, n > n1 entraine :
|u0 −`|+···+|un0 −`|
n+1
≤ ε/2.
4. Conclure que (σn ) converge vers `.
5. On suppose ici que la suite (σn ) converge vers le réel `. On se propose
d’étudier une réciproque du résultat précédent.
1
6. Montrer que la suite (un ) n’est généralement pas convergente. On
pourra exhiber un contre-exemple.
7. Montrer que la suite (un ) n’est pas nécessairement
( bornée. On pourra
p si n = p3
considérer la suite (un ) définie par un =
0 sinon
8. On suppose en outre que la suite (un ) est monotone ; on pourra consi-
dérer, par exemple, qu’elle est croissante. Montrer alors par l’absurde
que la suite (un ) est majorée par `. Conclure.
Partie III - Cas des suites périodiques
Soit T ∈ N∗ et (un ) une suite réelle T périodique i.e. telle que ∀n ∈ N,
un+T = un .
On introduit sa suite des moyennes de Césaro (σn ) définie comme en
introduction.
On pose aussi :
1
s= (u0 + u1 + · · · + uT −1 )
T
un +un+1 +···+un+T −1
1. Montrer que, pour tout n ∈ N, s = T
.
On considère la suite (vn ) de terme général :
vn = (n + 1)σn − (n + 1)s.
2. Montrer que (vn ) est T périodique.
3. En déduire que (vn ) est bornée.
4. Etablir que (σn ) converge et préciser sa limite.