L'objectif de cet exercice est d'étudier la diagonalisabilité dans de trois matrices aux structures variées. Pour chacune des matrices suivantes, déterminer son spectre, les dimensions de ses sous-espaces propres, puis conclure sur sa diagonalisabilité :
Pour chaque matrice, commencez par calculer le polynôme caractéristique .
Rappel : une matrice est diagonalisable si et seulement si son polynôme caractéristique est scindé et si, pour chaque valeur propre , la multiplicité algébrique est égale à la dimension du sous-espace propre .
Pour la matrice , qui est tridiagonale, vous pouvez chercher une relation de récurrence ou utiliser des propriétés de symétrie pour simplifier le calcul du déterminant.
Calcul du polynôme caractéristique par opérations élémentaires.
Lien entre multiplicité algébrique et dimension géométrique.
Critère de diagonalisabilité pour les matrices à spectre non simple.
1. Étude de la matrice
Calculons le polynôme caractéristique de :
En effectuant l'opération et , on obtient :
En factorisant dans la dernière ligne, puis en faisant :
On en déduit :
Le spectre de est . La valeur propre est de multiplicité algébrique . Cherchons la dimension de :
L'équation donne le système :
\begin{align*}
\begin{cases} x - y - z = 0
2x - 2z = 0
3x - y - 3z = 0 \end{cases}
&\iff \begin{cases} x = z
y = 0 \end{cases}
\end{align*}
Ainsi . On a , alors que .
\vspace{0.5cm} 2. Étude de la matrice
Calculons :
En faisant :
Après calcul complet du déterminant (ou par observation des racines évidentes) :
Le spectre est réduit à . Si était diagonalisable, elle serait semblable à l'identité, donc égale à . Or .
\vspace{0.5cm} 3. Étude de la matrice
Calculons en développant selon la première ligne :
Le premier bloc vaut . Le second bloc vaut . On obtient :
On pose . L'équation a pour racines et . Les racines de sont donc .
Le polynôme caractéristique possède 4 racines distinctes en dimension 4.
Attention à ne pas conclure trop vite sur la non-diagonalisabilité d'une matrice dès que vous voyez une racine double. Il faut impérativement vérifier la dimension du sous-espace propre associé. Pour , l'argument est très efficace pour une valeur propre unique.