D EVOIR LIBRE DE M ATHÉMATIQUES

Devoir libre n◦ 9
à rendre le 30/01/2017

T HÉORÈME DE CONTINUITÉ RADIALE

X
Dans tout le problème : (an )n∈N est une suite de nombres réels telle que la série entière an xn
n∈N
de la variable réelle x ait pour rayon de convergence R. On désigne f la fonction définie sur l’in-
∞
X
tervalle ] − R, R[ par : f (x) = an xn . On désigne par (P1 ) et (P2 ) les deux propriétés suivantes
n=0
possibles de la suite :
∞
X
(P1 ) : la série an Rn converge.
n=0
(P2 ) : la fonction f admet une limite finie, lorsque x tend vers R par valeurs inférieures.

PARTIE I. G ÉNÉRALITÉS

1. En utilisant des développements en série entière "usuels", donner dans chaque cas, un exemple
de suite (an )n∈N telle que :
(a) (an )n∈N vérifie (P1 ) et (P1 ) ;
(b) (an )n∈N ne vérifie pas (P1 ) et vérifie (P1 ) ;
(c) (an )n∈N ne vérifie ni (P1 ) ni (P1 ) ;
X∞
(d) La série an xn ne converge pas uniformément sur l’intervalle ] − R, R[ (justifier).
n=0
2. On suppose que la série est absolument convergente ; montrer alors que la fonction f admet
∞
X
une limite finie lorsque x tend vers 1 par valeurs inférieures et que lim f (x) = an .
x→1−
n=0
3. Exemple
X (−1)n
Déduire de la question précédente la somme de la série (on pourra utiliser une
n(n − 1)
n≥2
décomposition en éléments simples).
PARTIE II. T HÉORÈME D ’A BEL
X
4. On suppose dans cette question que la série an Rn converge de somme S. On va montrer
n∈N
qu’alors la fonction f admet la limite S lorsque x tend vers R par valeurs inférieures.
X∞
n
On pose bn = an R et rn = bk .
k=n+1
R
(a) On utilisant le changement de variable t = , montrer que lim f (x) = S ⇔ lim g(t) =
x x→R− t→1−
∞
X ∞
X
bn , où g(t) = bn tn .
n=0 n=0

Classe: MP2 1/2 Prof: Mohamed TARQI

 D EVOIR LIBRE DE M ATHÉMATIQUES

(b) Soit t ∈ [0, 1[. Vérifier, que pour tout n ∈ N∗ , on a :

n
X n
X n
X
k
bk t − bk = rk (tk+1 − tk ) + rn (1 − tn+1 ).
k=0 k=0 k=0

En déduire l’égalité :
∞
X
g(t) − S = (t − 1) rn tn .
n=0

(c) Soit un réel ε > 0, justifier qu’il existe un entier n0 tel que pour tout entier n ≥ n0 on ait
|rn | ≤ ε, puis que pour tout entier n ≥ n0 :

n0
X ∞
X n0
X
|g(t) − S| ≤ (1 − t) rn tn + (1 − t) ε tn = (1 − t) rn tn + εtn0 +1 .
n=0 n=n0 +1 n=0

(d) Conclure que la fonction f admet la limite S lorsque x tend vers R par valeurs infé-
rieures.
∞
X
5. Que peut-on dire de la série an Rn si lim f (x) = +∞ ?
x→R−
n=0
6. Applications
(a) Retrouver le développement en série entière en 0 de la fonction x 7−→ arctan x puis
π
utiliser le résultat précédent pour écrire comme somme d’une série numérique.
4
(b) On rappelle que le produit de Cauchy de deux séries absolument convergentes est une
série absolument convergente.
i. Le produit de Cauchy de deux séries convergentes est-elle une série convergente ?
(−1)n
(On pourra examiner le cas un = vn = 1 pour n ≥ 1 ).
n4
X X
ii. Soit un , un deux séries de nombres réels, on pose pour n entier naturel wn =
n∈N n∈N
n
X X X X
uk vn−k , et on suppose que les trois séries un , vn et wn convergent.
k=0 n∈N n∈N n∈N
Montrer qu’alors
∞ ∞ ∞
! !
X X X
wn = un vn
n=0 n=0 n=0

F IN DE L’ ÉNONCÉ

Classe: MP2 2/2 Prof: Mohamed TARQI