\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} \usepackage{mathrsfs} \title{Conception : EDHEC BS } \author{} \date{} \begin{document} \maketitle \section*{OPTION SCIENTIFIQUE} \section*{MATHÉMATIQUES} Mardi 5 mai 2020, 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.\\ 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. \section*{Exercice 1} Soit \(f\) la fonction définie par : \[ \forall(x, y, z) \in \mathbb{R}^{3}, f(x, y, z)=x \mathrm{e}^{x\left(y^{2}+z^{2}+1\right)} \] \begin{enumerate} \item Montrer que \(f\) est de classe \(C^{2}\) sur \(\mathbb{R}^{3}\). \item Déterminer le seul point critique \(A \operatorname{de} f\). \item a) Calculer les valeurs des dérivées partielles d'ordre 2 de \(f\) en \(A\).\\ b) Former la hessienne de \(f\) au point \(A\) et vérifier qu'elle est diagonale. Montrer que \(f\) présente un minimum local en \(A\). Préciser la valeur de ce minimum. \item a) Montrer que, pour tout \((x, y, z)\) de \(\mathbb{R}^{3}, f(x, y, z) \geq x \mathrm{e}^{x}\).\\ b) Que peut-on en déduire pour le minimum de \(f\) trouvé à la question 3b) ? \item On souhaite étudier les extrema de \(f\) sous la contrainte linéaire ( \(C\) ) : \(\left\{\begin{array}{l}x=1 \\ y+z=0\end{array}\right.\). Montrer que, sous la contrainte \((C), f\) présente un minimum global au point \((1,0,0)\). Quelle est sa valeur? \item On souhaite maintenant étudier les extrema de \(f\) sous la contrainte \(\left(C^{\prime}\right): x\left(y^{2}+z^{2}+1\right)=1\). \end{enumerate} Montrer que \(f\) possède un maximum global sous la contrainte \(\left(C^{\prime}\right)\). En quel point est-il atteint? Quelle est sa valeur ? \section*{Exercice 2} On désigne par \(n\) un entier naturel supérieur ou égal à 2 .\\ Soit \(X\) une variable aléatoire suivant la loi uniforme sur le segment \([0 ; \theta]\), où \(\theta\) (theta) désigne un réel strictement positif. \begin{enumerate} \item On note \(f\) une densité de \(X, F\) sa fonction de répartition, \(E(X)\) son espérance et \(V(X)\) sa variance.\\ a) Rappeler l'expression explicite de \(F(x)\) en fonction de \(x\) et \(\theta\).\\ b) Donner les valeurs de \(E(X)\) et \(V(X)\). \end{enumerate} Dans la suite, on suppose que le réel \(\theta\) est inconnu et on en propose deux estimateurs. Pour construire ces estimateurs, on dispose d'un échantillon ( \(X_{1}, \ldots, X_{n}\) ) de la loi de \(X\), ce qui signifie que \(X_{1}, \ldots, X_{n}\) sont \(n\) variables aléatoires, définies sur le même espace probabilisé ( \(\Omega, \mathcal{A}, P\) ), mutuellement indépendantes et de même loi que \(X\).\\ 2) On pose \(Y_{n}=\max \left(X_{1}, X_{2}, \ldots, X_{n}\right)\) et on admet que \(Y_{n}\) est une variable aléatoire, elle aussi, définie \(\operatorname{sur}(\Omega, \mathcal{A}, P)\).\\ a) On rappelle qu'en Scilab, la commande grand( \(\mathrm{x}, \mathrm{y}\), 'unf', \(\mathrm{a}, \mathrm{b}\) ) simule \(x \times y\) variables aléatoires indépendantes suivant toutes la loi uniforme sur \([a ; b]\). Écrire des commandes Scilab permettant d'entrer les valeurs des variables qui sont nécessaires et de simuler \(Y_{n}\).\\ b) On note \(F_{n}\) la fonction de répartition de \(Y_{n}\). Pour tout réel \(x\), écrire \(F_{n}(x)\) à l'aide de \(F(x)\) puis déterminer explicitement \(F_{n}(x)\).\\ c) En déduire que \(Y_{n}\) est une variable aléatoire à densité, puis donner une densité \(f_{n}\) de \(Y_{n}\).\\ d) Montrer que \(Y_{n}\) est un estimateur asymptotiquement sans biais de \(\theta\).\\ 3) On pose maintenant \(Z_{n}=\frac{1}{n} \sum_{i=1}^{n} X_{i}\). Déterminer \(E\left(Z_{n}\right)\) puis proposer un estimateur \(\widehat{Z_{n}}\), construit de façon affine à partir de \(Z_{n}\), et qui soit un estimateur sans biais de \(\theta\). \section*{Définition} On dit qu'un estimateur \(T_{n}\) de \(\theta\) est d'ordre de convergence \(\alpha>0\) lorsque la suite \(\left(n^{\alpha}\left(T_{n}-\theta\right)\right)_{n \in \mathbb{N}^{*}}\) converge en loi vers une variable aléatoire qui n'est pas quasi-certainement nulle.\\ 4) a) Utiliser le théorème de Slutsky pour établir le résultat suivant : si une suite \(\left(R_{n}\right)_{n \in \mathbb{N}^{*}}\) de variables aléatoires converge en loi vers une variable aléatoire \(R\) et si \(\left(a_{n}\right)_{n \in \mathbb{N}^{*}}\) est une suite de réels qui converge vers le réel \(a\), alors la suite \(\left(a_{n} R_{n}\right)_{n \in \mathbb{N}^{*}}\) converge en loi vers la variable aléatoire \(a R\).\\ b) Déduire de ce résultat l'unicité de l'ordre de convergence d'un estimateur (on pourra raisonner par l'absurde en supposant qu'un estimateur \(T_{n}\) de \(\theta\) possède deux ordres distincts, \(\alpha\) et \(\beta\), avec par exemple \(0<\alpha<\beta\) ).\\ 5) On considère, dans cette question, une variable aléatoire \(T\) suivant la loi exponentielle de paramètre \(\frac{1}{\theta}\) et on pose \(Y=-T\). Déterminer la fonction de répartition, que l'on notera \(F_{Y}\), de \(Y\).\\ 6) a) Justifier que, pour tout réel \(x\) positif ou nul, on a \(P\left(n\left(Y_{n}-\theta\right) \leq x\right)=1\).\\ b) Montrer que, pour tout réel \(x\) strictement négatif et pour tout entier naturel \(n\) supérieur à \(-\frac{x}{\theta}\), on a l'égalité : \[ P\left(n\left(Y_{n}-\theta\right) \leq x\right)=\left(1+\frac{x}{n \theta}\right)^{n} \] c) Établir enfin que \(n\left(Y_{n}-\theta\right)\) converge en loi vers la variable aléatoire \(Y\). Conclure quant à l'ordre de convergence de \(Y_{n}\).\\ 7) a) Justifier que \(\widehat{Z_{n}}=\frac{1}{n} \sum_{i=1}^{n}\left(2 X_{i}\right)\), où \(\widehat{Z_{n}}\) est l'estimateur présenté à la troisième question.\\ b) On pose \(\widehat{Z}_{n}^{*}=\sqrt{n} \frac{\widehat{Z_{n}}-E(2 X)}{\sqrt{V(2 X)}}\). En appliquant le théorème limite central à la suite de variables aléatoires \(\left(2 X_{n}\right)_{n \in \mathbb{N}^{*}}\), montrer que \({\widehat{Z_{n}}}^{*}\) converge en loi vers une variable aléatoire \(Z\) dont on précisera la loi.\\ c) Vérifier que \(\widehat{Z}_{n}^{*}=\frac{\sqrt{3 n}}{\theta}\left(\widehat{Z_{n}}-\theta\right)\) et en déduire que \(\sqrt{n}\left(\widehat{Z_{n}}-\theta\right)\) converge en loi vers une variable aléatoire suivant la loi normale \(\mathcal{N}\left(0, \frac{\theta^{2}}{3}\right)\). Donner l'ordre de convergence de \(\widehat{Z_{n}}\). \section*{Exercice 3} Dans tout l'exercice, on désigne par \(E\) un \(\mathbb{R}\)-espace vectoriel de dimension \(n(n \geq 2)\), on note Id l'endomorphisme identité de \(E\) et \(\theta\) l'endomorphisme nul de \(E\). Pour tout endomorphisme \(f\) de \(E\), on appelle trace de \(f\), le réel, noté \(\operatorname{Tr}(f)\), égal à la trace de n'importe laquelle des matrices représentant \(f\). On admet que l'application trace, ainsi définie, est une forme linéaire sur \(\mathscr{L}(E)\). \section*{Partie 1 : préliminaires} \begin{enumerate} \item On considère un projecteur \(p\) de \(E\), c'est-à-dire un endomorphisme de \(E\) tel que \(p \circ p=p\).\\ a) Montrer que \(E=\operatorname{Ker}(p) \oplus \operatorname{Im}(p)\)\\ b) Établir que \(\operatorname{Im}(p)=\operatorname{Ker}(I d-p)\)\\ c) En déduire que \(p\) est diagonalisable et que l'on a : \end{enumerate} \[ \operatorname{rg}(p)=\operatorname{Tr}(p) \] \begin{enumerate} \setcounter{enumi}{1} \item Montrer par récurrence sur \(k\left(k \in \mathbb{N}^{*}\right)\) que, si \(E_{1}, \ldots, E_{k}\) sont des sous-espaces vectoriels de \(E\), alors on a l'inégalité : \end{enumerate} \[ \operatorname{dim}\left(E_{1}+\ldots+E_{k}\right) \leq \operatorname{dim}\left(E_{1}\right)+\ldots+\operatorname{dim}\left(E_{k}\right) \] \section*{Partie 2 : condition nécessaire et suffisante pour qu'une somme de projecteurs soit un projecteur} Soit un entier naturel \(k\) supérieur ou égal à 2 . On considère des projecteurs de \(E\), notés \(p_{1}, p_{2}, \ldots, p_{k}\), et on pose \(q_{k}=p_{1}+p_{2}+\ldots+p_{k}\).\\ 3) Montrer que si, pour tout couple \((i, j)\) de \(\llbracket 1, k \rrbracket^{2}\) tel que \(i \neq j\), on a \(p_{i} \circ p_{j}=\theta\), alors \(q_{k}\) est un projecteur. On suppose dans toute la suite que \(q_{k}\) est un projecteur et on souhaite montrer que, pour tout couple \((i, j)\) de \(\llbracket 1, k \rrbracket^{2}\) tel que \(i \neq j\), on a \(p_{i} \circ p_{j}=\theta\).\\ 4) a) Montrer que \(\operatorname{Im}\left(q_{k}\right)\) est inclus dans \(\operatorname{Im}\left(p_{1}\right)+\ldots+\operatorname{Im}\left(p_{k}\right)\).\\ b) Établir, grâce aux résultats de la partie 1, que \(\operatorname{rg}\left(q_{k}\right)=\operatorname{dim}\left(\operatorname{Im}\left(p_{1}\right)+\ldots+\operatorname{Im}\left(p_{k}\right)\right)\), puis en déduire que \(\operatorname{Im}\left(q_{k}\right)=\operatorname{Im}\left(p_{1}\right)+\ldots+\operatorname{Im}\left(p_{k}\right)\).\\ c) Établir finalement l'égalité : \[ \operatorname{Im}\left(q_{k}\right)=\operatorname{Im}\left(p_{1}\right) \oplus \ldots \oplus \operatorname{Im}\left(p_{k}\right) \] \begin{enumerate} \setcounter{enumi}{4} \item a) Montrer que, pour tout \(j\) de \(\llbracket 1, k \rrbracket\), on a l'égalité \(q_{k} \circ p_{j}=p_{j}\).\\ b) En déduire que, pour tout \(j\) de \(\llbracket 1, k \rrbracket\), on a : \(\forall x \in E, \sum_{\substack{i=1 \\ i \neq j}}^{k} p_{i}\left(p_{j}(x)\right)=0\).\\ c) Montrer alors que, pour tout couple \((i, j)\) de \(\llbracket 1, k \rrbracket^{2}\) tel que \(i \neq j\), on a \(p_{i} \circ p_{j}=\theta\). \item Conclure quant à l'objectif de cette partie. \end{enumerate} \section*{Problème} \section*{Partie 1 : préliminaires (les trois questions sont indépendantes)} \begin{enumerate} \item Pour tout entier naturel \(n\) non nul, on pose : \(u_{n}=\sum_{k=1}^{n} \frac{1}{k}-\ln n\).\\ a) Compléter le script Scilab suivant pour qu'il calcule et affiche \(u_{n}\) pour une valeur de \(n\) entrée par 1'utilisateur. \end{enumerate} \begin{verbatim} n=input('entrez une valeur pour n :') x=1 :n u=------ disp(u) \end{verbatim} b) Justifier que, pour tout entier naturel \(k\) non nul, on a : \(\frac{1}{k+1} \leq \ln (k+1)-\ln k \leq \frac{1}{k}\).\\ c) Utiliser la question précédente pour montrer que, pour tout \(n\) de \(\mathbb{N}^{*}\), on a : \[ 0 \leq u_{n} \leq 1 \] \begin{enumerate} \setcounter{enumi}{1} \item Dans cette question, \(x\) désigne un réel élément de \([0 ; 1[\).\\ a) Pour tout \(n\) de \(\mathbb{N}^{*}\) et pour tout \(t\) de \([0 ; x]\), simplifier la somme \(\sum_{p=1}^{n} t^{p-1}\).\\ b) En déduire que, pour tout \(n\) de \(\mathbb{N}^{*}\), on a : \end{enumerate} \[ \sum_{p=1}^{n} \frac{x^{p}}{p}=-\ln (1-x)-\int_{0}^{x} \frac{t^{n}}{1-t} d t \] c) Montrer que \(\lim _{n \rightarrow+\infty} \int_{0}^{x} \frac{t^{n}}{1-t} d t=0\).\\ d) Établir alors que la série de terme général \(\frac{x^{p}}{p}\) est convergente et que : \[ \sum_{p=1}^{+\infty} \frac{x^{p}}{p}=-\ln (1-x) \] \begin{enumerate} \setcounter{enumi}{2} \item On considère deux suites réelles \(\left(a_{n}\right)_{n \in \mathbb{N}^{*}}\) et \(\left(b_{n}\right)_{n \in \mathbb{N}}\) à termes positifs et on suppose que les séries de termes généraux \(a_{n}\) et \(b_{n}\) sont convergentes, de sommes respectives \(A=\sum_{n=1}^{+\infty} a_{n}\) et \(B=\sum_{n=0}^{+\infty} b_{n}\).\\ Pour tout entier naturel \(n\) non nul, on pose : \(c_{n}=\sum_{k=1}^{n} a_{k} b_{n-k}\).\\ a) Montrer que: \(\forall n \in \mathbb{N}^{*}, \sum_{k=1}^{n} c_{k} \leq\left(\sum_{k=1}^{n} a_{k}\right)\left(\sum_{k=0}^{n} b_{k}\right) \leq \sum_{k=1}^{2 n} c_{k}\).\\ b) En déduire que la série de terme général \(c_{n}\) converge et que l'on a: \end{enumerate} \[ \sum_{n=1}^{+\infty} c_{n}=\left(\sum_{n=1}^{+\infty} a_{n}\right)\left(\sum_{n=0}^{+\infty} b_{n}\right) \] c) Soit \(x\) un réel élément de \(\left[0 ; 1\left[\right.\right.\). On suppose dans cette question que l'on a : \(a_{k}=\frac{x^{k}}{k}\left(k \in \mathbb{N}^{*}\right)\) et \(b_{k}=x^{k}(k \in \mathbb{N})\).\\ i) Justifier rapidement que les séries de termes généraux \(a_{n}\) et \(b_{n}\) sont convergentes et à termes positifs.\\ ii) Compléter le script Scilab suivant pour qu'il calcule et affiche la valeur de \(c_{n}\) pour une valeur de \(n\) entrée par l'utilisateur. \begin{verbatim} n=input('entrez une valeur pour n :') x=input('entrez une valeur pour x :') u=1:n v=n-1:-1:0 a=------- b=------ c=------ disp (c) \end{verbatim} iii) Donner l'expression de \(c_{n}\) sous forme de somme. \section*{Partie 2 : étude d'une fonction définie comme somme de série} Dans cette partie, on désigne toujours par \(x\) un réel de \([0 ; 1[\).\\ 4) a) Utiliser la première question du préliminaire pour établir que : \[ \sum_{n=1}^{+\infty}\left(\sum_{k=1}^{n} \frac{1}{k}\right) x^{n}=\left(\sum_{n=1}^{+\infty} \frac{x^{n}}{n}\right)\left(\sum_{n=0}^{+\infty} x^{n}\right) \] b) En déduire que : \(\sum_{n=1}^{+\infty}\left(\sum_{k=1}^{n} \frac{1}{k}\right) x^{n}=\frac{-\ln (1-x)}{1-x}\).\\ 5) a) Montrer que, pour tout réel \(u\) strictement positif, on a : \(\ln u \leq u\).\\ b) En déduire que la série de terme général \((\ln n) x^{n}\), avec \(n \geq 1\), est convergente.\\ 6) On pose : \(f(x)=\sum_{n=1}^{+\infty}(\ln n) x^{n}\).\\ a) Établir, en utilisant le résultat de la question 1c), que : \(\frac{-\ln (1-x)}{1-x}-\frac{x}{1-x} \leq f(x) \leq \frac{-\ln (1-x)}{1-x}\).\\ b) Montrer finalement 1'équivalent suivant: \(f(x) \underset{1^{-}}{\sim} \frac{-\ln (1-x)}{1-x}\).\\ 7) a) Étudier les variations de la fonction \(f\).\\ b) Dresser le tableau de variations de \(f\) (valeur en 0 et limite en \(1^{-}\)comprises).\\ 8) a) En remarquant que \(f(x)=\sum_{n=2}^{+\infty}(\ln n) x^{n}\), montrer que l'on a : \(0 \leq f(x) \leq \frac{x}{(1-x)^{2}}-x\).\\ b) En déduire que \(f\) est continue à droite en 0 et dérivable à droite en 0 . Donner la valeur du nombre dérivé à droite en \(0 \operatorname{de} f\).\\ c) On admet que \(f\) est continue sur \(\left[0 ; 1\left[\right.\right.\). Donner la nature de l'intégrale \(\int_{0}^{1} f(x) d x\). \end{document}