Les calculatrices sont interdites
N.B. : Le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction.
Si un candidat est amené à repérer ce qui peut lui sembler être une erreur d'énoncé, il le signalera sur sa copie et devra poursuivre sa composition en expliquant les raisons des initiatives qu'il a été amené à prendre.
Notations et objectifs
Dans tout ce problème est un entier naturel supérieur ou égal à 2 et est un espace vectoriel de dimension finie sur le corps des nombres réels. désigne l'algèbre des endomorphismes de et l'ensemble des endomorphismes de qui sont bijectifs.
On note 0 l'endomorphisme nul et id l'application identité.
Pour tout endomorphisme , et désigneront respectivement le noyau et l'image de .
L'ensemble des valeurs propres de sera noté et on notera :
désigne l'espace des polynômes à coefficients réels.
Étant donné et donné par on définit par :
où id et pour .
Si désignent endomorphismes de alors désignera l'endomorphisme .
Pour tout entier non nul, désigne l'espace des matrices carrées à lignes et colonnes à coefficients dans . est la matrice identité de .
L'objectif du problème est d'étudier des conditions nécessaires ou suffisantes à l'existence de racines carrées d'un endomorphisme et de décrire dans certains cas l'ensemble .
PARTIE I
A) On désigne par l'endomorphisme de dont la matrice dans la base canonique est donnée par :
Montrer que est diagonalisable.
Déterminer une base ( ) de formée de vecteurs propres de et donner la matrice de dans cette nouvelle base.
Soit la matrice de passage de la base canonique à la base ( ). Soit un entier . Sans calculer l'inverse de , exprimer en fonction de et .
Calculer , puis déterminer la matrice de dans la base canonique.
Déterminer toutes les matrices de qui commutent avec la matrice trouvée à la question 2).
Montrer que si vérifie , alors et commutent.
Déduire de ce qui précède toutes les matrices de vérifiant , puis déterminer tous les endomorphismes de vérifiant en donnant leur matrice dans la base canonique.
B) Soient et les endomorphismes de dont les matrices respectives et dans la base canonique sont données par :
Calculer pour tout entier .
En déduire que pour tout . Cette relation est-elle encore valable pour ?
Montrer que admet deux valeurs propres distinctes et telles que .
Montrer qu'il existe un unique couple ( ) d'endomorphismes de tel que pour tout entier et montrer que ces endomorphismes et sont linéairement indépendants.
Après avoir calculé et , trouver tous les endomorphismes , combinaisons linéaires de et qui vérifient .
Montrer que est diagonalisable et trouver une base de vecteurs propres de . Écrire la matrice de , puis la matrice de et de dans cette nouvelle base.
Déterminer une matrice de non diagonale telle que , puis une matrice de non diagonale telle que .
En déduire qu'il existe un endomorphisme de vérifiant qui n'est pas combinaison linéaire de et .
Montrer que tous les endomorphismes de vérifiant sont diagonalisables.
PARTIE II
Soit un endomorphisme de . On suppose qu'il existe et deux endomorphismes non nuls et de tels que :
Calculer . En déduire que est diagonalisable.
Montrer que et sont valeurs propres de et qu'il n'y en a pas d'autres.
Déduire de la relation trouvée dans la question 1) que puis montrer que et .
On suppose jusqu'à la fin de cette partie que .
Montrer que est un isomorphisme et écrire comme combinaison linéaire de et .
5) Montrer que pour tout :
Soit le sous-espace de engendré par et . Déterminer la dimension de .
On suppose dans la suite de cette partie que et sont strictement positifs. Déterminer .
Soit un entier supérieur ou égal à 2 . Déterminer une matrice de non diagonale et vérifiant .
Montrer que si l'ordre de multiplicité de la valeur propre est supérieur ou égal à 2, alors il existe un endomorphisme tel que et .
En déduire que si , alors .
PARTIE III
Soient endomorphismes non nuls de et nombres réels distincts. Soit un endomorphisme de vérifiant pour tout entier :
Montrer que pour tout , on a :
En déduire que , puis que est diagonalisable.
Pour tout entier tel que , on considère le polynôme :
Montrer que pour tout entier , tel que , on a . En déduire que , puis que le spectre de est :
Vérifier que pour tout couple d'entiers ( ) tels que , on a :
Justifier le fait que la somme est directe et égale à et que les projecteurs associés à cette décomposition de sont les .
Soit le sous-espace vectoriel de engendré par . Déterminer la dimension de .
Déterminer dans le cas où sont des réels positifs ou nuls.
Dans cette question, on suppose de plus que .
8.1) Préciser alors la dimension des sous-espaces propres de .
8.2) Montrer que si , tout vecteur propre de est également vecteur propre de .
8.3) En déduire que et donner une condition nécessaire et suffisante sur les pour que soit non vide.
Montrer que si et si tous les sont positifs ou nuls, alors .
PARTIE IV
A) Soit un endomorphisme non nul de tel qu'il existe un entier tel que et .
Montrer qu'il existe non nul tel que la famille ( ) est libre. En déduire que et que .
Montrer que si alors .
Déterminer les réels tels que au voisinage de 0 . Dans la suite, désigne le polynôme défini par .
Montrer qu'il existe une fonction bornée au voisinage de 0 telle que l'on ait . En déduire que divise .
Montrer alors que . Plus généralement, montrer que pour tout réel, , puis que pour tout réel strictement positif, .
B) 1) Soit une matrice triangulaire supérieure de dont tous les coefficients diagonaux sont égaux à un réel .
Montrer que .
2) On suppose dans toute la suite que est un endomorphisme de dont le polynôme caractéristique est scindé et qui n'admet qu'une seule valeur propre . Déduire de la question précédente que .
3) Montrer que si alors .
Fin de l'énoncé
CCINP Mathématiques 1 PC 2010 - Version Web LaTeX | WikiPrépa | WikiPrépa