2024-Cnm-Mp1-corrigé

Concours national commun 2024 — Mathématiques 1 — MP

Durée : 4 heures. L’usage de tout matériel électronique, y compris la calculatrice, est interdit.
Le sujet est composé d’un exercice et d’un problème indépendants.

Exercice — 4 points sur 20

On pose
{I_0=\int_0^{+\infty}\mathrm e^{-3x}\,\mathrm dx,}et, pour tout entier naturel non nul {n},
{I_n=\int_0^{+\infty}x^n\mathrm e^{-3x}\,\mathrm dx.}

1. a) Montrer que {I_0} est une intégrale convergente et que {I_0=1/3}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1. b) Vérifier que, pour tout entier naturel {n}, {x^n\mathrm e^{-3x}=o(1/x^2)} quand {x} tend vers {+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1. c) En déduire que, pour tout entier naturel {n}, {I_n} est une intégrale convergente.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. Montrer, en utilisant une intégration par parties, que pour tout entier naturel {n} et tout réel positif {A},
{\begin{array}{l}\displaystyle\int_0^A x^{n+1}\mathrm e^{-3x}\,\mathrm dx\\[8pt]\displaystyle\quad=-\frac{A^{n+1}}3\mathrm e^{-3A}+\frac{n+1}3\int_0^A x^n\mathrm e^{-3x}\,\mathrm dx.\end{array}}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. Montrer que, pour tout entier naturel {n}, {I_{n+1}=(n+1)I_n/3}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. En déduire que, pour tout entier naturel {n}, {I_n=n!/3^{n+1}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

5. Soit {X} une variable aléatoire de densité
{f(x)=\left\{\begin{array}{ll}0&\text{si }x\leq0,\\[8pt]\dfrac94(1+x)\mathrm e^{-3x}&\text{si }x>0.\end{array}\right.}

5. a) Déterminer l’espérance {\mathbb E(X)} de la variable aléatoire {X}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5. b) Déterminer la variance {\mathbb V(X)} de la variable aléatoire {X}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Problème

Pour tout réel {t>0}, on considère les fonctions définies sur {\mathbb R} par
{f_t(x)=\mathrm e^{-tx^2/2},}{g_t(x)=\left\{\begin{array}{ll}0&\text{si }x\leq0,\\[8pt]txf_t(x)&\text{si }x>0.\end{array}\right.}On rappelle que
{\int_0^{+\infty}\mathrm e^{-x^2/2}\,\mathrm dx=\sqrt{\frac\pi2}.}Dans toute la suite du problème, {t} est un réel strictement positif.

Partie 1 — Étude d’une variable aléatoire

On rappelle qu’une fonction {f:\mathbb R\to\mathbb R} continue par morceaux est une densité de probabilité si elle est positive sur {\mathbb R}, si l’ensemble de ses points de discontinuité est fini, si elle est intégrable sur {\mathbb R} et si son intégrale sur {\mathbb R} vaut {1}.

1. a) Montrer que, pour tout entier {n\geq0}, l’intégrale
{I_n=\int_0^{+\infty}x^nf_t(x)\,\mathrm dx}est convergente.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1. b) Déterminer {I_0} en fonction de {t}. On pourra faire le changement de variable {u=x\sqrt t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1. c) Déterminer {I_1} sous forme d’une expression simple de {t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. a) Montrer que, pour tout entier {n\geq2} et tout réel {u\geq0},
{\begin{array}{l}\displaystyle\int_0^u x^nf_t(x)\,\mathrm dx\\[8pt]\displaystyle\quad=-\frac{u^{n-1}}t f_t(u)+\frac{n-1}t\int_0^u x^{n-2}f_t(x)\,\mathrm dx.\end{array}}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. b) En déduire que, pour tout entier {n\geq2}, {I_n=(n-1)I_{n-2}/t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. a) Montrer que {g_t} est une densité de probabilité. Dans la suite, on note {X_t} une variable aléatoire définie sur un espace probabilisé {(\Omega,\mathcal A,\mathbb P)} admettant {g_t} pour densité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. b) Déterminer {F_t}, la fonction de répartition de {X_t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. c) Montrer que {X_t} admet une espérance et déterminer sa valeur.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. d) Montrer que {X_t} admet une variance et déterminer sa valeur.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. e) Déterminer la valeur de {t} pour que l’écart type {\sigma(X_t)} soit égal à {1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

4. Pour tout entier naturel {k}, on considère les événements
{A_k=\{\sqrt{2k}\lt X_t\leq\sqrt{2k+1}\},}{B_k=\{\sqrt{2k+1}\lt X_t\leq\sqrt{2k+2}\}.}

4. a) Déterminer {\mathbb P(A_k)} et {\mathbb P(B_k)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. b) i) Montrer que {\sum\limits_{n\geq0}\mathbb P(A_n)} est une série convergente et déterminer sa somme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. b) ii) Montrer que {\sum\limits_{n\geq0}\mathbb P(B_n)} est une série convergente et déterminer sa somme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. b) iii) Peut-on avoir
{\mathbb P\left(\bigcup_{n=0}^{+\infty}A_n\right)=\mathbb P\left(\bigcup_{n=0}^{+\infty}B_n\right)?}Justifier la réponse.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Partie 2 — Calcul d’une intégrale impropre

Pour tout entier {n\geq0} et tout réel {x}, on pose
{S_n(x)=\sum_{k=0}^n\frac{(-tx)^k}{k!}f_t(x).}On définit le moment d’ordre {n} de la fonction {f_t} par
{m_n=\int_{-\infty}^{+\infty}x^nf_t(x)\,\mathrm dx.}On rappelle que {m_n} dépend de {t}.

1. Déterminer, pour tout entier {k\geq0}, {m_{2k}} et {m_{2k+1}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. Montrer que, pour tous réels {a,b,c} avec {a>0}, l’intégrale suivante converge et vérifie
{\int_{-\infty}^{+\infty}\mathrm e^{-(ax^2+bx+c)}\,\mathrm dx=\sqrt{\frac\pi a}\,\mathrm e^{\Delta/(4a)},}où {\Delta=b^2-4ac}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. Montrer que {\int_{-\infty}^{+\infty}\mathrm e^{-tx}f_t(x)\,\mathrm dx} converge et déterminer sa valeur.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. Déterminer, pour tout réel {x}, {\lim\limits_{n\to+\infty}S_n(x)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5. Montrer que
{\int_{-\infty}^{+\infty}\mathrm e^{-tx}f_t(x)\,\mathrm dx=\sum_{k=0}^{+\infty}(-1)^km_k\frac{t^k}{k!}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6. En déduire la valeur de {\sum\limits_{k=0}^{+\infty}m_{2k}t^{2k}/(2k)!}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
7. Montrer que l’intégrale {\int_0^1t^{-1/2}\mathrm e^{t/2}\,\mathrm dt} est convergente.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
8. Montrer que
{\int_0^1\frac{\mathrm e^{t/2}}{\sqrt t}\,\mathrm dt=\sum_{k=0}^{+\infty}\frac1{k!(2k+1)2^{k-1}}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Partie 3 — Produit de convolution et une transformée

On note {E} l’ensemble des fonctions continues {h:\mathbb R\to\mathbb R} telles qu’il existe {M\geq0} et {\lambda>0} vérifiant
{\forall x\in\mathbb R,\quad |h(x)|\leq M f_t(\lambda x).}On admet le résultat suivant : si {\Phi:\mathbb R^2\to\mathbb R} est continue et s’il existe deux fonctions continues et intégrables {\Phi_1,\Phi_2} sur {\mathbb R} telles que
{|\Phi(x,y)|\leq\Phi_1(x)\Phi_2(y),}alors les deux intégrales itérées existent et sont égales :
{\begin{array}{l}\displaystyle\int_{\mathbb R}\left(\int_{\mathbb R}\Phi(x,y)\,\mathrm dx\right)\mathrm dy\\[8pt]\displaystyle\quad=\int_{\mathbb R}\left(\int_{\mathbb R}\Phi(x,y)\,\mathrm dy\right)\mathrm dx.\end{array}}On rappelle que {\mathcal C(\mathbb R,\mathbb R)}, muni des opérations usuelles, est un espace vectoriel réel.

1. Montrer que {(E,+,\cdot)} est un espace vectoriel réel et que {f_t\in E}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

2. Soient {\varphi,\psi\in E}. On définit, pour les réels {x} pour lesquels l’intégrale existe,
{(\varphi*\psi)(x)=\int_{\mathbb R}\varphi(u)\psi(x-u)\,\mathrm du.}

2. a) Montrer que {\varphi*\psi} est définie sur {\mathbb R}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. b) Montrer que {\varphi*\psi=\psi*\varphi}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. c) Déterminer {f_t*f_t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. d) Montrer que {\varphi*\psi\in E}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

3. Soit {\varphi\in E}. On définit la fonction {\widehat\varphi} par
{\widehat\varphi(x)=\int_{\mathbb R}\mathrm e^{-xu}\varphi(u)\,\mathrm du.}

3. a) Montrer que {\widehat\varphi} est bien définie sur {\mathbb R}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. b) Montrer que {\widehat\varphi} est de classe {\mathcal C^2} sur {\mathbb R} et déterminer les expressions de {\widehat\varphi'(x)} et de {\widehat\varphi''(x)} à l’aide d’intégrales.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

4. Soient {\varphi,\psi\in E}.

4. a) Montrer qu’il existe {\alpha>0} tel que, pour tous réels {x,u},
{u^2+(x-u)^2\geq\alpha(u^2+x^2).}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. b) Montrer que, selon la formule imprimée dans l’énoncé,
{\int_{\mathbb R}(\varphi*\psi)(x)\,\mathrm dx=\left(\int_{\mathbb R}\psi(x)\,\mathrm dx\right)^2.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. c) Montrer que, pour tout réel {\omega},
{\widehat{\varphi*\psi}(\omega)=\widehat\varphi(\omega)\widehat\psi(\omega).}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Partie 4 — Une suite de fonctions construite à partir du produit de convolution

On note {E_1} l’ensemble des fonctions {\psi\in E} telles que {\int_{\mathbb R}\psi(x)\,\mathrm dx=1}.
Pour toute fonction {\phi\in E_1}, on considère la suite {(\phi_n)_{n\geq1}} définie par
{\phi_1=\phi,\qquad\phi_n=\phi_{n-1}*\phi_1\quad(n\geq2).}

1. Montrer que, pour tout entier {n\geq1}, {\phi_n\in E_1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. Déterminer, pour tout entier {n\geq1} et tout réel {x}, {\widehat{\phi_n}(x)} en fonction de {\widehat\phi(x)} et de {n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

3. Dans cette question, on prend
{\phi=\sqrt{\frac{t}{2\pi}}\,f_t,}où {f_t} est la fonction définie au début du problème.

3. a) Montrer que, pour tout entier {n\geq1}, il existe un réel {C_n(t)}, à déterminer, tel que
{\forall x\in\mathbb R,\quad\phi_n(x)=C_n(t)\mathrm e^{-tx^2/(2n)}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. b) Montrer qu’il existe une constante réelle {\nu>0} telle que, pour tout entier {n\geq1} et tout réel {u},
{\widehat{\phi_n}\left(u\sqrt{\frac tn}\right)=\mathrm e^{\nu u^2}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

4. Soit {\phi} un élément quelconque de {E_1}. Pour tout entier {n\geq1}, on pose
{M_{n,1}=\int_{\mathbb R}u\phi_n(u)\,\mathrm du,}{M_{n,2}=\int_{\mathbb R}u^2\phi_n(u)\,\mathrm du,\qquad V_n=M_{n,2}-M_{n,1}^2.}

4. a) Montrer que {\widehat{\phi_n}} admet un développement limité à l’ordre {2} en {0} et en préciser les coefficients à l’aide de {M_{n,1}} et de {M_{n,2}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. b) En déduire que {M_{n,1}=nM_{1,1}} et {V_n=nV_1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5. On suppose de plus que {M_{1,1}=0}. Déterminer, pour tout réel {u},
{\lim_{n\to+\infty}\widehat{\phi_n}\left(u\sqrt{\frac tn}\right).}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :