Lycée Lakanal, Sceaux Pour le 08/01/2025, 22h00

MP – Mathématiques
A. Troesch

DM no 12 : Suites et séries de fonctions, intégrales à paramètres

Ce DM est à rendre au format numérique, scanné en pdf en un seul fichier n’excédant pas 10 Mo. L’envoi se fera via
Cahier-de-Prépa avant la date et heure ci-dessus.

Consignes de travail

1. Faire vos inscriptions aux concours sur le site de SCEI.

2. Écrire votre MCOT.
3. Revoir votre cours de la dernière période. En particulier, les énoncés des derniers chapitres traités (suites et
séries de fonctions, intégrales à paramètres) doivent être connus de façon très précise, avec toutes les hypothèses
au complet. Étudiez bien les exemples pour bien comprendre comment s’utilisent ces théorèmes.
4. Réviser les chapitres de MPSI concernant :
‚ les produits scalaires, espaces préhilbertiens réels et espaces euclidiens
‚ les probabilités
‚ L’analyse réelle globale (TVI, Rolle, Taylor etc)
5. Revoir les exercices les plus significatifs des derniers chapitres :
‚ Chapitre 6 : 16, 17, 19, 20, 27, 31, 32
‚ Chapitre 7 : 9, 10, 14, 15, 17, 19, 20, 25, 29, 33, 36, 45, 47, 49, 50
‚ Chapitre 8 : 6, 8, 10, 13, 14, 16, 22, 28, 33, 34, 37, 43
‚ Chapitre 9 : 22, 23, 26, 28, 32, 38, 42, 45, 47, 53, 55, 56, 58
‚ Chapitre 10 : 12, 14, 18, 20, 24
6. Préparer les exercices suivants du chapitre 10 (ceux du chapitre 11 viendront plus tard). Pour information, le
prochain DS portera sur les chapitres 10 et 11. En priorité les exercices suivants :
25, 27 à 36, 39, 41, 43, 44, 45.
7. Fair le DM ci-dessous. La partie V du problème 2 est facultative.
Note importante : l’exercice est à faire avant les deux problèmes. Il permet en effet d’établir certains résultats sur
les séries entières nécessaires dans ces problèmes et qu’on n’a pas encore vu en cours. Dans les deux problèmes, vous
pouvez utiliser sans les redémontrer le développement en série entière de lnp1 ` xq pour x Ps ´ 1, 1r (mais pas au point
x “ 1 qui est redemandé en question), ainsi que la formule du binôme négatif, vus comme exemple du cours.

Exercice 1 – (Introduction aux séries entières)

Une série entière est une série de fonctions de la forme ně0 an xn , où an ne dépend pas de x. Le but de cet exercice
ř

est de démontrer quelques propriétés élémentaires de ces séries de fonctions. On se donne pan q une suite de complexes.
1. Soit R “ suptx P R` | pan xn q est bornée u.
(a) Justifier que R est bien défini dans R` .
´´ ¯n ¯
|z|
(b) Soit z P C tel que |z| ă R. Justifier l’existence de r ą |z|, tel que an z n “ O r .
n
ř
(c) En déduire que an z converge absolument pour tout z P C tel que |z| ă R et diverge grossièrement pour
tout z P C tel que |z| ą R.
L’élément R de R` est appelé rayon de convergence (ou simplement rayon) de la série entière an xn .
ř
ÿ zn ÿ zn ÿ ÿ zn ÿ
2. Quel est le rayon de convergence des séries 2
? ? zn ? ? n!z n ?
ně1
n ně1
n ně0 ně0
n! ně0
3. A-t-on en général divergence pour |z| “ R ? Convergence ? La série est-elle de même nature sur tout le cercle
Sp0, Rq ?

1
 `8
ÿ
an xn une série entière de rayon de convergence R ą 0, et on note Spxq “ an xn en tout x en lequel
ř
4. Soit
n“0
la série converge.
(a) Montrer que an xn converge uniformément sur tout segment r´a, as. Que peut-on en déduire à propos de
ř

la continuité de S ?
(b) Justifier que pn`1qan`1 xn est une série entière de rayon de convergence R (on pourra comparer |nan xn´1 |
ř

à |an |rn , pour un r bien choisi).

(c) Montrer que an xn est de classe C 8 sur s´R, Rr, et exprimer sa dérivée sous forme d’une somme. Exprimer
ř

an en fonction de f pnq .

Problème 1 – (CCINP MP 2019)

Introduction
ÿ xn
Dans ce sujet, une série de fonctions La est une série de fonctions an où pan qně1 est une suite de réels telle
ně1
1 ´ xn
ÿ
que la série entière an xn soit de rayon 1.
ně1

Partie I – Propriétés
ÿ xn
Soit une série de fonctions La : an
ně1
1 ´ xn
1. Soit x Ps ´ 1, 1r, donner un équivalent de 1 ´ xn pour n au voisinage de `8.
ÿ xn
Démontrer que pour tout x Ps ´ 1, 1r, la série an converge absolument.
ně1
1 ´ xn
Remarque : la série La peut parfois converger en dehors de l’intervalle s ´ 1, 1r.
Donner un exemple de suite pan qně1 telle que la série La converge en au moins un point x0 n’appartenant pas
à l’intervalle s ´ 1, 1r.
ÿ xn
2. Démontrer que la série de fonctions an converge uniformément sur tout segment r´b, bs inclus dans
ně1
1 ´ xn
l’intervalle s ´ 1, 1r.
`8
ÿ xn
3. On pose, pour tout x Ps ´ 1, 1r, f pxq “ an .
n“1
1 ´ xn
Justifier que la fonction f est continue sur l’intervalle s ´ 1, 1r et démontrer ensuite que la fonction f est de
classe C 1 sur l’intervalle s ´ 1, 1r. Donner la valeur de f 1 p0q.
4. Expression sous forme de série entière.
On note A “ N˚ ˆ N˚ .
Lorsque pun,p qpn,pqPA est une famille sommable de réels, justifier que
˜ ¸ ¨ ˛
`8
ÿ `8 ÿ `8
ÿ ÿ
un,p “ ˝ uk,p ‚ où In “ tpk, pq P A, kp “ nu.
n“1 p“1 n“1 pk,pqPIn

Démontrer que pour tout x Ps ´ 1, 1r, la famille pan xnp qpn,pqPA est sommable.
`8 `8
ÿ xn ÿ
n
ÿ
En déduire que pour tout x Ps ´ 1, 1r, an “ b n x où bn “ ad .
n“1
1 ´ xn n“1 d|n
(d|n signifiant d divise n).

Partie II – Exemples

5. Dans cette question, pour n ě 1, an “ 1 et on note dn le nombre de diviseurs de n. Exprimer pour x Ps ´ 1, 1r,
`8
ÿ xn
f pxq “ an comme la somme d’une série entière.
n“1
1 ´ xn

2
 6. Dans cette question, pour n ě 1, an “ φpnq où n est le nombre d’entiers naturels premiers à n et inférieurs à n.
ÿ
Justifier que la série entière an xn est de rayon 1.
ně1
ÿ
On admet que pour n ě 1, n “ φpdq. Vérifier ce résultat pour n “ 12.
d|n
`8
ÿ xn
Pour x Ps ´ 1, 1r, exprimer φpnq sous forme d’un quotient de deux polynômes.
n“1
1 ´ xn
7. En utilisant le théorème de la double limite, établir à l’aide du développement en série entière de la fonction
`8
ÿ p´1qn
x ÞÑ lnp1 ` xq sur l’intervalle s ´ 1, 1r, la valeur de la somme .
n“1
n
8. Dans cette question et la suivante, pour n ě 1, an “ p´1qn et pour tout x Ps ´ 1, 1r,
`8
ÿ xn
f pxq “ an .
n“1
1 ´ xn
f pxq
En utilisant le théorème de la double limite calculer lim et donner un équivalent de f pxq au voisinage de
xÑ0 x
0. Retrouver le dernier résultat de la question Q6.
´ ln 2
9. Démontrer qu’au voisinage de 1, f pxq „ .
1´x
1´x 1
On pourra remarquer que pour x Ps0, 1r, “ .
1 ´ xn 1 ` x ` x2 ` ¨ ¨ ¨ ` xn´1

Problème 2 – (Fonction de Wallis, Mines MP 2023)

Préliminaires

Dans tout le sujet, l’intervalle s´1, `8r de R est appelé I et σ et f sont les fonctions, de R dans R, définies par :
`8
ÿxk
σpxq “
k“1
k2

et ż π{2
f pxq “ psin tqx dt
0

On se propose, dans cette épreuve, d’étudier f (domaine de définition, régularité, variations, convexité, développement
éventuel en série entière,...) puis, dans la dernière partie, de montrer qu’elle est la seule fonction numérique à vérifier
certaines propriétés.

Partie I – Calcul de σp1q

1. Déterminer le domaine de définition de σ puis justifier que σ est continue sur celui-ci.
2. Exhiber deux nombres réels α et β tels que :
żπ
` ˘ 1
˚
@n P N , αt2 ` βt cospntqdt “ 2
0 n

puis vérifier que si t Ps0, πs, alors :

n
` ˘
˚
ÿ sin 2n`1
2 t 1
@n P N , cospktq “ `t˘ ´ .
k“1
2 sin 2 2

3. Justifier que, si φ est une application de classe C 1 de r0, πs dans R, alors

żπ
lim φptq sinpxtqdt “ 0
xÑ`8 0

et en conclure que
π2
σp1q “
6

3
Partie II – Équivalents

4. Déterminer le domaine de définition de f puis vérifier que

@x P I, px ` 1qf pxq “ px ` 2qf px ` 2q. (1)

5. Justifier que f est de classe C 2 , décroissante et convexe sur I.

6. Donner un équivalent simple de f pxq lorsque x tend vers ´1 .
7. Montrer que pour tout entier naturel n,
π
f pnqf pn ` 1q “
2pn ` 1q
puis que : c
π
f pxq „
xÑ`8 2x
8. Représenter graphiquement f en exploitant au mieux les résultats précédents.

Partie III – Développement en série entière

ż π{2
Si n P N, on note Dn l’intégrale généralisée plnpsin tqqn dt.
0

9. Justifier que, si n P N, l’intégrale généralisée Dn est convergente, puis montrer que

ż π{2
D1 “ lnpcos tqdt
0

10. Calculer f 1 p0q et f 1 p1q

11. Vérifier que si n P N˚ , alors ż `8
n un
p´1q Dn “ ? du
0 e2u ´ 1
puis que
Dn „ p´1qn n!
nÑ`8

12. Démontrer que f est développable en série entière sur s´1, 1r.

Partie IV – Convergence de suite de fonctions

On se propose dans cette partie de calculer f 2 p0q. Dans ce but, on considère deux nombres réels strictement positifs
a et b, et on pose
b´a
ρ“
b`a
On appelle Ψ l’application de R dans R définie par :
` ˘
@x P R, Ψpxq “ ln a2 cos2 pxq ` b2 sin2 pxq .

13. Montrer que Ψ est de classe C 1 sur R, puis que pour tout x P R,
`8
ÿ
Ψ1 pxq “ 4 ρk sinp2kxq
k“1

14. En déduire que pour tout x P R,

ˆ ˙ `8
a`b ÿ cosp2kxq k
Ψpxq “ 2 ln ´2 ρ .
2 k“1
k

4
 15. En conclure que
żπ ˆ ˆ ˙˙2
a`b ` ˘
Ψpxq2 dx “ 4π ln ` 2πσ ρ2 .
0 2

On définit les suites réelles pan qnPN ˚ et pbn qnPN par

1 n
@n P N˚ , an “ et bn “ .
n`1 n`1

16. Établir la convergence simple de la suite d’applications pΨn qnPN˚ , de s0, πr dans R, définie par :
` ˘
@n P N˚ , @t P s0, πs , Ψn ptq “ ln a2n cos2 ptq ` b2n sin2 ptq

En déduire f 2 p0q.

Partie V – Convexité logarithmique

Une application h d’un intervalle non trivial J de R dans R est dite ln-convexe si, et seulement si, elle est à valeurs
dans R˚` et ln ˝h est convexe sur J.

17. Vérifier que f est une application de I dans R. ln-convexe.

On souhaite désormais déterminer toutes les applications de I dans R qui sont ln-convexes et qui vérifient la
propriété (1), voir question 4.
On appelle f˜ l’application de R` dans R, définie par :

@x P R` , f˜pxq “ lnpf p2xqq

18. Montrer que

p´1 ˆ ˙
ÿ 2x ` 2k ` 1
@p P N , @x P R` , f˜px ` pq “ f˜pxq `
˚
ln .
k“0
2x ` 2k ` 2
2
19. On suppose ici que x P R˚` , pn, pq P pN˚ q et x ď p. Vérifier que

f˜pn ` xq ´ f˜pnq f˜pn ` pq ´ f˜pnq

f˜pnq ´ f˜pn ´ 1q ď ď
x p

et que pf˜pn ` xq ´ f˜pnqq admet une limite lorsque n tend vers `8.
20. En conclure que f est la seule application de I dans R, qui soit ln-convexe, qui vérifie (1) et telle que
π
f p0q “
2
21. Plus généralement, déterminer, si T P R˚` , toutes les applications g de s´T, `8r dans R, ln-convexes et vérifiant

@t P s´T, `8r , pt ` T qgptq “ pt ` 2T qgpt ` 2T q

22. Existe-t-il une application h, de R dans R et ln-convexe, vérifiant

@t P R, pt ` T qhptq “ pt ` 2T qhpt ` 2T q?