Chapitre 3

SERIES ENTIÈRES

I Généralités
Définition 1 :
On appelle série entière de la variable z (réelle ou complexe) une série dont le terme général est de la
forme un = an z n . On la note : an z n .
P
+∞
an z n = a0 + a1 z 1 + a2 z 2 + ... + an z n + ... est appelée somme de cette série entière.
P
La fonction z 7→
n=0

Remarque 1 :
Il arrive que, lorsque la variable est réelle, on la note x.
Remarque 2 :
n
ak xk = a0 + a1 x + a2 x2 + ... + an xn , est un polynôme. Une série
P
La somme partielle de rang n, Sn (x) =
k=0
entière peut être vue comme une généralisation de la notion d’approximation par un polynôme.
P n
Exemple 1 La série géométrique z est une série entière, convergente pour |z| < 1, divergente pour |z| ≥ 1.
∞ n+1
z = 1 + z + z 2 + ... + z n + ... = lim 1−z
n 1
P
De plus, pour |z| < 1, 1−z = 1−z
n=0 n→∞

Cet exemple fait apparaı̂tre qu’une série entière, lorsqu’elle est convergente, a pour somme une fonction de la
variable z.
Le problème se pose donc de déterminer l’ensemble des valeurs de z pour lesquelles une série entière est conver-
gente et d’étudier alors les propriétés de la fonction somme.

II Domaine de convergence d’une série entière

II.1 Définition
Lemme 1 (lemme d’Abel) Soit ρ > 0 tel queP la suite (an ρn ) est bornée.
Pour tout z ∈ C tel que |z| < ρ, la série entière an z n est absolument convergente.
Preuve.
La suite (an ρn ) est bornée donc il existe un réel M > 0 tel que : |an ρn | ≤ M pour tout n ∈ N.
Ainsi :   n   n
n
 n z  z 
|an z | = an ρ
 ≤ M  
ρ  ρ
    n
Or  ρz  < 1, donc
Pz
  est absolument convergente.
 
P ρ n
Il en résulte que an z est absolument convergente.

Définition 2 :
an z n le nombre R défini par :
P
On appelle rayon de convergence de la série

R = sup {ρ ≥ 0 / (an ρn ) est bornée} .

1
2 CHAPITRE 3. SERIES ENTIÈRES

Remarque 3 : R ∈ R+ ∪ {+∞}.
Théorème 1:
an z n une série entière de rayon de convergence R et z ∈ C,
P
Soit
an z n est absolument convergente ;
P
• si |z| < R alors la série
an z n diverge (grossièrement).
P
• Si |z| > R alors la série
Preuve.
Notons A = {ρ ≥ 0 / (an ρn ) est bornée} et R = sup(A).
Si |z| < R alors |z| ne majore pas A Pet donc il existe ρ > 0 tel que |z| < ρ et tel que la suite (an ρn ) soit bornée.
En vertu du lemme d’Abel, la série an z n est absolument convergente.
n
Si |z| > R alors |z| ∈
/ A et donc (an z ) n’est pas bornée (d’où la divergence de la série).

Remarque 4 :
• Si la variable z est réelle, ]−R; R[ constitue l’intervalle de convergence ;
• Si la variable z est complexe, D = {z ∈ C, |z| < R} est le disque de convergence ;
• Pour |z| = R, une étude particulière est nécessaire.

II.2 Détermination du rayon de convergence

Rappel 1 (Règle de d’Alembert) Soit (un ) une suite à termes strictement positifs telle que lim uun+1
n
=L
n→+∞
P
• Si L < 1 alors la série un converge ;
P
• Si L > 1 alors la série un diverge ;
• Si L = 1 alors on ne peut pas conclure sur la convergence de la série.
√
Rappel 2 (Règle de de Cauchy) Soit (un ) une suite à termes strictement positifs telle que lim n
un = L
n→+∞
P
• Si L < 1 alors la série un converge ;
P
• Si L > 1 alors la série un diverge ;
• Si L = 1 alors on ne peut pas conclure sur la convergence de la série.

|an z n | en considérant un = |an z n |.

P
Appliquons la règle de d’Alembert à la série
n

Théorème 2 :
an z n est tel que :
P
Le rayon de convergence R d’une série entière
 
1  an+1 
= lim  
R n→+∞ an 
III. PROPRIÉTÉS DE LA FONCTION SOMME 3

En appliquant le même type de raisonnement avec la règle de Cauchy, on a le théorème suivant :

Théorème 3 : [admis]
an z n est tel que :
P
Le rayon de convergence R d’une série entière
1 p
= lim n |an |
R n→+∞
 
 an  √ 1
Remarque 5 : R = lim  an+1  ; R = lim n
n→+∞ n→+∞ |an |

P xn
Exemple 2 Déterminer le domaine de convergence de la série d’une variable réelle n

P xn
En conclusion, n est :
• absolument convergente pour −1 < x < 1 ;
• semi-convergente pour x = −1 ;
• divergente pour x < −1 ou x ≥ 1.
P zn
Exemple 3 Déterminer le domaine de convergence de la série n!

III Propriétés de la fonction somme

an z n une série entière de rayon de convergence R.
P
Soit
∞
Sn (z) = a0 +a1 z+...+anz n converge donc vers la fonction somme S définie par S (z) = an z n .
P
Pour |z| < R,
n=0
On admettra que cette fonction somme S possède les propriétés suivantes :
Propriété 1 : [Continuité]
La fonction somme S est continue sur l’intervalle de convergence ]−R; R[.

Propriété 2 : [Dérivation]
La fonction somme S est dérivablePsur l’intervalle de convergence ]−R; R[.
′
De plus, la série dérivée S (x) = nan xn−1 admet R pour rayon de convergence.
n≥1

+∞
xn
P
Exemple 4 Considérons S(x) =
n=0
4 CHAPITRE 3. SERIES ENTIÈRES

Propriété 3 : [Intégration]
La fonction somme S est intégrable entre 0 et x, avec |x| < R.
Z x +∞
X an n+1
De plus, la série primitive S (t) dt = x admet R pour rayon de convergence.
0 n=0
n+1

Remarque 6 :
Rx ∞
P an n+1
Avec F primitive de S, 0 S (t) dt = n+1 x = F (x) − F (0)
n=0
∞
P ak−1 k
On a donc : F (x) = F (0) + k x
k=1
Comme pour les DL vus en 1 ère année, il ne faut pas omettre le 1er terme du DSE.
+∞
1
xn =
P
Exemple 5 Reprenons l’exemple précédent S (x) = 1−x avec |x| < 1.
n=0
Par intégration sur [0; x], avec |x| < 1, on obtient :

Ainsi, en remplaçant x par −x, il vient :

∞
X n xn+1
ln (1 + x) = (−1)
n=0
n+1

IV Développement en série entière des fonctions usuelles

IV.1 Définition
Soit f une fonction C ∞ (continue et infiniment dérivable) sur ]−a; a[.
Définition 3 :
an xn , de rayon R, avec 0 < R < a,
P
f est dite développable en série entière s’il existe une série entière
telle que,
+∞
X
f (x) = an xn ∀x ∈ ]−R; R[
n=0

La formule de Mac Laurin, vue en 1ère année, permet d’écrire :

′ x2 (2) xn (n) xn+1 (n+1)

f (x) = f (0) + xf (0) + f (0) + ... + f (0) + f (θx) , 0<θ<1
2! n! (n + 1)!
Posons
n
′ x2 (2) xn (n) X xk
Sn (x) = f (0) + xf (0) + f (0) + ... + f (0) = f (k) (0)
2! n! k!
k=0

Il en résulte,
n+1 
|x|  (n+1)

|f (x) − Sn (x)| = (θx)

(n + 1)!
f

Supposons que la dérivée d’ordre (n + 1) soit bornée par M sur ]−R, R[. Alors,
IV. DÉVELOPPEMENT EN SÉRIE ENTIÈRE DES FONCTIONS USUELLES 5

 
 (n+1)
(θx) < M

f
d’où
n+1
|x|
|f (x) − Sn (x)| < M
(n + 1)!
|x|n+1
Or, (n+1)! est le terme général d’une série convergente, donc,

n+1
|x|
lim =0
n→+∞ (n + 1)!

Il en résulte que
lim |f (x) − Sn (x)| = 0
n→∞

Ainsi,
∞
X xn (n)
f (x) = f (0)
n=0
n!

Définition 4 :
La série X xn
f (n) (0)
n!
est appelée série de Mac Laurin de la fonction f .

Théorème 4 :
Soit f une fonction infiniment dérivable sur
 ]−R, R[.
S’il existe M > 0 tel que, ∀n ∈ N, f (n) (x) < M pour tout x ∈ ]−R, R[, alors f admet un développement


en série entière, de rayon R.

On dit alors que f est développable par sa série de Mac Laurin et on a, pour tout x ∈ ]−R, R[,
+∞ n
X x (n)
f (x) = f (0)
n=0
n!

IV.2 Application aux développements usuels

+∞ xn x2 xn
ex =
P
=1+x+ + ... + + ... R = +∞
n=0 n! 2! n!
2n+1
+∞ x x3 x2n+1
(−1)n + ... + (−1)n
P
sin (x) = =x− + ... R = +∞
n=0 (2n + 1)! 3! (2n + 1)!
+∞ 2n 2 2n
x x x
(−1)n + ... + (−1)n
P
cos (x) = =1− + ... R = +∞
n=0 (2n)! 2! (2n)!
+∞ 2n+1 3 2n+1
P n x x n x
arctan (x) = (−1) =x− + ... + (−1) + ... R=1
n=0 2n + 1 3 2n + 1
α (α − 1) 2 α (α − 1) ... (α − n + 1) n
(1 + x)α = 1 + αx + x + ... + x + ... R=1
2!
n+1 2 3
n!
+∞
P n x x x
ln (1 + x) = (−1) =x− + + ... R=1
n=0 n + 1 2 3