CHAPITRE 2

SRIES ENTIRES
2.1 Sries entires
Dnition 2.1.1 On appelle srie entire toute srie de fonctions
_

f
n
_
dont le terme
gnral est de la forme f
n
(x) = a
n
x
n
, o (a
n
)
n
dsigne une suite relle ou complexe et x R.
Une srie entire est note
_

a
n
x
n
_
. Comme pour les sries de fonctions, on cherche len-
semble :
=
_

_
x R :

n=0
a
n
x
n
converge
_

_
quon appelle domaine de convergence de la srie entire.
Exemple 2.1.1
Exemple 1 :

n=0
x
n
n!
.
Posons f
n
(x) =
x
n
n!
et appliquons le critre de DAlembert ;
lim
n

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

= lim
n

x
n + 1

= 0. La srie entire est absolument convergente pour tout x R;

donc = R.
Exemple 2 :

n=1
x
n
n
2
.
Posons f
n
(x) =
x
n
n
2
on a : lim
n

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

= lim
n

_
n
n + 1
_
2
x

= |x|.
Si |x| < 1, la srie est absolument convergente et si |x| > 1 la srie diverge.
Etudions le cas o |x| = 1.
on a

f
n
(x)

=
|x|
n
n
2
=
1
n
2
La srie

n=0
x
n
n
2
est alors absolument convergente dans [1, 1] ; et alors
= [1, 1]
21
SRIES ENTIRES
Exemple 3 :

n=0
n!x
n
.
Cette srie ne converge que si x = 0 car lim
n

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

= lim
n
|(n +1)x| et la limite nexiste que
si x = 0 : do : = {0}.
Exemple 4 :

n=1
x
n
n
.
Posons f
n
(x) =
x
n
n
on a lim
n

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

= lim
n

_
n
n + 1
_
x

= |x|. Si |x| < 1, la srie est absolument

convergente et si |x| > 1 la srie diverge.
Etudions le cas o |x| = 1.
x = 1 : cest la srie harmonique
_

1
n
_
, elle est divergente.
x = 1 : cest la srie harmonique alterne
_

(1)
n
n
_
, elle est convergente.
Do : = [1, 1[.
Lemme 2.1.1 (Lemme dAbel)
Soit
_

a
n
x
n
_
une srie entire. On suppose quil existe x
0
R tel que la suite
(a
n
x
n
0
)
n
soit borne. Alors :
1. La srie
_

a
n
x
n
_
est absolument convergente pour |x| < |x
0
|.
2. La srie
_

a
n
x
n
_
est normalement convergente pour |x| < r pour tout 0 < r <
|x
0
|.
Preuve.
La suite (a
n
x
n
0
)
n
est borne, il existe M > 0 tel que n N|a
n
x
n
0
| M .
1.) Pour |x| < |x
0
| :
|a
n
x
n
| =

a
n
x
n
0
x
n
x
n
0

= |a
n
x
n
0
|

x
x
0

n
M

x
x
0

n
La srie

n=0

x
x
0

n
est une srie gomtrique de rai-
son

x
x
0

< 1, donc convergente. Daprs le thorme de comparaison, la srie

n=0
|a
n
x
n
| est
convergente et par consquent la srie

n=0
a
n
x
n
converge absolument pour |x| < |x
0
|.
2.) Soit 0 < r < |x
0
| et soit |x| r.
|a
n
x
n
| =

a
n
x
n
0
x
n
x
n
0

= |a
n
x
n
0
|

x
x
0

n
M

r
x
0

n
Comme

n=0
M
_
r
x
0
_
n
est une srie numrique conver-
gente, la srie entire

n=0
a
n
x
n
est normalement convergente pour tout x tel que |x| < r et tout
r tel que 0 < r < |x
0
|.
M
r
AxnoiN N oin-E nniNi 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
Soit
_

a
n
x
n
_
une srie entire ; alors il existe un unique nombre rel R 0
(ventuellement inni) tel que :
1.
_

a
n
x
n
_
converge absolument dans ] R, R[.
2.
_

a
n
x
n
_
diverge si |x| > R.
Preuve.
Soit I =
_

_
r R
+
:

n=0
a
n
r
n
converge
_

_
R
+
. I car 0 I.
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

n=0
|a
n
x
n
| diverge. Montrons
que

n=0
a
n
x
n
diverge. Pour cela, onraisonnera par labsurde. Supposons que

n=0
a
n
x
n
converge
pour |x| > 0.
Soit x
1
C tel que 0 < |x
1
| < |x|. La srie
_

n=0
|a
n
x
n
1
|
_

_
est convergente daprs le lemme dAbel
(2.1.1) et donc x
1
I. Do la contradiction avec le fait que I = {0}.
2) I = R
+
. On pose R = . On doit prouver que
_

a
n
x
n
_
est absolument convergente pour
tout x R.
La srie

n=0
|a
n
|r
n
converge pour tout r > 0.
Soit x R

. Il existe r > 0 tel que |x| < r. Ceci implique |a

n
x
n
| |a
n
|r
n
et daprs le thorme
de comparaison la srie
_

a
n
x
n
_
converge absolument.
3) {0} I R

, I {0} et I R

.
a) I est major. En eet, soit r R

\I et supposons que r nest pas un majorant de I. Il existerait

alors r
1
I tel r < r
1
. Daprs la dnition de I, la srie
_

|a
n
|r
n
1
_
est convergente ainsi que
_

|a
n
|r
n
_
(car |a
n
|r
n
< |a
n
|r
n
1
) et donc r I ce qui est encontradiction avec lhypothse r R

\I.
I est alors un ensemble non vide et major donc admet une borne suprieure R = sup
rI
I. Pour
conclure, on doit prouver que
_

a
n
x
n
_
converge absolument pour tout x, |x| < R et diverge
pour tout x, |x| > R.
b)Soit x R tel que |x| < R. Il existe I tel que |x| < < R. Comme la srie
_

|a
n
|
n
_
converge,
_

|a
n
| |x
n
|
_
converge en vertu du thorme de comparaison.
_

a
n
x
n
_
est alors
absolument convergente.
c) Soit x R, |x| > R. Ceci implique que |x| I et donc la srie
_

|a
n
x
n
|
_
diverge. Montrons
que
_

a
n
x
n
_
diverge. Pour cela, on raisonne par labsurde. Si
_

a
n
x
n
_
converge, daprs
23 M
r
AxnoiN N oin-E nniNi
SRIES ENTIRES
le lemme dAbel, (2.1.1) la srie
_

a
n
x
n
1
_
est absolument convergente pour tout x
1
R,
vriant R < |x
1
| < |x| et donc |x
1
| I. On a alors ncessairement |x
1
| R = sup
rI
I et ceci est en
contradiction avec lhypothse R < |x
1
| < |x|.
Dnition 2.2.1 Le nombre R = sup
_
r R
+
:
_

|a
n
|r
n
_
converge
_
R
+
{+} est appel
rayon de convergence de la srie
_

a
n
x
n
_
.
Remarque 2.2.1 Le rayon de convergence dune srie
_

a
n
x
n
_
est caractris par :
1. |x| < R =
_

a
n
x
n
_
est absolument convergente.
2. |x| > R =
_

a
n
x
n
_
diverge.
3. |x| = R est le cas douteux o on ne peut rien dire sur la nature de la srie.
4. Pour tout r R
+
tel que r < R, la srie
_

a
n
x
n
_
est normalement (donc absolument)
convergente pour |x| r.
2.2.1 Dtermination du rayon de convergence
Lemme 2.2.1 (Lemme dHadamard)
Soit
_

a
n
x
n
_
une srie entire. Le rayon de convergence Rest donn par la relation:
1
R
= lim
n

a
n+1
a
n

= lim
n
n
_
|a
n
|
Preuve.
a) Posons = lim
n

a
n+1
a
n

En utilisant le critre de dAlembert on a :

lim
n

a
n+1
x
n+1
a
n
x
n

= lim
n

a
n+1
a
n

|x| = |x|. Ceci implique :

)
_
|x| < 1 |x| <
1

_
= la srie est absolument convergente
)
_
|x| > 1 |x| >
1

_
= la srie est divergente
Daprs la remarque (2.2.1), R =
1

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

.
Exemple 2.2.1
M
r
AxnoiN N oin-E nniNi 24
2.3 Proprits
1.

n=0
x
n
n!
.
On a a
n
=
1
n!
, utilisons le critre de DAlembert :
lim
n

a
n+1
a
n

= lim
n

n!
(n + 1)!

= lim
n

1
n + 1

= 0, donc le rayon de convergence est R = .

La srie est absolument convergente pour tout x R.
2.

n=1
x
n
n
2
.
On a lim
n

a
n+1
a
n

= lim
n

n
n + 1

2
= 1. Le rayon de convergence est R = 1. La srie est
absolument convergente pour tout |x| < 1 et divergente si |x| > 1.
3.

n=0
x
n
2
n
.
Le critre de Cauchy donne :
lim
n
n
_
1
2
n
=
1
2
< 1, le rayon de convergence est R = 2. La srie est absolument
convergente pour tout |x| < 2 et divergente si |x| > 2.
Remarque 2.2.2 Soit une application de Ndans N, la srie de suivante
_

a
n
x
(n)
_
est une
srie entire. On commence par calculer directement la limite suivante ;
= lim
n

a
n+1
x
(n+1)
a
n
x
(n)

= lim
n

a
n+1
a
n

lim
n
|x|
(n+1)(n)
puis chercher le domaine de x o < 1 ; R est donc sup
_
R
+
= R
+
{}
_
o notre srie
converge.
Exemple : Trouver le rayon de convergence de la srie :
_

3
n
x
2n+5
_
. Dans notre cas (n) =
2n + 5.
= lim
n

3
n+1
x
2n+7
3
n
x
2n+5

= 3|x|
2
la srie converge si 3|x|
2
< 1 |x| <

3
3
do le rayon de convergence est : R =

3
3
.
La srie est absolument convergente pour tout |x| <

3
3
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
AxnoiN N oin-E nniNi
SRIES ENTIRES
2.3.1 Continuit dune srie entire
Proposition 2.3.1
Soit
_

a
n
x
n
_
une srie entire de rayon de convergence R et soit
f :] R, R[R la fonction dnie par f (x) =

n=0
a
n
x
n
, f est alors continue.
Preuve.
Soit 0 < r < R. Pour tout n N, les fonctions f
n
(x) = a
n
x
n
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
Dnition 2.3.1 Une fonction f : R R est dite drivable en x
0
R si lim
xx
0
f (x) f (x
0
)
x x
0
existe. On la note f

(x
0
).
Dnition 2.3.2 Une fonction f est dite de classe C
n
sur un intervalle I de R, si sa drive dordre
n est une fonction continue sur I. On notera alors que f C
n
(I) .
Si elle est indniment (ou inniment) drivable, on dira alors quelle est de classe C-innie et on
crira que f C

(I) .
Par contre f C
0
(I), signie que f est seulement continue sur I.
Proposition 2.3.2
Soit
_

a
n
x
n
_
une srie entire de rayon de convergence R, et soit
f :] R, R[ R la fonction dnie par f (x) =

n=0
a
n
x
n
. Alors f est drivable et on a
f

(x) =

n=1
na
n
x
n1
.
Preuve.
Soient les fonctions S
n
:] R, R[ R dnies par S
n
(x) =
n

k=0
a
k
x
k
. Ces fonctions possdent
les proprits suivantes :
i) lim
n
S
n
(x) = f (x) pour tout x ] R, R[ et la convergence est absolue donc simple.
ii) n N, S
n
est drivable et on a S

n
(x) =
n

k=1
ka
k
x
k1
.
iii) Le rayon de convergence de
_

na
n
x
n1
_
est R car lim
n

(n + 1)a
n+1
na
n

= lim
n

a
n+1
a
n

=
1
R
.
La suite (S

n
)
n
est uniformment convergente dans [r, r].
f est drivable et on a f

(x) = lim
n
S
n
(x) =

n=1
na
n
x
n1
x [r, r] et r ]0, R[.
Donc f

(x) = lim
n
S
n
(x) =

n=1
na
n
x
n1
x ] R, R[.
M
r
AxnoiN N oin-E nniNi 26
2.3 Proprits
Corollaire 2.3.1
Soit la srie f (x) =

n=0
a
n
x
n
de rayon de convergence R; f est indniment drivable
( f C

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

n=0
f
(n)
n!
x
n
.
Preuve.
En eet, si f (x) =

n=0
a
n
x
n
, par application de la proposition prcdente on a f

(x) =

n=1
na
n
x
n1
, et par rcurrence, la drive dordre k est donne par la relation :
f
(k)
(x) =

n=k
n(n 1)(n 2) . . . (n k + 1)a
n
x
nk
.
De cette expression, il rsulte que f
(k)
(0) = a
k
k! ; cest--dire que a
k
=
f
(k)
(0)
k!
.
2.3.3 Primitive dune srie entire
Dnition 2.3.3
Une fonction f : D R admet une primitive sil existe une fonction F : D Rvriant F

= f ;
(D tant le domaine de dnition de f ).
Proposition 2.3.3
Soit
_

a
n
x
n
_
une srie entire de rayon de convergence R et soit
f :] R, R[ R la fonction dnie par f (x) =

n=0
a
n
x
n
. On considre la fonction
F :] R, R[R dnie par F(x) =

n=0
a
n
n + 1
x
n+1
. Alors F

(x) = f (x) x ] R, R[.

Preuve.
Le rayon de convergence de la srie entire

n=0
a
n
n + 1
x
n+1
est R car lim
n

a
n+1
n + 2
n + 1
a
n

=
lim
n

a
n+1
a
n

=
1
R
. Daprs le thorme prcdent on conclut que F

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

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

n=0
a
n
t
n
_

_
dt =

n=0
a
n
_
x
0
t
n
dt =

n=0
a
n
n + 1
x
n+1
=

n=1
a
n1
n
x
n
pour tout x ] R, R[.
27 M
r
AxnoiN N oin-E nniNi
SRIES ENTIRES
2.3.4 Oprations sur les sries entires
Proposition 2.3.4
Soit
_

a
n
x
n
_
,
_

b
n
x
n
_
deux sries entires ayant respectivement R et R

pour
rayon de convergence.
1. Si R R

, le rayon de convergence R

de la srie
_

(a
n
+ b
n
)x
n
_
est R

=
min{R, R

}.
2. Si R = R

le rayon de convergence de la srie

_

(a
n
+ b
n
)x
n
_
est R

R.
Preuve.
1) Supposons que R

< R.
i) |x| < R

= |x| < R. Les deux sries

_

a
n
x
n
_
et
_

b
n
x
n
_
sont absolument convergentes.
Comme |(a
n
+ b
n
)x
n
| |a
n
x
n
| + |b
n
x
n
|, il en dcoule que

((a
n
+ b
n
)x
n
) converge absolument
pour |x| < R

= min{R, R

}.
ii) Si |x| > R

, deux cas de gure se prsentent :

a) Si R

< |x| < R, la srie

_

b
n
x
n
_
converge absolument et
_

a
n
x
n
_
diverge. Donc
_

(a
n
+ b
n
)x
n
_
diverge.
b) Si R

< R < |x|, les deux sries divergent. Montrons

_

(a
n
+ b
n
)x
n
_
diverge. Raison-
nons par labsurde. Si
_

(a
n
+ b
n
)x
n
_
converge alors daprs le lemme dAbel (2.1.1), la srie
_

(a
n
+ b
n
)x
n
_
converge absolument pour tout x
0
R, tel que |x
0
| < |x| et en particulier pour
x
0
vriant R

< |x
0
| < 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) =

n=0
x
n
et g(x) =

n=0
1 2
n
2
n
x
n
. Les deux sries ont pour
rayon de convergence R = 1. Par contre la srie somme ( f + g)(x) =

n=0
1
2
n
x
n
, a pour rayon de
convergence R

= 2.
2.4 Sries de Taylor
Problme
Soit f une fonction relle variable relle x. Peut-on trouver une suite relle (a
n
)
n
et r > 0
tels que lon ait f (x) =

n=0
a
n
x
n
pour x ] r, r[ ?
Si ce problme admet une solution, on dit que f est dveloppable ensrie entire auvoisinage
de 0.
On peut gnraliser cette situation en se posant la mme question pour une fonction dnie
au voisinage dun point x
0
:
M
r
AxnoiN N oin-E nniNi 28
2.4 Sries de Taylor
Existe-il une suite (a
n
)
n
et r > 0 tels que lon ait f (x) =

n=0
a
n
(x x
0
)
n
pour x ]x
0
r, x
0
+ r[ ?
Dans larmatif, on dira que f est dveloppable en srie entire au voisinage de x
0
.
Proposition 2.4.1
Pour quune fonction f soit dveloppable en srie entire au voisinage dun point
x
0
R, il est ncessaire quelle soit de classe C

dans un voisinage ]x
0
, x
0
+[ de x
0
et dans ce cas on a f (x) =

n=0
f
(n)
(x
0
)
n!
(x x
0
)
n
.
Preuve.
Il sut de remarquer que si f (x) =

n=0
a
n
(x x
0
)
n
, alors et daprs le corollaire (2.3.1) on a
a
n
=
f
(n)
(x
0
)
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[,

f
(n)
(x)

M. Alors la srie

n=0
f
(n)
(0)
n!
x
n
est simplement convergente dans ] r, r[ et on
a f (x) =

n=0
f
(n)
(0)
n!
x
n
x ] r, r[
Preuve.
Par hypothse, il existe M > 0 tel que pour tout k Net pour tout x ] r, r[ on a

f
(k)
(x)

M.
Le dveloppement de Taylor de f au voisinage de 0 lordre n donne :
f (x) =
n

k=0
f
(k)
(0)
k!
x
k
+
f
(n+1)
(x)
(n + 1)!
x
n+1
, avec 0 < < 1.
Pour dmontrer le thorme, il sut de prouver que lim
n
f
(n+1)
(x)
(n + 1)!
x
n+1
= 0.
En eet,
x ] r, r[= |x| < r = |x| < r = | f
(n+1)
(x)| M;
et donc

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

Mr
n+1
(n + 1)!
.
Or la srie de terme gnral u
n
=
Mr
n+1
(n + 1)!
est convergente car ;
lim
n

u
n+1
u
n

= lim
n
r
n + 1
= 0 et par suite lim
n
f
(n+1)
(x)
(n + 1)!
x
n+1
= 0,
ce qui donne f (x) =

k=0
f
(k)
(0)
k!
x
k
.
Remarque 2.4.1 Il sut de vrier que le reste de Taylor, souvent appel reste de Mac-Laurin , tend
vers 0.
Cest dire que lim
n
f
(n+1)
(x)
(n + 1)!
x
n+1
= 0,
29 M
r
AxnoiN N oin-E nniNi
SRIES ENTIRES
Exemple 2.4.1
1) La fonction exponentielle : f (x) = e
x
.
Cette fonction est indniment drivable dans R, et on a n N, f
(n)
(x) = e
x
. Le reste de
Mac-Laurin est :
e
x
(n + 1)!
x
n+1
. On vrie comme prcdemment, que cette limite tend vers
zro quand n tend vers ; et ceci quelque soit x dans R.
Finalement :
x R, e
x
= 1 +
x
1!
+
x
2
2!
+
x
3
3!
+ =

n=0
x
n
n!

2) Les fonctions hyperboliques :

Les fonctions cosinushyperboliques et sinushyperboliques ont mme rayon de convergence
que la fonction exponentielle, cest dire R = .
chx =
e
x
+e
x
2
= 1 +
x
2
2!
+
x
4
4!
+
x
6
6!
+ =

n=0
x
2n
(2n)!

shx =
e
x
e
x
2
= x +
x
3
3!
+
x
5
5!
+
x
7
7!
+ =

n=0
x
2n+1
(2n + 1)!

3) Les fonctions circulaires :

a) La fonction sinus :
f (x) = sinx = f (0) = 0, et p N f
(4p)
(x) = sinx = 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) = sinx = f

(0) = 0, et p N f
(4p+2)
(x) = sinx = 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 :
sinx =

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

n=0
(1)
n
(2n)!
x
2n
, et R = .
4) La srie du binme
Considrons la fonction x f (x) = y = (1 + x)

, R. Son domaine de dnition 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 direntielle :
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
voisinage de 0, f (x) =

n=0
a
n
x
n
qui est solution de (2.1). Pour quune telle fonction existe, il
M
r
AxnoiN N oin-E nniNi 30
2.4 Sries de Taylor
est ncessaire davoir les relations :
0 = (1 + x) f

(x) f (x) = (1 + x)

n=1
na
n
x
n1

n=0
a
n
x
n
=

n=0
[(n + 1)a
n+1
( n)a
n
]x
n
.
On dduit alors que (n +1)a
n+1
( n)a
n
= 0 pour tout n Net donc (n +1)a
n+1
= ( n)a
n
car une srie entire est nulle si et seulement tous ses ccient sont nuls. Ceci permet davoir :
a
1
= a
0
a
2
=
( 1)a
1
2
.
.
.
.
.
.
.
.
.
a
n1
=
( n + 2)a
n2
n 1
a
n
=
( n + 1)a
n1
n
. Ceci donne enn
a
n
=
( 1) . . . ( n + 1)
n!
a
0
Soit la srie

n=0
a
0
( 1)( 2) . . . ( n + 1)
n!
x
n
. Le rayon de convergence R est donn
par la relation :
1
R
= lim
n

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

= lim
n

n
n + 1

= 1.
Par construction, la srie f (x) =

n=0
( 1)( 2) . . . ( n + 1)
n!
a
0
x
n
est solution de lqua-
tion direntielle (2.1) , elle est donc de la forme f (x) = C(1 + x)

. Puisque f (0) = a
0
= C = 1,
on dduit que pour x ] 1, 1[,
(1 + x)

= 1 +

n=1
( 1)( 2) . . . ( n + 1)
n!
x
n
; 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.
a)

1 + x = 1 +

n=1
(1)
n1
1.3...(2n 3)
2.4...2n
x
n
= 1 +
1
2
x
1
8
x
2
+
1
16
x
3

5
128
x
4
+
b)
1

1 + x
= 1 +

n=1
(1)
n
1.3...(2n 1)
2.4...2n
x
n
= 1
1
2
x +
3
8
x
2

5
16
x
3
+
35
128
x
4
+ .
31 M
r
AxnoiN N oin-E nniNi
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 arcsinx sobtient facilement en remarquant que :
(arcsin x)

=
1

1 x
2
= 1 +

n=1
1.3.5...(2n 1)
2.4.6...2n
x
2n
= 1 +
1
2
x
2
+
3
8
x
4
+
5
16
x
6
+
35
128
x
8
+ . Sachant
que arcsin 0 = 0,
arcsinx = x +

n=1
1.3.5...(2n 1)
2.4.6...2n
x
2n+1
2n + 1
= x +
x
3
6
+
3
40
x
5
+
5
112
x
7
+
35
1152
x
9
+ .
Par ce procd, il est facile par exemple de dvelopper les fonctions x arccos x , x
Argshx , x Arctg x et x Argthx .
Attention : la fonction x Argchx nest pas dnie dans un voisinage de zro, son domaine
de dnition est [1, [.
5) La fonction x
1
1 x
.
On remarque dune part que pour |x| < 1, lim|x|
n
= 0 et dautre part
1 + x + x
2
+ . . . + x
n
+
x
n+1
1 x
=
1
1 x
.
Do :
1
1 x
=

n=0
x
n
, avec R = 1 et
1
1 + x
=

n=0
(1)
n
x
n
, (R = 1).
6) La fonction x Log(1 + x).
Certains dveloppements en srie sobtiennent au moyen des thormes sur lintgration et
la drivation des sries entires.
Du dveloppement
1
1 + x
on dduit par intgration :
Log(1 + x) =

n=0
(1)
n
n + 1
x
n+1
, (R = 1). La constante dintgration est nulle car Log1 = 0.
On a de mme Log(1 x) =

n=0
1
n + 1
x
n+1
, (R = 1).
On remarque que ces fonctions sont dnies 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[:

n=1
x
n
n
= Log(1 x), R = 1.
2.4.1 Dveloppement en srie entire au voisinage dun point x
0
Soit x f (x) une fonction dnie au voisinage dun point x
0
et posons X = x x
0
.
Dnition 2.4.1 On dit que f est dveloppable en srie entire au voisinage de x
0
si la fonc-
tion X f (X + x
0
) est dveloppable en srie entire au voisinage de 0. On aura alors :
M
r
AxnoiN N oin-E nniNi 32
2.4 Sries de Taylor
f (X + x
0
) =

n=0
a
n
X
n
pour|X| < R.
Donc f (x) = f (X + x
0
) =

n=0
a
n
(x x
0
)
n
pour tout x vriant |x x
0
| < R
Exemple 2.4.2 On cherche le dveloppement en srie entire de la fonction f (x) =

x au
voisinage de x
0
= 3. On pose X = x 3 et on obtient :

x =

X + 3 =
_
3
_
1 +
X
3
_
=

3
_
1 +
X
3
_
1/2
=

3
_

_
1 +

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

_
Finalement :

x =

3
_

_
1 +

n=1
(1)
n1
3
n

1.3...(2n 3)
2.4...2n
(x 3)
n
_

_
.
Domaine de convergence de cette srie. Puisque la srie entire en
X
3
a pour rayon de
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.
Pour x = 0, on a :

3
_

_
1 +

n=1
(1)
n1
3
n

1.3...(2n 3)
2.4...2n
(3)
n
_

_
=

3
_

_
1

n=1
1.3...(2n 3)
2.4...2n
_

_
.
Le le critre de Duhamel montre que la srie

n=1
1.3...(2n 3)
2.4...2n
est convergente.
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 :

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

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

2 1
2.4.2 Sommation de quelques sries entires
ON
reut 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.
1
er
exemple
Soit la srie entire
_

a
n
x
n
_
, le terme a
n
est de la forme : a
n
=
P(n)
n!
o P(n) tant un polynme
en n de degr m.
on met P(n) sous la forme :
33 M
r
AxnoiN N oin-E nniNi
SRIES ENTIRES
P(n) =
0
+
1
n +
2
n(n 1) +
3
n(n 1)(n 2) + =
0
+
m

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) =

n=0
(4n
4
+ 25n
3
49n
2
+ 31n + 2)
x
n
n!
son rayon de convergence tant linni, posons : P(n) = 4n
4
+ 25n
3
49n
2
+ 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
+ 2
1
+ 2
2
= 4
2
= 2
Pour n = 3 on a P(3) =
0
+ 3
1
+ 6
2
+ 6
3
= 5
3
= 1
Pour n = 4 on a P(4) =
0
+ 4
1
+ 12
2
+ 24
3
+ 24
4
= 82
3
= 4
4n
4
+ 25n
3
49n
2
+ 31n + 2 = 2 + 3n 2n(n 1) + n(n 1)(n 2) 4n(n 1)(n 2)(n 3).
La somme est alors :
f (x) =

n=0
_
2
n!
+
3n
n!

2n(n 1)
n!
+
n(n 1)(n 2)
n!

4n(n 1)(n 2)(n 3)
n!
_
x
n
= 2

n=0
x
n
n!
+ 3

n=1
x
n
(n 1)!
2

n=2
x
n
(n 2)!
+

n=3
x
n
(n 3)!
4

n=4
x
n
(n 4)!
= 2

n=0
x
n
n!
+ 3x

n=1
x
n1
(n 1)!
2x
2

n=2
x
n2
(n 2)!
+ x
3

n=3
x
n3
(n 3)!
4x
4

n=4
x
n4
(n 4)!
=
_
2 + 3x 2x
2
+ x
3
4x
4
_
e
x
2
me
exemple
Soit la srie entire
_

a
n
x
n
_
, le terme a
n
est de la forme : a
n
= 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) +

0
+
m

k=1

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

n=0
(n
3
+ 9n
2
+ 20n + 11)x
n
son rayon de convergence tant gal 1. Posons :
P(n) = n
3
+ 9n
2
+ 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
AxnoiN N oin-E nniNi 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
2
1
+ 2
2
= 5
2
= 3
Pour n = 4 on a P(4) =
0
3
1
+ 6
2
6
3
= 11
3
= 1
Do : P(n) = 1 + 3(n + 1) + (n + 1)(n + 2)(n + 3),
et donc
f (x) =

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

n=0
x
n
+ 3

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

n=0
(n + 1)(n + 2)(n + 3)x
n
Les trois sommes se dduisent de la srie gomtrique.

n=0
x
n
=
1
1 x
3

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

n=0
x
n+2
_

= 3
_
1
1 x
1 x
_

= 3
_
1
(1 x)
2
1
_

=
6
(1 x)
3

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

n=0
x
n+3
_

=
_
1 + x + x
2
+
1
1 x
_

=
_
1 + 2x +
1
(1 x)
2
_

=
_
2 +
2
(1 x)
3
_

=
6
(1 x)
4
On a :
f (x) =
1
1 x
+
6
(1 x)
3
+
6
(1 x)
4
=
x
3
3x
2
3x + 11
(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[.
3
me
exemple
Soit la srie entire
_

a
n
x
n
_
, le terme a
n
est de la forme : a
n
=
1
P(n)
o P(n) tant un polynme
en n de degr m avec des racines simples et entires.
On dcompose a
n
lments simples et on utilisera la formule

n=1
x
n
n
= Log(1 x).
Exemple : Sommer la srie suivante.
f (x) =

n=3
x
n
(n 2)(n + 1)(n + 3)
son rayon de convergence est gal 1. Posons :
La dcomposition en lments simples donne :
1
(n 2)(n + 1)(n + 3)
=
1
15(n 2)

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

n=3
x
n
n 2
= x
2

n=3
x
n2
n 2
= x
2

n=1
x
n
n
= x
2
_
Log(1 x)
_
= x
2
Log(1 x)
35 M
r
AxnoiN N oin-E nniNi
SRIES ENTIRES

n=3
x
n
n + 1
=
1
x

n=3
x
n+1
n + 1
=
1
x

n=4
x
n
n
=
1
x
_
Log(1 x) x
x
2
2

x
3
3
_

n=3
x
n
n + 3
=
1
x
3

n=3
x
n+3
n + 3
=
1
x
3

n=6
x
n
n
=
1
x
3
_
Log(1 x) x
x
2
2

x
3
3

x
4
4

x
5
5
_
.
On obtient nalement
f (x) =
1
1800x
3
__
120x
5
+ 300x
2
180
_
Log(1 x) + 64x
5
+ 105x
4
+ 240x
3
90x
2
180x
_
Remarques :
1. La limite de f (x) quand x tend vers 1 est bien nie, car
120x
5
+ 300x
2
180 = 60(2x
3
+ 4x
2
+ 6x + 3)(1 x)
2
et elle vaut 679/1800.
2. Un dveloppement limit au voisinage de 0 de
_
120x
5
+ 300x
2
180
_
Log(1 x) + 64x
5
+
105x
4
+ 240x
3
90x
2
180x montre Aussi que la limite de f (x) quand x tend vers 0 est bien
nie 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 :
f (1) =

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

n=3
(1)
n
(n 2)(n + 1)(n + 3)
=
109 240 Log2
1800
En utilisant toujours la formule

n=1
x
n
n
= Log(1 x), on peut sommer des sries de type

n=m
x
n
an + b
avec a N

, b Z

et
b
a
Z

.
4
me
exemple
Sommer la srie suivante,
f (x) =

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

n=0
x
n
2n + 1
=

n=0
_

x
_
2n+1
1

x
2n + 1
=
1

n=0
_

x
_
2n+1
2n + 1

Posons 0 <

x = t ]0, 1[ ona alors :

n=0
_

x
_
2n+1
2n + 1
=

n=0
t
2n+1
2n + 1
par drivationpuis intgration
on obtient :

n=0
t
2n+1
2n + 1
=
1
2
Log
1 + t
1 t
et donc :
f (x) =

n=0
x
n
2n + 1
=
_

_
1 si x = 0
1
2

x
Log
1 +

x
1

x
si x ]0, 1[
M
r
AxnoiN N oin-E nniNi 36
2.4 Sries de Taylor
2
me
cas x < 0 :
Posons x = X on a f (X) = g(X) =

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

n=0
(1)
n
_

X
_
2n+1
2n + 1
.
Posons

X = t ]0, 1[> on a alors :

n=0
(1)
n
_

X
_
2n+1
2n + 1
=

n=0
(1)
n
t
2n+1
2n + 1
par drivation puis
intgration on obtient :

n=0
(1)
n
t
2n+1
2n + 1
= Arctg t et en conclusion nale on a donc :
f (x) =

n=0
x
n
2n + 1
=
_

_
1 si x = 0
1
2

x
Log
1 +

x
1

x
si x ]0, 1[
Arctg

x

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

n=0
(1)
n
2n + 1
= Arctg 1 =

4
5
me
exemple
De la mme manire on peut sommer des sries de type :
f (x) =

n=0
x
n
(2n)!
son rayon de convergence est gal linni. On a f (0) = 1.
x > 0 f (x) =

n=0
(

x)
2n
(2n)!
= ch

x.
x < 0 f (x) =

n=0
(1)
n
(

x)
2n
(2n)!
= cos

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

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

(x) =

n=1
x
n
n
=
Log(1 x)
x
,
37 M
r
AxnoiN N oin-E nniNi
SRIES ENTIRES
fonction dont la primitive nest pas une fonction lmentaire.
Il existe une relation fonctionnelle intressante pour (x). On a :
(x) =
_
x
0
Log(1 t)
t
dt
Cest une intgrale impropre en 0 et en 1. La limite en 0 de
Log(1 x)
x
vaut 1, au voisinage
de 1, on a :
Log(1 t)
t
Log(1 t) dont lintgrale existe. une simple intgration par partie
donne :
(x) =
_
Log(1 t) Logt
_
x
0
+
_
x
0
Log t
1 t
dt
on a lim
t0
(Log(1t) Logt) = 0, un changement de variables X = 1t dans la dernire intgrale
donne :
_
x
0
Log t
1 t
dt =
_
1x
1
Log(1 X)
X
dX =
_
0
1
Log(1 X)
X
dX
_
1x
0
Log(1 X)
X
dX
On verra au chapitre sur les sries de Fourier que

_
0
1
Log(1 X)
X
dX =
_
1
0
Log(1 X)
X
dX = (1) =

n=1
1
n
2
=

2
6

En conclusion on a :
x ]0, 1[ (x) + (1 x) + Logx Log(1 x) =

2
6
()
Remarques :
La formule () reste valable pour x [0, 1], car lim
x0
Logx Log(1 x) = lim
x0
x Logx = 0
et lim
x1
Logx Log(1 x) = lim
t0
Log(1 t) Logt = lim
t0
t Logt = 0
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 :

n=1
b
n
n
2
=

2
6
Loga Log(1 a)

n=1
a
n
n
2
En posant x = 1/2 on obtient 2(1/2) + Log
2
(1/2) =
2
/6 do
(1/2) =

n=1
1
2
n
n
2
=

2
12

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

n=1
n
(1)
n
x
n
M
r
AxnoiN N oin-E nniNi 38
2.4 Sries de Taylor
On a immdiatement
1/R = lim
n
n
_

n
(1)
n

=
_

_
lim
n
2n
_
|2n| = 1 si n est paire
lim
n
2n+1
_
|1/2n + 1| = 1 si n est impaire
Do R = 1.
On peut crire cette somme sous la forme :
f (x) = x + 2x
2
+
1
3
x
3
+ 4x
4
+
1
5
x
5
+ 6x
6
+
1
7
x
7
+ 8x
8
+
=
_
2x
2
+ 4x
4
+ 6x
6
+ 8x
8
+
_
+
_
x +
1
3
x
3
+
1
5
x
5
+
1
7
x
7
+
_
=

n=1
2nx
2n
+

n=0
x
2n+1
2n + 1
.
La premire srie est divergente pour x = 1, donc le domaine de convergence de la srie
donne est ] 1, 1[, (La 2
me
srie est aussi convergente pour x = 1).
On peut crire :
f (x) = x
_

n=0
x
2n
_

+ Arctg x = x
_

n=0
_
x
2
_
n
_

+ Arctg x.
pour obtenir nalement
f (x) = x
_
1
1 x
2
_

+ Arctg x =
2x
2
(1 x
2
)
2
+ Arctgx x ] 1, 1[.
Comme application on a pour x =
1

n=1
n
(1)
n

3
n
=
+ 9
6
2, 0236.
Exercice 1 Rsoudre lquation direntielle suivante ; en utilisant les sries entires :
_

_
y

xy = 0
y(0) = 1
y

(0) = 0
Solution :
Posons y = a
0
+ a
1
x + a
2
x
2
+ a
3
x
3
+ a
4
x
4
+ a
5
x
5
+ + a
n
x
n
+ =

n=0
a
n
x
n
.
On a : y

= 2.1.a
2
+ 3.2a
3
x + 4.3.a
4
x
2
+ 5.4.a
5
x
3
+ + (n + 2)(n + 1)a
n+2
x
n
+
=

n=0
(n + 2)(n + 1)a
n+2
x
n
.
En substituant dans notre quation direntielle, on trouve :
2.1.a
2
+(3.2a
3
a
0
)x +(4.3.a
4
a
1
)x
2
+(5.4.a
5
a
2
)x
3
+ +((n +2)(n +1)a
n+2
a
n1
)x
n
+ = 0.
39 M
r
AxnoiN N oin-E nniNi
SRIES ENTIRES
On obtient les quations algbriques suivantes :
_

_
2.1.a
2
= 0
3.2a
3
a
0
= 0
4.3.a
4
a
1
= 0
5.4.a
5
a
2
= 0
. . . . . . . . . . . . . . .
(n + 2)(n + 1)a
n+2
a
n1
= 0
. . . . . . . . . . . . . . . . . . . . . . . . . . .
On constate que y(0) = 1 = a
0
= 1 et y

(0) = 0 = a
1
= 0, comme la premire quation
algbrique donne aussi a
2
= 0, on a alors
a
0
= 1, a
1
= a
2
= 0, a
3
=
1
2.3
=
1
3!
a
4
= a
5
= 0, a
6
=
1
2.3.5.6
=
4
6!
, a
7
= a
8
= 0,
a
9
==
1
2.3.5.6.8.9
=
4.7
9!
. On remarque que seulement les ccients a
3n
, n Nsont non nuls.
On obtient nalement :
a
3n+1
= a
3n+2
= 0 et a
3n
=
1.4.7 . . . (3n 2)
(3n)!
.
La solution ainsi construite sera :
y
1
(x) = 1 +

n=1
1.4.7 . . . (3n 2)
(3n)!
x
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 a
0
= 0 et a
1
= 1 et :
y
2
(x) = x +

n=1
2.5.8 . . . (3n 1)
(3n + 1)!
x
3n+1
.
: Lquation y

xy = 0 a pour solution gnrale y(x) = a.y

1
(x) + b.y
2
(x), o a et b sont deux
rels quelconques.
y
1
et y
2
sont deux fonctions spciales, quon ne peut pas exprimer laide de fonctions lmen-
taires.
M
r
AxnoiN N oin-E nniNi 40