Séries : Séries entières

SMC S3 CH:5
Séries : Séries entières

Définition
Une série entière est une série de fonctions de la forme
∑n≥0 an z n de variable z ∈ K et de coefficients an ∈ K.
Séries : Séries entières

Définition
Une série entière est une série de fonctions de la forme
∑n≥0 an z n de variable z ∈ K et de coefficients an ∈ K.

Exemple
Les expressions suivantes sont des séries entières :
2 1
∑ (n + i)z n , ∑ n3 +1
z n, ∑ n ( n − 1 )
z n, ∑ 3z n .
n ≥0 n ≥0 n ≥2 n ≥0
Séries : Séries entières

Exemple
On a ∑n≥0 z 2n est une série entière, mais le coefficient
d’indice 5 par exemple n’est pas 1 mais c’est 0.
Séries : Séries entières

Exemple
On a ∑n≥0 z 2n est une série entière, mais le coefficient
d’indice 5 par exemple n’est pas 1 mais c’est 0.
Plus précisément, on peut écrire ∑n≥0 z 2n sous la forme
∑m≥0 am z m avec am = 0 si m est impair et am = 1 dans le
cas contraire, c’est-à-dire

∑ z 2n = 1 + z 2 + z 4 + . . .
n ≥0

= 1 + 0.z + z 2 + 0.z 3 + z 4 + · · · = ∑ am z m .
m ≥0
Séries : Séries entières

Définition : Rayon de convergence

Soit ∑n≥0 an z n une série entière. L’ensemble

J = { r ∈ R+ : ∑ |an |r n converge}
n ≥0

est un intervalle de [0, +∞] contenant 0. Sa borne supérieure

(éventuellement +∞) est appelée le rayon de convergence de
la série ∑n≥0 an z n , on le note R.
Séries : Séries entières

Définition : Rayon de convergence

Soit ∑n≥0 an z n une série entière. L’ensemble

J = { r ∈ R+ : ∑ |an |r n converge}
n ≥0

est un intervalle de [0, +∞] contenant 0. Sa borne supérieure

(éventuellement +∞) est appelée le rayon de convergence de
la série ∑n≥0 an z n , on le note R.

En particulier, si R = 0 la série ∑n≥0 an z n diverge pour tout

z 6= 0, et si R = +∞ la série ∑n≥0 an z n est absolument
convergente pour tout z.
Séries : Séries entières

Cette définition affirme que R est le rayon de convergence de

le série entière ∑n≥0 an z n si, et seulement si :

r < R =⇒ ∑n≥0 |an |r n converge,


+
∀r ∈ R :
r > R =⇒ ∑n≥0 |an |r n diverge.

Notons que lorsque r = R, on ne peut rien dire sur la nature

de la série ∑n≥0 |an |r n .
De plus, la série de fonctions réelles ∑n≥0 an x n converge
normalement sur l’intervalle ] − r , r [ pour tout 0 < r < R.
Séries : Séries entières

Exemple
1 Considérons la série entière ∑n≥0 z n . Pour tout r > 0, la
série géométrique ∑n≥0 r n converge si, et seulement si,
r < 1. Donc, le rayon de convergence de la série ∑n≥0 z n
est R = 1.
Séries : Séries entières

Exemple
1 Considérons la série entière ∑n≥0 z n . Pour tout r > 0, la
série géométrique ∑n≥0 r n converge si, et seulement si,
r < 1. Donc, le rayon de convergence de la série ∑n≥0 z n
est R = 1.
Séries : Séries entières

Exemple
1 Considérons la série entière ∑n≥0 z n . Pour tout r > 0, la
série géométrique ∑n≥0 r n converge si, et seulement si,
r < 1. Donc, le rayon de convergence de la série ∑n≥0 z n
est R = 1.
1 n
2 Soit la série entière ∑n≥0 n! z . Pour tout r > 0, la série
r n
∑n≥0 n! converge. Donc, le rayon de convergence de la
série ∑n≥0 n! z est R = +∞.
1 n
Séries : Séries entières

Théorème : Rayon et critère de D’Alembert

Soit ∑n≥0 an z n une série entière dont les coefficients sont non
an + 1
nuls à partir d’un certain rang. Si la limite du rapport an
existe dans R+ ∪ {+∞}, alors
1 1 1
R= avec = 0 et = +∞.
limn→∞ ana+n 1 +∞ 0
Séries : Séries entières

Théorème : Rayon et critère de D’Alembert

Soit ∑n≥0 an z n une série entière dont les coefficients sont non
an + 1
nuls à partir d’un certain rang. Si la limite du rapport an
existe dans R+ ∪ {+∞}, alors
1 1 1
R= avec = 0 et = +∞.
limn→∞ ana+n 1 +∞ 0

Exemple
1 n
Le rayon de convergence de la série entière ∑n≥1 n3
z est
1
(n +1)3 n3
R = 1. En effet, limn→∞ 1 = limn→∞ (n +1)3
= 1.
n3
Séries : Séries entières

Théorème : Rayon et critère de Cauchy

p
Soit ∑n≥0 an z n une série entière. Si la limite de n |an | existe
dans R+ ∪ {+∞}, alors le rayon de convergence de la série
∑n≥0 z n est
1
R= p .
limn→∞ n |an |
Séries : Séries entières

Théorème : Rayon et critère de Cauchy

p
Soit ∑n≥0 an z n une série entière. Si la limite de n |an | existe
dans R+ ∪ {+∞}, alors le rayon de convergence de la série
∑n≥0 z n est
1
R= p .
limn→∞ n |an |

Exemple
Le rayon de convergence de la série ∑n≥1 3ln1 n z n est R = 1 car
On a s
1 1
lim n ln n = lim 1 = 1.
n→∞ 3 n →∞ 3 ln n
Séries : Séries entières

Proposition : Somme de deux séries entière

Soient ∑n≥0 an z n et ∑n≥0 bn z n deux séries entières de rayon
de convergence respectif Ra et Rb . Notons Rc le rayon de
convergence de la série entière ∑n>0 (an + bn )z n . Alors
1 Rc ≥ min{Ra , Rb }.
Séries : Séries entières

Proposition : Somme de deux séries entière

Soient ∑n≥0 an z n et ∑n≥0 bn z n deux séries entières de rayon
de convergence respectif Ra et Rb . Notons Rc le rayon de
convergence de la série entière ∑n>0 (an + bn )z n . Alors
1 Rc ≥ min{Ra , Rb }.
2 Si Ra 6= Rb alors Rc = min{Ra , Rb }.
Séries : Séries entières

Exemple
Le rayon de convergence de la série entière ∑n≥1 3ln1 n z n est
1 n
R1 = 1, et celui de la série entière ∑n≥1 n! z est R2 = +∞.
Il vient donc que le rayon de convergence de la série entière
 
1 1
∑ 3ln n + n! z n
n ≥1

est R = min{R1 , R2 } = min{1, +∞} = 1.

Séries : Séries entières

Théorème
Soient ∑n≥0 an x n une série entière réelle de rayon de
convergence R > 0 et f sa somme définie sur I =] − R, R [.
Alors f est de classe C ∞ sur I et pour tout p ∈ N on a
∞
(n + p ) !
f (p )
(x ) = ∑ n!
an+p x n pour tout x ∈ I .
n =0
Séries : Séries entières

Théorème
Soient ∑n≥0 an x n une série entière réelle de rayon de
convergence R > 0 et f sa somme définie sur I =] − R, R [.
Alors f est de classe C ∞ sur I et pour tout p ∈ N on a
∞
(n + p ) !
f (p )
(x ) = ∑ n!
an+p x n pour tout x ∈ I .
n =0

f (n ) (0 )
Pour x = 0, on obtient an = n! ∀n ∈ N, et donc
∞
f (n ) ( 0 ) n
f (x ) = ∑ n!
x pour tout x ∈ I .
n =0

On dit que f est la somme de sa série de Taylor autour de 0.

Séries : Séries entières

Définition : Développement en série entière

Soient I un intervalle ouvert de R et f : I −→ R une
fonction. On dit que f est développable en série entière autour
de a ∈ I s’il existe un réel r > 0 et une série entière ∑ an t n de
rayon de convergence R ≥ r tels que ]a − r , a + r [⊂ I et
∞
f (x ) = ∑ an ( x − a ) n pour tout x ∈ I .
n =0
Séries : Séries entières

Exemple : Fonctions usuelles

Les fonctions suivantes sont développables en série entière en
0 avec un rayon de convergence infini : Pour x ∈ R,
∞
1 n
ex = ∑ x ,
n =0 n!

∞ ∞
(−1)n 2n (−1)n 2n+1
cos(x ) = ∑ x , sin ( x ) = ∑ x .
n =0 (2n ) ! n =0 (2n + 1) !
Séries : Séries entières

Les fonctions suivantes sont développables en série entière en

0 avec un rayon de convergence 1 : Pour x ∈] − 1, 1[,
∞
1
= ∑ x n,
1−x n =0

∞
(−1)n−1 n
ln(1 + x ) = ∑ n x.
n =1
Séries : Séries entières

Proposition
Soient I un intervalle ouvert de R et f : I −→ R une fonction
développable en série entière autour de a ∈ I . Alors f est de
classe C ∞ autour de a et la somme de sa série de Taylor : il
existe r > 0 tel que
∞
f (n ) ( a )
f (x ) = ∑ n! (x − a)n pour tout x ∈]a − r , a + r [.
n =0
Séries : Séries entières

Exemple
Soit f la fonction définie sur R par f (x ) = 1+1x 2 . On va
développer en série entière la fonction f et déduire ses dérivées
successives en 0. On sait que, pour t ∈] − 1, 1[,
1 ∞ n 2
1−t = ∑n =0 t . Donc pour x ∈] − 1, 1[, en posant t = −x ,
on obtient
∞ ∞
1
f (x ) =
1 + x2
= ∑ (− x 2 n
) = ∑ (−1)n x 2n .
n =0 n =0

D’où f (2n) (0) = (2n )!(−1)n et f (2n+1) (0) = 0.

Séries : Séries entières

Exemple
Considérons g la fonction définie sur I =] − 2, 2[ par
g (x ) = ln(2 + x ). Pour t ∈] − 1, 1[, on a
(−1)n−1
ln(1 + t ) = ∑n∞=1 n t n . Donc pour x ∈] − 2, 2[, on
obtient x /2 ∈] − 1, 1[ et
x
g (x ) = ln(2 + x ) = ln(2) + ln(1 + )
2
∞ ∞
(−1)n−1  x n (−1)n−1 n
= ln(2) + ∑ n 2
= ln ( 2 ) + ∑ n2n x .
n =1 n =1
(−1)n−1
D’où g (n) (0) = n2n .