BCE Maths approfondies HEC/ESCP ECS 2017, épreuve 2Sujet et corrigé

Epreuve de maths approfondies - ECS 2017

Pas encore noté

Explorer les annales

BanqueBCE Année2017 FilièreECS MatièreMathématiques

Annales BCE ECS Mathématiques BCE ECS 2017 ECS Mathématiques Mathématiques 2017

Téléchargements

Télécharger le sujet (PDF)

Corrigé

Lire en ligne LaTeX Word

Rapport du jury : non disponible

Source du document : annales-prepa.fr

Description

Annale de maths approfondies BCE HEC/ESCP pour la filiere ECS, session 2017.

Ces sujets peuvent vous intéresser

Lecture du sujet en ligne

L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.

Sujet en PDF

Conception : HEC Paris - ESCP Europe

OPTION SCIENTIFIQUE

MATHÉMATIQUES II

Mercredi 3 mai 2017, de 8 h. à 12 h.

La présentation, la lisibilité, l'orthographe, la qualité de la rédaction, la clarté et la précision des raisonnements entreront pour une part importante dans l'appréciation des copies.
Les candidats sont invités à encadrer dans la mesure du possible les résultats de leurs calculs.
Ils ne doivent faire usage d'aucun document, L'utilisation de toute calculatrice et de tout matériel électronique est interdite. Seule l'utilisation d'une règle graduée est autorisée.
Si au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il la signalera sur sa copie et poursuivra sa composition en expliquant les raisons des initiatives qu'il sera amené à prendre.

Dans tout le problème:

toutes les variables aléatoires introduites sont supposées définies sur le même espace probabilisé ( $Ω, A, P$ );
on note $θ$ un paramètre réel.

Partic I. Une démonstration probabiliste de la formule de Stirling

Pour tout

n \in N^*

, soit

h_n

la fonction définie par :

\forallx \in [0, 1], h_n(x) = ((1 - x)e^x)^n

.
Pour tout

n \in N^*

, on pose :

I_n = \int_0^1 h_n(x)dx

.
1.a) À l'aide du changement de variable

u = n(1 - x)

, montrer que :

\foralln \in N^*, I_n = (e^n)/(n^(n + 1))\int_0^n u^n e^(- u) du

.
b) Montrer que pour tout

x \in [0, 1]

, on a :

x + ln(1 - x) ⩽ - (x^2)/2

.
c) En se référant à une densité de la loi normale centrée réduite, en déduire que :

\foralln \in N^*, 0 ⩽ I_n ⩽ \sqrt(π/(2n))

.
2. On note

h_n^*

la restriction à l'intervalle ] 0,1 [ de la fonction

h_n

On pose pour tout

x \in ]0, 1[ : h_n^*(x) = exp(- (nx^2)/2H(x))

g(x) = (1 - x)ln(1 - x) + x - (x^2)/2

.
a) Montrer que

H

est prolongeable par continuité en 0 . On note encore

H

la fonction ainsi prolongée.
b) Montrer que la fonction

g

est convexe et strictement positive sur

]0, 1[

.
c) En déduire que la fonction

H

réalise une bijection strictement croissante de

[0, 1[sur[1, + \infty[

.
3. Soit

(u_n)_(n \in N^*)

une suite convergente de limite nulle telle que :

lim_(n \to + \infty)u_n\sqrtn = + \infty

\foralln \in N^*, 0 < u_n < 1

.
a) Donner un exemple d'une telle suite

(u_n)_(n \in N^*)

.
b) Soit

(v_n)_(n \in N^*)

la suite définie par :

\foralln \in N^*, v_n = H(u_n)

. Montrer que la suite

(v_n)_(n \in N^*)

est convergente et préciser sa limite.
c) Établir pour tout

n \in N^*

, l'encadrement :

I_n ⩾ \int_0^(u_n)h_n(x)dx ⩾ 1/(\sqrt(nv_n))\int_0^(u_n\sqrt(nv_n))exp(- (y^2)/2)dy

.
d) Déduire des questions 1.c) et 3.c), un équivalent de

I_n

lorsque

n

tend vers

+ \infty

.
4. Soit

(T_n)_(n \in N^*)

une suite de variables aléatoires définies sur (

Ω, A, P

), mutuellement indépendantes et de même loi exponentielle de paramètre 1. Pour tout

n \in N^*

, on pose :

S_n = T_1 + T_2 + \dots + T_n

.
a) Rappeler la loi suivie par la variable aléatoire

S_n

et montrer que

lim_(n \to + \infty)P([S_n ⩽ n]) = 1/2

.
b) Pour tout

n \in N^*

, on pose :

U_n = (T_(n + 1))/(\sqrtn)

. Montrer que la suite

(U_n)_(n \in N^*)

converge en probabilité vers la constante 0 .
c) En déduire que

lim_(n \to + \infty)P([S_(n + 1) ⩽ n]) = 1/2

.
5. Montrer que

n! \sim _(n \to + \infty)n^n e^(- n)\sqrt(2πn)

(formule de Stirling),

Partie II. Quelques propriétés de la loi de Cauchy

On rappelle que la fonction Arctan est la fonction réciproque de la restriction à l'intervalle ouvert $] - π/2, π/2[$ de la fonction tan, qu'elle est de classe $C^\infty$ sur $R$ admettant pour dérivée la fonction $x ⟼ 1/(1 + x^2)$ pour tout $x \in R$ et qu'elle réalise une bijection de $R$ sur $] - π/2, π/2[$ .
a) Montrer que la fonction Arctan est impaire.
b) Justifier l'existence d'un développement limité à l'ordre 3 de la fonction Arctan en 0 et le déterminer.
c) Établir pour tout $x \in R_+$ , l'encadrement : $0 ⩽ Arctan(x) ⩽ x$ .
d) Montrer que pour tout $x \in R_+^*$ , on a : $Arctan(x) + Arctan(1/x) = π/2$ .
7.a) Montrer que la fonction $x ⟼ 1/π \times 1/(1 + (x - θ)^2)$ est une densité de probabilité sur $R$ .

Dans toute la suite du problème, on note

X

une variable aléatoire à valeurs réelles, de densité

f_X

telle que :

\forallx \in R, f_X(x) = 1/π \times 1/(1 + (x - θ)^2)

On dit que

X

suit une loi de Cauchy de paramètre

θ

et on note :

X↪C_θ

.
b) La variable aléatoire

X

admet-elle une espérance?
c) Pour

θ = 0

, tracer la courbe représentative de

f_X

dans le plan rapporté à un repère orthogonal.
8.a) On note

F_X

la fonction de répartition de

X

. Pour tout

x \in R

, calculer

F_X(x)

.
b) Montrer que l'équation

F_X(x) = 1/2

d'inconnue

x

, admet une unique solution que l'on déterminera.

Cette solution est la médiane théorique de

X

Partie III. La loi de la moyenne empirique

Pour tout $n \in N^*$ et pour tout $x \in R$ , soit $φ_(n, x)$ la fonction définie sur $R$ par :

\forallt \in R, φ_(n, x)(t) = 1/((1 + t^2)(1 + (x - nt)^2))

On admet l'existence d'un unique quadruplet

(α, β, γ, δ)

de réels indépendants de

t

pour lesquels on a :

\forallt \in R, φ_(n, x)(t) = (αt + β)/(1 + t^2) + (γt + δ)/(1 + (x - nt)^2)

Pour tout

n \in N^*

et pour tout

x \in R

, on pose :

σ_(n, x) = (x^2 + (n + 1)^2)(x^2 + (n - 1)^2)

.
On admet sans démonstration que :

α = (2nx)/(σ_(n, x)), β = (1 + x^2 - n^2)/(σ_(n, x)), γ = - (2n^3 x)/(σ_(n, x)), δ = (n^2(3x^2 + n^2 - 1))/(σ_(n, x))

.
a) Établir la convergence de l'intégrale

\int_(- \infty)^(+ \infty)φ_(n, x)(t)dt

.
b) À l'aide d'une primitive de la fonction

ψ_(n, x) : t ⟼ (2t)/(1 + t^2) - (2n(nt - x))/(1 + (x - nt)^2)

, montrer que

\int_(- \infty)^(+ \infty)ψ_(n, x)(t)dt = 0

.
c) Établir la relation :

\foralln \in N^*, \forallx \in R, \int_(- \infty)^(+ \infty)φ_(n, x)(t)dt = ((n + 1)π)/(x^2 + (n + 1)^2)

.
10. On pose :

Y = X - θ

. Pour

n

entier de

N^*

, soit

(Y_1, Y_2, \dots, Y_n)

n

-échantillon de variables aléatoires indépendantes et de même loi que

Y

.
Pour tout

n \in N^*

, on pose :

S_n = \sum_(i = 1)^n Y_i

Y¯_n = (S_n)/n

(moyenne empirique de l'échantillon

(Y_1, Y_2, \dots, Y_n)

).
a) Déterminer la fonction de répartition

F_Y

Y

. Quelle est la loi de

Y

?
b) Quelle est la fonction de répartition de

S_2

? En déduire la loi de

Y_2^-

.
c) Déterminer pour tout

n \in N^*

, la loi de la variable aléatoire

Y¯_n

.
d) La loi faible des grands nombres s'applique-t-elle à la suite

(Y¯_n)_(n \in ℕ^*)

? Pourquoi ?
11. Soit

(N, n) \in N^(*2)

. On veut simuler

N

réalisations de la moyenne empirique'

Y¯_n

On suppose que l'on connait une fonction Scilab cauchy telle que la commande

A = cauchy(N, n)

retourne une matrice

A \in M_(N, n)(R)

, réalisation d'une famille

(Y_(i, j))_(1 ⩽ i ⩽ N; 1 ⩽ j ⩽ n)

de variables aléatoires indépendantes de loi

C_0

Soit

M

une matrice de

M_(N, n)(R)

avec

(N, n) \in N^(*2)

. On rappelle que dans le langage Scilab :

la commande sum(M) retourne une matrice de $M_(1, 1)(R)$ contenant la somme de tous les éléments de $M$ ;
la commande sum ( $M$ , 'r') retourne un vecteur ligne de $M_(1, n)(R)$ contenant les sommes des éléments de $M$ calculées colonne par colonne;
la commande sum ( $M$ , ' $c$ ') retourne un vecteur colonne de $M_(N, 1)(R)$ contenant les sommes des éléments de $M$ calculées ligne par ligne;
la commande linspace(a,b,m) retourne un vecteur ligne de $m$ valeurs régulièrement espacées entre $a$ et $b$ et l'on obtient le même vecteur avec la commande (a : $ℓ : b)$ en prenant $ℓ = (b - a)/(m - 1)$ ;
la commande histplot(y,data) permet de représenter les éléments du vecteur data sous la forme d'un histogramme; les classes de l'histogramme sont définies par le vecteur strictement croíssant y ; si ce vecteur contient $m$ éléments $y(1), y(2), \dotsy(m)$ tels que $y(1) < y(2) < \dots < y(m)$ , alors la première classe de l'histogramme est l'intervalle [y(1), y(2)] et les autres classes sont les intervalles ]y(i), y(i+1)] pour $2 ⩽ i≼m$ .
a) Compléter le programme suivant afin que la matrice MoyEmp contienne 12000 réalisations de la moyenne empirique $Y¯_(200)$ .

histogramme 1

histogramme 2

b) Les histogrammes 1 et 2 ont été obtenus à l'aide de ce programme. Expliquer en quoi ce couple d'histogrammes illustre le résultat de la question 10.c).

Partie IV. La loi de la médiane empirique

Dans les questions 19, 14 et 15, on suppose que le paramètre

θ

est inconnu.
On rappelle que

X↪C_0

. Pour

n

entier de

N^*

, on note

(X_1, X_2, \dots, X_(2n + 1))

un (

2n + 1

)-échantillon de variables aléatoires indépendantes et de même loí que

X

.
On admet l'existence de (

2n + 1

) fonctions

g_1, g_2, \dots, g_(2n + 1)

continues sur

R^(2n + 1)

à valeurs réelles, telles que les variables aléatoires réelles

X^_1, X^_2, \dots, X^_(2n + 1)

définies par:

\forallk \in [ [1, 2n + 1] ], X^_k = g_k(X_1, X_2, \dots, X_(2n + 1))

soient des variables aléatoires à densité et que pour tout

ω \in Ω

, les réels

X^_1(ω), X^_2(ω), \dots, X^_(2n + 1)(ω)

soient un réarrangement par ordre croissant de

X_1(ω), X_2(ω), \dots, X_(2n + 1)(ω) : \forallω \in Ω, X^_1(ω) ⩽ X^_2(ω) ⩽ \dots ⩽ X^_(2n + 1)(ω)

. En particulier, la variable aléatoire

X^_(n + 1)

est la médiane empirique de l'échantillon

(X_1, X_2, \dots, X_(2n + 1))

.
12. Pour tout

h \in R_+^*

et pour tout

x \in R

, on note

Z

la variable aléatoire discrète définie par :

∀ω ∈ Ω, Z(ω) = Card{i ∈ [ [1, 2n + 1] ]; x < X_i(ω) < x + h}.

On note

A

B

les deux événements suivants :

A = [x < Xˆ_(n + 1) ⩽ x + h]

B = A \cap [Z = 1]

.
a) Établir la relation:

P(B) = (n + 1)((2n + 1)/n)(F_X(x))^n(F_X(x + h) - F_X(x))(1 - F_X(x + h))^n

.
b) On suppose que le réel

x

est fixé. Montrer qu'il existe un réel

K

indépendant de

h

pour lequel on a :

0 ⩽ P(A) - P(B) ⩽ K(F_X(x + h) - F_X(x))^2

c) Montrer que

X^_(n + 1)

admet une densité

f_(X^_(n + 1))

donnée par :

\forallx \in R, f_(X¯_(n + 1))(x) = (n + 1)((2n + 1)/n)(F_X(x))^n(1 - F_X(x))^n f_X(x)

13.a) Établir l'équivalence suivante :

xf_(X^_(n + 1))(x) \sim _(x \to + \infty)(n + 1)((2n + 1)/n)1/(π^(n + 1)) \times 1/(x^(n + 1))

.
b) En déduire l'existence de l'espérance

E(Xˆ_(n + 1))

de la variable aléatoire

X^_(n + 1)

.
c) Justifier que

X^_(n + 1)

est un estimateur du paramètre

θ

. Calculer

E(X^_(n + 1) - θ)

. Conclure.
d) À quelle condition nécessaire et suffisante portant sur

n

, la variable aléatoire

X^_(n + 1)

admet-elle une variance?
14. On note

F_(X^_(n + 1))

la fonction de répartition de

X^_(n + 1)

. Soit

ε

un réel strictement positif.
a) Établir la relation :

\forallt \in R, f_(Xˆ_(n + 1))(2θ - t) = f_(Xˆ_(n + 1))(t)

. En déduire que

P([|Xˆ_(n + 1) - θ| ⩾ ε]) = 2F_(Xˆ_(n + 1))(θ - ε)

.
b) Montrer que la suite d'estimateurs

(X^_(n + 1))_(n \in ℕ^*)

converge en probabilité vers

θ

.
c) La suite

(Xˆ_(n + 1))_(n \in ℕ^*)

, converge-t-elle en loi vers la variable certaine

θ

?
15. Pour tout entier

n ⩾ 2

, on pose :

W_(n + 1) = (2\sqrt(2n + 1))/π(X˙_(n + 1) - θ)

.
a) On note

f_(W_(n + 1))

la densité continue sur

R

W_(n + 1)

. Montrer que :

\forallx \in R, f_(W_(n + 1))(x) = (n + 1)/(2\sqrt(2n + 1))((2n + 1)/n)[1/4 - 1/(π^2)(Arctan((πx)/(2\sqrt(2n + 1))))^2]^n \times (1 + (π^2 x^2)/(4(2n + 1)))^(- 1).

b) Montrer que pour tout

x \in R

, on a :

lim_(n \to + \infty)f_(W_(n + 1))(x) = 1/(\sqrt(2π))exp(- (x^2)/2)

On admet que ce résultat implique la convergence en loi de la suite de variables aléatoires

(W_(n + 1))_(n ⩾ 2)

vers une variable aléatoire

T

qui suit la loi normale centrée réduite.
c) On note

Φ

la fonction de répartition de

T

. Soit

α

un réel vérifiant

0 < α < 1

; on pose :

t_α = Φ^(- 1)(1 - α/2)

Déterminer un intervalle de confiance asymptotique pour

θ

, centré sur

X^_(n + 1)

, au niveau de confiance

1 - α

.
16. Dans le langage Scilab, la fonction gsort permet de trier les éléments d'une matrice réelle

A

la commande gsort(A, 'r') renvoie une copie de $A$ triée colonne par colonne, par ordre décroissant (chaque colonne est triée indépendamment des autres);
la commande gsort ( A , ' c ') renvoie une copie de $A$ triée ligne par ligne, par ordre décroissant (chaque ligne est triée indépendamment des autres).
On suppose que $θ = 0$ et on considère $p$ réalisations ( $p ⩾ 10^4$ ) du ( $2n + 1$ )-échantillon ( $X_1, X_2, \dots, X_(2n + 1)$ ). Recopier et compléter le code suivant afin que son exécution retourne un vecteur MedianeEmp de $p$ réalisations de la médiane empirique $X^_(n + 1)$ , puis un vecteur W de $p$ réalisations de $W_(n + 1)$ .

A=cauchy(p,2*n+1)
Smgsort ..........
MedianeEmp= .........
W= .........

Pas de description pour le moment

Commentaires• BCE Maths approfondies HEC/ESCP ECS 2017, épreuve 2

Connectez-vous pour participer aux discussions

Partagez vos avis, posez des questions et échangez avec la communauté

Chargement des commentaires...