Réduction de Jordan

Infos
La réduction de Jordan est la traduction matricielle de la réduction des endomorphismes introduite par 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 suites récurrentes, qu'on la nomme parfois « jordanisation des endomorphismes ». Elle consiste à exprimer la matrice d'un endomorphisme dans une base réduite dite base de Jordan. La réduction consiste à
Réduction de Jordan

La réduction de Jordan est la traduction matricielle de la réduction des endomorphismes introduite par 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 suites récurrentes, qu'on la nomme parfois « jordanisation des endomorphismes ». Elle consiste à exprimer la matrice d'un endomorphisme dans une base réduite dite base de Jordan. La réduction consiste à déterminer une décomposition de Dunford c'est-à-dire trouver un endomorphisme diagonalisable et un endomorphisme nilpotent tel que les deux commutent et que leur somme soit égale à l'endomorphisme initial, puis sur chaque espace caractéristique une réduction de Jordan sur le facteur l'endomorphisme nilpotent.

Construction de la base de Jordan

Soit u un endomorphisme sur un espace vectoriel E tel que son polynôme minimal soit scindé. Il possède alors les propriétés suivantes: :
-E est la somme directe des espaces caractéristiques de u. Ils sont notés ici Ei et les valeurs propres associés λi. :
-La restriction de u à Ei est la somme d'une homothétie de rapport λi et d'un endomorphisme nilpotent noté ni. Ces résultats sont démontrés dans l'article décomposition de Dunford. :
- Il existe une base Eij de Ei (e_, e_, \cdots, e_)\; tel que n_i(e_)=k_e_\; où k_\; est égal soit à 0 soit à 1 et n_i(e_)=0\;. Ce résultat est démontré dans l'article Endomorphisme nilpotent.

Blocs de Jordan

On appelle bloc de Jordan une matrice de la forme \mathcal_\lambda = \begin \lambda & 1 & & & & \\ & \lambda & 1 & & (0) & \\ & & \ddots & \ddots & & \\ & & & \ddots & \ddots & \\ & (0) & & & \lambda & 1 \\ & & & & & \lambda \\ \end On appelle bloc de Jordan nilpotent une telle matrice où les coefficients diagonaux sont tous nuls, c'est-à-dire de la forme \begin 0 & 1 & & & & \\ & 0 & 1 & & (0) & \\ & & \ddots & \ddots & & \\ & & & \ddots & \ddots & \\ & (0) & & & 0 & 1 \\ & & & & & 0 \\ \end

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

On considère un endomorphisme dans 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 de la forme suivante : \begin \mathcal_\lambda_1 & & & & \\ & \mathcal_\lambda_2 & & & \\ & & \ddots & & \\ & & & \ddots & \\ & & & & \mathcal_\lambda_r \\ \end où les scalaires \lambda_i sont les valeurs propres de l'endomorphisme considéré. Ainsi sur un corps algébriquement clos, et par exemple dans \mathbb, 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 \lambda_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 \lambda de l'endomorphisme u. On regroupe ensemble les vecteurs associés aux blocs \mathcal_\lambda. Ils forment 'espace caractéristique' associé à la valeur propre \lambda. C'est un espace stable sur lequel u-\lambda Id induit un endomorphisme nilpotent n_\lambda.
- La multiplicité de \lambda (multiplicité dans le polynôme caractéristique) est égale à la dimension de l'espace caractéristique.
- La multiplicité de \lambda dans le polynôme minimal est égal à l'indice de nilpotence de l'endomorphisme n_\lambda.

Application aux classes de similitude des matrices

On se place sur un corps 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.

Exemples de réduction de Jordan

Examinons les méthodes de détermination des matrices de passage par deux exemples.

Exemple 1

Déterminons la matrice de passage pour l'exemple suivant: :A=\begin 322 & -323 & -323 & 322 \\ 325 & -326 & -325 & 326 \\ -259 & 261 & 261 & -260 \\ -237 & 237 & 238 & -237 \end. Recherchons les espaces caractéristiques, c’est-à-dire vecteurs x solutions de : (A-\lambda I)^k\mathbf = \mathbf Qui nous permettront de déterminer la suite de vecteurs dont les éléments forment les colonnes de la matrice de passage. Remarquons alors que 5 est valeur propre et que le premier vecteur de la base de définition de la matrice possède pour polynôme minimal associé (X-5)4. Son espace caractéristique est donc l'espace entier. Si nous notons v ce vecteur alors, la famille composée des éléments (A − 5I)3(v), (A − 5I)2(v), (A − 5I)(v) et v forme une base de Jordan. : \left\(A-5I)^3\mathbf, (A-5I)^2\mathbf, (A-5I)\mathbf, \mathbf\right\ : =\left\ \begin 5922 \\ 4230 \\ -3572 \\ -5170 \end, \begin 2857 \\ 2363 \\ -1962 \\ -2392 \end, \begin 317 \\ 325 \\ -259 \\ -237 \end, \begin 1 \\ 0 \\0 \\ 0 \end\right\ Nous avons déterminé la matrice de passage: : P=\begin 5922 & 2857 & 317 & 1 \\ 4230 & 2363 & 325 & 0 \\ -3572 & -1962 & -259 & 0 \\ -5170 & -2392 & -237 & 0 \\ \end. Et la matrice de Jordan est la suivante: :J=J_4(5)=\begin 5 & 1 & 0 & 0 \\ 0 & 5 & 1 & 0 \\ 0 & 0 & 5 & 1 \\ 0 & 0 & 0 & 5 \end.

Exemple 2

Considérons l'exemple suivant :B = \begin 5 & 4 & 2 & 1 \\ 0 & 1 & -1 & -1 \\ -1 & -1 & 3 & 0 \\ 1 & 1 & -1 & 2 \\ \end. Les valeurs propres de B sont 4, 4, 2 et 1. De plus, on remarque que: : \mathrm\ \ker = 1, \mathrm\ \ker = 1, \mathrm\ \ker = 1, \mathrm\ \ker^2 = 2 Nous en déduisons que l'espace vectoriel se décompose en somme directe suivante: :J=J_1(1)\oplus J_1(2)\oplus J_2(4) Nous remarquons que le vecteur colonne (0, 0, −1, 1)T a pour image par la matrice (-1, 0, 1, -1)T. Ces deux vecteurs colonnes engendrent l'espace caractéristique de valeur propre 4. On en déduit : \ker^2 = \mathrm\ \left\\begin 0 \\ 0 \\ -1 \\ 1\end, \begin -1 \\ 0 \\ 1 \\ -1\end\right\ Nous en déduisons la matrice de passage et la forme de Jordan: : P=\begin -1 & 0 & 1 & -1\\ 0 & 0 & -1 & 1\\ 1 & -1 & 0 & 0\\ -1 & 1 & 1 & 0\end=\left((B-4I)\mathbf\left|\mathbf\left|\mathbf\left|\mathbf\right)\right.\right.\right. et :P^BP=J=\begin 4 & 1 & 0 & 0 \\ 0 & 4 & 0 & 0 \\ 0 & 0 & 2 & 0 \\ 0 & 0 & 0 & 1 \end.

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ériviées successives de y. La résolution est alors explicite : u(t) = \exp (tA) u_0 . L'avantage de la forme normale de Jordan réside dans la facilité de calculs des matrices des blocs de Jordan. En effet, l'exponentielle d'un bloc de Jordan nilpotent de taille p est \exp(t\mathcalJ_\lambda) = \exp(t\lambda)\begin 1 & t& \frac & \cdots & \frac \\ 0 & \ddots&\ddots & \ddots & \vdots \\ \vdots & \ddots & \ddots &t& \frac \\ \vdots & 0&\ddots & \ddots & t \\ 0 & \cdots&\cdots & 0 & 1 \\ \end On voit de cette manière l'intérêt calculatoire de cette méthode. Catégorie:Algèbre linéaire de:Jordansche Normalform en:Jordan normal form es:Forma canónica de Jordan he:צורת ז'ורדן it:Forma canonica di Jordan ja:ジョルダン標準形 nl:Jordan-normaalvorm pl:Postać Jordana pt:Forma canônica de Jordan ru:Жорданова матрица
Sujets connexes
Corps algébriquement clos   Diagonalisation   Décomposition de Dunford   Endomorphisme   Endomorphisme nilpotent   Espace vectoriel   Marie Ennemond Camille Jordan   Matrice (mathématiques)   Polynôme caractéristique   Polynôme minimal   Réduction d'endomorphisme   Somme directe   Sous-espace caractéristique   Suite   Valeur propre (synthèse)  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^