ECOLE POLYTECHNIQUE

CONCOURS D’ADMISSION 2020

MARDI 21 AVRIL 2020 - 8h00 – 12h00

FILIERE MP - Epreuve n° 3

MATHEMATIQUES B
(X)

Durée : 4 heures
L’utilisation des calculatrices n’est pas autorisée pour cette épreuve
 Les trois parties sont indépendantes.

Notations

Dans tout le sujet, (⌦, A , P ) désigne un espace probabilisé sur lequel seront définies les
différentes variables aléatoires. On notera P [A] la probabilité d’un événement A ⇢ ⌦ et E[X]
l’espérance d’une variable aléatoire X sur (⌦, A , P ) à valeurs réelles.
On pourra utiliser sans démonstration le résultat suivant :
Si Y1 , . . . , Yn sont des variables aléatoires réelles discrètes mutuellement indépendantes et
intégrables, alors
E[Y1 · · · Yn ] = E[Y1 ] · · · E[Yn ].

On note log la fonction logarithme népérien. Par convention, on pose log 0 = 1.

Première partie

Soit n > 1 un entier naturel, et soient (X1 , . . . , Xn ) des variables aléatoires réelles discrètes
mutuellement indépendantes telles que, pour tout k 2 {1, . . . , n},
1
P [Xk = 1] = P [Xk = 1] = .
2
On définit
n
1X
Sn = Xk
n
k=1

ainsi que, pour tout 2 R, ✓ ◆

1 1
( ) = log e + e .
2 2

1. Soit Z une variable aléatoire réelle discrète telle que exp( Z) est d’espérance finie pour
tout > 0. Montrer que pour tout > 0 et t 2 R,

P [Z > t] 6 exp( t)E[exp( Z)].

2. Montrer que P [Sn > 0] > 12 .

3. Montrer que pour tout t 2 R, on a

1
log P [Sn > t] 6 inf ( ( ) t) .
n >0

Pour chaque > 0, on pose

E[X1 exp( X1 )]
m( ) = ,
E[exp( X1 )]

ainsi que
Dn ( ) = exp ( nSn n ( )) .

1
4. Montrer que la fonction m est strictement croissante sur R+ , et que pour tout t 2 [0, 1[,
il existe un unique > 0 tel que m( ) = t.

5a. Pour n > 2 et > 0, montrer que

E[(X1 m( ))(X2 m( ))Dn ( )] = 0.

5b. En déduire que, pour n > 1 et > 0,

4
E[(Sn m( ))2 Dn ( )] 6 .
n
Pour tous n > 1, > 0 et " > 0, on note In ( , ") la variable aléatoire définie par
(
1 si |Sn m( )| 6 ",
In ( , ") =
0 sinon.

6. Montrer que

P [|Sn m( )| 6 "] > E[In ( , ") exp( n(Sn m( ) ")],

7. Montrer que
4
E[In ( , ")Dn ( )] > 1 .
n"2

8a. En déduire, pour chaque > 0 et " > 0, l’existence d’une suite (un ("))n>1 qui tend
vers 0 quand n tend vers l’infini et telle que
1
log P [Sn > m( ) "] > ( ) m( ) " + un (").
n

8b. Conclure que pour tout t 2 [0, 1[,

1
lim log P [Sn > t] = inf ( ( ) t) .
n!1 n >0

8c. La formule précédente est-elle encore valide pour t = 1 ?

Deuxième partie

On admet l’identité Z +1 p
exp x2 dx = ⇡.
1

Soient a < b deux réels et f : [a, b] ! R une fonction infiniment dérivable. Appelons (H)
l’hypothèse suivante : il existe un unique point x0 2 [a, b] où f atteint son maximum, on a
a < x0 < b, et f 00 (x0 ) 6= 0.

9. Montrer que sous l’hypothèse (H), on a f 00 (x0 ) < 0.

2
10. Sous l’hypothèse (H), montrer que pour tout > 0 tel que < min(x0 a, b x0 ), on
a l’équivalent, quand t ! +1,
Z b Z x0 +
tf (x)
e dx ⇠ etf (x) dx.
a x0

11. Sous l’hypothèse (H), montrer l’équivalent, quand t ! +1,

Z b s
2⇡
etf (x) dx ⇠ etf (x0 ) 00
.
a t |f (x0 )|

12a. Montrer que pour tout entier n 2 N, on a

Z +1
n! = e t tn dt.
0

12b. En utilisant les résultats précédents, retrouver la formule de Stirling donnant un

équivalent asymptotique de n! .

Troisième partie

13. Montrer que Z a

lim | sin(x2 )| dx = +1.
a!+1 0

14. Montrer que pour tout a 2 R,

Z a +1
X a4n+3
sin(x2 ) dx = ( 1)n .
0 (2n + 1)! (4n + 3)
n=0

15. Montrer que les limites

Z a Z a
2
lim sin(x ) dx et lim cos(x2 ) dx
a!+1 0 a!+1 0

existent et sont finies.

On admet les identités :
Z a Z a
p
2 2 2⇡
lim sin(x ) dx = lim cos(x ) dx = .
a!+1 0 a!+1 0 4

16. Montrer qu’il existe des nombres réels c, c0 2 R tels que, pour a ! +1, on a
Z a p ✓ ◆
2 2⇡ c 2 c0 2 1
sin(x ) dx = + cos(a ) + 3 sin(a ) + O .
0 4 a a a5
On admettra qu’il existe des nombres réels d, d0 2 R tels que, pour a ! +1, on a
Z a p ✓ ◆
2 2⇡ d d0 1
cos(x ) dx = + sin(a2 ) + 3 cos(a2 ) + O 5
.
0 4 a a a
À partir de maintenant et jusqu’à la fin de l’énoncé, f désigne une fonction infiniment
dérivable de [0, 1] dans R. On suppose qu’il existe un unique point x0 2 [0, 1[ où f 0 s’annule.
On suppose également que f 00 (x0 ) > 0. On se donne également une fonction g : [0, 1] ! R
infiniment dérivable.

3
17. Montrer qu’on a, pour t ! +1,
Z 1 Z 1 ✓ ◆
1
g(x) sin(tf (x)) dx = g(x0 ) sin(tf (x)) dx + O .
x0 x0 t

Pour tout x 2 [x0 , 1], on définit

p
h(x) = |f (x) f (x0 )|.

18a. Montrer que la fonction h définit une bijection de [x0 , 1] sur [0, h(1)].
q
f 00 (x0 )
18b. Montrer que l’application h est dérivable en x0 à droite, et que h0 (x 0) = 2 .
On admet que la bijection
⇢
[x0 , 1] ! [0, h(1)]
h:
x 7! h(x)

admet une application réciproque h 1 : [0, h(1)] ! [x0 , 1] qui est infiniment dérivable.

19. Montrer que, pour t ! +1,

Z 1 ⇣ r ✓ ◆
⇡⌘ ⇡ 1
sin(tf (x)) dx = sin tf (x0 ) + 00
+O .
x0 4 2tf (x0 ) t

20. On suppose que x0 2 ]0, 1[. Montrer que, pour t ! +1,

Z 1 s ✓ ◆
⇣ ⇡⌘ 2⇡ 1
g(x) sin(tf (x)) dx = g(x0 ) sin tf (x0 ) + 00 (x )
+O .
0 4 tf 0 t