Correction de certains exercices de la feuille n

o
5:
Series enti`eres
(1) (*-**) Determiner le rayon de convergence des series enti`eres suivantes :
1.

n
n!
(2n)!
x
n
2.

n
ln nx
n
3.

nx
2n
2
n
+1
4.

n
(1+n)
lnn
z
3n
n.2
n
5.

n
(2 + n)
n
z
n
6.

n
(1)
n
13(2n1)
z
n
7.

n
a

n
z
n
, a > 08.

n
z
n!
9.

n
n
1/n
z
n
Proof. 1.

n
n!
(2n)!
x
n
,

a
n+1
a
n

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

0 donc R = .
2.

n
ln nx
n
,

a
n+1
a
n

ln(n+1)
ln(n)

= 1 donc R = 1.
3.

nx
2n
2
n
+1
,

a
n+1
a
n

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

nx
2n

x
2
2

on veut inferieur ` a 1, donc R =

2.
4.

n
(1+n)
lnn
z
3n
n.2
n
, en remarquant que (1 +n)
lnn
= e
lnn(n+1)
e
ln
2
n
on en deduit que

a
n+1
a
n

z
3
2

, on veut
inferieur `a 1, donc R = 2
1/3
.
5.

n
(2 + n)
n
z
n
, |a
n
|
1/n
= |2 + n| , donc R = 0.
6.

n
(1)
n
13(2n1)
z
n
,

a
n+1
a
n

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

0, donc R = .
7.

n
a

n
z
n
, a > 0, |a
n
|
1/n
= a
1/

n
1, donc R = 1.
8.

n
z
n!
, pour |z| < 1, on remarque que |z|
n
! |z|
n
et donc la serie est convergente. Pour |z| 1, le terme
general de la serie ne tend pas vers 0 et la serie est donc grossi`erement divergente. On en deduit que le rayon de
convergence de la serie enti`ere est 1.
9.

n
n
1/n
z
n
, |a
n
|
1/n
= e
1
n
2
lnn
1, donc R = 1.

(2) (**) Calculer le rayon de convergence de la serie enti`ere

n
a
n
z
n
lorsque a
n
est donne par:
1. a
n
=
(2)
n
n
7
2. a
n
= ln (1 + sin n)
3. a
n
=
n!
2
2n

(2n)!
4. a
n
= tan

n
7

Proof. 1.a
n
=
(2)
n
n
7
,

a
n+1
a
n

2, donc R = 1/2.
2.a
n
= ln (1 + sinn), R 1 car a
n
ne tend pas vers 0. Montrer que R 1 est trop dicile...
3.a
n
=
n!
2
2n

(2n)!
,

a
n+1
a
n

n+1
4

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

n+1
8n

1
8
4.a
n
= tan
_
n
7
_
, a
n
ne prend que 7 valeurs distinctes, tan(
k
7
) pour k = 0, , 6. Soit M tel que

tan(
k
7
)

< M,
alors,
|a
n
z
n
| M|z
n
|
donc le rayon de convergence de la serie enti`ere est superieur ou egal ` a 1. Dautre part, |z| 1, on a |a
7n+1
z
n
| =
tan(/7)|z|
n
qui ne tend pas vers 0, et donc la serie ne converge pas. On en deduit que R = 1.

(3) (**) Repondez aux questions suivantes:

(a) Donner un exemple de serie enti`ere de rayon de convergence 2.
(b) Est-il possible de trouver des suites (a
n
) et (b
n
) telles que a
n
= o(b
n
) et pourtant

n
a
n
z
n
et

n
b
n
z
n
ont le meme rayon de convergence?
(c) Quel est le lien entre le rayon de convergence des series enti`eres

n0
a
n
z
n
et

n0
(1)
n
a
n
z
n
?
Proof. (a)

n
z
n
2
n
(b) Si a
n
=
1
n+1
et b
n
= 1, les deux series ont meme rayon de convergence (egale `a 1), avec a
n
= o(bn).
(c) On a |a
n
z
n
| = |(1)
,
a
n
z
n
|, z 0, et donc, par denition du rayon de convergence, les deux series ont meme
rayon de convergence.

(4) (*) Pour les series enti`eres suivantes, donner le rayon de convergence et exprimer leur somme en
termes de fonctions usuelles:
1.

n0
n2
2n+1
x
n
2.

n0
(n+1)
2
n!
x
n
3.

n0
(1)
n
x
2n+1
.
Proof. 1.

n0
n2
2n+1
x
n
, R = 1
2.

n0
(n+1)
2
n!
x
n
, R =
3.

n0
(1)
n
x
2n+1
, R = 1
1
2 Licence M.A.S.S. deuxi`eme annee: Analyse S4

(5) (**) Soit

n
a
n
x
n
une serie enti`ere de rayon de convergence > 0. Montrer que

n
a
n
n!
x
n
a pour
rayon de convergence +.
Proof. Soit r un nombre reel tel que 0 < r < , pour tout entier naturel n et pour tout reel positif r

, on `a,
a
n
n!
(r

)
n
= a
n
r
n
_
r

r
_
n
n!
Or pout tout reel x,
x
n
n!
0
De plus, la suite (a
n
r
n
)
n0
est bornee donc la suite
_
a
n
n!
(r

)
n
_
n0
est bornee pour tout reel r

. Donc le rayon de
convergence de la serie enti`ere est .
(6) (**) Soit R le rayon de convergence de

n
a
n
z
n
. Comparer R avec les rayons de convergence des
series suivantes: a
n
e

n
z
n
; a
n
z
2n
; a
n
z
n
2
.
Proof. (a) |a
n
|e

n
z
n
|a
n
|, donc R

R. Soit x > 0 tel que (a

n
x
n
) soit bornee, alors pour tout [0, x[,
a
n
e

n
= a
n
x
n
e

n

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

n
et comme e
nln(/x)+

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

n
x
n
) est bornee, donc R R

et donc
R = R

.
(b) (a
n
z
2n
) est bornee si et seulement si (a
n
(z
2
)
n
) est bornee, donc R

R.

(10) (**) Montrer que la fonction t

1e
t
4
t
2
est integrable sur ]0, +[. Soit f la somme de la serie
enti`ere f(x) =

+
n=1
(1)
n+1
x
4n1
n!(4n1)
, dont on precisera le rayon de convergence. Montrer que f admet
une limite en +.
Proof. En 0,
1e
t
4
t
2

t
4
t
2
= t
2
donc prolongeable par continuite. En ,
1
t
2
, qui converge par Riemann, donc
integrable sur ]0, [. f(x) =

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

n=1
(1)
n+1
z
n
n!(4n1)
=

n=1
a
n
z
n
,

a
n+1
a
n

=
1
n+1
0, donc R =
donc la serie converge pour tout x de R. En appliquant le theor`eme dintegration,
f(x) =

n=1
(1)
n+1
x
4n
n!(4n 1)
=

n=1
(1)
n+1
n!
_
x
0
t
4n2
dt =
_
x
0

n=1
(1)
n+1
n!
t
4n2
dt
=
_
x
0

1
t
2

n=1
(t
4
)
n
n!
dt =
_
x
0
e
t
4
1
t
2
dt
la fonction etant integrable sur ]0, [, alors lim
x
f(x) =
_

0
e
t
4
1
t
2
< .

(11) (**) Developper en serie enti`ere au voisinage de 0 les fonctions suivantes. On precisera le rayon de
convergence de la serie enti`ere obtenue.
1. ln (1 + 2x) 2.
1
a x
2
avec a = 0
3. ln (1 + x
2
) 4.
e
x
1 x
5. ln (1 + x 2x
2
) 6. (4 + x
2
)
3/2
Proof. 1. ln (1 + 2x) =

n=1
(1)
n+1 2
n
n
x
n
, R = 1/2
2.
1
a x
2
avec a = 0 =
1
a

n=1
_
x
2
a
_
n
, R =

a
3. ln (1 + x
2
) = (1)
n1 x
2n
n
, R = 1
4.
e
x
1 x
(produit de Cauchy) =
_

x
n
n!
_
(

x
n
) =

n=0
_
n
k=0
1
k!
_
x
n
, R = 1.
5. ln (1+x2x
2
) = ln (1x)+ln (1+2x) =

n=1
x
n
n
+

n=1
(1)
n1
(2n)
n
n
=

n=1
(1)
n1
2
n
1
n
x
n
, R = 1/2.
6. (4 + x
2
)
3/2
= 4
3/2
(1 +
x
2
4
)
3/2
=
1
8
_
1 +

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

(12) (**) Soit f lapplication denie sur ] 1, 1[ par f(t) = cos(arcsin t), R.
(a) Former une equation dierentielle lineaire du second ordre veriee par f.
Licence M.A.S.S. deuxi`eme annee: Analyse S4 3
(b) Chercher les solutions de lequation dierentielle obtenue qui sont developpables en serie enti`ere
et verient y(0) = 1 et y

(0) = 0.
(c) En deduire que f est developpable en serie enti`ere sur ] 1, 1[, et donner son developpement.
Proof. (a) On derive deux fois f pour obtenir: f(t) = cos(arcsin t), f

(t) =

1t
2
sin(arcsin t), f

(t) =

2
1t
2
cos(arcsin t)
t

1t
2
(1t
2
)
sin(arcsin t).
Pour eliminer les termes en cos(arcsin t), on combine f et f

puis on ajoute les termes en f

pour eliminer les

termes en sin(arcsin t). Au nal, on trouve que f est solution de lequation dierentielle suivante:
(1 t
2
)y

ty

+
2
y = 0
(b) On suppose quil existe une solution developpable en serie enti`ere y(t) =

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

(0) = 0, on en deduit que par le theor`eme de derivation dune serie enti`ere que y

(t) =

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

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

ty

+
2
y =

n0
((n + 1)(n + 2)a
n+2
+
(n(n 1) n +
2
)a
n
)t
n
= 0, t ] R, R[. Par unicite du developpement en serie enti`ere, on obtient:
(n +1)(n +2)a
n+2
= (n
2

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

(0) = 0, on en deduit par induction

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).
Reciproquement, la serie enti`ere

n0
a
2p
x
2p
a un rayon de convergence egale `a 1 par dAlembert. Donc
y(t) =

n0
a
2p
x
2p
est solution de lequation dierentielle avec les condition initiales voulues.
(c) Lequations dierentielle (1 t
2
)y

ty

+
2
y = 0 est une equation dierentielle lineaire du second ordre, et
1t
2
= 0 sur ] 1, 1[. Il existe donc une unique solution `a cette equation denie sur ] 1, 1[ et veriant y(0) = 1
et y

(0) = 0. f est la serie enti`ere trouvee `a la question precedente convienne. On en deduit que quelles sont
egales. Autrement dit, f est developpable en serie enti`ere, et
f(x) =

n0
(4)
p
(2p)!

2
(

2
p + 1)(

2
p + 2)...(

2
+ p 1)x
2p
.

(14) (**) En utilisant un developpement en serie enti`ere, montrer que les fonctions suivantes sont de
classe C

:
(a) f(x) = sin(x)/x si x = 0, f(0) = 0.
(b) g(x) = ch(

x) si x 0 et g(x) = cos(

x) si x < 0.
(c) h(x) =
1
sin x

1
x
si x ] , 0[]0, [, h(0) = 0.
Proof. (a) Pour x = 0, on a,
f(x) =

n0
(1)
n
x
2n
(2n + 1)!
Cette egalite est encore vraie en 0, puisque les deux membres sont alors egaux `a 0. Ainsi, f concide sur R avec
une serie enti`ere de rayon de convergence . f est donc de classe C

.
(b) Pour x 0, on a,
g(x) =

n0
(

x)
2n
(2n)!
=

n0
x
n
(2n)!
Pour x 0, on a
g(x) =

n0
(1)
n
(

n)
2n
(2n)!
=

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

n0
x
n
(2n)!
Ainsi, g concide sur R avec la serie enti`ere

n0
x
n
(2n)!
, elle est donc de classe C

.
(c) Pour x = 0 on a,
h(x) =
x sin x
xsin x
On developpe en serie enti`erele numerateur et le denominateur,
h(x) =
x
2

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

p=0
(1)
p
x
2p
(2p+1)!
Il est clair que h(0) = 0, donc h est bien une fonction de classe C

(18) (*) On consid`ere lequation dierentielle y

+ xy

+ y = 1. On cherche lunique solution de cette

equation veriant y(0) = y

(0) = 0.
(a) Supposons quil existe une serie enti`ere f(x) =

n0
a
n
x
n
de rayon de convergence strictement
positif solution de lequation. Quelle relation de recurrence doit verier la suite (a
n
)?
(b) Calculer explicitement a
n
pour chaque n. Quel est le rayon de convergence de la serie enti`ere
obtenue?
4 Licence M.A.S.S. deuxi`eme annee: Analyse S4
(c) Exprimer cette serie enti`ere `a laide de fonctions usuelles.
Proof.
(a) 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

n1
na
n
x
n1
=

n0
na
n
x
n
f

(x) =

n2
n(n 1)a
n
x
n2
=

n0
(n + 2)(n + 1)a
n+2
x
n
On en deduit que, pour tout x ] r, r[, on a
f

(x) + xf

(x) + f(x) =

n0
(n + 2)(n + 1)a
n+2
+ (n + 1)a
n
x
n
.
Or, f

+ xf

+ f = 1. Par unicite du developpement en serie enti`ere, on obtient

a
2
= (1 a
0
) et a
n+2
=
a
n
n + 2
pour n 1
(b) On sait en outre que a
0
= y(0) = 0 et que a
1
= y

(0) = 0. On en deduit 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 denominateur, et on trouve
a
2n
=
(1)
n+1
2
n
n!
valable pour n 1. Reciproquement, posons f(x) =

n1
(1)
n+1
2
n
n!
x
2n
. La serie enti`ere qui apparait est de rayon de
convergence egal `a +, la fonction f ainsi denie est donc de classe C
1
et, remontant les calculs, elle est solution de
lequation dierentielle initiale.
(c) De plus, on peut lidentier `a une fonction classique. En eet,
f(x) =

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

(19) (**) Determiner toutes les fonctions developpables en serie enti`ere au voisinage de 0 qui sont solution
de lequation dierentielle: x
2
(1 x)y

x(1 + x)y

+ y = 0.
Proof. Supposons que y est du type y(x) =

a
n
x
n
de rayon de convergence R > 0, alors,
x
2
(1 x)

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

n1
na
n
x
n1
+

n0
a
n
x
x
= 0, x ] R, R[

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

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
x
= 0
Une serie enti`ere est nulle ssi tous ses coecients sont nul, le terme x
0
donne a
0
= 0, x
1
donne 0=0 et x
2
donne
2a
2
2a
2
a
1
+ a
2
= 0, soit a
2
= a
1
. Pour n 3,
(n(n 1) n + 1)a
n
+ ((n 1)(n 2) (n 1))a
n1
= 0
donc a
n
= a
n1
pour tout n 3, ainsi,
y(x) = a

n1
x
n
=
ax
1 x
, a R