\documentclass[10pt]{article} \usepackage[french]{babel} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} \usepackage[version=4]{mhchem} \usepackage{stmaryrd} \usepackage{bbold} \title{Conception : HEC Paris } \author{} \date{} \begin{document} \maketitle \section*{OPTION SCIENTIFIQUE} \section*{MATHÉMATIQUES} Lundi 30 avril 2018, de 14 h. à 18 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.\\ Aucun document n'est autorisé. 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. Hormis le résultat de la question 12.b), la partie IV est indépendante du préliminaire et des parties I, II et III. \section*{Préliminaire} 1.a) Établir pour tout entier naturel \(k\), la convergence de l'intégrale \(\int_{0}^{+\infty} t^{k} \mathrm{e}^{-t^{2}} \mathrm{~d} t\). On pose alors, \(A_{0}=\int_{0}^{+\infty} \mathrm{e}^{-t^{2}} \mathrm{~d} t\) et, pour tout entier \(k \geqslant 1, A_{k}=\int_{0}^{+\infty} t^{k} \mathrm{e}^{-t^{2}} \mathrm{~d} t\).\\ b) Calculer \(A_{0}, A_{1}\) et \(A_{2}\).\\ 2. Déduire de la question 1.a) la convergence, pour tout \(x\) réel, des deux intégrales : \[ \int_{0}^{+\infty} \mathrm{e}^{-t^{2}} \cos (2 x t) \mathrm{d} t \text { et } \int_{0}^{+\infty} t \mathrm{e}^{-t^{2}} \sin (2 x t) \mathrm{d} t \] \section*{Partie I. Calcul d'une fonction auxiliaire} On note \(F\) et \(G\) respectivement, les fonctions définies sur \(\mathbf{R}\) par : \[ \forall x \in \mathbf{R}, \quad F(x)=\int_{0}^{+\infty} \mathrm{e}^{-t^{2}} \cos (2 x t) \mathrm{d} t \text { et } G(x)=\int_{0}^{+\infty} t \mathrm{e}^{-t^{2}} \sin (2 x t) \mathrm{d} t \] Dans cette partie, on veut montrer d'une part, que la fonction \(F\) est dérivable sur \(\mathbf{R}\) et d'autre part, donner pour tout réel \(x\), l'expression de \(F(x)\).\\ 3.a) À l'aide d'une formule de Taylor, établir pour tout réel \(u\), l'inégalité : \(|\sin (u)| \leqslant|u|\).\\ b) Pour tous réels \(u\) et \(v\), justifier la formule trigonométrique : \(\cos (u)-\cos (v)=2 \sin \left(\frac{u+v}{2}\right) \sin \left(\frac{v-u}{2}\right)\).\\ c) En déduire que la fonction \(F\) est continue sur \(\mathbf{R}\).\\ 4. a) Pour tout réel \(u\), justifier à l'aide d'une formule de Taylor, l'inégalité : \(|u-\sin (u)| \leqslant \frac{u^{2}}{2}\).\\ b) Pour tous réels \(x\) et \(h\), établir l'inégalité : \[ |F(x+h)-F(x)+2 h G(x)| \leqslant \int_{0}^{+\infty} \mathrm{e}^{-t^{2}}(|(2 h t-\sin (2 h t)) \sin (2 x t)|+(1-\cos (2 h t))|\cos (2 x t)|) \mathrm{d} t \] (On pourra admettre l'existence de l'intégrale du second membre, qui découle du préliminaire)\\ c) En déduire l'existence d'une constante \(C>0\) telle que : \[ \forall(x, h) \in \mathbf{R}^{2},|F(x+h)-F(x)+2 h G(x)| \leqslant C h^{2} . \] 5.a) Justifier que la fonction \(F\) est dérivable sur \(\mathbf{R}\) et exprimer sa fonction dérivée \(F^{\prime}\) à l'aide de la fonction \(G\).\\ b) En utilisant une intégration par parties, montrer que pour tout réel \(x\), on a : \(F^{\prime}(x)=-2 x F(x)\).\\ c) En déduire que pour tout réel \(x\), on a : \(F(x)=\frac{\sqrt{\pi}}{2} \mathrm{e}^{-x^{2}}\). \section*{Partie II. Fonction de Dirichlet} \begin{enumerate} \setcounter{enumi}{5} \item Pour tout \(n \in \mathbf{N}\), soit \(\varphi_{n}\) la fonction définie sur \(\mathcal{D}=\mathbf{R} \backslash\{2 k \pi ; k \in \mathbf{Z}\}\) par: \end{enumerate} \[ \forall u \in \mathcal{D}, \varphi_{n}(u)=\frac{\sin \left(\left(n+\frac{1}{2}\right) u\right)}{2 \sin \left(\frac{u}{2}\right)} \] (L'ensemble \(\mathcal{D}\) est l'ensemble des nombres récls qui ne sont pas des multiples de \(2 \pi\) )\\ a) Montrer que la fonction \(\varphi_{n}\) est continue sur \(\mathcal{D}\) et prolongeable par continuité en 0 .\\ b) En déduire que la fonction \(\varphi_{n}\) admet un prolongement continu sur \(\mathbf{R}\). On note encore \(\varphi_{\pi}\) la fonction ainsi prolongée sur R .\\ c) Montrer que la fonction \(\varphi_{n}\) est paire.\\ 7. On note \(i\) le nombre complexe de module 1 et d'argument \(\frac{\pi}{2}\).\\ a) Pour tout réel \(u\), calculer la somme \(\sum_{k=1}^{n} \mathrm{e}^{i k u}\).\\ b) En déduire la relation: \(\forall u \in \mathbf{R}, \sum_{k=1}^{n} \cos (k u)=\varphi_{n}(u)-\frac{1}{2}\).\\ c) Pour tout \(n \in \mathbf{N}\), calculer l'intégrale \(\int_{0}^{2 \pi} \varphi_{n}(u) \mathrm{d} u\).\\ 8. Soit \(\psi\) une fonction continuc sur \(\mathbf{R}\) et périodique de période \(T\). Établir pour tout réel \(x\), l'égalité : \[ \int_{x}^{x+T} \psi(u) \mathrm{d} u=\int_{0}^{T} \psi(u) \mathrm{d} u \] Partie III. Formule sommatoire de Poisson\\ Dans cette partie, on note \(\theta\) un réel strictement positif fixé et on considère la fonction \(f\) définie sur \(\mathbf{R}\) à valeurs réelles telle que: \(\forall x \in \mathbf{R}, f(x)=\mathrm{e}^{-\theta x^{2}}\).\\ 9.a) Montrer que pour tout réel \(x\), les deux séries \(\sum_{k \geqslant 1} f(x+2 k \pi)\). et \(\sum_{k \geqslant 1} f(x-2 k \pi)\) sont convergentes. On pose alors : \(\forall x \in \mathbf{R}, H(x)=f(x)+\sum_{k=1}^{+\infty} f(x+2 k \pi)+\sum_{k=1}^{+\infty} f(x-2 k \pi)\). On définit ainsi une fonction \(H\) sur \(\mathbf{R}\) et on admet sans démonstration dans toute la suite du problème que la fonction \(H\) est de classe \(C^{1}\) sur \(\mathbf{R}\).\\ b) Préciser la parité de la fonction \(H\) et de sa fonction dérivée \(H^{\prime}\).\\ 10. Dans cette question, on note \(n\) un entier naturel fixé. Pour tout \(N \in \mathrm{~N}^{*}\), soit \(H_{N}\) la fonction définie sur R par : \[ \forall x \in \mathbf{R}, H_{N}(x)=f(x)+\sum_{k=1}^{N} f(x+2 k \pi)+\sum_{k=1}^{N} f(x-2 k \pi) . \] a) Établir l'égalité : \(\int_{0}^{2 \pi} H_{N}(x) \cos (n x) \mathrm{d} x=\int_{-2 N \pi}^{2(N+1) \pi} f(u) \cos (n u) \mathrm{d} u\).\\ b) En déduire que l'on a : \(\lim _{N \rightarrow+\infty} \int_{0}^{2 \pi} H_{N}(x) \cos (n x) \mathrm{d} x=2 \int_{0}^{+\infty} f(u) \cos (n u) \mathrm{d} u\).\\ c) Établir pour tout réel \(x\), l'inégalité : \(\left|H(x)-H_{N}(x)\right| \leqslant 2 \sum_{k=N+1}^{+\infty} \mathrm{e}^{-4 \theta \pi^{2} k^{2}}\).\\ d) En déduire les égalités : \[ \int_{0}^{2 \pi} H(x) \cos (n x) \mathrm{d} x=2 \int_{0}^{+\infty} f(u) \cos (n u) \mathrm{d} u=\sqrt{\frac{\pi}{\theta}} \times \exp \left(-\frac{n^{2}}{4 \theta}\right) \] \begin{enumerate} \setcounter{enumi}{10} \item Soit \(x\) un réel appartenant au segment \([0,2 \pi]\). \end{enumerate} Pour tout \(n \in \mathbf{N}\), on pose : \(a_{n}=\int_{0}^{2 \pi} H(x) \cos (n x) \mathrm{d} x\).\\ a) Pour tout \(N \in \mathrm{~N}^{*}\), ćtablir l'égalité : \[ a_{0}+2 \sum_{n=1}^{N} a_{n} \cos (n x)=\int_{0}^{2 \pi} H(u) \times \varphi_{N}(u+x) \mathrm{d} u+\int_{0}^{2 \pi} H(u) \times \varphi_{N}(u-x) \mathrm{d} u \] où la fonction \(\varphi_{N}\) a été définie dans la question 6 .\\ b) En déduire l'égalité : \[ a_{0}+2 \sum_{n=1}^{N} a_{n} \cos (n x)=\int_{0}^{2 \pi}\left(\frac{H(v+x)+H(v-x)}{2 \sin (v / 2)}\right) \times \sin \left(\left(N+\frac{1}{2}\right) v\right) \mathrm{d} v \] c) Justifier la continuité sur le segment \([0,2 \pi]\) de la fonction \(K_{x}\) définie par : \[ K_{x}(v)=\left\{\begin{array}{cl} \frac{H(v+x)+H(v-x)-2 H(x)}{2 \sin (v / 2)} & \text { si } v \in] 0,2 \pi[ \\ 0 & \text { si } v=0 \text { ou } v=2 \pi \end{array} .\right. \] d) À l'aide de la question 7.c), établir l'égalité : \[ a_{0}+2 \sum_{n=1}^{N} a_{n} \cos (n x)-2 \pi H(x)=\int_{0}^{2 \pi} K_{x}(v) \times \sin \left(\left(N+\frac{1}{2}\right) v\right) \mathrm{d} v \] 12.a) Soit \(g\) une fonction définie et de classe \(C^{1}\) sur le segment \([0,1]\). À l'aide d'une intégration par parties, montrer que l'intégrale \(\int_{0}^{l} g(t) \sin (\lambda t) \mathrm{d} t\) tend vers 0 lorsque le réel \(\lambda\) tend vers \(+\infty\). On admet plus généralement que si \(g\) est une fonction continue sur un segment \([\alpha, \beta](\alpha<\beta)\), alors : \[ \lim _{\lambda \rightarrow+\infty} \int_{\alpha}^{\beta} g(t) \sin (\lambda t) \mathrm{d} t=0 \] b) Établir pour tout réel \(x \in[0,2 \pi]\) et pour tout réel \(\theta>0\), la relation (formule sommatoire de Poisson) : \[ \frac{1}{\sqrt{\pi \theta}}\left(\frac{1}{2}+\sum_{n=1}^{+\infty} \exp \left(-\frac{n^{2}}{4 \theta}\right) \cos (n x)\right)=\mathrm{e}^{-\theta x^{2}}+\sum_{k=1}^{+\infty} \mathrm{e}^{-\theta(x+2 k \pi)^{2}}+\sum_{k=1}^{+\infty} \mathrm{e}^{-\theta(x-2 k \pi)^{2}} . \] \section*{Partie IV. Une application probabiliste de la formule sommatoire de Poisson} Soit \(p\) un réel vérifiant \(0 p i=i+1; j=j+1 ; if j>s then v=-v; // changement de main s= ............; j= ........... ; end; end; if v==1 then disp("A vainqueur"); else disp("B vainqueur"); end ; endfunction \end{verbatim} b) Que représente la valeur de \(i\) après l'exécution de la fonction "jeu"?\\ c) Préciser la signification de la variable \(v\).\\ d) Compléter le code de la fonction «jeu» pour qu'elle affiche le nombre de lancers effectués par le joueur A.\\ e) Écrire un code Scilab permettant d'obtenir une valeur approchée de la probabilité que le vainqueur du jeu soit le joueur A .\\ 14. On suppose que l'expérience aléatoire précédente est modélisée à l'aide d'un espace probabilisé ( \(\Omega, \mathcal{A}, P_{p}\) ). On note : \begin{itemize} \item \(X\) le nombre de lancers effectués par le joueur A et \(I\) l'ensemble des rangs possibles de ses lancers \(1,5,6, \ldots\); \item \(Y\) le nombre de lancers effectués par le joueur B et \(J\) l'ensemble des rangs possibles de ses lancers \(2,3,4, \ldots\); \item \(H\) l'événement aléatoire "le vainqueur est A "; \item \(K\) l'événement aléatoire «le vainqueur est B ».\\ a) Justifier que \(P_{p}(H \cup K)=1\) et identifier la loi de la variable aléatoire \(X+Y\).\\ b) Montrer que: \(\lim _{p \rightarrow 1} P_{p}(H)=1\).\\ 15.a) Justifier que l'ensemble \(I\) est inclus dans la réunion \(\bigcup_{n \in \mathbb{N}}\left[4 n^{2}+1,4 n^{2}+4 n+1\right]\).\\ b) Démontrer que : \(P_{p}(H)=\sum_{n=0}^{+\infty}\left((1-p)^{4 n^{2}}-(1-p)^{4 n^{2}+4 n+1}\right)\). Donner une expression similaire pour \(P_{p}(K)\).\\ 16.a) En utilisant le résultat de la question 12.b), établir l'inégalité stricte suivante : \(\sum_{n=0}^{+\infty}(-1)^{n}(1-p)^{n^{2}}>\frac{1}{2}\).\\ b) Que peut-on en déduire concernant le jeu considéré? \end{itemize} FIN \end{document}