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
gnral est de la forme fn (x) = an x , o (an )n dsigne une suite relle ou complexe et x R.
n

X 
Une srie entire est note an xn . Comme pour les sries de fonctions, on cherche len-
semble :

X

= x R : a x n
converge

n


n=0

quon appelle domaine de convergence de la srie entire.

Exemple 2.1.1

X xn
Exemple 1 : .
n=0
n!
xn
Posons fn (x) = et appliquons le critre de DAlembert ;
 n! 
 fn+1 (x) 

 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=1
n
 fn+1 (x) 
2 
xn
  
 n
Posons fn (x) = 2 on a : lim  = lim  x = |x|.

n n fn (x)  n n + 1
Si |x| < 1, la srie est absolument convergente et si |x| > 1 la srie diverge.
Etudions le cas o |x| = 1.

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

21
 SRIES ENTIRES

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

X xn
Exemple 4 : .
n=1
n
xn  fn+1 (x) 
    
 n
Posons fn (x) = on a lim  = lim  x = |x|. Si |x| < 1, la srie est absolument

n n fn (x)  n n+1
convergente et si |x| > 1 la srie diverge.
Etudions le cas o |x| = 1.
1
X 
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| :
 a xn xn   n  n  n
n 0 n  x   x   x 
X
|an x | =  n  = |an x0 |   M   La srie
n  
 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 n=0

X
convergente et par consquent la srie an xn converge absolument pour |x| < |x0 |.
n=0
2.) Soit 0 < r < |x0 | et soit |x| r.
 a xn xn   n  n  n
n 0 n  x  r r
X
|an x | =  n  = |an x0 |   M   Comme
n   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
n=0
r tel que 0 < r < |x0 |.

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.
X
Soit I = : converge R+ . I , car 0 I.
+ n

r R a r

n


n=0
On distinguera trois cas : I = {0}, I = R+ et {0} I R+ .
1) I = {0}. On pose R = 0.

X
Soit x R . Ceci implique que |x| > 0 et par suite x < I et la srie

|an xn | diverge. Montrons
n=0

X
X
n
que an x diverge. Pour cela, on raisonnera par labsurde. Supposons que an xn converge
n=0 n=0
pour |x| > 0.
X
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
X fait que  I = {0}.
2) I = R . On pose R = . On doit prouver que
+
an x est absolument convergente pour
n

tout x R.
X
La srie |an |rn converge pour tout r > 0.
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
alors r1 I tel r < r1 . Daprs la dfinition de I, la srie |an |r1 est convergente ainsi que
n
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
X  rI
conclure, on doit prouver que an x converge absolument pour tout x, |x| < R et diverge
n

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 an xn est caractris par :
X 
1. |x| < R = an xn est absolument convergente.
X 
2. |x| > R = an xn diverge.
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 :

1
 
 an+1  n
p
= lim  = lim |an |
R n an  n

Preuve.  
 an+1 
a) Posons = lim  En utilisant le critre de dAlembert on a :
n an 
n+1
  
 an+1 
 an+1 x 
lim = lim   |x| = |x|. Ceci implique :
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 = .

n
p
b) Posons = lim |an |. En utilisant le critre de Cauchy :
n
n
p
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

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

X xn
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.

X xn
3. .
n=0
2 n

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

X 
Remarque 2.2.2 Soit une application de N dans N, la srie de suivante an x(n) est une
srie entire. On commence par calculer directement la limite suivante ;
 
 an+1 x(n+1) 
 
 an+1 
= lim  lim 
 = n lim |x|(n+1)(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 
Soit 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.
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

f (x) f (x0 )
Dfinition 2.3.1 Une fonction f : R 7 R est dite drivable en x0 R si lim
xx0 x x0
existe. On la note f (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 
Soit 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
n=0

X
f (x) = nan xn1 .
n=1

Preuve.
n
X
Soient les fonctions Sn :] R, R[7 R dfinies par Sn (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
Xn
ii) n N, Sn est drivable et on a Sn (x) =

kak xk1 .
k=1
 (n + 1)an+1   an+1  1
X     
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].
X
f est drivable et on a f (x) = lim Sn (x) =

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

X
Donc f (x) = lim Sn (x) = nan xn1 x ] R, R[.
n
n=1

M r A N -E 26
2.3 Proprits

Corollaire 2.3.1

X
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
x ] R, R[, f (x) = x .
n=0
n!

Preuve.

X
En effet, si f (x) = an xn , par application de la proposition prcdente on a f (x) =
n=0

X
nan xn1 , et par rcurrence, la drive dordre k est donne par la relation :
n=1

X
(k)
f (x) = n(n 1)(n 2) . . . (n k + 1)an xnk .
n=k
f (k) (0)
De cette expression, il rsulte que f (k) (0) = ak k! ; cest--dire que ak = .
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 
Soit 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
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=0
n + 1

Preuve.

 an+1 n + 1 
 
X an n+1
Le rayon de convergence de la srie entire x est R car lim  =
n=0
n+1 n n + 2 an 

 an+1  1
 
lim = . Daprs le thorme prcdent on conclut que F = f .
n  an  R

X Z x
Remarque 2.3.1 Dans le cas rel, si f (x) = an x , avec an R et x ] R, R[,
n
f (t)dt =
n=0 0

Z x X Z x
X X an n+1 X an1 n
n n
x pour tout x ] R, R[.

an t dt =
an t dt = x =
0

n=0 n=0 0 n+1 n=0
n n=1

27 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 
i) |x| < R = |x| < R. Les deux sries

an x et
n
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
X prsentent : X 
a) Si R < |x| < R, la srie

bn x converge absolument et
n
an xn diverge. Donc
X 
(an + bn )xn diverge.
X 
b) Si R < R < |x|, les deux sries divergent. Montrons (an + bn )xn diverge. Raison-
X 
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 .

X
n
X 1 2n
Exemple 2.3.1 Soient les deux sries f (x) = x et g(x) = xn . Les deux sries ont pour
n=0 n=0
2n

X 1 n
rayon de convergence R = 1. Par contre la srie somme ( f + g)(x) = x , a pour rayon de
n=0
2n
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

X
Existe-il une suite (an )n et r > 0 tels que lon ait f (x) = an (x x0 )n pour x ]x0 r, x0 + r[ ?
n=0
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=0
n!

Preuve.
X
Il suffit de remarquer que si f (x) = an (x x0 )n , alors et daprs le corollaire (2.3.1) on a
n=0
f (n) (x0 )
an = .
n!
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[,

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

X f (n) (0) n
a f (x) = x x ] r, r[
n=0
n!

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
 
 un+1  r
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 x2 x3 X xn
x R, ex = 1 + + + + =
1! 2! 3! n=0
n!
2) Les fonctions hyperboliques :
Les fonctions cosinushyperboliques et sinushyperboliques ont mme rayon de convergence
que la fonction exponentielle, cest dire R = .

ex + ex x2 x4 x6 X x2n
ch x = =1+ + + + =
2 2! 4! 6! n=0
(2n)!

ex ex x3 x5 x7 X x2n+1
sh x = =x+ + + + =
2 3! 5! 7! n=0
(2n + 1)!
3) Les fonctions circulaires :
a) La fonction sinus :

f (x) = sin x = f (0) = 0, et p N f (4p) (x) = sin x = f (4p) (0) = 0

f (x) = cos x = f (0) = 1, et p N f (4p+1) (x) = cos x = f (4p+1) (0) = 1
f (x) = sin x = f (0) = 0, et p N f (4p+2) (x) = sin x = f (4p+2) (0) = 0
f (x) = cos x = f (0) = 1, et p N 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 = .
n=0
(2n + 1)!
b) La fonction cosinus :

X (1)n
f (x) = cos x = (sin x) =
x2n , et R = .
n=0
(2n)!

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
0 = (1 + x) f (x) f (x) = (1 + x)
n1
nan x n
an x = [(n + 1)an+1 ( n)an ]xn .
n=1 n=0 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 = a0

( 1)a1
a2 =
2
.. .. ..
. . .
( n + 2)an2
an1 =
n1
( n + 1)an1
an =
n
. Ceci donne enfin
( 1) . . . ( n + 1)
an = a0
n!

X ( 1)( 2) . . . ( n + 1) n
Soit la srie a0 x . Le rayon de convergence R est donn
n=0
n!
par la relation :
1  ( 1) . . . ( n)
 
n! 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 lqua-
n=0
n!
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[,

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

xn ; R = 1.
n=1
n!

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.

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

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

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 :

1 X 1.3.5...(2n 1) 2n 1 3 5 35 8
(arcsin x) = = 1+ x = 1 + x2 + x4 + x6 + x + . Sachant
1 x2 n=1
2.4.6...2n 2 8 16 128
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 + .
n=1
2.4.6...2n 2n + 1 6 40 112 1152
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
5) La fonction x .
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 :

1 X 1 X
= x , avec R = 1 et
n
= (1)n xn , (R = 1).
1 x n=0 1 + x n=0
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
Log(1 + x) = x , (R = 1). La constante dintgration est nulle car Log 1 = 0.
n=0
n+1

X 1 n+1
On a de mme Log(1 x) = x , (R = 1).
n=0
n+1
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 xn
x [1, 1[: = Log(1 x), R = 1.
n=1
n

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 fonc-
tion 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

X
f (X + x0 ) = an Xn pour|X| < R.
n=0

X
Donc f (x) = f (X + x0 ) = an (x x0 )n pour tout x vrifiant |x x0 | < R
n=0

Exemple 2.4.2 On cherche le dveloppement en srie entire de la fonction f (x) = x au
voisinage de x0 = r3. On pose X = x 3 et on obtient :
1/2  n
X X 1.3...(2n 3) X
   X
x= X+3= 3 1+ = 3 1+ = 3 1 + (1)n1

3 3 2.4...2n 3

n=1

X (1) n1
1.3...(2n 3)
Finalement : x = 3 1 + (x 3)n .


n=1
3 n 2.4...2n
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 (1) n1
1.3...(2n 3) X 1.3...(2n 3)
Pour x = 0, on a : 3 1 + (3)n = 3 1

.

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

X 1.3...(2n 3)
Le le critre de Duhamel montre que la srie est convergente.
n=1
2.4...2n
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
n=1
2.4...2n
Le cas x = 6 donne :

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

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
X  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 :

33 M r A N -E
 SRIES ENTIRES

m
X
P(n) = 0 + 1 n + 2 n(n 1) + 3 n(n 1)(n 2) + = 0 + k n(n 1) (n k + 1).
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.

X xn
f (x) = (4n4 + 25n3 49n2 + 31n + 2)
n=0
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 :

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

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

X xn X xn1 2
X xn2 3
X xn3 4
X xn4
=2 + 3x 2x +x 4x
n! (n 1)! (n 2)! (n 3)! (n 4)!
 n=0 n=1  n=2 n=3 n=4
= 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) +
Xm
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

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

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

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

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

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

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

1 6 6 x3 3x2 3x + 11
f (x) = + + =
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[.

3me exemple
X  1
Soit la srie entire an xn , le terme an est de la forme : an = o P(n) tant un polynme
P(n)
en n de degr m avec des racines simples et entires.

X xn
On dcompose an lments simples et on utilisera la formule = Log(1 x).
n=1
n
Exemple : Sommer la srie suivante.

X xn
f (x) =
n=3
(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 xn 2
X xn2 2
X xn
= x2 Log(1 x) = x2 Log(1 x)


=x =x
n=3
n2 n=3
n2 n=1
n

35 M r A N -E
 SRIES ENTIRES

1 X xn+1 1 X xn 1 x2 x3
!
X xn
= = = Log(1 x) x
n=3
n + 1 x n=3 n + 1 x n=4 n x 2 3

1 1 1 x2 x3 x4 x5
!
X xn X xn+3 X xn
= = = 3 Log(1 x) x .
n=3
n + 3 x3 n=3 n + 3 x3 n=6 n x 2 3 4 5
On obtient finalement
1 h 5 2

5 4 3 2
i
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=3
(n 2)(n + 1)(n + 3) 1800

X (1)n 109 240 Log 2
f (1) = =
n=3
(n 2)(n + 1)(n + 3) 1800
n
X x
En utilisant toujours la formule = Log(1 x), on peut sommer des sries de type
n=1
n

X xn b
avec a N , b Z et < Z .
n=m
an + b a
4me exemple
Sommer la srie suivante,

X xn
f (x) =
n=0
2n + 1
son rayon de convergence est gal 1. On a f (0) = 1
1er cas x > 0 :  2n+1  2n+1
x 1 x
X x n X x 1 X
f (x) = = =
n=0
2n + 1 n=0
2n + 1 x 2n + 1
 n=02n+1
x
X X t2n+1
Posons 0 < x = t ]0, 1[ on a alors : = par drivation puis intgration
n=0
2n + 1 n=0
2n + 1
on obtient :

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

1 si x=0



xn
X

f (x) =

= 1

2n + 1 1 + x
Log si x ]0, 1[

n=0
2 x 1 x

M r A N -E 36
2.4 Sries de Taylor

2me cas x < 0 :  2n+1

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

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

1 si x=0








1 1 + x

n

X x Log


si x ]0, 1[
f (x) = = 2 x 1 x
n=0
2n + 1


Arctg x



si x ] 1, 0[



x

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 =
n=0
2n + 1 4
5me exemple
De la mme manire on peut sommer des sries de type :

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

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

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


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

X xn
(x) =
n=1
n2

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

X xn Log(1 x)
(x) =

= ,
n=1
n x

37 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 :
Log(1 t)
Z x
(x) = dt
0 t
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 :
Log t
Z x
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 :
x 1x 0 1x
Log t Log(1 X) Log(1 X) Log(1 X)
Z Z Z Z
dt = dX = dX dX
0 1t 1 X 1 X 0 X
On verra au chapitre sur les sries de Fourier que
Z 0 Z 1
Log(1 X) Log(1 X) X 1 2
dX = dX = (1) = =
1 X 0 X n=1
n2 6

En conclusion on a :
2
x ]0, 1[ (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 x0
et lim Log x Log(1 x) = lim Log(1 t) Log t = lim t Log t = 0
x1 t0 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 2 X an
= Log a Log(1 a)
n=1
n2 6 n=1
n2

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=1
2 n n2 12 2

6me exemple
Donner le rayon de convergence de la srie suivante puis calculer sa somme :

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

M r A N -E 38
2.4 Sries de Taylor

On a immdiatement 2n
p
q
lim |2n| = 1 si n est paire
n  (1)n 
 n
1/R = lim n =

lim 2n+1 |1/2n + 1| = 1 si
n
p
n est impaire


n
Do R = 1.
On peut crire cette somme sous la forme :

1 1 1
f (x) = 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
2n+1
X X x
= 2nx2n + .
n=1 n=0
2n + 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 2n X  2 n
f (x) = x x + Arctg x = x x + Arctg x.
n=0 n=0

pour obtenir finalement

2x2

1

f (x) = x + Arctg x = + Arctg x x ] 1, 1[.
1 x2 (1 x2 )2

1
Comme application on a pour x =
3
n
X n(1) +9
= 2, 0236.
n=1 3 n 6

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

y xy = 0


y(0) = 1



y (0) = 0

Solution :
X
2 3 4 5
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 1 4
a0 = 1, a1 = a2 = 0, a3 = = a4 = a5 = 0, a6 = = , a7 = a8 = 0,
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 :

1.4.7 . . . (3n 2)
a3n+1 = a3n+2 = 0 et a3n = .
(3n)!
La solution ainsi construite sera :

X 1.4.7 . . . (3n 2)
y1 (x) = 1 + x3n .
n=1
(3n)!

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 :

X 2.5.8 . . . (3n 1)
y2 (x) = x + x3n+1 .
n=1
(3n + 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 lmen-
taires.

M r A N -E 40