DL séries entières

Autour du théorème d’Abel pour les séries entières

Dans tout le problème
X
(an )n2N est une suite de nombres réels telle que la série entière an xn de la variable réelle
n 0

x ait pour rayon de convergence 1:

X
On désigne alors par an la série de terme général an et par f la fonction dé…nie sur

X
+1
l’intervalle ] 1; 1[ par pour tout x 2 ] 1; 1[ , f (x) = an x n :
n=0

On désigne par (P1 ) et (P2 ) les deux propriétés suivantes possibles sur la suite (an )n2N :
X
(P1 ) : la série an converge.

(P2 ) : lim f (x) existe dans R.

x!1

I- Généralités

1- En utilisant des développements en série entières « usuels » , donner dans chaque cas, un

exemple de suite (an )n2N telle que :

a- (an )n2N véri…e (P1 ) et (P2 ) :

b- (an )n2N ne véri…e pas (P1 ) et véri…e (P2 ) :

c- (an )n2N ne véri…e ni (P1 ) ni (P2 ) :

X
d- La série an xn ne converge pas uniformément sur l’intervalle ] 1; 1[ ( justi…er ).
n 0
X
2- On suppose que la série an est absolument convergente ; montrer alors que la fonction

X
+1
f admet une limite …nie lorsque x tend vers 1 et que lim f (x) = an :
x!1
n=0
X ( 1)n
3- Exemple : Déduire de la question précédente la somme de la série n(n 1)
:
n 2

II- Théorème d’Abel

1
 X
1- On suppose dans cette question que la série an converge.

On va montrer qu’alors la fonction f admet une limite …nie lorsque x tend vers 1 ( théorème

X
+1 X
+1
d’Abel ). On pose pour tout n 2 N , rn = ak et 8 x 2 [0; 1] ; Rn (x) = ak x k :
k=n+1 k=n+1

X
+1
a- Simpli…er, pour tout x 2 [0; 1] ; (rn+p 1 rn+p ) xn+p :
p=1

X
+1
b- En déduire que, pour tout x 2 [0; 1[ , Rn (x) = rn xn+1 + xn+1 (x 1) rn+p xp 1 :
p=1

c- Soit un réel " > 0; justi…er qu’il existe un entier n0 tel que pour tout entier n n0
"
et tout entier naturel p on ait jrn+p j 2
; puis que :

pour tout entier n n0 et pour tout réel x 2 [0; 1] ; jRn (x)j ":

d- Conclure que la fonction f admet une limite …nie lorsque x tend vers 1 et que

X
+1
lim f (x) = an :
x!1
n=0
X
2- Que peut-on dire de la série an si lim f (x) = +1 ?
x!1

3- Exemple : Retrouver le développement en série entière en 0 de la fonction x 7 ! arctan x

puis utiliser le théorème d’Abel pour écrire 4

comme somme d’une série numérique.

4- Application : On rappelle que le produit de Cauchy de deux séries absolument

convergentes est une série absolument convergente.

a- Le produit de Cauchy de deux séries convergentes est-il une série convergente ?

X X
b- Soit un et vn deux séries de nombres réels, on pose pour tout entier naturel n;
n 0 n 0

X
n X X X
wn = uk v n k et on suppose que les trois séries un , vn et wn convergent.
k=0 n 0 n 0 n 0

! !
X
+1 X
+1 X
+1
Montrer, à l’aide du théorème d’Abel, qu’alors wn = un vn :
n=0 n=0 n=0

2
III- Réciproque du théorème d’Abel

1- Justi…er que la réciproque du théorème d’Abel est fausse.

On cheche à rajouter une condition (Q) à la condition (P2 ) de telle sorte que si la suite

(an )n2N véri…e (P2 ) et (Q), alors elle véri…e (P1 ) :

2- On prend pour (Q) la propriété : pour tout n 2 N, an 0:

Montrer que si (an )n2N véri…e les propriétés (P2 ) et (Q), alors elle véri…e la propriété (P1 ) :

X
n
( On pourra montrer que pour tout n 2 N, ak lim f (x) ).
x!1
k=0

1
Si on prend pour (Q) la propriété : la suite (an )n2N véri…e an = O n
; on obtient le
n!+1

théorème de Littlewood dont on admettra la démonstration pour l’appliquer dans partie

suivante.

IV- Séries harmoniques transformées

Désormais, on admet et on pourra utiliser le théorème de Littlewood :

1
Si la fonction f admet une limite …nie lorsque x tend vers 1 et que an = O n
alors
n!+1

X
la série an converge.
n 0

Pour p entier naturel non nul, on considère une suite ("n )n 1 périodique de période p formée

d’éléments de l’ensemble f 1; 1g :
X
1- Donner, en justi…ant leur valeur, les rayons de convergence des séries entières "n x n
n 1

X X
+1 X
+1
"n n "n n
et n
x : On pose, pour x 2 ] 1; 1[ : f (x) = n
x et g(x) = "n x n 1 :
n 1 n=1 n=1

X Rx
"n
2- Établir que la série n
converge si, et seulement si la fonction f : x 7 ! 0
g(t)dt
n 1

admet une limite …nie lorsque x tend vers 1 par valeurs inférieures.

3- Montrer que g est une fraction rationnelle à déterminer.

3
4- Retrouver, uniquement par les deux questions précédentes, que la série harmonique
X X ( 1)n
1
n
diverge et que la série alternée n
converge en précisant sa somme.
n 1 n 1

p
X
5- Déterminer une condition nécessaire et su¢ sante posant qur la somme "i
i=1
X
"n
pour que la série n
converge.
n 1

Que peut-on en conclure dans le cas où la période p est un entier impair ?

6- Exemple : Dans le cas où la suite ("n )n 1 est périodique de période 6 avec : "1 = 1;

X
+1
"n
"2 = 1; "3 = 1; "4 = 1; "5 = 1; "6 = 1; déterminer n
:
n=1

( Il est demandé de détailler les calculs ).