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 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. 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 Modèle:Math un endomorphisme d'un espace vectoriel Modèle:Math (sur un corps Modèle:Math) dont le polynôme minimal est scindé. Modèle:Math possède alors les propriétés suivantes :

• Modèle:Math est la somme directe des sous-espaces caractéristiques de Modèle:Math. Le sous-espace caractéristique associé à la valeur propre Modèle:Math est noté ici Modèle:Math.
• La restriction de Modèle:Math à Modèle:Math est la somme d'une homothétie de rapport Modèle:Math et d'un endomorphisme nilpotent noté Modèle:Math.

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

• Pour chaque Modèle:Math, il existe une base Modèle:Math de Modèle:Math telle que Modèle:Math et pour Modèle:Math, Modèle:Math est nul ou égal à Modèle:Math.

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

Blocs de Jordan

On appelle bloc de Jordan de paramètre $\lambda$ et d'échelon $k$, toute matrice (à coefficients dans le corps Modèle:Math) de la forme :

$J_k(\lambda )=\left(\begin{array}{cccccc}\lambda & 1& & & & \\ & \lambda & 1& & (0)& \\ & & \ddots & \ddots & & \\ & & & \ddots & \ddots & \\ & (0)& & & \lambda & 1\\ & & & & & \lambda \end{array}\right).$

Cette matrice est nilpotente si et seulement si Modèle:Math 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-Hölder nous informe qu'il admet une représentation matricielle diagonale par blocs de la forme :

$\left(\begin{array}{ccccc}{J}_{k_1}({\lambda }_1)& & & & \\ & J_{k_2}({\lambda }_2)& & & \\ & & \ddots & & \\ & & & \ddots & \\ & & & & J_{k_r}({\lambda }_r)\end{array}\right)$

où les scalaires Modèle:Math 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 Modèle:Citation un bloc de Jordan pour chaque valeur propre, plusieurs Modèle:Math peuvent avoir la même valeur.

Propriétés des blocs

Prenons un endomorphisme Modèle:Math admettant une telle représentation. On étudie une valeur propre particulière Modèle:Math de l'endomorphisme u. On regroupe les vecteurs associés aux blocs Modèle:Math. Ils forment le sous-espace caractéristique Modèle:Math. C'est un sous-espace stable sur lequel Modèle:Math induit un endomorphisme nilpotent Modèle:Math.

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

Application aux classes de similitude des matrices

Sur un corps Modèle:Math 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 Modèle:Math n'est pas algébriquement clos, il suffit de considérer une extension Modèle:Math de Modèle:Math algébriquement close (l'existence étant garantie par le théorème de Steinitz). En effet, deux matrices sont semblables sur Modèle:Math si et seulement si elles sont semblables sur Modèle:Math, et donc on peut généraliser le paragraphe précédent.

Tableaux de Young

Notations

Soient $K$ un corps, $E$ un $K$-espace vectoriel de dimension finie $n\in {\mathbb{N}}^{*}$ et $f\in {\mathrm{E}\mathrm{n}\mathrm{d}}_K(E)$ un endomorphisme $K$-linéaire de $E$. On suppose qu'il existe un entier $d$ tel que $f$ soit nilpotent d'échelon $d$. Pour tout entier $k\in \mathbb{N}$, on note $n_k=\dim \mathrm{K}\mathrm{e}\mathrm{r}{f}^k$.

Réduction

Le théorème de réduction de Frobenius affirme alors qu'il existe un entier $m\in {\mathbb{N}}^{*}$, des entiers strictement positifs $(r_j{)}_{1\le j\le m}$ et des sous-espaces $(E_j{)}_{1\le j\le m}$ tels que :

1. $E=\underset{j=1}{\overset{m}{⨁}}{E}_j$ ;
2. pour tout $1\le j\le m$, le sous-espace $E_j$ est stable par $f$ ;
3. pour tout $1\le j\le m-1$, $r_j\ge r_{j+1}$ ;
4. le sous-espace $(E_j,f_{|E_j})$ est cyclique de polynôme minimal $X^{r_j}$.

Tableaux de Young

Exemple du tableau de Young d'une réduction de Jordan de paramètres $m=3$ et $(r_1,r_2,r_3)=(4,3,1)$.

On définit alors le tableau de Young de $(E,f)$ comme le tableau constitué de $m$ lignes alignées sur la gauche et tel que la $j$-ième ligne comporte $r_j$ cases.

On peut montrer que le nombre d'étoiles sur la colonne $i$ donne le nombre de blocs de Jordan de la réduction dont la taille est supérieure ou égale à $i$.

On peut également montrer que quel que soit l'entier $1\le i\le r_1$, la hauteur de la colonne $i$ est donnée par la formule $h_i=n_i-n_{i-1}$. Noter à ce sujet que l'on a, pour tout $1\le i\le m$, $n_i=\dim \mathrm{K}\mathrm{e}\mathrm{r}{f}^i=\sum _{k=1}^m\min (i,r_k)$.

Illustration de la méthode à appliquer pour passer du tableau de Young d'une matrice $A$ à celui d'une de ses puissances. Ici, on passe du tableau de Young d'une matrice $A$ dont la réduction de Jordan est de paramètres $m=3$ et $(r_1,r_2,r_3)=(4,3,1)$ à celui de $A^2$.

Les tableaux de Young permettent par exemple d'obtenir les invariants de similitude d'une matrice donnée $A$ ou bien de connaître instantanément la réduction de Jordan de $A^n$. Pour ce faire, il suffit de mettre bouts à bouts les colonnes de $1$ à $n$ du tableau de Young de $A$ puis de réitérer l'opération en concaténant les $n$ colonnes suivantes et ainsi de suite. Bien entendu, lorsqu'il ne reste plus suffisamment de colonnes, il suffit de considérer des colonnes vides.

L'opération inverse est envisageable mais est beaucoup plus délicate pour des entiers $n\ge 3$.

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

Un système d'équations différentielles linéaires en Modèle:Math peut se réduire à une équation différentielle matricielle d'ordre 1 : Modèle:Math et la condition initiale Modèle:Math, où Modèle:Math est un vecteur colonne contenant les dérivées successives de Modèle:Math. La résolution est alors explicite lorsque le système d'équations différentielles est à coefficients constants : Modèle:Math. 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 Modèle:Math est

$\exp (t{J}_{\lambda })=\exp (t\lambda )\left(\begin{array}{ccccc}1& t& \frac{t^2}{2}& \cdots & \frac{t^{p-1}}{(p-1)!}\\ 0& \ddots & \ddots & \ddots & ⋮\\ ⋮& \ddots & \ddots & t& \frac{t^2}{2}\\ ⋮& 0& \ddots & \ddots & t\\ 0& \cdots & \cdots & 0& 1\end{array}\right).$

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

Voir aussi

• Matrice bande

Liens externes

• Modèle:Mathworld
• Modèle:Mathworld