\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{graphicx} \usepackage[export]{adjustbox} \graphicspath{ {./images/} } \title{MATHÉMATIQUES APPROFONDIES } \author{VOIE GÉNÉRALE} \date{} \begin{document} \maketitle \section*{Conception : emlyon bs} \section*{FILIÈRE ÉCONOMIQUE ET COMMERCIALE} Mardi 23 avril 2024, 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. On suppose, pour toutes les questions en langage Python, les bibliothèques usuelles déjà importées sous leur raccourcis habituels. \begin{verbatim} import numpy as np import numpy.random as rd import numpy.linalg as al import matplotlib.pyplot as plt import scipy.special as sp \end{verbatim} \section*{Problème 1} Dans tout le problème, \(n\) désigne un entier supérieur ou égal à 1 .\\ Si \(M \in \mathcal{M}_{n}(\mathbb{R})\) est une matrice carrée, on note, pour tout \((i, j) \in \llbracket 1, n \rrbracket^{2},(M)_{i, j}\) le coefficient de \(M\) à l'intersection de la \(i\)-ème ligne et \(j\)-ème colonne. La matrice identité de \(\mathcal{M}_{n}(\mathbb{R})\) est notée \(I_{n}\). \section*{Partie 1 : Racine(s) d'une matrice carrée} Soit \(A\) une matrice de \(\mathcal{M}_{n}(\mathbb{R})\) fixée. On cherche à déterminer s'il existe des matrices \(M \in \mathcal{M}_{n}(\mathbb{R})\) telles que \(M^{2}=A\) et, si c'est le cas, à décrire l'ensemble des solutions de cette équation, d'inconnue \(M \in \mathcal{M}_{n}(\mathbb{R})\). \begin{enumerate} \item Soit \(A \in \mathcal{M}_{n}(\mathbb{R})\). On suppose qu'il existe \(M \in \mathcal{M}_{n}(\mathbb{R})\) telle que \(M^{2}=A\). Montrer que : \(A M=M A\). \item Soit \(A \in \mathcal{M}_{n}(\mathbb{R})\). On suppose qu'il existe \(M \in \mathcal{M}_{n}(\mathbb{R})\) telle que \(M^{2}=A\). Montrer que \(A\) est inversible si et seulement si \(M\) est inversible. \item On considère, dans cette question \(A=\left(\begin{array}{cc}0 & 1 \\ -1 & 0\end{array}\right)\).\\ a. Calculer \(A^{2}\). \end{enumerate} La matrice \(A\) est-elle diagonalisable ?\\ b. Montrer que si \(M=\left(\begin{array}{ll}a & b \\ c & d\end{array}\right)\) est solution de \(M^{2}=A\), alors \(a=d\) et \(b=-c\).\\ c. Montrer alors que \(M^{2}=A\) admet deux solutions que l'on explicitera.\\ 4. On considère, dans cette question, \(A=\left(\begin{array}{lll}0 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 1 & 0\end{array}\right)\). On suppose qu'il existe une matrice \(M \in \mathcal{M}_{3}(\mathbb{R})\) vérifiant \(M^{2}=A\). On note \(f\) l'endomorphisme de \(\mathbb{R}^{3}\) représenté par \(M\) dans la base canonique.\\ a. \(A\) est-elle diagonalisable ?\\ b. Montrer que \(M^{4} \neq 0\) et que \(M^{6}=0\). On note alors \(p=\min \left\{k \in \mathbb{N}^{*}: M^{p}=0\right\}\).\\ c. Montrer qu'il existe un vecteur non nul \(u\) de \(\mathbb{R}^{3}\) tel que ( \(u, f(u), f^{2}(u), \ldots, f^{p-1}(u)\) ) forme une famille libre de \(\mathbb{R}^{3}\). (On pourra commencer par appliquer \(f^{p-1}\) à l'équation de liaison.)\\ d. Conclure à une contradiction.\\ 5. Soient \(M \in \mathcal{M}_{n}(\mathbb{R})\) telle que \(M^{2}=I_{n}\) et \(f\) l'endomorphisme de \(\mathbb{R}^{n}\) représenté par \(M\) dans la base canonique.\\ a. Déterminer un polynôme annulateur de \(M\) puis les valeurs propres possibles de \(M\).\\ b. Montrer que : \(\mathbb{R}^{n}=\operatorname{Ker}(f-\mathrm{id}) \oplus \operatorname{Ker}(f+\mathrm{id})\).\\ c. En déduire que \(M\) est diagonalisable.\\ d. Conclure que l'ensemble des solutions de l'équation \(M^{2}=I_{n}\) est l'ensemble des matrices semblables aux matrices diagonales où tous les éléments diagonaux sont égaux à 1 ou à -1 , c'est à dire l'ensemble des matrices semblables aux matrices de la forme \[ \left(\begin{array}{cccc} \varepsilon_{1} & 0 & \ldots & 0 \\ 0 & \ddots & & \vdots \\ \vdots & & \ddots & 0 \\ 0 & \ldots & 0 & \varepsilon_{n} \end{array}\right) \quad \text { où, } \quad \forall i \in \llbracket 1, n \rrbracket, \quad \varepsilon_{i} \in\{-1 ; 1\} \] \begin{enumerate} \setcounter{enumi}{5} \item On suppose dans cette question que \(A \in \mathcal{M}_{n}(\mathbb{R})\) est telle que \(\operatorname{Sp}(A)=\left\{\lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}\right\}\), où les réels \(\lambda_{i}\) vérifient \end{enumerate} \[ \lambda_{1}<\lambda_{2}<\ldots<\lambda_{n} \] a. Justifier qu'il existe une matrice \(D\) diagonale (que l'on précisera) et une matrice \(P\) inversible telles que \(A=P D P^{-1}\).\\ b. Soit \(M \in \mathcal{M}_{n}(\mathbb{R})\) et \(N=P^{-1} M P\). Montrer que \(M^{2}=A\) si et seulement si \(N^{2}=D\).\\ c. À l'aide de la Question 1., montrer que \(N\) est une matrice diagonale.\\ d. L'équation \(M^{2}=A\) a-t-elle des solutions si \(A\) admet au moins une valeur propre strictement négative ?\\ e. Décrire l'ensemble des solutions dans le cas où toutes les valeurs propres sont positives.\\ 7. On suppose maintenant que \(A \in \mathcal{M}_{n}(\mathbb{R})\) est symétrique et que ses valeurs propres sont toutes strictement positives. On ne suppose plus qu'elles sont distinctes. \[ \operatorname{Sp}(A)=\left\{\lambda_{1}, \lambda_{2}, \ldots, \lambda_{n}\right\} \subset \mathbb{R}_{+}^{*} \] Le but de cette question est de montrer qu'il existe alors une unique matrice \(M\) symétrique avec des valeurs propres strictement positives telle que \(M^{2}=A\).\\ a. Montrer, en la construisant, qu'il existe une matrice \(M\) symétrique avec des valeurs propres strictement positives telle que \(M^{2}=A\).\\ b. On suppose qu'il existe deux matrices \(M_{1}\) et \(M_{2}\) vérifiant la propriété précédente (c'est à dire que \(M_{1}\) et \(M_{2}\) sont toutes deux symétriques avec des valeurs propres strictement positives et vérifient \(M_{1}^{2}=M_{2}^{2}=A\) ). On note \(\operatorname{Sp}\left(M_{1}\right)=\left\{a_{1}, \ldots, a_{n}\right\}\) et \(\operatorname{Sp}\left(M_{2}\right)=\left\{b_{1}, \ldots, b_{n}\right\}\). Enfin, on désigne par \(D_{1}\) (respectivement \(D_{2}\) ) la matrice diagonale dont les coefficients diagonaux sont les valeurs \(a_{1}, \ldots, a_{n}\) (respectivement \(b_{1}, \ldots, b_{n}\) ).\\ i. Justifier qu'il existe deux matrices orthogonales \(P_{1}\) et \(P_{2}\) telles que: \[ M_{1}=P_{1} D_{1} P_{1}^{-1} \quad \text { et } \quad M_{2}=P_{2} D_{2} P_{2}^{-1} \] ii. On pose \(P=P_{1}^{-1} P_{2}\). Montrer que \(D_{1}^{2} P=P D_{2}^{2}\) et en déduire que, pour tout \((i, j) \in \llbracket 1, n \rrbracket^{2}\), on a \(a_{i}^{2}(P)_{i, j}=(P)_{i, j} b_{j}^{2}\).\\ iii. Montrer qu'on a alors, pour tout \((i, j) \in \llbracket 1, n \rrbracket^{2}, a_{i}(P)_{i, j}=(P)_{i, j} b_{j}\) puis que \(D_{1} P=P D_{2}\).\\ iv. Conclure que \(M_{1}=M_{2}\). \section*{Partie 2 : Une suite de matrices} \begin{enumerate} \setcounter{enumi}{7} \item Montrer que l'application \end{enumerate} \[ \begin{aligned} \mathcal{M}_{n}(\mathbb{R}) \times \mathcal{M}_{n}(\mathbb{R}) & \longrightarrow \mathbb{R} \\ (A, B) & \longmapsto \operatorname{tr}\left({ }^{t} A B\right) \end{aligned} \] définit un produit scalaire sur \(\mathcal{M}_{n}(\mathbb{R})\). On notera \((\cdot, \cdot)\) ce produit scalaire et \(\|\cdot\|_{2}\) la norme associée.\\ 9. Montrer que, pour toute matrice \(M \in \mathcal{M}_{n}(\mathbb{R})\), on a \[ \|M\|_{2} \leqslant n \max _{1 \leqslant i, j \leqslant n}\left|(M)_{i, j}\right| . \] Une suite \(\left(M_{k}\right)_{k \geqslant 0}\) de matrices de \(\mathcal{M}_{n}(\mathbb{R})\) est dite convergente coefficient par coefficient si, pour tout couple d'entiers \((i, j) \in \llbracket 1, n \rrbracket^{2}\), la suite \(\left(\left(M_{k}\right)_{i, j}\right)_{k \geqslant 0}\) est convergente (de limite \(\ell_{i, j}\) ). Auquel cas, on écrira \[ \lim _{k \rightarrow+\infty} M_{k}=L \] où \(L\) est la matrice de \(\mathcal{M}_{n}(\mathbb{R})\) définie par \((L)_{i, j}=\ell_{i, j}\).\\ 10. Justifier que, si \(\left(M_{k}\right)_{k \geqslant 0}\) est une suite de matrices de \(\mathcal{M}_{n}(\mathbb{R})\) qui admet comme limite coefficient par coefficient la matrice \(L \in \mathcal{M}_{n}(\mathbb{R})\), alors, pour toutes matrices \(K_{1}, K_{2} \in \mathcal{M}_{n}(\mathbb{R})\), la suite de matrices \(\left(K_{1} M_{k} K_{2}\right)_{k \geqslant 0}\) converge coefficient par coefficient vers la matrice \(K_{1} L K_{2}\).\\ 11. On considère un nombre réel \(a \neq 0\) et la suite réelle \(\left(u_{m}\right)_{m \geqslant 0}\) définie par \[ \left\{\begin{array}{rl} u_{0} & =a \\ \forall m \in \mathbb{N}, \quad u_{m+1} & =\frac{1}{2}\left(u_{m}+\frac{1}{u_{m}}\right) \end{array} .\right. \] a. Étudier et dresser le tableau de variations de la fonction \(\varphi: x \in \mathbb{R}^{*} \mapsto \frac{1}{2}\left(x+\frac{1}{x}\right)\). On y fera figurer les limites de \(\varphi\) aux bords de l'ensemble de définition.\\ b. Montrer, par récurrence, que, si \(a>0\), alors \(\left(u_{m}\right)_{m \geqslant 1}\) est bien définie et que, pour tout \(m \geqslant 1,\left|u_{m}\right| \geqslant 1\) et \(u_{m}\) a le même signe que \(a\).\\ On admet qu'avec un raisonnement analogue, on obtient le même résultat pour \(a<0\).\\ c. Montrer que \(\left(u_{m}\right)_{m \geqslant 1}\) est monotone et qu'elle converge vers une limite \(\varepsilon \in\{-1 ; 1\}\).\\ d. Montrer que, pour tout \(x \in \mathbb{R}\) tel que \(|x| \geqslant 1\), on a \(\left|\varphi^{\prime}(x)\right| \leqslant \frac{1}{2}\).\\ e. En déduire que, pour tout \(m \in \mathbb{N},\left|u_{m}-\varepsilon\right| \leqslant\left(\frac{1}{2}\right)^{m}|a-\varepsilon|\).\\ 12. On considère une matrice \(A \in \mathcal{M}_{n}(\mathbb{R})\) inversible et symétrique et on introduit la suite \(\left(M_{k}\right)_{k \geqslant 0}\) de matrices de \(\mathcal{M}_{n}(\mathbb{R})\) définie par \[ \left\{\begin{aligned} M_{0} & =A \\ \forall k \in \mathbb{N}, \quad M_{k+1} & =\frac{1}{2}\left(M_{k}+M_{k}^{-1}\right) \end{aligned}\right. \] a. Justifier qu'il existe une matrice orthogonale \(P\) telle que \(D_{0}=P^{-1} A P\) est diagonale et inversible.\\ b. Montrer que, pour tout \(k \in \mathbb{N}, M_{k}\) est bien définie et que la matrice \(D_{k}=P^{-1} M_{k} P\) est diagonale et inversible et vérifie \[ D_{k+1}=\frac{1}{2}\left(D_{k}+D_{k}^{-1}\right) \] c. En déduire que \(\left(M_{k}\right)_{k \geqslant 0}\) converge coefficient par coefficient vers une matrice \(L\) qui vérifie \(L^{2}=I_{n}\).\\ d. i. Montrer, à l'aide de des Questions 9. et 11.e., que, pour tout \(k \in \mathbb{N}\), \[ \left\|M_{k}-L\right\|_{2} \leqslant n\left(\frac{1}{2}\right)^{k}(1+\rho(A)) \] où \(\rho(A)=\max \{|\lambda|: \lambda \in \operatorname{Sp}(A)\}\).\\ ii. En reprenant le raisonnement de la Question 9., montrer qu'on a même, pour tout \(k \in \mathbb{N}\), \[ \left\|M_{k}-L\right\|_{2} \leqslant \sqrt{n}\left(\frac{1}{2}\right)^{k}(1+\rho(A)) \] e. Informatique. Recopier et compléter le programme Python ci-dessous qui, prenant en argument la matrice \(A\), renvoie une matrice \(M_{k}\) telle que \(\left\|M_{k}-L\right\|_{2} \leqslant 10^{-3}\). \begin{verbatim} def suite_matricielle(A): n = len(A) v = al.eig(A)[0] x, y = max(v), min(v) U, k = A, 0 rho = max(....., .....) while ............... : k = k+1 U = ......... return U \end{verbatim} \section*{Problème 2} La quatrième partie de ce problème est totalement indépendante de sa troisième partie.\\ Toutes les variables aléatoires de ce problème sont supposées définies sur un espace probabilisé ( \(\Omega, \mathcal{A}, P\) ) qu'on ne cherchera pas à préciser. Dans tout le problème, on considère un paramètre réel \(\lambda>0\) et une suite \(\left(Y_{i}\right)_{i \geqslant 1}\) de variables aléatoires mutuellement indépendantes de même loi \(\mathcal{E}(\lambda)\). Pour tout \(n \in \mathbb{N}^{*}\), on pose \[ S_{n}=Y_{1}+Y_{2}+\ldots+Y_{n} \] \section*{Partie 1 : Préliminaires} \begin{enumerate} \item On introduit, pour tout \(m \in \mathbb{N}\), l'intégrale : \(I_{m}=\int_{0}^{+\infty} u^{m} e^{-u} \mathrm{~d} u\). \end{enumerate} Montrer par récurrence que, pour tout \(m \in \mathbb{N}, I_{m}\) converge et que \(I_{m}=m!\).\\ 2. On considère, pour tout entier \(n \geqslant 2\), la fonction \(h_{n}\) définie sur \(\mathbb{R}\) par : \[ h_{n}(t)=\left\{\begin{array}{rl} n^{2} t, & \text { si } 00 \end{array} .\right. \] \begin{enumerate} \setcounter{enumi}{4} \item a. Déterminer pour quelles valeurs de \(n \in \mathbb{N}^{*}\) la variable aléatoire \(\frac{1}{S_{n}}\) admet une espérance que l'on explicitera dans ce cas.\\ b. Déterminer pour quelles valeurs de \(n \in \mathbb{N}^{*}\) la variable aléatoire \(\frac{1}{S_{n}}\) admet une variance que l'on explicitera dans ce cas. \end{enumerate} On introduit, pour tout \(n \in \mathbb{N}^{*}\), la variable aléatoire \(W_{n}=\frac{\lambda}{\sqrt{n}} S_{n}-\sqrt{n}\).\\ 6. Vérifier que, pour tout \(n \in \mathbb{N}^{*}, W_{n}\) est une variable aléatoire à densité dont une densité \(f_{W_{n}}\) est donnée par : \[ \forall t \in \mathbb{R}, \quad f_{W_{n}}(t)=\frac{\sqrt{n}}{\lambda} f_{S_{n}}\left(\frac{\sqrt{n}}{\lambda} t+\frac{n}{\lambda}\right) . \] \begin{enumerate} \setcounter{enumi}{6} \item a. Montrer que la suite de variables aléatoires \(\left(W_{n}\right)_{n \geqslant 1}\) converge en loi vers une variable aléatoire \(Z\) de loi normale centrée-réduite \(\mathcal{N}(0,1)\).\\ b. Exprimer, sous forme d'une intégrale, la limite : \(\lim _{n \rightarrow+\infty} \int_{0}^{1} f_{W_{n}}(t) \mathrm{d} t\). \end{enumerate} \section*{Partie 3 : Estimation de \(\lambda\) par maximum de vraisemblance} On suppose que le paramètre \(\lambda\) est inconnu et on souhaite l'estimer à partir d'un \(n\)-échantillon \(\left(Y_{1}, Y_{2}, \ldots, Y_{n}\right)\), où \(n \in \mathbb{N}^{*}\). On note \(f_{\lambda}\) une densité de \(Y_{1}\). On utilise la méthode dite du maximum de vraisemblance.\\ 8. On considère la fonction \(L\), à valeurs dans \(\mathbb{R}_{+}^{*}\), définie \(\operatorname{sur}\left(\mathbb{R}_{+}^{*}\right)^{n+1} \operatorname{par}\) \[ L:\left(\lambda, x_{1}, x_{2}, \ldots, x_{n}\right) \longmapsto \prod_{k=1}^{n} f_{\lambda}\left(x_{k}\right) \] On pose ensuite \(\psi=\ln \circ L\).\\ Exprimer \(L\left(\lambda, x_{1}, x_{2}, \ldots, x_{n}\right)\), puis \(\psi\left(\lambda, x_{1}, x_{2}, \ldots, x_{n}\right)\) en fonction de \(\lambda, x_{1}, \ldots, x_{n}\).\\ 9. Après avoir justifié le caractère \(\mathcal{C}^{1}\) de \(\psi\) sur \(\left(\mathbb{R}_{+}^{*}\right)^{n+1}\), montrer que \(\psi\) n'y admet aucun point critique.\\ 10. On suppose les \(x_{i}\) fixés (strictement positifs) et on considère alors la fonction \(\varphi: \mathbb{R}_{+}^{*} \rightarrow \mathbb{R}\) définie par \[ \forall \lambda \in \mathbb{R}_{+}^{*}, \quad \varphi(\lambda)=\ln \left(L\left(\lambda, x_{1}, x_{2}, \ldots, x_{n}\right)\right) . \] Montrer que la fonction \(\varphi\) admet un maximum, atteint en un seul réel que l'on notera \(\hat{z}\). Exprimer \(\hat{z}\) en fonction de \(x_{1}, x_{2}, \ldots, x_{n}\).\\ Vérifier que, pour tout \(\lambda>0, L\left(\lambda, x_{1}, \ldots, x_{n}\right) \leqslant L\left(\hat{z}, x_{1}, \ldots, x_{n}\right)\).\\ On pose dorénavant, pour \(n \geqslant 3, Z_{n}=\frac{n}{Y_{1}+Y_{2}+\ldots+Y_{n}}\).\\ L'estimateur \(Z_{n}\) est appelé estimateur du maximum de vraisemblance pour \(\lambda\).\\ 11. Montrer que : \[ \forall n \geqslant 3, \quad E\left(Z_{n}\right)=\frac{n}{n-1} \lambda \quad \text { et } \quad V\left(Z_{n}\right)=\frac{n^{2}}{(n-1)^{2}(n-2)} \lambda^{2} . \] et déduire que \(Z_{n}\) est biaisé mais asymptotiquement sans biais pour \(\lambda\).\\ 12. En déduire, pour tout entier \(n \geqslant 3\), un estimateur \(\tilde{Z}_{n}\) non biaisé pour \(\lambda\). Est-il convergent ?\\ 13. Soit \(\alpha \in] 0,1\) [. On note \(t_{\alpha}=\Phi^{-1}(1-\alpha / 2)\) où \(\Phi\) désigne la fonction de répartition de la loi \(\mathcal{N}(0,1)\). À l'aide de la Question 7.a., montrer que \[ \left[Z_{n}\left(1-\frac{t_{\alpha}}{\sqrt{n}}\right) ; Z_{n}\left(1+\frac{t_{\alpha}}{\sqrt{n}}\right)\right] \] est un intervalle de confiance asymptotique au seuil \(1-\alpha\) pour \(\lambda\).\\ 14. Informatique. En Python, la commande ndtri(y) de la bibliothèque scipy.special renvoie la valeur de \(\Phi^{-1}(y)\). Recopier et compléter la fonction suivante qui prend en argument un réel \(\alpha\) et un \(n\)-échantillon \(Y\) d'une loi exponentielle de paramètre \(\lambda\) et renvoie l'intervalle de confiance au seuil \(1-\alpha\) pour \(\lambda\). \begin{verbatim} def IdC(alpha, Y): n=len(Y) Z=....... t=sp.ndtri(1-alpha/2) A=...... B=...... return [A, B] \end{verbatim} L'intervalle de confiance précédent permet de définir un test d'hypothèse au seuil \(1-\alpha\). Disposant de l'observation d'un \(n\)-échantillon d'une loi exponentielle de paramètre \(\lambda\) inconnu, on rejettera l'hypothèse \(\lambda=\lambda_{0}\) au risque \(\alpha\) si \(\lambda_{0}\) n'est pas dans l'intervalle de confiance précédent.\\ 15. Application. Dans une usine de fabrication de composants électroniques, la durée de vie de chaque unité produite suit une loi exponentielle de paramètre \(1 / 10\). Afin de contrôler la qualité des composants produits, on procède régulièrement à des tests. Lors de l'année 2023, on a, chaque mois, testé un lot de 100 composants. Les tests ont permis d'obtenir rapidement les durées de vie des composants et on a stocké ces informations dans une matrice \(T\) de taille \(12 \times 100\).\\ On exécute alors les commandes suivantes qui permettent l'affichage ci-après. Interpréter. \begin{verbatim} for i in range(12): Y=T [i] A, B = IdC(alpha, Y) plt.plot ([A ,B] ,[i,i]) plt.plot ([1/10] ,[i], 'o') plt.show() \end{verbatim} \begin{center} \includegraphics[max width=\textwidth, alt={}]{338d4341-d0b5-4300-b092-985f92069d6c-7_538_679_1377_1119} \end{center} \section*{Partie 4 : Une convergence sous le signe intégral} On reprend les notations de la Partie 2. On introduit alors les suites \(\left(u_{n}\right)_{n \geqslant 1}\) et \(\left(v_{n}\right)_{n \geqslant 1}\) définies par \[ \forall n \in \mathbb{N}^{*}, \quad u_{n}=\frac{n^{n} e^{-n} \sqrt{2 \pi n}}{n!} \quad \text { et } \quad v_{n}=\ln \left(\frac{u_{n+1}}{u_{n}}\right) \] \begin{enumerate} \setcounter{enumi}{15} \item a. À l'aide de la formule de Taylor-Young à l'ordre 3 en 0 , montrer que : \(v_{n} \underset{n \rightarrow+\infty}{\sim} \frac{1}{12 n^{2}}\).\\ b. En déduire la convergence de la série \(\sum_{n \geqslant 1} v_{n}\) puis celle de la suite \(\left(u_{n}\right)_{n \geqslant 1}\) vers une limite \(\ell>0\). \item À l'aide de la Question 6., vérifier que, pour tout \(n \in \mathbb{N}^{*}\), une densité de \(W_{n}\) est donnée par : \end{enumerate} \[ \forall t \in \mathbb{R}, \quad f_{W_{n}}(t)=\left\{\begin{array}{rl} 0, & \text { si } t \leqslant-\sqrt{n} \\ \frac{u_{n}}{\sqrt{2 \pi}}\left(1+\frac{t}{\sqrt{n}}\right)^{n-1} e^{-\sqrt{n} t}, & \text { si } t>-\sqrt{n} \end{array} .\right. \] \begin{enumerate} \setcounter{enumi}{17} \item On introduit la fonction \(R\) définie sur ] \(-1 ;+\infty\left[\right.\) par : \(\forall u>-1, R(u)=\ln (1+u)-u+\frac{u^{2}}{2}\).\\ a. Vérifier que, pour tout \(n \in \mathbb{N}^{*}\), on a : \end{enumerate} \[ \forall t>-\sqrt{n}, \quad f_{W_{n}}(t)=u_{n}\left(1+\frac{t}{\sqrt{n}}\right)^{-1} e^{n R\left(\frac{t}{\sqrt{n}}\right)} \frac{e^{-\frac{t^{2}}{2}}}{\sqrt{2 \pi}} \] b. Justifier qu'il existe un réel \(M_{1} \geqslant 0\) tel que, pour tout \(u \in\left[-\frac{1}{2}, 1\right]:|R(u)| \leqslant M_{1}|u|^{3}\).\\ c. En déduire que, pour tout \(t \in \mathbb{R}\), \[ \lim _{n \rightarrow+\infty} f_{W_{n}}(t)=\ell f_{Z}(t) \] où \(f_{Z}\) désigne la densité de la variable aléatoire \(Z\) de loi \(\mathcal{N}(0,1)\).\\ 19. Le but de cette question est d'obtenir que \(\lim _{n \rightarrow+\infty} \int_{0}^{1} f_{W_{n}}(t) \mathrm{d} t=\ell \int_{0}^{1} f_{Z}(t) \mathrm{d} t\).\\ a. On pose, pour tout \(n \in \mathbb{N}^{*}\) et tout \(t \in[0,1], g_{n}(t)=\left(1+\frac{t}{\sqrt{n}}\right)^{-1} e^{n R\left(\frac{t}{\sqrt{n}}\right)}\).\\ i. Justifier que, pour tout \(n \in \mathbb{N}^{*}, g_{n}\) est de classe \(\mathcal{C}^{1}\) sur \([0,1]\) et que, pour tout \(t \in[0,1]\), \[ \left|g_{n}^{\prime}(t)\right| \leqslant\left(\frac{1}{\sqrt{n}}+\sqrt{n}\left|R^{\prime}\left(\frac{t}{\sqrt{n}}\right)\right|\right) e^{n R\left(\frac{t}{\sqrt{n}}\right)} \] ii. Montrer qu'il existe un réel \(M_{2} \geqslant 0\) tel que, pour tout \(u \in[0,1]:\left|R^{\prime}(u)\right| \leqslant M_{2} u^{2}\).\\ iii. Déduire des deux questions précédentes qu'il existe une constante \(C_{1} \geqslant 0\) telle que : \[ \forall n \in \mathbb{N}^{*}, \forall t \in[0,1], \quad\left|g_{n}(t)-1\right| \leqslant \frac{C_{1}}{\sqrt{n}} \] iv. Justifier qu'il existe une constante \(C_{2} \geqslant 0\) telle que : \[ \forall n \in \mathbb{N}^{*}, \forall t \in[0,1], \quad\left|g_{n}(t)\right| \leqslant C_{2} \] b. En vérifiant que \(f_{W_{n}}(t)-\ell f_{Z}(t)=\left(\left(u_{n}-\ell\right) g_{n}(t)+\ell\left(g_{n}(t)-1\right)\right) f_{Z}(t)\), montrer que \[ \forall n \in \mathbb{N}^{*}, \quad\left|\int_{0}^{1} f_{W_{n}}(t) \mathrm{d} t-\int_{0}^{1} \ell f_{Z}(t) \mathrm{d} t\right| \leqslant\left(C_{2}\left|u_{n}-\ell\right|+\frac{\ell C_{1}}{\sqrt{n}}\right) \int_{0}^{1} f_{Z}(t) \mathrm{d} t \] c. Conclure.\\ 20. Déterminer alors, à l'aide de la question précédente et de la Question 7.b, la valeur de \(\ell\). En déduire un équivalent de \(n!\) lorsque \(n \rightarrow+\infty\). \end{document}