Réduction des endomorphismes/Exponentielle d'une matrice
L'exponentielle matricielle est la généralisation naturelle aux matrices carrées (ici : à coefficients complexes) de la série entière exponentielle, définie sur .
Définition
[modifier | modifier le wikicode]Soit une matrice carrée n × n. L'exponentielle de , notée ou , est la matrice définie par . Cette série est normalement convergente sur toute partie bornée de .
Toutes les normes sur étant équivalentes, on peut utiliser une norme d'algèbre, c'est-à-dire vérifiant , par exemple une norme subordonnée.
Soit une partie bornée de . Il existe donc tel que
- .
On a alors pour tout et pour tout :
- .
Or , ce qui montre la convergence normale.
Propriétés
[modifier | modifier le wikicode]Soient et deux matrices carrées n×n.
- .
- Si , alors .
- S'il existe tel que , alors .
- Si et commutent, alors .
- .
Les 2 premières propriétés sont évidentes.
La 4e se montre comme pour les exponentielles réelles ou complexes
Pour la 3e : on remarque juste que et que la multiplication est une application continue (pour passage à la limite)
Pour la dernière : Il suffit d’utiliser le caractère algébriquement clos de pour triangulariser la matrice et le résultat est alors immédiat (utiliser le point 2e pour revenir à la matrice initiale et la stabilité par produit des matrices triangulaires supérieures/inférieures).
commute avec donc
Calculs d'exponentielles matricielles
[modifier | modifier le wikicode]Soit une matrice nilpotente, c'est-à-dire telle qu'il existe un entier naturel tel que , alors l'exponentielle se transforme en somme finie et
- .
Utilisation des exponentielles de matrice
[modifier | modifier le wikicode]Les exponentielles matricielles sont principalement utilisées pour la résolution d'équations différentielles linéaires.
Voir ou plutôt revoir Réduction des endomorphismes/Applications.