La décomposition de Dunford des endomorphismes.

Transcription

1 Document de travail pour l atelier de la journée régionale APMEP d Aix-Marseille du 17 mai André BONNET andre.bonnet9@orange.fr La décomposition de Dunford des endomorphismes. En travaillant avec un jeune collègue, candidat à l agrégation interne de mathématiques, je suis tombé, tout à fait par hasard, sur un article Daniel Ferrand 1 dont l introduction est la suivante : «A un candidat qui avait donné la démonstration usuelle, sur, de la décomposition de Dunford : le jury a posé la question suivante : avec, diagonalisable et nilpotent» «peut-on calculer et sans connaître les valeurs propres de». La réponse étant affirmative, le but de cet article est d adapter 2 la méthode (donnée par Daniel Ferrand) au cas des endomorphismes sur un K-espace vectoriel de dimension finie et dont le corps de base est K = ou. Dans cette méthode l endomorphisme est obtenu par une suite qui stationne à partir d un certain rang. La formule de récurrence, qui définit cette suite, est très proche de la "vénérable" méthode de Newton (bien connue pour la recherche de valeurs approchées de racines d une équation numérique). 1 La décomposition de Dunford d un endomorphisme par la méthode usuelle : Théorème : Si est un K-espace vectoriel de dimension finie, avec ou et si est un endomorphisme de, alors il existe deux endomorphismes de, notés et tels que :, est diagonalisable, est nilpotent et Cette décomposition est unique (sous réserve de commutativité) ; de plus et sont dans. Démonstration : Elle repose essentiellement sur l utilisation du théorème de décomposition des noyaux. 1.a. Commençons par le cas complexe ( ). Démonstration de l existence : Ecrivons le polynôme caractéristique de sous forme factorisée : ( ) 1 Université de Rennes 1, «Une méthode effective pour la décomposition de Dunford» Préparation à l agrégation interne de mathématiques, Le théorème et sa démonstration sont donnés dans le cadre général d une K-algèbre de dimension finie et pour un corps K quelconque. André BONNET, Journée Régionale APMEP, atelier du 17 mai Page 1

2 est la somme directe des sous-espaces caractéristiques ( ). Soit l endomorphisme de dont la restriction à est exactement. Cet endomorphisme est diagonalisable et admet comme sous espaces propres les sous espaces. Posons. Il reste à vérifier que est nilpotent et que commute avec. Comme chaque sous-espace caractéristique de est stable par et par, il est stable aussi par ; il reste donc à vérifier la commutativité pour les restrictions aux sous-espaces. Notons, avec l indice, les restrictions à. On a : et. Or, par définition de, ( ) ; ce qui démontre que est nilpotent, on déduit immédiatement que est nilpotent. De plus, étant une homothétie, commute avec ce qui permet d affirmer que commute avec. Démontrons maintenant que et sont des polynômes en. Si on note la projection sur parallèlement à la somme de tous les autres sous-espaces caractéristiques de. Le théorème de décomposition des noyaux nous permet d affirmer que ces projections sont des éléments de. Or par construction on a : Bien entendu, est aussi dans. Démontrons l unicité de la décomposition : Supposons l existence d un autre couple ( ) vérifiant les conditions requises, en particulier la condition. On a alors :. Comme commute avec, il commute aussi avec, mais aussi avec et avec (car se sont des polynômes en ). On en conclu que commute avec et que et sont codiagonalisables ce qui entraine que est diagonalisable. De même, commute avec. Il en découle que est nilpotent ; en effet pour assez grand : ( ) ( ) ( ) Or le seul endomorphisme à la fois diagonalisable et nilpotent est l endomorphisme nul. On en conclu que et. 1.b. Le cas réel ( ). Si le polynôme caractéristique est scindé dans la démonstration précédente peut être reconduite à l identique. Supposons donc que réelle). On peut alors écrire sous la forme : possède au moins une valeur propre complexe (non André BONNET, Journée Régionale APMEP, atelier du 17 mai Page 2

3 ( ) ( ) ( ) On pose et on définit les polynômes ainsi que les exposants par : ( ) En appliquant le théorème de décomposition des noyaux à on peut encore écrire comme somme directe des sous espaces ( ). Comme dans le cas complexe, on pose, pour :. Pour les valeurs, on peut remarquer que les sous-espaces sont de dimensions paires, donc chaque est une somme directe de plans et on définit en imposant que sa restriction à ces plans soit une similitude caractérisée par le nombre complexe. La matrice de la restriction de à un plan est donc de forme : ( ( ) ( ) ( ) ( ) ) ( ) On termine la démonstration, comme dans le cas complexe, en imposant que l endomorphisme de ait comme restriction à exactement et en prenant. 2 La décomposition de Dunford d un endomorphisme par une méthode explicite : On reprend les notations de la première partie : est un K-espace vectoriel de dimension finie avec, est un endomorphisme de E et on note son polynôme caractéristique. 2.a. Décomposition de : - Si, est scindé : On pose dans ce cas :. ( ) ( ) - Si, et si est scindé sur : on pose. - Si, et si possède au moins une valeur propre complexe, est scindé sur : ( ) ( ) ( ) ( ) on pose : o pour les valeurs propres réelles : et o Pour les valeurs propres complexes : ( )( ), et. André BONNET, Journée Régionale APMEP, atelier du 17 mai Page 3

4 Dans tous les cas on peut écrire le polynôme caractéristique de sous la forme : 2.b. Définition du polynôme : On pose : et. On peut alors affirmer que le polynôme divise et que divise 2.c. et sont premiers entre eux : On considère ici la décomposition des polynômes dans le corps des complexes : On en déduit : ( ) et on a : ( ) ( ) ( ) On obtiendrait de même (éventuellement) que ( ). Donc et n ont aucune racine commune; ils sont premiers entre eux. 2.d. La relation ( ) : Posons, alors ( ) On en déduit que divise ( ). Mais ne divise pas. Donc ( ). Ce qui prouve qu il est possible de déterminer en divisant par ( ). 2.e. Un lemme d inversibilité : Lemme : Dans une algèbre, la somme d un élément inversible et d un élément nilpotent, qui commutent, est un élément inversible. Démonstration : Soit un élément inversible et un élément nilpotent d ordre tels que et commutent. Posons et. Montrons que est un élément nilpotent, d ordre, et que est un élément inversible. André BONNET, Journée Régionale APMEP, atelier du 17 mai Page 4

5 ( ) ( ) ( ) et ( ) ( ) Or ( )( ), donc est un élément inversible, car produit de deux éléments inversibles qui commutent. 2.f. Construction de la suite : Dans la suite A désigne la sous-algèbre, notée habituellement combinaisons linéaires des puissances de à coefficients dans., c est-à-dire l ensemble des On pose et ( ) ( ). L existence de cette suite repose sur l inversibilité de ( ) ; celle-ci sera obtenu par récurrence. Posons : (i) ( ) est inversible et son inverse est dans A (ii) ( ) est nilpotent (iii) ( ) ( ) A Démontrons : - On sait que et sont premiers entre eux, donc (Bezout) il existe deux polynômes et tels que ce qui implique ( ) ( ) ( ) ( ). Or (Caley-Hamilton) ( ), donc ( ) ( ). On en déduit que ( ) est inversible et que son inverse est dans A. - Il est évident que ( ( )) ( ). Or est divisible par, donc il existe un polynôme tel que ce qui donne ( ( )) ( ) ( ) - Pour,, donc ( ) ( ) A Démontrons : - Comme est un polynôme, en utilisant la définition de de la suite on a : ( ) ( ) ( ) A ( ) A donc ( ) est la somme de ( ) et d un élément nilpotent. Ceci prouve, d après le lemme, que ( ) est inversible. - étant un polynôme on peut écrire : ( ) ( ) ( ) ( ) Il suffit, pour cela, d utiliser le binôme de Newton sur les monômes que l on peut écrire : ( ) ( ) On en tire : ( ) ( ( ) ( ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Donc ( ) ( ) A ( ) A. André BONNET, Journée Régionale APMEP, atelier du 17 mai Page 5

6 - Comme ( ) est nilpotent, ( ) est aussi nilpotent. Conclusion : La définition, par récurrence, de la suite est justifiée. 2.g. La suite est stationnaire : Dès que on a ( ) donc, d après (iii) ( ) ce qui implique. On notera le rang à partir du quel la suite stationne et l élément final. 2.h. Etude de l élément final : On pose. En écrivant sous la forme :, c est-à-dire comme une somme d éléments nilpotents qui commutent (car ce sont des polynômes en ), on montre que est nilpotent. Il reste à montrer que est diagonalisable. Pour, la relation de récurrence devient : ( ) ( ) ; donc ( ). Le polynôme étant à racines simples, on en déduit que est diagonalisable 3. On obtient la décomposition de Dunford en posant et. 2.i. Etude algorithmique : On constate que la détermination de ne nécessite pas la connaissance des valeurs propres de, ce qui donne la réponse à la question posée au début. La détermination de Maple par exemple. est purement algorithmique et automatique pour certains logiciels comme On a vu que la détermination de peut se faire par division de par ( ). On peut donc construire la suite de façon automatique avec un logiciel de calcul formel et ainsi déterminer la décomposition de Dunford (voir en annexe l algorithme ). 2.j. Rapidité de l algorithmique : On a vu que la suite stationne dès que ; or ( ). On est donc assuré d obtenir l endomorphisme, en un nombre d itérations où est le premier entier tel que ( ). Ceci donne : pour ( ) pour ( ) pour ( ) 3 On peut même affirmer que est le polynôme minimal de. En effet, comme et commutent ils sont cotrigonalisables (sur ). Dans une base commune de trigonalisation, les valeurs propres de apparaissent sur la diagonale, comme sommes des valeurs propres de et de. L endomorphisme n ayant que zéro comme valeur propre. On peut conclure que de et de ont les mêmes valeurs propres. André BONNET, Journée Régionale APMEP, atelier du 17 mai Page 6

7 On retrouve ainsi la rapidité " phénoménale " de la méthode de Newton. Annexe : l algorithme Celui-ci est écrit en langage naturel. L endomorphisme à décomposer est supposé être fourni par une matrice et la décomposition de Dunford sera obtenue, à la fin de l algorithme, par les deux matrices et associées à et. Algorithme Dunford : entrer la matrice Calculer le polynôme caractéristique de (ou de ) ( ) ( ) ( ) tant que faire ( ) ( ) fin faire afficher ( ) Remarque : Suivant le langage utilisé, la condition pourra être remplacée par ( ) (c est, par exemple, le cas de Maple). Attention! : En Maple, la lettre est un symbole réservé (à la dérivation), il faut impérativement changer le nom de cette variable (prendre par exemple ). André BONNET, Journée Régionale APMEP, atelier du 17 mai Page 7