Agrégation 2018/2019

Réciproques partielles du théorème de Césaro

Leçons : 223 ; 230

Références : FRANCINOU–GIANELLA–NICOLAS, Oraux X-ENS Analyse 1

(p.68)

Prérequis :
- le théorème de Césaro
- la comparaison série/intégrale

Astuces de l’agrégatif :
J’ai fait deux versions de ce développement que je mets à la suite, une première qui est
orientée “suites” et une deuxième orientée “séries”.

Introduction :
Le théorème de Césaro est un théorème nous donnant la convergence de la suite des moyennes
pour une suite convergente. La réciproque est fausse : si la suite des moyennes converge, la suite
initiale ne converge pas forcément (par exemple, un = (−1)n est un terme de suite qui ne converge
pas alors que la suite des moyennes converge vers 0). Ainsi on voudrait renforcer les hypothèses
que l’on fait sur la suite un pour avoir une réciproque au théorème de Césaro.

Théorème 1 (Réciproque partielle de Césaro). Soit (un )n∈N∗ une suite dans K telle que la suite
n
 1X 
σn = uk converge vers ` ∈ K.
n n∈N∗
k=1
(i) Si (un ) est réelle monotone, alors (un ) converge vers `.
 
1 C
(ii) Si un − un−1 = O (i.e. il existe C > 0 telle que |un − un−1 | 6 pour tout n ∈ N∗ 1 ),
n n
alors (un ) converge vers `.

Démonstration.
(i) Pour (un ) réelle monotone, on veut prouver l’équivalence :
(un ) converge vers ` ⇐⇒ (σn ) converge vers `
=⇒ Cela vient du théorème de Césaro.
⇐= Réciproquement, on raisonne par contraposée. Si (un ) ne converge pas, alors (un ) tend
vers l’infini car (un ) est supposée monotone. Quitte à prendre (−un ), on considère que (un ) est
croissante vers +∞.
On va prouver que le théorème de Césaro peut être appliqué pour une limite infinie.
Pour tout A > 0, il existe un rang n0 telle que pour tout n > n0 , un > A. On pose la suite (vn )
définie par vn = min(un , A). On a l’inégalité vn 6 un pour tout n ∈ N∗ . De ce fait, on a aussi
n n
1X 1X
vk 6 uk
n n
k=1 k=1

1. Dans la définition classique, c’est qu’il existe une constante à partir d’un certain rang n0 , donc quitte à
augmenter cette constante, on peut avoir l’inégalité pour les n0 termes et donc on a une constante pour tout n ∈ N

ENS Rennes - Université de Rennes 1 1 Pierre Le Barbenchon

 Agrégation 2018/2019

pour tout n ∈ N∗ .
n
1 X 
Or la suite (vn ) converge vers A, donc vk converge aussi vers A (par le théorème de
n
k=1
Césaro).
Donc on a
n
1 X  n
1 X 
A = lim inf vk 6 lim inf uk = lim inf σn
n n
k=1 k=1

Ainsi la suite (σn ) diverge aussi vers +∞.

Donc (un ) et (σn ) convergent. Par le théorème de Césaro, (un ) et (σn ) possèdent la même
limite.

(ii) On suppose que (σn ) converge vers une limite `. L’idée va être de prouver que la moyenne
des termes entre n et nx avec x > 1 converge aussi vers ` et ensuite de rapprocher x de 1 pour
n’avoir que le terme un dans la moyenne, ce qui prouvera que la suite (un ) converge aussi vers `.
On pose, pour tout t > 1,
1 X E(t)
σt := uk = σ
t t E(t)
16k6t

E(t)
où E(t) est la partie entière de t. De plus, σE(t) tend vers ` quand t tend vers +∞, et tend
t
vers 1 quand t tend vers +∞. Donc σt tend vers ` quand t tend vers +∞.
Pour x > 1, on pose
1 X nxσnx − nσn n(x − 1) (xσnx − σn )
Mn (x) = uk = = .
E(nx − n) E(n(x − 1)) E(n(x − 1)) (x − 1)
n<k6nx

n(x − 1)
Or tend vers 1 quand n tend vers +∞ et σnx et σn tendent vers ` quand n tend
E(n(x − 1))
x` − `
vers +∞ par ce qui précède. Donc Mn (x) tend vers = ` quand n tend vers +∞.
x−1
On veut maintenant comparer le terme un avec Mn (x).
Or on peut écrire
1 X
un = un .
E(nx − n)
n<k6nx

Ainsi pour tout n ∈ N∗ ,

1 X 1 X
|Mn (x) − un | = (uk − un ) 6 |uk − un |
E(n(x − 1)) E(n(x − 1))
n<k6nx n<k6nx

On va vouloir majorer uk − un , on va utiliser l’hypothèse qui nous donne un C > 0 tel que
pour tout j ∈ N∗ on ait |uj − uj−1 | 6 Cj .
Pour tout k > n, on a

k k k
X X X C
|uk − un | = (uj − uj−1 ) 6 |uj − uj−1 | 6
j
j=n+1 j=n+1 j=n+1
k Z j Z k  
X C 1 k
6 dt 6 C dt = C ln
t t n
j=n+1 j−1 n

(par comparaison avec l’intégrale de 1t ).

ENS Rennes - Université de Rennes 1 2 Pierre Le Barbenchon

 Agrégation 2018/2019

On reprend la majoration précédente,

1 X
|Mn (x) − un | 6 |uk − un |
E(n(x − 1))
n<k6nx
 
1 X k
6 C ln
E(n(x − 1)) n
n<k6nx
1 X  nx 
6 C ln
E(n(x − 1)) n
n<k6nx
1 X
6 C ln(x)
E(n(x − 1))
n<k6nx
6 C ln(x).

On obtient une majoration indépendante de n.

Soit ε > 0, on choisit x0 > 1 tel que C ln(x0 ) < ε. De plus, on a montré que Mn (x) converge
vers ` pour tout x > 1, donc il existe un rang n0 ∈ N∗ tel que pour tout n > n0 , on ait

|Mn (x0 ) − `| < ε.

Ainsi pour tout n > n0 ,

|un − l| 6|un − Mn (x0 )| + |Mn (x0 ) − `| 6 C ln(x0 ) + ε < 2ε.

Donc la suite (un ) converge vers `.

Astuces de l’agrégatif :
Pour le (i), je ne fais pas les deux implications, j’explique juste l’implication qui nous
intéresse.

Pour la leçon 230, je fais apparaître des séries pour étudier une vraie somme (c’est la version
qui colle le plus à la référence d’ailleurs)
Introduction :
Le théorème de Césaro est un théorème nous donnant la convergence de la suite des moyennes
pour une suite convergente. La réciproque est fausse : si la suite des moyennes converge, la suite
initiale ne converge pas forcément (par exemple, un = (−1)n est un terme de suite qui ne converge
pas alors que la suite des moyennes converge vers 0). Ainsi on voudrait renforcer les hypothèses
que l’on fait sur la suite un pour avoir une réciproque au théorème de Césaro.

Théorème 1 (Réciproque partielle de Césaro). Soit (un )n∈N∗ une suite dans K. Pour tout n ∈ N∗ ,
n n
X 1X
on pose Sn = ui et σn = Sk .
n
i=1 k=1
(i) Si (un ) est réelle et positive, alors

(Sn ) converge vers ` ⇐⇒ (σn ) converge vers `.

 
1 C
(ii) Si un = O (i.e. il existe C > 0 telle que |un | 6 pour tout n ∈ N∗ 1 ), alors
n n

(Sn ) converge vers ` ⇐⇒ (σn ) converge vers `.

ENS Rennes - Université de Rennes 1 3 Pierre Le Barbenchon

 Agrégation 2018/2019

Démonstration.
(i) Pour (un ) réelle positive, on veut prouver l’équivalence :
(Sn ) converge vers ` ⇐⇒ (σn ) converge vers `
=⇒ Cela vient du théorème de Césaro.
⇐= On raisonne par contraposée. Comme (un ) est positive, alors (Sn ) est croissante. Ainsi si
(Sn ) ne converge pas, alors (Sn ) tend vers l’infini. On suppose que donc que (Sn ) diverge vers
+∞.
On va prouver que le théorème de Césaro peut être appliqué pour une limite infinie.
Pour tout A > 0, il existe un rang n0 telle que pour tout n > n0 , Sn > A. On pose la suite (Tn )
définie par Tn = min(Sn , A). On a l’inégalité Tn 6 Sn pour tout n ∈ N∗ . De ce fait, on a aussi
n n
1X 1X
Tk 6 Sk
n n
k=1 k=1

pour tout n ∈ N∗ .
n
!
1X
Or la suite (Tn ) converge vers A, donc Tk converge aussi vers A (par le théorème de
n
k=1
Césaro).
Donc on a
n n
! !
1X 1X
A = lim inf Tk 6 lim inf Sk = lim inf σn
n n
k=1 k=1

Ainsi la suite (σn ) diverge aussi vers +∞.

Donc (Sn ) et (σn ) convergent. Par le théorème de Césaro, (Sn ) et (σn ) possèdent la même
limite.

(ii) On va montrer l’équivalence voulue

(Sn ) converge vers ` ⇐⇒ (σn ) converge vers `

=⇒ Cela vient du théorème de Césaro.

⇐= Réciproquement, on suppose que (σn ) converge vers une limite `. L’idée va être de prouver
que la moyenne des termes Sk entre n et nx avec x > 1 converge aussi vers ` et ensuite de
rapprocher x de 1 pour n’avoir que le terme Sn dans la moyenne, ce qui va nous prouver que la
suite (Sn ) converge aussi vers `.
On pose, pour tout t > 1,

1 X E(t)
σt =: Sk = σ
t t E(t)
16k6t

E(t)
où E(t) est la partie entière de t. De plus, σE(t) tend vers ` quand t tend vers +∞, et tend
t
vers 1 quand t tend vers +∞. Donc σt tend vers ` quand t tend vers +∞.
Pour x > 1, on pose

1 X nxσnx − nσn n(x − 1) (xσnx − σn )

Mn (x) = uk = = .
E(nx − n) E(n(x − 1)) E(n(x − 1)) (x − 1)
n<k6nx

1. Dans la définition classique, c’est qu’il existe une constante à partir d’un certain rang n0 , donc quitte à
augmenter cette constante, on peut avoir l’inégalité pour les n0 termes et donc on a une constante pour tout n ∈ N

ENS Rennes - Université de Rennes 1 4 Pierre Le Barbenchon

 Agrégation 2018/2019

n(x − 1)
Or tend vers 1 quand n tend vers +∞ et σnx et σn tendent vers l quand n tend
E(n(x − 1))
x` − `
vers +∞ par ce qui précède. Donc Mn (x) tend vers = ` quand n tend vers +∞.
x−1
On veut maintenant comparer le terme Sn avec Mn (x).
Or on peut écrire
1 X
Sn = Sn .
E(nx − n)
n<k6nx

Ainsi pour tout n ∈ N∗ ,

1 X 1 X
|Mn (x) − Sn | = | (Sk − Sn )| 6 |Sk − Sn |
E(n(x − 1)) E(n(x − 1))
n<k6nx n<k6nx

On va vouloir majorer Sk − Sn , on va utiliser l’hypothèse qui nous donne un C > 0 tel que
pour tout j ∈ N∗ on ait |uj | 6 Cj .
Pour tout k > n, on a
k k k
X X X C
|Sk − Sn | = uj 6 |uj | 6
j
j=n+1 j=n+1 j=n+1
k Z j Z k  
X C 1 k
6 dt 6 C dt = C ln
t t n
j=n+1 j−1 n

(par comparaison avec l’intégrale de 1t ).

On reprend la majoration précédente,
1 X
|Mn (x) − Sn | 6 |Sk − Sn |
E(n(x − 1))
n<k6nx
 
1 X k
6 C ln
E(n(x − 1)) n
n<k6nx
1 X  nx 
6 C ln
E(n(x − 1)) n
n<k6nx
1 X
6 C ln(x)
E(n(x − 1))
n<k6nx
6 C ln(x).

On obtient une majoration indépendante de n.

Soit ε > 0, on choisit x0 > 1 tel que C ln(x0 ) < ε. De plus, on a montré que Mn (x) converge
vers ` pour tout x > 1, donc il existe un rang n0 ∈ N∗ tel que pour tout n > n0 , on ait

|Mn (x0 ) − `| < ε.

Ainsi pour tout n > n0 ,

|Sn − l| 6|Sn − Mn (x0 )| + |Mn (x0 ) − `| 6 C ln(x0 ) + ε < 2ε.

Donc la suite (Sn ) converge vers `.

Astuces de l’agrégatif :
Pour le (i), je ne fais pas les deux implications, j’explique juste l’implication qui nous
intéresse.

ENS Rennes - Université de Rennes 1 5 Pierre Le Barbenchon