ATLAS Ouvrir dans l'atlas →

Théorème 10Réduction des endomorphismes

Décomposition de Dunford

Énoncé

Supposons χu\chi_u scindé.

(i) Il existe un unique couple (d,n)(d, n) d'endomorphismes de EE tels que u=d+n,d∘n=n∘d,u = d + n, \qquad d \circ n = n \circ d, avec dd diagonalisable et nn nilpotent. C'est la décomposition de Dunford de uu.

(ii) Les endomorphismes dd et nn sont des polynômes en uu. Avec les notations du nœud Sous-espaces caractéristiques, d=∑iλipid = \sum_i \lambda_ip_i, c'est-à-dire que dd agit sur chaque NiN_i comme λi id\lambda_i\,\mathrm{id}.

(iii) uu est diagonalisable si et seulement si n=0n = 0, et nilpotent si et seulement si d=0d = 0.

Démonstration

Existence. Soient NiN_i les sous-espaces caractéristiques et pip_i les projecteurs associés, qui sont des polynômes en uu (Sous-espaces caractéristiques, (i)). Posons d=∑iλipid = \sum_i \lambda_ip_i et n=u−dn = u - d, polynômes en uu, qui commutent donc (Polynômes d'endomorphismes, (i)).

Sur NiN_i, dd agit comme λi id\lambda_i\,\mathrm{id} : tout vecteur non nul de NiN_i est propre pour dd, et des bases des NiN_i mises bout à bout forment une base de vecteurs propres de dd (Sous-espaces stables, (i)). Donc dd est diagonalisable.

Sur NiN_i, stable, nn agit comme le nilpotent ni=u−λi idn_i = u - \lambda_i\,\mathrm{id} (Sous-espaces caractéristiques, (ii)). Pour r=max⁡imir = \max_i m_i, nrn^r s'annule sur chaque NiN_i, donc sur EE : nn est nilpotent.

Unicité. Soit u=d′+n′u = d' + n' une autre décomposition. L'endomorphisme d′d' commute avec n′n' et avec lui-même, donc avec u=d′+n′u = d' + n' ; il commute donc avec dd et nn, polynômes en uu (Polynômes d'endomorphismes, (i)). De même pour n′n'.

Les endomorphismes dd et d′d', diagonalisables et commutant, ont une base commune de vecteurs propres (Diagonalisation, (iii)), dans laquelle d−d′d - d' a une matrice diagonale : d−d′d - d' est diagonalisable.

Les nilpotents n′n' et −n-n commutent, donc n′−nn' - n est nilpotent (Nilpotents, (iii)). Or d−d′=n′−nd - d' = n' - n : cet endomorphisme, diagonalisable et nilpotent, est nul (Nilpotents, (iv)). Donc d′=dd' = d et n′=nn' = n.

(iii) Si uu est diagonalisable, (u,0)(u, 0) est une décomposition, et c'est la seule ; si uu est nilpotent, (0,u)(0, u) en est une. Les réciproques sont claires.

□
Remarque

Pour A=(211021003)A = \begin{pmatrix} 2 & 1 & 1 \\ 0 & 2 & 1 \\ 0 & 0 & 3 \end{pmatrix}, on a vu N2=Ker⁡(A−2I3)2N_2 = \operatorname{Ker}(A - 2I_3)^2 et N3=Ker⁡(A−3I3)N_3 = \operatorname{Ker}(A - 3I_3). Les polynômes du lemme des noyaux sont Q3=(X−2)2Q_3 = (X - 2)^2, qui vaut 11 en 33, et Q2=1−(X−2)2Q_2 = 1 - (X - 2)^2, multiple de X−3X - 3. D'où D=2(I3−Q3(A))+3Q3(A)=2I3+(A−2I3)2.\begin{aligned} D &= 2(I_3 - Q_3(A)) + 3Q_3(A) \\ &= 2I_3 + (A - 2I_3)^2. \end{aligned}

Le calcul donne D=(202021003)D = \begin{pmatrix} 2 & 0 & 2 \\ 0 & 2 & 1 \\ 0 & 0 & 3 \end{pmatrix} et N=A−D=(01−1000000),N = A - D = \begin{pmatrix} 0 & 1 & -1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}, avec N2=0N^2 = 0 et DN=NDDN = ND ; DD est diagonalisable, de vecteurs propres e1e_1, e2e_2 pour 22 et (2,1,1)(2, 1, 1) pour 33.

Remarque

L'erreur la plus répandue est de croire que, pour une matrice triangulaire, dd est la partie diagonale et nn le reste. Pour la matrice AA ci-dessus, la partie diagonale Δ=diag⁡(2,2,3)\Delta = \operatorname{diag}(2, 2, 3) et le reste A−ΔA - \Delta ne commutent pas : Δ(A−Δ)−(A−Δ)Δ\Delta(A - \Delta) - (A - \Delta)\Delta a pour troisième colonne (−1,−1,0)(-1, -1, 0).

L'exemple le plus simple est (1102)\begin{pmatrix} 1 & 1 \\ 0 & 2 \end{pmatrix} : ses deux valeurs propres sont distinctes, il est diagonalisable, et sa décomposition est (u,0)(u, 0), alors que diag⁡(1,2)\operatorname{diag}(1, 2) et (0100)\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} ne commutent pas.

Remarque

L'hypothèse « χu\chi_u scindé » ne peut pas être omise. Sur ℤ/3ℤ{\mathbb Z/3\mathbb Z}, la rotation JJ n'a aucune décomposition : si J=d+nJ = d + n, nn commute avec JJ ; si n≠0n \neq 0, son noyau est une droite, stable par JJ (Polynômes d'endomorphismes, (ii)), ce qui fournirait une valeur propre ; si n=0n = 0, J=dJ = d serait diagonalisable. Dans les deux cas, on contredit l'absence de valeur propre.

Remarque

La décomposition sert à calculer les exponentielles de matrices des équations différentielles (Systèmes linéaires) et des groupes de Lie. Comme dd et nn commutent, etA=etDetNe^{tA} = e^{tD}e^{tN} ; l'exponentielle de tDtD se lit sur les sous-espaces propres, et celle de tNtN est une somme finie, la série s'arrêtant à l'indice de NN.

Pour la matrice AA ci-dessus, avec p2=I3−(A−2I3)2p_2 = I_3 - (A - 2I_3)^2 et p3=(A−2I3)2p_3 = (A - 2I_3)^2, on trouve ainsi etA=e2t(I3+tN) p2+e3tp3,e^{tA} = e^{2t}(I_3 + tN)\,p_2 + e^{3t}p_3, ce qu'un calcul direct de la série confirme.

Remarque

Le nom de Dunford est celui de l'usage français. La décomposition se trouve en substance dans la forme canonique de Jordan (Traité des substitutions et des équations algébriques, Paris, 1870) ; Chevalley la met au premier plan, avec dd et nn polynômes en uu, dans sa Théorie des groupes de Lie, tome II (Hermann, 1951), d'où le nom de décomposition de Jordan-Chevalley employé ailleurs ; N. Dunford en donne une version pour les opérateurs dans « Spectral operators » (Pacific J. Math. 4, 1954, p. 321-354). Sur cet historique, voir D. Couty, J. Esterle et R. Zarouf, « Décomposition effective de Jordan-Chevalley et ses retombées en enseignement », arXiv:1103.5020, 2011.

Repose sur

Sert à

Aucune fiche de ce graphe ne l'utilise encore.
Ouvrir dans l'atlas interactif →