You are on page 1of 34

Exercices - Sries entires : corrig

Rayon de convergence
Exercice 1 - Vrai/faux/exemples - L2/Math Sp -
1. La srie entire

n1
z
n

n
convient.
2. Si a
n
=
1
n+1
et b
n
= 1, les deux sries ont mme rayon de convergence (gale 1), et
pourtant a
n
= o(b
n
).
3. Cest le mme ! on a |a
n

n
| = |(1)
n
a
n

n
| pour tout 0, et donc, par dnition du
rayon de convergence, les deux sries ont mme rayon de convergence.
Exercice 2 - Rayon de convergence - L2/Math Sp -
1. Posons a
n
=
n!
(2n)!
. Alors
u
n+1
u
n
=
n + 1
(2n + 2)(2n + 1)
=
1
4n + 2
0.
Daprs la rgle de dAlembert, le rayon de convergence est +.
2. On sait que (ln nR
n
) est born si et seulement |R| < 1. Ainsi, le rayon de convergence
vaut 1.
3. Pour R > 0, on a

nR
2n
2
n
+ 1

+

n
_
R
2
2
_
n
.
Ceci est born si et seulement si
R
2
2
< 1. Le rayon de convergence est donc

2.
4. Posons u
n
=
(1+i)
n
z
3n
n.2
n
. Alors

u
n+1
u
n

=
n|1 + i||z|
3
2(n + 1)

2|z|
3
2
=
|z|
3

2
.
Ainsi, si |z|
3
<

2, la srie de terme gnral |u


n
| est convergente daprs le critre de
dAlembert, alors quelle est divergente si |z|
3
>

2. On en dduit que le rayon de conver-


gence de la srie entire est
6

2.
5. On remarque que
(n 2)|z|
n
|2 + ni||z
n
| (2 + n)|z|
n
.
Ainsi, la srie converge pour |z| > 1 et diverge pour |z| < 1. Son rayon de convergence est
donc 1.
6. Notant u
n
=
(1)
n
13(2n1)
z
n
, on applique la rgle de dAlembert pour tudier la conver-
gence absolue de cette srie. On a :
u
n+1
u
n
=
|z|
2n + 1
0.
La srie entire est donc convergente pour toute valeur de z. Son rayon de convergence
est donc +.
http://www.bibmath.net 1
Exercices - Sries entires : corrig
7. On applique nouveau la rgle de dAlembert u
n
= a

n
|z|
n
. On obtient
u
n+1
u
n
= |z|a

n+1

n
.
Or,

n + 1

n =

n
_
(1 + 1/n)
1/2
1) =

n
_
1 +
1
2n
1 + o
_
1
n
__
0.
Ainsi, on obtient que
u
n+1
u
n
|z|a
0
= |z|.
On en dduit que la srie des modules converge absolument pour |z| < 1 et diverge pour
|z| > 1. Le rayon de convergence de la srie entire est donc 1.
8. Pour |z| < 1, on remarque que |z|
n!
|z|
n
et donc la srie est convergente. Pour |z| 1, le
terme gnral de la srie ne tend pas vers 0 et la srie est donc grossirement divergente.
On en dduit que le rayon de convergence de la srie entire est 1.
9. Pour u
n
= n
ln n
|z|
n
, on tudie la convergence en appliquant la rgle de Cauchy :
n

u
n
= n
ln n/n
|z| = exp
_
(ln n ln n)/n
_
|z| |z|.
La srie est donc convergente pour |z| < 1 et divergente pour |z| > 1. Son rayon de
convergence vaut 1.
Exercice 3 - Rayon de convergence - L2/Math Sp -
1. Une application immdiate de la rgle de dAlembert, ou une tude directe du comporte-
ment du terme gnral, donne que le rayon de convergence vaut 1.
2. En eectuant un dveloppement limit, on trouve que a
n

1
n
do |a
n
z
n
|
|z|
n
n
. La suite
(|a
n
z
n
|) est donc borne si et seulement si |z| 1. Le rayon de convergence de la srie est
1.
3. On applique la rgle de dAlembert en remarquant que
a
n+1
a
n
=
(n + 1)
4
_
(2n + 1)(2n + 2)

1
8
.
Le rayon de convergence de la srie est donc gal 8.
4. a
n
ne prend que 7 valeurs distinctes, savoir tan(k/7) pour k = 0, . . . , 6. Soit M un
majorant de la valeur absolue de chacun de ces nombres. On a
|a
n
z
n
| M|z|
n
ce qui prouve que le rayon de convergence de la srie entire est suprieur ou gal 1.
De plus, pour |z| 1, on a |a
7n+1
z
n
| = tan(/7)|z|
n
qui ne tend pas vers 0, et donc la
srie

n
a
n
z
n
ne converge pas. On en dduit que le rayon de convergence recherch est
exactement gal 1.
http://www.bibmath.net 2
Exercices - Sries entires : corrig
5. Il sut de remarquer que 1 a
n
n, ce qui entraine
|z|
n
|a
n
z
n
| n|z|
n
.
Ainsi, pour |z| < 1, la srie

n
a
n
z
n
converge, et pour |z| > 1, elle diverge. Son rayon de
convergence est donc gal 1.
6. On a a
n

+
1
n
, donc |a
n
z
n
|
|z|
n
n
et la suite (|a
n
z
n
|) est borne si et seulement si
|z| < 1. Le rayon de convergence de la srie est donc gale 1.
Exercice 4 - Division par n ! - L2/Math Sp -
Soit 0 < r < . Par le lemme dAbel, on sait que la suite (a
n
r
n
)
n
est borne. Autrement
dit, il existe M > 0 tel que, pour tout n 0, on a
|a
n
r
n
| M.
Soit maintenant R > 0. Alors on a
|a
n
|R
n
n!
= |a
n
|r
n

(R/r)
n
n!
.
Par croissance compare des puissances et des polynmes, il existe C > 0 tel que |(R/r)
n
|/n!
C. Il vient, pour tout n 0,
|a
n
|R
n
n!
MC.
La suite (a
n
R
n
) est borne pour tout n, donc le rayon de convergence de la srie entire

n
a
n
n!
x
n
vaut +.
Exercice 5 - Puissance - L2/Math Sp -
Il sut de remarquer que la suite (a

n
r
n
) est borne si et seulement la suite (a
n
r
n/
) (obtenue
en prenant la puissance 1/ de la premire) est borne.. Ainsi, si r <

, alors r
1/
< et donc
les suites (a
n
r
n/
) et (a

n
r
n
) sont bornes. De mme, si r >

, de sorte que r
1/
> , alors les
suite (a
n
r
n/alpha
) et (a

n
r
n
) ne sont pas bornes. Ceci prouve que le rayon de convergence de la
srie

n
a

n
x
n
est gal

.
Exercice 6 - Comparaison - L2/Math Sp -
1. Notons R
1
le rayon de convergence de

n
a
n
e

n
z
n
. Puisque |a
n
|e

n
|a
n
|, on a R
1
R.
Soit maintenant r > 0 tel que (a
n
r
n
) soit borne. Alors, pour tout [0, r[, on a
a
n
e

n
= a
n
r
n
e

n
r
n
= a
n
r
n
e
nln(/r)+

n
et comme e
nln(/r)+

n
tend vers 0 lorsque n tend vers +, la suite (a
n
e

n
) est borne.
On en dduit que R R
1
et donc nalement que R = R
1
.
2. Il est clair que (a
n
r
2n
) est borne si et seulement si (a
n
(r
2
)
n
) est borne (cest la mme
suite crire de deux faons direntes). Le rayon de convergence de

n
a
n
z
2n
est donc
gal

R.
http://www.bibmath.net 3
Exercices - Sries entires : corrig
3. Supposons dabord R > 0 et R < +. On va alors prouver que le rayon de convergence
de

n
a
n
z
n
2
est gal 1. En eet, soit r tel que (a
n
r
n
) est borne. Alors, pour tout < 1,
on a a
n

n
2
= a
n
r
n


n
2
r
n
et cette quantit est borne car

n
2
r
n
tend vers 0 (on a choisi
< 1). Ainsi, le rayon de convergence de

n
a
n
z
n
2
est suprieur ou gal 1. De faon
similaire, on prouve que, si r est tel que a
n
r
n
nest pas borne, alors pour tout > 1, on
a a
n

n
2
qui nest pas born. Ainsi, le rayon de convergence de

n
a
n
z
n
2
est gal 1.
Lorsque R = +, alors le rayon de convergence de

n
a
n
z
n
2
sera lment de [1, +],
mais toutes les valeurs peuvent tre prises :
Si a
n
= 1/n!, alors le rayon vaut 1.
Si a
n
= 1/n!
2
, alors le rayon vaut +.
Si a
n
= 1/
n
2
, avec > 1, le rayon de convergence vaut .
De mme, si R = 0, alors le rayon de convergence de

n
a
n
z
n
2
peut tre nimporte quel
rel dans [0, 1].
Exercice 7 - Produit de Hadamard - L2/Math Sp -
Soit 0 r <
1

2
. Alors il existe r
1
<
1
et r
2
<
2
tel que r = r
1
r
2
. Les suites (a
n
r
n
1
) et
(b
n
r
n
2
) sont bornes. Il en est de mme de la suite (a
n
b
n
r
n
1
r
n
2
), cest--dire de la suite (a
n
b
n
r
n
).
Comme ceci est vrai pour tout r <
1

2
, le rayon de convergence recherch est au moins gal

2
. On na pas toujours galit. En eet, si la premire srie est

n
z
2n
et la deuxime srie
est

n
z
2n+1
, alors leur produit de Hadamard est la srie nulle, qui est de rayon de convergence
gal +, alors que dans ce cas
1

2
= 1 1 = 1.
Exercice 8 - Somme partielle - L2/Math Sp -
1. Remarquons que a
n
= S
n
S
n1
et donc que

n
a
n
z
n
=

n
S
n
z
n

n
S
n1
z
n
. Ainsi,

n
a
n
z
n
est la dirence de deux sries entires de rayon de convergence R, son rayon de
convergence vrie R.
2. La srie

n
S
n
z
n
est le produit de Cauchy des deux sries entires

n
a
n
z
n
et

n
z
n
. Ces
deux sries ont pour rayon de convergence respectif et 1. On en dduit que le rayon de
convergence R de la srie

n
S
n
z
n
vrie R inf(1, ).
Proprit de la somme
Exercice 9 - Zros, coecients et produit - L2/Math Sp -
1. Il sut de remarquer que a
n
=
f
(n)
(0)
n!
. Donc si f 0, f
n
(0) = 0 et a
n
= 0 galement.
2. On raisonne par contrapose et on suppose f = 0 et g = 0. Soit a
p
le premier coecient
non-nul de

n
a
n
z
n
et b
q
le premier coecient non-nul de

n
b
n
z
n
. Alors fg est aussi
somme dune srie entire

n
c
n
z
n
dans D(0, R), o c
n
est donn par
c
n
=
n

k=0
a
k
b
nk
.
Maintenant, tudions le coecient c
p+q
. On a
c
p+q
= a
p
b
q
+
p+q

k=p+1
a
k
b
p+qk
+
p+q

l=q+1
a
p+ql
b
l
.
http://www.bibmath.net 4
Exercices - Sries entires : corrig
Ainsi, c
p+q
= a
p
b
q
= 0. La srie

n
c
n
z
n
a au moins un coecient non-nul, donc fg = 0
daprs la premire question. On en dduit que si fg = 0, alors f = 0 et g = 0.
Exercice 10 - Comportement au bord dune srie entire - L2/Math Sp -
1. Il existe n
0
N tel que, pour tout n n
0
, on a
|a
n
| (l + 1)|b
n
|.
Soit maintenant r > 0. Alors, pour tout n n
0
, on a
|a
n
|r
n
(l + 1)|b
n
|r
n
et donc, si la suite (|b
n
|r
n
) est borne, la suite (|a
n
|r
n
) lest aussi. On conclut en utilisant
la dnition du rayon de convergence. Le rayon de convergence de

n
a
n
x
n
tant en eet
donn par
R = sup{r 0; (|a
n
|r
n
) est borne }.
2. Fixons N 1 tel que

N
n=0
b
n
2M. Posons ensuite P(x) =

N
n=0
b
n
x
n
. On a P(1) =
2M > M. Le rsultat demand est alors une consquence immdiate de la continuit de
P en 1.
3. Soit M > 0 et soient N, donns par la question prcdente. Alors, puisque b
n
est positif
pour tout n, on a, pour chaque x ]0, 1[,
g(x)
N

n=0
b
n
x
n
.
En particulier, pour tout x ]1 , 1[, on a
g(x) M.
Ceci prouve bien que g tend vers + en 1.
4. On crit simplement que
f(x) =
N

n=0
a
n
x
n
+
+

n=N+1
a
n
x
n
=
N

n=0
(a
n
b
n
)x
n
+
N

n=0
b
n
x
n
+
+

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

n=0
c
n
x
n
o on a pos P(x) =

N
n=0
(a
n
b
n
)x
n
et c
n
= b
n
si n N, c
n
= a
n
sinon.
5. On xe > 0 et on dcompose f comme prcdemment. Dune part, on a (l )b
n
c
n

(l + )b
n
et donc, multipliant par x
n
et sommant pour n = 0, . . . , +, on dduit que
(l )g(x)
+

n=0
c
n
x
n
(l + )g(x).
http://www.bibmath.net 5
Exercices - Sries entires : corrig
Dautre part, puisque P est un polynme, donc est continu en 1, et que g(x) +quand
x 1, on sait que
P(x)
g(x)
0 quand x 1.
On en dduit lexistence de > 0 tel que, pour tout x ]1 , 1[, on a

P(x)
g(x)
+.
Finalement, sommant toutes ces ingalits, on trouve que, pour tout x ]1 , 1[, on a
l 2
f(x)
g(x)
l + 2.
Ceci prouve que f/g tend vers l en 1.
Exercice 11 - tude dune srie entire - L2/Math Sp -
1. Puisque sin
_
1

n
_

+
1

n
, on dmontre par exemple par le critre de dAlembert que le
rayon de convergence vaut 1.
2. Par croissance de la fonction sinus entre 0 et /2, la suite
_
sin(1/

n)
_
est dcroissante,
et positive. Daprs le critre des sries alternes, la srie converge en 1. En 1, la srie

n
sin(1/

n) est divergente, par comparaison la srie de Riemann divergente

n
1/

n
(on compare bien des sries termes positifs).
3. (a) La srie

n
sin(1/

n), qui est termes positifs, est divergente. Il existe donc un


entier N 1 tel que
N

n=1
sin
_
1

n
_
M + 1.
De plus, cet entier N tant x, la fonction h : x

N
n=1
sin(1/

n)x
n
est continue
en 1. Ceci donne lexistence de > 0 tel que, pour tout x ]1 , 1],
h(x) h(1) 1.
Ceci est exactement le rsultat voulu.
(b) Puisquon a une srie termes positifs, la srie majore toutes ses sommes partielles.
Ainsi, pour tout M > 0, on peut trouver > 0 tel que, pour tout x ]1 , 1[,
f(x) M.
Ceci signie exactement que f tend vers + en 1

.
4. (a) Il est clair que, pour tout x [0, 1], on a

sin
_
1

n
_
sin
_
1

n 1
_
x
n

sin
_
1

n
_
sin
_
1

n 1
_

.
Daprs, par exemple, lingalit des accroissements nis,

sin
_
1

n
_
sin
_
1

n 1
_

n

1

n 1

C
n
3/2
.
La srie (numrique) de terme gnral n
3/2
tant convergente, ceci prouve la conver-
gence normale de la srie dnissant g sur [0, 1].
http://www.bibmath.net 6
Exercices - Sries entires : corrig
(b) Un calcul ais montre que
(1 x)f(x) = sin(1) + g(x).
Or, g tant continue en 1, on trouve
lim
x1
(1 x)f(x) = sin(1) + g(1) = sin(1) +
+

n=2
_
sin
_
1

n
_
sin
_
1

n 1
__
= 0.
Exercice 12 - Thorme dAbel - L2/Math Sp/Prpa Agreg -
1. On commence par couper la somme en n et par remarquer que
f(x)
+

k=0
a
k
=
n

k=0
a
k
(x
k
1) +
+

k=n+1
a
k
x
k
R
n
.
La cl ici est dcrire dans la deuxime somme a
k
= R
k1
R
k
(et deectuer ce quon
appelle une transformation dAbel). Pour m n + 1, il vient
m

k=n+1
a
k
x
k
=
m

k=n+1
(R
k1
R
k
)x
k
=
m

k=n+1
R
k
(x
k+1
x
k
) + R
n
x
n+1
R
m
x
m+1
.
Puisque (R
n
) tend vers 0, on peut faire tendre m vers et on trouve

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

k=n+1
R
k
x
k
+ R
n
x
n+1
,
ce qui donne bien
f(x)
+

k=0
a
k
=
n

k=0
a
k
(x
k
1) + (x 1)
+

k=n+1
R
k
x
k
+ R
n
(x
n+1
1).
2. On va dabord xer n pour que la deuxime somme soit petite, indpendamment de x
dans [0, 1[, puis on va faire tendre x vers 1. Soit donc > 0. Il existe n N tel que, pour
k n, on a |R
k
| . On en dduit, pour tout x [0, 1[,

(x 1)
+

k=n+1
R
k
x
k

|x 1|
+

k=N+1
x
k
.
On a de plus, toujours pour cette valeur de n,

R
n
(x
n+1
1)

2.
Cette valeur de n tant xe, la fonction x

n
k=0
a
k
(x
k
1) est continue en 0, de limite
nulle. Ainsi, on peut trouver > 0 tel que, pour tout x ]1 , 1[, on a

k=0
a
k
(x
k
1)

.
http://www.bibmath.net 7
Exercices - Sries entires : corrig
Finalement, en mettant tous les rsultats ensembles, on trouve quil existe > 0 tel que,
pour tout x ]1 , 1[, on a

f(x)
+

k=0
a
k
x
k

4.
Ceci est exactement le rsultat voulu.
Exercice 13 - Comportement linni - L2/Math Sp -
1. Puisque la suite (a
n
) est convergente, elle est borne, disons par M > 0. Mais, par appli-
cation du critre de dAlembert, la srie

n
Mx
n
/n! est convergente pour tout rel x. Le
rayon de convergence de la srie est donc gal +.
2. Soit > 0 et N 1 tel que, pour n N, on a |a
n
l| . On crit alors
+

n=0
a
n
n!
x
n
=
+

n=0
(a
n
l)
n!
x
n
+
+

n=0
l
n!
x
n
=
+

n=0
(a
n
l)
n!
x
n
+ le
x
.
On crit ensuite
+

n=0
(a
n
l)
n!
x
n
=
N1

n=0
(a
n
l)
n!
x
n
+
+

N
(a
n
l)
n!
x
n
:= f
1
(x) + f
2
(x).
Puisque f
1
est un polynme, on a lim
x+
e
x
f
1
(x) = 0. Il existe donc x
0
R tel que,
pour x x
0
,
e
x
|f
1
(x)| .
De plus, on a, pour x 0 :
e
x
|f
2
(x)|
+

N
|a
n
l|
n!
x
n

n!
x
n

n!
x
n
e
x
e
x
= .
Utilisant lingalit triangulaire on trouve, pour tout x x
0
,
|e
x
f(x) l| 2.
Ainsi, e
x
f(x) tend vers l lorsque x tend vers +.
Exercice 14 - Limite linni - L2/Math Sp -
http://www.bibmath.net 8
Exercices - Sries entires : corrig
1. On remarque dabord que la fonction se prolonge par continuit en 0. En eet, au voisinage
de 0, on a
1 e
t
4
t
2

t
4
t
2
= t
2
et la fonction se prolonge par 0 en 0. Au voisinage de +, la fonction est quivalente
1
t
2
qui est intgrable car 2>1. La fonction est donc intgrable sur ]0, +[.
2. La fonction t
1e
t
4
t
2
est dveloppable en srie entire en 0, de rayon de convergence
+, et on a pour tout x R
1 e
t
4
t
2
=
+

n=1
(1)
n+1
t
4n2
n!
.
Par intgration de cette srie entire, on trouve
f(x) =
_
x
0
+

n=1
(1)
n+1
t
4n2
n!
dt =
_
x
0
1 e
t
4
t
2
dt.
Ainsi, f admet une limite en + gale
_
+
0
1e
t
4
t
2
dt.
Exercice 15 - Formule de Cauchy et applications - L2/Math Sp -
1. Puisque r < R, il rsulte du lemme dAbel que la srie

n
|a
n
|r
n
est convergente. Puisque
|a
n
r
n
e
i(nk)
| = |a
n
|r
n
pour tout [0, 2], on en dduit la convergence normale de la
srie demande sur [0, 2].
2. On a
f(re
i
)e
ik
=

n
a
n
r
n
e
i(nk)
.
Puisque la srie converge normalement, donc uniformment sur [0, 2], on peut inverser
lintgration et la sommation et on trouve
_
2
0
f(re
i
)e
ik
d =

n
a
n
r
n
_
2
0
e
i(nk)
d.
La dernire intgrale est gale 0 si k = n, et 2 sinon. On en conclut que
_
2
0
f(re
i
)e
ik
d = 2a
k
r
k
.
3. Pour k 1, on a
a
k
=
1
2r
k
_
2
0
f(re
i
)e
ik
d.
Soit M > 0 tel que |f(z)| M pour tout z C. Alors on a
|a
k
|
1
2r
k
_
2
0
Md =
M
r
k
.
Faisant tendre r vers +, on trouve a
k
= 0 pour k 1, ce qui entrane que f est
constante.
http://www.bibmath.net 9
Exercices - Sries entires : corrig
Exercice 16 - Zros - Oral ENS -
On rgle dabord le cas o f est identiquement nulle. Dans le cas contraire, prouvons dabord
que A est ferm : si (z
n
) est une suite de zros de f, et si z
n
z, alors par continuit de f en
z on a aussi f(z) = 0, et donc z A. En outre, A est constitu uniquement de points isols,
cest--dire que si z
0
A, il existe un voisinage V de z
0
tel que V A = . En eet, puisque le
rayon de convergence du dveloppement en srie entire de f vaut +, f est aussi dveloppable
en srie entire au voisinage de z
0
. Ce dveloppement scrit :
f(z) = a
n
(z z
0
)
n
+ a
n+1
(z z
0
)
n+1
+ . . . ,
o on peut supposer a
n
= 0 (f est non identiquement nulle). On a alors :
f(z) = (z z
0
)
n
g(z),
o g est une fonction continue vriant g(z
0
) = a
n
= 0. Par continuit, g, donc f, ne sannule
pas dans un voisinage de z
0
, sauf en z
0
.
Dveloppement en sries entires
Exercice 17 - DSE en 0 - L2/Math Sp -
1. Il sut de remplacer t par 2x
2
dans le dveloppement en srie entire de ln(1 + t). On a
donc
ln(1 + 2x
2
) =
+

n=1
(1)
n+1
2
n
x
2n
n
.
La srie converge si |2x
2
| < 1. Son rayon de convergence est donc
1

2
.
2. Il sut de factoriser par a au dnominateur et dutiliser le dveloppement en srie entire
de
1
1u
. Il vient
1
a x
=
1
a

1
1
x
a
.
Pour |x/a| < 1 |x| < |a|, on obtient
1
a x
=
1
a

+

n=0
x
n
a
n
=
+

n=0
x
n
a
n+1
.
Le rayon de convergence de la srie obtenue est |a|.
3. On factorise par a :
ln(x + a) = ln
_
a(1 + x/a)
_
= ln(a) + ln(1 + x/a).
Pour |x/a| < 1, soit |x| < a, on en dduit
ln(x + a) = ln(a) +
+

n=1
(1)
n+1
x
n
na
n
.
Le rayon de convergence de la srie entire obtenue est a.
http://www.bibmath.net 10
Exercices - Sries entires : corrig
4. On ralise le produit de Cauchy des deux sries :
e
x
=
+

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

n=0
x
n
.
La deuxime srie ayant pour rayon de convergence 1, on en dduit que pour |x| < 1, on
a
e
x
1 x
=
+

n=0
a
n
x
n
avec a
n
=
n

k=0
1
k!
.
La srie converge pour |x| < 1 (rgle du produit de Cauchy), et comme a
n
1, le rayon
de convergence de la srie obtenue est exactement gal 1.
5. On a 1 + x 2x
2
= (1 x)(1 + 2x) donc la fonction est dnie sur I =] 1/2, 1[, et sur
cet intervalle, elle scrit
ln(1 + x 2x
2
) = ln(1 x) + ln(1 + 2x).
En utilisant le dveloppement en srie entire de ln(1 + u), on obtient
ln(1 x) =
+

n=1
x
n
n
(valable pour |x| < 1)
ln(1 + 2x) =
+

n=1
(1)
n1
(2x)
n
n
(valable pour |x| < 1/2). En eectuant la somme, on en dduit que
ln(1 + x 2x
2
) =
+

n=1
(1)
n1
2
n
1
n
x
n
.
La srie obtenue est de rayon de convergence 1/2.
6. On factorise par 4 pour se ramener (1 + t)

. On a donc
(4 + x
2
)
3/2
=
1
8
_
1 +
x
2
4
_
3/2
.
La fonction u (1 + u)
3/2
est dveloppable en srie entire sur ] 1, 1[ et
u ] 1, 1[, (1 + u)
3/2
= 1 +

n1
(1)
n
3.5.7. . . . .(2n + 1)
2.4.6. . . . .2n
u
n
.
Il en rsulte que pour tout x tel que
x
2
4
] 1, 1[, on a
_
1 +
x
2
4
_
3/2
= 1 +

n1
(1)
n
3.5.7. . . . .(2n + 1)
2.4.6. . . . .2n
x
2n
4
n
.
La srie entire obtenue a pour rayon de convergence ] 2, 2[.
http://www.bibmath.net 11
Exercices - Sries entires : corrig
Exercice 18 - DSE dune fraction rationnelle - L2/Math Sp -
On dcompose f en lments simples. Puisque le degr du numrateur est infrieur celui
du dnominateur, on sait quil existe a, b, c R tels que
f(x) =
a
x 2
+
b
(x 2)
2
+
c
2x 1
.
Si on multiplie les deux membres par 2x1 et quon fait x = 1/2, on trouve c =
1/4+1/23
9/4
= 1.
De mme, multipliant par (x 2)
2
, on trouve b = 1. Pour trouver a, on peut procder par
identication et on obtient a = 1. On dveloppe en srie entire chaque terme :
Pour x = 2,
1
x 2
=
1
2 x
=
1
2

1
1 x/2
.
Donc, pour |x|/2 < 1, on a
1
x 2
=
1
2

+

n=0
x
n
2
n
=
+

n=0

1
2
n+1
x
n
.
Le troisime terme se traite de la mme faon. Pour |x| < 1/2, on a
1
2x 1
=
1
1 2x
=
+

n=0
2
n
x
n
.
Pour le deuxime terme, il sut de remarquer que
1
(x2)
2
est la drive de
1
x2
. Ayant
dj obtenu le dveloppement en srie entire de cette fraction rationnelle, il sut de le
driver terme terme. On obtient donc :
1
(x 2)
2
=
+

n=1
n
2
n+1
x
n1
=
+

n=0
n + 1
2
n+1
x
n
.
On obtient donc que, pour tout x ] 1/2, 1/2[, on a
f(x) =
+

n=0
_
1
2
n+1
+
n + 1
2
n+2
+ 2
n
_
x
n
.
La srie entire obtenue est de rayon de convergence 1/2.
Exercice 19 - Rayon de convergence et somme - L2/Math Sp -
1. Posons u
n
=
n+2
n+1
. Puisque u
n
1, la suite |u
n
z
n
| est borne si |z| < 1 et tend vers +
si |z| > 1. On en dduit que le rayon de convergence de la srie tudie est gal 1. Pour
sommer la srie entire, if sut dcrire
n + 2
n + 1
= 1 +
1
n + 1
http://www.bibmath.net 12
Exercices - Sries entires : corrig
ce qui donne

n0
n + 2
n + 1
x
n
=

n0
x
n
+

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

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

ln(1 x)
x
.
2. Posons u
n
=
n
3
n!
. On a
u
n+1
u
n
=
1
n + 1

(n + 1)
3
n
3
0.
Par le critre de dAlembert, le rayon de convergence de la srie tudie est gal +.
Pour la sommer, on va exprimer n
3
en fonction de n(n 1)(n 2), n(n 1) et n pour se
ramener des sries drives. On a en eet :
n
3
= n(n 1)(n 2) + 3n(n 1) + n.
Utilisant que la drive de exp(x) est gale exp(x), on trouve

n0
n(n 1)(n 2)
n!
x
3n
= x
3

n0
n(n 1)(n 2)
n!
x
3n3
= x
3
exp(x).
De mme, on a

n0
n(n 1)
n!
x
3n
= x
2
exp(x) et

n0
n
n!
x
3n
= xexp(x).
On conclut que

n0
n
3
n!
x
n
= (x
3
+ 3x
2
+ x) exp(x).
3. Il est clair, daprs la rgle de dAlembert, que le rayon de convergence est gal 1. De
plus, si on pose f(x) =
1
1+x
, on a pour tout x ] 1, 1[,
f(x) =

n0
(1)
n
x
n
.
En drivant, il vient

x
(1 + x)
2
= xf

(x) =

n0
(1)
n
nx
n
,
soit nalement

n0
(1)
n+1
nx
2n+1
= x
_
x
2
(1 + x
2
)
2
_
=
x
3
(1 + x
2
)
2
.
Exercice 20 - Rayon de convergence et somme - L2/Math Sp -
http://www.bibmath.net 13
Exercices - Sries entires : corrig
1. Il est dabord clair que, pour tout n 1, on a 1 S
n
n. Donc, pour > 0, on a

n
S
n

n
n
n
.
Ainsi, si ]0, 1[, la suite (S
n

n
) est borne (on peut mme dire quelle tend vers 0), et
si > 1, la suite (S
n

n
) tend vers +. On en dduit que le rayon de convergence de S
vaut 1.
2. On dveloppe et on fait un changement dindices dans une des deux sommes :
(1 x)F(x) =
+

n=1
S
n
x
n

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

n=2
(S
n
S
n1
) x
n
= x +
+

n=2
x
n
n
=
+

n=1
x
n
n
= ln(1 x).
3. Ayant reconnu le dveloppement en srie entire de ln(1 x), on en dduit que
F(x) =
ln(1 x)
1 x
.
Exercice 21 - Mthode de lquation direntielle - L2/Math Sp -
1. On drive deux fois f :
f(t) = cos(arcsin t)
f

(t) =

1 t
2
sin(arcsin t)
f

(t) =

2
1 t
2
cos(arcsin t)
t

1 t
2
(1 t
2
)
sin(arcsin t).
On combine dabord f et f

pour liminer les termes en cos(arcsin t) puis on ajoute les


termes en f

ncessaires pour liminer les termes en sin(arcsin t). Au nal, on trouve


que f est solution de lquation direntielle suivante :
(1 t
2
)y

ty

+
2
y = 0.
2. On suppose quil existe une solution dveloppable en srie entire y(t) =

n0
a
n
t
n
sur
] R, R[ vriant y(0) = 1 et y

(0) = 0. y

est somme de

n0
(n + 1)a
n+1
t
n
et y

est
somme de

n0
(n + 1)(n + 2)a
n+2
t
n
. La fonction t (1 t
2
)y

ty

+
2
y est donc
somme de la srie entire

n0
_
(n + 1)(n + 1)a
n+2
+ (n(n 1) n +
2
)a
n
_
t
n
.
http://www.bibmath.net 14
Exercices - Sries entires : corrig
Ceci doit tre identiquement nul sur ] R, R[. Par unicit du dveloppement en srie
entire, on obtient, pour tout n N,
(n + 1)(n + 2)a
n+2
= (n
2

2
)a
n
.
Puisque a
0
= 1 (car y(0) = 1) et a
1
= y

(0) = 0, on en dduit que a


2p+1
= 0 pour tout p
et que
a
2p
=
(4)
p
(2p)!

2
_

2
p + 1
__

2
p + 2
_
. . .
_

2
+ p 1
_
.
Rciproquement, la srie entire

p0
(4)
p
(2p)!

2
_

2
p + 1
__

2
p + 2
_
. . .
_

2
+ p 1
_
x
2p
a un rayon de convergence gal 1 (on le vrie facilement par la rgle de dAlembert)
et est, en remontant les calculs, solution de lquation direntielle avec les conditions
initiales voulues.
3. Lquation direntielle (1 t
2
)y

ty

+
2
y = 0 est une quation direntielle linaire
du second ordre, et 1 t
2
= 0 sur ] 1, 1[. Il existe donc une unique solution cette
quation dnie sur ] 1, 1[ et vriant y(0) = 1 et y

(0) = 0. f et la srie entire trouve


la question prcdente conviennent. On en dduit quelles sont gales. Autrement dit, f
est dveloppable en srie entire, et
f(x) =

p0
(4)
p
(2p)!

2
_

2
p + 1
__

2
p + 2
_
. . .
_

2
+ p 1
_
x
2p
.
Exercice 22 - Mthode de lquation direntielle - L2/Math Sp -
1. On drive deux fois f :
f(x) = exp(arcsin x)
f

(x) =

1 x
2
exp(arcsin t)
f

(x) =
x
1 x
2
exp(arcsin x) +

2
1 x
2
exp(arcsin x).
On trouve que f est solution de lquation direntielle suivante :
(1 x
2
)y

xy

2
y = 0.
2. On suppose quil existe une solution dveloppable en srie entire y(t) =

n0
a
n
x
n
sur
] R, R[ vriant y(0) = 1 et y

(0) = . y

est somme de

n0
(n + 1)a
n+1
x
n
et y

est
somme de

n0
(n + 1)(n + 2)a
n+2
x
n
. La fonction t (1 x
2
)y

xy


2
y est donc
somme de la srie entire

n0
_
(n + 1)(n + 1)a
n+2
+ (n(n 1) n
2
)a
n
_
x
n
.
http://www.bibmath.net 15
Exercices - Sries entires : corrig
Ceci doit tre identiquement nul sur ] R, R[. Par unicit du dveloppement en srie
entire, on obtient, pour tout n N,
a
n+2
=
n
2
+
2
(n + 1)(n + 2)
a
n
.
De plus, a
0
= 1 (car y(0) = 1) et a
1
= y

(0) = . On trouve ainsi une unique suite


(a
n
) solution. On peut calculer expliciter a
n
, en distinguant les termes pairs et les termes
impairs (le calcul est laiss au lecteur). Rciproquement, la suite (a
n
) prcdente dnit
une srie entire de rayon de convergence 1 daprs le critre de dAlembert (puisque
a
n+2
/a
n
1). Cette srie entire est, en remontant les calculs, solution de lquation
direntielle avec les conditions initiales voulues.
3. Lquation direntielle (1 x
2
)y

xy

2
y = 0 est une quation direntielle linaire
du second ordre, et 1 x
2
= 0 sur ] 1, 1[. Il existe donc une unique solution cette
quation dnie sur ] 1, 1[ et vriant y(0) = 1 et y

(0) = . f et la srie entire trouve


la question prcdente conviennent. On en dduit quelles sont gales. Autrement dit, f
est dveloppable en srie entire, et f(x) =

n0
a
n
x
n
.
Exercice 23 - Fonction dnie par une intgrale - L2/Math Sp -
1. Utilisant lindication, on a
I
2n
=
1
(2i)
2n
_

0
(e
ix
e
ix
)
2n
dx
=
(1)
n
4
n
_

0
2n

k=0
(1)
k
_
2n
k
_
(e
ix
)
2nk
(e
ix
)
k
dx
=
(1)
n
4
n
2n

k=0
(1)
k
_
2n
k
_
_

0
e
(2n2k)ix
dx.
Or, cette dernire intgrale est nulle sauf si n = k, o elle vaut . Il vient
I
2n
=

_
2n
n
_
4
n
.
2. On sait, que pour tout u ] 1, 1[, on a
1

1 u
= (1 u)
1/2
=

n0
(1)
n
1
2

_

1
2
1
_

_

1
2
n + 1
_
n!
=

n0
(1)
n
(1) (3) (2n 1)
2
n
n!
u
n
=

n0
(2n)!
4
n
(n!)
2
u
n
.
http://www.bibmath.net 16
Exercices - Sries entires : corrig
3. Daprs la question prcdente, applique u = x
2
sin
2
] 1, 1[, on a
f(x) =
_

0

n0
1
4
n
_
2n
n
_
x
2n
sin
2n
t.
On va permuter la limite et lintgrale. Pour cela, on remarque que la srie est uniform-
ment convergente pour t [0, ] (on travaille avec x x). En eet, on a |xsin t| |x| < 1,
et on sait que la srie

n0
1
4
n
_
2n
n
_
|x|
2n
est convergente puisque le dveloppement en s-
rie entire de
1

1u
a pour rayon de convergence 1. On peut donc inverser la limite et
lintgrale, et on trouve :
f(x) =

n0
1
4
n
_
2n
n
_
x
2n
_

0
sin
2n
tdt
=

n0

16
n
__
2n
n
__
2
x
2n
.
La fonction f est bien dveloppable en srie entire sur ] 1, 1[.
Exercice 24 - Thorme de Bernstein - L3/Math Sp -
1. Il sagit simplement de la formule de Taylor avec reste intgral, aprs changement de
variables.
2. Tous les termes apparaissant dans la somme droite de lgalit sont positifs. On en
dduit
0

n
n!
f
(n)
(x) f(x + ).
Dautre part, par positivit de f

, f est croissante et donc f(x + ) f(2).


3. On revient la formule de Taylor avec reste intgrale. De la question prcdente, on sait
que

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

f(2)
pour tout u [0, 1] et tout x [, ]. On en dduit

f(x + ) f(x) f

(x)

n
n!
f
(n)
(x)

f(2)
_
1
0
(1 u)
n
du
f(2)
n + 1
.
Ceci tend vers 0, ce qui prouve le rsultat voulu.
Exercice 25 - Une fonction non dveloppable en srie entire - L2/Math Sp -
1. Posons u
n
(x) = e
n
e
n
2
ix
. Alors u
n
est C

sur R et pour tout k 0, pour tout x R et


tout n 0, on a
u
(k)
n
(x) = (in
2
)
k
e
n
e
n
2
ix
.
Puisque n
2k
e
n
= O(n
2
), il existe une constante M > 0 telle que
|u
(k)
n
(x)| Mn
2
.
http://www.bibmath.net 17
Exercices - Sries entires : corrig
La srie (numrique) qui apparait droite est convergente, on en dduit que la srie des
drives k-imes

n0
u
(k)
n
converge normalement (donc uniformment) sur R pour tout
k 0. Ainsi, f =

n
u
n
est de classe C

.
2. Daprs le calcul prcdent, on a |f
(k)
(0)| =

n0
n
2k
e
n
k
2k
e
k
. Or, k
k
k!, et donc
f
(k)
(0)
k!

k
k
k!
k
k
e
k
k
k
e
k
.
3. Si la fonction tait dveloppable en srie entire en 0, il existerait un intervalle non-vide I
centr en 0 tel que, pour tout x I, f serait somme de sa srie de Taylor en 0. Autrement
dit, on aurait
f(x) =

n0
f
(k)
(0)
k!
x
k
.
Mais pour x = 0, cette srie ne converge pas car son terme gnral ne tend pas vers 0. En
eet,

f
(k)
(0)
k!
x
k

k
k
(x/e)
k
+
(on peut aussi vrier la non-convergence par le critre de dAlembert). Ainsi, f nest pas
dveloppable en srie entire en 0.
Exercice 26 - Fonction dnie par une srie - Math Sp/L3/Agreg interne -
On utilise que
1
x+n
=
_
1
0
t
x+n1
dx. On a donc :
u(x) =
+

n=1
(1)
n
_
1
0
t
x+n1
dx.
On va permuter la srie et lintgrale. Pour cela, on pose
f
N
(t) =
N

n=1
(1)
n
t
x+n1
.
Alors :
f
N
(t) converge simplement vers

+
n=1
(1)
n
t
n1
t
x
=
t
x
1+t
= f(t).
|f
N
(t)| t
x
(car la somme partielle dune srie alterne est majore par le premier terme),
la fonction t
x
tant intgrable sur ]0, 1[ pour |x| < 1.
En appliquant le thorme de convergence domine, on obtient donc :
u(x) =
_
1
0
t
x
1 + t
dt.
On dveloppe ensuite t
x
= exp(ln t) =

+
n=0
x
n
(ln t)
n
n!
. On a donc :
u(x) =
_
1
0
_
+

n=0
(ln t)
n
n!(1 + t)
x
n
_
dt.
On permute, mais en sens contraire, lintgrale et la srie. Pour cela, on pose
g
N
(t) =
N

n=0
(ln t)
n
n!(1 + t)
x
n
.
http://www.bibmath.net 18
Exercices - Sries entires : corrig
g
N
converge simplement vers
t
x
1+t
.
On a la majoration suivante :
|g
N
(t)|
N

n=0
| ln t|
n
|x|
n
n!(1 + t)

n=0
| ln t|
n
|x|
n
n!(1 + t)

1
1 + t
exp(|x|| ln t|)

1
(1 + t)t
x
et cette fonction est intgrable si |x| < 1.
On peut donc appliquer le thorme de convergence domine et permuter la srie et lintgrale :
u(x) =
+

n=0
_

_
1
0
(ln t)
n
n!(1 + t)
dt
_
x
n
expression valable pour |x| < 1. u est donc dveloppable en srie entire au voisinage de 0.
Exercice 27 - Inverse - L2/Math Sp -
1. Daprs la formule du produit de Cauchy, on a
_
_

n0
a
n
z
n
_
_
_
_

n0
b
n
z
n
_
_
=

n0
c
n
z
n
= 1
avec c
n
=

n
k=0
a
k
b
nk
. La suite (b
n
) vrie donc la relation de rcurrence
_
b
0
=
1
a
0
b
n
=
1
a
0

n
k=1
a
k
b
nk
2. Soit R > 0 tel que |a
n
| R
n
pour n 1, et on pose C > 0 susamment grand pour que

k1
R
k
C
k
|a
0
|
On va prouver par rcurrence sur n que |b
n
|
C
n
|a
0
|
. Cest vrai au rang 0, et si cest vrai
jusquau rang n 1, alors
|b
n
|
1
|a
0
|
n

k=1
R
k
C
k
C
n
|a
0
|

C
n
|a
0
|

1
|a
0
|
+

k=1
R
k
C
k

C
n
|a
0
|
.
3. Soit g(z) =

n0
b
n
z
n
. Alors, par la formule sur le produit de Cauchy de deux sries
entires et par dnition de (b
n
), on a f(z)g(z) = 1 dans un voisinage de 0. Autrement
dit, g = 1/f dans un voisinage de 0. 1/f est donc dveloppable en srie entire en 0.
http://www.bibmath.net 19
Exercices - Sries entires : corrig
Utilisation dun dveloppement en sries entires
Exercice 28 - Rgularit - L2/Math Sp -
1. Pour x = 0, on a, daprs le dveloppement en srie entire de sin,
f(x) =
+

n=0
(1)
n
x
2n
(2n + 1)!
.
Cette galit est encore vraie en 0, puisque les deux membres sont alors gaux 0. Ainsi,
f concide sur R avec une srie entire de rayon de convergence +. f est donc de classe
C

.
2. Pour x 0, on a
g(x) =
+

n=0
(

x)
2n
(2n)!
=
+

n=0
x
n
(2n)!
.
Pour x < 0, on a :
g(x) =
+

n=0
(1)
n
(

x)
2n
(2n)!
=
+

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

n=0
x
n
(2n)!
.
Ainsi, g concide sur R avec la srie entire

+
n=0
x
n
(2n)!
: elle est donc de classe C

.
3. Pour x = 0, on a
h(x) =
x sin x
xsin x
.
On dveloppe en srie entire le numrateur et le dnominateur, en mettant en facteur le
premier terme. On trouve
h(x) =
x
2

+
p=1
(1)
p+1 x
2p1
(2p+1)!
x
2

+
p=0
(1)
p
x
2p
(2p+1)!
.
Posant u(x) =

+
p=1
(1)
p+1 x
2p1
(2p+1)!
et v(x) =

+
p=0
(1)
p x
2p
(2p+1)!
, on voit que pour x = 0,
h(x) =
u(x)
v(x)
. Or, u et v sont de classe C

(ce sont des sommes de srie entire), v ne


sannule pas en 0, et de plus u(0)/v(0) = 0. Ainsi, h dnit bien une fonction de classe
C

.
Exercice 29 - Comparaison de deux fonctions - L2/Math Sp -
Dveloppons les deux fonctions en srie entire. On a
ch(x) =
+

k=0
x
2k
(2k)!
et e
x
2
/2
=

k0
x
2k
2
k
k!
.
Puisque x
2k
0, le rsultat sera dmontr si on prouve que, pour tout k 0, on a (2k)! 2
k
k!.
Cest vrai pour k = 0, et pour k 1, on crit simplement :
(2k)!
2
k
k!
=
2k (2k 1) (k + 1)
2 2 2
.
http://www.bibmath.net 20
Exercices - Sries entires : corrig
Comme k + 1 2, k + 2 2 . . . , on obtient bien le rsultat voulu.
Exercice 30 - Calcul de la somme dune srie - L2/Math Sp -
1. Posons u
n
=
(1)
n+1
n(2n+1)
x
2n+1
. Alors
|u
n+1
|
|u
n
|
=
n(2n+1)x
2
(n+1)(2n+3)
|x|
2
. Ainsi, daprs la rgle de
dAlembert, la srie entire est convergente pour |x| < 1 et divergente pour |x| > 1.
Son rayon de convergence est donc 1. De plus, pour x = 1, la srie

n1
(1)
n+1
n(2n+1)
est
(absolument) convergente (on peut aussi prouver quelle converge daprs le critre des
sries alternes). De mme, pour x = 1, la srie

n1
1
n(2n+1)
est convergente. f est
donc dnie sur [1, 1].
2. La thorie des sries entires nous dit que f est continue sur son intervalle ouvert de
convergence, cest--dire sur ] 1, 1[. Pour prouver la continuit sur [1, 1], on va prouver
quil y a convergence normale sur tout lintervalle [1, 1]. En eet, pour tout x [1, 1],
on a

(1)
n+1
x
n
n(2n + 1)

1
n(2n + 1)
et le membre de droite de lingalit est le terme gnral dune srie numrique convergente
(insistons sur le fait quil ne dpend pas de x). La srie est donc normalement convergente
sur [1, 1]. Comme chaque fonction x
(1)
n+1
x
n
n(2n+1)
est continue sur [1, 1], on en dduit
que f est continue sur [1, 1].
3. La srie drive est, pour |x| < 1,
f

(x) =
+

n=1
(1)
n+1
n
x
2n
= ln(1 + x
2
).
En eet, pour x ] 1, 1[, on a 0 x
2
< 1 et on est bien dans le domaine de validit
du dveloppement en srie entire de ln(1 + u). Puisque f(0) = 0, on en dduit f(x) =
_
x
0
ln(1 + t
2
)dt. On calcule cette intgrale en eectuant une intgration par parties :
f(x) =
_
x
0
1 ln(1 + t
2
)dt
=
_
t
1 + t
2
_
x
0

_
x
0
2t
2
1 + t
2
dt
= xln(1 + x
2
) 2
_
x
0
t
2
+ 1 1
t
2
+ 1
dt
= xln(1 + x
2
) 2
_
x
0
_
1
1
t
2
+ 1
_
dt
= xln(1 + x
2
) 2 [t arctan(t)]
x
0
= xln(1 + x
2
) 2x + 2 arctan x.
4. Lgalit f(x) = xln(1 + x
2
) 2x + 2 arctan x nest valable que pour x ] 1, 1[. Mais
le membre de droite comme celui de gauche sont continus en 1. Par continuit, lgalit
prcdente reste vraie sur [0, 1] tout entier. On conclut que
+

n=1
(1)
n+1
n(2n + 1)
= f(1) = ln(2) 2 +

2
.
http://www.bibmath.net 21
Exercices - Sries entires : corrig
Exercice 31 - Calcul de la somme dune srie - L2/Math Sp -
1. Le rayon de convergence de la srie entire est 1. De plus, puisque

(1)
n
n(n 1)

C
n
2
on a aussi convergence en 1 et 1. Lintervalle de convergence est donc [1, 1].
2. Les thormes usuels concernant les sries entires ne donnent la continuit que sur linter-
valle ouvert ] 1, 1[. Si on veut obtenir la continuit sur lintervalle ferm, il faut aller plus
loin! Pour cela, on va montrer la convergence normale de la srie sur lintervalle [1, 1].
En eet, pour tout x [1, 1] et tout n 2, on a

(1)
n
x
n
n(n 1)

C
n
2
et cette dernire srie est convergente. Puisque chaque fonction x
(1)
n
n(n1)
x
n
est continue
sur [1, 1], on en dduit la continuit de f sur [1, 1].
3. f est drivable sur ] 1, 1[ et on a
f

(x) =
+

n=2
(1)
n
n 1
x
n1
= ln(1 + x).
Par intgration, pour tout x ] 1, 1[, on a
f(x) = (1 + x) ln(1 + x) x + C.
La constante C se calcule en remarquant que f(0) = 0 = C.
4. Lgalit prcdente est, a priori, vraie sur ]1, 1[, mais puisque f et x (1+x) ln(1+x)x
sont continues en 1, elle est aussi vraie en 1. On en dduit

n1
(1)
n
n(n 1)
= f(1) = 2 ln(2) 1.
Exercice 32 - Calcul de la somme dune srie - L2/Math Sp -
1. (a) Il est facile de vrier que 1 + j + j
2
= 0, que 1 + j
2
+ j
4
= 0 et que j
3
= 1. On en
dduit que
1 + j
k
+ j
2k
= 1 + j
r
+ j
2r
o r est le reste de k modulo 3. On en dduit que 1 + j
k
+ j
2k
= 0 sauf si k est
multiple de 3. Dans ce cas, la somme vaut 3. Il vient alors
e
x
+ e
jx
+ e
j
2
x
=

k0
1 + j
k
+ j
2k
k!
x
k
= 3

n0
x
3n
(3n)!
.
http://www.bibmath.net 22
Exercices - Sries entires : corrig
(b) crivant
e
jx
= exp
_
(1 + i

3)x/2) = e
x/2
_
cos(x

3/2) + i sin(x

3/2)
_
et
e
j
2
x
= exp
_
(1 i

3)x/2) = e
x/2
_
cos(x

3/2) i sin(x

3/2)
_
on en dduit
S(x) =
e
x
+ 2e
x/2
cos(x

3/2)
3
.
La somme recherche est donc
S(1) =
e + 2e
1/2
cos(

3/2)
3
.
2. (a) On a
S

(x) =

n1
x
3n1
(3n 1)!
S

(x) =

n1
x
3n2
(3n 2)!
S
(3)
(x) =

n1
x
3n3
(3n 3)!
=

n0
x
3n
(3n)!
= S(x).
Ainsi, S est solution de lquation y
(3)
y = 0.
(b) Lquation prcdente est une quation direntielle linaire coecients constants.
Son quation caractristique est r
3
1 = 0, qui admet pour racines 1, j, j
2
. Toute
solution scrit donc y(x) = ae
x
+ be
jx
+ ce
j
2
x
.
(c) S est la solution de lquation direntielle prcdente vriant S(0) = 1, S

(0) =
S

(0) = 0. On obtient le systme


_

_
a + b + c = 1
a + bj + cj
2
= 0
a + bj
2
+ cj = 0
do on tire a = b = c = 1/3. On a donc
S(x) =
1
3
_
e
x
+ e
jx
+ e
j
2
x
_
=
e
x
3
+
2
3
e
x/2
cos
_
3x
2
_
.
Exercice 33 - Une suite rcurrente - L2/Math Sp -
1. On introduit la srie entire f(x) =

n0
u
n
x
n
. Supposons que son rayon de convergence
soit r > 0. Alors, faisant le produit de Cauchy des deux sries, on a, pour tout x ] r, r[,
f
2
(x) =

n0
v
n
x
n
avec v
n
=
n

k=0
u
k
u
nk
= u
n+1
.
http://www.bibmath.net 23
Exercices - Sries entires : corrig
Autrement dit, on a
f
2
(x) =

n0
u
n+1
x
n
=
f(x) f(0)
x
.
Pour chaque x ] r, r[, f(x) vrie donc lquation
xf
2
(x) f(x) + 1 = 0.
2. Il en rsulte que, pour chaque x ] r, r[, on doit avoir
f(x) =
1

1 4x
2x
ou f(x) =
1 +

1 4x
2x
.
Or, f doit tre continue en 0 avec f(0) = 1. Sil existe une suite (x
n
) tendant vers 0 pour
laquelle f(x
n
) =
1+

14x
n
2x
n
, alors |f(x
n
)| +, ce qui est contradictoire. Donc il existe
> 0 tel que
f(x) =
1

1 4x
2x
pour tout x ] , [.
3. Rciproquement, soit f(x) =
1

14x
2x
si x = 0, f(0) = 1. On va prouver que f est
dveloppable en srie entire au voisinage de 0. En eet, pour tout x ] 1/4, 1/4[, on a

1 4x = 1 2
+

n=1
(2n 2)!
(n 1)!
x
n
n!
.
On en dduit que, pour tout x ] 1/4, 1/4[, on a
f(x) =
+

n=0
(2n)!
n!(n + 1)!
x
n
.
Puisque f vrie xf
2
(x) f(x) + 1 = 0, le calcul eectu la premire question (ie le
dveloppement en srie entire de xf
2
f +1) prouve que, en posant a
n
=
(2n)!
n!(n+1)!
, a
0
= 1
et a
n+1
=

n
k=0
a
k
a
nk
. On en dduit que, pour tout n N, on a
u
n
= a
n
=
(2n)!
n!(n + 1)!
.
Exercice 34 - Une galit intgrale/sries - Math Sp -
Remarquons dabord que lintgrale est bien dnie. En eet, la fonction peut tre prolonge
par continuit en 0 et en 1. Par exemple, en 0, ln(x) ln(1 x)
0
xln(x) et cette dernire
fonction tend vers 0 quand x tend vers 0. Dautre part, on a
_
1
0
ln(x) ln(1 x)dx =
_
1
0
+

n=1

x
n
n
ln(x)dx.
On pose f
N
(x) =

N
n=1

x
n
n
ln x. Alors f
N
converge simplement sur ]0, 1[ vers ln(x) ln(1 x).
Dautre part, f
N
f
N+1
. Par le thorme de convergence monotone, on obtient
_
1
0
ln(x) ln(1 x)dx =
+

n=1
_
1
0

x
n
n
ln xdx.
http://www.bibmath.net 24
Exercices - Sries entires : corrig
On calcule cette dernire intgrale trs facilement en intgrant par parties.
Exercice 35 - Nombre de drangements - L2/Math Sp -
1. Puisque {1, 2, 3} a trois lments, il existe exactement 6 bijections direntes de {1, 2, 3}
dans lui-mme :
lidentit ;
les 3 transpositions (1 2), (1 3), (2 3).
les 2 cycles (1 2 3) et (1 3 2).
Lidentit a 3 points xes, les transpositions en ont 1 et les cycles nen ont pas. On en
dduit que
D
3,0
= 1, D
3,1
= 3, D
3,2
= 0 et D
3,3
= 1.
2. Si on note A
k
lensemble des permutations de {1, . . . , n} ayant k point xes, alors la famille
A
0
, . . . , A
n
forme une partition de lensemble des permutations de {1, . . . , n}. Ainsi, on a
bien n! =

n
k=0
card(A
k
) =

n
k=0
D
n,k
.
3. Pour chaque permutation ayant k points xes, il y a

_
n
k
_
choix possibles de ces k points xes (choisir k lments parmi n) ;
ce choix eectu, la permutation agit comme une permutation sans point xe sur les
n k lments restants. Il y a D
nk,0
telles permutations.
Le nombre de permutations ayant k points xes vaut donc
_
n
k
_
D
nk,0
.
4. Clairement, on a 0 d
n
n!, soit
|d
n
||z|
n
n!
|z|
n
. La srie converge absolument si |z| < 1,
son rayon de convergence est au moins gal 1.
5. Puisque les sries entires dnissant expx et f(x) ont un rayon de convergence suprieur
ou gal 1, leur produit de Cauchy est absolument convergent pour |x| < 1. De plus, on
a
(expx)f(x) =
+

n=0
b
n
x
n
avec b
n
=
n

k=0
d
nk
(n k)!

1
n!
.
Mais
n

k=0
d
k
k!

1
(n k)!
=
1
n!
n

k=0
_
n
k
_
d
nk
=
1
n!
n

k=0
D
n,k
= 1.
On obtient
(expx)f(x) =
+

n=0
x
n
=
1
1 x
.
6. De lgalit (expx)f(x) =
1
1x
, on tire
f(x) =
e
x
1 x
.
On ralise le produit de Cauchy des deux sries entires obtenues droite et on trouve
f(x) =
+

n=0
c
n
x
n
avec c
n
=
n

k=0
(1)
k
k!
.
Par identication, on obtient bien d
n
= n!

n
k=0
(1)
k
k!
.
http://www.bibmath.net 25
Exercices - Sries entires : corrig
7. La probabilit recherche est p
n
= d
n
/n! =

n
k=0
(1)
k
k!
. Utilisant le dveloppement en
srie entire de exp(x), on trouve que cette probabilit converge vers exp(1) = 1/e.
Exercice 36 - Nombre dinvolutions - L2/Math Sp -
1. Considrons s une involution de {1, . . . , n + 1}. Ou bien elle xe n + 1. Dans ce cas, sa
restriction {1, . . . , n} est une involution de cet ensemble, et il y a I
n
telles involutions.
On bien elle envoie n + 1 sur un entier k de {1, . . . , n}. Dans ce cas, s(k) = n + 1 et s
agit comme une involution sur lensemble des n 1 entiers restants. Il y a n choix pour
lentier k et I
n1
choix pour linvolution rsultante. On en dduit que
I
n+1
= I
n
nI
n1
.
2. Une involution est ncessaire bijective. Donc I
n
n! ce qui prouve bien que le rayon de
convergence de la srie associe S est suprieur ou gal 1.
3. On a
(1 + x)S(x) =

n0
I
n
n!
x
n
+

n1
I
n1
(n 1)!
x
n
= 1 +

n1
I
n
nI
n1
n!
x
n
.
En utilisant le rsultat de la premire question, on obtient
(1 + x)S(x) = 1 +

n1
I
n+1
n!
x
n
= S

(x).
4. La rsolution de lquation direntielle donne
S(x) = e
x+
x
2
2
= e
x
e
x
2
2
.
On dveloppe alors chaque exponentielle en srie entire, et on ralise le produit de Cauchy
de ces deux sries entires. Aprs quelques calculs laborieux, on trouve
I
2p
=
p

k=0
(2p)!
2
(pk)
(p k)!(2k)!
et I
2p+1
=
p

k=0
(2p + 1)!
2
(pk)
(p k)!(2k + 1)!
.
Sries entires et quations diffrentielles
Exercice 37 - Une quation direntielle dtaille - L2/Math Sp -
1. Soit r > 0 le rayon de convergence de f. On a, pour tout x ] r, r[,
f(x) =

n0
a
n
x
n
xf

(x) = x
+

n=1
na
n
x
n1
=
+

n=0
na
n
x
n
f

(x) =
+

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

n=0
(n + 2)(n + 1)a
n+2
x
n
.
http://www.bibmath.net 26
Exercices - Sries entires : corrig
On en dduit que, pour tout x ] r, r[, on a
f

(x) + xf

(x) + f(x) =
+

n=0
b
n
x
n
avec
b
n
= (n + 2)(n + 1)a
n+2
+ (n + 1)a
n
.
Or, f

+xf

+f = 1. Par unicit du dveloppement en srie entire, on obtient b


0
= 1 et
b
n
= 0 pour tout n 1. Ceci nous donne les relations
a
2
= (1 a
0
) et a
n+2
=
a
n
n + 2
pour n 1.
2. On sait en outre que a
0
= y(0) = 0 et que a
1
= y

(0) = 0. On en dduit que tous les


termes impairs a
2n+1
sont nuls, puis que, pour les termes pairs
a
2n
=
_
1
2n
_

_
1
2n 2
_

_
1
4
_
a
2
=
(1)
n+1
2 4 2n
.
On factorise tous les termes qui sont pairs au dnominateur, et on trouve
a
2n
=
(1)
n+1
2
n
n!
valable pour n 1. Rciproquement, posons
f(x) =

n1
(1)
n+1
2
n
n!
x
2n
.
La srie entire qui apparait est de rayon de convergence gal +, la fonction f ainsi
dnie est donc de classe C

et, remontant les calculs, elle est solution de lquation


direntielle initiale.
3. De plus, on peut lidentier une fonction classique. En eet,
f(x) =

n1
1
n!
_
x
2
2
_
n
= 1 exp(x
2
/2).
Exercice 38 - Solutions dveloppables en srie entire dune quation direntielle
- L2/Math Sp -
On procde par analyse-synthse. On suppose quil existe une solution dveloppable en srie
entire y(x) =

+
n=0
a
n
x
n
, de rayon de convergence R > 0. On introduit ce dveloppement dans
lquation :
x
2
(1 x)

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

n1
na
n
x
n1
+

n0
a
n
x
n
= 0
http://www.bibmath.net 27
Exercices - Sries entires : corrig
pour tout x ] R, R[, soit encore

n2
n(n 1)a
n
x
n

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

n1
na
n
x
n

n1
na
n
x
n+1
+

n0
a
n
x
n
= 0.
On rindexe les deuxime et quatrime somme de sorte dobtenir lintrieur le terme x
n
:

n2
n(n 1)a
n
x
n

n3
(n 1)(n 2)a
n1
x
n

n1
na
n
x
n

n2
(n 1)a
n1
x
n
+

n0
a
n
x
n
,
ceci tant identiquement nul sur ] R, R[. Sachant quune srie entire est nulle si et seulement
si tous ses coecients sont nuls, on peut identier. Le terme en x
0
donne a
0
= 0, celui en x
1
donne 0 = 0, celui en x
2
donne 2a
2
2a
2
a
1
+ a
2
= 0, soit a
2
= a
1
. Pour n 3, , on obtient
_
n(n 1) n + 1
_
a
n
+
_
(n 1)(n 2) (n 1)
_
a
n1
= 0
i.e. a
n
= a
n1
pour tout n 3. Toute solution dveloppable en srie entire scrit donc :
y(x) = a

n1
x
n
=
ax
1 x
, a R.
Rciproquement (cest la partie synthse du raisonnement), on vrie aisment, en les introdui-
sant dans lquation direntielle, que les fonctions x
ax
1x
sont solution de lquation.
Une fois cette solution trouve, on peut alors rsoudre compltement lquation direntielle en
utilisant la mthode dabaissement de lordre.
Exercice 39 - Toutes les solutions - L2/Math Sp -
1. Il faut tudier quelles conditions il faut mettre sur a, b, c et d pour que ceci dnisse une
solution de classe C
2
sur R. La continuit de f en 0 entrane que a = c puisque
a = lim
x0
+
y(x) et c = lim
x0

y(x).
De plus, on a
f

(x) = 2axsin(x
2
) + 2bxcos(x
2
) si x > 0.
f

(x) = 2a sin(x
2
) 4ax
2
cos(x
2
) + 2b cos(x
2
) 4bx
2
sin(x
2
) si x > 0.
De mme, on a
f

(x) = 2a sin(x
2
) 4ax
2
cos(x
2
) + 2d cos(x
2
) 4dx
2
sin(x
2
) si x < 0.
Remarquons que
b = lim
x0
+
f

(x) et d = lim
x0

(x).
Pour que f

soit continue en 0, il est ncessaire que b = d. Rciproquement la fonction


x a cos(x
2
) + b sin(x
2
) dnit bien une fonction de classe C
2
sur R.
http://www.bibmath.net 28
Exercices - Sries entires : corrig
2. Soit y(x) =

n0
a
n
x
n
une srie entire solution de (E) de rayon de convergence R > 0.
On introduit ce dveloppement en srie entire dans (E). Aprs drivation terme terme
de la srie, et rindexation des sries, on obtient :
xy

+ 4x
3
y = a
1
+ 3a
3
x
2
+
+

n=3
_
a
n+1
(n 1)(n + 1) + 4a
n3
_
x
n
= 0
pour tout x ] R, R[. Lunicit du dveloppement en srie entire entrane que a
1
=
a
3
= 0, tandis que, pour tout n 3,
a
n+1
=
4
(n 1)(n + 1)
a
n3
.
En rindexant, on trouve, pour tout n 0,
a
n+4
=
4
(n + 2)(n + 4)
a
n
.
3. Daprs la relation de rcurrence prcdente, et puisque a
1
et a
3
sont nuls, on trouve que
a
4p+1
= 0 et a
4p+3
= 0 pour tout p 0.
4. La relation de rcurrence nous dit que
a
4p
=
4
(4p)(4p 2)
a
4(p1)
=
1
2p(2p 1)
a
4(p1)
.
On prouve alors aisment par rcurrence que
a
4p
=
(1)
p
(2p)!
a
0
.
De mme, on obtient
a
4p+2
=
(1)
p
(2p + 1)!
a
2
.
5. En appliquant la rgle de dAlembert, ou en remarquant que
R
p
(2p)!
tend vers 0 lorsque p
tend vers linni, pour tout R R, on obtient que la srie entire obtenue a pour rayon
de convergence +. De plus, on a
y(x) = a
0

p0
(1)
p
(2p)!
x
4p
+ a
2

p0
(1)
p
(2p + 1)!
x
4p+2
= a
0
cos(x
2
) + a
2
sin(x
2
).
6. Puisque la srie entire obtenue a pour rayon de convergence +, sa somme est solution
de (E) sur R. De plus, sur chaque intervalle ne contenant pas 0, on sait que lensemble
des solutions de (E) est un espace vectoriel de dimension 2. Il est donc ncessairement
engendr par cos(x
2
) et sin(x
2
). Considrons maintenant une solution y de (E) sur R. Elle
est solution sur ]0, +[, et donc il existe deux constantes a
0
et a
2
telles que
y(x) = a
0
cos(x
2
) + a
2
sin(x
2
) pour x > 0.
http://www.bibmath.net 29
Exercices - Sries entires : corrig
Elle est solution sur ] , 0[ et donc il existe deux constantes b
0
et b
2
telles que
y(x) = b
0
cos(x
2
) + b
2
sin(x
2
) pour x < 0.
Daprs la question prliminaire, y va se prolonger en une fonction de classe C
2
si et
seulement si a
0
= b
0
et a
2
= b
2
. Ainsi, lensemble des solutions sur R de lquation est
lespace vectoriel de dimension 2 engendr par les fonctions x a cos(x
2
) + b sin(x
2
),
a, b R.
Exercice 40 - Sries entires et quations direntielles - abaissement de lordre
- L2/Math Sp -
1. On cherche une solution dveloppable en srie entire, qui scrit donc y(x) =

n0
a
n
x
n
.
On introduit ceci dans lquation

n2
n(n 1)a
n
x
n1
+
+

n=1
2na
n
x
n1

n0
a
n
x
n+1
= 0.
On rindexe la troisime somme pour retrouver une somme faisant apparaitre un terme
en x
n1
. On trouve

n2
n(n 1)a
n
x
n1
+
+

n=1
2na
n
x
n1

n2
a
n2
x
n1
= 0.
On en dduit a
1
= 0, puis, pour n 2,
n(n + 1)a
n
= a
n2
.
On en dduit que, pour tout entier p, a
2p+1
= 0 alors
a
2p
=
a
2p2
(2p + 1)2p
= =
a
0
(2p + 1)!
.
Comme la srie entire

p0
x
2p
(2p+1)!
a pour rayon de convergence +, on trouve que la
fonction
f(x) =

p0
x
2p
(2p + 1)!
=
sinh(x)
x
est solution sur R de lquation.
On rsoud alors lquation sur ]0, +[ ou sur ] , 0[ (o on sait que lensemble des
solutions est un espace vectoriel de dimension 2) par la mthode dabaissement de lordre.
Pour cela, on pose y(x) = f(x)z(x). Sachant que f est solution de lquation, on trouve
que y est aussi solution si et seulement si z vrie lquation direntielle
2xf

+ xfz

+ 2fz

= 0.
Cest une quation du premier ordre en z

, que lon sait rsoudre. Remplaant f par sa


valeur, on trouve
2 cosh xz

+ sinh xz

= 0 =
z

= 2
cosh x
sinh x
.
http://www.bibmath.net 30
Exercices - Sries entires : corrig
Il vient
z

=

sinh
2
x
puis
z =
cosh x
sinh x
+ .
Finalement, toute solution sur ]0, +[ scrit sous la forme
y(x) =
sinh x
x
+ cosh xx.
Si on cherche maintenant les solutions sur R tout entier, il faut procder par recollement.
Si y est solution sur R, il existe des constantes
1
,
2
,
1
,
2
telles que
y(x) =
_

1
sinh x
x
+
1
cosh x
x
si x > 0

2
sinh x
x
+
2
cosh x
x
si x < 0
En tudiant la limite de cosh x/x en zro, et sachant que y doit tre continu en 0, on voit
que
1
=
2
= 0. Dautre part, puisque sinh x/x 1 en 0, la continuit de y en 0 impose
alors que
1
= lim
x0
+ y(x) = lim
x0
y(x) =
2
. Ainsi, les solutions sur R de lquation
sont les fonctions x
sinh x
x
.
2. On recopie la mme mthode, en posant y(x) =

n0
a
n
x
n
. Si on introduit dans lqua-
tion, on trouve

n2
n(n 1)a
n
x
n

n2
n(n 1)a
n
x
n1
+ 3

n1
na
n
x
n
+

n0
a
n
x
n
= 0.
On change les indices dans la deuxime somme pour trouver :

n2
n(n 1)a
n
x
n

n1
n(n + 1)a
n+1
x
n
+ 3

n1
na
n
x
n
+

n0
a
n
x
n
= 0.
Par identication, on trouve a
0
= 0, a
2
= 2a
1
, puis, pour n 2 :
a
n+1
=
n + 1
n
a
n
.
Ainsi, par rcurrence, on trouve a
n
= na
1
. Puisque la srie entire

n1
nx
n
a pour rayon
de convergence 1, on a prouv que la fonction
f(x) =

n1
nx
n
=
x
(1 x)
2
est solution de lquation sur ] 1, 1[ (en ralit, sur ] , 1[).
On va ensuite rsoudre lquation sur ]0, 1[, par la mthode dabaissement de lordre. Pour
cela, on pose y(x) = f(x)z(x). Sachant que f est solution de lquation, on trouve que y
est aussi solution si et seulement si z vrie lquation direntielle
2x(x 1)f

+ x(x 1)fz

+ 3xfz

= 0.
http://www.bibmath.net 31
Exercices - Sries entires : corrig
Cest une quation du premier ordre en z

, que lon sait rsoudre. Remplaant f par sa


valeur, simpliant par x, et aprs regroupement, on trouve
z

(x 2) = x(1 x)z

.
On rcrit cette quation sous la forme
z

=
x 2
x(1 x)
=
2
x

1
1 x
.
Ceci sintgre en
z

=
1 x
x
2
=
_
1
x
2

1
x
_
.
On intgre encore une fois pour trouver z. Quitte changer en , il vient :
z =
_
1
x
+ ln x
_
+ .
Les solutions de lquation sur ]0, 1[ sont donc les fonctions
y(x) =
x + (1 + xln x)
(1 x)
2
.
Si on cherche les solutions sur R, il faut au moins que la fonction ait une limite en 1.
Faisons le dveloppement limit du numrateur, en posant x = 1 h. Il vient
N(x) = (1 h) +
_
1 + (1 h) ln(1 h)
_
= h +
_
1 + (1 h)(h h
2
/2 + o(h
2
))
_
= h +
_
1 h + h
2
/2 + o(h
2
)
_
= ( + ) ( + )h + h
2
/2 + o(h
2
)
Puisque le dnominateur est h
2
, la fonction admet une limite en 1 si et seulement si
= . Dautre part, il faut que la fonction soit drivable en 0. Mais, du fait de la
prsence du terme xln x, dont le taux daccroissement en 0 tend vers , la fonction ne
peut tre drivable que si = 0. Ainsi, la seule solution sur R est la fonction nulle !
Exercice 41 - Sries entires et quations direntielles - changement de variables
- Math Sp/L2/Agreg interne -
1. Soit y(x) =

+
i=0
a
i
x
i
une solution de lquation dveloppable en srie entire. Alors, on
a
2xy

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

i=2
_
(i + 1)(2i 1)a
i+1
+ a
i2
_
x
i
= 0.
Par unicit du dveloppement en srie entire, on trouve a
1
= a
2
= 0 et la formule de
rcurrence
a
i+1
=
1
(i + 1)(2i 1)
a
i2
.
http://www.bibmath.net 32
Exercices - Sries entires : corrig
On a donc, pour tout k dans N, a
3k+1
= a
3k+2
= 0 et
a
3k
=
1
3k(6k 3)
a
3k3
=
1
9k(2k 1)
a
3k3
.
Par rcurrence,
a
3k
=
(1)
k
9
k
k!(2k 1) (2k 3) 3 1
a
0
=
(1)
k
2
k
k!
9
k
k!(2k)!
a
0
=
(1)
k
2
k
9
k
(2k)!
a
0
.
Rciproquement, pour tout a
0
dans R, la srie entire
y(x) = a
0
+

k=0
(1)
k
2
k
9
k
(2k)!
x
3k
a pour rayon de convergence + et est solution de lquation direntielle.
Si on cherche maintenant identier une fonction classique, le terme
x
3k
(2k)!
nous met sur
la voie. Cela ressemble au terme gnral de cos(x), ou plutt de cos(x
3/2
). Comme ceci
nest dni que pour x > 0, il faut aussi considrer cosh
_
(x)
3/2
_
pour x < 0. Avec une
homothtie pour obtenir
2
k
9
k
, on trouve nalement que
y(x) =
_
_
_
a
0
cos
_
2
3
x
3/2
_
si x 0
a
0
cosh
_
2
3
(x)
3/2
_
si x 0.
2. La forme de la solution trouve prcdemment nous conduit au changement de variables
t =

2
3
x
3/2
pour x > 0, cest--dire chercher lquation direntielle vrie par z(t) =
y(x). Or,
y

(x) =

2
2
x
1/2
z

(t)
et
y

(x) =
1
2
xz

(t) +

2
4x
1/2
z

(t).
On trouve donc
2xy

+ x
2
y = x
2
z

2
2
x
1/2
z

2
2
x
1/2
z

+ x
2
z = 0.
z vrie donc lquation direntielle z

+ z = 0, et donc z = cos(t) + sin(t) pour


, R. Autrement dit, la solution gnrale de (E) sur ]0, +[ est donne par :
y(x) = cos
_
2
3
x
3/2
_
+ sin
_
2
3
x
3/2
_
.
Pour rsoudre lquation sur ] , 0[, on pose cette fois t =

2
3
(x)
3/2
. La fonction
z(t) = y(x) vrie lquation direntielle z

z = 0, et donc la solution gnrale sur


] , 0[ est donne par
y(x) =

cosh
_
2
3
x
3/2
_
+

sinh
_
2
3
x
3/2
_
.
http://www.bibmath.net 33
Exercices - Sries entires : corrig
3. Soit y une solution de (E) sur R. Daprs la question prcdente, on sait quil existe des
constantes , ,

R telles que
y(x) =
_
_
_
cos
_
2
3
x
3/2
_
+ sin
_
2
3
x
3/2
_
pour x > 0

cosh
_
2
3
(x)
3/2
_
+

sinh
_
2
3
(x)
3/2
_
pour x < 0.
Comme y est continue en 0 et que lim
0
+ y = alors que lim
0
y =

, on en dduit que
=

. Dautre part, pour x > 0, on note y(x) = y


1
(x) + y
2
(x). On a
y

2
(x) =
_
sin
_

2
3
x
3/2
__

=
x
2
sin
_

2
3
x
3/2
_
+

2
4x
1/2
cos
_

2
3
x
3/2
_
.
Pour x 0, ceci tend vers +. Or, puisquune solution de (E) est de classe C
2
, on sait que
y

(x) admet une limite (nie) quand x tend vers 0, et que y


1
se prolonge en fonction C

sur
R. En particulier, lim
0
y

1
existe (et est nie). Puisque lim
0
+ y

= lim
0
+ y

1
+ lim
0
+ y

2
,
ceci ne peut tre ni que si = 0. De mme, on trovue que

= 0. Les seules solutions


sur R de (E) sont donc celles donnes par la premire question.
http://www.bibmath.net 34

You might also like