En mathématiques, l'exponentielle d'une matrice est une fonction d'une matrice carrée semblable à l'exponentielle. De façon abstraite, elle fait le pont entre l'algèbre de Lie sur une matrice et le groupe de Lie qui lui correspond.
Définition-théorème — La série d'applications de terme général
converge normalement sur toute partie bornée de . On appelle alors exponentielle l'application de dans définie par
Soit une partie bornée de . Il existe donc tel que
On alors pour tout et pour tout :
Or est majorée par eα qui est fini, ce qui montre la convergence normale.
Pour n=1, on retombe sur la définition de l'exponentielle classique.
Le calcul d'une exponentielle de matrice n'est pas a priori un problème facile. Cependant, dans certains cas, et notamment ceux d'une matrice diagonale et d'une matrice nilpotente, il ne présente aucune difficulté. Une fois cette remarque faite, le cas général peut se traiter en se ramenant aux deux cas précédents.
Si A est une matrice diagonale, c'est-à-dire :
alors son exponentielle est obtenue en calculant l'exponentielle de chacun des termes de la diagonale principale :
Cette propriété permet de calculer simplement l'exponentielle des matrices diagonalisables. Si A = UDU−1, avecD est diagonale, alors eA = UeDU−1.
Une matrice N est nilpotente si Nq = 0 pour un entier q. Dans ce cas, l'exponentielle d'une matrice eN se calcule directement à partir de son développement en série, puisque celui-ci ne comporte alors qu'un nombre fini de termes :
Lorsque le polynôme minimal d'une matrice X est scindé, X peut s'exprimer sous la forme
où
C'est la décomposition de Dunford.
Dès lors, le calcul de l'exponentielle de X se réduit aux deux cas précédents :
Dans le cas complexe, on peut aussi faire appel à la réduction de Jordan.
Soit J la forme de Jordan de X, et P la matrice de passage. Alors,
Puisque
En conséquence, il faut seulement connaître la méthode pour calculer l'exponentielle d'un bloc de Jordan. Chacun est de la forme
où N est la matrice nilpotente spéciale. L'exponentielle du bloc est donné par
Soit la matrice
qui a la forme de Jordan
et la matrice de transition
Maintenant,
et
eB | = PeJP − 1 |
Alors,
L'exponentielle de la matrice 1×1 est triviale, avec eJ1(4)=e4, d'où
Soient X et Y deux matrices n×n complexes et soient a et b deux nombres complexes. La matrice identité est dénotée I, et la matrice nulle, 0. L'exponentielle d'une matrice possède les propriétés suivantes :
Une des premières applications de l'exponentielle de matrices est la résolution des équations différentielles ordinaires. En effet, de l'équation (1) ci-dessous, on déduit que la solution de :
où A est une matrice, est donnée par
L'exponentielle d'une matrice peut aussi servir à résoudre les équations non-homogènes :
Voir la pour un exemple.
Il n'existe pas de solution explicite pour les équations différentielles de la forme :
où A n'est pas constant, mais la série de Magnus donne la solution en tant que somme infinie.
On sait que l'identité ex + y = exey est valable pour tous nombres complexes x et y. On peut en fait montrer qu'elle est également valable pour deux matrices qui commutent. Autrement dit, si les matrices X et Y commutent, alors
Cependant, si ce n'est pas le cas, alors l'égalité n'est pas nécessairement vraie. Dans ce cas, la formule de Baker-Campbell-Hausdorff donne l'expression de eX + Y − eXeY en fonction du crochet [X,Y] de X et Y, et de tous les crochets itérés. Plus précisément, cette formule donne le logarithme de eXeY, par une série ne faisant intervenir que X, Y et leurs crochets. Les premiers termes sont les suivants:
L'exponentielle d'une matrice est toujours inversible. L'inverse de eX est donné par e−X. Dès lors, cette fonction nous donne une application
de l'ensemble des matrices n×n vers le groupe général linéaire, c'est-à-dire le groupe de toutes les matrices inversibles. On appelle logarithme d'une matrice X toute matrice Y telle que eY = X ; le logarithme de X n'est pas unique en général.
Pour deux matrices X et Y, nous avons
où || · || désigne une norme matricielle arbitraire. Il suit que l'application exponentielle est continue et lipschitzienne sur tout sous-ensemble compact de Mn(C).
La bijection
définit une courbe de classe dans le groupe linéaire qui passe par l'identité en t = 0. Cette courbe est en fait un sous-groupe à un paramètre de puisque
La dérivée de cette courbe au point t est donnée par
La dérivée au point t = 0 est la matrice X, ce qui revient à dire que X génère ce sous-groupe à un paramètre.
Plus généralement,