Réduction de Jordan

La réduction de Jordan est la traduction matricielle de la réduction des endomorphismes introduite par Camille Jordan. Cette réduction est tellement employée, en particulier en analyse pour la résolution d'équations différentielles ou pour déterminer le terme général de certaines suites récurrentes, qu'on la nomme parfois « jordanisation des endomorphismes ».

Elle consiste à exprimer la matrice d'un endomorphisme dans une base, dite base de Jordan, où l'expression de l'endomorphisme est réduite. La réduction consiste à déterminer une décomposition de Dunford, c'est-à-dire à trouver un endomorphisme diagonalisable et un endomorphisme nilpotent tels que les deux commutent et que leur somme soit égale à l'endomorphisme initial puis, sur chaque sous-espace caractéristique, on effectue une réduction de Jordan. Cette dernière est un cas particulier de la décomposition de Frobenius dans le cadre spécifique d'un endomorphisme nilpotent.

Construction de la base de Jordan

Soit $u$ un endomorphisme d'un espace vectoriel $E$ (sur un corps $K$ ) dont le polynôme minimal est scindé. $u$ possède alors les propriétés suivantes :

$E$ est la somme directe des sous-espaces caractéristiques de $u$ . Le sous-espace caractéristique associé à la valeur propre $λ$ est noté ici $E λ$ .
La restriction de $u$ à $E λ$ est la somme d'une homothétie de rapport $λ$ et d'un endomorphisme nilpotent noté $n λ$ .

Ces résultats sont démontrés dans l'article « Décomposition de Dunford ».

Pour chaque $λ$ , il existe une base $(e λ,1, e λ,2, \dots , e λ, p λ)$ de $E λ$ telle que $n λ (e λ,1) = 0$ et pour $j = 2, \dots , p λ$ , $n λ (e λ, j)$ est nul ou égal à $e λ, j -1$ .

Ce résultat est démontré dans l'article « Endomorphisme nilpotent ».

Blocs de Jordan

On appelle bloc de Jordan une matrice carrée de taille $k$ (à coefficients dans le corps $K$ ) de la forme[1] :

J_{k}(\lambda )={\begin{pmatrix}\lambda &1&&&&\\&\lambda &1&&(0)&\\&&\ddots &\ddots &&\\&&&\ddots &\ddots &\\&(0)&&&\lambda &1\\&&&&&\lambda \\\end{pmatrix}}.

Cette matrice est nilpotente si et seulement si $λ$ est nul.

Jordanisation d'un endomorphisme dans un corps algébriquement clos

On considère un endomorphisme d'un espace vectoriel de dimension finie, de polynôme caractéristique scindé. Le théorème de Jordan nous informe qu'il admet une représentation matricielle diagonale par blocs de la forme[2] :

{\begin{pmatrix}J_{k_{1}}(\lambda _{1})&&&&\\&J_{k_{2}}(\lambda _{2})&&&\\&&\ddots &&\\&&&\ddots &\\&&&&J_{k_{r}}(\lambda _{r})\\\end{pmatrix}}

où les scalaires $λ i$ sont les valeurs propres de l'endomorphisme considéré.

Ainsi sur un corps algébriquement clos comme le corps ℂ, tout endomorphisme admet une décomposition de ce type.

Attention : il n'y a pas « a priori » un bloc de Jordan pour chaque valeur propre, plusieurs $λ i$ peuvent avoir la même valeur.

Propriétés des blocs

Prenons un endomorphisme $u$ admettant une telle représentation. On étudie une valeur propre particulière $λ$ de l'endomorphisme u. On regroupe les vecteurs associés aux blocs $J k (λ)$ . Ils forment le sous-espace caractéristique $E λ$ . C'est un sous-espace stable sur lequel $u - λId$ induit un endomorphisme nilpotent $n λ$ .

La multiplicité algébrique de $λ$ (multiplicité dans le polynôme caractéristique) est égale à la dimension de $E λ$ , ou encore à la somme des tailles des blocs $J k (λ)$ .
La multiplicité de $λ$ dans le polynôme minimal est égale à l'indice de nilpotence de l'endomorphisme $n λ$ , ou encore à la taille du plus grand des blocs $J k (λ)$ .
La multiplicité géométrique de $λ$ (dimension du sous-espace propre associé) est égale au nombre des blocs $J k (λ)$ .

Application aux classes de similitude des matrices

Sur un corps $K$ algébriquement clos, deux matrices sont semblables si et seulement si elles ont la même écriture en blocs de Jordan, à l'ordre près des blocs.

Si $K$ n'est pas algébriquement clos, il suffit de considérer une extension $L$ de $K$ algébriquement close. En effet, deux matrices sont semblables sur $K$ si et seulement si elles sont semblables sur $L$ , et donc on peut généraliser le paragraphe précédent.

Réduction de Jordan et systèmes différentiels

Un système d'équations différentielles linéaires en $y$ peut se réduire à une équation différentielle matricielle d'ordre 1 : $u' (t) = Au (t)$ et la condition initiale $u (0) = u 0$ , où $u (t)$ est un vecteur colonne contenant les dérivées successives de $y$ . La résolution est alors explicite lorsque le système d'équations différentielles est à coefficients constants : $u (t) = exp (tA) u 0$ . L'avantage de la forme normale de Jordan réside dans la facilité de calculs des puissances des matrices des blocs de Jordan. En effet, l'exponentielle d'un bloc de Jordan de taille $p$ est

\exp {(tJ_{\lambda })}=\exp {(t\lambda )}{\begin{pmatrix}1&t&{\frac {t^{2}}{2}}&\cdots &{\frac {t^{p-1}}{(p-1)!}}\\0&\ddots &\ddots &\ddots &\vdots \\\vdots &\ddots &\ddots &t&{\frac {t^{2}}{2}}\\\vdots &0&\ddots &\ddots &t\\0&\cdots &\cdots &0&1\\\end{pmatrix}}.

On voit de cette manière l'intérêt calculatoire de cette méthode.

Notes et références

(en) David Betounes, Differential Equations: Theory and Applications, Springer, 2009 (lire en ligne), p. 210
Voir l'exemple du chapitre « Réductions de Dunford, Jordan et Frobenius » et les exercices corrigés de ce chapitre sur Wikiversité..

Voir aussi

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] (en) David Betounes, Differential Equations: Theory and Applications, Springer, 2009 (lire en ligne), p. 210

[2] Voir l'exemple du chapitre « Réductions de Dunford, Jordan et Frobenius » et les exercices corrigés de ce chapitre sur Wikiversité..