Rduction de Jordan

Rduction de Jordan
Pour les articles homonymes, voir Jordan. La rduction de Jordan est la traduction matricielle de la rduction des endomorphismes introduite par Jordan. Cette rduction est tellement employe, en particulier en analyse pour la rsolution d'quations diffrentielles ou pour dterminer le terme gnral de certaines suites rcurrentes, 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 rduite. La rduction consiste dterminer une dcomposition 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 sous-espace caractristique, on effectue une rduction de Jordan. Cette dernire est un cas particulier de la dcomposition de Frobenius dans le cadre spcifique 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 polynme minimal est scind. u possde alors les proprits suivantes : E est la somme directe des sous-espaces caractristiques de u. Le sous-espace caractristique associ la valeur propre est not ici E. La restriction de u E est la somme d'une homothtie de rapport et d'un endomorphisme nilpotent not n. Ces rsultats sont dmontrs dans l'article Dcomposition de Dunford. Pour chaque , il existe une base (e,1, e,2, , e, p) de E telle que n(e,1) = 0 et pour j = 2, , p, n(e,j) est nul ou gal e,j1. Ce rsultat est dmontr dans l'article Endomorphisme nilpotent.

Blocs de Jordan
On appelle bloc de Jordan une matrice carre de taille k ( coefficients dans le corps K) de la forme[1] :

Cette matrice est nilpotente si et seulement si est nul.

Rduction de Jordan

Jordanisation d'un endomorphisme dans un corps algbriquement clos

On considre un endomorphisme d'un espace vectoriel de dimension finie, de polynme caractristique scind. Le thorme de Jordan nous informe qu'il admet une reprsentation matricielle diagonale par blocs de la forme :

o les scalaires i sont les valeurs propres de l'endomorphisme considr. Ainsi sur un corps algbriquement clos comme le corps , tout endomorphisme admet une dcomposition de ce type. Attention : il n'y a pas a priori un bloc de Jordan pour chaque valeur propre, plusieurs i peuvent avoir la mme valeur.

Proprits des blocs

Prenons un endomorphisme u admettant une telle reprsentation. On tudie une valeur propre particulire de l'endomorphisme u. On regroupe ensemble les vecteurs associs aux blocs Jk(). Ils forment le sous-espace caractristique E. C'est un sous-espace stable sur lequel u Id induit un endomorphisme nilpotent n. La multiplicit de (multiplicit dans le polynme caractristique) est gale la dimension de E. La multiplicit de dans le polynme minimal est gal l'indice de nilpotence de l'endomorphisme n.

Application aux classes de similitude des matrices

On se place sur un corps algbriquement clos. Deux matrices sont semblables si et seulement si elles ont la mme criture en blocs de Jordan, l'ordre prs des blocs.

Exemples de rduction de Jordan

Examinons les mthodes de dtermination des matrices de passage par deux exemples.

Exemple 1
Dterminons la matrice de passage pour l'exemple suivant :

Recherchons les sous-espaces caractristiques, cest--dire vecteurs x solutions de

qui nous permettront de dterminer la suite de vecteurs dont les lments forment les colonnes de la matrice de passage. Remarquons alors que 5 est valeur propre et que le premier vecteur que nous noterons v de la base de dfinition de la matrice possde pour polynme minimal associ (X5)4. Son espace caractristique est donc l'espace entier. La famille suivante forme donc une base de Jordan :

Rduction de Jordan

Nous avons dtermin la matrice de passage :

et la matrice de Jordan est la suivante :

Exemple 2
Considrons l'exemple suivant

Les valeurs propres de B sont 4, 4, 2 et 1. De plus, on remarque que :

Nous en dduisons que la matrice de Jordan sera ( permutation prs des trois blocs) de la forme :

Nous remarquons que le vecteur colonne (0, 0, 1, 1)T a pour image par la matrice B 4I : (1, 0, 1, 1)T. Ces deux vecteurs colonnes engendrent l'espace caractristique de valeur propre 4. On en dduit

Nous en dduisons une matrice de passage P telle que P1BP soit gale la matrice de Jordan J :

Rduction de Jordan

Rduction de Jordan et systmes diffrentiels

Un systme d'quations diffrentielles linaires en y peut se rduire une quation diffrentielle matricielle d'ordre 1 : u' (t) = Au(t) et la condition initiale u' (0) = u0, o u(t) est un vecteur colonne contenant les drives successives de y. La rsolution est alors explicite lorsque le systme d'quations diffrentielles est coefficients constants : u' (t) = exp (tA) u0. L'avantage de la forme normale de Jordan rside 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

On voit de cette manire l'intrt calculatoire de cette mthode.

Note et rfrence
Portail des mathmatiques

Sources et contributeurs de larticle

Sources et contributeurs de larticle

Rduction de Jordan Source: http://fr.wikipedia.org/w/index.php?oldid=91467962 Contributeurs: Ambigraphe, Anne Bauval, Archibald, Briling, Dam451, Dfeldmann, Fv, Ghaity, Jean-Luc W, Jim2k, Kelam, Kunos, Lerichard, Lomita, Lna, Manchot, Moipaulochon, Palustris, PatitoEs, Peps, Philippe%, Pierrelm, Poulos, Proz, Rhizome, Sherbrooke, SniperMask, Solian, Titi2, Zandr4, ~Pyb, 31 modifications anonymes

Source des images, licences et contributeurs

Image:Disambig colour.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Disambig_colour.svg Licence: Public Domain Contributeurs: Bub's Fichier:Racine_carre_bleue.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Racine_carre_bleue.svg Licence: GNU Lesser General Public License Contributeurs: historicair 17:50, 4 June 2007 (UTC)

Licence
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/