14

Sries entires
Nous faisons ici ltude des sries entires relles ou complexes sans rfrence aux sries de
fonctions qui seront tudies plus loin. Avec les exercices 3.31 et 6.34 nous avons dj rencontr
la fonction exponentielle complexe dnie comme somme dune srie entire.
14.1 Rayon de convergence dune srie entire
On appelle srie entire toute srie numrique de la forme

a
n
z
n
, o (a
n
)
nn
0
est une suite
donne de nombres complexes.
Comme pour ltude des sries numriques, on supposera, a priori, que n
0
= 0.
On peut remarquer quune srie entire converge pour z = 0.
En dsignant par D lensemble des nombres complexes z pour lesquels la srie

a
n
z
n
est
convergente, on note pour tout z dans D, f (z) la somme de cette srie, soit :
z D, f (z) =
+

n=0
a
n
z
n
et on dnit ainsi une fonction de D dans C.
Lensemble D est appel domaine de convergence de la sries entire. Cet ensemble est non
vide puisquil contient toujours 0.
Dans le cas o les coecients a
n
sont tous nuls partir dun rang p+1, la srie est convergente
pour tout nombre complexe z et sa somme est la fonction polynomiale dnie par :
f (z) =
p

k=0
a
k
z
k
.
On peut donc voir une srie entire comme un polynme de degr au plus inni.
Exercice 14.1 Dterminer les domaines de convergence des sries entires

n!z
n
,

n
n
z
n
,

z
n
,
z
n
n
et
z
n
n!
.
Solution 14.1 Pour a
n
= n! et z ,= 0 on a :
[a
n+1
z
n+1
[
[a
n
z
n
[
= (n + 1) [z[
n+
+
283
284 Sries entires
ce qui entrane lim
n+
[a
n
z
n
[ = + et la divergence de

a
n
z
n
(son terme gnral ne tend pas
vers 0). Il en rsulte que le domaine de convergence de

n!z
n
est D = 0 .
Pour a
n
= n
n
et z ,= 0 on a :
[a
n+1
z
n+1
[
[a
n
z
n
[
= (n + 1)
_
1 +
1
n
_
n
[z[
n+
+
ce qui entrane lim
n+
[a
n
z
n
[ = +(exercice 3.19) et la divergence de

a
n
z
n
(son terme gnral
ne tend pas vers 0). Il en rsulte que le domaine de convergence de

n!z
n
est D = 0 .
On sait que la srie gomtrique

z
n
est convergente si, et seulement si, [z[ < 1 (exercice 6.1),
ce qui signie que son domaine de convergence est le disque unit ouvert D = z C [ [z[ < 1 .
Pour a
n
=
1
n
et z ,= 0 on a :
[a
n+1
z
n+1
[
[a
n
z
n
[
=
n
n + 1
[z[
n+
[z[ .
Si [z[ < 1 le thorme de dAlembert nous dit alors que la srie
z
n
n
converge absolument. Si
[z[ > 1, on a lim
n+
[a
n
z
n
[ = + et la srie
z
n
n
diverge. Si [z[ = 1, on a alors z = e
it
avec
t [0, 2[ et le thorme dAbel nous dit que la srie
z
n
n
=
e
int
n
diverge uniquement pour
t = 0, soit pour z = 1 (exercice 6.25). En dnitive, le domaine de convergence de
z
n
n
est le
disque unit ferm priv de 1, soit D = z C [ [z[ 1 1 .
La srie
z
n
n!
tant absolument convergente pour tout nombre complexe z (exercice 6.34), son
domaine de convergence est D = C.
Exercice 14.2 Dterminer les domaines de convergence des sries entires
(1)
n
(2n)!
z
2n
et
(1)
n
(2n + 1)!
z
2n+1
.
Solution 14.2 En posant u
n
=

(1)
n
(2n)!
z
2n

, on a pour z ,= 0 :
u
n+1
u
n
=
[z[
2
(2n + 2) (2n + 1)

n+
0
et le thorme de dAlembert nous dit alors que la srie
(1)
n
(2n)!
z
2n
est absolument convergente.
Son domaine de convergence est D = C.
Le rsultat est le mme pour la deuxime srie.
Nous allons voir que de manire gnrale, que le domaine de convergence dune srie entire
est C tout entier ou un disque ouvert de rayon R 0 ventuellement complt par des points
du bord de ce disque.
Pour tout rel R > 0, on note respectivement D(0, R) et D(0, R) les disques ouvert et ferm
de centre 0 et de rayon R, soit :
D(0, R) = z C [ [z[ < R et D(0, R) = z C [ [z[ R
Rayon de convergence dune srie entire 285
Thorme 14.1 (Abel) Soit

a
n
z
n
une srie entire. Sil existe un scalaire non nul z
0
tel
que la suite (a
n
z
n
0
)
nN
soit borne, alors la srie entire

a
n
z
n
converge absolument pour tout
nombre complexe z tel que [z[ < [z
0
[ .
Dmonstration. Il sut dcrire que pour tout entier naturel n et tout nombre complexe
z tel que [z[ < [z
0
[ , on a :
[a
n
z
n
[ = [a
n
z
n
[

z
z
0

n
M

z
z
0

n
o M est un majorant de la suite ([a
n
z
n
0
[)
nN
et

z
z
0

< 1. La srie gomtrique

z
z
0

n
tant
convergente puisque

z
z
0

< 1, on en dduit la convergence de

[a
n
z
n
[ .
Comme consquence de ce thorme, on dduit que si une srie entire converge en un point
z
0
, elle converge alors absolument sur tout le disque ouvert de centre 0 et de rayon [z
0
[ .
En fait ce thorme peut aussi sinterprter comme suit.
Thorme 14.2 Soit

a
n
z
n
une srie entire et I lensemble de rels dni par :
I =
_
r R
+
[ (a
n
r
n
)
nN
est borne
_
.
Cet ensemble I est un intervalle qui est soit rduit 0 , soit de la forme [0, R] ou [0, R[ avec
R > 0, soit gal R
+
tout entier.
Dmonstration. Comme une srie entire converge pour z = 0, I est non vide du fait quil
contient 0. Sil est rduit 0 cest termin. On suppose donc que I ,= 0 .
Le thorme prcdent nous dit que si r > 0 est dans I, alors I contient le segment [0, r] .
En eet dire que r I signie que la suite (a
n
r
n
)
nN
est borne et le thorme dAbel nous dit
alors que pour tout rel s [0, r[ , la srie

a
n
s
n
est convergente et la suite (a
n
s
n
)
nN
converge
alors vers 0, ce qui implique quelle est borne et signie que s I. Lensemble I est donc un
intervalle de R
+
qui contient 0, il est donc ncessairement de la forme [0, R] avec R > 0, ou
[0, R[ avec 0 < R +.
On peut donc poser :
R = sup
_
r R
+
[ (a
n
r
n
)
nN
est borne
_
dans R
+
= R
+
+ et I est un intervalle de R
+
dextrmit droite R.
Dnition 14.1 Le rayon de convergence de la srie entire

a
n
z
n
est llment de R
+
dni
par :
R = sup
_
r R
+
[ (a
n
r
n
)
nN
est borne
_
.
Remarque 14.1 Si la suite (a
n
)
nN
est borne, on aura 1 I et R 1, dans le cas contraire
1 / I et R 1.
Thorme 14.3 Soient

a
n
z
n
et

b
n
z
n
de rayons de convergence respectifs R et R

.
1. Si [a
n
[ [b
n
[ pour tout n N, alors R R

.
2. Si a
n
= O(b
n
) , alors R R

.
3. Si a
n
b
n
, alors R = R

.
Dmonstration.
286 Sries entires
1. Comme [a
n
[ [b
n
[ pour tout n, on a :
I

=
_
r R
+
[ (b
n
r
n
)
nN
borne
_
I =
_
r R
+
[ (a
n
r
n
)
nN
borne
_
et en consquence R

= sup (I

) R = sup (I) .
2. Dire que a
n
= O(b
n
) signie que lon a a
n
=
n
b
n
o (
n
)
nN
est une suite borne. Il
existe donc un rel M > 0 tel que [a
n
[ M [b
n
[ pour tout n N et en consquence
R R

.
3. Dire que a
n
b
n
signie que lon a a
n
=
n
b
n
o (
n
)
nN
est une suite de limite gale
1, ce qui entrane que a
n
= O(b
n
) et b
n
= O(a
n
) et R = R

.
Corollaire 14.1 Si

a
n
z
n
est une srie entire telle quil existe deux rels strictement positifs
m et M avec :
n N, m [a
n
[ M
alors le rayon de convergence de cette srie vaut 1.
Dmonstration. La srie

z
n
tant de rayon de convergence gal 1, il en est de mme
des sries

mz
n
et

Mz
n
. Le premier point du thorme prcdent nous dit alors que le
rayon de convergence R de

a
n
z
n
est tel que R 1 et R 1, il vaut donc 1.
Exercice 14.3 Quel est le rayon de convergence de la srie

e
sin(n)
z
n
?
Solution 14.3 Avec
1
e
e
sin(n)
e, on dduit du corollaire prcdent que le rayon de conver-
gence de

e
sin(n)
z
n
vaut 1.
Thorme 14.4 En utilisant les notations qui prcdent :
1. dans le cas o R > 0, la srie

a
n
z
n
est absolument convergente pour tout z tel que
[z[ < R;
2. dans le cas o R est ni, les sries

a
n
z
n
et

[a
n
z
n
[ sont divergentes pour tout z tel
que [z[ > R
Dmonstration.
1. Pour [z[ < R, tout rel r tel que [z[ < r < R est dans I et le thorme dAbel nous dit
que

a
n
z
n
converge absolument.
2. Si [z[ > R, alors [z[ / I, alors la suite (a
n
[z[
n
)
nN
nest pas borne, donc les suites
(a
n
[z[
n
)
nN
et (a
n
z
n
)
nN
ne convergent pas vers 0 et les sries correspondantes divergent.
Remarque 14.2 Rciproquement, si R

R
+
est tel que la srie

a
n
z
n
est absolument
convergente pour tout z tel que [z[ < R

(dans le cas o R

> 0) et divergente pour [z[ > R

[resp.

[a
n
z
n
[ est divergente pour [z[ > R

], alors R

est le rayon de convergence R de cette

srie. En eet, si 0 r < R

, alors

a
n
r
n
est convergente et (a
n
r
n
)
nN
est borne car elle
converge vers 0, donc r I. On a donc [0, R

[ I et R

R. Si R

= +, ncessairement
R = +. Sinon, si 0 r < R, alors

[a
n
r
n
[ est convergente et r ne peut tre strictement
suprieur R

, donc r R

, on a donc [0, R[ [0, R

] et R R

. On a donc bien R = R

.
Rayon de convergence dune srie entire 287
Remarque 14.3 Dans le cas o R = 0, le domaine de convergence D de la srie est rduit
0 , dans le cas o R = +, cest C tout entier et dans le cas o R est ni, tout ce que lon
peut dire est que D(0, R) D D(0, R).
Exercice 14.4 Soit

a
n
z
n
une srie entire de rayon de convergence R. Montrer que, pour
tout entier p 2, le rayon de convergence de la srie entire

a
n
z
pn
est + si R = + ou
p

R si R est ni (on dit que la srie

a
n
z
pn
est lacunaire).
Solution 14.4 Si R = +, alors

a
n
t
n
converge pour tout nombre complexe t et donc pour
tout les nombres complexes de la forme z
p
.
Si R est ni. Pour [z[ <
p

R, on a [z[
p
< R et

a
n
z
pn
converge absolument. Pour [z[ >
p

R,
on a [z[
p
> R et

a
n
z
pn
diverge. Il en rsulte que
p

R est le rayon de convergence de

a
n
z
pn
.
Exercice 14.5 Dterminer le rayon de convergence R de la srie entire

(1)
n
z
2n
et tudier
la srie pour [z[ = R. Quelle est la somme de cette srie ?
Solution 14.5 Le rayon de convergence de la srie gomtrique

(1)
n
z
n
valant 1, celui de

(1)
n
z
2n
est aussi 1 et pour [z[ < 1, on a :
+

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

n=0
_
1z
2
_
n
=
1
1 + z
2
.
Pour [z[ = 1, la srie diverge car son terme gnral ne tend pas vers 0.
Exercice 14.6 Montrer que si (a
n
)
nN
est une suite de nombres complexes telle quil existe un
nombre complexe z
0
tel que la suite (a
n
z
n
0
)
nN
soit borne, alors la srie entire
a
n
n!
z
n
a un
rayon de convergence inni.
Solution 14.6 En dsignant par M un majorant de la suite ([a
n
z
n
0
[)
nN
, on a pour tout nombre
complexe z :

a
n
n!
z
n

= [a
n
z
n
0
[
1
n!

z
z
0

n
M
1
n!

z
z
0

n
avec
1
n!

z
z
0

n
< + (
t
n
n!
converge pour tout t), ce qui entrane la convergence absolue de
a
n
n!
z
n
.
Exercice 14.7 On dsigne par (p
n
)
n1
la suite strictement croissante des nombres premiers.
Dterminer le rayon de convergence de la srie
1
p
n
z
p
n
.
Solution 14.7 Pour z = 1, cette srie diverge, donc R 1.
Les coecients de cette srie sont dnis par a
n
=
1
n
si n est premier et a
n
= 0 sinon, donc,
pour r 0, la suite (a
n
r
n
)
nN

est borne si, et seulement si la suite

_
1
p
n
r
p
n
_
nN

est borne,
ce qui est ralis pour tout r [0, 1] , donc R 1 et R = 1.
Exercice 14.8 Soit (a
n
)
nN
une suite complexe borne.
288 Sries entires
1. Que peut-on dire des rayons de convergence des sries

a
n
z
n
et
a
n
n!
z
n
. On note res-
pectivement f (z) et g (z) les sommes de ces sries entires.
2. Montrer que pour tout rel x ]0, 1[ , lintgrale
_
+
0
g (t) e

t
x
dt est convergente.
3. Montrer que
_
+
0
g (t) e

t
x
dt = xf (x) pour tout rel x ]0, 1[ .
Solution 14.8 On note M = sup
nN
[a
n
[ .
1. Comme la suite (a
n
)
nN
est borne, la srie

a
n
z
n
un rayon de convergence R 1. Par
exemple pour a
n
=
1

n
avec > 1 ce rayon de convergence est R = . Avec

a
n
n!

M
n!
,
on dduit que le rayon de convergence de la deuxime srie est inni.
2. Pour x ]0, 1[ et t > 0, on a :

g (t) e

t
x

n=0
a
n
n!
t
n
e

t
x

M
_
+

n=0
t
n
n!
_
e

t
x
= Me
t
(
1
1
x
)
et avec
_
+
0
e
t
(
1
1
x
)
dt < + (on a 1
1
x
< 0), on dduit que lintgrale
_
+
0
g (t) e

t
x
dt
est absolument convergente.
3. Le changement de variable t = xu donne :
_
+
0
g (t) e

t
x
dt = x
_
+
0
g (xu) e
u
du
et en notant :
R
n
(z) =
+

k=n+1
a
k
k!
z
k
on a :
_
+
0
g (xu) e
u
du =
n

k=0
a
k
k!
x
k
_
+
0
u
k
e
u
du +
_
+
0
R
n
(xu) e
u
du
avec (k + 1) =
_
+
0
u
k
e
u
du = k!. Donc :
_
+
0
g (xu) e
u
du =
n

k=0
a
k
x
k
+
_
+
0
R
n
(xu) e
u
du
et il sagit de montrer que lim
n+
_
+
0
R
n
(xu) e
u
du = 0. Pour ce faire, on crit que :

_
+
0
R
n
(xu) e
u
du

M
_
+
0
+

k=n+1
x
k
u
k
k!
e
u
du
M
_
+
0
_
e
xu

k=0
x
k
u
k
k!
_
e
u
du
M
_
_
+
0
e
(x1)u
du
n

k=0
x
k
k!
_
+
0
u
k
e
u
du
_
M
_
1
1 x

n

k=0
x
k
_

n+
0.
Calcul pratique du rayon de convergence 289
14.2 Calcul pratique du rayon de convergence
Les thorme de dAlembert et de Cauchy relatifs aux sries numriques nous fournissent
deux critres pratiques pour calculer le rayon de convergence dune srie entire.
Thorme 14.5 Soit

a
n
z
n
une srie entire telle que a
n
,= 0 partir dun certain rang.
Si lim
n+

a
n+1
a
n

= R
+
, alors le rayon de convergence de cette srie est R =
1

avec les
conventions
1
0
= + et
1
+
= 0.
Dmonstration. Pour tout nombre complexe non nul z, on a :
lim
n+

a
n+1
z
n+1
a
n
z
n

= [z[
et le thorme de dAlembert nous dit que si [z[ <
1

, alors la srie

a
n
z
n
est absolument
convergente et si [z[ >
1

, alors la srie

[a
n
z
n
[ est divergente. Il en rsulte que
1

est le rayon
de convergence de

a
n
z
n
.
Remarque 14.4 La rciproque du thorme prcdent est fausse, cest--dire que si R est le
rayon de convergence de la srie

a
n
z
n
, rien ne permet darmer que la suite
_

a
n+1
a
n

_
nN
soit convergente.
Par exemple la srie

a
n
z
n
o a
n
=
1 + (1)
n
2
pour tout n 0, a un rayon de convergence
gal 1 (
+

n=0
a
n
z
n
=
+

n=0
z
2n
=
1
1 z
2
pour [z[ < 1) et
_

a
n+1
a
n

_
nN
nest pas dnie puisque
a
n
= 1 pour n pair et a
n
= 0 pour n impair.
Lexercice suivant nous fournit un autre contre-exemple.
Exercice 14.9 Dterminer le rayon de convergence de la srie entire

a
n
z
n
o a
n
= (2 + (1)
n
)
n
pour tout n 0. Que dire de la suite
_

a
n+1
a
n

_
nN
?
Solution 14.9 On a a
n
= 3
n
pour n pair et a
n
= 1 pour n impair. Pour r >
1
3
, on a [a
2n
r
2n
[ =
[3r[
2n

n+
+ et (a
n
r
n
)
nN
nest pas borne, donc R
1
3
. Pour 0 r
1
3
, on a :
[a
n
r
n
[ =
_
(3r)
n
si n est pair
r
n
si n est impair
1
et donc R
1
3
. On a donc R =
1
3
.
On a :

a
n+1
a
n

=
_

_
1
3
n
si n est pair
3
n+1
1
si n est impair
et la suite
_

a
n+1
a
n

_
nN
est divergente.
290 Sries entires
Corollaire 14.2 Si

a
n
z
n
est une srie entire telle que lim
n+
a
n
= ,= 0, alors son rayon
de convergence vaut 1.
Dmonstration. Comme ,= 0, on a lim
n+

a
n+1
a
n

= 1 et R = 1.
Lexemple de la srie
z
n
n!
nous montre que ce rsultat est faux pour = 0.
Corollaire 14.3 Si

a
n
z
n
est une srie entire telle que a
n
soit une fonction rationnelle non
nulle de n, alors son rayon de convergence vaut 1.
Dmonstration. On a a
n
=
P (n)
Q(n)
o P et Q sont des fonctions polynomiales de de-
grs respectifs p et q (le polynme Q nayant quun nombre ni de racines relles, on aura
Q(n) ,= 0 pour n assez grand). Avec a
n

+
a
p
n
p
b
q
n
q
, on dduit
a
n+1
a
n

+
_
n + 1
n
_
p
_
n
n + 1
_
q
et
lim
n+

a
n+1
a
n

= 1, donc R = 1.
Exercice 14.10 Dterminer le rayon de convergence R de la srie entire
n!
n
n
z
n
.
Solution 14.10 En posant a
n
=
n!
n
n
, on a :
lim
n+

a
n+1
a
n

= lim
n+
1
_
1 +
1
n
_
n
=
1
e
et R = e.
Exercice 14.11 Pour tout entier naturel non nul n, on dsigne par a
n
le nombre de diviseurs
de n. Dterminer le rayon de convergence R de la srie entire

a
n
z
n
.
Solution 14.11 Pour n 1, on a 1 a
n
n, les sries entires

z
n
et

nz
n
ayant un
rayon de convergence gal 1. Il en rsulte que R = 1.
Exercice 14.12 Dterminer le rayon de convergence R de la srie entire

arctan (n

) z
n
o
est un rel et tudier la srie pour [z[ = R.
Solution 14.12 On note a
n
= arctan (n

) pour tout n 1.
Pour > 0, on a lim
n+
a
n
=

2
,= 0, donc R = 1. Pour [z[ = 1, la srie diverge car son terme
gnral ne tend pas vers 0.
Pour = 0, on a a
n
= arctan (1) =

4
et R = 1. Pour [z[ = 1, la srie diverge car son terme
gnral ne tend pas vers 0.
Pour = < 0, on a a
n

+
n

et :
lim
n+

a
n+1
a
n

= lim
n+
_
n + 1
n
_

= 1
donc R = 1. Pour z = 1, a
n
z
n
= a
n

+
1
n

avec a
n
> 0 pour tout n 1, il en rsulte
que

a
n
z
n
converge si, et seulement si > 1 (soit < 1). Pour [z[ = 1 et z ,= 1, on
Calcul pratique du rayon de convergence 291
a z = e
it
avec t ]0, 2[ , donc a
n
z
n
= arctan
_
1
n

_
e
int
avec
_
arctan
_
1
n

__
n1
qui tend
vers 0 en dcroissant et le thorme dAbel nous dit alors que la srie

arctan
_
1
n

_
e
int
est
convergente (exercice 6.25).
Thorme 14.6 Soit

a
n
z
n
une srie entire. Si lim
n+
n
_
[a
n
[ = R
+
, alors le rayon de
convergence de cette srie est R =
1

.
Dmonstration. Pour tout nombre complexe non nul z, on a :
lim
n+
n
_
[a
n
z
n
[ = [z[
et le thorme de Cauchy nous dit que si [z[ <
1

, alors la srie

a
n
z
n
est absolument conver-
gente et si [z[ >
1

, alors la srie

[a
n
z
n
[ est divergente. Il en rsulte que
1

est le rayon de
convergence de

a
n
z
n
.
Remarque 14.5 L encore la rciproque est fausse. Par exemple, pour a
n
=
1 + (1)
n
2
on a
n
_
[a
n
[ = 1 pour n pair et
n
_
[a
n
[ = 0 pour n impair, donc la suite
_
n
_
[a
n
[
_
nN
est divergente
et pourtant le rayon de convergence de

a
n
z
n
=

z
2n
vaut 1.En utilisant la notion de limite
suprieure, on peut montrer le rsultat suivant.
Thorme 14.7 (Hadamard) Le rayon de convergence de la srie entire

a
n
z
n
est :
R =
1
limsup
n+
n
_
[a
n
[
.
Dmonstration. Voir le problme 26.
Exercice 14.13 Dterminer le rayon de convergence R de la srie entire
1
n
ln(n)
z
n
.
Solution 14.13 En posant a
n
=
1
n
ln(n)
, on a :
lim
n+
n
_
[a
n
[ = lim
n+
1
n
ln(n)
n
= lim
n+
exp
_
ln
2
(n)
n
_
= 1
et R = 1.
Exercice 14.14 Dterminer le rayon de convergence R de la srie entire

n1
_
cos
_
1
n
__
n

z
n
,
o est un rel donn.
292 Sries entires
Solution 14.14 En posant pour n 1, a
n
=
_
cos
_
1
n
__
n

, on a :
u
n
=
n
_
[a
n
[ =
_
cos
_
1
n
__
n
1
Un dveloppement limit nous donne :
ln (u
n
) = n
1
ln
_
cos
_
1
n
__
= n
1
ln
_
1
1
2n
2
+ o
_
1
n
2
__
= n
1
_

1
2n
2
+ o
_
1
n
2
__
=
1
n
3
_
1
2
+ o (1)
_
.
Pour < 3, on a lim
n+
ln (u
n
) = 0, donc lim
n+
n
_
[a
n
[ = 1 et R = 1.
Pour = 3, on a lim
n+
ln (u
n
) =
1
2
, donc lim
n+
n
_
[a
n
[ =
1

e
et R =

e.
Pour > 3, on a lim
n+
ln (u
n
) = , donc lim
n+
n
_
[a
n
[ = 0 et R = +.
14.3 Oprations sur les sries entires
Comme pour les fonctions polynomiales, on peut dnir sur lensemble des sries entires les
oprations suivantes.
la somme des sries entires

a
n
z
n
et

b
n
z
n
est la srie entire

(a
n
+ b
n
) z
n
;
le produit des sries entires

a
n
z
n
et

b
n
z
n
est la srie entire

c
n
z
n
, o les coecients
c
n
sont dnis pour tout entier naturel n par :
c
n
=
n

k=0
a
k
b
nk
Cette dnition est donne par analogie avec le produit de deux polynmes et on reconnat
l le produit de Cauchy des deux sries numriques

a
n
z
n
et

b
n
z
n
;
la srie drive de la srie entire

a
n
z
n
est la srie entire

na
n
z
n1
;
la srie primitive de la srie entire

a
n
z
n
est la srie entire
a
n
n + 1
z
n+1
.
Thorme 14.8 Soient

a
n
z
n
et

b
n
z
n
deux sries entires de rayons de convergence res-
pectifs R et R

. On dsigne par R

le rayon de convergence de la srie entire somme

(a
n
+ b
n
) z
n
.
1. Si R ,= R

, alors R

= min (R, R

) .
2. Si R = R

, alors R

min (R, R

) .
3. Dans tous les cas, on a pour [z[ < min (R, R

) :
+

n=0
(a
n
+ b
n
) z
n
=
+

n=0
a
n
z
n
+
+

n=0
b
n
z
n
Oprations sur les sries entires 293
Dmonstration. Pour tout nombre complexe z tel que [z[ < min (R, R

) , la srie

(a
n
+ b
n
) z
n
est absolument convergente comme somme des sries absolument convergentes

a
n
z
n
et

b
n
z
n
et on a
+

n=0
(a
n
+ b
n
) z
n
=
+

n=0
a
n
z
n
+
+

n=0
b
n
z
n
. On a donc R

min (R, R

) .
Supposons que 0 R < R

. On peut alors trouver un rel r tel que R < r < R

et

(a
n
+ b
n
) r
n
est divergente comme somme de la srie divergente

a
n
r
n
et de la srie conver-
gente

b
n
r
n
. On a donc R

R et R

= R dans ce cas.
Remarque 14.6 Dans le cas o R = R

, lgalit R

= R nest pas assure en gnral comme

le montre lexemple de b
n
= a
n
avec R ni.
Thorme 14.9 Soient

a
n
z
n
et

b
n
z
n
deux sries entires de rayons de convergence res-
pectifs R et R

. On dsigne par R

le rayon de convergence de la srie entire produit

_
n

k=0
a
k
b
nk
_
z
n
.
On a R

min (R, R

) et pour [z[ < min (R, R

) :
+

n=0
_
n

k=0
a
k
b
nk
_
z
n
=
_
+

n=0
a
n
z
n
__
+

n=0
b
n
z
n
_
(14.1)
Dmonstration. On suppose que R et R

sont strictement positifs et on note, pour tout

entier naturel n, c
n
=
n

k=0
a
k
b
nk
.
Pour 0 r < min (R, R

) , on a pour tout entier naturel n :

[c
n
r
n
[ =

k=0
a
k
r
k
b
nk
r
nk

k=0

a
k
r
k

b
nk
r
nk

_
n

k=0

a
k
r
k

__
n

k=0

b
nk
r
nk

_
+

k=0

a
k
r
k

__
+

k=0

b
k
r
k

_
< +
ce qui signie que la suite ([c
n
r
n
[)
nN
est borne. On a donc R

min (R, R

) .
Pour [z[ < min (R, R

) , les sries

a
n
z
n
et

b
n
z
n
sont absolument convergentes et le tho-
rme 6.19 nous donne lgalit (14.1) (ce thorme nous permet aussi daboutir la minoration
R

min (R, R

) puisquil nous dit que le produit de Cauchy des sries

a
n
z
n
et

b
n
z
n
est
absolument convergent).
Remarque 14.7 Lgalit R

= min (R, R

) nest pas assure en gnral comme le montre

lexemple des sries

z
n
et 1 z de rayons de convergence respectifs 1 et +. On a c
n
=
a
n
b
0
+ a
n1
b
1
= 0 pour n 1 et c
0
= a
0
b
0
. La srie produit est de rayon de convergence inni
de somme
1
1 z
(1 z) = 1.
Thorme 14.10 Soit

a
n
z
n
une srie entire de rayon de convergence R. La srie drive

na
n
z
n1
et la srie primitive
a
n
n + 1
z
n+1
ont le mme rayon de convergence R.
Dmonstration. Comme

a
n
z
n
est la srie drive de
a
n
n + 1
z
n+1
, il sut de montrer
quune srie et sa srie drive ont mme rayon de convergence.
294 Sries entires
Notons :
I =
_
r R
+
[ (a
n
r
n
)
nN
est borne
_
et :
I

=
_
r R
+
[
_
na
n
r
n1
_
nN

est borne
_
Ce sont deux intervalles rels contenant 0 et de bornes suprieures respectives R et R

, les
rayons de convergence des sries

a
n
z
n
et

na
n
z
n1
. Avec les ingalits :
n 1, [a
n
r
n
[ [na
n
r
n
[ = r

na
n
r
n1

on dduit que I

I et R

R.
Si R = 0, on a alors R

= 0.
Si R > 0, pour tout rel r ]0, R[ , on peut trouver un rel s ]r, R[ et posant s = r + h
avec h > 0, on a pour tout entier n 1 :
s
n
= (r + h)
n
=
n

k=0
C
k
n
r
nk
h
k
nr
n1
h
et :

na
n
r
n1

1
h
[a
n
s
n
[
la suite (a
n
s
n
)
nN
tant borne puisque s [0, r[ I et en consquence r I

. On a donc
]0, R[ I

, ce qui entrane R R

et R = R

.
Corollaire 14.4 Une srie entire

a
n
z
n
et toutes ses sries drives

n(n 1) (n p + 1) a
n
z
np
ont toutes le mme rayon de convergence.
Dmonstration. Se dduit immdiatement du thorme prcdent par rcurrence sur p 1.
Exemple 14.1 La srie gomtrique

z
n
et toutes ses sries drives

n(n 1) (n p + 1) z
np
,
pour p 1, ont toutes le mme rayon de convergence 1. La srie primitive
z
n+1
n + 1
a galement
son rayon de convergence gal 1.
14.4 Fonctions dveloppables en srie entire
Si

a
n
z
n
est une srie entire de domaine de convergence D, on dnit une fonction sur D
en posant :
z D, f (z) =
+

n=0
a
n
z
n
et on rappelle que, dans le cas o le rayon de convergence R de cette srie entire est non nul,
D contient le disque ouvert D(0, R) de centre 0 et de rayon R.
Rciproquement, on sintresse ici aux fonctions dnies sur un voisinage ouvert de 0 dans
le plan complexe qui peuvent scrire comme somme dune srie entire.
Dnition 14.2 On dit quune fonction f dnie sur un disque ouvert D(0, ) de centre 0 et
de rayon > 0 du plan complexe est dveloppable en srie entire au voisinage de 0 sil existe
une srie entire

a
n
z
n
et un rel r ]0, ] tels que :
z D(0, r) , f (z) =
+

n=0
a
n
z
n
Fonctions dveloppables en srie entire 295
Dans un premier temps, on constate que si une fonction est dveloppable en srie entire
sur un disque ouvert D(0, r) elle est alors continue sur ce disque. En ralit elle est mme
indniment drivable (on peut dnir la notion de drivabilit au sens complexe, mais dans ce
chapitre nous nous limiterons au cas rel).
Thorme 14.11 Une fonction f dveloppable en srie entire sur un disque ouvert D(0, r)
du plan complexe est continue sur ce disque.
Dmonstration. On se donne un point z
0
D(0, r) . Pour tout z D(0, r) , on a :
f (z) f (z
0
) =
+

n=1
a
n
(z
n
z
n
0
)
avec, pour n 1 :
z
n
z
n
0
= (z z
0
)
n1

k=0
z
n1k
z
k
0
= (z z
0
) P
n
(z)
ce qui donne :
f (z) f (z
0
) = (z z
0
)
+

n=1
a
n
P
n
(z)
Comme [z[ < r et [z
0
[ < r, il existe un rel t ]0, r[ tel que [z[ < t et [z
0
[ < t et pour tout
entier n 1, on a :
[a
n
P
n
(z)[ [a
n
[
n1

k=0
[z[
n1k
[z
0
[
k
< n[a
n
[ t
n
Une srie et sa srie drive ayant mme rayon de convergence, la srie

n[a
n
[ t
n
est conver-
gente, donc

a
n
P
n
(z) est absolument convergente et :
[f (z) f (z
0
)[ [z z
0
[
+

n=1
[a
n
P
n
(z)[
_
+

n=1
n[a
n
[ t
n
_
[z z
0
[
ce qui entrane la continuit de f en z
0
.
Cette continuit de la somme dune srie entire nous permet de montrer lunicit dun
dveloppement en srie entire.
Thorme 14.12 Si une fonction est dveloppable en srie entire au voisinage de 0, alors ce
dveloppement est uniquement dtermin.
Dmonstration. Supposons quil existe deux suites complexes (a
n
)
nN
, (b
n
)
nN
et un rel
r > 0 tels que f (z) =
+

n=0
a
n
z
n
=
+

n=0
a
n
z
n
pour tout z D(0, r) . En valuant f en 0, on dduit
que f (0) = a
0
= b
0
. On termine alors le raisonnement par rcurrence sur n 0. Supposant que
a
k
= b
k
pour tout k compris entre 0 et n, de :
f (z) =
n

k=0
a
k
z
k
+
+

k=n+1
a
k
z
k
=
n

k=0
b
k
z
k
+
+

k=n+1
b
k
z
k
296 Sries entires
sur D(0, r) , on dduit que z
n+1
+

k=n+1
a
k
z
kn1
= z
n+1
+

k=n+1
b
k
z
kn1
pour tout z D(0, r) et
g (z) =
+

k=n+1
a
k
z
kn1
=
+

k=n+1
b
k
z
kn1
pour tout z D(0, r) 0 . Avec la continuit en 0
de la somme dune srie entire, on dduit alors que a
n+1
= lim
z0
g (z) = g (0) = b
n+1
. On a donc
bien montr que a
n
= b
n
pour tout n N.
Corollaire 14.5 Si une fonction paire [resp. impaire] f est dveloppable en srie entire au
voisinage de 0, alors ce dveloppement est ncessairement de la forme :
f (z) =
+

n=0
a
2n
z
2n
[resp. :
f (z) =
+

n=0
a
2n+1
z
2n+1
]
Pour la suite de ce paragraphe, on se limite aux sries entires et fonctions de la variable
relle, les coecients des sries entires considres pouvant tre complexes.
Dans le cas o une srie entire relle

a
n
x
n
de rayon de convergence ni R > 0 converge
pour x = R, on peut la prolonger par continuit en R. La dmonstration de ce rsultat se fait
en utilisant une transformation dAbel.
Thorme 14.13 (Abel) Soit

a
n
x
n
une srie entire relle de rayon de convergence ni
R > 0 telle que la srie

a
n
R
n
soit convergente. En notant f (x) =
+

n=0
a
n
x
n
pour x ]R, R[ ,
on a :
lim
xR

f (x) =
+

n=0
a
n
R
n
et f peut tre prolonge par continuit en R en posant f (R) =
+

n=0
a
n
R
n
.
Dmonstration. On note S =
+

n=0
a
n
R
n
et pour tout x ]0, R] , tout entier naturel n,
S
n
(x) =
n

k=0
a
k
x
k
. On a alors a
n
R
n
= S
n
(R) S
n1
(R) pour tout n 1 et pour x ]0, R[ , on
Fonctions dveloppables en srie entire 297
peut crire :
S
n
(x) = a
0
+
n

k=1
a
k
R
k
_
x
R
_
k
= a
0
+
n

k=1
(S
k
(R) S
k1
(R))
_
x
R
_
k
= a
0
+
n

k=1
S
k
(R)
_
x
R
_
k

k=1
S
k1
(R)
_
x
R
_
k
= S
0
(R) +
n

k=1
S
k
(R)
_
x
R
_
k

n1

k=0
S
k
(R)
_
x
R
_
k+1
=
n1

k=0
S
k
(R)
_
_
x
R
_
k

_
x
R
_
k+1
_
+ S
n
(R)
_
x
R
_
n
=
_
1
x
R
_
n1

k=0
S
k
(R)
_
x
R
_
k
+ S
n
(R)
_
x
R
_
n
et tenant compte de :
S
n
(R)
_
x
R
_
n

n+
S 0 = 0
pour [x[ < R, on dduit que la srie

S
n
(R)
_
x
R
_
n
converge et :
f (x) =
_
1
x
R
_
+

n=0
S
n
(R)
_
x
R
_
n
.
Tenant compte de
+

n=0
_
x
R
_
n
=
1
1
x
R
, on en dduit que :
f (x) S =
_
1
x
R
_
+

n=0
S
n
(R)
_
x
R
_
n
S
_
1
x
R
_
+

n=0
_
x
R
_
n
=
_
1
x
R
_
+

n=0
(S
n
(R) S)
_
x
R
_
n
.
Comme lim
n+
S
n
(R) = S, pour tout rel > 0 on peut trouver un entier n
0
tel que :
n n
0
, [S
n
(R) S[ <
et pour n n
0
, on a :
[f (x) S[
_
1
x
R
_
_
n
0

k=0
[S
k
(R) S[
_
x
R
_
k
+
+

k=n
0
+1
_
x
R
_
k
_
A(R x) +
o :
n
0

k=0
[S
k
(R) S[
_
x
R
_
k

n
0

k=0
[S
k
(R) S[ = R A
298 Sries entires
et :
+

k=n
0
+1
_
x
R
_
k

k=0
_
x
R
_
k
=
1
1
x
R
Pour x voisin de R, on aura alors [f (x) S[ 2. On a donc bien prouv le rsultat annonc.
Thorme 14.14 Soit f une fonction de la variable relle dveloppable en srie entire sur un
intervalle ]r, r[ o r > 0 avec :
x ]r, r[ , f (x) =
+

n=0
a
n
x
n
o (a
n
)
nN
est une suite de nombres complexes. La fonction f est alors continment drivable
sur ]r, r[ avec :
x ]r, r[ , f

(x) =
+

n=1
na
n
x
n1
Dmonstration. On se xe un rel x
0
dans ]r, r[ et nous allons montrer dans un premier
temps que f est drivable en x
0
, la drive f

(x
0
) ayant la forme annonce.
Sachant quune srie et sa srie drive ont mme rayon de convergence, on peut dnir la
fonction g sur ]r, r[ par :
x ]r, r[ , g (x) =
+

n=1
na
n
x
n1
et pour x ,= x
0
, on a :
f (x) f (x
0
)
x x
0
g (x
0
) =
+

n=1
a
n
_
P
n
(x) nx
n1
0
_
o on a pos pour n 1 :
P
n
(x) =
n1

k=0
x
n1k
x
k
0
.
Pour n = 1, on a :
P
n
(x) nx
n1
0
= 1 1 = 0
et donc :
f (x) f (x
0
)
x x
0
g (x
0
) =
+

n=2
a
n
_
P
n
(x) nx
n1
0
_
Comme [x[ < r et [x
0
[ < r, il existe un rel t ]0, r[ tel que [x[ < t et [x
0
[ < t et pour tout
entier n 2, on a :
a
n
_
P
n
(x) nx
n1
0
_
= a
n
n1

k=0
x
k
0
_
x
n1k
x
n1k
0
_
= a
n
n2

k=0
x
k
0
_
x
n1k
x
n1k
0
_
Fonctions dveloppables en srie entire 299
avec, pour p = n 1 k :
[x
p
x
p
0
[ = [x x
0
[

p1

j=0
x
p1j
x
j
0

< [x x
0
[
p1

j=0
t
p1j
t
j
= [x x
0
[ pt
p1
ce qui donne :

a
n
_
P
n
(x) nx
n1
0
_

[a
n
[
n2

k=0

x
k
0

x
n1k
x
n1k
0

< [a
n
[ [x x
0
[
n2

k=0
t
k
(n 1 k) t
n2k
< [a
n
[ [x x
0
[ t
n2
n1

p=1
p =
n(n 1)
2
[a
n
[ t
n2
[x x
0
[
La srie drive seconde

n(n 1) a
n
z
n2
ayant mme rayon de convergence que la s-
rie

a
n
z
n
, on dduit que la srie

n(n 1) [a
n
[ t
n2
est convergente, donc que la srie

a
n
_
P
n
(x) nx
n1
0
_
est absolument convergente et :

f (x) f (x
0
)
x x
0
g (x
0
)

n=2

a
n
_
P
n
(x) nx
n1
0
_

[x x
0
[
2
+

n=2
n(n 1) [a
n
[ t
n2
On en dduit alors que lim
xx
0
f (x) f (x
0
)
x x
0
= g (x
0
) .
La fonction f est donc drivable de drive gale g et cette drive est continue daprs le
thorme 14.11.
Par rcurrence, on dduit le rsultat suivant.
Corollaire 14.6 Soit f une fonction de la variable relle dveloppable en srie entire sur un
intervalle ]r, r[ o r > 0 avec :
x ]r, r[ , f (x) =
+

n=0
a
n
x
n
o (a
n
)
nN
est une suite de nombres complexes. La fonction f est alors indniment drivable
sur ]r, r[ avec, pour tout entier p 1 et tout rel x ]r, r[ :
f
(p)
(x) =
+

n=p
n(n 1) (n p + 1) a
n
x
np
=
+

n=p
n!
(n p)!
a
n
x
np
.
En valuant f
(p)
en 0, on retrouve lunicit du dveloppement en srie entire de la fonction
f avec :
n N, a
n
=
f
(n)
(0)
n!
.
Le thorme prcdent nous permet galement de donner le dveloppement en srie entire
de la primitive nulle en 0 dune fonction dveloppable en srie entire.
300 Sries entires
Corollaire 14.7 Soit f une fonction de la variable relle dveloppable en srie entire sur un
intervalle ]r, r[ o r > 0 avec :
x ]r, r[ , f (x) =
+

n=0
a
n
x
n
o (a
n
)
nN
est une suite de nombres complexes. La primitive de f nulle en 0 est la fonction F
dnie par :
x ]r, r[ , F (x) =
+

n=0
a
n
n + 1
x
n+1
.
Exemple 14.2 partir du dveloppement :
1
1 x
=
+

n=0
x
n
on dduit par drivation et intgration, les dveloppements :
1
(1 x)
2
=
+

n=1
nx
n1
et :
ln (1 x) =
+

n=0
x
n+1
n + 1
chacune de ces sries tant de rayon de convergence gal 1.
Prenant x =
1
2
, on obtient :
ln (2) =
+

n=0
1
(n + 1) 2
n+1
la convergence de cette srie tant plus rapide que celle de la srie classique
+

n=1
(1)
n+1
n
= ln (2)
(exercice 6.9). Pour N = 10, on obtient :
ln (2)
10

n=0
1
(n + 1) 2
n+1
3.793 10
5
La primitive nulle en 0 de ln (1 x) est :
x + (1 x) ln (1 x) =
+

n=0
x
n+2
(n + 1) (n + 2)
,
ce qui donne le dveloppement en srie entire :
(1 x) ln (1 x) = x +
+

n=2
x
n
n(n 1)
le rayon de convergence tant gal 1. Pour x =
1
2
, on obtient :
ln (2) = 1 2
+

n=2
1
n(n 1) 2
n
.
Fonctions dveloppables en srie entire 301
Exercice 14.15 En utilisant la srie entire
+

n=0
(1)
n
x
n+1
n + 1
, calculer
+

n=0
(1)
n
n + 1
.
Solution 14.15 Le rayon de convergence de cette srie entire est 1 (en utilisant le thorme
de dAlembert) et cette srie converge pour x = 1 (thorme des sries alternes). Pour tout
x ]1, 1[ , on note f (x) =
+

n=0
(1)
n
x
n+1
n + 1
et la fonction f ainsi dnie est drivable sur
]1, 1[ avec :
f

(x) =
+

n=0
(1)
n
x
n
=
1
1 + x
et donc f (x) = ln (1 + x) . En utilisant le thorme 14.13 dAbel, on a :
+

n=0
(1)
n
n + 1
= lim
x1

f (x) = ln (2) .
Exercice 14.16 En utilisant la srie entire
+

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

n=0
(1)
n
2n + 1
.
Solution 14.16 Le rayon de convergence de cette srie entire est 1 (en utilisant le thorme
de dAlembert) et cette srie converge pour x = 1 (thorme des sries alternes). Pour tout
x ]1, 1[ , on note f (x) =
+

n=0
(1)
n
x
2n+1
2n + 1
et la fonction f ainsi dnie est drivable sur
]1, 1[ avec :
f

(x) =
+

n=0
(1)
n
x
2n
=
1
1 + x
2
et donc f (x) = arctan (x) . En utilisant le thorme 14.13 dAbel, on a :
+

n=0
(1)
n
2n + 1
= lim
x1

f (x) =

4
.
Exercice 14.17
1. Donner le dveloppement en srie entire, en prcisant son rayon de convergence, de la
fonction arctan.
2. En dduire la valeur de
+

n=0
_
1
3
_
n
1
2n + 1
.
3. Calculer la primitive qui sannule en 0 de la fonction arctan et donner le dveloppement
en srie entire de cette fonction, en prcisant son rayon de convergence,
4. En dduire la valeur de
+

n=0
(1)
n
(2n + 1) (2n + 2)
.
Solution 14.17
1. partir du dveloppement :
1
1 + x
2
=
+

n=0
(1)
n
x
2n
on dduit par intgration le dveloppement :
arctan (x) =
+

n=0
(1)
n
x
2n+1
2n + 1
chacune de ces sries tant de rayon de convergence gal 1.
302 Sries entires
2. La valeur x =
1

3
donne :

6
= arctan
_
1

3
_
=
+

n=0
(1)
n
1

33
n
(2n + 1)
et :
+

n=0
_
1
3
_
n
1
2n + 1
=

6

3.
3. Une intgration par parties donne :
_
arctan (x) dx =
_
arctan (x) (x)

dx = x arctan (x)
_
x
1 + x
2
dx
= x arctan (x)
1
2
ln
_
1 + x
2
_
+ c
= x arctan (x) ln
_

1 + x
2
_
+ c
la primitive nulle en 0 tant obtenue pour c = 0. Il en rsulte que :
x arctan (x) ln
_

1 + x
2
_
=
+

n=0
(1)
n
x
2n+2
(2n + 1) (2n + 2)
le rayon de convergence valant 1.
4. Comme la srie

(1)
n
1
(2n + 1) (2n + 2)
est convergente, en utilisant le thorme 14.13
dAbel, on a :
+

n=0
(1)
n
1
(2n + 1) (2n + 2)
= lim
x1
_
x arctan (x) ln
_

1 + x
2
__
=

4
ln (2) .
Exercice 14.18 Dterminer le rayon de convergence et la somme de la srie entire relle :

1
n(n + 1)
x
n+1
.
Solution 14.18 Le coecient de cette srie entire tant une fonction rationnelle, son rayon
de convergence vaut 1. Notons f (x) =
+

n=1
1
n(n + 1)
x
n+1
sa somme pour tout x ]1, 1[ . Cette
fonction est (

sur ]1, 1[ avec :

f

(x) =
+

n=1
1
n
x
n
et f

(x) =
+

n=1
x
n1
=
1
1 x
,
ce qui donne f

(x) = ln (1 x) et en eectuant une intgration par parties :

f (x) =
_
ln (1 x) (1) dx =
_
ln (1 tx) (1 x)

dx
= (1 x) ln (1 x)
_
1
1 x
(1 x) dx
= (1 x) ln (1 x) + x + c
avec c = f (0) = 0.
Fonctions dveloppables en srie entire 303
Exercice 14.19 Dterminer le rayon de convergence et la somme de la srie entire relle :

n
2
1
n + 2
x
n
.
Solution 14.19 Le coecient de cette srie entire tant une fonction rationnelle, son rayon
de convergence vaut 1. Notons f (x) =
+

n=0
n
2
1
n + 2
x
n
sa somme pour tout x ]1, 1[ . La fonction
g : x x
2
f (x) =
+

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

sur ]1, 1[ avec :

g

(x) =
+

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

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

n=1
nx
n1
x
+

n=0
x
n
= x
3
_
1
1 x
_

+ x
2
_
1
1 x
_

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

x
1 x
=
2x
3
+ x
2
(1 x) x (1 x)
2
(1 x)
3
=
3x
2
x
(1 x)
3
En crivant que :
3x
2
x = 3 (1 x)
2
+ 5x 3
= 3 (1 x)
2
5 (1 x) + 2
on a :
g

(x) =
3
1 x

5
(1 x)
2
+
2
(1 x)
3
et :
g (x) = 3 ln (1 x)
5
1 x
+
1
(1 x)
2
+ c
avec g (0) = 0 = 4 + c. On a donc :
x
2
f (x) = 3 ln (1 x)
5
1 x
+
1
(1 x)
2
+ 4
=
x (4x 3)
(1 x)
2
3 ln (1 x)
et :
f (x) =
4x 3
x (1 x)
2
3
ln (1 x)
x
2
la fonction du second membre se prolongeant par continuit en 0 comme le montre un dvelop-
pement limit en 0 de ln (1 x) et
1
(1 x)
2
.
304 Sries entires
On a vu que si une fonction f de classe (

au voisinage de 0 est dveloppable en srie entire,

alors ce dveloppement est ncessairement donn par f (x) =
+

n=0
f
(n)
(0)
n!
x
n
. Mais il ne faut pas
croire que de manire gnrale toute fonction de classe (

au voisinage de 0 est dveloppable

en srie entire. Par exemple, la fonction f dnie par f (0) = 0 et f (x) = e

1
x
2
pour x ,= 0 est
indniment drivable sur R avec toutes ses drives en 0 qui sont nulles et pourtant elle nest
pas dveloppable en srie entire puisque
+

n=0
f
(n)
(0)
n!
x
n
= 0 ,= f (x) pour x ,= 0.
Une condition ncessaire et susante pour quune fonction (

sur un voisinage de 0 soit

dveloppable en srie entire est donne par le thorme qui suit.
Thorme 14.15 Soit f une fonction de classe (

sur un voisinage ouvert I de 0 et valeurs

complexes. Cette fonction est dveloppable en srie entire au voisinage de 0 si, et seulement
si, il existe un rel r > 0 tel que ]r, r[ I et pour tout x I la suite (R
n
(x))
nN
dnie par :
R
n
(x) = f (x)
n

k=0
f
(k)
(0)
k!
x
k
converge vers 0 sur ]r, r[ . Dans ce cas, on a f (x) =
+

n=0
f
(n)
(0)
n!
x
n
pour tout x ]r, r[ et le
rayon de convergence de cette srie entire est suprieur ou gal r.
Dmonstration. Si f est dveloppable en srie entire en 0, ce dveloppement est nces-
sairement f (x) =
+

n=0
f
(n)
(0)
n!
x
n
sur un intervalle ]r, r[ I et pour tout x ]r, r[ , la suite
des restes (R
n
(x))
nN
est de limite nulle.
Rciproquement dire que pour tout x ]r, r[ , la suite (R
n
(x))
nN
est de limite nulle signie
exactement que la srie numrique
f
(n)
(0)
n!
x
n
converge et que sa somme est f (x) .
Pour montrer que la suite (R
n
(x))
nN
converge vers 0, on peut utiliser lexpression de La-
grange du reste R
n
(x) =
f
(n+1)
(
n,x
x)
(n + 1)!
x
n+1
avec 0 <
n,x
< 1 ou sa reprsentation intgrale :
R
n
(x) =
_
x
0
f
(n+1)
(t)
n!
(x t)
n
dt =
x
n+1
n!
_
1
0
f
(n+1)
(x) (1 )
n
d.
Exemple 14.3 Dans le cas de la fonction exponentielle relle, on a pour tout rel x :
[R
n
(x)[ =
e

n,x
x
(n + 1)!
[x[
n+1

e
|x|
(n + 1)!
[x[
n+1

n+
0.
Il en rsulte que :
x R, e
x
=
+

n=0
1
n!
x
n
et le rayon de convergence de cette srie est inni.
Ce exemple est un cas particulier du rsultat suivant.
Fonctions dveloppables en srie entire 305
Thorme 14.16 Soit f une fonction de classe (

sur un voisinage ouvert I de 0 et valeurs

complexes. Sil existe un rel r > 0 tel que ]r, r[ I et pour tout x dans ]r, r[ on peut trouver
une constante M
x
avec :
n N,

f
(n)
(x)

M
x
,
alors f est dveloppable en srie entire dans ]r, r[ avec f (x) =
+

n=0
f
(n)
(0)
n!
x
n
.
Dmonstration. La formule de Taylor-Lagrange nous permet dcrire pour tout rel x
]r, r[ :
f (x) =
n

k=0
f
(k)
(0)
k!
x
k
+
f
(n+1)
(
n,x
x)
(n + 1)!
x
n+1
o
n,x
est un rel (dpendant de n et de x) compris entre 0 et 1 et on a :
[R
n
(x)[ =

f (x)
n

k=0
f
(k)
(0)
k!
x
k

M
x
[x[
n+1
(n + 1)!

n+
0
En utilisant ce rsultat, on dduit les dveloppements classiques suivants o le rayon de
convergence est indiqu entre parenthses.

cos (x) =
+

n=0
(1)
n
x
2n
(2n)!
(R = +)
ce qui se dduit de :
f
(n)
(0) = cos
_
n

2
_
=
_
(1)
p
si n = 2p
0 si n = 2p + 1
et de :

f
(n)
(x)

cos
_
x + n

2
_

M
x
= 1

sin (x) =
+

n=0
(1)
n
x
2n+1
(2n + 1)!
(R = +)
ce qui se dduit de :
f
(n)
(0) = sin
_
n

2
_
=
_
(1)
p
si n = 2p + 1
0 si n = 2p
et de :

f
(n)
(x)

sin
_
x + n

2
_

M
x
= 1

ch (x) =
+

n=0
x
2n
(2n)!
(R = +)
ce qui se dduit de :
f
(n)
(0) =
_
ch (0) = 1 si n est pair
sh (0) = 0 si n est impair
et de :

f
(n)
(x)

=
_
ch (x) si n est pair
[sh (x)[ si n est impair
M
x
= max (ch (x) , [sh (x)[)
306 Sries entires

sh (x) =
+

n=0
x
2n+1
(2n + 1)!
(R = +)
ce qui se dduit de :
f
(n)
(0) =
_
sh (0) = 0 si n est pair
ch (0) = 1 si n est impair
et de :

f
(n)
(x)

=
_
[sh (x)[ si n est pair
ch (x) si n est impair
M
x
= max (ch (x) , [sh (x)[)

(1 + x)

= 1 +
+

n=1
( 1) ( n + 1)
n!
x
n
(R = 1)
o est un rel non entier naturel, ce qui se dduit de :
f
(n)
(0) = ( 1) ( n + 1)
et de :
R
n
(x) =
x
n+1
n!
( 1) ( n)
_
1
0
(1 + x)
n1
(1 )
n
d.
avec :
0
1
1 + x
1
pour 0 1 et 1 < x < 1 (on a alors < x < et 0 1 < 1 + x), ce qui
donne :
[R
n
(x)[
[x[
n+1
n!
( 1) ( n)
_
1
0
(1 + x)
1
d 0
n+
puisque la srie
( 1) ( n)
n!
[x[
n+1
converge pour [x[ < 1 (en utilisant le tho-
rme de dAlembert). Le thorme de dAlembert nous dit aussi que le rayon de conver-
gence de cette srie entire vaut 1.
Pour = 1, on retrouve le dveloppement de
1
1 + x
et pour les valeurs particulires
=
1
2
, =
1
2
, on a :

1 + x = 1 +
+

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

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

1 + x
= 1 +
+

n=1
(1)
n
1.3 (2n 1)
2.4 (2n)
x
n
=
+

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

n=0
(1)
n
C
n
2n
2
2n
x
n
(R = 1)
Fonctions dveloppables en srie entire 307
Exercice 14.20 Dvelopper en srie entire la fonction f : x arcsin (x) en prcisant le
rayon de convergence.
Solution 14.20 On a, pour x [1, 1[ :
f

(x) =
1

1 x
2
=
+

n=0
C
n
2n
2
2n
x
2n
et :
arcsin (x) =
+

n=0
C
n
2n
(2n + 1) 2
2n
x
2n+1
le rayon de convergence tant gal 1.
Exercice 14.21 Dvelopper en srie entire la fonction f : x
1
x
sin
_
arcsin (x)
2
_
en prci-
sant le rayon de convergence.
Solution 14.21 La fonction f est dnie et continue sur [1, 1]0 . Un dveloppement limit
nous donne en tenant compte de lim
x0
arcsin (x)
x
= 1 :
f (x) =
1
x
_
arcsin (x)
2
+ o (arcsin (x))
_
=
1
2
arcsin (x)
x
+ o (1)
x0
1
2
.
On prolonge donc f par continuit en 0 en posant f (0) =
1
2
.
Pour x [1, 1] 0 , on a arcsin (x)
_

2
,

2
_
0 , donc cos (arcsin (x)) 0 et :
sin
2
_
arcsin (x)
2
_
=
1
2
(1 cos (arcsin (x)))
=
1
2
_
1

1 x
2
_
=
_
1 + x

1 x
2
_
2
les quantits sin
_
arcsin (x)
2
_
et

1 + x

1 x tant de mme signe. On a donc :

f (x) =
1
x

1 + x

1 x
2
sur [1, 1] 0 , le rsultat tant encore valable en 0 par continuit.
Utilisant les dveloppements en srie entire de

1 + x et

1 x sur ]1, 1[ , on en dduit
que :
f (x) =
+

n=0
(4n)!
2
4n+1
(2n + 1)! (2n)!
x
2n
.
Exercice 14.22 On se xe un rel dans ]0, [ et on sintresse la srie entire
sin (n)
n
z
n
.
1. Montrer que le rayon de convergence de cette srie vaut 1.
308 Sries entires
2. tudier la srie
sin (n)
n
z
n
pour z = 1 et z = 1.
3. On dsigne par f la fonction dnie sur [1, 1] par :
f (x) =
+

n=1
sin (n)
n
x
n
.
Justier le fait que f est indniment drivable sur ]1, 1[ et expliciter sa drive.
4. En dduire que :
f (x) = arctan
_
x cos ()
sin ()
_
+ arctan
_
cos ()
sin ()
_
pour ]0, [ et x ]1, 1[ .
5. Montrer que pour tous rels x, y tels que xy < 1, on a :
arctan (x) + arctan (y) = arctan
_
x + y
1 xy
_
6. En dduire que :
+

n=1
sin (n)
n
x
n
= arctan
_
x sin ()
1 x cos ()
_
pour ]0, [ et x ]1, 1[ .
7. Montrer que :
+

n=1
sin (n)
n
=

2
pour ]0, [ .
Solution 14.22
1. Comme la suite
_
sin (n)
n
_
n1
est borne (on a

sin (n)
n

1
n
1), on dduit que si R
est le rayon de convergence de cette srie entire, alors R 1.
La srie
sin (n)
n
tant semi-convergente (exercice 6.41), on a R 1 (si R > 1 la srie
sin (n)
n
est absolument convergente, ce qui nest pas). On a donc R = 1.
2. Pour z = 1, on sait dj que
sin (n)
n
est semi-convergente. Avec le thorme 6.25,
on a vu que si la suite relle (u
n
)
nN
tend vers 0 en dcroissant, alors la srie

u
n
e
int
est convergente pour tout rel t R 2Z. Prenant u
n
=
1
n
, on en dduit que la srie
1
n
e
in(+)
est convergente (on a + ], 2[) et il en est de mme de la partie
imaginaire
sin (n)
n
(1)
n
.
3. La somme dune srie entire de rayon de convergence R est (

sur ]R, R[ et sa drive

sobtient en drivant terme terme, ce qui donne pour f sur ]1, 1[ :
f

(x) =
+

n=1
sin (n) x
n1
= (g (x))
Fonctions dveloppables en srie entire 309
o :
g (x) =
+

n=1
e
in
x
n1
= e
i
+

n=0
_
xe
i
_
n
=
e
i
1 xe
i
=
e
i
_
1 xe
i
_
_
1 x cos ()
2
+ x
2
sin
2
()
_ =
e
i
x
(1 x cos ())
2
+ x
2
sin
2
()
(on a

xe
i

= [x[ < 1), ce qui donne :

f

(x) =
sin ()
x
2
2x cos () + 1
4. Il sagit de calculer une primitive de f

(x) . On a :
F (x) =
_
dx
x
2
2x cos () + 1
=
_
dx
(x cos ())
2
+ sin
2
()
=
1
sin
2
()
_
dx
1 +
_
x cos ()
sin ()
_
2
(on a sin () pour ]0, [) et en eectuant le changement de variable u =
x cos ()
sin ()
:
F (x) =
1
sin ()
_
du
1 + u
2
=
1
sin ()
arctan (u)
=
1
sin ()
arctan
_
x cos ()
sin ()
_
et tenant compte de f (0) = 0 :
f (x) = arctan
_
x cos ()
sin ()
_
+ arctan
_
cos ()
sin ()
_
pour ]0, [ et x ]1, 1[ .
5. Pour y x, on dnit (x) = arctan
_
x + y
1 xy
_
arctan (x) pour xy < 1. Pour y = 0
cest la fonction nulle dnie sur R, pour y > 0, elle est dnie sur lintervalle
_
,
1
y
_
et pour y < 0, elle est dnie sur lintervalle
_
1
y
, +
_
. Cette fonction est drivable avec :

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

1
1 + x
2
=
1 + y
2
(1 xy)
2
+ (x + y)
2

1
1 + x
2
=
1 + y
2
1 + x
2
y
2
+ x
2
+ y
2

1
1 + x
2
=
(1 + y
2
) (1 + x
2
) (1 + x
2
y
2
+ x
2
+ y
2
)
(1 + x
2
y
2
+ x
2
+ y
2
) (1 + x
2
)
= 0.
Il en rsulte que est constante gale (0) = arctan (y) (0 est toujours dans lintervalle
de dnition de ).
310 Sries entires
6. Constatant que :
x cos ()
sin ()
cos ()
sin ()
=
x cos () cos
2
()
sin
2
()
< 1
(cest quivalent x cos () cos
2
() < sin
2
() , soit x cos () < cos
2
() + sin
2
() = 1
qui est vrai pour ]0, [ et x ]1, 1[), on dduit que :
f (x) = arctan
_
xcos()
sin()
+
cos()
sin()
1
xcos()
sin()
cos()
sin()
_
= arctan
_
x sin ()
sin
2
() (x cos ()) cos ()
_
= arctan
_
x sin ()
1 x cos ()
_
7. Utilisant le thorme dAbel 14.13, on dduit de la convergence de
sin (n)
n
que :
+

n=1
sin (n)
n
= lim
x1

arctan
_
x sin ()
1 x cos ()
_
= arctan
_
sin ()
1 cos ()
_
avec :
sin ()
1 cos ()
=
2 sin
_

2
_
cos
_

2
_
2 sin
2
_

2
_ =
cos
_

2
_
sin
_

2
_ =
1
tan
_

2
_
ce qui donne :
+

n=1
sin (n)
n
= arctan
_
_
_
_
1
tan
_

2
_
_
_
_
_
=

2
arctan
_
tan
_

2
__
=

2
Exercice 14.23 Dvelopper en srie entire la fonction :
f : x
_

0
cos (x cos (t)) dt.
Solution 14.23 Pour tout rels x et t, on a :
cos (x cos (t)) =
+

n=0
(1)
n
x
2n
cos
2n
(t)
(2n)!
.
Notant respectivement S
n
(x, t) et R
n
(x, t) la somme partielle et le reste dindice n de cette
srie, on a pour tout rel x :
f (x) =
_

0
S
n
(x, t) dt +
_

0
R
n
(x, t) dt
=
n

k=0
(1)
k
__

0
cos
2k
(t) dt
_
x
2k
(2k)!
+
_

0
R
n
(x, t) dt
avec :

_

0
R
n
(x, t) dt

_

0
+

k=n+1
[x[
2k
(2k)!
dt =
+

k=n+1
[x[
2k
(2k)!

n+
0
Sries entires et quations direntielles 311
puisque la srie
[x[
2n
(2n)!
est convergente. Il en rsulte que :
f (x) =
+

n=0
(1)
n
I
n
x
2n
(2n)!
.
en notant I
n
=
_

0
cos
2n
(t) dt pour tout entier naturel n.
En intgrant par parties, on obtient la relation de rcurrence
2nI
n
= (2n 1) I
n1
,
avec I
0
= , ce qui donne I
n
=
(2n)!
2
2n
(n!)
2
et :
f (x) =

n0
(1)
n
2
2n
(n!)
2
x
2n
le rayon de convergence de cette srie entire tant inni.
14.5 Sries entires et quations direntielles
Le thorme 14.10 peut tre utilis pour dterminer des solutions dune quation direntielle
linaire coecients non constants dveloppables en srie entire.
Cette mthode est illustre par les exercice qui suivent.
Exercice 14.24 Dterminer une solution dveloppable en srie entire de lquation diren-
tielle :
2x (1 + x) y

+ (5x + 3) y

+ y = 0.
Solution 14.24 Supposons quil existe une solution f de cette quation qui soit non identi-
quement nulle et dveloppable en srie entire sur un intervalle ]R, R[ o R R
+
est
dterminer. Notons, pour tout x ]R, R[ :
f (x) =
+

n=0
a
n
x
n
.
Sur ]R, R[ , on a :
_

_
f

(x) =
+

n=1
na
n
x
n1
=
+

n=0
(n + 1) a
n+1
x
n
f

(x) =
+

n=2
n(n 1) a
n
x
n2
=
+

n=1
n(n + 1) a
n+1
x
n1
xf

(x) =
+

n=1
na
n
x
n
xf

(x) =
+

n=1
n(n + 1) a
n+1
x
n
x
2
f

(x) =
+

n=1
n(n 1) a
n
x
n
312 Sries entires
et :
a
0
+ 3a
1
+
+

n=1
(2n(n + 1) a
n+1
+ 2n(n 1) a
n
+ 5na
n
+ 3 (n + 1) a
n+1
+ a
n
) x
n
= 0
soit :
a
0
+ 3a
1
+
+

n=1
((n + 1) (2n + 3) a
n+1
+ (n + 1) (2n + 1) a
n
) x
n
= 0
encore quivalent dire que la suite (a
n
)
nN
est solution de lquation de rcurrence suivante :
_
a
0
+ 3a
1
= 0,
n 1, (2n + 3) a
n+1
+ (2n + 1) a
n
= 0.
(unicit du dveloppement en srie entire dune fonction).
Par rcurrence, on en dduit que :
_
n 0, a
n
=
(1)
n
2n + 1
a
0
soit :
f (x) = a
0
+

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

x
+

n=0
(1)
n

x
2n+1
2n + 1
= a
0
arctan (

x)

x
.
Exercice 14.25 Dterminer, en prcisant leur rayon de convergence, les solutions dvelop-
pables en srie entire de lquation direntielle :
xy

+ (x 2) y

2y = 0. (14.2)
Solution 14.25 Supposons quil existe une solution f de (14.2) non identiquement nulle et
dveloppable en srie entire sur un intervalle ] R, R[ o R R
+
est dterminer. Notons,
pour tout x ]R, R[ :
f (x) =
+

n=0
a
n
x
n
.
En utilisant le thorme 14.10, on peut crire que, sur ]R, R[ , on a :
_

_
f

(x) =
+

n=1
na
n
x
n1
=
+

n=0
(n + 1) a
n+1
x
n
xf

(x) =
+

n=1
na
n
x
n
xf

(x) =
+

n=1
n(n + 1) a
n+1
x
n
et f est solution de (14.2) si, et seulement si :
2 (a
0
+ a
1
) +
+

n=1
(n(n + 1) a
n+1
+ na
n
2 (n + 1) a
n+1
2a
n
) x
n
= 0.
encore quivalent dire que la suite (a
n
)
nN
est solution de lquation de rcurrence suivante :
_
a
1
+ a
0
= 0,
n 1, (n 2) ((n + 1) a
n+1
+ a
n
) = 0.
Sries entires et quations direntielles 313
(unicit du dveloppement en srie entire dune fonction). Cette quation est encore quivalente
:
_

_
a
1
+ a
0
= 0,
2a
2
+ a
1
= 0,
n 3, a
n+1
=
1
(n + 1)
a
n
.
Par rcurrence, on en dduit que :
_

_
a
1
= a
0
a
2
=
a
0
2
n 3, a
n
=
(1)
n+1
n!
6a
3
soit :
f (x) = a
0
_
1 x +
x
2
2
_
6a
3
_
+

n=3
(x)
n
n!
_
o a
0
et a
3
sont deux constantes relles. Le rayon de convergence de cette srie tant gal
+. On peut aussi crire ces solutions sous la forme :
f (x) = (a
0
+ 6a
3
)
_
1 x +
x
2
2
_
6a
3
e
x
=
_
1 x +
x
2
2
_
+ e
x
o et sont deux constantes relles.
Inversement, on peut trouver le dveloppement en srie entire dune fonction en crivant
cette fonction comme solution dune quation direntielle.
Exercice 14.26 Soit f la fonction dnie sur ]1, 1[ par f (x) = (1 + x)

o est un rel
non entier naturel.
1. Montrer que f est lunique solution sur ]1, 1[ de lquation direntielle avec condition
initiale suivante :
_
(1 + x) y

y = 0
y (0) = 1
2. Retrouver le dveloppement en srie entire de f ainsi que son rayon de convergence.
Solution 14.26
1. On a bien f (0) = 1 et pour tout x ]1, 1[ :
(1 + x) f

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

= 0
Le thorme de Cauchy-Lipschitz nous assure de lunicit de cette solution.
2. Supposons quil existe une solution g de cette quation direntielle dveloppable en srie
entire sur un intervalle ]R, R[ o R R
+
est dterminer. Notons, pour tout x
]R, R[ :
g (x) =
+

n=0
a
n
x
n
.
314 Sries entires
On a :
_

_
g

(x) =
+

n=1
na
n
x
n1
=
+

n=0
(n + 1) a
n+1
x
n
xg

(x) =
+

n=1
na
n
x
n
et g est solution de cette quation direntielle si, et seulement si :
+

n=0
((n + 1) a
n+1
+ na
n
a
n
) x
n
= 0
encore quivalent :
n 0, a
n+1
=
n
n + 1
a
n
avec a
0
= g (0) = 1, ce qui donne par rcurrence :
n 1, a
n
=
( 1) ( n + 1)
n!
,
soit :
g (x) = 1 +
+

n=1
( 1) ( n + 1)
n!
x
n
.
Le thorme de dAlembert nous dit que le rayon de convergence de srie entire est gal
1. Enn f = g du fait de lunicit de la solution dun problme de Cauchy. On retrouve
ainsi le dveloppement en srie entire de (1 + x)

sur ]1, 1[ .
Exercice 14.27 Montrer que la fonction f dnie sur ]1, 1[ par f (x) =
arcsin (x)

1 x
2
est so-
lution dune quation direntielle linaire du premier ordre. En dduire le dveloppement en
srie entire de cette fonction.
Solution 14.27 Les fonctions x arcsin (x) et x
1

1 x
2
tant dveloppable en srie
entire sur ]1, 1[ , il en est de mme du produit f. De la relation

1 x
2
f (x) = arcsin (x) ,
on dduit par drivation (les fonctions considres sont (

) que :

1 x
2
f (x) +

1 x
2
f

(x) =
1

1 x
2
ce qui se traduit en disant que f est solution sur ]1, 1[ de lquation direntielle avec condition
initiale :
_
xy + (1 x
2
) y

= 1
y (0) = 1
En crivant, pour tout x ]1, 1[ :
f (x) =
+

n=0
a
n
x
n
on a :
_

_
xf (x) =
+

n=0
a
n
x
n+1
=
+

n=1
a
n1
x
n
f

(x) =
+

n=1
na
n
x
n1
=
+

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

(x) =
+

n=1
na
n
x
n+1
=
+

n=2
(n 1) a
n1
x
n
Sries entires et quations direntielles 315
et f est solution de cette quation direntielle si, et seulement si :
a
1
+ (2a
2
a
0
) x +
+

n=2
(a
n1
+ (n + 1) a
n+1
(n 1) a
n1
) x
n
= 1
soit :
a
1
+
+

n=1
((n + 1) a
n+1
na
n1
) x
n
= 1
ce qui donne :
_
a
1
= 1
n 1, (n + 1) a
n+1
na
n1
= 0
avec a
0
= f (0) = 0. On a donc :
p 1, 2pa
2p
= (2p 1) a
2(p1)
avec a
0
= 0, ce donne a
2p
= 0 pour tout p 0 (rcurrence immdiate) et :
n 1, (2p + 1) a
2p+1
= 2pa
2p1
qui donne par rcurrence :
a
2p+1
=
(2p) (2p 2) 2
(2p + 1) (2p 1) 3
a
1
avec a
1
= 1, soit :
a
2p+1
=
((2p) (2p 2) 2)
2
(2p + 1)!
=
2
2p
(p!)
2
(2p + 1)!
pour tout p 0. Le dveloppement en srie entire de f sur ]1, 1[ est donc :
f (x) =
+

n=0
2
2n
(n!)
2
(2n + 1)!
x
2n+1
Le fait que les coecients a
2n
sont tous nuls tait prvisible puisque la fonction f est impaire.
Exercice 14.28 Montrer que la fonction f dnie sur R par f (x) = ch (x) cos (x) est solution
dune quation direntielle linaire du quatrime ordre coecients constants. En dduire le
dveloppement en srie entire de cette fonction.
Solution 14.28 Les fonctions ch et cos tant dveloppable en srie entire sur R, il en est de
mme du produit f. On peut crire que :
f (x) = '
_
e
x
+ e
x
2
e
ix
_
=
1
2
'
_
e
(1+i)x
+ e
(1+i)x
_
et la drive quatrime de f est donne par :
f
(4)
(x) =
1
2
'
_
(1 + i)
4
e
(1+i)x
+ (1 + i)
4
e
(1+i)x
_
=
1
2
'
_
(1 + i)
4
e
(1+i)x
+ (1 i)
4
e
(1+i)x
_
316 Sries entires
avec :
(1 i)
4
=
_

2e
i

4
_
4
= 4e
i
= 4
ce qui donne :
f
(4)
(x) = 4
1
2
'
_
e
(1+i)x
+ e
(1+i)x
_
= 4f (x)
ce qui se traduit en disant que f est solution sur R de lquation direntielle avec conditions
initiales :
_
y
(4)
+ 4y = 0
y (0) = 1, y

(0) = 0, y

(0) = 0, y

(0) = 0
En crivant, pour tout x R :
f (x) =
+

n=0
a
n
x
n
on a a
2n+1
= 0 pour tout n 0 puisque f est paire, donc :
f (x) =
+

n=0
a
2n
x
2n
et :
f
(4)
(x) =
+

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

n=0
(2n + 4) (2n + 3) (2n + 2) (2n + 1) a
2n+4
x
2n
et f est solution de cette quation direntielle si, et seulement si :
+

n=0
((2n + 4) (2n + 3) (2n + 2) (2n + 1) a
2n+4
+ 4a
2n
) x
2n
= 0
ce qui donne :
n 0, a
2n+4
=
4
(2n + 4) (2n + 3) (2n + 2) (2n + 1)
a
2n
(14.3)
Pour n = 2p + 1, avec p 0, on a :
a
4p+6
=
p
a
4p+2
avec a
2
=
f

(0)
2
= 0, ce qui donne a
4p+2
= 0 pour tout p 0 par une rcurrence immdiate.
Sachant dj que les a
4p+1
et a
4p+3
, sont tous nuls, il reste dterminer les a
4p
pour tout p 0.
Notant b
p
= a
4p
, on a en prenant n = 2p dans (14.3) :
p 0, b
p+1
=
4
(4p + 4) (4p + 3) (4p + 2) (4p + 1)
b
p
avec b
0
= a
0
= 1, et par rcurrence :
p 0, b
p
=
(1)
p
4
p
(4p)!
Sries entires et quations direntielles 317
Le dveloppement en srie entire de f sur R est donc :
f (x) =
+

n=0
(1)
n
4
n
(4n)!
x
4n
On peut aussi calculer les drives successives de f :
f
(n)
(x) =
1
2
'
_
(1 + i)
n
e
(1+i)x
+ (1 + i)
n
e
(1+i)x
_
=
1
2
'
_
(1 + i)
n
e
(1+i)x
+ (1)
n
(1 i)
n
e
(1+i)x
_
ce qui donne a
n
=
f
(n)
(0)
n!
avec :
f
(n)
(0) =
1
2
'((1 + i)
n
+ (1)
n
(1 i)
n
)
=
_
2
_
n
2
'
_
e
in

4
+ (1)
n
e
ini

4
_
=
_
2
_
n
2
(1 + (1)
n
) cos
_
n

4
_
Pour n = 2p + 1, on a bien a
2n+1
= 0. Pour n = 4p + 2, on a :
f
(n)
(0) = 2
2p+1
cos
_
(2p + 1)

2
_
= 0
et pour n = 4p :
f
(n)
(0) = 4
p
cos (p) = 4
p
(1)
p
.
Exercice 14.29 On dnit les fonctions f et g par :
x R,
_
_
_
f (x) =
+

n=1
x
n
n
2
,
g (x) = e
f(x)
.
Montrer que g est dveloppable en srie entire sur un intervalle prciser.
Solution 14.29 Le rayon de convergence de la srie
x
n
n
2
est R
1
= 1 (rgle de dAlembert),
la srie tant absolument convergente pour x = 1 et x = 1 (srie de Riemann
1
n
2
). Les
fonctions f et g sont alors (

sur ]1, 1[ avec g

= f

e
f
= f

g. La fonction g est donc

solution de lquation direntielle y

= f

y avec la condition initiale g (0) = 1. Supposons que

cette quation direntielle avec condition initiale admette une solution h dveloppable en srie
entire sur un intervalle ]R, R[ , soit h(x) =
+

n=0
a
n
x
n
. On a alors pour [x[ < min (R, 1) :
+

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

n=0
x
n
n + 1
+

n=0
a
n
x
n
ce qui donne :
a
n+1
=
1
n + 1
n

k=0
a
nk
k + 1
318 Sries entires
avec a
0
= 1. Par rcurrence, on voit que 0 < a
n
1, ce qui entrane R 1.
Les fonctions g et h tant solutions de la mme quation direntielle linaire dordre 1 avec
condition initiale, on dduit que g = h et g est dveloppable en srie entire sur ]1, 1[ . Si le
rayon de convergence de g est strictement suprieur 1, la fonction g est (

sur un voisinage
ouvert de 1, mais g

= fg avec lim
x1
g (x) = e
f(1)
= e

2
6
> 0 donne g

= f

g +fg

= (f

+ f
2
) g et
lim
x1
f

(x) = lim
x1
_
g

(x)
g (x)
f
2
(x)
_
avec f

(x) =
+

n=0
x
n
n + 1
=
ln (1 x)
x
qui na pas de limite
quand x tend vers 1. On aboutit donc une impossibilit. Le rayon de convergence de cette
srie est donc R = 1.
14.6 Exercices supplmentaires
Exercice 14.30 Le but de cet exercice est de calculer la somme de la srie numrique :

1
u
n
o u
n
=
n

k=1
k
2
pour tout n 1
en utilisant la srie entire
x
2n+1
u
n
. La convergence de
1
u
n
est justie avec lexercice 6.45,
question 1.
1. Dterminer le rayon de convergence R de cette srie entire.
2. Calculer la somme des sries entires
+

n=1
x
n
n
et
+

n=1
x
n
n + 1
sur leur domaine de convergence.
On notera respectivement f
1
(x) et f
2
(x) ces sommes.
3. Calculer les primitives de ln (1 x
2
) sur ]1, 1[ .
4. Calculer les primitives de
ln (1 x
2
)
x
2
sur ]1, 1[ .
5. En dduire la somme f (x) de la srie entire
x
2n+1
u
n
sur son domaine de convergence.
6. En dduire la somme de la srie
+

n=1
1
u
n
.
Solution 14.30
1. Avec

x
2n+1
u
n

<
1
u
n
pour [x[ < 1 et la convergence de
1
u
n
, on dduit que
x
2n+1
u
n
converge absolument.
Pour [x[ > 1, on a

x
2n+1
u
n

>
x
2n
(2n + 1)
3

n+
+ et
x
2n+1
u
n
diverge. Donc R = 1.
2. Le rayon de convergence de ces sries entires est R = 1. Par drivation, on a :
f

1
(x) =
+

n=1
x
n1
=
1
1 x
et f
1
(x) = ln (1 x) (on a f
1
(0) = 0). Puis pour x ]1, 1[ 0 :
f
2
(x) =
1
x
+

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

n=2
x
n
n
=
f
1
(x) x
x
=
ln (1 x)
x
1
Exercices supplmentaires 319
le rsultat tant encore valable en 0 puisque f
2
est continue sur ]1, 1[ (on a lim
x0
ln (1 x)
x
=
1).
3. On a :
_
ln
_
1 x
2
_
dx =
_
ln (1 x) dx +
_
ln (1 + x) dx
= (1 x) ln (1 x) x + (1 + x) ln (1 + x) x + c
= (1 + x) ln (1 + x) (1 x) ln (1 x) 2x + c
= ln
_
1 + x
1 x
_
+ x ln
_
1 x
2
_
2x + c
4. Une intgration par parties avec :
_

_
u (x) = ln (1 x
2
) , u

(x) =
2x
1 x
2
v

(x) =
1
x
2
, v (x) =
1
x
et :
_
ln (1 x
2
)
x
2
dx =
ln (1 x
2
)
x
2
_
1
1 x
2
dx
=
ln (1 x
2
)
x

_ _
1
1 x
+
1
1 + x
_
dx
=
ln (1 x
2
)
x
ln
_
1 + x
1 x
_
+ c
5. En utilisant u
n
=
n(n + 1) (2n + 1)
6
, on a par drivation :
f

(x) = 6
+

n=1
x
2n
n(n + 1)
puis avec
1
n(n + 1)
=
1
n

1
n + 1
, on a :
f

(x) = 6
_
+

n=1
x
2n
n

+

n=1
x
2n
n + 1
_
= 6
_
f
1
_
x
2
_
f
2
_
x
2
__
= 6
_
ln
_
1 x
2
_
+
ln (1 x
2
)
x
2
+ 1
_
et :
f (x) = 6
_
ln
_
1 + x
1 x
_
x ln
_
1 x
2
_
+ 2x
ln (1 x
2
)
x
ln
_
1 + x
1 x
_
+ x
_
= 6
_
2 ln
_
1 + x
1 x
_
+ x ln
_
1 x
2
_
+
ln (1 x
2
)
x
3x
_
= 6
_
ln (1 + x)
_
2 + x +
1
x
_
+ ln (1 x)
_
2 + x +
1
x
_
3x
_
= 6
_
ln (1 + x)
x
(x + 1)
2
+
ln (1 x)
x
(1 x)
2
3x
_
la fonction obtenue tant bien continue en 0.
320 Sries entires
6. Comme la srie entire converge pour x = 1, on a (thorme dAbel) :
+

n=1
1
u
n
= lim
x1
x<1
f (x) = 6 (3 4 ln (2))
On peut aussi crire, pour x ]0, 1[ :

n=1
1
u
n
f (x)

=
+

n=1
1 x
2n+1
u
n
avec :
0 1 x
2n+1
= (1 x)
2n

k=0
x
2k
(2n + 1) (1 x)
et u
n
=
n(n + 1) (2n + 1)
6
, ce qui donne :

n=1
1
u
n
f (x)

6 (1 x)
+

n=1
1
n
2
=
2
(1 x)
x1
0
Exercice 14.31 Le but de cet exercice est dtudier la srie entire :

x
n
u
n
o u
n
=
n

k=1
k
2
pour tout n 1
On utilise les fonctions f
1
(x) =
+

n=1
x
n
n
et f
2
(x) =
+

n=1
x
n
n + 1
de lexercice prcdent.
1. Dterminer le rayon de convergence R de cette srie entire.
2. Calculer la somme f
3
(x) de la srie entire
+

n=1
x
2n+1
2n + 1
sur son domaine de convergence.
3. Calculer la somme f
4
(x) de la srie entire
+

n=1
(1)
n
x
2n+1
2n + 1
sur son domaine de conver-
gence.
4. Calculer la somme f
5
(x) de la srie entire
+

n=1
x
n
2n + 1
sur son domaine de convergence.
5. En dduire la somme g (x) de la srie entire
x
n
u
n
sur son domaine de convergence.
6. En dduire la valeur de
+

n=1
1
u
n
.
Solution 14.31
1. Avec u
n
> 0 et
u
n
u
n+1
=
u
n
u
n
+ (n + 1)
2
=
1
1 +
(n+1)
2
u
n
=
1
1 +
6(n+1)
n(2n+1)

n+
1, on dduit que
R = 1.
Exercices supplmentaires 321
2. Le rayon de convergence de ce srie entire est R = 1. Par drivation, on a :
f

3
(x) =
+

n=1
x
2n
=
1
1 x
2
1 =
1
2
_
1
1 + x
+
1
1 x
_
1
et
f
3
(x) =
1
2
(ln (1 + x) ln (1 x)) x
= ln
_
_
1 + x
1 x
_
x = argth (x) x
(on a f
3
(0) = 0).
3. Le rayon de convergence de ce srie entire est R = 1. Par drivation, on a :
f

4
(x) =
+

n=1
(1)
n
x
2n
=
1
1 + x
2
1
et f
4
(x) = arctan (x) x (on a f
3
(0) = 0).
4. Le rayon de convergence de ce srie entire est R = 1.
On a f
5
(0) = 0.
Pour x ]0, 1[ , on a :
f
5
(x) =
1

x
+

n=1

x
2n+1
2n + 1
=
1

x
f
3
_
x
_
=
1

x
ln
_

1 +

x
1

x
_
1
Pour x ]1, 0[ , on a :
f
5
(x) =
1

x
+

n=1
(1)
n

x
2n+1
2n + 1
=
1

x
f
4
_
x
_
=
arctan
_
x
_

x
1
la fonction f
5
tant continue en 0.
5. On a pour x ]1, 1[ :
g (x) = 6
_
+

n=1
x
n
n
+
+

n=1
x
n
n + 1
4
+

n=1
x
n
2n + 1
_
= 6 (f
1
(x) + f
2
(x) 4f
5
(x))
soit :
g (x) = 6
_
ln (1 x) +
ln (1 x) + x
x
+ 4
_
1

x
ln
_

1 +

x
1

x
_
1
__
= 6
_
3 + ln (1 x) +
ln (1 x)
x
+
2

x
ln
_
1 +

x
1

x
__
pour x ]0, 1[ et :
g (x) = 6
_
ln (1 x) +
ln (1 x) + x
x
+ 4
_
arctan
_
x
_

x
1
__
= 6
_
3 + ln (1 x) +
ln (1 x)
x
+ 4
arctan
_
x
_

x
_
pour x ]1, 0[ . Pour x = 0, on a f (0) = 0.
322 Sries entires
6. Comme la srie entire converge pour x = 1, on a (thorme dAbel) :
+

n=1
1
u
n
= lim
x1
x<1
g (x)
En crivant, pour x ]0, 1[ , que g (x) = 6 (3 + h(x)) avec :
h(x) = ln (1 x)
x + 1
x

2

x
ln
_
1

x
_
+
2

x
ln
_
1 +

x
_
= ln
_
1

x
_
x + 1
x

2

x
ln
_
1

x
_
+ ln
_
1 +

x
_
x + 1
x
+
2

x
ln
_
1 +

x
_
= ln
_
1

x
_
_
x + 1
x

2

x
_
+ ln
_
1 +

x
_
x + 1
x
+
2

x
ln
_
1 +

x
_
= ln
_
1

x
_
1
x
_
x + 1 2

x
_
+ ln
_
1 +

x
_
x + 1
x
+
2

x
ln
_
1 +

x
_
=
_
1

x
_
2
ln
_
1

x
_
1
x
+ ln
_
1 +

x
_
x + 1
x
+
2

x
ln
_
1 +

x
_
on a lim
x1
x<1
h(x) = 4 ln (2) et lim
x1
x<1
g (x) = 6 (3 4 ln (2)) .
On peut aussi crire, pour x ]0, 1[ :

n=1
1
u
n
g (x)

=
+

n=1
1 x
n
u
n
avec :
0 1 x
n
= (1 x)
n1

k=0
x
2k
n(1 x)
et u
n
=
n(n + 1) (2n + 1)
6
> n
3
, ce qui donne :

n=1
1
u
n
g (x)

6 (1 x)
+

n=1
1
n
2
=
2
(1 x)
x1
0.
Exercice 14.32 Dterminer le rayon de convergence et la somme des sries entires
cos (n)
n!
z
n
et
sin (n)
n!
z
n
, o est un rel x.
Solution 14.32 Considrons la srie entire

a
n
z
n
, o a
n
=
e
in
n!
pour n 0. Avec

a
n+1
a
n

=
1
n + 1

n+
0, on dduit que le rayon de convergence de cette srie est + pour tout rel .
Puis avec cos (n) =
e
in
+ e
in
2
et sin (n) =
e
in
e
in
2i
, on dduit que les sries entires
cos (n)
n!
z
n
et
sin (n)
n!
z
n
ont aussi un rayon de convergence inni.
Pour tout nombre complexe z, on a :
f (z) =
+

n=0
e
in
n!
z
n
=
+

n=0
_
e
i
z
_
n
n!
= e
e
i
z
Exercices supplmentaires 323
et :
g (z) =
+

n=0
cos (n)
n!
z
n
=
e
e
i
z
+ e
e
i
z
2
= e
z cos()
e
iz sin()
+ e
iz sin()
2
= e
z cos()
cos (z sin ())
h(z) =
+

n=0
sin (n)
n!
z
n
=
e
e
i
z
e
e
i
z
2i
= e
z cos()
e
iz sin()
e
iz sin()
2i
= e
z cos()
sin (z sin ())
324 Sries entires