Mines Maths 1 MP 2019 — Énoncé 1/6

ÉCOLE DES PONTS PARISTECH,

ISAE-SUPAERO, ENSTA PARISTECH,
TELECOM PARISTECH, MINES PARISTECH,
MINES SAINT-ÉTIENNE, MINES NANCY,
IMT Atlantique, ENSAE PARISTECH,
CHIMIE PARISTECH.

Concours Centrale-Supélec (Cycle International),

Concours Mines-Télécom, Concours Commun TPE/EIVP.

CONCOURS 2019

PREMIÈRE ÉPREUVE DE MATHÉMATIQUES

Durée de l’épreuve : 3 heures

L’usage de la calculatrice et de tout dispositif électronique est interdit.

Les candidats sont priés de mentionner de façon apparente

sur la première page de la copie :

MATHÉMATIQUES I - MP

L’énoncé de cette épreuve comporte 5 pages de texte.

Si, au cours de l’épreuve, un candidat repère ce qui lui semble être une erreur
d’énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les
raisons des initiatives qu’il est amené à prendre.

Téléchargé gratuitement sur Doc-Solus.fr .

 Mines Maths 1 MP 2019 — Énoncé 2/6

Comportement asymptotique de sommes de séries entières

et application à l’équation d’Airy

Soit p un entier naturel non nul et r un nombre réel. On considère la fonction

définie sur C par la série entière
+∞
! (pn)r pn
Sr,p (z) = z .
n=1 (pn)!

L’objectif, dans les parties A et B du problème, est d’établir l’équivalence suivante

quand x → +∞ :
xr ex
Sr,p (x) ∼ . (Hr,p )
x→+∞ p
Cet énoncé est noté (Hr,p ). Dans la partie C, on applique ce résultat à l’étude
asymptotique d’une solution particulière de l’équation d’Airy.

! (pn)r
1. Question préliminaire. Justifier que la série entière z n a pour
n!1 (pn)!
! (pn)r
rayon de convergence +∞. Qu’en est-il de la série entière z pn ?
n!1 (pn)!

A Équivalence entre (Hr,p) et (Hr,1) lorsque r > 0

On suppose dans cette partie que p ! 2 et r > 0, et on se propose de montrer
que les énoncés (Hr,p ) et (Hr,1 ) sont équivalents. Pour tous n ∈ N et x ∈ R+
∗
, on
pose
nr n
un (x) = x .
n!
2. Pour x > 0 fixé, étudier le signe de la fonction

ϕx : t ∈ [1, +∞[ %→ t1−r (t − 1)r − x.

En déduire que ϕx s’annule" en un#unique élément de [1, +∞[ que l’on note tx .
Montrer que la suite finie un (x) est croissante et que la suite infinie
" # 0"n"⌊tx ⌋
un (x) est décroissante, où ⌊x⌋ désigne la partie entière du nombre
n!⌊tx ⌋
réel x.

Téléchargé gratuitement sur Doc-Solus.fr .

 Mines Maths 1 MP 2019 — Énoncé 3/6

L’ensemble {un (x) ; n ∈ N} admet donc un maximum égal à u⌊tx ⌋ (x). Dans la
suite de cette partie, ce maximum sera noté Mx .
3. Pour tout α ∈ R, déterminer la limite de ϕx (x + α) quand x tend vers +∞.
En déduire que tx − x − r tend vers zéro lorsque x → +∞. (On pourra s’aider
de la définition d’une limite.)

4. Montrer que pour tout entier relatif k, u⌊x⌋+k (x)∼u⌊x⌋ (x) lorsque x → +∞.
En déduire que pour tout n ∈ N et pour tout x au voisinage de +∞,
⌊x⌋
!
ui (x) ! n u⌊x⌋ (x).
i=⌊x⌋−n

5. En déduire que pour tout entier relatif k,

u⌊x⌋+k (x) = o(xr ex )

quand x → +∞. Montrer alors que

Mx = o(xr ex ).

(On pourra d’abord démontrer que, pour x assez grand, Mx = u⌊x⌋+i (x) pour
un entier i compris entre ⌊r⌋ − 1 et ⌊r⌋ + 2.)

6. Soit z un nombre complexe tel que |z| = 1 et z (= 1. Pour tout entier naturel
n non nul, on pose
n−1
zk .
!
Dn =
k=0

Pour tout nombre réel x > 0, comparer Sr,1 (zx) à la somme

+∞
! " #
Dn un−1 (x) − un (x) .
n=1
$ $ 4 Mx
En déduire que pour tout x au voisinage de +∞, $$Sr,1 (zx)$$ " et
|1 − z|
conclure que lorsque x → +∞,

Sr,1 (zx) = o(xr ex ).

" #
2iπ
7. On pose ζ = exp p
. Pour tout réel x, montrer que
p−1
Sr,1 (ζ k x) = p Sr,p (x)
!

k=0

et en déduire que les énoncés (Hr,p ) et (Hr,1 ) sont équivalents.

Téléchargé gratuitement sur Doc-Solus.fr .

 Mines Maths 1 MP 2019 — Énoncé 4/6

B Une démonstration probabiliste

On admet dans cette partie qu’il existe, sur un certain espace probabilisé
(Ω, A, P), une famille (Xx )x∈R+∗ de variables aléatoires à valeurs dans N telle que
Xx suive la loi de Poisson de paramètre x pour tout réel x > 0. On fixe de telles
données dans l’intégralité de cette partie.
Soit un réel r > 0. On pose
Xx
Zx =
x
et on se propose de démontrer que E(Zxr ) → 1 lorsque x → +∞.

! "
8. Pour tout réel α > 0, montrer que P |Xx −x| > α x2/3 → 0 quand x → +∞.

9. Montrer que, pour tout réel x > 1, les variables aléatoires

Ax = 1(Zx <1−x−1/3 ) Zxr et Bx = 1(|Zx −1|!x−1/3 ) Zxr

sont d’espérance finie et trouver les limites de E(Ax ) et de E(Bx ) lorsque

x → +∞.

Soit N un entier naturel strictement positif.

10. Montrer que pour tout réel x > 0, la variable aléatoire
N#
−1
YN,x = 1(Xx >x+x2/3 ) (Xx − k)
k=0

est d’espérance finie et que

! "
xN P Xx > x + x2/3 − N = E(YN,x ).

Déduire alors de la question 8 que E(YN,x ) = o(xN ) quand x → +∞.

11. Montrer qu’il existe des réels a1 , . . . , aN tels que pour tout réel x > 0,
N
1(Xx >x+x2/3 ) XxN =
$
ak Yk,x
k=1
! "
et en déduire la limite de E 1(Zx >1+x−1/3 ) ZxN lorsque x → +∞.
! "
12. Démontrer que E 1(Zx >1+x−1/3 ) Zxr → 0 quand x → +∞. En déduire que
E(Zxr ) → 1 quand x → +∞ et conclure à la validité de l’énoncé Hr,1.

Téléchargé gratuitement sur Doc-Solus.fr .

 Mines Maths 1 MP 2019 — Énoncé 5/6

En combinant les résultats des deux parties précédentes, nous concluons à la

validité de (Hr,p ) pour tout entier naturel p > 0 et tout réel r > 0. Dans la suite
du sujet, nous aurons besoin du résultat classique suivant, que nous admettrons :
Lemme de comparaison asymptotique des séries entières. Soit (an )n∈N et
(bn )n∈N deux suites à termes réels. On suppose que :
!
(i) la série entière bn z n a pour rayon de convergence +∞ ;
n

(ii) les suites (an )n∈N et (bn )n∈N sont équivalentes ;

(iii) il existe un rang n0 ∈ N tel que pour tout n ! n0 , on a bn > 0.

!
Alors la série entière an z n a pour rayon de convergence +∞ et
n
"
+∞ "
+∞
an xn ∼ bn x n .
x→+∞
n=0 n=0

Soit un entier naturel p > 0 et un nombre réel r.

13. En remarquant que pour tout réel x > 0,

"
+∞
(p(n + 1))r np
Sr,p (x) = xp x ,
n=0 (p(n + 1))!

déduire du lemme de comparaison asymptotique des séries entières que

Sr,p (x) ∼ xp Sr−p,p (x).

x→+∞

En déduire que (Hr,p ) implique (Hr−p,p ) et conclure à la validité de (Hr,p ).

C Application à l’équation d’Airy

L’équation différentielle d’Airy (Ai) est définie par

x′′ (t) = t x(t). (Ai)

14. Question préliminaire. Soit un réel x > 0. Pour tout entier n > 0, on pose
! !
vn = nk=1 ln k + x ln n − nk=0 ln(x + k). Établir la convergence de la série
!
(vn − vn−1 ), et en déduire l’existence d’un réel Γ(x) > 0 vérifiant la formule
d’Euler :
#n
nx n!
(x + k) ∼ .
n→+∞ Γ(x)
k=0

15. Justifier qu’il existe une unique solution f de (Ai) sur R vérifiant f (0) = 1
et f ′ (0) = 0.

Téléchargé gratuitement sur Doc-Solus.fr .

 Mines Maths 1 MP 2019 — Énoncé 6/6

+∞
16. Expliciter une suite (an )n∈N telle que pout tout réel t, f (t) = an tn .
!

n=0

Γ( 23 ) n1/3 2 " #2n

−1/6 Γ( 3 ) 2 1
17. Démontrer que a3n ∼ puis que a 3n ∼n √ lorsque
9n (n!)2 π 3 (2n)!
n → +∞.

18. En déduire une constante C, que l’on exprimera à l’aide de Γ( 32 ), telle que

2 3/2
" #
f (t) ∼ C t−1/4 exp t .
t→+∞ 3

Fin du problème

Téléchargé gratuitement sur Doc-Solus.fr .