DM2 - Théorèmes taubériens

L. Tintinaglia

Ce devoir est un sujet de concours de 4 heures, que j'ai raccourci, pour vous puissiez le
traiter dans son intégralité : c'est un grand classique qu'il faut avoir déjà fait une fois avant
les écrits.

Notations

Soit E une partie de C.

A toute suite pun qnPN à valeurs dans E , ce que l'on note pun qnPN P E N , on associe la suite
pσnqnPN des sommes partielles de Cesàro dénie par
¸
n
@n ¥ 0, σn  n 1
1 k 0
uk

et la suite pen qnPN des écarts dénie par

@n ¥ 0, en  un 1
un
¸
A toute série an avec pan qnPN P E N , on associe la suite pSn qnPN des sommes partielles
¥
n 0
dénie par
¸
n
@n ¥ 0, Sn  ak

¸ k 0

Si la série an est convergente, on note S sa somme dénie par

¥
n 0

¸8
S  an  Nlim S ,
Ñ 8 N
 n 0

et pRn qnPN la suite des restes dénie par

¸8
@n ¥ 0, Rn  S
Sn  ak

k n 1
¸
A toute série entière an z n avec pan qnPN
P E N, de rayon de convergence R ¡ 0, on
n¥0
associe sa somme f dénie sur Dp0, Rq  tz P C, |z| Ru par
¸8
@z P Dp0, Rq, f pzq  anzn

n 0

1
DM2 - Théorèmes taubériens MP* INP-HB

I) Lemme de Cesàro
Le but de cette partie est de démontrer le lemme de Cesàro, voir question 1, d'en donner
des applications et d'établir certaines variantes puis des réciproques partielles.
1. Soit pun qnPN P CN et ℓ P C. Démontrer que
 
n
lim un
Ñ 8
ℓ ñ n
lim σn
Ñ 8
ℓ (Cesàro)

On admettra que le résultat reste valable pour l  8.

Applications
¸
n
2. Calculer la limite de la suite pvn qn¥1 dénie par vn  1
puis en donner un équi-
k1
kn
valent à l'aide d'une comparaison série-intégrale.
3. Soit pun qnPN P s0 , 8rN et ℓ P s0 , 8r. On suppose que nÑlim8 uun 1  ℓ. Démontrer
c n
?
n

que lim un  ℓ. En déduire lim

n
n
. n

nÑ 8 nÑ 8 n!
4. Soit pan qnPN P CN , pbn qnPN P CN , a P C et b P C. On suppose que lim an  a et
nÑ 8
lim bn  b. Démontrer que
nÑ 8
 n
1 ¸
lim ak bn
k  ab
nÑ 8 n 
k 0

Réciproques partielles
5. Vérier que la réciproque de (Cesàro) n'est pas toujours vraie en exhibant une suite
punqnPN P RN qui ne converge pas et telle que que pσnqnPN converge dans R.
6. Soit pun qnPN P RN et ℓ P R. Démontrer que
 
n
lim σn
Ñ 8
 ℓ et punqnPN monotone ñ Ñ 8
n
lim un l
Démontrer que le résultat subsiste pour ℓ  8.
7. Soit pun qnPN P CN et ℓ P C. Démontrer que
  
nÑ 8
lim σn  ℓ et en  o 1
n
ñ n
lim un
Ñ 8
l (Hardy faible)

Indication : on pourra démontrer que pour tout n ¥ 1,

¸
n ¸
n
kek  nun 1
uk

k 0 
k 1

2 L. Tintinaglia
DM2 - Théorèmes taubériens MP* INP-HB

8. Soit pun qnPN P CN et ℓ P C. Le but de cette question est de démontrer que

  
n
lim σn
Ñ 8
 ℓ et en  O 1
n
ñ n
lim un
Ñ 8
l (Hardy fort)

On suppose que lim  ℓ et en  O
1
.
nÑ 8 n
(a) Soit 0 ¤ n m. Démontrer que
¸
m ¸

m 1
uk
pm
nqun  pm
j qej

k n 1 
j n

(b) En déduire qu'il existe une constante C ¡ 0 telle que pour tous 2 ¤ n m, on a

pm 1qσm
pn 1qσn

un| ¤ C ln mn

11
m
n
|

et 
m
1
|un
ℓ| ¤ C ln p|σm
ℓ| |σn
ℓ|q
m 1
n
1 m
n
(c) En déduire (Hardy fort). Indication : on pourra prendre m  1 tαnu avec un
paramètre α ¡ 1 à choisir, où txu désigne la partie entière de x P R.

II) Théorème d' Abel

Le but de cette partie est de démontrer le théorème d'Abel, voir question 9, d'établir
certaines variantes et des réciproques partielles.
¸
9. Soit an z n une série entière de rayon de convergence R ¥ 1 et de somme f . On note,
¥
n 0  π
pour θ0 P 0 , ,
2
∆θ0  tz P C, |z| 1 et Dρ ¡ 0, Dθ P r
θ0 , θ0s , z  1
ρeiθ u
Le but de cette question est de démontrer que
 
¸  ¸8
an converge ñ lim f pzq  an (Abel)
¥
n 0
z
PÑ1
z ∆θ
0

n 0

 π
(a) Représenter dans le plan complexe ∆θ0 pour θ0 P 0 , .
2
(b) Démontrer (Abel) pour R ¡ 1. ¸
A partir de maintenant, on suppose que R
  1 et que an conerge, et on se
π
donne θ0 P 0, .
2

3 L. Tintinaglia
DM2 - Théorèmes taubériens MP* INP-HB

(c) Démontrer que pour tous N P N et z P C, |z| 1, on a :

¸
N N¸
1 n
an z
SN  pz
1q
n
Rn z
RN pz N
1q

n 0 n 0
(d) En déduire que pour z P C, |z| 1, on a :
¸8
f pz q
S  pz
1q Rn z n

n 0

(e) Soit ε ¡ 0 Démontrer qu'il existe N0 P N tel que pour tout z P C, |z| 1,

¸
N 0
|z
1|
|f pz q
S| ¤ |z
1|
1
|z|
|Rn | ε

n 0

(f) Démontrer qu'il existe ρpθ0 q ¡ 0 tel que pour tout z P ∆θ0 de la forme z  1
ρeiθ
avec 0 ρ ρpθ0 q, on a :
|z
1|
1
|z|
¤ cos2pθ q
0

En déduire (Abel).
¸
10. Exhiber une série entière an z n de rayon de convergence 1 et de somme f , telle que
¥ n 0 ¸
f pz q converge quand z Ñ 1, |z| an ne converge pas.
1 et telle que la série
¥
¸ n n 0

11. Soit an z une série entière de rayon de convergence 1 et de somme f . Soit S P C.

n¥0
Le but de cette question est de démontrer (Taubérien faible) :
  
¸ ¸8
lim
f pxq  S et an o ñ S
1
an converge et an
x Ñ 1
xPR
n ¥
n 0 
n 0

Dans la suite de cette question on suppose que lim
f pxq  S et que an  o
1
.
xÑ 1 n
xPR

(a) Démontrer que pour tous n P N et x P s0 , 1r, on a

¸
n
supk¡n pk|ak |q
|Sn
f pxq| ¤ p1
xq
np1
xq
k|ak |
k 1

(b) En déduire (Taubérien faible) en spéciant x  xn  1
pour n P N .

1
n
Il existe également une version "forte" du théorème de Tauber :
  
¸ ¸8
lim
f pxq  S et an O ñ S
1
an converge et an
x Ñ 1
xPR
n ¥
n 0 n 0 

4 L. Tintinaglia