Soit et .
On considère la matrice définie par la structure de blocs suivante :
Déterminer le spectre de , noté , en fonction du spectre de .
Commencer par exprimer le polynôme caractéristique de , noté , en utilisant un calcul de déterminant par blocs.
Utiliser la propriété suivante : si et si commute avec , alors .
Factoriser le polynôme en de la forme pour relier les racines de aux valeurs propres de .
Utilisation du déterminant par blocs avec commutation.
Relation entre le polynôme caractéristique d'une fonction d'une matrice et ses valeurs propres.
Factorisation de polynômes du second degré.
1. Expression du polynôme caractéristique de .
Soit . Par définition, le polynôme caractéristique de est :
On observe que le bloc commute avec le bloc car toute matrice scalaire commute avec n'importe quelle matrice carrée de même taille.
D'après le lemme sur le déterminant d'une matrice par blocs dont les deux blocs de gauche commutent, on a :
En développant l'expression à l'intérieur du déterminant, on obtient :
2. Lien avec le spectre de .
Notons . Alors l'expression précédente s'écrit :
Pour une valeur de fixée, les valeurs propres de la matrice sont de la forme où .
Ainsi, le déterminant de , qui est le produit de ses valeurs propres (comptées avec multiplicité), s'exprime par :
Une valeur appartient au spectre de si et seulement si elle est racine de ce produit, donc s'il existe tel que :
3. Résolution de l'équation quadratique.
Considérons l'équation d'inconnue . Le discriminant réduit est :
Les solutions sont donc :
Conclusion :
Le spectre de est constitué de l'ensemble des valeurs obtenues en multipliant chaque valeur propre de par et par .
Attention à ne pas utiliser la formule si les blocs ne commutent pas. Ici, la présence de rend la commutation triviale, mais ce n'est pas le cas pour des blocs quelconques.