PSI 2022-2023

• On considère dans tous les cas que l’automate est initialement au niveau 0.
On se propose alors d’étudier essentiellement l’existence de l’espérance et de
la variance de la variable aléatoire correspondant au temps d’attente de la
Feuille d’exercices n°9 : Séries entières séquence prédéfinie à travers sa série génératrice.
• Pour cette étude probabiliste, on mobilise diverses propriétés analytiques (sur-
tout sur les séries entières) et quelques propriétés d’algèbre linéaire.
• Pour n ∈ N∗ , on note :
× Pn l’évènement « l’automate génère la lettre P à l’instant n »,
× Cn l’évènement « l’automate génère la lettre C à l’instant n ».
Sujets de concours
Exercice 1 (d’après CCINP 2011 - PSI-1) Partie I - étude d’un cas simple
xk Dans cette partie, on dit que l’automate passe du niveau 0 au niveau 1 dès
(−1)k−1 •
P
Pour tout x réel tel que la série entière converge, on note :
k⩾1 k qu’il génère la lettre C. Si, en revanche, il génère la lettre P, alors il reste au
niveau 0. L’expérience s’arrête dès que l’automate a atteint le niveau 1. On
+∞ xk résume l’expérience par la figure 1 suivante :
(−1)k−1
P
L(x) =
k=1 k
sa somme.
1. Préciser le rayon de convergence de cette série entière, montrer que la fonction
L est définie sur ] − 1, 1] et expliciter L(x) pour x ∈ ] − 1, 1[.
2. Montrer, avec soin, que la fonction L est continue sur l’intervalle [0, 1].
En déduire que L(1) = ln(2). Fig. 1

Exercice 2 (d’après CCINP 2017 - PC) • On note Y l’instant où, pour la première fois, l’automate atteint le niveau 1.
• Soit p ∈ ]0, 1[. On pose q = 1 − p. On admet que Y est une variable aléatoire définie sur un espace probabilisé
(Ω, A , P) telle que Y (Ω) ⊂ N∗ . On note GY la série génératrice de Y et RY
• On considère un automate qui génère successivement les lettres C ou P jusqu’à
son rayon de convergence.
obtenir une certaine séquence prédéfinie.
• On sait alors que RY ⩾ 1 et :
• On suppose que pour tout n ∈ N∗ , l’automate génère la n-ième lettre à l’ins-
tant n de façon indépendante de toutes les générations précédentes. On sup-
+∞
∀t ∈ ] − RY , RY [, GY (t) = E tY = P {Y = n} tn
P

pose également qu’à chaque génération, les lettres P et C ont des probabilités n=1
p et q (respectivement) d’être générées. Suivant les parties considérées, on
définit différents niveaux que l’automate peut atteindre. 1. Reconnaître la loi de Y et préciser en particulier P(Y = n) pour n ∈ N∗ .

1
 PSI 2022-2023

1 qt λt3
2. Montrer que RY = > 1 et : ∀t ∈ ] − p1 , p1 [, GY (t) = . • Pour tout réel t tel que | t | < | a |, on pose : g(t) = .
p 1 − pt (t − a)(t − b)(t − c)
1 2p
3. Montrer que GY est 2 fois dérivable en 1 et que G′ (1) = et G′′ (1) = 2 . 11. Justifier que g est développable en série entière au voisinage de 0 et que la
q q série entière qui lui est associée possède un rayon de convergence Rg tel que
4. Donner les valeurs de E(Y ) et de V(Y ). Rg ⩾ | a |.

Partie II - Séries entières Exercice 3 (d’après CCINP 2018 - PC)

1 On admet dans la suite du problème :
Soit z ∈ C et a ∈ C∗ . Pour n ∈ N, on pose un (a) = − n+1 .
a
5. Montrer que
P n
un (a)z est une série entière de rayon de convergence | a |. ∀n ∈ N∗ , (n + 1)Ln+1 − (2n + 1)XLn + nLn−1 = 0
1 +∞
Ln (x) tn .
P
6. Montrer que si | z | < | a |, on a : =
P
un (a)z n . et on considère la série entière de la variable t :
z − a n=0 2
On note r la racine positive du polynôme X − 2X − 1.
Soient a, b et λ des nombres complexes non nuls. Dans les questions 7 à 10 , on 1. Montrer que : ∀x ∈ [−1, 1], ∀n ∈ N, |L (x)| ⩽ rn .
Pn n
suppose que | a | < | b |. On définit alors, pour tout n ∈ N, vn = uk (a)un−k (b) (on pourra raisonner par récurrence et utiliser la relation admise au début
k=0 de cette partie)
λt2
et pour tout réel t tel que | t | < | a |, f (t) = . 2. Pour x ∈ [−1, 1], on note R(x) le rayon de convergence de la série entière
(t − a)(t − b)
1
Ln (x) tn . Montrer que : R(x) ⩾ .
P
7. Montrer que l’on a :
r
k +∞
n
   
1 P b 1 1 1 3. Pour x ∈ [−1, 1] et t ∈ ] − 1r , 1r [, on pose Sx (t) = Ln (x) tn .
P
vn = n+1 = n+1
− n+1 n=0
ab k=0 a b−a a b
Montrer que Sx est solution sur ] − 1r , 1r [ de l’équation différentielle linéaire
8. Trouver un équivalent simple de vn quand n tend vers +∞. du premier ordre :
vn z n est égal à | a | et que si
P
9. En déduire que le rayon de convergence de (1 − 2tx + t2 )y ′ + (t − x)y = 0
| z | < | a |, alors :
1 +∞
vn z n 4. En déduire :
P
=
(z − a)(z − b) n=0
1 1 +∞ 1
Ln (x)tn = √
P
10. Justifier que f est développable en série entière au voisinage de 0 et que la ∀x ∈ [−1, 1], ∀t ∈ ] − , [,
r r n=0 2
t − 2xt + 1
série entière qui lui est associée possède un rayon de convergence R tel que
f
Rf = | a |. 5. Indiquer une méthode permettant, à partir du seul résultat de la question 4,
• Soient a, b, c et λ des nombres complexes non nuls. de retrouver l’expression des polynômes L0 , L1 et L2 .
• On suppose que : | a | ⩽ | b | ⩽ | c |.

2
PSI 2022-2023

βk xk est solution , alors la suite (βk )k∈N satisfait aux

P
Exercice 4 (d’après CCINP 2018 - PSI) 5. Montrer que si
k⩾0
Partie III - Une équation de Bessel relations suivantes :

On se propose dans cette partie d’étudier l’équation différentielle :  β0 = 1
n
(2)
 ∀n ∈ N∗ ,
P
2 ′′ ′ 2 αk βn−k = 0
x y + xy + x y = 0 (1) k=0

1. Rappeler la définition du rayon de convergence d’une série entière. Soit r un réel tel que 0 < r < Rα .
M
6. Montrer qu’il existe un réel M > tel que pour tout k ∈ N : |αk | ⩽ k .
Série entière dont la somme est solution de (1) r
7. Montrer que (2) admet une unique solution (β )
k k∈N et que, pour tout k ∈ N∗ :
ck xk , avec c0 = 1, de rayon de
P
On suppose qu’il existe une série entière
k⩾0
convergence R non nul et dont la fonction somme J0 est solution de (1) sur M (M + 1)k−1
|βk | ⩽ .
] − R, R[. rk
2. Montrer que pour tout k ∈ N, on a : On pourra raisonner par récurrence.
βk xk ?
P
 8. Que peut-on dire du rayon de convergence Rβ > 0 de la série entière
 c2k+1 = 0 k⩾0
(−1)k
 c2k = k
4 (k!)2 Ensemble des solutions de (1)
9. Soient r > 0 et λ une fonction de classe C 2 sur ]0, r[.
ck xk .
P
3. Déterminer le rayon de convergence de la série entière Montrer que la fonction y : x 7→ λ(x)J0 (x) est solution de (1) sur ]0, r[ si et
k⩾0
seulement si la fonction x : 7→ xJ02 (x)λ′ (x) est de dérivée nulle sur ]0, r[.
4. Soient r > 0 et f une autre solution de (1) sur ]0, r[. 10. Montrer que J02 est somme d’une série entière dont on donnera le rayon de
Montrer que si (J0 , f ) est liée dans l’espace vectoriel des fonctions de classe convergence. Que vaut J02 (0) ?
C 2 sur ]0, r[, alors f est bornée au voisinage de 0.
11. En déduire l’existence d’une fonction η somme d’une série entière de rayon
Inverse d’une série entière non nulle en 0 de convergence Rη > 0 telle que :
αk xk une série entière de rayon de convergence Rα > 0 telle que α0 = 1.
P
Soit
k⩾0 x 7→ η(x) + J0 (x) ln(x)
L’objectif de ce paragraphe est de montrer l’existence et l’unicité d’une série en-
tière
P
βk xk de rayon de convergence Rβ > 0 telle que pour tout x appartenant soit solution de (1) sur un intervalle ]0, Rη [.
k⩾0
12. En déduire l’ensemble des solutions de (4) sur ]0, Rη [.
aux domaines de convergence des deux séries :
+∞  +∞ 
αk xk β k xk = 1
P P
k=0 k=0

3
PSI 2022-2023

Exercice 5 (d’après CCINP 2019 - PC) Partie II - Solutions de (E) sur ]0, 1[ ou ]1, +∞[
On considère l’équation différentielle suivante :
On désigne par I l’un des intervalles ]0, 1[ ou ]1, +∞[. Soit y : I → R une
x2 (1 − x)y ′′ − x(1 + x)y ′ + y = 2x3 (E) fonction de classe C 2 . On définit la fonction z : I → R par la relation :
 
1
Partie I - Solution particulière de l’équation homogène ∀x ∈ I, z(x) = − 1 y(x)
x
Dans cette première partie, on souhaite déterminer les solutions développables
en série entière de l’équation différentielle homogène associée à (E) : 6. Justifier que z est de classe C 2 sur l’intervalle I, puis exprimer z ′ et z ′′ avec
y, y ′ et y ′′ .
x2 (1 − x)y ′′ − x(1 + x)y ′ + y = 0 (H)
7. Montrer que y est solution de (E) sur I si et seulement si z est solution sur
an xn ait
P
On fixe une suite de nombres réels (an )n∈N telle que la série entière I de l’équation différentielle :
un rayon de convergence r > 0. On définit la fonction f : ] − r, r[→ R par :
+∞ xz ′′ + z ′ = 2x (E1 )
P n
∀x ∈ ] − r, r[, f (x) = an x
n=0 8. Montrer que si z est solution de (E1 ) sur I, alors il existe λ ∈ R tel que :
1. Justifier que la fonction f est de classe C et que les fonctions f et f sont
2 ′ ′′
λ
développables en série entière. ∀x ∈ I, z ′ (x) = + x
Exprimer avec la suite (an )n∈N les développements en série entière respectifs x
′ ′′
des fonctions f et f en précisant leur rayon de convergence. 9. En déduire l’ensemble des solutions de l’équation différentielle (E) sur I.
2. Montrer qu’il existe une suite (bn )n⩾2 de nombres réels non nuls telle que
pour tout x ∈ ] − r, r[, on a : Partie III - Solutions de (E) sur ]0, +∞[
+∞
x2 (1 − x)f ′′ (x) − x(1 + x)f ′ (x) + f (x) = a0 + bn (an − an−1 )xn 10. Déterminer l’ensemble des solutions de l’équation différentielle (E) sur ]0, +∞[.
P
n=2

3. Montrer que f est solution de (H) sur l’intervalle ] − r, r[ si et seulement si

a0 = 0 et an+1 = an pour tout n ∈ N∗ .
4. En déduire que si f est solution de (H) sur ] − r, r[, alors r ⩾ 1 et il existe
λ ∈ R tel que :
λx
∀x ∈ ] − 1, 1[, f (x) = .
1−x
5. Réciproquement, montrer que si λ ∈ R, alors la fonction
λx
g :] − 1, 1[→ R, x 7→
(1 − x)
est une solution de (H) sur ] − 1, 1[ développable en série entière.

4
PSI 2022-2023

Exercice 6 (d’après E3A 2017 - PC-2) e) Donner alors l’expression de la solution générale y ∈ S.
On s’intéresse dans cette partie à l’équation différentielle : 3. a) Sachant que R(x) = − ln(x) + γ + o(1) quand x → 0 avec x > 0, déter-
′′ ′ miner les solutions y ∈ S ayant une limite finie en 0.
xy + y − (x + 1)y = 1
Exprimer alors ces solutions en utilisant la fonction S de la partie I et
1. On suppose qu’il existe une solution θ développable en série entière de cette reliée à R par :
+∞
an xn pour tout x ∈ ] − r, r[
P
équation différentielle. On note alors θ(x) = S(x) = R(x) + ln(x) + γ pour x > 0
n=0
où r > 0 est le rayon de convergence et (an )n∈N une suite réelle. (vu en I.3.c) ).
a) Déterminer alors une relation entre a1 et a0 , ainsi qu’une relation entre b) Sachant que S est développable en série entière sur R, donner l’expression
an+2 , an+1 et an pour tout n ∈ N. des solutions f de la question 1. : on exprimera f (x) en fonction de S(x)
b) Pour une telle suite (an )n∈N , montrer qu’il existe K > 0 telle que : et S(2x) pour tout x ∈ R.
Comment pourrait-on obtenir une expression des suites (an )n∈N de 1. ?
K
∀n ∈ N, |an | ⩽
n!
Exercice 7 (d’après E3A 2022 - PSI)
En déduire qu’une telle solution θ existe et que de plus r = +∞.
1. Question de cours
2. On souhaite résoudre ici cette équation différentielle sur l’intervalle I = R∗+
Soit f une fonction continue sur R, à valeurs réelles et T -périodique.
et l’on note : Z x+T Z T
Montrer : ∀x ∈ R, f (u) du = f (u) du.
n o
S = y ∈ C 2 (I, R) ∀x > 0, xy ′′ (x) + y ′ (x) − (x + 1)y(x) = 1 x 0
∗∗∗∗∗
a) Pour tout y ∈ C 2 (I, R), on pose z(x) = e−x y(x) pour tout x > 0.
Montrer que y ∈ S si et seulement si z vérifie : On se propose de déterminer des fonctions y de classe C 2 sur R et vérifiant,
pour tout réel x, la relation :
∀x > 0, xz ′′ (x) + (2x + 1)z ′ (x) = e−x (⋆)
xy ′′ (x) + y ′ (x) − 4xy(x) = 0 (∗∗)
b) Déterminer les Z ∈ C 1 (I, R) telles que :
2. On suppose qu’il existe une fonction g, développable en série entière, de
∀x > 0, xZ ′ (x) + (2x + 1)Z(x) = 0 +∞
an xn
P
rayon de convergence non nul, vérifiant (∗∗), sous la forme g : x 7→
c) Déterminer les Z ∈ C 1 (I, R) telles que : n=0
et telle que : g(0) = a0 = 1.
′ −x
∀x > 0, xZ (x) + (2x + 1)Z(x) = e a) Prouver que a1 = 0 et déterminer pour tout n ⩾ 1 une relation entre
an−1 et an+1 .
d) En déduire l’expression des fonctions z ∈ C 2 (I, R) vérifiant (⋆) de 2.a) ,
b) Déterminer alors an pour tout entier naturel n.
+∞
e−t
Z
en utilisant la fonction R définie pour x > 0 par R(x) = dt. c) Déterminer l’ensemble de définition de la fonction g ainsi obtenue.
x t
(on utilisera R(x) et R(2x))

5
PSI 2022-2023

Exercice 8 (d’après Centrale 2021 - PC-2) 6. En déduire la valeur de b1 , b2 , b3 et b4 .

On dit qu’une fonction S définie sur une partie de C est développable en série 7. En utilisant un argument de parité, montrer que b2p+1 = 0 pour tout entier
entière au voisinage de 0 s’il existe un disque ouvert D non vide de centre 0 et p ⩾ 1.
+∞
αn z n . Dans la suite du problème, on considère les polynômes Bm définis par
P
une suite complexe (αn )n∈N telle que ∀z ∈ D, S(z) =
n=0
m
 
m
bk xm−k
P
∀m ∈ N, Bm (x) =
III.A - Nombres bm et polynômes Bm k=0 k
n
P
On considère une série entière αn z , de rayon de convergence R ̸= 0 et avec On remarque que chaque polynôme Bm est unitaire de degré m et que, pour
n⩾0
α = 1. On note S la somme de cette série entière sur son disque de convergence : tout m ∈ N, Bm (0) = bm .
0
pour tout z ∈ C vérifiant |z| < R, on a : 8. Déterminer B0 , B1 , B2 et B3 .

+∞
9. Montrer que, pour tout entier m ⩾ 2, Bm (1) = bm , puis que, pour tout entier
′ = mB
αn z n
P
S(z) = m ⩾ 1, Bm m−1 .
n=0

1. Montrer qu’il existe un réel q > 0 tel que ∀n ∈ N, |αn | ⩽ q n . Exercice 9 (d’après Centrale 2020 - PSI-2)
1
2. On suppose que est développable en série entière au voisinage de 0 et on III - Développement en série entière
S Le but de cette partie est d’établir que la fonction W définie dans la partie I
βn z n son développement. Calculer β0 et, pour tout n ∈ N∗ , exprimer
P
note
n⩾0 est développable en série entière et de préciser son développement ainsi que son
βn en fonction de α1 , . . . , αn , β1 , . . . , βn−1 . En déduire : rayon de convergence. Pour cela, on commence par établir un résultat de nature
algébrique.
∀n ∈ N, |βn | ⩽ (2q)n
III.A - Le théorème binomial d’Abel
1
3. Montrer que est développable en série entière au voisinage de 0. • On considère dans cette partie un entier naturel n ainsi qu’un nombre com-
S
4. En utilisant ce qui précède, montrer qu’il existe une unique suite complexe plexe a. On définit une famille de polynômes (A0 , A1 , . . . , An ) en posant
(bn )n∈N et un réel r > 0 tels que, pour tout z ∈ C :
1
A0 = 1 et ∀ k ∈ J1, nK, Ak = X(X − ka)k−1
z +∞
P bn n k!
0 < |z| < r ⇒ z = z
e − 1 n=0 n! • On note C [X] le C-espace vectoriel des polynômes à coefficients complexes
n
et de degré inférieur ou égal à n.
5. En effectuant un produit de Cauchy, montrer que b0 = 1 et, pour tout entier
n ⩾ 2, 1. Démontrer que la famille (A0 , A1 , . . . , An ) est une base de Cn [X].
n−1
 
P n 2. Démontrer que pour tout k ∈ J1, nK, A′k (X) = Ak−1 (X − a)
bp = 0
p=0 p

6
 PSI 2022-2023

(j)
3. En déduire, pour j et k éléments de J0, nK, la valeur de Ak (ja). On distin- 11. Démontrer que h est solution sur ] − R, R[ de l’équation différentielle :
guera suivant que j < k, j = k ou j > k. Soit P un élément de Cn [X] et
xy ′ − y = 0
soient α0 , . . ., αn des nombres complexes tels que :
n
P 12. Résoudre l’équation différentielle xy ′ −y = 0 sur chacun des intervalles ]0, R[,
P = αk Ak ] − R, 0[, puis sur l’intervalle ] − R, R[.
k=0
13. En déduire :
4. Démontrer que, pour tout j ∈ J0, nK, αj = P (j) (ja). ∀ x ∈ ] − R, R[, S(x) = W (x)
5. En déduire l’identité binomiale d’Abel : 14. Ce résultat reste-t-il vrai sur [−R, R] ?
n
 
3 n n n
x(x − ka)k−1 (y + ka)n−k
P
∀ (a, x, y) ∈ C , (x + y) = y +
k=1 k Exercice 10 (d’après Centrale 2019 - PSI-1)

6. Établir la relation : Soit α un réel. On note fα : x 7→ (1 − x)−α .

n
 
n 1. Préciser le domaine de définition D de fα .
2 n−1
(−ka)k−1 (y + ka)n−k
P
∀(a, y) ∈ C , ny = Justifier que fα est de classe C 1 sur D et donner une équation différentielle
k=1 k
linéaire du premier ordre vérifiée par fα sur D.
III.B - Développement en série entière de la fonction W 2. Énoncer le théorème de Cauchy pour une équation différentielle scalaire li-
• On définit une suite (an )n⩾1 en posant, néaire du premier ordre et démontrer que, pour tout x ∈ ] − 1, 1[,

(−n)n−1
+∞
P xn
∗
∀n ∈ N , an = fα (x) = Ln (α)
n! n=0 n!
+∞ 3. Rappeler la définition du produit de Cauchy de deux séries entières et énoncer
an xn .
P
• On définit, lorsque c’est possible, S(x) = le théorème qui s’y rapporte.
n=1
4. En déduire que, pour tout entier n et tous réels α et β,
an xn .
P
7. Déterminer le rayon de convergence R de la série entière
n
 
n⩾1 P n
Ln (α + β) = Lk (α) Ln−k (β)
8. Justifier que la fonction S est de classe C sur ] − R, R[ et, pour tout entier
∞
k=0 k
n ∈ N, exprimer S (n) (0) en fonction de n.
+∞
9. Démontrer que la fonction S est définie et continue sur [−R, R]. xp
P
5. Pour x ∈ ] − 1, 1[, donner la valeur de la somme de la série entière
p=1
10. Démontrer que,
ainsi que celle de sa dérivée.
′
∀ x ∈ ] − R, R[, x(1 + S(x))S (x) = S(x) 6. Démontrer par récurrence que, pour tout entier n ∈ N∗ , il existe un unique
polynôme Rn ∈ Rn [X] tel que, pour tout x ∈ ] − 1, 1[,
On pourra utiliser le résultat de la question 6.
+∞ Rn (x)
] − R, R[ → R
p n xp =
P
On considère la fonction h :
x 7→ S(x) eS(x) p=1 (1 − x)n+1

7
PSI 2022-2023

Rayons de convergence, calculs de sommes Exercice 16

an xn , où :
P
Déterminer le rayon de convergence et la somme de la série
Exercice 11 n⩾1
Détemriner le rayon de convergence et, lorsqu’elle s’exprime simplement, la
n
somme des séries entières de coefficients : ∀n ∈ N∗ , an =
P
ch(k)
k=1
1. n 2−n sin(n)
5. , n ∈ N∗
1 n Exercice 17
2.
(2n)!  2 Soit p ∈ N∗ . Déterminer le rayon de convergence et la somme fp (x) de la série
(−1)n n

1 6. 1 + , n ∈ J2, +∞J rp (n) xn , où rp (n) désigne le reste de la division euclidienne de n par p.
P
3. , n ∈ N∗ ln(n) n⩾0
n (n + 1)
(−1)n−1
 
n2 + 4n − 1 1 7. ln 1 + √ , n ∈ N∗
4. Exercice 18
n+4 n! n
α
Soit α un réel tel que t 7→ arcsin(t) soit intégrable sur ]0, 1]. Pour tout
Z 1
Exercice 12 ∗
n
α
n ∈ N , on pose : In (α) = arcsin(t) dt.
Déterminer les rayons de convergence des séries entières : 0
1 M
P x4n−1 P ln(n) 2n 1. Montrer qu’il existe M ∈ R tel que : In (α) − α+1
⩽ α+2 .
1. 3. 2
x (α + 1) n n
4n − 1 n  In (α) xn et étudier son compor-
P
2. Déterminer le rayon de convergence de
P 2n 2n
2.
P
3n x2n 4. x tement aux bornes.
n

Exercice 13 Exercice 19
2
Soit d(n) le nombre de diviseurs de l’entier naturel non nul n. Déterminer le Soit (un )n∈N la suite définie par (u0 , u1 ) ∈ R et : ∀n ∈ N, un+2 =P3 un+1n− 2 un .
rayon de convergence de
P n
d(n) x . Déterminer le rayon de convergence, puis calculer la somme de un x .

Exercice 14 Exercice 20. Centrale

Déterminer le rayon de convergence de la série entière de terme général 3 + On note f la fonction définie par la série entière :
n
(−1)n xn .


+∞
 
1
xn
P
f : x 7→ sin √
n=1 n
Exercice 15
t2 1. Rappeler la définition du rayon de convergence d’une série entière. Détermi-
Montrer que, pour tout réel : ch(t) ⩽ e 2 .
ner le rayon de convergence R de cette série f .
2. Étudier la convergence de la série en −R et en R.
3. Étudier lim f (x) puis la limite de x 7→ (R − x) f (x) en R− .
x→R−

8
PSI 2022-2023

Exercice 21 Exercice 23
+∞ xn +∞
un xn , où la suite (un ) est définie par :
P P
On pose g : x 7→ √ . On note S(x) =
n=1 n n=0
1. Déterminer le rayon de convergence de g. (
u0 = u1 = 1
2. Déterminer la limite puis un équivalent simple de g aux bornes de son inter-
valle ouvert de convergence. ∀n ⩾ 2, un = un−1 + 2 un−2 + (−1)n

1
Exercice 22 1. Montrer que S est de rayon ρ ⩾ .
2
an xn une série entière de rayon de convergence R > 0, telle que : 2. Calculer S(x).
P
Soit
∀n ∈ N, an ∈ R+ . On pose alors : ∀n P ∈ N, bn = ean . On note ρ le rayon de
3. En déduire, pour tout n ∈ N, une expression de un .
convergence de la nouvelle série entière bn xn .
1. Montrer que si R > 1, alors : ρ = 1.
Développements en série entière
On suppose dans les questions 2. et 3. : R ⩽ 1.
a 
n Exercice 24
2. Montrer que si la suite n’est pas bornée, alors : ρ = 0. Donner un
n n⩾1 Déterminer le développement en série entière des fonctions suivantes :
exemple simple de suite (an ) vérifiant cette condition.
8 − x3
a    Z 2π
n
ln 1 + x sin2 (t) dt


3. On suppose que la suite est bornée. 1. ln 3.
n n⩾1 a  2−x 0
∗ k 2


On note alors, pour tout n ∈ N : sn = sup . 2. (1 + x ) arctan(x) 4. sin α arcsin(x)
k⩾n k
a) Justifier que la suite (sn )n⩾1 possède une limite λ lorsque
  n tend vers
an Exercice 25
+∞. Cette limite est appelée la limite sup de la suite . Développer en série entière la fonction f définie par :
n n⩾1
b) Démontrer : ρ = e−λ . 1
f : t 7→
4. On revient au cas général et on pose : ∀n ∈ N, cn = ln(1 + an ). Déterminer (1 + t + t2 )3
le rayon de convergence ρ′ de la série entière cn xn .
P

Exercice 26
Développer en série entière la fonction g définie par :
 √ 
g : x 7→ arctan x + 3

9
PSI 2022-2023

+∞
Exercice 27. Centrale 3. a) On pose g : x 7→
P
bn xn , avec b0 = 0, sur ] − 1, 1[.
Soient a ∈ R et f une fonction dérivable de R dans R vérifiant pour tout x ∈ R : n=0
f ′ (x) = f (ax). Donner la valeur exacte de bn , puis un équivalent simple de bn .


1. Montrer que f est de classe C ∞ et donner l’expression de f (n) . b) Démontrer que |bn | n⩾1 est une suite décroissante de limite nulle.
2. Montrer que f est développable en série entière si |a| ⩽ 1. Que dire plus c) Prouver que la somme de la série entière de g est définie et continue sur
particulièrement lorsque |a| = 1 ? ] − 1, 1].

Exercice 28 Équations différentielles

Soit q un réel tel que : |q| < 1. Exercice 30. [Telephone numbers]
1. Trouver les fonctions continues de R dans R telles que : Soit (an )n∈N une suite réelle telle que pour tout n ∈ J2, +∞J : an = an−1 + (n −
1) an−2 .
∀x ∈ R, f (x) = (1 + qx) f (qx) Déterminer f de classe C ∞ telle que, pour tout n ∈ N : f (n) (0) = an .

2. Montrer que ces fonctions sont développables en séries entières sur R.

Exercice 31
Soit (un ) une suite vérifiant la relation de récurrence : ∀n ∈ N, un+2 = 2 un+1 −
Exercice 29
2 un .
On s’intéresse ici au développement en série entière de g : x 7→ ln(1 + x) . P xn
Déterminer la nature puis la somme de la série entière un .
1. Justifier sans calculs que g est développable en série entière au voisinage de n!
On utilisera une équation différentielle satisfaite par la série entière.
0 et que le rayon de convergence de la série obtenue est exactement 1.
+∞
2. On pose g ′ : x 7→ an xn , avec a0 = 0, sur ] − 1, 1[.
P
Exercice 32
n=0
On considère l’équation différentielle x2 y ′′ + 4x y ′ + 2y = ln(1 + x).
a) Donner la valeur exacte des an à l’aide d’un produit de Cauchy. Expliciter
a1 , a2 , a3 et a4 , puis démontrer : |an | ∼ 2 ln(n). 1. Déterminer les solutions développables en séres entières au voisinage de 0.
n→+∞
2. En donner une expression à l’aide des fonctions élémentaires.
b) Montrer que g ′ est solution de l’équation différentielle :

2 Exercice 33
(1 + x) y ′ + y = (E) Déterminer les solutions développables en séries entières de 4x y ′′ + 2y ′ − y = 0.
1+x

c) À l’aide de (E), montrer que la suite (an ) vérifie la relation simple :

2 (−1)n
∀n ∈ N, an+1 + an =
n
Retrouver ainsi la valeur de an obtenue en 2.a) .

10
PSI 2022-2023

Dénombrement et probabilités Exercice 36. X-ENS

Soit θ ∈ R+ . On considère une salle remplie d’un nombre infini de tables, toutes
Exercice 34. [Nombres de dérangements]
infiniment longues. Les invités arrivent les uns après les autres. Le premier
Pour tout n ∈ N∗ , on note Dn le nombre de permutations de J1, nK sans point
s’assoit à la première table. Les autres se disposent suivant cette règle : soit le
fixe. On pose : D0 = 1. θ
. (k + 1)ème invité s’installe à une nouvelle table avec une probabilité , soit
k+θ
n
 
P n il choisit un invité déjà présent et s’installe à sa table. On note Kn le nombre
1 Montrer que, pour tout n ∈ N : n! = Dk .
k=0 k
de tables non vides lorsque n invités sont assis.


P Dk k 1. Calculer P {Kn = 1} .
2 Montrer que le rayon de convergence de la série entière x est au
k! 2. Montrer que la fonction génératrice de Kn vaut :
moins égal à 1.
3 Déterminer Dn . n−1
Q θx+i
gn : x 7→
i=0 θ + i
Exercice 35
1 P 6 3. Trouver un équivalent de E(Kn ) et de V(Kn ) lorsque n tend vers +∞.
1. On définit sur C la fonction f : z 7→ zk . 
Kn

6 k=1 4. Soit ε > 0. En déduire : lim P −θ ⩾ε = 0.
2iπ 4
n
n→+∞ ln(n)
f (ω k ) .
P

On note ω = e 5 et δn =
k=1 5. Soit i ∈ N∗ . On note Xi la variable aléatoire qui retourne 1 si le ième invité
a) Pour tout entier j ∈ J1, 4K, déterminer f (ω j ). s’est assis à une nouvelle table et 0 sinon. Trouver la loi de probabilité de Xi
4 puis exprimer Kn en fonction des Xi .
b) Montrer que, s’il existe un entier k tel que n = 5k, alors : δn = n . 6. Retrouver alors les résultats de la question 3.
6
c) Déterminer la valeur de δn lorsque n n’est pas un multiple de 5.
Soit n un entier naturel non nul. On lance successivement n fois un dé équilibré. Exercice 37
Pour tout k ∈ J1, nK, on note Xk le numéro de la face obtenue au k ème lancer et Soient X une variable aléatoire à valeurs entières définie sur un espace proba-
Pn bilisé (Ω, A , P) et t ∈ [0, 1].
Sn la somme des n faces obtenues, i.e. Sn = Xk . Pour tout entier naturel k
2
k=1
1. Démontrer : GX (t) ⩽ GX (t2 ).
appartenant à Sn (Ω), on note pk = P {Sn = k} , et qn la probabilité que Sn
2. Déterminer une condition d’égalité.
soit un multiple de 5.
2. Démontrer :
n
E z Sn = f (z)


∀z ∈ C,
+∞
P
3. En déduire la valeur de p5k .
k=1
4. Déterminer la valeur de qn , puis lim qn .
n→+∞

11