CONCOURS MINES-PONTS 2022

EPREUVE MATHEMATIQUES I - MP
Durée : 3 heures
Les calculatrices sont interdites.

Formule asymptotique de Hardy et Ramanujan

L’objectif de ce problème est l’étude asymptotique du nombre de partitions d’un entier naturel n, c’est-à-
dire du nombre de décompositions de n en somme d’entiers naturels non nuls (sans tenir compte de l’ordre
des termes). Une dé…nition rigoureuse de ce nombre, noté pn , est donnée en début de partie B. Dans
la partie A, on introduit une fonction P de variable complexe ; dans la …n de la partie B on démontre
P
qu’il s’agit de la somme, sur le disque unité ouvert de C, de la série entière n 0 pn z n . L’étude de P
au voisinage de 1 permet alors, dans les parties suivantes, de progresser vers l’obtention d’un équivalent
simple de la suite (pn )n2N (formule asymptotique de Hardy et Ramanujan).
Tout au long du problème, le disque unité ouvert de C sera noté
D = fz 2 C : jzj < 1g:
Dans tout l’énoncé, on utilisera la dénomination ‹‹variable aléatoire réelle›› pour signi…er ‹‹variable
aléatoire discrète réelle›› .
On admettra aussi les deux identités classiques suivantes :
+1
X 2 Z p
1 u2
= et e 2 du = 2
n2 6 R
n=1

A. Fonctions L et P
P zn
1 Soit z 2 D. Montrer la convergence de la série n . Préciser la valeur de sa somme lorsque
n 1
z 2] 1; 1[. On notera
+1 n
X z
L(z) :=
n
n=1
2 Soit z 2 D. Montrer que la fonction t 2 [0; 1] 7! L(tz) est dérivable et donner une expression simple
de sa dérivée.
En déduire que t 7! (1 tz)eL(tz) est constante sur [0; 1] et conclure que
1
exp(L(z)) = :
1 z
3 Montrer que jL(z)j ln(1 jzj) pour tout z dans D. En déduire la convergence de la série
P n
L (z ) pour tout z dans D. Dans la suite, on notera, pour z dans D,
n 1
" +1 #
X
n
P (z) := exp L (z ) :
n=1
On remarque, en vertu de la question précédente et des propriétés de l’exponentielle, que
N
Y 1
8z 2 D; P (z) 6= 0 et P (z) = lim
N !+1 1 zn
n=1

1
B. Développement de P en série entière

P
N
Pour (n; N ) 2 N N , on note Pn;N l’ensemble des listes (a1 ; : : : ; aN ) 2 NN telles que kak = n. Si cet
k=1
ensemble est …ni, on note pn;N son cardinal.
4 Soit n 2 N. Montrer que Pn;N est …ni pour tout N 2 N , que la suite (pn;N )N 1 est croissante et
qu’elle est constante à partir du rang max(n; 1).

Dans toute la suite, on notera pn la valeur …nale de (pn;N )N 1.

5 Montrer par récurrence que
N
Y +1
X
1
8N 2 N ; 8z 2 D; = pn;N z n
1 zk
k=1 n=0

6 Soit z 2 D. On convient que pn;0 = 0 pour tout n 2 N. En examinant la sommabilité de la famille

((pn;N +1 pn;N ) z n )(n;N )2N2 , démontrer que
+1
X
P (z) = pn z n :
n=0
P
En déduire le rayon de convergence de la série entière pn xn .
n
7 Soit n 2 N. Montrer que pour tout réel t > 0,
Z
ent in t+i
pn = e P e d
2
si bien que
Z
ent P e t
in P e t+i
pn = e d (1)
2 P (e t )
Dans le reste du problème, l’objectif est d’obtenir un équivalent du nombre pn lorsque n tend vers +1.
Cet équivalent sera obtenu via un choix approprié de t en fonction de n dans la formule (1).

C. Contrôle de P
8 Soit x 2 [0; 1[ et 2 R. En utilisant la fonction L, montrer que
1 x
exp( (1 cos )x).
1 xei
En déduire que pour tout x 2 [0; 1[ et tout réel ,

P xei 1 1
exp + Re :
P (x) 1 x 1 xei

9 Soit x 2 [ 21 ; 1[ et 2 R. Montrer que

1 1 x(1 cos )
Re
1 x 1 xei (1 x) ((1 x)2 + 2x(1 cos ))
En déduire que
P xei 1 cos P xei 1
exp ou que exp .
P (x) 6(1 x)3 P (x) 3(1 x)

2
D. Intermède : quelques estimations de sommes
On …xe dans cette partie un réel > 0 et un entier n 1. Sous réserve d’existence, on pose
+1
X k n e kt
Sn; (t) := n
(1 e kt )
k=1

On introduit aussi la fonction

xn e x
'n;a : x 2 R+ 7! x )n
;
(1 e
qui est évidemment de classe C 1 .
10 Montrer que 'n; et '0n; sont intégrables sur ]0; +1[.
11 Montrer, pour tout réel t > 0, l’existence de Sn;a (t), sa positivité stricte, et l’identité
Z +1 +1 Z
X (k+1)t
'n; (x)dx = tn+1 Sn; (t) (x kt)'0n; (x)dx:
0 k=0 kt

En déduire que Z +1
1 xn e x 1
Sn; (t) = x )n
dx + O quand t ! 0+ :
tn+1 0 (1 e tn
12 Démontrer, sans utiliser ce qui précède, que
Z +1
xe x 2
dx = :
0 1 e x 6

Dans le reste du problème, nous admettrons le résultat suivant (il peut être démontré par une méthode
similaire) : Z +1
x2 e x 2
dx =
0 (1 e x )2 3

E. Contrôle des fonctions caractéristiques

Étant donné une variable aléatoire réelle X sur un espace probabilisé ( ; A; P), ainsi qu’un réel , les
variables aléatoires réelles cos( X) et sin( X) sont d’espérance …nie puisque bormées : on introduit alors
le nombre complexe
X ( ) := E(cos( X)) + iE(sin( X)):

13 Soit X une variable aléatoire réelle, Montrer que j X( )j 1 pour tout réel .

Dans les questions 14. à 18., on se donne une variable aléatoire réelle X suivant une loi géométrique, de
paramètre p 2]0; 1 [ arbitraire. On pose q = 1 p.

14 Montrer que pour tout (a; b) 2 R2 et tout réel ,

pei(a+b)
aX+b ( ) = :
1 qeia

3
15 Montrer que pour tout k 2 N, la variable aléatoire X k est d’espérance …nie. Montrer que X est
(k)
de classe C 1 sur R et que X (0) = ik E X k pour tout k 2 N.

16 Montrer qu’il existe une suite (Pk )k2N de polynômes à coe¢ cients dans C, indépendante de p, telle
que
(k) Pk qei
8 2 R; 8k 2 N; X ( ) = pik ei k+1
et Pk (0) = 1:
(1 qei )

17 En déduire qu’il existe une suite (Ck )k2N de réels strictement positifs, indépendante de p, telle que

1 Ck q
8k 2 N; E X k :
pk pk

18 En déduire qu’il existe un réel K > 0 indépendant de p tel que

Kq
E (X E(X))4 :
p4

Dans les questions 19. à 21., on se donne une variable aléatoire réelle centrée Y telle que Y 4 soit
d’espérance …nie.

19 Montrer successivement que Y 2 et jY j3 sont d’espérance …nie, et que

1=2 3=4
E Y2 E Y4 puis E jY j3 E Y4

20 Montrer, pour tout réel u, l’inégalité

u2 juj3
eiu 1 iu +
2 6

En déduire que pour tout réel ,

2
E Y2 j j3 3=4
Y( ) 1+ E Y4 :
2 3

21 Conclure que pour tout réel ;

!
2
E Y2 j j3 3=4
4
Y( ) exp E Y4 + E Y4
2 3 8

4
F. Convergence vers une gaussienne

Étant donné un réel t > 0, on pose, suivant les notations de la partie C,

q
mt := S1;1 (t) et t := S2;1 (t):

Etant donné des réels t > 0 et , on pose

imt P e t ei
h(t; ) = e :
P (e t )

Étant donné des réels t > 0 et u, on pose

u 2 u
(t; u) = exp i mt et j(t; u) = (t; u)h t; :
t 6t2 t

22 Soit n 2 N ainsi que des complexes z1 ; : : : ; zn ; u1 ; : : : ; un tous de module inférieur ou égal à 1.

Montrer que
Yn Yn Xn
zk uk jzk uk j :
k=1 k=1 k=1
23 Soit 2 R et t 2 R+ . On considère, pour tout k 2 N , une variable aléatoire Zk suivant la loi
G 1 e kt , et on pose Yk = k (Zk E (Zk )). Démontrer que
n
Y
h(t; ) = lim Yk ( ):
n!+1
k=1

En déduire, à l’aide en particulier de la question 21. l’inégalité

2 2
t
h(t; ) e 2 K 3=4 j j3 S3;3=4 (t) + K 4
S4;1 (t):

On rappelle que la constante K a été introduite à la question 18., les quantités Sn; (t) dans la partie D.

24 Montrer que t p
3t1=2
quand t tend vers 0+ . En déduire, pour tout réel u, que

s2 =2
j(t; u) ! e
t!0+

25 Montrer qu’il existe un réel > 0 tel que

2
8 2[ ; ]; 1 cos :

À l’aide de la question 9., en déduire qu’il existe trois réels t0 > 0; > 0 et > 0 tels que, pour tout
t 2 [0; t0 ] et tout 2 [ ; ],

( t )2 ( t j j)2=3
jh(t; )j e ou jh(t; )j e :

26 Conclure que Z t p
j(t; u)du ! 2
t t!0+

5
G. La conclusion
q
t t
Dans cette dernière partie, on admet que P e 2 exp( 6t ) quad t tnd vers 0+ .

27 En appliquant la formule (1) à t = p

6n
, démontrer que
q
2n
exp 3
pn p quand n ! +1
4 3n
formule découverte par Hardy et Ramanujan en 1918:

FIN DU PROBLÈME