En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : Réductions de Dunford, Jordan et Frobenius
Réduction des endomorphismes/Exercices/Réductions de Dunford, Jordan et Frobenius », n'a pu être restituée correctement ci-dessus.
Montrer qu'un endomorphisme de rang 1 est nilpotent ou diagonalisable.
Soient
tels que
et
telle que
. Démontrer que
.
Soit
nilpotente qui commute avec sa transposée. Montrer que
.
Solution
est symétrique réelle donc diagonalisable. Or elle est nilpotente car
.
Par conséquent, elle est nulle donc
, autrement dit :
.
Montrer que deux matrices réelles semblables dans
le sont également dans
.
Soit
. Montrer que
et
sont semblables et que
et
sont semblables.
Solution
Dans les deux cas, d'après l'exercice précédent, il suffit de démontrer l'énoncé analogue pour les matrices complexes. On peut alors se ramener au cas où
est un bloc de Jordan et conclure par le calcul.
Soit

.
Déterminer sa forme de Jordan et une matrice de passage.
Solution
5 est valeur propre et le premier vecteur — que nous noterons
— de la base de définition de la matrice possède pour polynôme conducteur
.
La famille suivante forme donc une base de Jordan :

.
Nous avons ainsi choisi une matrice de passage :

et la matrice de Jordan est :

.
Pour la matrice

,
déterminer une forme de Jordan et une matrice de passage.
En déduire les solutions de la récurrence linéaire

et celles de l'équation différentielle linéaire

.
Solution
Les valeurs propres de
sont 1, 2 et μ.
Si μ est différent de 1 et de 2, la matrice de Jordan est (à permutation près des trois valeurs propres) de la forme :

avec comme matrice de passage :

.
Si μ = 1, la matrice de Jordan est (à permutation près des deux blocs) de la forme :

avec comme matrice de passage :

.
Si μ = 2, la matrice de Jordan est (à permutation près des deux blocs) de la forme :

avec comme matrice de passage :

.
La solution générale de la récurrence linéaire est :
- si μ est différent de 1 et de 2 :
;
- si μ = 1 :
;
- si μ = 2 :
.
La solution générale de l'équation différentielle est :
- si μ est différent de 1 et de 2 :
;
- si μ = 1 :
;
- si μ = 2 :
.
Pour la matrice

,
déterminer une forme de Jordan et une matrice de passage.
Solution
Les valeurs propres de
sont 4, 4, 2 et 1. De plus, on remarque que :

Nous en déduisons que la matrice de Jordan sera (à permutation près des trois blocs) de la forme :

.
Nous remarquons que le vecteur
a pour image par la matrice
:
. Ces deux vecteurs colonnes engendrent l'espace caractéristique de valeur propre 4.
On en déduit

Nous en déduisons une matrice de passage
telle que
:

Soit
une matrice nilpotente. Démontrer que pour tout complexe
non nul,
est semblable à
.
Solution
On se ramène facilement (par similarité et somme directe) au cas où la matrice nilpotente
est un bloc de Jordan
. On a alors, en notant
la base canonique de
:

donc, en posant
pour tout
de
à
:
.
Soit
.
- On suppose qu'il existe un polynôme
à coefficients dans
et un entier naturel
tels que pour tout
,
. Montrer qu'alors, les seules valeurs propres possibles pour
sont
et
.
- Montrer que réciproquement, si
n'a pas d'autres valeurs propres que
et
, alors
est polynomiale en
pour
.
- Soient
des polynômes à coefficients dans
,
un entier naturel et
des complexes non nuls tels que pour tout
,
. Montrer que si
est inversible, cette égalité se généralise à tout entier relatif
.
Solution
- Soient
une valeur propre de
et
un vecteur propre associé. Pour
,
donc
coïncide avec un polynôme en
, ce qui n'est possible que si
ou
(cf. Polynôme/Exercices/Arithmétique des polynômes#Exercice 3-19).
- On se ramène facilement au cas où
est un bloc de Jordan
. Pour tout
,
et pour tout
,
, en particulier
.
- Sans perte de généralité, les
sont distincts. Pour tout
,
. On en déduit alors que pour tout
de
à
,
(cf. à nouveau Polynôme/Exercices/Arithmétique des polynômes#Exercice 3-19). Par conséquent, pour tout
, si
alors
donc (en multipliant à gauche par
)
. On conclut par récurrence descendante.
Pour tout
, soit
l'endomorphisme de
défini par
.
- Montrer que si
est diagonalisable alors
aussi. On pourra commencer par le cas où
est diagonale.
- Soient
un espace vectoriel de dimension
sur
et
une base de
(donc
). Montrer que pour tout vecteur
non nul,
engendre
. En déduire la réciproque de 1.
- Montrer que si
est nilpotente alors
aussi (pour un exemple, voir 5).
- Quelle est la décomposition de Dunford de
en fonction de celle de
?
- Soit
. Étudier les éléments propres de
. Trouver une base de
dans laquelle la matrice de
est
.
Solution
- Soit
une matrice diagonale de valeurs propres (non nécessairement distinctes)
, alors la base canonique de
est propre pour
:
.
Si
alors
donc les
forment une base propre pour
(pour les mêmes valeurs propres).
- Pour tout
, soient
l'un des (nombreux) éléments de
tels que
, et
tels que
, alors
. Donc les
engendrent
. Si
est diagonalisable, appliquons ceci à
une base propre pour
(de valeurs propres associées
) et
un vecteur propre pour
, pour une valeur propre
(il en existe toujours).
est diagonalisable car les vecteurs
, qui engendrent
, sont tous propres pour
:
.
Remarque : sur
le résultat reste vrai car si
est diagonalisable sur
donc sur
, donc (d'après ce qui précède)
est diagonalisable sur
, et ses valeurs propres vérifient
donc
avec
, d'où
donc
donc
, en particulier
admet au moins une valeur propre réelle, ce qui suffit pour refaire le raisonnement ci-desus. Par contre on trouve facilement des contre-exemples en caractéristique
, le plus simple étant
,
.
(par récurrence) donc si
alors
.
- On vérifie facilement que
, et que si
commutent alors
aussi. D'après 1 et 3, si
est la décomposition de Dunford de
, celle de
(unique) est donc
.
donc (cf. 3)
, donc
est la seule valeur propre de
.
donc le noyau
a pour équations
et
et
a pour équation
. Soient
,
,
(donc
est un vecteur non nul de
), et
tel que
forme une base de
. Alors
répond à la question. Par exemple
, d'où
, d'où
, et
.
Soit
l'endomorphisme de
dont la matrice dans la base canonique est
.
On pose
,
,
.
- Calculer
puis
. En déduire que
et
.
- Vérifier que
et que
est libre.
- Déterminer
et un vecteur
propre pour la valeur propre
.
- Déterminer
tel que
.
- En déduire (sans calculs) que
est une base de
, puis déterminer la matrice
de
dans cette base. Effectuer une décomposition de Dunford de
. En déduire
pour
, et
.
- Préciser le polynôme caractéristique et le polynôme minimal et retrouver ainsi
.
- Préciser les sous-espaces
.
Solution
,
, d'où
et
donc
.
.
est nul si et seulement si
donc
est libre.
avec
.
- Une solution évidente est
.
- D'après b,
est libre. Comme
et
,
est donc libre. De même,
est libre. Enfin,
et
or ces deux sous-espaces sont d'intersection nulle. Donc
est libre, donc est une base de
.
pour
et
avec
,
.
donc
, et
.
- Vue la matrice
, le polynôme caractéristique est
et le polynôme minimal est
et
est inversible. En particulier,
donc
avec
donc
donc on retrouve
.
- Vue la matrice
,
,
,
.
Soit
un endomorphisme de
non diagonalisable, non nilpotent, de rang 2.
- Montrer que le sous-espace caractéristique associé à la valeur propre 0 est soit
, soit
.
- Montrer que
admet exactement deux sous-espaces caractéristiques.
- Soit
une base de Dunford pour
telle que
. Quelles sont les formes possibles de la matrice de
dans
?
Soit
.
- On suppose dans cette question que la suite
tend vers
. Montrer que les valeurs propres de
sont de module
.
- Si
n'a qu'une valeur propre
, montrer que la matrice
est nilpotente. Expliciter
avec les coefficients du binôme et en déduire que si
alors la suite
tend vers
.
- Si toutes les valeurs propres de
sont de module
, montrer que la suite
tend vers
(méthode : introduire une base de Dunford pour
et appliquer la question précédente).
Solution
- Si
est une valeur propre de
, soit
un vecteur propre associé.
et
, d'où
, ce qui n'est possible que si
.
- Sans perte de généralité, on peut supposer
triangulaire. Alors,
est triangulaire supérieure de diagonale nulle donc
, donc
, où les coefficients de la matrice
sont des polynômes en
. Donc si
,
(le cas particulier
peut être réglé directement à part).
- Sans perte de généralité,
, où chaque bloc
n'a qu'une valeur propre
. D'après la question précédente, si tous les
sont
, tous les
tendent vers 0, d'où
.