\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{CONCOURS D'ADMISSION DE 2007 }

\author{}
\date{}


\begin{document}
\maketitle
BANQUE COMMUNE D'EPREUVES

\section*{CODE SUJET :}
Concepteur : ESSEC

\section*{Option scientifique}
\section*{MATHEMATIQUES I}
Lundi 14 mai 2007 de 8 h à 12 h

La présentation, la lisibilité, l'orthographe, la qualité de la rédaction, la clarté 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.

NOTATIONS, RAPPELS :\\
Dans tout le problème, la lettre n désigne un entier supérieur ou égal à 2 et on note \(\llbracket 1, \mathrm{n} \rrbracket\) l'ensemble des entiers k vérifiant: \(1 \leq \mathrm{k} \leq \mathrm{n}\).\\
Par ailleurs, on note :

\begin{itemize}
  \item \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\) l'espace vectoriel des matrices carrées d'ordre n à coefficients réels,
  \item \(\quad \mathcal{M}_{\mathrm{n}, \mathrm{l}}(\mathbb{R})\) l'espace vectoriel des matrices colonnes réelles à n lignes,
  \item \(\quad{ }^{\mathrm{t}} \mathrm{M}\) la transposée d'une matrice M ,
  \item \(\mathrm{I}_{\mathrm{n}}\) la matrice identité de \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\),
  \item Pour \(\mathrm{A} \in \mathcal{M}_{\mathrm{n}}(\mathbb{R}), \operatorname{Ker}(\mathrm{A})=\left\{\mathrm{X} \in \mathcal{M}_{\mathrm{n}, 1}(\mathbb{R}) / \mathrm{AX}=0\right\}\).
\end{itemize}

Objectif du problème : on dispose d'un ordre naturel sur l'ensemble des réels, on s'interroge dans ce problème sur l'extension de cet ordre à \(\mathcal{S}_{\mathrm{n}}(\mathbb{R})\) et on s'intéresse en particulier à la monotonie de quelques applications.

Les deux premières parties du problème sont indépendantes. La troisième partie utilise simultanément les deux parties précédentes. La quatrième partie reprend essentiellement les notions vues dans la troisième partie.

\section*{Partie I: représentation intégrale d'une fonction puissance}
Préambule : on désigne par \(\varphi\) une application définie et continue sur \(\mathbb{R}_{+}^{*}\) et à valeurs positives telle que l'intégrale \(\int_{0}^{+\infty} \frac{\varphi(t)}{1+t^{2}} d t\) soit convergente et on lui associe la fonction \(f\) d'une variable réelle définie par : \(f(x)=\int_{0}^{+\infty}\left(\frac{t}{1+t^{2}}-\frac{1}{x+t}\right) \varphi(t) d t\).\\
Question préliminaire : Montrer que f est définie sur \(\mathbb{R}_{+}^{*}\).\\
\(1^{\circ}\) ) Pour quelles valeurs du réel \(\alpha\), l'intégrale \(\int_{0}^{+\infty} \frac{t^{\alpha}}{1+t^{2}} d t\) est-elle convergente ?\\
Dans toute la suite du problème, pour de telles valeurs de \(\alpha\), on désignera par \(f_{\alpha}\) l'application définie sur \(\mathbb{R}_{+}^{*}\) par :

\[
\forall x \in \mathbb{R}_{+}^{*}, f_{\alpha}(x)=\int_{0}^{+\infty}\left(\frac{t}{1+t^{2}}-\frac{1}{x+t}\right) t^{\alpha} d t
\]

\(2^{\circ}\) ) exprimer \(f_{0}\) à l'aide des fonctions usuelles.\\
\(3^{\circ}\) ) On suppose que \(\left.\alpha \in\right]-1,0[\).\\
Pour \(\mathrm{x}>0\), prouver la convergence de l'intégrale \(\int_{0}^{+\infty} \frac{\mathrm{t}^{\alpha}}{\mathrm{x}+\mathrm{t}} \mathrm{dt}\) et, à l'aide d'un changement de variable, l'exprimer en fonction de \(\mathrm{x}^{\alpha}\) et d'un réel ne dépendant que de \(\alpha\).\\
En déduire l'existence de c et d , réels ne dépendant que de \(\alpha\), tels que : \(\forall \mathrm{x}>0, \mathrm{f}_{\alpha}(\mathrm{x})=\mathrm{c} \cdot \mathrm{x}^{\alpha}+\mathrm{d}\). Préciser le signe de c .\\
\(4^{\circ}\) ) On suppose que \(\left.\alpha \in\right] 0,1[\).\\
a) Lorsque \(x\) et \(h\) sont des réels tels que \(x>0, x+h>0\) et \(h \neq 0\), vérifier la relation :

\[
\frac{f_{\alpha}(x+h)-f_{\alpha}(x)}{h}=\int_{0}^{+\infty} \frac{t^{\alpha}}{(x+h+t)(x+t)} d t
\]

Montrer alors que \(\mathrm{f}_{\alpha}\) est dérivable sur \(\mathbb{R}_{+}^{*}\) et que : \(\forall \mathrm{x}>0, \mathrm{f}_{\alpha}^{\prime}(\mathrm{x})=\int_{0}^{+\infty} \frac{\mathrm{t}^{\alpha}}{(\mathrm{x}+\mathrm{t})^{2}} \mathrm{dt}\)\\
b) Justifier la relation : \(\forall \mathrm{x}>0, \mathrm{f}_{\alpha}^{\prime}(\mathrm{x})=\mathrm{f}_{\alpha}^{\prime}(1) \cdot \mathrm{x}^{\alpha-1}\). En déduire l'existence de c et d , réels ne dépendant que de \(\alpha\), tels que : \(\forall x>0, f_{\alpha}(x)=c \cdot x^{\alpha}+d\). Préciser le signe de \(c\).

\section*{Partie II: les matrices symétriques réelles}
On note \(\mathcal{S}_{\mathrm{n}}(\mathbb{R})\) le sous-espace vectoriel de \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\) constitué des matrices symétriques, c'est-à-dire \(\mathcal{S}_{\mathrm{n}}(\mathbb{R})=\left\{\mathrm{M} \in \mathcal{M}_{\mathrm{n}}(\mathbb{R}) /{ }^{\mathrm{t}} \mathrm{M}=\mathrm{M}\right\}\).\\
On dit qu'une matrice M de \(\mathcal{S}_{\mathrm{n}}(\mathbb{R})\) est définie positive si pour toute matrice colonne X de \(\mathcal{M}_{\mathrm{n}, 1}(\mathbb{R}),\left(\mathrm{X} \neq 0 \Rightarrow{ }^{\mathrm{t}} \mathrm{XMX}>0\right)\).\\
L'ensemble des matrices symétriques définies positives de \(\mathcal{S}_{\mathrm{n}}(\mathbb{R})\) sera noté \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\).\\
Enfin, lorsque A et B sont deux matrices symétriques vérifiant \(\mathrm{B}-\mathrm{A} \in \mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\), on dira que A est strictement plus petite que B et on le notera \(\mathrm{A}<\mathrm{B}\).\\
\(1^{\circ}\) ) Caractérisations des matrices définies positives.\\
a) Pour \(\mathrm{A} \in \mathcal{S}_{\mathrm{n}}(\mathbb{R})\), établir l'équivalence suivante : ( \(\mathrm{A} \in \mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R}) \Leftrightarrow\) toute valeur propre de A est strictement positive).\\
b) Lorsque \(\mathrm{A}=\left(\begin{array}{ll}\mathrm{a} & \mathrm{b} \\ \mathrm{b} & \mathrm{c}\end{array}\right)\) et \(\mathrm{X}=\binom{\mathrm{x}}{\mathrm{y}}\), vérifier l'égalité : \(\mathrm{a}^{\mathrm{t}} \mathrm{XAX}=(\mathrm{ax}+\mathrm{by})^{2}+\left(\mathrm{ac}-\mathrm{b}^{2}\right) \mathrm{y}^{2}\).

En déduire que : \(\left(\left(\begin{array}{ll}a & b \\ b & c\end{array}\right) \in \mathcal{S}_{2}^{++}(\mathbb{R}) \Leftrightarrow\left(a>0\right.\right.\) et \(\left.\left.a c-b^{2}>0\right)\right)\).\\
\(2{ }^{\circ}\) ) Exemples.\\
a) Soient \(\mathrm{A}=\left(\begin{array}{ll}2 & 1 \\ 1 & 1\end{array}\right)\) et \(\mathrm{B}=\left(\begin{array}{ll}4 & 0 \\ 0 & \frac{5}{3}\end{array}\right)\) :\\
vérifier que A et B appartiennent à \(\mathcal{S}_{2}^{++}(\mathbb{R})\) et montrer que \(\mathrm{A}<\mathrm{B}\). A-t-on \(\mathrm{A}^{2}<\mathrm{B}^{2}\) ?\\
b) Soit \(\mathrm{A} \in \mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\).\\
i) Montrer que A est inversible et que \(\mathrm{A}^{-1} \in \mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\).\\
ii) Pour tout \(\mathrm{X} \in \mathcal{M}_{\mathrm{n}, 1}(\mathbb{R})\), on définit l'application : \(\phi_{\mathrm{X}}^{\mathrm{A}}: \mathcal{M}_{\mathrm{n}, 1}(\mathbb{R}) \rightarrow \mathbb{R} ; \mathrm{Y} \mapsto 2^{\mathrm{t}} \mathrm{XY}-{ }^{\mathrm{t}} \mathrm{YAY}\)

Exprimer, pour tout \(H \in \mathcal{M}_{n, 1}(\mathbb{R}), \phi_{X}^{A}\left(A^{-1} X+H\right)-\phi_{X}^{A}\left(A^{-1} X\right)\) en fonction de \(H\) et \(A\).\\
En déduire que \(\phi_{\mathrm{X}}^{\mathrm{A}}\) admet en \(\mathrm{A}^{-1} \mathrm{X}\) un maximum qui vaut \({ }^{\mathrm{t}} \mathrm{XA}^{-1} \mathrm{X}\).\\
iii) On considère maintenant \(\mathrm{B} \in \mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\) vérifiant \(\mathrm{A}<\mathrm{B}\).

Montrer que pour tout X et tout Y matrices colonnes de \(\mathcal{M}_{\mathrm{n}, 1}(\mathbb{R}),\left(\mathrm{Y} \neq 0 \Rightarrow \phi_{\mathrm{X}}^{\mathrm{A}}(\mathrm{Y})>\phi_{\mathrm{X}}^{\mathrm{B}}(\mathrm{Y})\right)\).\\
En déduire que \(\mathrm{B}^{-1}<\mathrm{A}^{-1}\).

\section*{Partie III : monotonie sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\)}
Lorsque F est une application définie sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\) et à valeur dans \(\mathcal{S}_{\mathrm{n}}(\mathbb{R})\), on dit que F est strictement croissante sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\) si : pour tout A et tout B appartenant à \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R}),(\mathrm{A}<\mathrm{B} \Rightarrow \mathrm{F}(\mathrm{A})<\mathrm{F}(\mathrm{B}))\).\\
On dira de même que F est strictement décroissante sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\) lorsque - F est strictement croissante sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\).\\
Par exemple, la propriété vue au II-2-b-iii se traduit par la stricte décroissance de l'application \(\mathrm{F}: \mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R}) \rightarrow \mathcal{S}_{\mathrm{n}}(\mathbb{R}) ; \mathbf{M} \mapsto \mathbf{M}^{-1}\).\\
\(1^{\circ}\) ) Résultats préliminaires.\\
On désigne par A une matrice symétrique réelle dont l'ensemble des valeurs propres distinctes \(\left\{\lambda_{1}, \lambda_{2}, \ldots, \lambda_{\mathrm{p}}\right\}\) est classé dans l'ordre croissant.\\
On rappelle que : \(\mathcal{M}_{\mathrm{n}, 1}(\mathbb{R})=\underset{\mathrm{i}=1}{\stackrel{\mathrm{p}}{\oplus}} \mathrm{E}_{\lambda_{\mathrm{i}}}(\mathrm{A})\) où \(\mathrm{E}_{\lambda_{\mathrm{i}}}(\mathrm{A})=\operatorname{Ker}\left(\mathrm{A}-\lambda_{\mathrm{i}} \mathrm{I}_{\mathrm{n}}\right)\).\\
a) Justifier la relation \(A=\sum_{i=1}^{p} \lambda_{i} M_{i}\) où \(M_{i}\) est la matrice de la projection orthogonale sur \(E_{\lambda_{i}}(A)\) dans la base canonique de \(\mathcal{M}_{\mathrm{n}, 1}(\mathbb{R})\). Dans toute la suite du problème, une telle écriture s'appelle la décomposition de A .\\
b) Montrer que \(I_{n}=\sum_{i=1}^{p} M_{i}\).\\
c) Donner la décomposition de la matrice \(\mathrm{A}+\mathrm{tI}_{\mathrm{n}}\) lorsque t est réel.

Si A appartient à \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\) et admet la décomposition \(\mathrm{A}=\sum_{\mathrm{i}=1}^{\mathrm{p}} \lambda_{\mathrm{i}} \mathrm{M}_{\mathrm{i}}\), on définit, lorsque f est une application de \(\mathbb{R}_{+}^{*}\) dans \(\mathbb{R}\), la matrice \(\tilde{f}(A)=\sum_{i=1}^{p} f\left(\lambda_{i}\right) M_{i}\).\\
On peut ainsi considérer l'application \(\tilde{\mathrm{f}}\) définie sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\) et à valeurs dans \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\) par \(\tilde{\mathrm{f}}: \mathrm{A} \mapsto \tilde{\mathrm{f}}(\mathrm{A})\).\\
\(2^{\circ}\) ) a) Montrer que, pour tout A appartenant à \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R}), \tilde{\mathrm{f}}(\mathrm{A})\) appartient à \(\mathcal{S}_{\mathrm{n}}(\mathbb{R})\) et donner la décomposition de \(\tilde{\mathrm{f}}(\mathrm{A})\) lorsque f est strictement monotone.\\
b) Préciser \(\tilde{\mathrm{f}}\) lorsque que \(\mathrm{f}: \mathbb{R}_{+}^{*} \rightarrow \mathbb{R} ; \mathrm{x} \mapsto \frac{1}{\mathrm{x}}\).\\
c) Soient \(\mathbf{f}: \mathbb{R}_{+}^{*} \rightarrow \mathbb{R}\) et \(\mathbf{g}: \mathbb{R}_{+}^{*} \rightarrow \mathbb{R}_{+}^{*}\) deux applications strictement monotones. Montrer que : \(\widetilde{\mathbf{f} \circ \mathbf{g}}=\tilde{\mathbf{f}} \circ \tilde{\mathbf{g}}\).\\
d) Lorsque ( \(\mathrm{a}, \mathrm{b}, \mathrm{c}, \mathrm{d}\) ) appartient à \(\mathbb{R}^{4}\) avec \(\mathrm{c}>0, \mathrm{~d}>0\) et bc \(-\mathrm{ad} \neq 0\), on considère l'application \(\mathrm{h}: \mathbb{R}_{+}^{*} \rightarrow \mathbb{R} ; \mathrm{x} \mapsto \frac{\mathrm{ax}+\mathrm{b}}{\mathrm{cx}+\mathrm{d}}\). Après avoir vérifié que : \(\forall \mathrm{x}>0, \mathrm{~h}(\mathrm{x})=\frac{\mathrm{bc}-\mathrm{ad}}{\mathrm{c}(\mathrm{cx}+\mathrm{d})}+\frac{\mathrm{a}}{\mathrm{c}}\), montrer la stricte monotonie de \(\tilde{\mathrm{h}}\) sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\).

\section*{\(3^{\circ}\) ) Intégrales de matrices.}
Soit \(\mathrm{M}: \mathbb{R}_{+}^{*} \rightarrow \mathcal{M}_{\mathrm{n}}(\mathbb{R}) ; \mathrm{t} \mapsto\left(\mathrm{m}_{\mathrm{i}, \mathrm{j}}(\mathrm{t})\right)_{(\mathrm{i}, \mathrm{j}) \in \llbracket[\mathrm{i}, \mathrm{n}] \times[1, \mathrm{n}]}\) où \(\forall(\mathrm{i}, \mathrm{j}) \in \llbracket 1, \mathrm{n} \rrbracket \times \llbracket 1, \mathrm{n} \rrbracket, \mathrm{m}_{\mathrm{i}, \mathrm{j}}: \mathrm{t} \mapsto \mathrm{m}_{\mathrm{i}, \mathrm{j}}(\mathrm{t})\) est continue sur \(\mathbb{R}_{+}^{*}\).\\
Lorsque pour tout couple \((i, j) \in \llbracket 1, n \rrbracket \times \llbracket 1, n \rrbracket\), l'intégrale \(\int_{0}^{+\infty} m_{i, j}(t) d t\) converge, on dit que la matrice \(\left(\int_{0}^{+\infty} m_{i, j}(t) d t\right)_{(i, j) \in \llbracket[1, n] \times[1, n]}\) existe et on la note \(\int_{0}^{+\infty} \mathrm{M}(\mathrm{t}) \mathrm{dt}\).\\
a) Résultats préliminaires.\\
(i) Soient M et N telles que \(\int_{0}^{+\infty} \mathrm{M}(\mathrm{t}) \mathrm{dt}\) et \(\int_{0}^{+\infty} \mathrm{N}(\mathrm{t}) \mathrm{dt}\) existent.

Montrer que \(\int_{0}^{+\infty}(\mathrm{M}(\mathrm{t})+\mathrm{N}(\mathrm{t})) \mathrm{dt}\) existe et que : \(\int_{0}^{+\infty}(\mathrm{M}(\mathrm{t})+\mathrm{N}(\mathrm{t})) \mathrm{dt}=\int_{0}^{+\infty} \mathrm{M}(\mathrm{t}) \mathrm{dt}+\int_{0}^{+\infty} \mathrm{N}(\mathrm{t}) \mathrm{dt}\).

Dans le même ordre d'idée, on admettra les deux propriétés suivantes (ii) et (iii).\\
(ii) Soient \(A \in \mathcal{M}_{\mathrm{n}}(\mathbb{R})\) et h continue de \(\mathbb{R}_{+}^{*}\) dans \(\mathbb{R}\) telle que \(\int_{0}^{+\infty} \mathrm{h}(\mathrm{t}) \mathrm{dt}\) converge, et \(M: \mathbb{R}_{+}^{*} \rightarrow \mathcal{M}_{\mathrm{n}}(\mathbb{R}) ; \mathrm{t} \mapsto \mathrm{M}(\mathrm{t})=\mathrm{h}(\mathrm{t}) \mathrm{A}\), alors \(\int_{0}^{+\infty} \mathrm{M}(\mathrm{t}) \mathrm{dt}\) existe et \(\int_{0}^{+\infty} \mathrm{M}(\mathrm{t}) \mathrm{dt}=\left(\int_{0}^{+\infty} \mathrm{h}(\mathrm{t}) \mathrm{dt}\right) \mathrm{A}\).\\
(iii) Soient M telle que \(\int_{0}^{+\infty} \mathrm{M}(\mathrm{t}) \mathrm{dt}\) existe et X une matrice colonne de \(\mathcal{M}_{\mathrm{n}, 1}(\mathbb{R})\), alors \(\int_{0}^{+\infty} \mathrm{T} \mathrm{XM}(\mathrm{t}) \mathrm{Xdt}\) converge et \({ }^{\mathrm{t}} \mathrm{X}\left(\int_{0}^{+\infty} \mathrm{M}(\mathrm{t}) \mathrm{dt}\right) \mathrm{X}=\int_{0}^{+\infty} \mathrm{t} \mathrm{XM}(\mathrm{t}) \mathrm{Xdt}\).\\
b) On revient à l'application f définie sur \(\mathbb{R}_{+}^{*}\) par \(\forall x>0, f(x)=\int_{0}^{+\infty}\left(\frac{t}{1+t^{2}}-\frac{1}{x+t}\right) \varphi(t) d t\) où \(\varphi\) est une application définie et continue sur \(\mathbb{R}_{+}^{*}\) et à valeurs positives, telle que l'intégrale \(\int_{0}^{+\infty} \frac{\varphi(t)}{1+t^{2}} d t\) converge. (cf Partie I).\\
On suppose que \(\mathrm{A} \in \mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\) et admet la décomposition \(\mathrm{A}=\sum_{\mathrm{i}=1}^{\mathrm{p}} \lambda_{\mathrm{i}} \mathrm{M}_{\mathrm{i}}\).\\
i) Montrer que : \(\tilde{\mathrm{f}}(\mathrm{A})=\int_{0}^{+\infty} \varphi(\mathrm{t})\left(\frac{\mathrm{t}}{1+\mathrm{t}^{2}} \mathrm{I}_{\mathrm{n}}-\left(\mathrm{A}+\mathrm{tI}_{\mathrm{n}}\right)^{-1}\right) \mathrm{dt}\).\\
ii) Si \(\mathrm{B} \in \mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\) telle que \(\mathrm{A}<\mathrm{B}\), montrer que, pour toute matrice colonne X de \(\mathcal{M}_{\mathrm{n}, 1}(\mathbb{R})\), non-nulle, et tout \(\mathrm{t}>0\), on a :

\[
{ }^{\mathrm{t}} \mathrm{X}\left(\frac{\mathrm{t}}{1+\mathrm{t}^{2}} \mathrm{I}_{\mathrm{n}}-\left(\mathrm{A}+\mathrm{tI}_{\mathrm{n}}\right)^{-1}\right) \mathrm{X}<{ }^{\mathrm{t}} \mathrm{X}\left(\frac{\mathrm{t}}{1+\mathrm{t}^{2}} \mathrm{I}_{\mathrm{n}}-\left(\mathrm{B}+\mathrm{tI}_{\mathrm{n}}\right)^{-1}\right) \mathrm{X} .
\]

iii) En déduire que \(\tilde{\mathrm{f}}\) est strictement croissante sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\).\\
c) A l'aide des résultats de la Partie I , vérifier que \(\widetilde{\text { ln }}\) est strictement croissante sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\). Préciser le sens de variation de \(\tilde{\mathrm{p}}_{\alpha}\) associée à \(\mathrm{p}_{\alpha}: \mathbb{R}_{+}^{*} \rightarrow \mathbb{R} ; \mathrm{x} \mapsto \mathrm{x}^{\alpha}\) selon que \(\left.\alpha \in\right]-1,0[\) ou \(] 0,1[\).

\section*{Partie IV : monotonies comparées de f et \(\underline{\tilde{\mathrm{f}}}\)}
On revient aux notations introduites dans les parties précédentes.\\
\(1^{\circ}\) ) On désigne par f une application de \(\mathbb{R}_{+}^{*}\) à valeurs dans \(\mathbb{R}\). Montrer que, lorsque \(\tilde{\mathrm{f}}\) est strictement croissante sur \(\mathcal{S}_{\mathrm{n}}^{++}(\mathbb{R})\), f l'est aussi sur \(\mathbb{R}_{+}^{*}\).\\
\(2^{\circ}\) ) Pour \(t>0\), on définit les matrices : \(A(t)=\left(\begin{array}{cc}\frac{e^{t}+e^{-t}}{2} & \frac{e^{t}-e^{-t}}{2} \\ \frac{e^{t}-e^{-t}}{2} & \frac{e^{t}+e^{-t}}{2}\end{array}\right)\) et \(B(t)=\left(\begin{array}{cc}t^{3} & 0 \\ 0 & \frac{2}{e^{t}+e^{-t}}-t^{3}\end{array}\right)\).\\
a) Montrer que \(\mathrm{A}(\mathrm{t}) \in \mathcal{S}_{2}^{++}(\mathbb{R})\) et donner la décomposition de \(\mathrm{A}(\mathrm{t})\).\\
b) Montrer qu'il existe \(\eta_{0}>0\) tel que \(\left.\forall t \in\right] 0, \eta_{0}\left[, B(t) \in \mathcal{S}_{2}^{++}(\mathbb{R})\right.\). (on ne cherchera pas à déterminer une valeur, même approchée, de \(\eta_{0}\).)\\
c) Etablir de même qu'il existe \(\left.\eta_{1} \in\right] 0, \eta_{0}[\) tel que \(\forall t \in] 0, \eta_{1}[, B(t)<A(t)\).\\
d) Déterminer \(\tilde{p}_{\alpha}(A(t))\) et \(\tilde{p}_{\alpha}(B(t))\) pour tout réel t de \(] 0, \eta_{1}\left[\right.\) lorsque \(p_{\alpha}\) est l'application de \(\mathbb{R}_{+}^{*}\) dans \(\mathbb{R}: x \mapsto x^{\alpha}\).\\
e) Lorsque \(\alpha>1\), déterminer un équivalent en \(0^{+}\)de la quantité \(\left(\frac{e^{\alpha t}+e^{-\alpha t}}{2}-t^{3 \alpha}\right)\left(\frac{e^{\alpha t}+e^{-\alpha t}}{2}-\left(\frac{2}{e^{t}+e^{-t}}-t^{3}\right)^{\alpha}\right)-\left(\frac{e^{\alpha t}-e^{-\alpha t}}{2}\right)^{2}\).\\
f) En déduire que, pour \(\alpha>1, \tilde{p}_{\alpha}\) n'est pas strictement croissante sur \(\mathcal{S}_{2}^{++}(\mathbb{R})\).\\
\(3^{\circ}\) ) Démontrer que la propriété énoncée en IV-1 n'admet pas de réciproque dès que \(n \geq 2\).


\end{document}