\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}
\usepackage{graphicx}
\usepackage[export]{adjustbox}
\graphicspath{ {./images/} }

\title{Conception : emlyon business school }

\author{}
\date{}


\begin{document}
\maketitle
\section*{OPTION SCIENTIFIQUE}
\section*{MATHÉMATIQUES}
Mardi 27 avril 2021, 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.

\section*{PROBLÈME 1}
\section*{PARTIE A : Étude de deux suites}
On définit les suites \(\left(u_{n}\right)_{n \in \mathbb{N}^{*}}\) et \(\left(v_{n}\right)_{n \in \mathbb{N}^{*}}\) par :

\[
\forall n \in \mathbb{N}^{*}, \quad u_{n}=\sum_{k=1}^{n} \frac{1}{k}-\ln (n+1) \quad \text { et } \quad v_{n}=\sum_{k=1}^{n} \frac{1}{k}-\ln (n) .
\]

\begin{enumerate}
  \item a. Montrer : \(\quad \forall t \in] 0 ;+\infty\left[, \quad \frac{1}{t+1} \leqslant \ln (t+1)-\ln (t) \leqslant \frac{1}{t}\right.\).\\
b. En déduire que les suites \(\left(u_{n}\right)_{n \in \mathbb{N}^{*}}\) et \(\left(v_{n}\right)_{n \in \mathbb{N}^{*}}\) sont monotones, puis qu'elles convergent vers une même limite notée \(\gamma\).
  \item Montrer alors : \(\quad \sum_{k=1}^{n} \frac{1}{k} \underset{n \rightarrow+\infty}{\sim} \ln (n)\).
  \item a. Justifier : \(\quad \forall n \in \mathbb{N}^{*}, \quad u_{n} \leqslant \gamma \leqslant v_{n} \quad\) puis \(\quad \forall n \in \mathbb{N}^{*}, \quad\left|\frac{u_{n}+v_{n}}{2}-\gamma\right| \leqslant \frac{1}{2}\left(v_{n}-u_{n}\right)\).\\
b. En déduire une fonction Scilab d'en-tête function gamma \(=\) approx() qui renvoie une approximation du réel \(\gamma\) à \(10^{-5}\) près.
\end{enumerate}

\section*{PARTIE B : Étude d'une fonction définie par une série}
\begin{enumerate}
  \setcounter{enumi}{3}
  \item Montrer que, pour tout \(x\) de \(\left[0 ;+\infty\left[\right.\right.\), la série \(\sum_{k \geqslant 1}\left(\frac{1}{k}-\frac{1}{k+x}\right)\) converge.
\end{enumerate}

On pose alors, pour tout \(x\) de \(\left[0 ;+\infty\left[: \quad S(x)=\sum_{k=1}^{+\infty}\left(\frac{1}{k}-\frac{1}{k+x}\right)\right.\right.\).\\
5. a. Calculer \(S(0)\) et vérifier : \(\quad S(1)=1\).\\
b. Montrer, pour tout \(n\) de \(\mathbb{N}^{*}: \quad \sum_{k=1}^{n}\left(\frac{1}{k}-\frac{1}{k+\frac{1}{2}}\right)=2-2 \sum_{k=n+1}^{2 n+1} \frac{1}{k}=2-\frac{2}{2 n+1}-\frac{1}{n} \sum_{k=1}^{n} \frac{2}{1+\frac{k}{n}}\). En déduire la valeur de \(S\left(\frac{1}{2}\right)\).\\
6. a. Montrer : \(\quad \forall(x, y) \in\left[0 ;+\infty\left[2, \quad S(y)-S(x)=(y-x) \sum_{k=1}^{+\infty} \frac{1}{(k+x)(k+y)}\right.\right.\).\\
b. En déduire que \(S\) est une fonction croissante sur \([0 ;+\infty[\).\\
c. Montrer : \(\quad \forall x \in[0 ;+\infty[, \quad \forall h \in \mathbb{R}\) tel que \(x+h \in[0 ;+\infty[\),

\[
\left|\frac{S(x+h)-S(x)}{h}-\sum_{k=1}^{+\infty} \frac{1}{(k+x)^{2}}\right| \leqslant|h| \sum_{k=1}^{+\infty} \frac{1}{k^{3}} .
\]

En déduire que \(S\) est dérivable sur \(\left[0 ;+\infty\left[\right.\right.\) et : \(\quad \forall x \in\left[0 ;+\infty\left[, \quad S^{\prime}(x)=\sum_{k=1}^{+\infty} \frac{1}{(k+x)^{2}}\right.\right.\).\\
On admet que \(S^{\prime}\) est également continue sur \([0 ;+\infty[\).\\
7. a. Montrer : \(\quad \forall x \in\left[0 ;+\infty\left[, \quad S(x+1)=S(x)+\frac{1}{x+1}\right.\right.\).\\
b. En déduire : \(\quad \forall n \in \mathbb{N}^{*}, \quad S(n)=\sum_{k=1}^{n} \frac{1}{k}\).\\
c. En utilisant la croissance de la fonction \(S\) sur [ \(0 ;+\infty\) [, montrer : \(\quad S(x) \underset{x \rightarrow+\infty}{\sim} \ln (x)\).\\
8. a. Vérifier : \(\forall n \in \mathbb{N}^{*}, u_{n}=\int_{0}^{1} \sum_{k=1}^{n}\left(\frac{1}{k}-\frac{1}{k+x}\right) \mathrm{d} x\), le réel \(u_{n}\) étant défini dans la partie \(\mathbf{A}\).\\
b. En déduire: \(\quad \forall n \in \mathbb{N}^{*}, \quad 0 \leqslant \int_{0}^{1} S(x) \mathrm{d} x-u_{n} \leqslant \frac{1}{2} \sum_{k=n+1}^{+\infty} \frac{1}{k^{2}}\).\\
c. Conclure : \(\quad \int_{0}^{1} S(x) \mathrm{d} x=\gamma\).

\section*{PARTIE C : Application en probabilité}
On considère la fonction \(f\) définie sur \(\mathbb{R}\) par : \(\quad \forall x \in \mathbb{R}, \quad f(x)= \begin{cases}0 & \text { si } x<1 \\ \frac{1}{x^{2}} & \text { si } x \geqslant 1\end{cases}\)\\
9. Montrer que \(f\) est une densité de probabilité.

Dans toute la suite, on considère une variable aléatoire réelle \(X\) à densité, définie sur un espace probabilisé ( \(\Omega, \mathscr{A}, \mathbf{P}\) ), de densité \(f\).\\
10. a. Déterminer la fonction de répartition de \(X\).\\
b. La variable aléatoire \(X\) admet-elle une espérance?

On définit la variable aléatoire \(Y\) par : \(\quad Y=X-\lfloor X\rfloor\), où \(\lfloor x\rfloor\) désigne la partie entière du réel \(x\).\\
11. a. Montrer, pour tout \(x\) de \([0 ; 1[\) :

\[
\mathbf{P}(Y \leqslant x)=\sum_{k=1}^{+\infty} \mathbf{P}(k \leqslant X \leqslant k+x) \quad \text { puis } \quad \mathbf{P}(Y \leqslant x)=S(x)
\]

b. En déduire la fonction de répartition de \(Y\).\\
c. Montrer que \(Y\) est une variable aléatoire à densité et préciser une densité de \(Y\).\\
12. Justifier que \(Y\) admet une espérance puis, à l'aide d'une intégration par parties, montrer :

\[
\mathbf{E}(Y)=1-\gamma
\]

\section*{PROBLÈME 2}
Pour tout \(n\) de \(\mathbb{N}^{*}\), on note \(\mathbb{R}_{n}[X]\) l'espace vectoriel des polynômes à coefficients réels de degré inférieur ou égal à \(n\).

Soient \(n \in \mathbb{N}^{*},\left(T_{k}\right)_{k \in \mathbb{N}}\) une suite de polynômes de \(\mathbb{R}_{n}[X]\) et \(T\) un polynôme de \(\mathbb{R}_{n}[X]\).\\
On dit que la suite de polynômes \(\left(T_{k}\right)_{k \in \mathbb{N}}\) converge vers \(T\) lorsque :

\[
\forall x \in \mathbb{R}, \quad \lim _{k \rightarrow+\infty} T_{k}(x)=T(x)
\]

Dans ce cas, on admet que si, pour tout \(k\) de \(\mathbb{N}, T_{k}=\sum_{i=0}^{n} a_{k, i} X^{i}\) avec \(\left(a_{k, 0}, \ldots, a_{k, n}\right) \in \mathbb{R}^{n+1}\)

\[
\text { et si } T=\sum_{i=0}^{n} b_{i} X^{i} \text { avec }\left(b_{0}, \ldots, b_{n}\right) \in \mathbb{R}^{n+1}
\]

alors : pour tout \(i\) de \(\llbracket 0 ; n \rrbracket, \quad \lim _{k \rightarrow+\infty} a_{k, i}=b_{i}\).

\section*{PARTIE A : Étude d'endomorphismes de polynômes}
Pour tout \(n\) de \(\mathbb{N}^{*}\), on définit l'application \(\varphi_{n}\) sur \(\mathbb{R}_{n}[X]\) par :

\[
\forall P \in \mathbb{R}_{n}[X], \quad \varphi_{n}(P)=X P-\frac{1}{n^{2}}((2 n-1) X+1)(X-1) P^{\prime}+\frac{1}{n^{2}} X(X-1)^{2} P^{\prime \prime}
\]

\begin{enumerate}
  \item Soit \(n \in \mathbb{N}^{*}\).\\
a. Calculer \(\varphi_{n}(1)\) et vérifier :
\end{enumerate}

\[
\forall i \in \llbracket 1 ; n \rrbracket, \quad \varphi_{n}\left(X^{i}\right)=\frac{(n-i)^{2}}{n^{2}} X^{i+1}+\frac{2 i(n-i)}{n^{2}} X^{i}+\frac{i^{2}}{n^{2}} X^{i-1} .
\]

b. Montrer que \(\varphi_{n}\) est un endomorphisme de \(\mathbb{R}_{n}[X]\).

Pour tout \(n\) de \(\mathbb{N}^{*}\), on note \(A_{n}\) la matrice de \(\varphi_{n}\) dans la base canonique \(\mathscr{B}_{n}=\left(1, X, \ldots, X^{n}\right)\) de \(\mathbb{R}_{n}[X]\); ainsi, pour tout \(n\) de \(\mathbb{N}^{*}, A_{n}\) est une matrice de \(\mathcal{M}_{n+1}(\mathbb{R})\).\\
2. Cas \(n=2\) :\\
a. Vérifier : \(\quad A_{2}=\left(\begin{array}{ccc}0 & 1 / 4 & 0 \\ 1 & 1 / 2 & 1 \\ 0 & 1 / 4 & 0\end{array}\right)\).\\
b. Montrer que le spectre de \(A_{2}\) est \(\left\{-\frac{1}{2}, 0,1\right\}\).

Justifier alors que \(A_{2}\) est diagonalisable et déterminer les sous-espaces propres de \(A_{2}\).\\
c. En déduire le spectre de \(\varphi_{2}\) et une base de \(\mathbb{R}_{2}[X]\) formée de vecteurs propres de \(\varphi_{2}\).\\
3. Montrer que, pour tout \(n\) de \(\mathbb{N}^{*},(X-1)^{n}\) est vecteur propre de \(\varphi_{n}\) associé à la valeur propre \(\frac{-1}{n}\).\\
4. Soit \(n \in \mathbb{N}^{*}\).\\
a. Vérifier : \(\quad \forall i \in \llbracket 0 ; n \rrbracket, \quad\left(\varphi_{n}\left(X^{i}\right)\right)(1)=1\).\\
b. En déduire que la somme des coefficients. sur chaque colonne de \(A_{n}\) est égale à 1 .\\
c. Montrer alors que 1 est une valeur propre de \(\varphi_{n}\).\\
5. Soit \(n \in \mathbb{N}^{*}\).\\
a. Montrer : \(\quad \forall P \in \mathbb{R}_{n}[X], \quad(n+1)^{2} \varphi_{n+1}((X-1) P)=(X-1)\left(n^{2} \varphi_{n}(P)-P\right)\).\\
b. En déduire que si \(P\) est un vecteur propre de \(\varphi_{n}\) associé à une valeur propre \(\lambda\), alors \((X-1) P\) est un vecteur propre de \(\varphi_{n+1}\) et préciser la valeur propre associée en fonction de \(\lambda\).\\
6. a. À l'aide d'un raisonnement par récurrence, montrer, pour tout \(n\) de \(\mathbb{N}^{*}\) :

\[
\operatorname{Sp}\left(\varphi_{n}\right)=\left\{\frac{-n+j(j+1)}{n^{2}} ; j \in \llbracket 0 ; n \rrbracket\right\}
\]

b. En déduire que, pour tout \(n\) de \(\mathbb{N}^{*}, \varphi_{n}\) est diagonalisable et déterminer la dimension de chacun de ses sous-espaces propres.\\
7. Soit \(n \in \mathbb{N}^{*}\). On note \(\Pi_{n}\) le polynôme de \(\mathbb{R}_{n}[X]\) défini par : \(\Pi_{n}=\sum_{i=0}^{n}\binom{n}{i}^{2} X^{i}\).\\
a. À l'aide de la question 1.a., montrer : \(\quad \varphi_{n}\left(\Pi_{n}\right)=\Pi_{n}\).\\
b. En déduire le sous-espace propre de \(\varphi_{n}\) associé à la valeur propre 1 .\\
8. Soient \(n \in \mathbb{N}^{*}\) et \(P\) un polynôme de \(\mathbb{R}_{n}[X]\). On note, pour tout \(j\) de \(\llbracket 0 ; n \rrbracket, R_{j}\) un vecteur propre de \(\varphi_{n}\) associé à la valeur propre \(\lambda_{j}=\frac{-n+j(j+1)}{n^{2}}\).\\
a. Justifier qu'il existe \(\left(\alpha_{0}, \alpha_{1}, \ldots, \alpha_{n}\right) \in \mathbb{R}^{n+1}\) tel que : pour tout \(k\) de \(\mathbb{N}^{*}, \quad \varphi_{n}^{k}(P)=\sum_{j=0}^{n} \alpha_{j}\left(\lambda_{j}\right)^{k} R_{j}, \quad\) où \(\varphi_{n}^{k}\) désigne l'endomorphisme \(\underbrace{\varphi_{n} \circ \cdots \circ \varphi_{n}}_{k \text { fois }}\).\\
b. En déduire qu'il existe un réel \(\alpha\) tel que la suite de polynômes \(\left(\varphi_{n}^{k}(P)\right)_{k \in \mathbb{N}^{*}}\) converge vers le polynôme \(\alpha \Pi_{n}\).

\section*{PARTIE B : Étude d'une expérience aléatoire}
Dans cette partie, \(n\) désigne un entier de \(\mathbb{N}\) supérieur ou égal à 2 .\\
On dispose d'une urne rouge et d'une urne bleue ainsi que de \(n\) boules rouges et de \(n\) boules bleues, ces \(2 n\) boules étant supposées indiscernables au toucher.\\
Initialement, on place les \(n\) boules rouges dans l'urne rouge et les \(n\) boules bleues dans l'urne bleue.\\
On procède alors à une succession d'épreuves aléatoires, chaque épreuve consistant à échanger au hasard une boule de l'urne rouge avec une boule de l'urne bleue. Après chaque épreuve, chaque urne contient donc toujours \(n\) boules.\\
On modélise cette expérience par un espace probabilisé ( \(\Omega, \mathscr{A}, \mathbf{P}\) ).\\
Pour tout entier \(k\) de \(\mathbb{N}^{*}\), on définit la variable aléatoire \(Z_{k}\) égale au nombre de boules rouges présentes dans l'urne rouge à l'issue de la \(k\)-ième épreuve. On pose également \(Z_{0}=n\).\\
On pourra remarquer que, après chaque épreuve, le nombre de boules rouges dans l'urne rouge est toujours égal au nombre de boules bleues dans l'urne bleue.\\
9. Déterminer la loi de la variable aléatoire \(Z_{1}\).\\
10. Soit \(k \in \mathbb{N}\). Montrer : pour tout \(i\) de \(\llbracket 0 ; n \rrbracket\),

\[
\mathrm{P}\left(Z_{k+1}=i\right)=\left(1-\frac{i-1}{n}\right)^{2} \mathrm{P}\left(Z_{k}=i-1\right)+2 \frac{i}{n}\left(1-\frac{i}{n}\right) \mathrm{P}\left(Z_{k}=i\right)+\left(\frac{i+1}{n}\right)^{2} \mathrm{P}\left(Z_{k}=i+1\right) .
\]

\begin{enumerate}
  \setcounter{enumi}{10}
  \item a. Recopier et compléter les lignes incomplètes de la fonction Scilab suivante pour que, prenant en entrée le nombre \(n\) initial de boules rouges et le nombre \(k\) d'épreuves réalisées, elle renvoie une simulation de \(Z_{k}\).
\end{enumerate}

\begin{verbatim}
function Z = simule(n,k)
    R = n // R désigne le nombre de boules rouges dans l'urne rouge
    for j = 1:k
        aleaR = rand()
        aleaB = rand()
        if aleaR <= (R/n) & aleaB <= (R/n) then
            R = .......
        elseif ....... then
            R = R+1
        end
    end
    Z = .......
endfunction
\end{verbatim}

b. Écrire une fonction Scilab d'en-tête function \(\mathrm{E}=\) esperance \((\mathrm{n}, \mathrm{k})\) qui, prenant en entrée le nombre \(n\) initial de boules rouges et le nombre \(k\) d'épreuves réalisées, renvoie une estimation de l'espérance de \(Z_{k}\).\\
On justifiera, en particulier, la méthode d'estimation.\\
c. On utilise la fonction précédente et on trace l'espérance de \(Z_{k}\) en fonction de \(k\) pour différentes valeurs de \(n\). On obtient le graphe ci-dessous.\\
\includegraphics[max width=\textwidth, alt={}, center]{766742c0-5cb6-4ac4-9b0c-0fbc42966de4-6_743_1515_1763_233}

Émettre une conjecture sur la valeur de la limite de l'espérance de \(Z_{k}\) lorsque \(k\) tend vers \(+\infty\).\\
12. On note, pour tout \(k\) de \(\mathbb{N}: \quad \Delta_{k}=Z_{k+1}-Z_{k}\).\\
a. Déterminer, pour tout \(k\) de \(\mathbb{N}\), l'ensemble \(\Delta_{k}(\Omega)\).\\
b. Montrer, pour tout \(k\) de \(\mathbb{N}\) :

\[
\mathbf{P}\left(\Delta_{k}=-1\right)=\sum_{i=0}^{n}\left(\frac{i}{n}\right)^{2} \mathbf{P}\left(Z_{k}=i\right) \quad \text { et } \quad \mathbf{P}\left(\Delta_{k}=1\right)=\sum_{i=0}^{n}\left(1-\frac{i}{n}\right)^{2} \mathbf{P}\left(Z_{k}=i\right)
\]

c. Montrer alors, pour tout \(k\) de \(\mathbb{N}\) :

\[
\mathbf{E}\left(\Delta_{k}\right)=1-\frac{2}{n} \mathbf{E}\left(Z_{k}\right) \quad \text { puis } \quad \mathbf{E}\left(Z_{k+1}\right)=\left(1-\frac{2}{n}\right) \mathbf{E}\left(Z_{k}\right)+1
\]

d. En déduire, pour tout \(k\) de \(\mathbb{N}\), une expression de \(\mathbf{E}\left(Z_{k}\right)\) en fonction de \(k\) et de \(n\). Calculer \(\lim _{k \rightarrow+\infty} \mathrm{E}\left(Z_{k}\right)\) et commenter le résultat obtenu.\\
13. Pour tout \(k\) de \(\mathbb{N}\), on définit le polynôme \(Q_{k}\) de \(\mathbb{R}_{n}[X]\) par : \(\quad Q_{k}=\sum_{i=0}^{n} \mathbf{P}\left(Z_{k}=i\right) X^{i}\).\\
a. À l'aide de la question 1.a., démontrer, pour tout \(k\) de \(\mathbb{N}\) :

\[
\varphi_{n}\left(Q_{k}\right)=Q_{k+1}, \quad \text { où } \varphi_{n} \text { est l'endomorphisme étudié dans la partie } \mathbf{A} \text {. }
\]

b. En déduire qu'il existe un réel \(\alpha\) tel que la suite de polynômes \(\left(Q_{k}\right)_{k \in \mathbb{N}}\) converge vers le polynôme \(\alpha \Pi_{n}\), où \(\Pi_{n}\) est le polynôme défini à la question 7 .\\
14. a. Déduire de la question précédente: pour tout \(i\) de \(\llbracket 0 ; n \rrbracket, \quad \lim _{k \rightarrow+\infty} \mathrm{P}\left(Z_{k}=i\right)=\alpha\binom{n}{i}^{2}\).\\
b. On admet la formule suivante : \(\quad \forall(a, b, m) \in \mathbb{N}^{3}, \quad \sum_{i=0}^{m}\binom{a}{i}\binom{b}{m-i}=\binom{a+b}{m}\).

Montrer : \(\quad \alpha=\frac{1}{\binom{2 n}{n}}\).\\
c. Montrer que la suite de variables aléatoires \(\left(Z_{k}\right)_{k \in \mathbb{N}}\) converge en loi vers une variable aléatoire \(Z\) dont on précisera la loi et l'espérance.


\end{document}