Soit et . On s'intéresse à la diagonalisabilité dans des deux matrices définies par blocs suivantes :
Déterminer, pour chacune de ces deux matrices, une condition nécessaire et suffisante portant sur pour qu'elle soit diagonalisable.
Remarquer que les matrices proposées peuvent s'écrire sous la forme d'un produit de blocs impliquant une matrice et la matrice .
Pour , étudier la réduction de la matrice . Utiliser un changement de base par blocs pour se ramener à une matrice diagonale par blocs.
Pour , étudier la réduction de . Si n'est pas diagonalisable, utiliser sa forme réduite pour simplifier la structure de .
Utiliser le fait qu'une matrice de la forme est diagonalisable si et seulement si et est diagonalisable.
Réduction d'une matrice définie par blocs "homogènes".
Utilisation du produit de Kronecker (implicitement) via des matrices de passage de la forme .
Propriété : une matrice bloc-triangulaire avec des blocs diagonaux identiques n'est diagonalisable que si le bloc supérieur est nul (sous condition de diagonalisabilité du bloc diagonal).
1. Étude de la matrice .
On remarque que peut s'écrire comme une matrice par blocs associée à .
Calculons le polynôme caractéristique de :
Le discriminant de ce trinôme est .
possède donc deux valeurs propres réelles distinctes :
Par conséquent, est diagonalisable dans .
Il existe telle que .
Considérons alors la matrice de passage par blocs .
Cette matrice est inversible (son inverse est la matrice bloc associée à ). Par un calcul de produit par blocs, on vérifie que :
La matrice est diagonalisable si et seulement si l'est.
Une telle matrice diagonale par blocs est diagonalisable si et seulement si chaque bloc diagonal et est diagonalisable.
Comme et , la diagonalisabilité de équivaut à celle de .
2. Étude de la matrice .
On pose . Calculons son polynôme caractéristique :
La seule valeur propre de est .
Si était diagonalisable, on aurait , ce qui est faux. n'est donc pas diagonalisable.
Cependant, est semblable à une matrice de la forme .
Il existe telle que .
En utilisant la même construction de matrice par blocs que précédemment, on obtient :
Notons .
Si est diagonalisable, alors l'est aussi. Il existe donc un polynôme scindé à racines simples tel que .
Or, par un calcul par blocs immédiat :
Pour que , il faut que . Cela implique que (et donc ) est diagonalisable.
Si est diagonalisable, soit avec .
La matrice est alors semblable à une matrice composée de blocs de taille sur la diagonale de la forme :
La matrice est diagonalisable si et seulement si chaque bloc est diagonalisable.
Pour un bloc , la seule valeur propre est .
est diagonalisable si et seulement si , ce qui impose .
Ceci doit être vrai pour tout , donc tous les sont nuls, ce qui signifie que .
Réciproquement, si , alors , qui est trivialement diagonalisable.
Pour , on pourrait être tenté de dire que si est diagonalisable, alors l'est. C'est faux car la matrice structurelle n'est pas diagonalisable. L'existence d'un bloc "non-diagonal" au-dessus des blocs empêche la diagonalisation sauf si ce bloc s'annule.