\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{Concours d'admission de 2015 \\
 Conception : ESSEC }

\author{OPTION Economique}
\date{}


\begin{document}
\maketitle


\section*{MATHÉMATIQUES II }
Mercredi 6 mai 2015 , 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 coples.\\
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'énonce, Il la signalera sur sa copie et poursuivra sa composition en expliquant les raisons des initiatives qu'il sera amené à prendre.

L'étude des propriétés asymptotiques des lois de probabilités est importante pour modéliser la façon dont une expérience aléatoire a une tendance plus ou moins forte à donner des résultats numériquement grands. Dans la première partie, on introduit un outil d'analyse asymptotique. Dans la deuxième, on étudie un type de loi spécifique et dans la troisième des conditions plus simples pour vérifier que des propriétés asymptotiques sont satisfaites. Les trois parties sont largement indépendantes. De plus, dans les deux dernières parties, on n'utilise de la partie I que les résultats des questions 5.(f) iii) et 5.(g), qu'on pourra admettre si besoin. Dans tout l'énoncé, "positif" signifie "positif ou nul" sauf indication contraire.

\section*{I Limite inférieure d'une suite et d'une fonction}
Si \(a\) et \(b\) sont deux entiers tels que \(a \leq b\), on notera \(\llbracket a, b \rrbracket=\{k \in \mathbb{Z}, a \leq k \leq b\}\) l'intervalle d'entiers d'extrémités \(a\) et \(b\).\\
Pour \(\left(x_{n}\right)_{n \in I N}\) suite de réels et \(I\) ensemble fini d'entiers naturels, on notera \(\min _{i \in I} x_{i}\) le plus petit élément de\\
l'ensemble \(\left\{x_{i}, i \in I\right\}\). Par exemple, \(\min _{i \in[1,9]} \frac{1}{i}=\frac{1}{9}\).

\begin{enumerate}
  \item Un exemple : déterminer \(\min _{i \in[0,4]} \frac{(-1)^{i}}{i+1}\).
  \item Soit \(\left(x_{n}\right)_{n \geq 0}\) une suite de réels positifs.\\
(a) Pour \(n\) entier naturel fixé, on pose pour tout \(k\) de \(I N, u_{n}(k)=\min _{i \in[n, n+k]} x_{i}\).
\end{enumerate}

Montrer que la suite \(\left(u_{n}(k)\right)_{k \geq 0}\) est décroissante.\\
(b) En déduire que la suite \(\left(u_{n}(k)\right)_{k \geqq 0}\) est convergente. On note \(u_{n}=\lim _{k \rightarrow+\infty} u_{n}(k)\).\\
(c) Établir une inégalité entre les réels \(u_{n+1}(k)\) et \(u_{n}(k+1)\) et en déduire que la suite \(\left(u_{n}\right)_{n \geq 0}\) est croissante.\\
(d) En déduire que la suite \(\left(u_{n}\right)_{n \geq 0}\) admet une limite (qui peut être \(+\infty\) ). Cette limite est dite limite inférieure de la suite \(\left(x_{n}\right)_{n \geq 0}\) et est notée \(\liminf _{n \rightarrow+\infty} x_{n}\).\\
3) Soient les deux suites réelles positives \(\left(y_{n}\right)_{n \geq 0}\) et \(\left(z_{n}\right)_{n \geqq 0}\) définies par

\[
\forall n \in \mathbb{N}, y_{n}=1+(-1)^{n}, n \geq 0
\]

et

\[
\forall n \in I N, z_{n}=\left\{\begin{array}{cc}
2 & \text { si } n \text { est pair } \\
n & \text { si } n \text { est impair }
\end{array}\right.
\]

(a) Expliciter pour \(n\) positif ou nul et \(k\) supérieur ou égal à 1 les termes \(u_{n}(k)\) associés à chacune des deux suites \(\left(y_{n}\right)_{n \geq 0}\) et \(\left(z_{n}\right)_{n \geq 0}\).\\
(b) Déterminer \(\liminf _{n \rightarrow+\infty} y_{n}\) et \(\liminf _{n \rightarrow+\infty} z_{n}\).\\
4)\\
(a) On suppose ici que \(\left(x_{n}\right)_{n \geq 0}\) est une suite croissante de réels positifs. Comparer \(u_{n}\) et \(x_{n}\) et en déduire que si \(\left(x_{n}\right)_{n \geq 0}\) converge en croissant vers un réel \(\ell\) alors \(\liminf _{n \rightarrow+\infty} x_{n}=\ell\)\\
(b) Montrer que si \(\left(x_{n}\right)_{n \geq 0}\) est une suite décroissante de réels positifs, convergente vers un réel \(\ell\), alors \(\liminf _{n \rightarrow+\infty} x_{n}=\ell\).\\
(c)\\
i) Soient \(\alpha_{1}, \alpha_{2}, \ldots, \alpha_{r}\) des réels donnés et soit \(I\) un intervalle ouvert de \(\mathbb{R}\). On suppose que pour tout \(i\) tel que \(1 \leq i \leq r\), \(\alpha_{i}\) appartient à \(I\). Montrer que \(\min _{i \in[1, r]} \alpha_{i} \in I\).\\
ii) Démontrer que si \(\left(x_{n}\right)_{n \geq 0}\) est une suite de réels positifs convergente vers \(\ell\) réel positif, on a \(\liminf _{n \rightarrow+\infty} x_{n}=\ell\).\\
5) Soit \(f\) une fonction continue sur \(\mathbb{R}_{+}\)à valeurs dans \(\mathbb{R}_{+}\).\\
(a) Pour \(x\) réel positif fixé, on définit la fonction \(\varphi_{x}\) sur \(\mathbb{R}_{+}\)par

\[
\forall h \geq 0, \varphi_{x}(h)=\min _{u \in[x, x+h]} f(u) .
\]

Montrer que la fonction \(\varphi_{x}\) est décroissante sur \(\mathbb{R}_{+}\).\\
(b) En déduire que \(\varphi_{x}(h)\) a une limite dans \(\mathbb{R}_{+}\)quand \(h\) tend vers \(+\infty\). On note \(\Phi_{x}\) cette limite.\\
(c) Montrer que la fonction \(x \mapsto \Phi_{x}\) est croissante sur \(\mathbb{R}_{+}\).\\
(d) En déduire que la limite \(\lim _{x \rightarrow+\infty} \Phi_{x}\) existe (noter qu'elle peut valoir \(+\infty\) ). On la nomme la limite inférieure de \(f\) et elle est notée \(\liminf _{x \rightarrow+\infty} f(x)\).\\
(e) Un exemple : soit \(f\) la fonction continue sur \(\mathbb{R}_{+}\)définie par

\[
f(x)= \begin{cases}x & \text { si } x \text { appartient à }[0,1] \\ 2-x & \text { si } x \text { appartient à }[1,2]\end{cases}
\]

et telle que \(f(x)=f(x+2)\) pour tout réel positif \(x\) (on dit que \(f\) est périodique de période 2 ).\\
i) Représenter graphiquement \(f\) sur le segment \([0,4]\).\\
ii) Que vaut \(\varphi_{x}(h)\) pour \(x\) positif et \(h\) supéricur ou égal à 2 .\\
iii) En déduire \(\Phi_{x}\) puis \(\liminf _{x \rightarrow+\infty} f(x)\).\\
(f) \(\quad f\) est de nouveau une fonction quelconque continue sur \(\mathbb{R}_{+}\)à valeurs dans \(\mathbb{R}_{+}\), et on reprend les notations de 5(a) et 5(b).\\
i) Soit \(x\) un réel positif. Montrer que pour tout réel \(h\) positif, on a \(f(x) \geq \varphi_{x}(h)\).\\
ii) En déduire l'inégalité

\[
\Phi_{x} \leq f(x)
\]

iii) On suppose que \(\liminf _{x \rightarrow+\infty} f(x)>0\). Montrer qu'il existe deux réels \(x_{0}\) et \(\varepsilon\) strictement positifs tels que pour tout \(x\) supérieur ou égal à \(x_{0}\) on a \(f(x) \geq \varepsilon\).\\
(g) Soient \(f\) et \(g\) deux fonctions continues de \(\mathbb{R}_{+}\)dans \(\mathbb{R}_{+}\)telles que \(f(x) \geq g(x)\) pour tout \(x\) positif, et \(\lim _{x \rightarrow+\infty} g(x)=\ell\) où \(\ell\) est un réel positif. Montrer que \(\liminf _{x \rightarrow+\infty} f(x) \geq \ell\).

\section*{II Lois sous-exponentielles}
Dans la suite du problème, toutes les variables aléatoires sont définies sur un espace probabilisé ( \(\Omega, \mathcal{A}, P\) ). On notera comme d'habitude, sous réserve d'existence, \(E(X)\) et \(V(X)\) l'espérance et la variance d'une variable aléatoire réelle \(X\).\\
Si \(X\) est une variable aléatoire réelle positive de fonction de répartition \(F\), on notera systématiquement \(\bar{F}\) la queue de la répartition définie par \(\bar{F}(x)=1-F(x)=P(X>x)\) pour tout \(x\) positif.\\
6) Soient \(X\) et \(Y\) deux variables aléatoires indépendantes à valeurs dans \(I N\). Pour tout \(n\) entier naturel, on pose

\[
\left\{\begin{array}{ccc}
p_{X}(n) & =P(X=n) \\
p_{Y}(n) & =P(Y=n) \\
p_{X+Y}(n) & =P(X+Y=n)
\end{array}\right.
\]

Montrer que pour tout \(n\) entier naturel,

\[
p_{X+Y}(n)=\sum_{k=0}^{n} p_{X}(k) p_{Y}(n-k)
\]

Par analogie, on admettra que si \(X\) et \(Y\) sont deux variables aléatoires réelles positives indépendantes, admettant respectivement les densités \(f_{X}\) et \(f_{Y}\) continues sur \(I_{+}^{*}\) et continues à droite en 0 , la variable \(X+Y\) admet une densité notée \(f_{X} * f_{Y}\) définie, pour \(x\) positif, par

\[
\left(f_{X} * f_{Y}\right)(x)=\int_{0}^{x} f_{X}(u) f_{Y}(x-u) d u
\]

On notera \(F_{X+Y}\) la fonction de répartition de la variable aléatoire \(X+Y\).\\
7) Soit \(\lambda\) un réel strictement positif et soient \(X\) et \(Y\) deux variables aléatoires indépendantes de loi exponentielle de paramètre \(\lambda\). On note \(f\) une densité commune et \(F\) leur fonction de répartition. On prendra pour tout \(x\) positif ou nul, \(f(x)=\lambda e^{-\lambda x}\).\\
(a) Expliciter, pour \(x\) positif, \(F(x)\) et \(\bar{F}(x)\).\\
(b) Calculer \((f * f)(x)\) pour tout \(x\) positif.\\
(c) En déduire \(F_{X+Y}(x)\) pour tout \(x\) positif.\\
(d) Montrer que

\[
\lim _{x \rightarrow+\infty} \frac{\overline{F_{X+Y}}(x)}{\bar{F}(x)}=+\infty
\]

\begin{enumerate}
  \setcounter{enumi}{7}
  \item Soit \(X\) une variable aléatoire positive de fonction de répartition \(F\). On dit que la loi de \(X\) est à support illimité à droite si pour tout \(x\) positif, \(\bar{F}(x)>0\).\\
Soient \(X\) et \(Y\) deux variables aléatoires indépendantes positives, de même loi à support illimité à droite, de fonction de répartition commune \(F\).\\
(a) Montrer que pour tout \(x\) positif,
\end{enumerate}

\[
\overline{F_{X+Y}}(x) \geq P(\max (X, Y)>x) .
\]

(b) Montrer que \(P(\max (X, Y)>x)=1-F^{2}(x)\).\\
(c) Montrer que \(\lim _{x \rightarrow+\infty} \frac{1-F^{2}(x)}{\bar{F}(x)}=2\).\\
(d) En déduire que \(\liminf _{x \rightarrow+\infty} \frac{\overline{F_{X+Y}}(x)}{\bar{F}(x)} \geq 2\).\\
9) Soit \(X\) une variable aléatoire positive de fonction de répartition \(F\). On suppose que la loi de \(X\) est à support illimité à droite. On dit que cette loi est sous-exponentielle si

\[
\lim _{x \rightarrow+\infty} \frac{\overline{F_{X+Y}}(x)}{\bar{F}(x)}=2
\]

où, comme dans les notations précédentes, \(F_{X+Y}\) désigne la fonction de répartition de la somme des deux variables aléatoires réelles positives \(X\) et \(Y\) indépendantes, de même loi et de fonction de répartition \(F\).

On considère alors deux variables aléatoires réelles positives indépendantes \(X\) et \(Y\) de même loi sousexponentielle.\\
(a) Montrer que

\[
\lim _{x \rightarrow+\infty} P_{[X+Y>x]}(X>x)=\frac{1}{2}
\]

(b) En déduire (en utilisant la question 8.c) que

\[
\lim _{x \rightarrow+\infty} \frac{P(X+Y>x)}{P(\max (X, Y)>x)}=1
\]

(c) Démontrer l'égalité

\[
P(X+Y>x)=P([X+Y>x] \cap[\max (X, Y) \leq x])+P(\max (X, Y)>x)
\]

(d) Conclure que

\[
\lim _{x \rightarrow+\infty} \frac{P([X+Y>x] \cap[\max (X, Y) \leq x])}{P(\max (X, Y)>x)}=0
\]

(e) Interpréter le résultat précédent.

\section*{III Problèmes de queues}
Soit \(f\) une densité de probabilité sur \(\mathbb{R}\) que l'on suppose nulle sur \(\mathbb{R}_{-}^{*}\) et continue sur \(\mathbb{R}_{+}^{*}\) et \(F\) la fonction de répartition associée. On dit que la loi de probabilité définie par la densité \(f\) possède une loi à queue lourde si pour tout \(\lambda\) strictement positif, l'intégrale \(\int_{1}^{+\infty} f(x) e^{\lambda x} d x\) est divergente, c'est-à-dire que pour tout réel \(\lambda>0\),

\[
\lim _{a \rightarrow+\infty} \int_{1}^{a} f(x) e^{\lambda x} d x=+\infty
\]

\begin{enumerate}
  \setcounter{enumi}{9}
  \item Soit \(X\) une variable aléatoire de densité \(f\). Montrer que si la loi de \(X\) est à queue lourde, elle est à support illimité à droite.
  \item Étude de quelques lois particulières :\\
(a) Une loi exponentielle est-elle à queue lourde?\\
(b) Soit \(f\) la fonction d'expression \(f(x)=\frac{1}{(1+x)^{2}}\) si \(x\) positif ou nul et \(f(x)=0\) si \(x\) est strictement négatif.\\
i) Montrer que \(f\) est une densité de probabilité.\\
ii) Soit \(\lambda\) strictement positif. Justifier l'existence d'un réel positif \(x_{0}\) tel que pour tout \(x\) supérieur ou égal à \(x_{0}\) on ait \(\frac{e^{\lambda x}}{(1+x)^{2}} \geq 1\).\\
iii) En déduire que la loi définie par \(f\) est à queue lourde.\\
(c) Soit \(Z\) une variable aléatoire de loi normale centrée réduite et \(X\) la variable aléatoire définie par \(X=e^{Z}\).\\
i) Déterminer une densité \(f\) de \(X\).\\
ii) Soit \(\lambda\) strictement positif. Que vaut \(\lim _{x \rightarrow+\infty}\left[\lambda x-\frac{1}{2}(\ln x)^{2}-\ln x\right]\) ?\\
iii) En déduire qu'il existe un réel \(x_{0}\) strictement positif tel que
\end{enumerate}

\[
\forall x \geq x_{0} \quad f(x) e^{\lambda x} \geq 1
\]

iv) En déduire que la loi de \(X\) est à queue lourde.

On désigne désormais par \(X\) une variable aléatoire positive de loi à support illimité à droite et admettant une densité \(f\) continue sur \(\mathbb{R}_{+}^{*}\) et continue à droite en 0 . On note \(F\) la fonction de répartition associée. On pose alors \(r(x)=\frac{f(x)}{\bar{F}(x)}\) et \(R(x)=-\ln \bar{F}(x)\), pour \(x\) positif.\\
12) Montrer que

\[
\vec{F}(x)=\exp \left(-\int_{0}^{x} r(y) d y\right)
\]

\begin{enumerate}
  \setcounter{enumi}{12}
  \item On suppose que \(\liminf _{x \rightarrow+\infty} \frac{R(x)}{x}>0\).\\
(a) Montrer qu'il existe deux réels \(x_{0}\) et \(\mathscr{E}\) strictement positifs tels que pour tout \(x\) supérieur ou égal à \(x_{0}\), \(\bar{F}(x) \leq e^{-\varepsilon x}\),\\
(b) Soit \(\lambda\) tel que \(0<\lambda<\varepsilon\). Soit \(A\) strictement positif donné. Montrer que
\end{enumerate}

\[
\int_{0}^{A} e^{\lambda x} f(x) d x=1-\bar{F}(A) e^{\lambda A}+\lambda \int_{0}^{A} e^{\lambda x} \bar{F}(x) d x
\]

(c) Conclure que \(\int_{0}^{+\infty} e^{\lambda x} f(x) d x\) converge et que la loi de \(X\) n'est pas à queue lourde.\\
14) On rappelle l'inégalité de Markov : si \(Z\) est une variable aléatoire positive admettant l'espérance \(E(Z)\), alors pour tout \(\alpha\) strictement positif, on a

\[
P(Z>\alpha) \leq \frac{1}{\alpha} E(Z)
\]

On suppose maintenant que la loi de \(X\) n'est pas à queue lourde.\\
(a) Montrer qu'il existe \(\lambda\) strictement positif tel que \(c=E\left(e^{\lambda X}\right)\) existe.\\
(b) Soit \(x\) strictement positif. Montrer que \(\bar{F}(x) \leq c \cdot e^{-\lambda x}\).\\
(c) Montrer que \(\liminf _{x \rightarrow+\infty} \frac{R(x)}{x} \geq \lambda>0\).

La condition \(\liminf _{x \rightarrow+\infty} \frac{R(x)}{x}=0\) n'est pas forcément très agréable à vérifier pour prouver qu'une loi possède une queue lourde. De ce fait, on introduit une autre notion plus simple dont on va montrer qu'elle suffit à assurer cette propriété.\\
15) Soit \(X\) une variable aléatoire positive de fonction de répartition \(F\). On dit que la loi de \(X\) possède une queue longue si pour tout réel \(\varepsilon\) strictement positif, il existe un réel \(A\) strictement positif tel que pour tout réel \(x\) supéricur ou égal à \(A\), et tout réel \(y\) appartenant à \([0,1]\), on a

\[
\left|\frac{\bar{F}(x+y)}{\bar{F}(x)}-1\right|<\varepsilon
\]

Dans la suite, \(F\) désigne la fonction de répartition d'une variable aléatoire \(X\) qui suit une telle loi.\\
(a) Montrer que pour tout \(y\) de \([0,1] \lim _{x \rightarrow+\infty} \frac{\bar{F}(x+y)-\bar{F}(x)}{\bar{F}(x)}=0\).\\
(b) En déduire que \(\lim _{x \rightarrow+\infty} \frac{F(x+y)-F(x)}{\bar{F}(x)}=0\).\\
(c) Montrer que pour tout \(y\) de \([0,1]\),

\[
\lim _{x \rightarrow+\infty} P_{[X>x]}(X>x+y)=1
\]

(d) Montrer que \(\lim _{x \rightarrow+\infty}(R(x+1)-R(x))=0\).\\
16) Soit \(F\) la fonction de répartition d'une variable aléatoire de loi à queue longue.\\
(a) Soit \(\lambda\) strictement positif fixé.\\
i) Montrer qu'il existe \(x_{0}\) positif tel que pour tout \(x\) supéricur ou égal à \(x_{0}\) et pour tout \(y\) de \([0,1]\), on a

\[
\bar{F}(x+y) \geq \bar{F}(x) e^{-\frac{\lambda}{2}}
\]

Indication : On utilisera la définition de fonction de répartition d'une variable aléatoire qui suit une loi à queue longue donnée à la question précédente avec une valeur précise de \(\varepsilon\) que l'on explicitera.\\
ii) Montrer que pour tout entier naturel non nul \(n\), on a

\[
\bar{F}\left(x_{0}+n\right) \geq \bar{F}\left(x_{0}\right) e^{-\lambda \frac{n}{2}}
\]

iii) En déduire que \(\lim _{n \rightarrow+\infty} e^{\lambda\left(x_{0}+n\right)} \bar{F}\left(x_{0}+n\right)=+\infty\)\\
(b) Justifier que pour tout \(\lambda\) strictement positif, la fonction \(x \mapsto e^{\lambda x} \bar{F}(x)\) n'est pas bornée sur \(\mathbb{R}_{+}\),\\
(c) En raisonnant par l'absurde, montrer que \(\liminf _{x \rightarrow+\infty} \frac{R(x)}{x}=0\).\\
(d) Conclure que toute loi à queue longue possède une queue lourde.


\end{document}