\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{BANQUE COMMUNE D'EPREUVES \\
 CONCOURS D'ADMISSION DE 2009 }

\author{}
\date{}


\begin{document}
\maketitle
\section*{Conception : HAUTES ETUDES COMMERCIALES }
\section*{OPTION SCIENTIFIQUE}
HEC \(\_\_\_\_\) MATS

\section*{MATHEMATIQUES}
Mardi 28 avril 2009, 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.\\
Ils ne doivent faire usage d'aucun document : 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

Le problème a pour objet l'étude de quelques propriétés des suites récurrentes linéaires intervenant notamment dans l'analyse de processus aléatoires utilisés en prévision économique, ainsi que leur lien avec la notion de polynôme minimal.\\
Les parties II, III et IV sont indépendantes de la partie I.

\section*{Partie I. Deux exemples}
\section*{Exemple 1.}
\begin{enumerate}
  \item On considère la suite \(s=\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) définie par \(s_{1}=1, s_{2}=\frac{4}{5}, s_{3}=\frac{2}{5}\) et la relation : pour tout \(n\) de \(\mathbb{N}^{*}\), \(s_{n+3}=\frac{3}{2} s_{n+2}-s_{n+1}+\frac{1}{4} s_{n}\).\\
a) Écrire une fonction Pascal d'en-tête suite(s1,s2,s3: real, \(n:\) integer) : real qui, pour tout \(n\) de \(\mathbb{N}^{*}\), renvoie le \(n\)-ième terme de cette suite.\\
b) Établir, pour tout \(n\) de \(\mathbb{N}^{*}\), l'égalité : \(s_{n}=\frac{1}{5 \times 2^{n-2}}+\frac{3}{5 \times 2^{(n-2) / 2}} \times \sin \left(n \frac{\pi}{4}\right)\).\\
c) Déterminer la limite de la suite \(\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\).\\
d) Montrer que le polynôme \(P(X)=X^{3}-\frac{3}{2} X^{2}+X-\frac{1}{4}\) admet une unique racine réelle \(\lambda_{1}\), valant \(\frac{1}{2}\); déterminer ses deux racines complexes \(\lambda_{2}\) et \(\lambda_{3}\) dont on précisera le module et un argument.\\
e) On admet qu'il existe trois nombres complexes \(\alpha_{1}, \alpha_{2}, \alpha_{3}\) vérifiant, pour tout \(n\) de \(\mathbb{N}^{*}\), la relation suivante : \(s_{n}=\frac{\alpha_{1}}{2^{n}}+\alpha_{2} \lambda_{2}^{n}+\alpha_{3} \lambda_{3}^{n}\). Calculer \(\alpha_{1}, \alpha_{2}\) et \(\alpha_{3}\). Retrouver la limite de la suite \(\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\).
\end{enumerate}

\section*{Exemple 2.}
Soit ( \(x, y\) ) un élément de \(\mathbb{R}^{2}\) et \(P\) le polynôme de \(\mathbb{R}[X]\) défini par : \(P(X)=X^{2}-x X-y\). On note \(r_{1}\) et \(r_{2}\) les racines réelles ou complexes, distinctes ou confondues du polynôme \(P\).\\
2. a) Dans le plan rapporté à un repère orthonormé ( \(O, \vec{\imath}, \vec{\jmath}\) ), représenter graphiquement l'ensemble \(\mathcal{D}\) des points de coordonnées \((x, y)\) défini par :

\[
\mathcal{D}=\left\{(x, y) \in \mathbb{R}^{2} /|y|<1 \text { et }|x|<1-y\right\}
\]

b) Distinguer sur le graphique la partie de \(\mathcal{D}\) dans laquelle les racines de \(P\) sont réelles.\\
3. En étudiant séparément le cas où les racines \(r_{1}\) et \(r_{2}\) sont réelles et le cas où elles sont complexes, établir l'équivalence des trois conditions suivantes :\\
i) \(\left|r_{1}\right|<1\) et \(\left|r_{2}\right|<1\).\\
ii) \(P(-1)>0, P(1)>0\) et \(\left|r_{1} r_{2}\right|<1\).\\
iii) \(|y|<1\) et \(|x|<1-y\).

On désigne par \(\mathcal{E}\) l'ensemble des variables aléatoires discrètes définies sur un espace probabilisé et admettant un moment d'ordre 2 . On note \(E(A)\) et \(V(A)\) respectivement, l'espérance et la variance d'une variable aléatoire \(A\) de \(\mathcal{E}\). Si \(A\) et \(B\) appartiennent à \(\mathcal{E}\), leur covariance est notée \(\operatorname{cov}(A, B)\).\\
On appelle processus aléatoire \(Y=\left(Y_{t}\right)_{t \in \mathbb{Z}}\), toute application \(Y\) définie sur \(\mathbb{Z}\) à valeurs dans \(\mathcal{E}\).\\
Soit \(W=\left(W_{t}\right)_{t \in \mathbb{Z}}\) un processus aléatoire constitué de variables aléatoires mutuellement indépendantes, vérifiant pour tout \(t\) de \(\mathbb{Z}\), les égalités suivantes : \(E\left(W_{t}\right)=0\) et \(V\left(W_{t}\right)=\sigma^{2}\), avec \(\sigma\) strictement positif fixé.\\
Soit ( \(a_{1}, a_{2}\) ) un élément de \(\mathbb{R}^{2}\). On considère un processus aléatoire \(Y=\left(Y_{t}\right)_{t \in \mathbb{Z}}\) formé de variables aléatoires centrées, de même variance strictement positive et qui vérifient, pour tout \(t\) de \(\mathbb{Z}\) :

\[
Y_{t}=a_{1} Y_{t-1}+a_{2} Y_{t-2}+W_{t}
\]

On suppose que :

\begin{itemize}
  \item pour tout couple \((t, k)\) de \(\mathbb{Z} \times \mathbb{N}^{*}, \operatorname{cov}\left(W_{t}, Y_{t-k}\right)=0\);
  \item pour tout couple \((t, k)\) de \(\mathbb{Z}^{2}, \operatorname{cov}\left(Y_{t}, Y_{t-k}\right)\) ne dépend que de \(k\).
\end{itemize}

On pose alors, pour tout \(k\) de \(\mathbb{Z}: \gamma_{k}=\operatorname{cov}\left(Y_{t}, Y_{t-k}\right)\) et \(\rho_{k}=\frac{\gamma_{k}}{\gamma_{0}}\).\\
4. a) Que représente \(\gamma_{0}\) pour le processus \(Y\) ?\\
b) Établir, pour tout \(k\) de \(\mathbb{Z}\), l'égalité : \(\gamma_{-k}=\gamma_{k}\).\\
c) Montrer, pour tout \(t\) de \(\mathbb{Z}\), l'égalité : \(\operatorname{cov}\left(W_{t}, Y_{t}\right)=\sigma^{2}\).\\
5. On suppose dans cette question que le couple ( \(a_{1}, a_{2}\) ) appartient à l'ensemble \(\mathcal{D}\) défini dans la question 2.a.\\
a) Exprimer \(\gamma_{1}\) et \(\gamma_{2}\) en fonction de \(\gamma_{0}, a_{1}\) et \(a_{2}\). En déduire l'expression de \(\rho_{1}\) et \(\rho_{2}\) en fonction de \(a_{1}\) et \(a_{2}\).\\
b) Établir les deux inégalités : \(a_{1} \rho_{1}+a_{2} \rho_{2} \geqslant 0\) et \(\left|\rho_{1}\right|<1\), ainsi que l'encadrement : \(0 \leqslant a_{1} \rho_{1}+a_{2} \rho_{2}<1\).\\
c) Exprimer \(\gamma_{0}\) en fonction de \(\sigma^{2}, a_{1}, a_{2}, \rho_{1}\) et \(\rho_{2}\).\\
6. a) Montrer que la suite \(\left(\rho_{k}\right)_{k \in \mathbb{N}}\) vérifie une relation de récurrence linéaire d'ordre 2 .\\
b) Soit \(r_{1}\) et \(r_{2}\) les racines du polynôme \(P(X)=X^{2}-a_{1} X-a_{2}\). Montrer que la suite \(\left(\rho_{k}\right)_{k \in \mathbb{N}}\) converge vers 0 si et seulement si \(\left|r_{1}\right|<1\) et \(\left|r_{2}\right|<1\) (on distinguera trois cas : \(r_{1}\) et \(r_{2}\) réels avec \(\left|r_{1}\right|<\left|r_{2}\right|, r_{1}\) et \(r_{2}\) réels avec \(\left|r_{1}\right|=\left|r_{2}\right|, r_{1}\) et \(r_{2}\) complexes conjugués).

\section*{Partie II. Suites récurrentes linéaires d'ordre \(p\)}
Dans cette partie, \(p\) est un entier de \(\mathbb{N}^{*}\) et ( \(a_{1}, a_{2}, \ldots, a_{p}\) ) un élément de \(\mathbb{C}^{p}\) vérifiant \(a_{p} \neq 0\). On note \(\mathcal{S}\) le \(\mathbb{C}\)-espace vectoriel des suites complexes et \(\mathcal{S}_{p}\) le sous-ensemble de \(\mathcal{S}\) formé des suites \(s=\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) récurrentes linéaires d'ordre \(p\), c'est-à-dire, qui vérifient pour tout \(n\) de \(\mathbb{N}^{*}\) :

\[
s_{n+p}=a_{1} s_{n+p-1}+a_{2} s_{n+p-2}+\cdots+a_{p} s_{n}
\]

\begin{enumerate}
  \setcounter{enumi}{6}
  \item Montrer que \(\mathcal{S}_{p}\) est un sous-espace vectoriel de \(\mathcal{S}\).
  \item Soit \(\Phi\) l'application de \(\mathcal{S}_{p}\) dans \(\mathbb{C}^{p}\) qui, à toute suite \(\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) de \(\mathcal{S}_{p}\), associe le \(p\)-uplet ( \(s_{1}, s_{2}, \ldots, s_{p}\) ) de \(\mathbb{C}^{p}\). Montrer que \(\Phi\) est un isomorphisme d'espaces vectoriels. En déduire la dimension de \(\mathcal{S}_{p}\).
  \item On note ( \(e_{1}, e_{2}, \ldots, e_{p}\) ) la base canonique de \(\mathbb{C}^{p}\) et \(\Phi^{-1}\) l'application réciproque de \(\Phi\). Pour tout \(i\) de \(\llbracket 1, p \rrbracket\), on considère la suite \(v^{(i)}=\left(v_{n}^{(i)}\right)_{n \in \mathbb{N}^{*}}\) définie par : \(v^{(i)}=\Phi^{-1}\left(e_{i}\right)\).\\
a) Justifier que la famille \(\left(v^{(1)}, v^{(2)}, \ldots, v^{(p)}\right)\) constitue une base de \(\mathcal{S}_{p}\). Préciser les coordonnées de toute suite \(\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) de \(\mathcal{S}_{p}\) dans la base \(\left(v^{(1)}, v^{(2)}, \ldots, v^{(p)}\right)\).\\
b) Calculer, pour tout \(j\) de \(\llbracket 1, p \rrbracket, v_{j}^{(1)}, v_{j}^{(2)}, \ldots, v_{j}^{(p)}\). Montrer que, pour tout \(i\) de \(\llbracket 1, p \rrbracket\), on a : \(v_{p+1}^{(i)}=a_{p-i+1}\).
  \item Soit \(\delta\) l'application définie sur \(\mathcal{S}_{p}\) par : pour toute suite \(s=\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) de \(\mathcal{S}_{p}, \delta(s)=\left(s_{n+1}\right)_{n \in \mathbb{N}^{*}}\).\\
a) Montrer que \(\delta\) est un endomorphisme de \(\mathcal{S}_{p}\).\\
b) Déterminer la matrice \(\Delta\) de \(\delta\) dans la base ( \(v^{(1)}, v^{(2)}, \ldots, v^{(p)}\) ).
  \item Soit \(P\) le polynôme de \(\mathbb{C}[X]\) défini par : \(P(X)=X^{p}-a_{1} X^{p-1}-\cdots-a_{p-1} X-a_{p}\).\\
a) Montrer que \(\lambda\) est une valeur propre de \(\delta\) si et seulement si \(\lambda\) est une racine de \(P\).\\
b) Soit \(\lambda\) une valeur propre de \(\delta\). Déterminer la dimension du sous-espace propre associé à \(\lambda\), et en déduire une condition nécessaire et suffisante sur \(P\) pour que \(\delta\) soit diagonalisable.\\
c) On suppose que \(P\) admet \(p\) racines distinctes \(\lambda_{1}, \lambda_{2}, \ldots, \lambda_{p}\). Établir, pour toute suite \(s=\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) de \(\mathcal{S}_{p}\), l'existence d'un unique \(p\)-uplet \(\left(\alpha_{1}, \alpha_{2}, \ldots, \alpha_{p}\right)\) de \(\mathbb{C}^{p}\) tel que, pour tout \(n\) de \(\mathbb{N}^{*}\), on ait : \(s_{n}=\sum_{i=1}^{p} \alpha_{i} \lambda_{i}^{n}\).
\end{enumerate}

\section*{Partie III. Polynôme minimal d'une suite récurrente linéaire}
Le contexte et les notations de cette partie sont ceux du préambule de la partie II et de la question 10. On considère une suite \(s=\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) de \(\mathcal{S}_{p}\). On dit qu'un polynôme \(Q\) de \(\mathbb{C}[X]\) est un polynôme générateur de la suite \(s\), si \([Q(\delta)](s)=0_{\mathcal{S}_{p}}\). On note \(J\) l'ensemble des polynômes générateurs de la suite \(s\).\\
12. Montrer que \(J\) n'est pas réduit au polynôme nul.\\
13. Montrer que \(J\) est un sous-espace vectoriel de \(\mathbb{C}[X]\).\\
14. Montrer que, si \(Q\) est un polynôme de \(J\) et \(A\) un polynôme de \(\mathbb{C}[X]\), alors \(Q \times A\) appartient à \(J\).\\
15. On note \(N\) l'ensemble des degrés des polynômes non nuls de \(J\).\\
a) Justifier l'existence d'un polynôme \(\Pi\) de \(J\) tel que son degré soit le plus petit élément de \(N\). On note \(d\) le degré de \(\Pi\).\\
b) En utilisant la division euclidienne des polynômes, montrer que \(J\) est l'ensemble des polynômes de la forme \(\Pi \times L\), avec \(L\) élément de \(\mathbb{C}[X]\).\\
c) En déduire qu'il existe un unique polynôme de \(J\), noté \(\Pi^{\star}\), de coefficient dominant égal à 1 et de degré \(d\).

On dit que \(\Pi^{\star}\) est le polynôme générateur minimal de \(s\) et que son degré \(d\) est le degré de la suite \(s\).\\
16. Un exemple. Déterminer le polynôme générateur minimal et le degré de la suite \(s=\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) récurrente linéaire d'ordre 3 définie par \(s_{1}=0, s_{2}=s_{3}=1\) et la relation : pour tout \(n\) de \(\mathbb{N}^{*}, s_{n+3}=2 s_{n+1}+s_{n}\).\\
17. Soit \(s=\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) une suite récurrente linéaire de degré \(d(d \geqslant 1)\) et soit \(k\) un entier strictement supérieur à \(d\). On note \(H\) la matrice de \(\mathcal{M}_{k}(\mathbb{C})\) définie par :

\[
H=\left(\begin{array}{cccc}
s_{1} & s_{2} & \ldots & s_{k} \\
s_{2} & s_{3} & \ldots & s_{k+1} \\
\vdots & \vdots & \ddots & \vdots \\
s_{k} & s_{k+1} & \ldots & s_{2 k-1}
\end{array}\right)
\]

Pour tout \(j\) de \(\llbracket 1, k \rrbracket\), on note \(U_{j}\) la \(j\)-ième colonne de \(H\). On désigne par \(h\) l'endomorphisme de \(\mathbb{C}^{k}\) canoniquement associé à \(H\) et, pour tout \(j\), on note \(u_{j}\) le vecteur de \(\mathbb{C}^{k}\) canoniquement associé à \(U_{j}\).\\
a) Montrer que la famille ( \(u_{1}, u_{2}, \ldots, u_{d}\) ) est une famille libre de \(\operatorname{Im}(h)\).\\
b) Établir que, pour tout \(j\) de \(\llbracket d+1, k \rrbracket\), la famille \(\left(u_{1}, u_{2}, \ldots, u_{d}, u_{j}\right)\) est liée. En déduire le rang de \(h\) et la dimension de \(\operatorname{Ker}(h)\).\\
c) Montrer qu'un polynôme \(Q(X)=\sum_{j=0}^{k-1} q_{j} X^{j}\) de \(\mathbb{C}[X]\) appartient à \(J\), si et seulement si l'élément \(\left(q_{0}, q_{1}, \ldots, q_{k-1}\right)\) de \(\mathbb{C}^{k}\) appartient à \(\operatorname{Ker}(h)\).\\
d) Un exemple. Soit \(\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) une suite récurrente linéaire de degré inférieur ou égal à 3 dont les premiers termes sont : \(-1,7,5,19,29,67,125\). Déterminer le polynôme générateur minimal de cette suite.

Partie IV. Un algorithme de calcul d'un polynôme générateur d'une suite récurrente linéaire\\
Soit \(d\) et \(k\) deux entiers tels que \(1 \leqslant d \leqslant k\) et soit \(s=\left(s_{n}\right)_{n \in \mathbb{N}^{*}}\) une suite complexe récurrente linéaire de degré \(d\) dont on connaît les \(2 k\) premiers termes; on pose : \(S(X)=\sum_{i=0}^{2 k-1} s_{2 k-i} X^{i}\). On note \(\mathbb{C}_{k}[X]\) l'espace vectoriel des polynômes à coefficients complexes de degré inférieur ou égal à \(k\). Soit \(Q(X)=\sum_{j=0}^{k} q_{j} X^{j}\) un polynôme de \(\mathbb{C}_{k}[X]\). Le degré d'un polynôme \(T\) est noté \(\operatorname{deg}(T)\).\\
18. On note ( \(\star\) ) la relation suivante : pour tout \(n\) de \(\llbracket 1, k \rrbracket\), on a \(\sum_{j=0}^{k} q_{j} s_{n+j}=0\).

Montrer que \(Q\) est un polynôme générateur de la suite \(s\) si et seulement si la relation (\textit{) est vérifiée.\\
19. a) On pose, pour tout \(n\) de \([0,3 k-1]: t_{n}=\sum_{\substack{i \in[0,2 k-1], j \in[0, k] \\ i+j=n}} q_{j} s_{2 k-i}\). Établir l'égalité : \(Q S=\sum_{n=0}^{3 k-1} t_{n} X^{n}\).\\
b) On suppose la relation ( \(\star\) ) vérifiée. Montrer, pour tout \(n\) de \(\llbracket k, 2 k-1 \rrbracket\), l'égalité : \(t_{n}=0\). En déduire l'existence de deux polynômes \(A\) et \(B\) de \(\mathbb{C}_{k-1}[X]\) vérifiant : \(Q S=A+X^{2 k} B\).\\
c) Réciproquement, on suppose qu'il existe deux polynômes \(A\) et \(B\) de \(\mathbb{C}_{k-1}[X]\) vérifiant : \(Q S=A+X^{2 k} B\). Montrer que la relation (}) est vérifiée.\\
20. Dans l'algorithme suivant, les variables \(A, B, C, D, E, F, R, S\) sont des polynômes, \(k\) une constante entière. L'entier \(k\) et le polynôme \(S\) ont les valeurs données précédemment.\\
Initialisation : \(A:=X^{2 k}, B:=S, C:=0, D:=1\).\\
Corps :\\
Tant que \(\operatorname{deg}(B) \geqslant k\)\\
effectuer la division euclidienne de \(A\) par \(B, A=B F+R\) avec \(R=0\) ou \(\operatorname{deg}(R)<\operatorname{deg}(B)\).\\
\(E:=C-D F\).\\
\(C:=D, D:=E, A:=B, B:=R\).\\
Fin de Tant que.\\
Sortie : Rendre \(D\) et \(B\).\\
Si \(U\) et \(V\) sont deux polynômes de \(\mathbb{C}[X]\) tels qu'il existe un polynôme \(W\) de \(\mathbb{C}_{k-1}[X]\) vérifiant \(U=V+X^{2 k} W\), on notera : \(U \equiv V\).\\
a) Montrer que cet algorithme se termine, c'est-à-dire que l'on sort de la boucle.\\
b) Montrer qu'à l'initialisation, on a :\\
\(\operatorname{deg}(C) \leqslant 2 k-\operatorname{deg}(A), \quad \operatorname{deg}(D) \leqslant 2 k-\operatorname{deg}(A), \quad k \leqslant \operatorname{deg}(B) \leqslant \operatorname{deg}(A), \quad C S \equiv A, \quad D S \equiv B\).\\
c) On suppose qu'à l'issue du \(j\)-ième passage dans la boucle, les relations précédentes sont vérifiées. Montrer qu'elles le sont encore à l'issue du ( \(j+1\) )-ième passage.\\
d) Montrer que lorsque l'algorithme se termine, l'une des variables contient un polynôme générateur de la suite \(s\). Quelle est cette variable?


\end{document}