Académique Documents
Professionnel Documents
Culture Documents
Chapitre2 SriesEntires
Chapitre2 SriesEntires
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
lensemble ;
=
_
_
x R :
n=0
a
n
x
n
converge
_
_
.
Cest le domaine de convergence de la srie entire.
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
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]
Exemple 3.
23
SRIES ENTIRES
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
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
) 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, et pour tout
r tel que 0 < r < |x
0
|.
Preuve.
La suite (a
n
x
n
0
) 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 raison
x
x
0
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
convergente, 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. 24
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
n=0
|a
n
x
n
| diverge.
Montrons que
n=0
a
n
x
n
diverge. Pour cela, on raisonnera 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
a
n
x
n
_
converge absolument.
3) {0} I R
, I {0} et I R
.
a) I est major. En eet, soit r R
|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 en
contradiction avec lhypothse r R
a
n
x
n
_
converge absolument pour tout x, |x| < R et diverge pour tout x, |x| > R.
b)Soit x Rtel 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.
25 M
r
AxnoiN N oin-E nniNi.
SRIES ENTIRES
Montrons que
_
a
n
x
n
_
diverge. Pour cela, on raisonne par labsurde. Si
_
a
n
x
n
_
converge, daprs 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 absolu-
ment) 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 R est 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
a
n+1
x
n+1
a
n
x
n
= lim
n
a
n+1
a
n
_
= 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. 26
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
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
, 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 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.
27 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. Elle est 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. 28
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 R vriant
F
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 .
29 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
, le rayon de convergence R
de la srie entire
_
(a
n
+ b
n
)x
n
_
est R
= min{R, R
}.
2. Si R = R
(a
n
+ b
n
)x
n
_
est
R
R.
Preuve.
1) Supposons que R
< R.
i) |x| < R
a
n
x
n
_
et
_
b
n
x
n
_
sont absolument conver-
gentes. 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
b
n
x
n
_
converge absolument et
_
a
n
x
n
_
diverge.
Donc
_
(a
n
+ b
n
)x
n
_
diverge.
b) Si R
(a
n
+ b
n
)x
n
_
diverge.
Raisonnons 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
. 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
) et
r > 0 tels que lon ait f (x) =
n=0
a
n
x
n
, x ] r, r[ ?
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
dnie au voisinage dun point x
0
:
M
r
AxnoiN N oin-E nniNi. 30
2.4 Sries de Taylor
Existe-il une suite (a
n
) et r > 0 tels que lon ait f (x) =
n=0
a
n
(x x
0
)
n
, 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 N et pour tout x ] r, r[, on a
f
(k)
(x)
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,
31 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!
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)!
(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)
, 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 est ncessaire davoir les relations :
M
r
AxnoiN N oin-E nniNi. 32
2.4 Sries de Taylor
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
.
Ondduit 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
lquation 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
+ .
Remarque 2.4.3
Un dveloppement en srie entire au voisinage de 0 dune fonction f peut sobtenir
33 M
r
AxnoiN N oin-E nniNi.
SRIES ENTIRES
grce au dveloppement de sa drive f
=
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 arcsin0 = 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 Arctgx 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 lintgra-
tion 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
fonction X f (X + x
0
) est dveloppable en srie entire au voisinage de 0. On aura
alors :
f (X + x
0
) =
n=0
a
n
X
n
pour|X| < R.
M
r
AxnoiN N oin-E nniNi. 34
2.4 Sries de Taylor
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 +
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 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
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 :
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(k1) +
3
k(k1)(k2) + +
k
k!, cette relation de rcurrence
35 M
r
AxnoiN N oin-E nniNi.
SRIES ENTIRES
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 +3n2n(n1) +n(n1)(n2) 4n(n1)(n2)(n3).
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
.
On a par exemple :
n=0
4n
4
+ 25n
3
49n
2
+ 31n + 2
n!
= f (1) = 0.
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.
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.
M
r
AxnoiN N oin-E nniNi. 36
2.4 Sries de Taylor
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.
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).
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
_
.
37 M
r
AxnoiN N oin-E nniNi.
SRIES ENTIRES
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) Log(1 x) = 60(2x
3
+ 4x
2
+ 6x + 3)(1 x)
2
Log(1 x) et
lim
x1
f (x) = 139/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 Log 2
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[ on a alors :
n=0
_
x
_
2n+1
2n + 1
=
n=0
t
2n+1
2n + 1
par drivation puis
intgration on obtient :
M
r
AxnoiN N oin-E nniNi. 38
2.4 Sries de Taylor
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[
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
= Arctgt 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
= Arctg1 =
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
39 M
r
AxnoiN N oin-E nniNi.
SRIES ENTIRES
La srie tant normalement convergente pour tout x [1, 1]. Facilement on trouve :
(x) =
n=1
x
n
n
=
Log(1 x)
x
,
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) Log t
_
x
0
+
_
x
0
Logt
1 t
dt
on a lim
t0
(Log(1 t) Log t) = 0, un changement de variables X = 1 t dans la dernire
intgrale donne :
_
x
0
Logt
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(1x) = lim
x0
x Logx = 0
et lim
x1
Logx Log(1 x) = lim
t0
Log(1 t) Log t = lim
t0
t Logt = 0
x [0; 1/2] == 1 x [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
M
r
AxnoiN N oin-E nniNi. 40
2.4 Sries de Taylor
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
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
_
+ Arctgx = x
_
n=0
_
x
2
_
n
_
+ Arctgx.
pour obtenir nalement
f (x) = x
_
1
1 x
2
_
+ Arctgx =
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
.
41 M
r
AxnoiN N oin-E nniNi.
SRIES ENTIRES
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.
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 N sont
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