CHAPITRE 2

SRIES ENTIRES

2.1 Sries entires

X 
Dfinition 2.1.1 On appelle srie entire toute srie de fonctions
fn dont le terme
n
gnral est de la forme fn (x) = an x , o (an )n dsigne une suite relle ou complexe et x R.
Une srie entire est note
semble :

X


an xn . Comme pour les sries de fonctions, on cherche len-

n
=
x

R
:
a
x
converge

n=0

quon appelle domaine de convergence de la srie entire.

Exemple 2.1.1

X
xn
.
Exemple 1 :
n!
n=0
xn
Posons fn (x) =
et appliquons le critre de DAlembert ;

 n! 
 x 
 fn+1 (x) 
lim
= lim 
 = 0. La srie entire est absolument convergente pour tout x R ;
n  fn (x) 
n n + 1
donc = R.

X
xn
Exemple 2 :
.
2
n
n=1



2 
xn
 fn+1 (x) 
 n

Posons fn (x) = 2 on a : lim 
= lim 
x = |x|.

n
n n + 1
n
fn (x)
Si |x| < 1, la srie est absolument convergente et si |x| > 1 la srie diverge.
Etudions le cas o |x| = 1.

X

 |x|n
xn
1
on a  fn (x) = 2 = 2 La srie
est alors absolument convergente dans [1, 1] ; et alors
2
n
n
n
n=0
= [1, 1]
21

SRIES ENTIRES

Exemple 3 :

n!xn .

n=0



 fn+1 (x) 
= lim |(n + 1)x| et la limite nexiste que
Cette srie ne converge que si x = 0 car lim 
n
fn (x)  n
si x = 0 : do : = {0}.

X
xn
Exemple 4 :
.
n
n=1



 
xn
 fn+1 (x) 
 n

Posons fn (x) =
on a lim 
= lim 
x = |x|. Si |x| < 1, la srie est absolument

n
n
n
fn (x)
n+1
convergente et si |x| > 1 la srie diverge.
Etudions le cas o |x| = 1.
X 
1
x = 1 : cest la srie harmonique
, elle est divergente.
n
X (1)n !
x = 1 : cest la srie harmonique alterne
, elle est convergente.
n
Do : = [1, 1[.

Lemme 2.1.1 (Lemme dAbel)

X

Soit
an xn une srie entire. On suppose quil existe x0 R tel que la suite
(an xn0 )n soit borne. Alors :
X

1. La srie
an xn est absolument convergente pour |x| < |x0 |.
X

2. La srie
an xn est normalement convergente pour |x| < r pour tout 0 < r <
|x0 |.

Preuve.
La suite (an xn0 )n est borne, il existe M > 0 tel que n N |an xn0 | M .
1.) Pour |x| < |x0| :
 n
 n
n

 a xn xn 
X
n 0
 x 
 x 
n  x 
n


|an x | =  n  = |an x0 |   M   La srie
 x0  est une srie gomtrique de rai x0 
x0
x0
n=0
 

X
x
 
son   < 1, donc convergente. Daprs le thorme de comparaison, la srie
|an xn | est
x0
convergente et par consquent la srie

X
n=0

n=0

an xn converge absolument pour |x| < |x0 |.

2.) Soit 0 < r < |x0 | et soit |x| r.

 n
 n

 n
 a xn xn 
X
r
n 0
r
n
n  x 


|an x | =  n  = |an x0 |   M   Comme
M
est une srie numrique conver x0 
x0
x0
x
0
n=0

X
gente, la srie entire
an xn est normalement convergente pour tout x tel que |x| < r et tout
r tel que 0 < r < |x0 |.

n=0

M r A N -E

22

2.2 Rayon de convergence dune srie entire

2.2 Rayon de convergence dune srie entire

Pour les sries entires, la notion de convergence prend une forme assez simple.
Thorme 2.2.1
X

Soit
an xn une srie entire ; alors il existe un unique nombre rel R 0
(ventuellement infini) tel que :
X

1.
an xn converge absolument dans ] R, R[.
X

2.
an xn diverge si |x| > R.
Preuve.

n
+
Soit I =
r

R
:
a
r
converge
R+ . I , car 0 I.

n=0
On distinguera trois cas : I = {0}, I = R+ et {0} I R+ .
1) I = {0}. On pose R = 0.
Soit x R . Ceci implique que |x| > 0 et par suite x < I et la srie

que

X
n=0

|an xn | diverge. Montrons

an x diverge. Pour cela, on raisonnera par labsurde. Supposons que

an xn converge

n=0

n=0

pour |x| > 0.

Soit x1 C tel que 0 < |x1 | < |x|. La srie

|an xn1 | est convergente daprs le lemme dAbel
n=0

(2.1.1) et donc x1 I. Do la contradiction avec le

fait que
X
 I = {0}.
n
+
2) I = R . On pose R = . On doit prouver que
an x est absolument convergente pour
tout x R.

X
|an |rn converge pour tout r > 0.
La srie
n=0

Soit x R . Il existe r > 0X

tel que |x| < r. Ceci implique |an xn | |an |rn et daprs le thorme
de comparaison la srie
an xn converge absolument.
3) {0} I R , I , {0} et I , R .
a) I est major. En effet, soit r R \I et supposons que r nest
Xpas un
 majorant de I. Il existerait
n
alors r1 I tel r < r1 . Daprs la dfinition de I, la srie
|an |r1 est convergente ainsi que
X

|an |rn (car |an |rn < |an |rn1 ) et donc r I ce qui est en contradiction avec lhypothse r R \I.
I est alors un ensemble non vide et major donc admet une borne suprieure R = sup I. Pour
rI
X

n
conclure, on doit prouver que
an x converge absolument pour tout x, |x| < R et diverge
pour tout x, |x| > R.

X
b)Soit x R tel que |x| < R. Il existe I tel que |x| < < R. Comme la srie
|an |n
X

X

converge,
|an | |xn | converge en vertu du thorme de comparaison.
an xn est alors
absolument convergente.
X

c) Soit x R, |x| > R. Ceci implique que |x| < I et donc la srie
|an xn | diverge. Montrons
X

X

que
an xn diverge. Pour cela, on raisonne par labsurde. Si
an xn converge, daprs

23

M r A N -E

SRIES ENTIRES
X

le lemme dAbel, (2.1.1) la srie
an xn1 est absolument convergente pour tout x1 R,
vrifiant R < |x1 | < |x| et donc |x1 | I. On a alors ncessairement |x1 | R = sup I et ceci est en
rI

contradiction avec lhypothse R < |x1 | < |x|.

n
X

o
Dfinition 2.2.1 Le nombre R = sup r R+ :
|an |rn converge R+ {+} est appel
X

rayon de convergence de la srie
an xn .
X

Remarque 2.2.1 Le rayon de convergence dune srie

X

1. |x| < R =
an xn est absolument convergente.
X

2. |x| > R =
an xn diverge.


an xn est caractris par :

3. |x| = R est le cas douteux o on ne peut rien dire sur la nature de la srie.
X

4. Pour tout r R+ tel que r < R, la srie
an xn est normalement (donc absolument)
convergente pour |x| r.

2.2.1 Dtermination du rayon de convergence

Lemme 2.2.1 (Lemme dHadamard)
X

Soit
an xn une srie entire. Le rayon de convergence R est donn par la relation :


p
1
n
 an+1 
= lim 
|an |
=
lim

n
n
R
an

Preuve.



 an+1 
a) Posons = lim 
En utilisant le critre de dAlembert on a :
n an 



n+1
 an+1 
 an+1 x 
 |x| = |x|. Ceci implique :
lim
= lim 
n  an xn 
n an

1
)
|x| < 1 |x| <
=
la srie est absolument convergente


1
)
|x| > 1 |x| >
=
la srie est divergente

1
Daprs la remarque (2.2.1), R = .

p
n
b) Posons = lim |an |. En utilisant le critre de Cauchy :
n
p
n
lim |an xn | = |x| puis on adopte le mme raisonnement que prcdemment, on aboutit
n
1
la mme conclusion ; R = .

Exemple 2.2.1
M r A N -E

24

2.3 Proprits

1.

X
xn

X
xn

n=0

n!

1
On a an = , utilisons le critre de DAlembert :
 n!





 an+1 
 n! 
 1 
lim
= lim 
= lim 
= 0, donc le rayon de convergence est R = .
n (n + 1)! 
n n + 1 
n  an 
La srie est absolument convergente pour tout x R.
2.

n=1

n2



2

 an+1 
 n  = 1. Le rayon de convergence est R = 1. La srie est
On a lim 
=
lim
n an 
n n + 1
absolument convergente pour tout |x| < 1 et divergente si |x| > 1.

3.

X
xn

.
n
2
n=0
Le critre
r de Cauchy donne :
1
n 1
=
< 1, le rayon de convergence est R = 2. La srie est absolument
lim
n
n
2
2
convergente pour tout |x| < 2 et divergente si |x| > 2.

Remarque 2.2.2 Soit une application de N dans N, la srie de suivante

srie entire. On commence par calculer directement la limite suivante ;

X


an x(n) est une





 an+1 x(n+1) 
 an+1 
lim 
lim |x|(n+1)(n)
= lim 
 = n

n  an x(n) 
an n

n
o
puis chercher le domaine de x o < 1 ; R est donc sup R+ = R+ {} o notre srie
converge.
X

Exemple : Trouver le rayon de convergence de la srie :
3n x2n+5 . Dans notre cas (n) =
2n + 5.
 n+1 2n+7 
3 x

= lim  n 2n+5  = 3|x|2
n 3 x

3
3
la srie converge si 3|x|2 < 1 |x| <
do le rayon de convergence est : R =
.
3

3
3
3
La srie est absolument convergente pour tout |x| <
et divergente si |x| >
.
3
3

2.3 Proprits
Ce paragraphe tudie les proprits de continuit, de drivabilit et dintgrabilit de la
fonction somme des sries entires.

25

M r A N -E

SRIES ENTIRES

2.3.1 Continuit dune srie entire

Proposition 2.3.1
X


an xn une srie entire de rayon de convergence R et soit

X
f :] R, R[7 R la fonction dfinie par f (x) =
an xn , f est alors continue.
Soit

n=0

Preuve.
Soit 0 < r < R. Pour tout n N, les fonctions fn (x) = an xn sont continues dans [R, R] et
puisque la convergence est normale donc uniforme dans [r, r], f est alors continue dans
[r, r] pour tout r, 0 < r < R donc continue dans ] R, R[.

2.3.2 Drive dune srie entire

Une fonction f : R 7 R est dite drivable en x0 R si lim

Dfinition 2.3.1

xx0

existe. On la note f (x0 ).

f (x) f (x0 )
x x0

Dfinition 2.3.2 Une fonction f est dite de classe Cn sur un intervalle I de R, si sa drive dordre
n est une fonction continue sur I. On notera alors que f Cn (I) .
Si elle est indfiniment (ou infiniment) drivable, on dira alors quelle est de classe C-infinie et on
crira que f C (I) .
Par contre f C0 (I), signifie que f est seulement continue sur I.
Proposition 2.3.2
X


an xn une srie entire de rayon de convergence R, et soit

X
f :] R, R[7 R la fonction dfinie par f (x) =
an xn . Alors f est drivable et on a
Soit

f (x) =

n=0

nan xn1 .

n=1

Preuve.
Soient les fonctions Sn :] R, R[7 R dfinies par Sn (x) =

n
X

ak xk . Ces fonctions possdent

k=0

les proprits suivantes :

i) lim Sn (x) = f (x) pour tout x ] R, R[ et la convergence est absolue donc simple.
n
n
X

ii) n N, Sn est drivable et on a Sn (x) =

kak xk1 .
k=1




X

 (n + 1)an+1 
 an+1  1
n1
iii) Le rayon de convergence de
nan x
est R car lim 
lim 
= .
 = n
n
nan
an  R
La suite (Sn )n est uniformment convergente dans [r, r].

f est drivable et on a f (x) = lim Sn (x) =

nan xn1 x [r, r] et r ]0, R[.
n

Donc f (x) = lim Sn (x) =

n

X
n=1

M r A N -E

n=1

nan xn1 x ] R, R[.

26

2.3 Proprits
Corollaire 2.3.1
Soit la srie f (x) =

an xn de rayon de convergence R ; f est indfiniment drivable

n=0

( f C (] R, R[)) ; et lon a :

X
f (n) n
f (x) =
x .
n!
n=0

x ] R, R[,

Preuve.
En effet, si f (x) =

an xn , par application de la proposition prcdente on a f (x) =

n=0

nan xn1 , et par rcurrence, la drive dordre k est donne par la relation :

n=1

(k)

f (x) =

X
n=k

n(n 1)(n 2) . . . (n k + 1)an xnk .

De cette expression, il rsulte que f (k) (0) = ak k! ; cest--dire que ak =

f (k) (0)
.
k!

2.3.3 Primitive dune srie entire

Dfinition 2.3.3
Une fonction f : D 7 R admet une primitive sil existe une fonction F : D 7 R vrifiant F = f ;
(D tant le domaine de dfinition de f ).
Proposition 2.3.3
X


an xn une srie entire de rayon de convergence R et soit

X
f :] R, R[7 R la fonction dfinie par f (x) =
an xn . On considre la fonction
Soit

n=0

X
an n+1
F :] R, R[7 R dfinie par F(x) =
x . Alors F (x) = f (x) x ] R, R[.
n
+
1
n=0

Preuve.

X
an n+1
 an+1 n + 1 
Le rayon de convergence de la srie entire
x
est R car lim 
=
n n + 2 an 
n+1
n=0


 an+1  1
lim
= . Daprs le thorme prcdent on conclut que F = f .
n  an 
R

Remarque 2.3.1 Dans le cas rel, si f (x) =

an x , avec an R et x ] R, R[,
f (t)dt =
0
n=0

Z x X
Z x

X
X

an n+1 X an1 n
n
n

an t dt =
an
t dt =
x =
x pour tout x ] R, R[.

n+1
n
0

27

n=0

n=0

n=0

n=1

M r A N -E

SRIES ENTIRES

2.3.4 Oprations sur les sries entires

Proposition 2.3.4
X
 X

Soit
an xn ,
bn xn deux sries entires ayant respectivement R et R pour
rayon de convergence.
X

1. Si R , R , le rayon de convergence R de la srie
(an + bn )xn est R =
min{R, R }.
X


2. Si R = R le rayon de convergence de la srie

(an + bn )xn est R R.
Preuve.
1) Supposons que R < R.
X
 X

n

i) |x| < R = |x| < R. Les deux sries

an x et
bn xn sont absolument convergentes.
X
Comme |(an + bn )xn | |an xn | + |bn xn |, il en dcoule que
((an + bn )xn ) converge absolument
pour |x| < R = min{R, R }.
ii) Si |x| > R , deux cas de figure se
prsentent
:
X

X

n

a) Si R < |x| < R, la srie

bn x converge absolument et
an xn diverge. Donc
X

(an + bn )xn diverge.
X

b) Si R < R < |x|, les deux sries divergent. Montrons
(an + bn )xn diverge. RaisonX

nons par labsurde. Si
(an + bn )xn converge alors daprs le lemme dAbel (2.1.1), la srie
X

(an + bn )xn converge absolument pour tout x0 R, tel que |x0 | < |x| et en particulier pour
x0 vrifiant R < |x0 | < R < |x|. Do la contradiction.
2) Si R = R . Il est clair que la srie converge absolument si |x| < R = R . Le rayon de
convergence R R = R .
Exemple 2.3.1 Soient les deux sries f (x) =

X
n=0

x et g(x) =

X
1 2n
n=0

2n

xn . Les deux sries ont pour

X
1 n
rayon de convergence R = 1. Par contre la srie somme ( f + g)(x) =
x , a pour rayon de
2n
n=0
convergence R = 2.

2.4 Sries de Taylor

Problme
Soit f une fonction relle variable relle x. Peut-on trouver une suite relle (an )n et r > 0

X
tels que lon ait f (x) =
an xn pour x ] r, r[ ?
n=0

Si ce problme admet une solution, on dit que f est dveloppable en srie entire au voisinage
de 0.
On peut gnraliser cette situation en se posant la mme question pour une fonction dfinie
au voisinage dun point x0 :
M r A N -E

28

2.4 Sries de Taylor

Existe-il une suite (an )n et r > 0 tels que lon ait f (x) =

X
n=0

an (x x0 )n pour x ]x0 r, x0 + r[ ?

Dans laffirmatif, on dira que f est dveloppable en srie entire au voisinage de x0 .

Proposition 2.4.1
Pour quune fonction f soit dveloppable en srie entire au voisinage dun point
x0 R, il est ncessaire quelle soit de classe C dans un voisinage ]x0 , x0 + [ de x0

X
f (n) (x0 )
et dans ce cas on a f (x) =
(x x0 )n .
n!
n=0
Preuve.
Il suffit de remarquer que si f (x) =

X
n=0

f (n) (x0 )
an =
.
n!

an (x x0 )n , alors et daprs le corollaire (2.3.1) on a

Proposition 2.4.2
Soit f :] r, r[ R une application de classe C dans un voisinage de 0. On
suppose quil existe M > 0 tel que pour tout n N , et pour tout x ] r, r[,

X


f (n) (0) n
(n)
 f (x) M. Alors la srie
x est simplement convergente dans ] r, r[ et on
n!
n=0

X
f (n) (0) n
x x ] r, r[
a f (x) =
n!
n=0
Preuve.


Par hypothse, il existe M > 0 tel que pour tout k N et pour tout x ] r, r[ on a  f (k) (x) M.
Le dveloppement de Taylor de f au voisinage de 0 lordre n donne :
n
X
f (k) (0) k f (n+1) (x) n+1
f (x) =
x +
x , avec 0 < < 1.
k!
(n + 1)!
k=0

f (n+1) (x) n+1

Pour dmontrer le thorme, il suffit de prouver que lim
x = 0.
n (n + 1)!
En effet,
x ] r, r[= |x| < r =
|x| < r = | f (n+1) (x)| M;

 f (n+1) (x)

Mrn+1
et donc 
xn+1 
.
 (n + 1)!
 (n + 1)!
Mrn+1
Or la srie de terme gnral un =
est convergente car ;
(n
+
1)!


f (n+1) (x) n+1
r
 un+1 
lim
= lim
= 0 et par suite lim
x = 0,
n  un 
n n + 1
n (n + 1)!

X
f (k) (0) k
ce qui donne f (x) =
x.
k!
k=0

Remarque 2.4.1 Il suffit de vrifier que le reste de Taylor, souvent appel reste de Mac-Laurin , tend
vers 0.
f (n+1) (x) n+1
Cest dire que lim
x = 0,
n (n + 1)!

29

M r A N -E

SRIES ENTIRES
Exemple 2.4.1
1) La fonction exponentielle : f (x) = ex .
Cette fonction est indfiniment drivable dans R, et on a n N, f (n) (x) = ex . Le reste de
ex
Mac-Laurin est :
xn+1 . On vrifie comme prcdemment, que cette limite tend vers
(n + 1)!
zro quand n tend vers ; et ceci quelque soit x dans R.
Finalement :

X
xn
x x2 x3
x R, ex = 1 + +
+
+ =

1! 2! 3!
n!
n=0
2) Les fonctions hyperboliques :
Les fonctions cosinushyperboliques et sinushyperboliques ont mme rayon de convergence
que la fonction exponentielle, cest dire R = .

X x2n
ex + ex
x2 x4 x6
ch x =
=1+
+
+
+ =

2
2! 4! 6!
(2n)!
n=0

X x2n+1
ex ex
x3 x5 x7
sh x =
=x+
+
+
+ =

2
3! 5! 7!
(2n + 1)!
n=0
3) Les fonctions circulaires :
a) La fonction sinus :
f (x) = sin x
f (x) = cos x
f (x) = sin x
f (x) = cos x

=
=
=
=

f (0) = 0,
f (0) = 1,
f (0) = 0,
f (0) = 1,

et
et
et
et

p N
p N
p N
p N

f (4p) (x) = sin x = f (4p) (0) = 0

f (4p+1) (x) = cos x = f (4p+1) (0) = 1
f (4p+2) (x) = sin x = f (4p+2) (0) = 0
f (4p+3) (x) = cos x = f (4p+3) (0) = 1

Les drives dordre quelconques sont majores par 1, et ceci quelque soit x dans R. On a
alors :

X
(1)n 2n+1
sin x =
x
et R = .
(2n
+
1)!
n=0
b) La fonction cosinus :
f (x) = cos x = (sin x) =

X
(1)n
n=0

(2n)!

x2n ,

et R = .

4) La srie du binme
Considrons la fonction x f (x) = y = (1 + x) , R. Son domaine de dfinition est
] 1, [.
On a une relation simple entre la fonction f et sa drive.
y = (1 + x) , on a y = (1 + x)1 do lquation diffrentielle :
y (1 + x) = y

(2.1)

Toutes les solutions de cette quation sont de la forme y = C(1 + x) , o C est une constante
arbitraire. Cherchons maintenant sil existe une fonction f dveloppable en srie entire au

X
voisinage de 0, f (x) =
an xn qui est solution de (2.1). Pour quune telle fonction existe, il
n=0

M r A N -E

30

2.4 Sries de Taylor

est ncessaire davoir les relations :

X
X
X
n1
n

0 = (1 + x) f (x) f (x) = (1 + x)
nan x
an x =
[(n + 1)an+1 ( n)an ]xn .
n=0

n=1

n=0

On dduit alors que (n + 1)an+1 ( n)an = 0 pour tout n N et donc (n + 1)an+1 = ( n)an
car une srie entire est nulle si et seulement tous ses cfficient sont nuls. Ceci permet davoir :
a1
a2
..
.
an1
an

. Ceci donne enfin

an =
Soit la srie

X
n=0

a0

= a0
( 1)a1
=
2
.. ..
. .
( n + 2)an2
=
n1
( n + 1)an1
=
n

( 1) . . . ( n + 1)
a0
n!

( 1)( 2) . . . ( n + 1) n
x . Le rayon de convergence R est donn
n!

par la relation
:




1
n!
n 
 ( 1) . . . ( n)


= lim
= lim 
 = 1.
R n 
(n + 1)!
( 1) . . . ( n + 1)  n n + 1

X
( 1)( 2) . . . ( n + 1) n
Par construction, la srie f (x) =
a0 x est solution de lquan!
n=0
tion diffrentielle (2.1) , elle est donc de la forme f (x) = C(1 + x) . Puisque f (0) = a0 = C = 1,
on dduit que pour x ] 1, 1[,
(1 + x) = 1 +

X
( 1)( 2) . . . ( n + 1)
n=1

n!

xn ;

R = 1.

Cette srie est connue sous le nom de srie du binme.

Remarque 2.4.2 Si = n N, alors les drives dordre n + 1 et plus de (1 + x)n sont toutes
nulles. La srie du binme se rduit un polynme de degr n, et on retrouve la formule du binme de
Newton.
Exercices dapplications.
En utilisant le rsultat ci-dessus, montrer quon a les dveloppements suivants. Donner le
domaine de convergence de ces sries.

1.3...(2n 3) n
1
1
1
5 4
a) 1 + x = 1 +
(1)n1
x = 1 + x x2 + x3
x +
2.4...2n
2
8
16
128
n=1

X
1.3...(2n 1) n
1
1
3
5
35 4
=1+
(1)n
x = 1 x + x2 x3 +
x + .
b)
2.4...2n
2
8
16
128
1+x
n=1

31

M r A N -E

SRIES ENTIRES
Remarque 2.4.3
Un dveloppement en srie entire au voisinage de 0 dune fonction f peut sobtenir grce
au dveloppement de sa drive f . Par exemple, le dveloppement en srie entire des
fonctions arcsin x sobtient facilement en remarquant que :

X
1.3.5...(2n 1) 2n
1
3
5
35 8
1
(arcsin x) =
= 1+
x = 1 + x2 + x4 + x6 +
x + . Sachant
2.4.6...2n
2
8
16
128
1 x2
n=1
que arcsin 0 = 0,

X
1.3.5...(2n 1) x2n+1
x3
3
5 7
35 9
arcsin x = x +
=x+
+ x5 +
x +
x + .
2.4.6...2n 2n + 1
6 40
112
1152
n=1
Par ce procd, il est facile par exemple de dvelopper les fonctions x arccos x , x
Argsh x , x Arctg x et x Argth x .
Attention : la fonction x Argch x nest pas dfinie dans un voisinage de zro, son domaine
de dfinition est [1, [.
1
.
1x
On remarque dune part que pour |x| < 1, lim |x|n = 0 et dautre part
xn+1
1
1 + x + x2 + . . . + xn +
=
.
1x 1x
Do :

X
X
1
1
n
=
x , avec R = 1 et
=
(1)n xn , (R = 1).
1 x n=0
1 + x n=0
5) La fonction x

6) La fonction x Log(1 + x).

Certains dveloppements en srie sobtiennent au moyen des thormes sur lintgration et
la drivation des sries entires.
1
Du dveloppement
on dduit par intgration :
1
+
x

X
(1)n n+1
x , (R = 1). La constante dintgration est nulle car Log 1 = 0.
Log(1 + x) =
n+1
n=0

X
1 n+1
On a de mme Log(1 x) =
x , (R = 1).
n+1
n=0
On remarque que ces fonctions sont dfinies aussi pour des valeurs nappartenant pas
lintervalle ouvert ] 1, 1[ mais leurs dveloppements en srie de Taylor au voisinage de 0
ne sont convergents que pour |x| < 1.
Formule trs utile, donc retenir :
x [1, 1[:

X
xn
n=1

= Log(1 x),

R = 1.

2.4.1 Dveloppement en srie entire au voisinage dun point x0

Soit x f (x) une fonction dfinie au voisinage dun point x0 et posons X = x x0 .
Dfinition 2.4.1 On dit que f est dveloppable en srie entire au voisinage de x0 si la fonction X f (X + x0 ) est dveloppable en srie entire au voisinage de 0. On aura alors :
M r A N -E

32

2.4 Sries de Taylor

f (X + x0 ) =

an Xn pour|X| < R.

n=0

Donc f (x) = f (X + x0 ) =

X
n=0

an (x x0 )n pour tout x vrifiant |x x0 | < R

Exemple 2.4.2 On cherche le dveloppement en srie entire de la fonction f (x) = x au

voisinage de x0 =
X = x 3 et on obtient
:
r3. On pose



 n
1/2
X

1.3...(2n

3)
X
X
X
x= X+3= 3 1+
= 3 1+
= 3 1 +
(1)n1

3
3
2.4...2n
3
n=1

X
n1

(1)
1.3...(2n

3)
Finalement : x = 3 1 +

(x 3)n .
n
3
2.4...2n
n=1
X
Domaine de convergence de cette srie. Puisque la srie entire en
a pour rayon de
3
convergence
R = 1, ce qui veut dire que pour
 
 X 
 3  < 1 3 < X < 3 3 < x 3 < 3 0 < x < 6,
la srie est absolument
convergente.

X
X
n1

(1)
1.3...(2n

3)
1.3...(2n

3)

.
Pour x = 0, on a : 3 1 +

(3)n = 3 1

n
3
2.4...2n
2.4...2n
n=1
n=1

X
1.3...(2n 3)
Le le critre de Duhamel montre que la srie
est convergente.
2.4...2n
n=1
Pour x = 6, cest la mme srie mais alterne, donc convergente, car absolument convergente.
En conclusion, la srie trouve a pour domaine de convergence : = [0, 6].
Remarque 2.4.4 On tire deux conclusions intressantes.
Le cas x = 0 donne :

X
1.3...(2n 3)
=1
2.4...2n
n=1
Le cas x = 6 donne :

X
1.3...(2n 3)
(1)n1
= 21
2.4...2n
n=1

2.4.2 Sommation de quelques sries entires

ON

eut dans certains cas reconnatre, dans une srie entire, le dveloppement dune
fonction connue ; trouver cette fonction, cest faire la sommation de la srie entire.
Ce problme est linverse de celui qui a t tudi prcdemment.
1er exemple


P(n)
Soit la srie entire
an xn , le terme an est de la forme : an =
o P(n) tant un polynme
n!
en n de degr m.
on met P(n) sous la forme :
X

33

M r A N -E

SRIES ENTIRES

P(n) = 0 + 1 n + 2 n(n 1) + 3 n(n 1)(n 2) + = 0 +

m
X
k=1

k n(n 1) (n k + 1).

On a : P(k) = 0 + 1 k + 2 k(k 1) + 3 k(k 1)(k 2) + + k k!, cette relation de rcurrence

permet de calculer toutes les valeurs de k . On calcule 0 , puis 1 , puis 2 jusqu m .
exemple : Sommer la srie suivante.
f (x) =

X
n=0

(4n4 + 25n3 49n2 + 31n + 2)

xn
n!

son rayon de convergence tant linfini, posons : P(n) = 4n4 + 25n3 49n2 + 31n + 2
= 0 + 1 n + 2 n(n 1) + 3 n(n 1)(n 2) + 4 n(n 1)(n 2)(n 3).
Pour n = 0 on a P(0) = 0 = 2
Pour n = 1 on a P(1) = 0 + 1 = 5 = 2 + 1 1 = 3
Pour n = 2 on a P(2) = 0 + 21 + 22 = 4 2 = 2
Pour n = 3 on a P(3) = 0 + 31 + 62 + 63 = 5 3 = 1
Pour n = 4 on a P(4) = 0 + 41 + 122 + 243 + 244 = 82 3 = 4
4n4 + 25n3 49n2 + 31n + 2 = 2 + 3n 2n(n 1) + n(n 1)(n 2) 4n(n 1)(n 2)(n 3).
La somme est alors :
!

X
2 3n 2n(n 1) n(n 1)(n 2) 4n(n 1)(n 2)(n 3) n
x
+

f (x) =
n!
n!
n!
n!
n!
n=0

X
X
X
X
X
xn
xn
xn
xn
xn
=2
+3
2
+
4
n!
(n 1)!
(n 2)! n=3 (n 3)!
(n 4)!
n=0
n=2
n=1
n=4

X
X
X
X
X
xn
xn1
xn2
xn3
xn4
2
3
4
=2
+ 3x
2x
+x
4x
n!
(n 1)!
(n 2)!
(n 3)!
(n 4)!
n=2
n=3
n=1
n=4
 n=0

= 2 + 3x 2x2 + x3 4x4 ex
2me exemple

X


Soit la srie entire
an xn , le terme an est de la forme : an = P(n) o P(n) tant un polynme
en n de degr m.
on met P(n) sous la forme :
P(n) = 0 + 1 (n + 1) + 2 (n + 1)(n + 2) + 3 (n + 1)(n + 2)(n + 3) +
m
X
0 +
k (n + 1)(n + 2) (n + k).
k=1

(k + m)!
On a : P(k) = 0 + 1 (k + 1) + 2 (k + 1)(k + 2) + 3 (k + 1)(k + 2)(k + 3) + + k
, cette
k!
relation de rcurrence permet de calculer toutes les valeurs de k . On calcule 0 , puis 1 , puis
2 jusqu m .
exemple : Sommer la srie suivante.

X
f (x) =
(n3 + 9n2 + 20n + 11)xn
n=0

son rayon de convergence tant gal 1. Posons :

P(n) = n3 + 9n2 + 20n + 11 = 0 + 1 (n + 1) + 2 (n + 1)(n + 2) + 3 (n + 1)(n + 2)(n + 3) Pour
n = 1 on a P(1) = 0 = 1
M r A N -E

34

2.4 Sries de Taylor

Pour n = 2 on a P(2) = 0 1 = 1 = 1 1 1 = 0
Pour n = 3 on a P(3) = 0 21 + 22 = 5 2 = 3
Pour n = 4 on a P(4) = 0 31 + 62 63 = 11 3 = 1
Do : P(n) = 1 + 3(n + 1) + (n + 1)(n + 2)(n + 3),
et donc

X
f (x) =
(1 + 3(n + 1)(n + 2) + (n + 1)(n + 2)(n + 3))xn
n=0

xn + 3

n=0

(n + 1)(n + 2)xn +

n=0

(n + 1)(n + 2)(n + 3)xn

n=0

X
1
Les trois sommes se dduisent de la srie gomtrique.
xn =
1x
n=0




X
X

1
3
(n + 1)(n + 2)xn = 3
xn+2 = 3
1x
1x
n=0
n=0
!
1
6
1 =
=3
2
(1 x)
(1 x)3




X
X n+3
1
n
2

(n + 1)(n + 2)(n + 3)x =

x = 1 + x + x +
1x
n=0
n=0 !
!

1
2
6
= 2+
=
= 1 + 2x +
2
3
(1 x)
(1 x)
(1 x)4
On a :

1
6
6
x3 3x2 3x + 11
+
+
=
1 x (1 x)3 (1 x)4
(1 x)4
pour x rel la srie ne converge pas aux bornes de lintervalle de convergence. Le domaine
de convergence est alors ] 1, 1[.
f (x) =

3me exemple
Soit la srie entire

X


an xn , le terme an est de la forme : an =

en n de degr m avec des racines simples et entires.

1
o P(n) tant un polynme
P(n)

On dcompose an lments simples et on utilisera la formule

n=1

Exemple : Sommer la srie suivante.

f (x) =

X
xn

X
n=3

= Log(1 x).

xn
(n 2)(n + 1)(n + 3)

son rayon de convergence est gal 1. Posons :

La dcomposition en lments simples donne :
1
1
1
1
=

+
(n 2)(n + 1)(n + 3) 15(n 2) 6(n + 1) 10(n + 3)

X
X
X


xn
xn2
xn
2
2

=x
=x
= x2 Log(1 x) = x2 Log(1 x)
n2
n2
n
n=3
n=3
n=1

35

M r A N -E

SRIES ENTIRES
!

X
1 X xn+1
1 X xn 1
x2 x3
xn

=
=
=
Log(1 x) x

n + 1 x n=3 n + 1 x n=4 n
x
2
3
n=3
!

X
X
X
1
xn+3
1
xn
1
x2 x3 x4 x5
xn
=
=
= 3 Log(1 x) x

n + 3 x3 n=3 n + 3 x3 n=6 n
x
2
3
4
5
n=3
On obtient finalement

i
1 h
5
2
5
4
3
2
f (x) =
120x
+
300x

180
Log(1

x)
+
64x
+
105x
+
240x

90x

180x
1800x3

Remarques :
1. La limite de f (x) quand x tend vers 1 est bien finie, car
120x5 + 300x2 180 = 60(2x3 + 4x2 + 6x + 3)(1 x)2 et elle vaut 679/1800.


2. Un dveloppement limit au voisinage de 0 de 120x5 + 300x2 180 Log(1 x) + 64x5 +
105x4 + 240x3 90x2 180x montre Aussi que la limite de f (x) quand x tend vers 0 est bien
finie et vaut f (0) = 0
3. Puisque la srie donne est convergente pour x = 1 , le domaine de convergence de la
srie est donc [1, 1].
4. On dduit de ces calculs et ces remarques que :

X
1
139
=
f (1) =
(n 2)(n + 1)(n + 3) 1800
n=3

X
109 240 Log 2
(1)n
f (1) =
=
(n 2)(n + 1)(n + 3)
1800
n=3

X
n
x
En utilisant toujours la formule
= Log(1 x), on peut sommer des sries de type
n
n=1

X
xn
b
avec a N , b Z et < Z .
an + b
a
n=m

4me exemple
Sommer la srie suivante,

xn
2n + 1
n=0
son rayon de convergence est gal 1. On a f (0) = 1
1er cas x > 0 :
 2n+1
 2n+1

1
X
X
X
n
x
x
x
1
x
f (x) =
=
=

2n
+
1
2n
+
1
2n
+
1
x
n=0
n=0
 n=02n+1

X
X
x

t2n+1
Posons 0 < x = t ]0, 1[ on a alors :
=
par drivation puis intgration
2n + 1
2n + 1
n=0
n=0
on obtient :

X
t2n+1
1
1+t
= Log
et donc :
2n
+
1
2
1

t
n=0
f (x) =

f (x) =

X
n=0

M r A N -E

xn

= 1
1
+
x

2n + 1

Log
2 x
1 x

si

x=0

si

x ]0, 1[

36

2.4 Sries de Taylor

2me cas x < 0 :

 2n+1
n

X
1 X (1)
Posons x = X on a f (X) = g(X) =
=
.
2n
+
1
2n
+
1
X
n=0
 2n+1 n=0
n

X (1)
X
X

(1)n t2n+1
Posons X = t ]0, 1[> on a alors :
=
par drivation puis
2n
+
1
2n
+
1
n=0
n=0
intgration on obtient :

X
(1)n t2n+1
= Arctg t et en conclusion finale on a donc :
2n
+
1
n=0

X
(1)n Xn

X
1
+
x
1
n

x
Log

=
f (x) =
2 x
1 x

2n + 1

n=0

Arctg x

si

x=0

si

x ]0, 1[

si

x ] 1, 0[

Remarque : Les fonctions trouves sont continues en 0 et valent 1. Pour le domaine de

convergence de la srie tudie est D f = [1, 1[ et on trouve pour x = 1 :

X
(1)n

= Arctg 1 =
2n + 1
4
n=0
5me exemple
De la mme manire on peut sommer des sries de type :

X
xn
f (x) =
(2n)!
n=0

son rayon de convergence est gal linfini. On a f (0) = 1.

( x) 2n
x > 0 f (x) =
= ch x.
(2n)!
n=0

X (1)n ( x)2n

x < 0 f (x) =
= cos x.
(2n)!
n=0
Beaucoup de sries ne peuvent tre sommer laide de fonctions lmentaires, et ceci
malgr leur simple criture.
6me exemple La fonction de Lax :
(x) =

X
xn
n=1

n2

La srie tant normalement convergente pour tout x [1, 1]. Facilement on trouve :
(x) =

X
xn
n=1

37

Log(1 x)
,
x
M r A N -E

SRIES ENTIRES
fonction dont la primitive nest pas une fonction lmentaire.
Il existe une relation fonctionnelle intressante pour (x). On a :
Z x
Log(1 t)
(x) =
dt
t
0
Log(1 x)
Cest une intgrale impropre en 0 et en 1. La limite en 0 de
vaut 1, au voisinage
x
Log(1 t)
de 1, on a :
Log(1 t) dont lintgrale existe. une simple intgration par partie
t
donne :
Z x
Log t

x
(x) = Log(1 t) Log t 0 +
dt
0 1t

on a lim (Log(1t) Log t) = 0, un changement de variables X = 1t dans la dernire intgrale

t0

donne :
Z

Log t
dt =
1t

1x

Log(1 X)
dX =
X

Log(1 X)
dX
X

1x

Log(1 X)
dX
X

On verra au chapitre sur les sries de Fourier que

Z 0
Z 1

X
Log(1 X)
Log(1 X)
1
2

dX =
dX = (1) =
=

X
X
n2
6
1
0
n=1
En conclusion on a :
x ]0, 1[

2
(x) + (1 x) + Log x Log(1 x) =
6

()

Remarques :
La formule () reste valable pour x [0, 1], car lim Log x Log(1 x) = lim x Log x = 0
x0

et lim Log x Log(1 x) = lim Log(1 t) Log t = lim t Log t = 0

x1

t0

x0

t0

x [0; 1/2] == 1x [1/2; 1] , connaissant les images de tous les nombres de lintervalle
[0, 1/2] on peut dduire celles des nombres de lintervalle [1/2, 1]; et gnralement si a et b
sont deux nombres rels de [0; 1] tels que a + b = 1 alors on a :

X
bn
n=1

n2

X an
2
Log a Log(1 a)
6
n2
n=1

En posant x = 1/2 on obtient 2(1/2) + Log2 (1/2) = 2 /6 do

X
1
2 1
(1/2) =
=
Log2 2 0.58224
n n2
2
12
2
n=1

6me exemple
Donner le rayon de convergence de la srie suivante puis calculer sa somme :
f (x) =

n(1) xn

n=1

M r A N -E

38

2.4 Sries de Taylor

On a immdiatement
p
2n

lim
|2n| = 1
si
q

n  (1)n 
=
1/R = lim n
p

lim 2n+1 |1/2n + 1| = 1 si

n
Do R = 1.
On peut crire cette somme sous la forme :
f (x)

est paire

n est impaire

1
1
1
= x + 2x2 + x3 + 4x4 + x5 + 6x6 + x7 + 8x8 +
3
5
7


 
1 3 1 5 1 7
2
4
6
8
= 2x + 4x + 6x + 8x + + x + x + x + x +
3
5
7

X
X
2n+1
x
=
2nx2n +
.
2n
+
1
n=0
n=1

La premire srie est divergente pour x = 1, donc le domaine de convergence de la srie

donne est ] 1, 1[, (La 2me srie est aussi convergente pour x = 1).
On peut crire :

X  2 n
X 2n
x + Arctg x = x
x + Arctg x.
f (x) = x
n=0

n=0

pour obtenir finalement

f (x) = x

1
1 x2

+ Arctg x =

2x2
+ Arctg x
(1 x2 )2

x ] 1, 1[.

1
Comme application on a pour x =
3
n

X
n(1)
+9
2, 0236.
=
n
6
3
n=1

Exercice 1 Rsoudre lquation diffrentielle suivante ; en utilisant les sries entires :

y xy = 0

y(0) = 1

y (0) = 0

Solution :
2

Posons y = a0 + a1 x + a2 x + a3 x + a4 x + a5 x + + an x + =
n

an xn .

n=0

On a : y = 2.1.a2 + 3.2a3 x + 4.3.a4 x2 + 5.4.a5 x3 + + (n + 2)(n + 1)an+2 xn +

X
=
(n + 2)(n + 1)an+2 xn .
n=0

En substituant dans notre quation diffrentielle, on trouve :

2.1.a2 + (3.2a3 a0 )x + (4.3.a4 a1 )x2 + (5.4.a5 a2 )x3 + + ((n + 2)(n + 1)an+2 an1 )xn + = 0.

39

M r A N -E

SRIES ENTIRES
On obtient les quations algbriques suivantes :

2.1.a2 = 0

3.2a3 a0 = 0

4.3.a4 a1 = 0

5.4.a5 a2 = 0

...............

(n + 2)(n + 1)an+2 an1 = 0

...........................

On constate que y(0) = 1 = a0 = 1 et y (0) = 0 = a1 = 0, comme la premire quation

algbrique donne aussi a2 = 0, on a alors
1
1
4
1
=
a4 = a5 = 0, a6 =
= , a7 = a8 = 0,
a0 = 1, a1 = a2 = 0, a3 =
2.3 3!
2.3.5.6 6!
1
4.7
a9 ==
=
. On remarque que seulement les cfficients a3n , n N sont non nuls.
2.3.5.6.8.9
9!
On obtient finalement :
a3n+1 = a3n+2 = 0

et

a3n =

1.4.7 . . . (3n 2)
.
(3n)!

La solution ainsi construite sera :

y1 (x) = 1 +

X
1.4.7 . . . (3n 2)
n=1

(3n)!

x3n .

Son domaine de convergence est donn par la rgle de dAlembert, on trouve que R = . La
srie est convergente pour tout x dans R.
Remarque 2.4.5

: Le mme problme avec dautres conditions, par exemple :

y xy = 0

y(0) = 0

y (0) = 1

On a une autre solution, et on trouve a0 = 0 et a1 = 1 et :

y2 (x) = x +

X
2.5.8 . . . (3n 1)
n=1

(3n + 1)!

x3n+1 .

: Lquation y xy = 0 a pour solution gnrale y(x) = a.y1 (x) + b.y2 (x), o a et b sont deux
rels quelconques.
y1 et y2 sont deux fonctions spciales, quon ne peut pas exprimer laide de fonctions lmentaires.

M r A N -E

40