Séries entières : corrigé

Rayon de convergence

Exercice 1 - Vrai/faux/exemples - L2/Math Spé - ?

P zn
1. La série entière n≥1 π n convient.
1
2. Si an = n+1 et bn = 1, les deux séries ont même rayon de convergence (égale à 1), et
pourtant an = o(bn ).
3. C’est le même ! on a |an ρn | = |(−1)n an ρn | pour tout ρ ≥ 0, et donc, par définition du
rayon de convergence, les deux séries ont même rayon de convergence.

Exercice 2 - Rayon de convergence - L2/Math Spé - ?

(1+i)n z 3n
1. Posons un = n.2n . Alors
√
un+1 n|1 + i||z|3 2|z|3 |z|3
= → = √ .
un 2(n + 1) 2 2
√
Ainsi, si |z|3 < 2, la série de terme général |u √n | est convergente d’après le critère de
divergente si |z|3 > 2. On en déduit que le rayon de conver-
d’Alembert, alors qu’elle est √
gence de la série entière est 6 2.
2. On remarque que
(n − 2)|z|n ≤ |2 + ni||z n | ≤ (2 + n)|z|n .
Ainsi, la série converge pour |z| > 1 et diverge pour |z| < 1. Son rayon de convergence est
donc 1.
(−1) n
3. Notant un = 1×3×···×(2n−1) z n , on applique la règle de d’Alembert pour étudier la convergence
absolue de cette série. On a :
un+1 |z|
= → 0.
un 2n + 1
La série entière est donc convergente pour toute valeur de z. Son rayon de convergence
est donc +∞.
√
4. On applique à nouveau la règle de d’Alembert à un = a n |z|n . On obtient
un+1 √ √
= |z|a n+1− n .
un
Or,
√ √ √ √

1 1
 
n+1− n= n (1 + 1/n)1/2 − 1) = n 1+ −1+o → 0.
2n n
Ainsi, on obtient que
un+1
→ |z|a0 = |z|.
un
On en déduit que la série des modules converge absolument pour |z| < 1 et diverge pour
|z| > 1. Le rayon de convergence de la série entière est donc 1.
5. Pour |z| < 1, on remarque que |z|n! ≤ |z|n et donc la série est convergente. Pour |z| ≥ 1, le
terme général de la série ne tend pas vers 0 et la série est donc grossièrement divergente.
On en déduit que le rayon de convergence de la série entière est 1.

http://www.bibmath.net 1
 Séries entières : corrigé

6. Pour un = nln n |z|n , on étudie la convergence en appliquant la règle de Cauchy /

√
un = nln n/n |z| = exp (ln n × ln n)/n |z| → |z|.


n

La série 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 immédiate de la règle de d’Alembert, ou une étude directe du comporte-

ment du terme général, donne que le rayon de convergence vaut 1.
n
2. En effectuant un développement limité, on trouve que an ∼ n1 d’où |an z n | ∼ |z|n . La suite
(|an z n |) est donc bornée si et seulement si |z| ≤ 1. Le rayon de convergence de la série est
1.
3. On applique la règle de d’Alembert en remarquant que
an+1 (n + 1) 1
= p → .
an 4 (2n + 1)(2n + 2) 8
Le rayon de convergence de la série est donc égal à 8.
4. an 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
|an z n | ≤ M |z|n
ce qui prouve que le rayon de convergence de la série entière est supérieur ou égal à 1.
De plus, pour |z| ≥ 1, on a |a7n+1 z n | = tan(π/7)|z|n qui ne tend pas vers 0, et donc la
série n an z n ne converge pas. On en déduit que le rayon de convergence recherché est
P

exactement égal à 1.
5. Il suffit de remarquer que 1 ≤ an ≤ n, ce qui entraine
|z|n ≤ |an z n | ≤ n|z|n .
Ainsi, pour |z| < 1, la série n an z n converge, et pour |z| > 1, elle diverge. Son rayon de
P

convergence est donc égal à 1.

Exercice 4 - Rayon de convergence et somme - L2/Math Spé - ?

1. Posons un = n+2 n
n+1 . Puisque un → 1, la suite |un z | est bornée si |z| < 1 et tend vers +∞
si |z| > 1. On en déduit que le rayon de convergence de la série étudiée est égal à 1. Pour
sommer la série entière, if suffit d’écrire
n+2 1
=1+
n+1 n+1
ce qui donne
X n+2 X X 1
xn = xn + xn
n≥0
n + 1 n≥0 n≥0
n + 1
1 1 X xn+1
= +
1 − x x n≥0 n + 1
1 ln(1 − x)
= − .
1−x x

http://www.bibmath.net 2
 Séries entières : corrigé

n3
2. Posons un = n! . On a
un+1 1 (n + 1)3
= × → 0.
un n+1 n3
Par le critère de d’Alembert, le rayon de convergence de la série étudiée est égal à +∞.
Pour la sommer, on va exprimer n3 en fonction de n(n − 1)(n − 2), n(n − 1) et n pour se
ramener à des séries dérivées. On a en effet :

n3 = n(n − 1)(n − 2) + 3n(n − 1) + n.

Utilisant que la dérivée de exp(x) est égale à exp(x), on trouve

X n(n − 1)(n − 2) X n(n − 1)(n − 2)
x3n = x3 x3n−3 = x3 exp(x).
n≥0
n! n≥0
n!

De même, on a
X n(n − 1) X n
x3n = x2 exp(x) et x3n = x exp(x).
n≥0
n! n≥0
n!

On conclut que
X n3
xn = (x3 + 3x2 + x) exp(x).
n≥0
n!

Exercice 5 - Division par n ! - L2/Math Spé - ?

Soit 0 < r < ρ. Par le lemme d’Abel, on sait que la suite (an rn )n est bornée. Autrement
dit, il existe M > 0 tel que, pour tout n ≥ 0, on a

|an rn | ≤ M.

Soit maintenant R > 0. Alors on a

|an |Rn (R/r)n
= |an |rn × .
n! n!
Par croissance comparée des puissances et des polynômes, il existe C > 0 tel que |(R/r)n |/n! ≤
C. Il vient, pour tout n ≥ 0,
|an |Rn
≤ M C.
n!
La suite (an Rn ) est bornée pour tout n, donc le rayon de convergence de la série entière n an!n xn
P

vaut +∞.
Exercice 6 - Puissance - L2/Math Spé - ?
Il suffit de remarquer que la suite (aαn rn ) est bornée si et seulement la suite (an rn/α ) (obtenue
en prenant la puissance 1/α de la première) est bornée.. Ainsi, si r < ρα , alors r1/α < ρ et donc
les suites (an rn/α ) et (aαn rn ) sont bornées. De même, si r > ρα , de sorte que r1/α > ρ, alors les
suite (an rn/alpha ) et (aαn rn ) ne sont pas bornées. Ceci prouve que le rayon de convergence de la
série n aαn xn est égal à ρα .
P

Exercice 7 - Comparaison - L2/Math Spé - ??

http://www.bibmath.net 3
 Séries entières : corrigé

√ √
1. Notons R1 le rayon de convergence de n an e n z n . Puisque |an |e n ≥ |an |, on a R1 ≤ R.
P

Soit maintenant r > 0 tel que (an rn ) soit bornée. Alors, pour tout ρ ∈ [0, r[, on a
√ √ n √
n n nρ
an e ρ = an r n e = an rn en ln(ρ/r)+ n
rn
√ √
et comme en ln(ρ/r)+ n tend vers 0 lorsque n tend vers +∞, la suite (an e n ρn ) est bornée.
On en déduit que R ≤ R1 et donc finalement que R = R1 .
2. Il est clair que (an r2n ) est bornée si et seulement si (an (r2 )n ) est bornée (c’est la même
de deux façons différentes). Le rayon de convergence de n an z 2n est donc
P
suite écrire
√
égal à R.
3. Supposons d’abord R > 0 et R < +∞. On va alors prouver que le rayon de convergence
2
de n an z n est égal à 1. En effet, soit r tel que (an rn ) est bornée. Alors, pour tout ρ < 1,
P
2 n2 n2
on a an ρn = an rn × ρrn et cette quantité est bornée car ρrn tend vers 0 (on a choisi
2
ρ < 1). Ainsi, le rayon de convergence de n an z n est supérieur ou égal à 1. De façon
P

similaire, on prouve que, si r est tel que an rn n’est pas bornée, alors pour tout ρ > 1, on
2 2
a an ρn qui n’est pas borné. Ainsi, le rayon de convergence de n an z n est égal à 1.
P
2
Lorsque R = +∞, alors le rayon de convergence de n an z n sera élément de [1, +∞],
P

mais toutes les valeurs peuvent être prises :

– Si an = 1/n!, alors le rayon vaut 1.
– Si an = 1/n!2 , alors le rayon vaut +∞.
2
– Si an = 1/λn , avec λ > 1, le rayon de convergence vaut λ.
2
De même, si R = 0, alors le rayon de convergence de n an z n peut être n’importe quel
P

réel dans [0, 1].

Exercice 8 - Produit de Hadamard - L2/Math Spé - ??

Soit 0 ≤ r < ρ1 ρ2 . Alors il existe r1 < ρ1 et r2 < ρ2 tel que r = r1 r2 . Les suites (an r1n ) et
(bn r2n ) sont bornées. Il en est de même de la suite (an bn r1n r2n ), c’est-à-dire de la suite (an bn rn ).
Comme ceci est vrai pour tout r < ρ1 ρ2 , le rayon de convergence recherché est au moins égal à
ρ1 ρ2 . On n’a pas toujours égalité. En effet, si la première série est n z 2n et la deuxième série
P
P 2n+1
est n z , alors leur produit de Hadamard est la série nulle, qui est de rayon de convergence
égal à +∞, alors que dans ce cas ρ1 ρ2 = 1 × 1 = 1.
Exercice 9 - Somme partielle - L2/Math Spé - ??

1. Remarquons que an = Sn − Sn−1 et donc que n an z n = n Sn z n − n Sn−1 z n . Ainsi,

P P P
P n
n an z est la différence de deux séries entières de rayon de convergence R, son rayon de
convergence ρ vérifie ρ ≥ R.
2. La série n Sn z n est le produit de Cauchy des deux séries entières n an z n et n z n . Ces
P P P

deux séries ont pour rayon de convergence respectif ρ et 1. On en déduit que le rayon de
convergence R de la série n Sn z n vérifie R ≥ inf(1, ρ).
P

Propriété de la somme

Exercice 10 - Zéros, coefficients et produit - L2/Math Spé - ??

http://www.bibmath.net 4
 Séries entières : corrigé

f (n) (0)
1. Il suffit de remarquer que an = n! . Donc si f ≡ 0, f n (0) = 0 et an = 0 également.
2. On raisonne par contraposée et on suppose f 6= 0 et g 6= 0. Soit ap le premier coefficient
non-nul de n an z n et bq le premier coefficient non-nul de n bn z n . Alors f g est aussi
P P

somme d’une série entière n cn z n dans D(0, R), où cn est donné par
P

n
X
cn = ak bn−k .
k=0

Maintenant, étudions le coefficient cp+q . On a

p+q
X p+q
X
cp+q = ap bq + ak bp+q−k + ap+q−l bl .
k=p+1 l=q+1

Ainsi, cp+q = ap bq 6= 0. La série n cn z n a au moins un coefficient non-nul, donc f g 6= 0

P

d’après la première question. On en déduit que si f g = 0, alors f = 0 et g = 0.

Exercice 11 - Comportement au bord d’une série entière - L2/Math Spé - ??

1. Il existe n0 ∈ N tel que, pour tout n ≥ n0 , on a

|an | ≤ (l + 1)|bn |.

Soit maintenant r > 0. Alors, pour tout n ≥ n0 , on a

|an |rn ≤ (l + 1)|bn |rn

et donc, si la suite (|bn |rn ) est bornée, la suite (|an |rn ) l’est aussi. On conclut en utilisant
la définition du rayon de convergence. Le rayon de convergence de n an xn étant en effet
P

donné par
R = sup{r ≥ 0; (|an |rn ) est bornée }.

2. Fixons N ≥ 1 tel que N n=0 bn ≥ 2M . Posons ensuite P (x) =

N n
P P
n=0 bn x . On a P (1) =
2M > M . Le résultat demandé est alors une conséquence immédiate de la continuité de
P en 1.
3. Soit M > 0 et soient N, δ donnés par la question précédente. Alors, puisque bn est positif
pour tout n, on a, pour chaque x ∈]0, 1[,
N
X
g(x) ≥ bn xn .
n=0

En particulier, pour tout x ∈]1 − δ, 1[, on a

g(x) ≥ M.

Ceci prouve bien que g tend vers +∞ en 1.

http://www.bibmath.net 5
 Séries entières : corrigé

4. On écrit simplement que

N
X +∞
X
f (x) = an xn + an xn
n=0 n=N +1
N
X N
X +∞
X
= (an − bn )xn + bn xn + an xn
n=0 n=0 n=N +1
+∞
X
= P (x) + cn xn
n=0
PN
où on a posé P (x) = n=0 (an − bn )xn et cn = bn si n ≤ N , cn = an sinon.
5. On fixe ε > 0 et on décompose f comme précédemment. D’une part, on a (l − ε)bn ≤ cn ≤
(l + ε)bn et donc, multipliant par xn et sommant pour n = 0, . . . , +∞, on déduit que
+∞
X
(l − ε)g(x) ≤ cn xn ≤ (l + ε)g(x).
n=0

D’autre part, puisque P est un polynôme, donc est continu en 1, et que g(x) → +∞ quand
x → 1, on sait que
P (x)
→ 0 quand x → 1.
g(x)
On en déduit l’existence de δ > 0 tel que, pour tout x ∈]1 − δ, 1[, on a

P (x)
−ε ≤ ≤ +ε.
g(x)

Finalement, sommant toutes ces inégalités, on trouve que, pour tout x ∈]1 − δ, 1[, on a

f (x)
l − 2ε ≤ ≤ l + 2ε.
g(x)

Ceci prouve que f /g tend vers l en 1.

Exercice 12 - Comportement à l’infini - L2/Math Spé - ??

1. Puisque la suite (an ) est convergente, elle est bornée, disons par M > 0. Mais, par appli-
cation du critère de d’Alembert, la série n M xn /n! est convergente pour tout réel x. Le
P

rayon de convergence de la série est donc égal à +∞.

2. Soit ε > 0 et N ≥ 1 tel que, pour n ≥ N , on a |an − l| ≤ ε. On écrit alors
+∞ +∞
X (an − l) +∞
X an n X l
x = xn + xn
n=0
n! n=0
n! n=0
n!
+∞
X (an − l) n
= x + lex .
n=0
n!

http://www.bibmath.net 6
 Séries entières : corrigé

On écrit ensuite
−1
+∞
X (an − l) n NX (an − l) n +∞
X (an − l)
x = x + xn := f1 (x) + f2 (x).
n=0
n! n=0
n! N
n!

Puisque f1 est un polynôme, on a limx→+∞ e−x f1 (x) = 0. Il existe donc x0 ∈ R tel que,
pour x ≥ x0 ,
e−x |f1 (x)| ≤ ε.
De plus, on a, pour x ≥ 0 :
+∞
|an − l| n
e−x |f2 (x)| ≤
X
x
N
n!
+∞
X ε n
≤ x
N
n!
+∞
X ε n
≤ x
0
n!
≤ εe−x ex = ε.

Utilisant l’inégalité triangulaire on trouve, pour tout x ≥ x0 ,

|e−x f (x) − l| ≤ 2ε.

Ainsi, e−x f (x) tend vers l lorsque x tend vers +∞.

Exercice 13 - Limite à l’infini - L2/Math Spé - ??

1. On remarque d’abord que la fonction se prolonge par continuité en 0. En effet, au voisinage

de 0, on a
4
1 − e−t −t4
∼ = −t2
t2 t2
et la fonction se prolonge par 0 en 0. Au voisinage de +∞, la fonction est équivalente à
1
t2
qui est intégrable car 2>1. La fonction est donc intégrable sur ]0, +∞[.
−t4
2. La fonction t 7→ 1−et2 est développable en série entière en 0, de rayon de convergence
+∞, et on a pour tout x ∈ R
4+∞
1 − e−t X (−1)n+1 t4n−2
= .
t2 n=1
n!

Par intégration de cette série entière, on trouve

Z x +∞ 4
X (−1)n+1 t4n−2 1 − e−t
Z x
f (x) = dt = dt.
0 n=1 n! 0 t2

R +∞ 1−e−t4
Ainsi, f admet une limite en +∞ égale à 0 dt.
t2

http://www.bibmath.net 7
 Séries entières : corrigé

Exercice 14 - Formule de Cauchy et applications - L2/Math Spé - ??

1. Puisque r < R, il résulte du lemme d’Abel que la série n |an |rn est convergente. Puisque
P

|an rn ei(n−k)θ | = |an |rn pour tout θ ∈ [0, 2π], on en déduit la convergence normale de la
série demandée sur [0, 2π].
2. On a
f (reiθ )e−ikθ =
X
an rn ei(n−k)θ .
n

Puisque la série converge normalement, donc uniformément sur [0, 2π], on peut inverser
l’intégration et la sommation et on trouve
Z 2π Z 2π
−ikθ
X
iθ n
f (re )e dθ = an r ei(n−k)θ dθ.
0 n 0

La dernière intégrale est égale à 0 si k 6= n, et à 2π sinon. On en conclut que

Z 2π
f (reiθ )e−ikθ dθ = 2πak rk .
0

3. Pour k ≥ 1, on a Z 2π
1
ak = f (reiθ )e−ikθ dθ.
2πrk 0
Soit M > 0 tel que |f (z)| ≤ M pour tout z ∈ C. Alors on a
Z 2π
1 M
|ak | ≤ M dθ = .
2πrk 0 rk
Faisant tendre r vers +∞, on trouve ak = 0 pour k ≥ 1, ce qui entraîne que f est
constante.

Exercice 15 - Zéros - Oral ENS - ???

On règle d’abord le cas où f est identiquement nulle. Dans le cas contraire, prouvons d’abord
que A est fermé : si (zn ) est une suite de zéros de f , et si zn → 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 isolés,
c’est-à-dire que si z0 ∈ A, il existe un voisinage V de z0 tel que V ∩ A = ∅. En effet, puisque le
rayon de convergence du développement en série entière de f vaut +∞, f est aussi développable
en série entière au voisinage de z0 . Ce développement s’écrit :

f (z) = an (z − z0 )n + an+1 (z − z0 )n+1 + . . . ,

où on peut supposer an 6= 0 (f est non identiquement nulle). On a alors :

f (z) = (z − z0 )n g(z),

où g est une fonction continue vérifiant g(z0 ) = an 6= 0. Par continuité, g, donc f , ne s’annule
pas dans un voisinage de z0 , sauf en z0 .

Développement en séries entières

http://www.bibmath.net 8
 Séries entières : corrigé

Exercice 16 - DSE en 0 - L2/Math Spé - ?

1. Il suffit de remplacer t par 2x2 dans le développement en série entière de ln(1 + t). On a
donc
+∞
X (−1)n+1 2n x2n
2
ln(1 + 2x ) = .
n=1
n
La série converge si |2x2 | < 1. Son rayon de convergence est donc √1 .
2
2. Il suffit de factoriser par a au dénominateur et d’utiliser le développement en série entière
1
de 1−u . Il vient
1 1 1
= × .
a−x a 1 − xa
Pour |x/a| < 1 ⇐⇒ |x| < |a|, on obtient

1 1 +∞
X xn +∞
X xn
= × = .
a−x a n=0 an n=0
an+1

Le rayon de convergence de la série 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 déduit

+∞
X (−1)n+1 xn
ln(x + a) = ln(a) + .
n=1
an

Le rayon de convergence de la série obtenue est |a|.

4. On réalise le produit de Cauchy des deux séries :
+∞ +∞
X xn 1 X
ex = et = xn .
n=0
n! 1 − x n=0

La deuxième série ayant pour rayon de convergence 1, on en déduit que pour |x| < 1, on
a
+∞ n
ex X X 1
= an xn avec an = .
1 − x n=0 k=0
k!
La série converge pour |x| < 1 (règle du produit de Cauchy), et comme an ≥ 1, le rayon
de convergence de la série obtenue est exactement égal à 1.
5. On a 1 + x − 2x2 = (1 − x)(1 + 2x) donc la fonction est définie sur I =] − 1/2, 1[, et sur
cet intervalle, elle s’écrit

ln(1 + x − 2x2 ) = ln(1 − x) + ln(1 + 2x).

En utilisant le développement en série entière de ln(1 + u), on obtient

+∞
X xn
ln(1 − x) = −
n=1
n

http://www.bibmath.net 9
 Séries entières : corrigé

(valable pour |x| < 1)

+∞
X (2x)n
ln(1 + 2x) = (−1)n−1
n=1
n
(valable pour |x| < 1/2). En effectuant la somme, on en déduit que
+∞
X (−1)n−1 2n − 1 n
ln(1 + x − 2x2 ) = x .
n=1
n

La série obtenue est de rayon de convergence 1/2.

6. On factorise par 4 pour se ramener à (1 + t)α . On a donc
!−3/2
1 x2
(4 + x2 )−3/2 = 1+ .
8 4

La fonction u 7→ (1 + u)−3/2 est développable en série entière sur ] − 1, 1[ et

3.5.7. . . . .(2n + 1) n
∀u ∈] − 1, 1[, (1 + u)−3/2 = 1 +
X
(−1)n u .
n≥1
2.4.6. . . . .2n

x2
Il en résulte que pour tout x tel que 4 ∈] − 1, 1[, on a
!−3/2
x2 X 3.5.7. . . . .(2n + 1) x2n
1+ =1+ (−1)n .
4 n≥1
2.4.6. . . . .2n 4n

La série entière obtenue a pour rayon de convergence ] − 2, 2[.

Exercice 17 - DSE d’une fraction rationnelle - L2/Math Spé - ??

On décompose f en éléments simples. Puisque le degré du numérateur est inférieur à celui
du dénominateur, on sait qu’il existe a, b, c ∈ R tels que
a b c
f (x) = + + .
x − 2 (x − 2)2 2x − 1

Si on multiplie les deux membres par 2x−1 et qu’on fait x = 1/2, on trouve c = 1/4+1/2−3
9/4 = −1.
2
De même, multipliant par (x − 2) , on trouve b = 1. Pour trouver a, on peut procéder par
identification et on obtient a = 1. On développe en série entière chaque terme :
– Pour x 6= 2,
1 1 1 1
=− =− × .
x−2 2−x 2 1 − x/2
Donc, pour |x|/2 < 1, on a

1 1 +∞
X xn +∞
X 1
=− × n
= − n+1 xn .
x−2 2 n=0 2 n=0
2

– Le troisième terme se traite de la même façon. Pour |x| < 1/2, on a

+∞
−1 1 X
= = 2n xn .
2x − 1 1 − 2x n=0

http://www.bibmath.net 10
 Séries entières : corrigé

1 −1
– Pour le deuxième terme, il suffit de remarquer que (x−2) 2 est la dérivée de x−2 . Ayant
déjà obtenu le développement en série entière de cette fraction rationnelle, il suffit de le
dériver terme à terme. On obtient donc :
+∞
X n +∞
X n+1
1 n−1
= x = xn .
(x − 2)2 n=1 2n+1 n=0
2 n+1

On obtient donc que, pour tout x ∈] − 1/2, 1/2[, on a

+∞
X −1 n+1

f (x) = n+1
+ n+2 + 2n xn .
n=0
2 2

La série entière obtenue est de rayon de convergence 1/2.

Exercice 18 - Méthode de l’équation différentielle - L2/Math Spé - ??

1. On dérive deux fois f :

f (t) = cos(α arcsin t)

−α
f 0 (t) = √ sin(α arcsin t)
1 − t2
−α2 αt
f 00 (t) = 2
cos(α arcsin t) − √ sin(α arcsin t).
1−t 1 − t2 (1 − t2 )
On combine d’abord f et f 00 pour éliminer les termes en cos(α arcsin t) puis on ajoute les
termes en f 0 nécessaires pour éliminer les termes en sin(α arcsin t). Au final, on trouve
que f est solution de l’équation différentielle suivante :

(1 − t2 )y 00 − ty 0 + α2 y = 0.

2. On suppose qu’il existe une solution développable en série entière y(t) = n≥0 an tn sur
P

] − R, R[ vérifiant y(0) = 1 et y 0 (0) = 0. y 0 est somme de n≥0 (n + 1)an+1 tn et y 00 est

P

somme de n≥0 (n + 1)(n + 2)an+2 tn . La fonction t 7→ (1 − t2 )y 00 − ty 0 + α2 y est donc

P

somme de la série entière

X
(n + 1)(n + 1)an+2 + (−n(n − 1) − n + α2 )an tn .

n≥0

Ceci doit être identiquement nul sur ] − R, R[. Par unicité du développement en série
entière, on obtient, pour tout n ∈ N,

(n + 1)(n + 2)an+2 = (n2 − α2 )an .

Puisque a0 = 1 (car y(0) = 1) et a1 = y 0 (0) = 0, on en déduit que a2p+1 = 0 pour tout p

et que
(−4)p α α α α
    
a2p = −p+1 − p + 2 ... +p−1 .
(2p)! 2 2 2 2
Réciproquement, la série entière
X (−4)p α  α 
α

α
 
−p+1 − p + 2 ... + p − 1 x2p
p≥0
(2p)! 2 2 2 2

http://www.bibmath.net 11
 Séries entières : corrigé

a un rayon de convergence égal à 1 (on le vérifie facilement par la règle de d’Alembert)

et est, en remontant les calculs, solution de l’équation différentielle avec les conditions
initiales voulues.
3. L’équation différentielle (1 − t2 )y 00 − ty 0 + α2 y = 0 est une équation différentielle linéaire
du second ordre, et 1 − t2 6= 0 sur ] − 1, 1[. Il existe donc une unique solution à cette
équation définie sur ] − 1, 1[ et vérifiant y(0) = 1 et y 0 (0) = 0. f et la série entière trouvée
à la question précédente conviennent. On en déduit qu’elles sont égales. Autrement dit, f
est développable en série entière, et
X (−4)p α  α 
α

α
 
f (x) = −p+1 − p + 2 ... + p − 1 x2p .
p≥0
(2p)! 2 2 2 2

Exercice 19 - Méthode de l’équation différentielle - L2/Math Spé - ??

1. On dérive deux fois f :

f (x) = exp(λ arcsin x)

λ
f 0 (x) = √ exp(λ arcsin t)
1 − x2
λx λ2
f 00 (x) = exp(λ arcsin x) + exp(λ arcsin x).
1 − x2 1 − x2
On trouve que f est solution de l’équation différentielle suivante :

(1 − x2 )y 00 − xy 0 − λ2 y = 0.

2. On suppose qu’il existe une solution développable en série entière y(t) = n≥0 an xn sur
P

] − R, R[ vérifiant y(0) = 1 et y 0 (0) = λ. y 0 est somme de n≥0 (n + 1)an+1 xn et y 00 est

P

somme de n≥0 (n + 1)(n + 2)an+2 xn . La fonction t 7→ (1 − x2 )y 00 − xy 0 − λ2 y est donc

P

somme de la série entière

X
(n + 1)(n + 1)an+2 + (−n(n − 1) − n − λ2 )an xn .

n≥0

Ceci doit être identiquement nul sur ] − R, R[. Par unicité du développement en série
entière, on obtient, pour tout n ∈ N,

n2 + λ 2
an+2 = an .
(n + 1)(n + 2)

De plus, a0 = 1 (car y(0) = 1) et a1 = y 0 (0) = λ. On trouve ainsi une unique suite

(an ) solution. On peut calculer expliciter an , en distinguant les termes pairs et les termes
impairs (le calcul est laissé au lecteur). Réciproquement, la suite (an ) précédente définit
une série entière de rayon de convergence 1 d’après le critère de d’Alembert (puisque
an+2 /an → 1). Cette série entière est, en remontant les calculs, solution de l’équation
différentielle avec les conditions initiales voulues.

http://www.bibmath.net 12
 Séries entières : corrigé

3. L’équation différentielle (1 − x2 )y 00 − xy 0 − λ2 y = 0 est une équation différentielle linéaire

du second ordre, et 1 − x2 6= 0 sur ] − 1, 1[. Il existe donc une unique solution à cette
équation définie sur ] − 1, 1[ et vérifiant y(0) = 1 et y 0 (0) = λ. f et la série entière trouvée
à la question précédente conviennent. On en déduit qu’elles sont égales. Autrement dit, f
est développable en série entière, et f (x) = n≥0 an xn .
P

Exercice 20 - Théorème de Bernstein - L3/Math Spé - ??

1. Il s’agit simplement de la formule de Taylor avec reste intégral, après changement de

variables.
2. Tous les termes apparaissant dans la somme à droite de l’égalité sont positifs. On en
déduit
αn (n)
0≤ f (x) ≤ f (x + α).
n!
D’autre part, par positivité de f 0 , f est croissante et donc f (x + α) ≤ f (2α).
3. On revient à la formule de Taylor avec reste intégrale. De la question précédente, on sait
que
f (n+1) (x + αu)
αn+1 ≤ f (2α)
n!
pour tout u ∈ [0, 1] et tout x ∈ [−α, α]. On en déduit
αn (n)
Z 1
0 f (2α)
f (x + α) − f (x) − αf (x) − · · · − f (x) ≤ f (2α) (1 − u)n du ≤ .
n! 0 n+1
Ceci tend vers 0, ce qui prouve le résultat voulu.

Exercice 21 - Une fonction non développable en série entière - L2/Math Spé - ??

2 ix
1. Posons un (x) = e−n en . Alors un est C ∞ sur R et pour tout k ≥ 0, pour tout x ∈ R et
tout n ≥ 0, on a
2 ix
un(k) (x) = (in2 )k e−n en .
Puisque n2k e−n = O(n−2 ), il existe une constante M > 0 telle que
−2
|u(k)
n (x)| ≤ M n .

La série (numérique) qui apparait à droite est convergente, on en déduit que la série des
P (k)
dérivées k-ièmes n≥0 un converge normalement (donc uniformément) sur R pour tout
k ≥ 0. Ainsi, f = n un est de classe C ∞ .
P

2. D’après le calcul précédent, on a f (k) (0) = n≥0 n2k e−n ≥ k 2k e−k . Or, k k ≥ k!, et donc
P

f (k) (0) k k k −k
≥ k e ≥ k k e−k .
k! k!
3. Si la fonction était développable en série entière en 0, il existerait un intervalle non-vide I
centré en 0 tel que, pour tout x ∈ I, f serait somme de sa série de Taylor en 0. Autrement
dit, on aurait
X f (k) (0)
f (x) = xk .
n≥0
k!

http://www.bibmath.net 13
 Séries entières : corrigé

Mais pour x 6= 0, cette série ne converge pas car son terme général ne tend pas vers 0. En
effet,
f (k) (0) k
x ≥ k k (x/e)−k → +∞
k!
(on peut aussi vérifier la non-convergence par le critère de d’Alembert). Ainsi, f n’est pas
développable en série entière en 0.
Exercice 22 - Fonction définie par une série - Math Spé/L3/Agreg interne - ???
R1 1 x+n−1
On utilise que x+n = 0 t dx. On a donc :
+∞
X Z 1
n
u(x) = (−1) tx+n−1 dx.
n=1 0

On va permuter la série et l’intégrale. Pour cela, on pose

N
X
fN (t) = (−1)n tx+n−1 .
n=1

Alors :
– fN (t) converge simplement vers +∞
P n n−1 tx = −tx = f (t).
n=1 (−1) t 1+t
– |fN (t)| ≤ tx (car la somme partielle d’une série alternée est majorée par le premier terme),
la fonction tx étant intégrable sur ]0, 1[ pour |x| < 1.
En appliquant le théorème de convergence dominée, on obtient donc :
tx
Z 1
u(x) = − dt.
0 1+t
n
On développe ensuite tx = exp(ln t) = +∞
P n (ln t) . On a donc :
n=0 x n!
Z 1 +∞
X (ln t)n
!
u(x) = − xn dt.
0 n=0
n!(1 + t)
On permute, mais en sens contraire, l’intégrale et la série. Pour cela, on pose
N
X (ln t)n
gN (t) = xn .
n=0
n!(1 + t)
t x
– gN converge simplement vers 1+t .
– On a la majoration suivante :
N
X | ln t|n |x|n
|gN (t)| ≤
n=0
n!(1 + t)
+∞
X | ln t|n |x|n
≤
n=0
n!(1 + t)
1
≤ exp(|x|| ln t|)
1+t
1
≤
(1 + t)tx
et cette fonction est intégrable si |x| < 1.

http://www.bibmath.net 14
 Séries entières : corrigé

On peut donc appliquer le théorème de convergence dominée et permuter la série et l’intégrale :

+∞
(ln t)n
X Z 1 
u(x) = − dt xn
n=0 0 n!(1 + t)

expression valable pour |x| < 1. u est donc développable en série entière au voisinage de 0.
Exercice 23 - Inverse - L2/Math Spé - ???

1. D’après la formule du produit de Cauchy, on a

  
X X X
 an z n   bn z n  = cn z n = 1
n≥0 n≥0 n≥0
Pn
avec cn = k=0 ak bn−k . La suite (bn ) vérifie donc la relation de récurrence
(
1
b0 = a0
−1 Pn
bn = a0 k=1 ak bn−k

2. Soit R > 0 tel que |an | ≤ Rn pour n ≥ 1, et on pose C > 0 suffisamment grand pour que
X Rk
≤ |a0 |
k≥1
Ck

Cn
On va prouver par récurrence sur n que |bn | ≤ |a0 | . C’est vrai au rang 0, et si c’est vrai
jusqu’au rang n − 1, alors
n
1 X Rk C n Cn 1 +∞ X Rk Cn
|bn | ≤ k
≤ × k
≤ .
|a0 | k=1 C |a0 | |a0 | |a0 | k=1 C |a0 |

3. Soit g(z) = n≥0 bn z n . Alors, par la formule sur le produit de Cauchy de deux séries
P

entières et par définition de (bn ), 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 développable en série entière en 0.

Utilisation d’un développement en séries entières

Exercice 24 - Régularité - L2/Math Spé - ?

1. Pour x 6= 0, on a, d’après le développement en série entière de sin,

+∞
X x2n
f (x) = (−1)n .
n=0
(2n + 1)!

Cette égalité est encore vraie en 0, puisque les deux membres sont alors égaux à 0. Ainsi,
f coïncide sur R avec une série entière de rayon de convergence +∞. f est donc de classe
C ∞.

http://www.bibmath.net 15
 Séries entières : corrigé

2. Pour x ≥ 0, on a
√ 2n
+∞ +∞
( x)
X X xn
g(x) = = .
n=0
(2n)! n=0
(2n)!
Pour x < 0, on a :
+∞ √ +∞ +∞
X
n( −x)2n X (−1)n xn X xn
g(x) = (−1) = (−1)n = .
n=0
(2n)! n=0
(2n)! n=0
(2n)!
P+∞ xn ∞
Ainsi, g coïncide sur R avec la série entière n=0 (2n)! : elle est donc de classe C .
3. Pour x 6= 0, on a
x − sin x
h(x) =.
x sin x
On développe en série entière le numérateur et le dénominateur, en mettant en facteur le
premier terme. On trouve

x2 ×
P+∞ p+1 x2p−1
p=1 (−1) (2p+1)!
h(x) = P+∞ x2p
.
x 2 p
p=0 (−1) (2p+1)!

Posant u(x) =
P+∞ p+1 x2p−1 et v(x) =
P+∞ p x2p on voit que pour x 6= 0,
p=1 (−1) (2p+1)! p=0 (−1) (2p+1)! ,
u(x)
h(x) = Or, u et v sont de classe C ∞ (ce sont des sommes de série entière), v ne
v(x) .
s’annule pas en 0, et de plus u(0)/v(0) = 0. Ainsi, h définit bien une fonction de classe
C ∞.

Exercice 25 - Comparaison de deux fonctions - L2/Math Spé - ?

Développons les deux fonctions en série entière. On a
+∞
X x2k 2 X x2k
ch(x) = et ex /2 = .
k=0
(2k)! k≥0
2k k!

Puisque x2k ≥ 0, le résultat sera démontré si on prouve que, pour tout k ≥ 0, on a (2k)! ≥ 2k k!.
C’est vrai pour k = 0, et pour k ≥ 1, on écrit simplement :

(2k)! 2k × (2k − 1) × · · · × (k + 1)
k
= .
2 k! 2 × 2 × ··· × 2
Comme k + 1 ≥ 2, k + 2 ≥ 2 . . . , on obtient bien le résultat voulu.
Exercice 26 - Calcul de la somme d’une série - L2/Math Spé - ?
n+1 2
(−1)
1. Posons un = n(2n+1) x2n+1 . Alors |u|un+1
n|
| n(2n+1)x
= (n+1)(2n+3) → |x|2 . Ainsi, d’après la règle de
d’Alembert, la série entière est convergente pour |x| < 1 et divergente pour |x| > 1. Son
rayon de convergence est donc 1.
2. La série dérivée est, pour |x| < 1,
+∞
(−1)n+1 2n
f 0 (x) =
X
x = ln(1 + x2 ).
n=1
n

http://www.bibmath.net 16
 Séries entières : corrigé

En effet, pour x ∈] − 1, 1[, on a 0 ≤ x2 < 1 et on est bien dans le domaine de validité

du développement en série entière de ln(1 + u). Puisque f (0) = 0, on en déduit f (x) =
Rx 2
0 ln(1 + t )dt. On calcule cette intégrale en effectuant une intégration par parties :
Z x
f (x) = 1 × ln(1 + t2 )dt
0
x
2t2
Z x
t

= − dt
1 + t2
0 0 1+t
2
Z x 2
t +1−1
= x ln(1 + x2 ) − 2 dt
0 t2 + 1
Z x
1
 
2
= x ln(1 + x ) − 2 1− 2 dt
0 t +1
= x ln(1 + x2 ) − 2 [t − arctan(t)]x0
= x ln(1 + x2 ) − 2x + 2 arctan x.

3. L’égalité f (x) = x ln(1 + x2 ) − 2x + 2 arctan x n’est valable que pour x ∈] − 1, 1[. On va

montrer que f , définie par sa série entière, est en fait continue sur [0, 1]. Par continuité,
l’égalité précédente restera vraie sur [0, 1] tout entier. Pour cela, il suffit de démontrer que
la série converge uniformément sur [0, 1]. Mais, pour tout x ∈ [0, 1], on a

(−1)n+1 x2n+1 1
≤
n(2n + 1) n(2n + 1)
qui est le terme général d’une série convergente. La série définissant f converge alors
normalement, donc uniformément, sur [0, 1], et f est continue sur [0, 1]. Il en est de même
de x 7→ x ln(1 + x2 ) − 2x + 2 arctan(x). Puisque ces deux fonctions sont égales sur [0, 1[,
elles le sont encore en 1, et on a :
+∞
X (−1)n+1 π
= f (1) = ln(2) − 2 + .
n=1
n(2n + 1) 2

Exercice 27 - Calcul de la somme d’une série - L2/Math Spé - ??

1. On a
x3n−1
S 0 (x) =
X

n≥1
(3n − 1)!
x3n−2
S 00 (x) =
X

n≥1
(3n − 2)!
X x3n−3 X x3n
S (3) (x) = = = S(x).
n≥1
(3n − 3)! n≥0 (3n)!

Ainsi, S est solution de l’équation y (3) − y = 0.

2. L’équation précédente est une équation différentielle linéaire à coefficients constants. Son
équation caractéristique est r3 − 1 = 0, qui admet pour racines 1, j, j 2 . Toute solution
2
s’écrit donc y(x) = aex + bejx + cej x .

http://www.bibmath.net 17
 Séries entières : corrigé

3. S est la solution de l’équation différentielle précédente vérifiant S(0) = 1, S 0 (0) = S 00 (0) =

0. On obtient le système 

 a+b+c = 1
a + bj + cj 2 = 0
 a + bj 2 + cj = 0


d’où on tire a = b = c = 1/3. On a donc

√ !
1 x 2
 ex 2 −x/2 3x
S(x) = e + ejx + ej x = + e cos .
3 3 3 2

On en déduit finalement
X 1
= 1.
n≥0
(3n)!

Exercice 28 - Une suite récurrente - L2/Math Spé - ??

1. On introduit la série entière f (x) = n≥0 un xn . Supposons que son rayon de convergence
P

soit r > 0. Alors, faisant le produit de Cauchy des deux séries, on a, pour tout x ∈] − r, r[,

X n
X
2 n
f (x) = vn x avec vn = uk un−k = un+1 .
n≥0 k=0

Autrement dit, on a
X f (x) − f (0)
f 2 (x) = un+1 xn = .
n≥0
x

Pour chaque x ∈] − r, r[, f (x) vérifie donc l’équation

xf 2 (x) − f (x) + 1 = 0.

Il en résulte que, pour chaque x ∈] − r, r[, on doit avoir

√ √
1 − 1 − 4x 1 + 1 − 4x
f (x) = ou f (x) = .
2x 2x
Or, f doit être continue
√
en 0 avec f (0) = 1. S’il existe une suite (xn ) tendant vers 0 pour
1+ 1−4xn
laquelle f (xn ) = 2xn , alors |f (xn )| → +∞, ce qui est contradictoire. Donc il existe
ρ > 0 tel que √
1 − 1 − 4x
f (x) = pour tout x ∈] − ρ, ρ[.
2x
√
2. Réciproquement, soit f (x) = 1− 2x 1−4x
6 0, f (0) = 1. On va prouver que f est
si x =
développable en série entière au voisinage de 0. En effet, pour tout x ∈] − 1/4, 1/4[, on a

√ +∞
X (2n − 2)! xn
1 − 4x = 1 − 2 .
n=1
(n − 1)! n!

http://www.bibmath.net 18
 Séries entières : corrigé

On en déduit que, pour tout x ∈] − 1/4, 1/4[, on a

+∞
X (2n)!
f (x) = xn .
n=0
n!(n + 1)!

Puisque f vérifie xf 2 (x) − f (x) + 1 = 0, le calcul effectué à la première question prouve

(2n)!
, a0 = 1 et an+1 = nk=0 ak an−k . On en déduit que, pour tout
P
que, en posant an = n!(n+1)!
n ∈ N, on a
(2n)!
un = an = .
n!(n + 1)!

Exercice 29 - Une égalité intégrale/séries - Math Spé - ??

Remarquons d’abord que l’intégrale est bien définie. En effet, la fonction peut être prolongée
par continuité en 0 et en 1. Par exemple, en 0, ln(x) ln(1 − x) ∼0 −x ln(x) et cette dernière
fonction tend vers 0 quand x tend vers 0. D’autre part, on a
Z 1 +∞
xn
Z 1 X
ln(x) ln(1 − x)dx = − ln(x)dx.
0 0 n=1 n
n
On pose fN (x) = N x
n=1 − n ln x. Alors fN converge simplement sur ]0, 1[ vers ln(x) ln(1 − x).
P

D’autre part, fN ≤ fN +1 . Par le théorème de convergence monotone, on obtient

+∞
xn
Z 1 XZ 1
ln(x) ln(1 − x)dx = − ln xdx.
0 n=1 0
n

On calcule cette dernière intégrale très facilement en intégrant par parties.

Exercice 30 - Nombre de dérangements - L2/Math Spé - ??

1. Si on note Ak l’ensemble des permutations de {1, . . . , n} ayant k point fixes, alors la famille
A0 , . . . , An forme une partition de l’ensemble des permutations de {1, . . . , n}. Ainsi, on a
bien n! = nk=0 card(Ak ) = nk=0 Dn,k .
P P

2. Pour
chaque permutation ayant k points fixes, il y a

– nk choix possibles de ces k points fixes (choisir k éléments parmi n) ;
– ce choix effectué, la permutation agit comme une permutation sans point fixe sur les
n − k éléments restants. Il y a Dn−k,0 telles permutations.

Le nombre de permutations ayant k points fixes vaut donc nk Dn−k,0 .
n
3. Clairement, on a 0 ≤ dn ≤ n!, soit |dnn!
||z|
≤ |z|n . La série converge absolument si |z| < 1,
son rayon de convergence est au moins égal à 1.
4. Puisque les séries entières définissant exp x et f (x) ont un rayon de convergence supérieur
ou égal à 1, leur produit de Cauchy est absolument convergent pour |x| < 1. De plus, on
a
+∞ n
X X dn−k 1
(exp x)f (x) = bn xn avec bn = × .
n=0 k=0
(n − k)! n!
Mais
n n n
!
X dk 1 1 X n 1 X
× = dn−k = Dn,k = 1.
k=0
k! (n − k)! n! k=0 k n! k=0

http://www.bibmath.net 19
 Séries entières : corrigé

On obtient
+∞
X 1
(exp x)f (x) = xn = .
n=0
1−x
1
5. De l’égalité (exp x)f (x) = 1−x , on tire

e−x
f (x) = .
1−x
On réalise le produit de Cauchy des deux séries entières obtenues à droite et on trouve
+∞ n
X X (−1)k
f (x) = cn xn avec cn = .
n=0 k=0
k!
Pn (−1)k
Par identification, on obtient bien dn = n! k=0 k! .
Pn (−1)k
6. La probabilité recherchée est pn = dn /n! = k=0 k! .
Utilisant le développement en
série entière de exp(−x), on trouve que cette probabilité converge vers exp(−1) = 1/e.

Exercice 31 - Une équation différentielle détaillée - L2/Math Spé - ?

1. Soit r > 0 le rayon de convergence de f . On a, pour tout x ∈] − r, r[,

X
f (x) = an xn
n≥0
+∞ +∞
xf 0 (x) = x
X X
nan xn−1 = nan xn
n=1 n=0
+∞ +∞
f 00 (x) =
X X
n(n − 1)xn−2 = (n + 2)(n + 1)an+2 xn .
n=2 n=0

On en déduit que, pour tout x ∈] − r, r[, on a

+∞
f 00 (x) + xf 0 (x) + f (x) =
X
bn xn
n=0
avec
bn = (n + 2)(n + 1)an+2 + (n + 1)an .
Or, f 00 + xf 0 + f = 1. Par unicité du développement en série entière, on obtient b0 = 1 et
bn = 0 pour tout n ≥ 1. Ceci nous donne les relations
an
a2 = (1 − a0 ) et an+2 = − pour n ≥ 1.
n+2
2. On sait en outre que a0 = y(0) = 0 et que a1 = y 0 (0) = 0. On en déduit que tous les
termes impairs a2n+1 sont nuls, puis que, pour les termes pairs
−1 −1 −1
     
a2n = × × ··· × a2
2n 2n − 2 4
(−1)n+1
= .
2 × 4 × · · · × 2n

http://www.bibmath.net 20
 Séries entières : corrigé

On factorise tous les termes qui sont pairs au dénominateur, et on trouve

(−1)n+1
a2n =
2n n!
valable pour n ≥ 1. Réciproquement, posons
X (−1)n+1
f (x) = n
x2n .
n≥1
2 n!

La série entière qui apparait est de rayon de convergence égal à +∞, la fonction f ainsi
définie est donc de classe C ∞ et, remontant les calculs, elle est solution de l’équation
différentielle initiale. De plus, on peut l’identifier à une fonction classique. En effet,
!n
X 1 −x2
f (x) = − = 1 − exp(x2 /2).
n≥1
n! 2

Exercice 32 - Solutions développables en série entière d’une équation différentielle

- L2/Math Spé - ?
On procède par analyse-synthèse. On suppose qu’il existe une solution développable en série
entière y(x) = +∞ n
P
n=0 an x , de rayon de convergence R > 0. On introduit ce développement dans
l’équation :
X X X
x2 (1 − x) n(n − 1)an xn−2 − x(1 + x) nan xn−1 + an xn = 0
n≥2 n≥1 n≥0

pour tout x ∈] − R, R[, soit encore

X X X X X
n(n − 1)an xn − n(n − 1)an xn+1 − nan xn − nan xn+1 + an xn = 0.
n≥2 n≥2 n≥1 n≥1 n≥0

On réindexe les deuxième et quatrième somme de sorte d’obtenir à l’intérieur le terme xn :

X X X X X
n(n − 1)an xn − (n − 1)(n − 2)an−1 xn − nan xn − (n − 1)an−1 xn + an xn ,
n≥2 n≥3 n≥1 n≥2 n≥0

ceci étant identiquement nul sur ] − R, R[. Sachant qu’une série entière est nulle si et seulement
si tous ses coefficients sont nuls, on peut identifier. Le terme en x0 donne a0 = 0, celui en x1
donne 0 = 0, celui en x2 donne 2a2 − 2a2 − a1 + a2 = 0, soit a2 = a1 . Pour n ≥ 3, , on obtient



n(n − 1) − n + 1 an + − (n − 1)(n − 2) − (n − 1) an−1 = 0
i.e. an = an−1 pour tout n ≥ 3. Toute solution développable en série entière s’écrit donc :
X ax
y(x) = a xn = , a ∈ R.
n≥1
1−x

Réciproquement (c’est la partie synthèse du raisonnement), on vérifie aisément, en les introdui-

ax
sant dans l’équation différentielle, que les fonctions x 7→ 1−x sont solution de l’équation.
Une fois cette solution trouvée, on peut alors résoudre complètement l’équation différentielle en
utilisant la méthode d’abaissement de l’ordre.
Exercice 33 - Séries entières et équations différentielles - abaissement de l’ordre
- L2/Math Spé - ???

http://www.bibmath.net 21
 Séries entières : corrigé

1. On cherche une solution développable en série entière, qui s’écrit donc y(x) =
P n.
n≥0 an x
On introduit ceci dans l’équation

X +∞
X X
n(n − 1)an xn−1 + 2nan xn−1 − an xn+1 = 0.
n≥2 n=1 n≥0

On réindexe la troisième somme pour retrouver une somme faisant apparaitre un terme
en xn−1 . On trouve
X +∞
X X
n(n − 1)an xn−1 + 2nan xn−1 − an−2 xn−1 = 0.
n≥2 n=1 n≥2

On en déduit a1 = 0, puis, pour n ≥ 2,

n(n + 1)an = an−2 .

On en déduit que, pour tout entier p, a2p+1 = 0 alors

a2p−2 a0
a2p = = ··· = .
(2p + 1)2p (2p + 1)!
P x2p
Comme la série entière p≥0 (2p+1)! a pour rayon de convergence +∞, on trouve que la
fonction
X x2p sinh(x)
f (x) = =
p≥0
(2p + 1)! x

est solution sur R de l’équation.

On résoud alors l’équation sur ]0, +∞[ ou sur ] − ∞, 0[ (où on sait que l’ensemble des
solutions est un espace vectoriel de dimension 2) par la méthode d’abaissement de l’ordre.
Pour cela, on pose y(x) = f (x)z(x). Sachant que f est solution de l’équation, on trouve
que y est aussi solution si et seulement si z vérifie l’équation différentielle

2xf 0 z 0 + xf z 00 + 2f z 0 = 0.

C’est une équation du premier ordre en z 0 , que l’on sait résoudre. Remplaçant f par sa
valeur, on trouve

z 00 cosh x
2 cosh xz 0 + sinh xz 00 = 0 =⇒ = −2 .
z0 sinh x
Il vient
λ
z0 =
sinh2 x
puis
λ cosh x
z= + µ.
sinh x
Finalement, toute solution sur ]0, +∞[ s’écrit sous la forme

sinh x
y(x) = µ + λcosh xx.
x

http://www.bibmath.net 22
 Séries entières : corrigé

Si on cherche maintenant les solutions sur R tout entier, il faut procéder par recollement.
Si y est solution sur R, il existe des constantes λ1 , λ2 , µ1 , µ2 telles que
(
x cosh x
µ1 sinh
x + λ1 x si x > 0
y(x) = x cosh x
µ2 sinh
x + λ2 x si x < 0

En étudiant la limite de cosh x/x en zéro, et sachant que y doit être continu en 0, on voit
que λ1 = λ2 = 0. D’autre part, puisque sinh x/x → 1 en 0, la continuité de y en 0 impose
alors que µ1 = limx→0+ y(x) = limx→0− y(x) = µ2 . Ainsi, les solutions sur R de l’équation
x
sont les fonctions x 7→ µ sinh
x .
2. On recopie la même méthode, en posant y(x) =
P n.
n≥0 an x Si on introduit dans l’équa-
tion, on trouve
X X X X
n(n − 1)an xn − n(n − 1)an xn−1 + 3 nan xn + an xn = 0.
n≥2 n≥2 n≥1 n≥0

On change les indices dans la deuxième somme pour trouver :

X X X X
n(n − 1)an xn − n(n + 1)an+1 xn + 3 nan xn + an xn = 0.
n≥2 n≥1 n≥1 n≥0

Par identification, on trouve a0 = 0, a2 = 2a1 , puis, pour n ≥ 2 :

n+1
an+1 = an .
n
Ainsi, par récurrence, on trouve an = na1 . Puisque la série entière
P n
n≥1 nx a pour rayon
de convergence 1, on a prouvé que la fonction
X x
f (x) = nxn =
n≥1
(1 − x)2

est solution de l’équation sur ] − 1, 1[ (en réalité, sur ] − ∞, 1[).

On va ensuite résoudre l’équation sur ]0, 1[, par la méthode d’abaissement de l’ordre. Pour
cela, on pose y(x) = f (x)z(x). Sachant que f est solution de l’équation, on trouve que y
est aussi solution si et seulement si z vérifie l’équation différentielle

2x(x − 1)f 0 z 0 + x(x − 1)f z 00 + 3xf z 0 = 0.

C’est une équation du premier ordre en z 0 , que l’on sait résoudre. Remplaçant f par sa
valeur, simplifiant par x, et après regroupement, on trouve

z 0 (x − 2) = x(1 − x)z 00 .

On réécrit cette équation sous la forme

z 00 x−2 2 1
0
= =− − .
z x(1 − x) x 1−x
Ceci s’intègre en
1−x 1 1
 
0
z =λ 2 =λ 2
− .
x x x

http://www.bibmath.net 23
 Séries entières : corrigé

On intègre encore une fois pour trouver z. Quitte à changer λ en −λ, il vient :
1
 
z=λ + ln x + µ.
x

Les solutions de l’équation sur ]0, 1[ sont donc les fonctions

µx + λ(1 + x ln x)
y(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 développement limité du numérateur, en posant x = 1 − h. Il vient


N (x) = µ(1 − h) + λ 1 + (1 − h) ln(1 − h)
= µ − µh + λ 1 + (1 − h)(−h − h2 /2 + o(h2 ))

= µ − µh + λ 1 − h + h2 /2 + o(h2 )

= (µ + λ) − (µ + λ)h + λh2 /2 + o(h2 )

Puisque le dénominateur est h2 , la fonction admet une limite en 1 si et seulement si

λ = −µ. D’autre part, il faut que la fonction soit dérivable en 0. Mais, du fait de la
présence du terme x ln x, dont le taux d’accroissement en 0 tend vers −∞, la fonction ne
peut être dérivable que si λ = 0. Ainsi, la seule solution sur R est la fonction nulle !

Exercice 34 - Séries entières et équations différentielles - changement de variables

- Math Spé/L2/Agreg interne - ???

P+∞
1. Soit y(x) = i=0 ai xi une solution de l’équation développable en série entière. Alors, on
a
+∞
00 0
X
2
(i + 1)(2i − 1)ai+1 + ai−2 xi = 0.


2xy − y + x y = −a1 + 2a2 x +
i=2
Par unicité du développement en série entière, on trouve a1 = a2 = 0 et la formule de
récurrence
1
ai+1 = − ai−2 .
(i + 1)(2i − 1)
On a donc, pour tout k dans N, a3k+1 = a3k+2 = 0 et
1 1
a3k = − a3k−3 = − a3k−3 .
3k(6k − 3) 9k(2k − 1)

Par récurrence,

(−1)k (−1)k 2k k! (−1)k 2k

a3k = a0 = a0 = a0 .
9k k!(2k − 1) × (2k − 3) · · · × 3 × 1 9k k!(2k)! 9k (2k)!

Réciproquement, pour tout a0 dans R, la série entière

+∞
X (−1)k 2k 3k
y(x) = a0 x
k=0
9k (2k)!

http://www.bibmath.net 24
 Séries entières : corrigé

a pour rayon de convergence +∞ et est solution de l’équation différentielle.

x3k
Si on cherche maintenant à identifier à une fonction classique, le terme (2k)! nous met sur
la voie. Cela ressemble au terme général de cos(x), ou plutôt
 de cos(x3/2 ). Comme ceci
n’est défini que pour x > 0, il faut aussi considérer cosh (−x)3/2 pour x < 0. Avec une
2k
homothétie pour obtenir 9k
, on trouve finalement que
 √ 
2 3/2
 a0 cos x si x ≥ 0
y(x) = 3√ 
2
 a0 cosh (−x)3/2
3 si x ≤ 0.

2. La forme
√ de la solution trouvée précédemment nous conduit au changement de variables
2 3/2
t= 3 x pour x > 0, c’est-à-dire à chercher l’équation différentielle vérifiée par z(t) =
y(x). Or, √
0 2 1/2 0
y (x) = x z (t)
2
et √
1 00 2
y (x) = xz (t) + 1/2 z 0 (t).
00
2 4x
On trouve donc
√ √
00 0 2 2 00 2 1/2 0 2 1/2 0
2xy − y + x y = x z + x z − x z + x2 z = 0.
2 2
z vérifie donc l’équation différentielle z 00 + z = 0, et donc z = λ cos(t) + µ sin(t) pour
λ, µ ∈ R. Autrement dit, la solution générale de (E) sur ]0, +∞[ est donnée par :
√ ! √ !
2 3/2 2 3/2
y(x) = λ cos x + µ sin x .
3 3
√
Pour résoudre l’équation sur ] − ∞, 0[, on pose cette fois t = 32 (−x)3/2 . La fonction
z(t) = y(x) vérifie l’équation différentielle z 00 − z = 0, et donc la solution générale sur
] − ∞, 0[ est donnée par
√ ! √ !
0 2 3/2 0 2 3/2
y(x) = λ cosh x + µ sinh x .
3 3

3. Soit y une solution de (E) sur R. D’après la question précédente, on sait qu’il existe des
constantes λ, µ, λ0 , µ0 ∈ R telles que
 √  √ 
 λ cos 2 3/2 2 3/2
x + µ sin x pour x > 0
y(x) = 3 √  3 √ 
 λ0 cosh 2
(−x) 3/2 + µ0 sinh 2
(−x)3/2 pour x < 0.
3 3

Comme y est continue en 0 et que lim0+ y = λ alors que lim0− y = λ0 , on en déduit que
λ = λ0 . D’autre part, pour x > 0, on note y(x) = λy1 (x) + µy2 (x). On a
√ !!00 √ ! √ √ !
2 3/2 x 2 3/2 2 2 3/2
y200 (x) = sin x = − sin x + 1/2 cos x .
3 2 3 4x 3

http://www.bibmath.net 25
 Séries entières : corrigé

Pour x → 0, ceci tend vers +∞. Or, puisqu’une solution de (E) est de classe C 2 , on sait que
y 00 (x) admet une limite (finie) quand x tend vers 0, et que y1 se prolonge en fonction C ∞ sur
R. En particulier, lim0 y100 existe (et est finie). Puisque lim0+ y 00 = λ lim0+ y100 + µ lim0+ y200 ,
ceci ne peut être fini que si µ = 0. De même, on trovue que µ0 = 0. Les seules solutions
sur R de (E) sont donc celles données par la première question.
Si vous trouvez une erreur, une faute de frappe, etc... dans ces exercices, merci de la signaler à
[email protected] Venez poursuivre le dialogue sur notre forum :

http://www.bibmath.net/forums

http://www.bibmath.net 26