\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}

\begin{document}
\section*{Marepared}
\section*{Option Scientifique}
\section*{Lundi 16 avril 2018 de 8h00 à 12h00}
\section*{Durée : 4 heures}
Candidats bénéficiant de la mesure «Tiers-temps » :\\
\(8 h 00-13 h 20\)\\
L'énoncé comporte 6 pages.

\section*{CONSIGNES}
Aucun document n'est permis, aucun instrument de calcul n'est autorisé.\\
Conformément au règlement du concours, l'usage d'appareils communiquants ou connectés est formellement interdit durant l'épreuve.\\
Les candidats sont invités à soigner la présentation de leur copie, à mettre en évidence les principaux résultats, à respecter les notations de l'énoncé et à donner des démonstrations complètes - mais brèves - de leurs affirmations.\\
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.\\
Ce document est la propriété d'ECRICOME, le candidat est autorisé à le conserver à l'issue de l'épreuve.

\section*{EXERCICE 1}
On note \(E\) l'espace vectoriel \(\mathbb{R}^{n}\), muni du produit scalaire canonique.\\
Pour toutes matrices colonnes \(X\) et \(Y\) de \(\mathcal{M}_{n, 1}(\mathbb{R})\), on note \(\langle X, Y\rangle={ }^{t} X Y\).\\
Pour toute matrice colonne \(X\) de \(\mathcal{M}_{n, 1}(\mathbb{R})\), on note \(\|X\|=\sqrt{{ }^{t} X X}\).\\
On considère \(u\) et \(v\) deux endomorphismes de \(E\), et on note \(A\) et \(B\) leurs matrices respectives dans la base canonique de \(E\).

\section*{Partie 1}
Soit \(a \in \mathbb{R}\). On suppose dans cette partie uniquement que \(n=2\) et que les matrices de \(u\) et \(v\) dans la base canonique sont respectivement :

\[
A=\frac{1}{1+a^{2}}\left(\begin{array}{cc}
1 & a \\
a & a^{2}
\end{array}\right) \quad \text { et } \quad B=\frac{1}{2}\left(\begin{array}{ll}
1 & 1 \\
1 & 1
\end{array}\right) .
\]

\begin{enumerate}
  \item Vérifier que \(u\) et \(v\) sont des projecteurs.\\
2.(a) Vérifier que les endomorphismes \(u, v\) et \(u \circ v\) sont tous de rang 1 .\\
(b) Vérifier que le vecteur \(x_{0}=(1, a)\) est un vecteur propre de \(u \circ v\).\\
(c) Déterminer le spectre de \(u \circ v\).\\
3.(a) Montrer que les valeurs propres de \(u \circ v\) appartiennent à l'intervalle \([0,1]\).\\
(b) Pour quelle(s) valeur(s) de \(a, u \circ v\) est-il un projecteur?
\end{enumerate}

\section*{Partie 2}
On revient dans cette partie au cas général, où \(n\) désigne un entier tel que \(n \geqslant 2\).\\
On suppose que \(u\) et \(v\) sont des projecteurs symétriques de \(E\) et on pose : \(C=B A B\).\\
4. Montrer que pour tout \(X \in \mathcal{M}_{n, 1}(\mathbb{R})\) :

\[
\|B X\|^{2}=\langle B X, X\rangle .
\]

En déduire que pour tout \(X \in \mathcal{M}_{n, 1}(\mathbb{R})\) :

\[
\|B X\| \leqslant\|X\| .
\]

\begin{enumerate}
  \setcounter{enumi}{4}
  \item Montrer que \(C\) est diagonalisable dans \(\mathcal{M}_{n}(\mathbb{R})\).
  \item Soit \(\lambda\) une valeur propre de \(C\) et \(X\) un vecteur propre associé.\\
(a) Exprimer \(\|A B X\|^{2}\) en fonction de \(\lambda\) et \(\|X\|\).\\
(b) En déduire que les valeurs propres de \(C\) sont réelles positives.
  \item Soit \(\mu\) une (éventuelle) valeur propre de \(A B\) non nulle, et \(X\) un vecteur propre associé.\\
(a) Montrer que \(B X\) est un vecteur propre de \(C\). En déduire que \(\mu\) est strictement positive.\\
(b) Montrer que : \(A B X=\mu A X\). En déduire que : \(A X=X\).\\
(c) Montrer que : \(\langle X, B X\rangle=\mu\|X\|^{2}\).
  \item Déduire des questions précédentes que le spectre de \(A B\) est inclus dans \([0,1]\).
\end{enumerate}

\section*{EXERCICE 2}
On considère la suite \(\left(u_{n}\right)_{n \geqslant 0}\) définie par :

\[
u_{0}=0, \quad u_{1}=1 \quad \text { et } \quad \forall n \in \mathbb{N}, \quad u_{n+2}=u_{n+1}+u_{n} \text {, }
\]

et on note \(f\) la fonction définie sur \(\mathbb{R}^{2}\) par :

\[
\forall(x, y) \in \mathbb{R}^{2}, \quad f(x, y)=2 x^{3}-6 x y+3 y^{2}-6 y .
\]

On pose enfin : \(\varphi=\frac{1+\sqrt{5}}{2}\).

\begin{enumerate}
  \item Vérifier que \(\varphi>1\) et que les réels \(\varphi\) et \(\frac{-1}{\varphi}\) sont les solutions de l'équation : \(x^{2}-x-1=0\).\\
2.(a) Montrer que \(f\) est de classe \(\mathcal{C}^{2}\) sur \(\mathbb{R}^{2}\).\\
(b) Montrer que les seuls points critiques de \(f\) sont \((\varphi, \varphi+1)\) et \(\left(-\frac{1}{\varphi}, \frac{1}{\varphi+1}\right)\).\\
(c) Étudier la nature des points critiques de \(f\).
  \item Montrer que, pour tout entier \(n \in \mathbb{N}: u_{n} u_{n+2}-u_{n+1}^{2}=(-1)^{n+1}\).\\
4.(a) Recopier et compléter la fonction Scilab suivante afin que, prenant en argument un entier \(n \geqslant 2\), elle calcule et renvoie la valeur du terme \(u_{n}\) de la suite \(\left(u_{n}\right)_{n \geqslant 0}\).
\end{enumerate}

\begin{verbatim}
function u=suite(n)
    v=0
    w=1
    for k=2:n
        ................
        .................
        .................
    end
    u=..................
endfunction
\end{verbatim}

(b) Justifier qu'il existe des réels \(\lambda\) et \(\mu\), que l'on déterminera, tels que :

\[
\forall n \in \mathbb{N}, \quad u_{n}=\lambda \varphi^{n}+\mu\left(\frac{-1}{\varphi}\right)^{n} .
\]

(c) En déduire que la suite \(\left(\frac{u_{n+1}}{u_{n}}\right)_{n \geqslant 1}\) converge et déterminer sa limite.\\
5. On considère pour tout \(n \in \mathbb{N}^{*}: S_{n}=\sum_{k=1}^{n} \frac{(-1)^{k}}{u_{k} u_{k+1}}\).\\
(a) Montrer, sans chercher à calculer de somme, que la série de terme général \(\frac{1}{u_{n} u_{n+1}}\) converge.\\
(b) En déduire que la suite \(\left(S_{n}\right)_{n \geqslant 1}\) converge.\\
(c) En utilisant le résultat de la question 3, montrer que pour tout \(n \in \mathbb{N}^{*}\) :

\[
S_{n+1}-S_{n}=\frac{u_{n}}{u_{n+1}}-\frac{u_{n+1}}{u_{n+2}} .
\]

(d) Montrer que : \(\varphi=1-\sum_{k=1}^{+\infty} \frac{(-1)^{k}}{u_{k} u_{k+1}}\).

\section*{PROBLÈME}
Toutes les variables aléatoires dans ce problème sont supposées définies sur un même espace probabilisé noté ( \(\Omega, \mathcal{A}, P\) ).

\section*{Partie 1 - Variables vérifiant une relation de Panjer}
On dit qu'une variable aléatoire \(N\), à valeurs dans \(\mathbb{N}\) vérifie une relation de Panjer s'il existe un réel \(a<1\) et un réel \(b\) tels que :

\[
P(N=0) \neq 1 \quad \text { et } \quad \forall k \in \mathbb{N}^{*}, \quad P(N=k)=\left(a+\frac{b}{k}\right) P(N=k-1) .
\]

\begin{enumerate}
  \item On suppose dans cette question que \(a=0\), et que \(b\) est un réel strictement positif.\\
(a) Montrer que :
\end{enumerate}

\[
\forall k \in \mathbb{N}, P(N=k)=\frac{b^{k}}{k!} P(N=0) \text {. }
\]

(b) Calculer \(\sum_{k=0}^{+\infty} P(N=k)\). En déduire que \(N\) suit une loi de Poisson de paramètre \(b\).

Préciser son espérance et sa variance.\\
2. On suppose dans cette question que \(a<0\) et que \(b=-2 a\).\\
(a) Montrer que :

\[
\forall k \geqslant 2, P(N=k)=0 .
\]

(b) En déduire que \(N\) suit une loi de Bernoulli dont on précisera le paramètre en fonction de \(a\).\\
3. On suppose dans cette question que \(Z\) suit une loi binomiale de paramètres \(n \in \mathbb{N}^{*}\) et \(\left.p \in\right] 0,1[\).\\
(a) Montrer que :

\[
\forall k \in \llbracket 1, n \rrbracket, P(Z=k)=\frac{p}{1-p} \times \frac{n-k+1}{k} \times P(Z=k-1) .
\]

(b) En déduire que \(Z\) vérifie une relation de Panjer en précisant les valeurs de \(a\) et \(b\) correspondantes en fonction de \(n\) et \(p\).\\
4. On revient dans cette question au cas général : \(a\) est un réel vérifiant \(a<1, b\) est un réel, et on suppose que \(N\) est une variable aléatoire, à valeurs dans \(\mathbb{N}\), vérifiant la relation de Panjer.\\
(a) Calculer \(P(N=1)\). En déduire que \(a+b \geqslant 0\).\\
(b) Montrer que pour tout entier \(m \geqslant 1\) :

\[
\sum_{k=1}^{m} k P(N=k)=a \sum_{k=0}^{m-1}(k+1) P(N=k)+b \sum_{k=0}^{m-1} P(N=k) .
\]

(c) En déduire que \(\left((1-a) \sum_{k=1}^{m} k P(N=k)\right)_{m \geqslant 1}\) est majorée, puis que \(N\) admet une espérance.

Préciser alors la valeur de \(E(N)\) en fonction de \(a\) et \(b\).\\
(d) Montrer que \(N\) admet un moment d'ordre 2 et que :

\[
E\left(N^{2}\right)=\frac{(a+b)(a+b+1)}{(1-a)^{2}}
\]

(e) En déduire que \(N\) admet une variance et préciser la valeur de \(V(N)\) en fonction de \(a\) et \(b\).\\
(f) Montrer que \(E(N)=V(N)\) si et seulement si \(N\) suit une loi de Poisson.

\section*{Partie 2 - Fonction génératrice}
On notera dans la suite :

\[
\forall k \in \mathbb{N}, p_{k}=P(N=k)
\]

où \(N\) est une variable aléatoire à valeurs dans \(\mathbb{N}\).\\
5. Montrer que pour tout réel \(x\) de l'intervalle \([0,1]\), la série \(\sum_{k \geqslant 0} p_{k} x^{k}\) est convergente.

On appelle alors fonction génératrice de \(N\) la fonction \(G\) définie sur \([0,1]\) par :

\[
\forall x \in[0,1], \quad G(x)=\sum_{k=0}^{+\infty} p_{k} x^{k}=\sum_{k=0}^{+\infty} P(N=k) x^{k}
\]

et on suppose dans cette partie que \(N\) vérifie une relation de Panjer avec \(0<a<1\) et que \(\frac{b}{a}>0\). On pose : \(\alpha=\frac{-(a+b)}{a}\).

On note enfin \(f\) la fonction définie par :

\[
\forall x \in[0,1], \quad f(x)=p_{0}(1-a x)^{\alpha} .
\]

\begin{enumerate}
  \setcounter{enumi}{5}
  \item Montrer que pour tout \(k \in \mathbb{N}\) :
\end{enumerate}

\[
\forall x \in[0,1], \quad f^{(k)}(x)=k!\times p_{k}(1-a x)^{\alpha-k}
\]

\begin{enumerate}
  \setcounter{enumi}{6}
  \item Soit \(x \in[0,1]\).\\
(a) Pour tout entier \(n \in \mathbb{N}\), montrer que :
\end{enumerate}

\[
f(x)=\sum_{k=0}^{n} p_{k} x^{k}+(n+1) p_{n+1} \int_{0}^{x}(1-a t)^{\alpha-n-1}(x-t)^{n} \mathrm{~d} t
\]

(b) Vérifier que pour tout \(t \in[0, x], \frac{x-t}{1-a t} \leqslant 1\) puis montrer que pour tout \(n \in \mathbb{N}\) :

\[
0 \leqslant \int_{0}^{x}(1-a t)^{\alpha-n-1}(x-t)^{n} \mathrm{~d} t \leqslant \int_{0}^{x}(1-a t)^{\alpha-1} \mathrm{~d} t
\]

(c) En déduire que :

\[
G(x)=p_{0}(1-a x)^{\alpha} .
\]

En calculant \(G(1)\), exprimer \(p_{0}\) en fonction de \(a, b\) et \(\alpha\), et vérifier que \(G^{\prime}(1)=E(N)\).

\section*{Partie 3 : formule de récursivité}
On considère une suite \(\left(X_{n}\right)_{n \in \mathbb{N}^{*}}\) de variables aléatoires de même loi, à valeurs dans \(\mathbb{N}\), mutuellement indépendantes et indépendantes de la variable \(N\) étudiée dans la question 4 de la partie 1 .\\
On considère alors la variable aléatoire \(S\) définie par :

\[
S= \begin{cases}0 & \text { si } N=0 \\ \sum_{k=1}^{N} X_{k} & \text { si } N \geqslant 1\end{cases}
\]

autrement dit :

\[
\forall \omega \in \Omega, \quad S(\omega)=0 \text { si } N(\omega)=0 \quad \text { et } \quad S(\omega)=\sum_{k=1}^{N(\omega)} X_{k}(\omega) \text { sinon. }
\]

\begin{enumerate}
  \setcounter{enumi}{8}
  \item Calculer \(P(S=0)\) lorsque \(a \in] 0,1[\) à l'aide de la partie 2 .
  \item (a) Calculer \(P(S=0)\) lorsque \(N\) suit une loi de Poisson de paramètre \(\lambda\).\\
(b) On considère la fonction Scilab suivante, où \(n\) est un paramètre dont dépend la loi commune \(\operatorname{des} X_{k}\) :
\end{enumerate}

\begin{verbatim}
function y=simulX(n)
    y=0 ;
    for i=1:n
        if rand()<1/2
            y=y+1;
        end
    end
endfunction
\end{verbatim}

Quelle loi de probabilité est simulée par la fonction simulX? Préciser ses paramètres.\\
(c) On rappelle qu'en Scilab l'instruction grand(1,1,"poi", lambda) renvoie une réalisation d'une loi de Poisson de paramètre lambda.\\
On suppose que \(N\) suit une loi de Poisson de paramètre \(\lambda\), et que la loi des variables \(X_{k}\) est celle simulée à la question précédente par la fonction simulX.\\
Recopier et compléter la fonction Scilab suivante, afin qu'elle renvoie une simulation de la variable aléatoire \(S\) :

\begin{verbatim}
function s=simulS(lambda,n)
    N = grand(1,1,"poi", lambda)
    ........................
    .........................
    .........................
    .........................
    ........................
endfunction
\end{verbatim}

\begin{enumerate}
  \setcounter{enumi}{10}
  \item Dans la suite du problème, on revient au cas général où \(N\) vérifie la relation de Panjer. On note toujours :
\end{enumerate}

\[
\forall k \geqslant 0, p_{k}=P(N=k)
\]

et on notera également :

\[
\forall k \geqslant 0, q_{k}=P\left(X_{1}=k\right)
\]

Enfin, on considère pour tout entier \(n \geqslant 1\), la variable aléatoire \(S_{n}=\sum_{k=1}^{n} X_{k}\), en convenant qu'on a \(S_{0}=0\).\\
(a) Soit \(n \in \mathbb{N}\) et \(k \in \mathbb{N}^{*}\). Montrer que :

\[
\forall i \in \llbracket 1, n+1 \rrbracket, \quad E\left(X_{i} \mid S_{n+1}=k\right)=\frac{k}{n+1} .
\]

Indication : on pourra considérer la somme \(\sum_{i=1}^{n+1} E\left(X_{i} \mid S_{n+1}=k\right)\).\\
(b) Justifier que :

\[
\forall j \in \llbracket 0, k \rrbracket, \quad P_{\left[S_{n+1}=k\right]}\left(X_{n+1}=j\right) P\left(S_{n+1}=k\right)=q_{j} P\left(S_{n}=k-j\right) .
\]

(c) Déduire des deux questions précédentes que :

\[
\sum_{j=0}^{k}\left(a+\frac{b j}{k}\right) q_{j} P\left(S_{n}=k-j\right)=\left(a+\frac{b}{n+1}\right) P\left(S_{n+1}=k\right) .
\]

\begin{enumerate}
  \setcounter{enumi}{11}
  \item Soit \(k \in \mathbb{N}^{*}\).\\
(a) Montrer que :
\end{enumerate}

\[
\forall j \in \llbracket 0, k \rrbracket, \quad P(S=k-j)=\sum_{n=0}^{+\infty} p_{n} P\left(S_{n}=k-j\right)
\]

(b) Montrer que :

\[
\sum_{j=0}^{k}\left(a+\frac{b j}{k}\right) q_{j} P(S=k-j)=\sum_{n=0}^{+\infty} p_{n+1} P\left(S_{n+1}=k\right) .
\]

(c) Justifier que:

\[
P(S=k)=\sum_{n=0}^{+\infty} p_{n+1} P\left(S_{n+1}=k\right) .
\]

(d) En déduire finalement que :

\[
P(S=k)=\frac{1}{1-a q_{0}} \sum_{j=1}^{k}\left(a+\frac{b j}{k}\right) q_{j} P(S=k-j)
\]

ECRICOME


\end{document}