EXPONENTIELLE DE MATRICE

On rappelle que Mn() est dimension finie n2. Donc, toutes les normes sur Mn() sont équivalentes.
Cependant, nous allons nous interésser, ici, à des normes qui ont une propriété supplémentaire.

Définition
On appelle norme d'algèbre (ou norme mutiplicative) toute norme de Mn() vérifiant :

"A, B Î Mn(), ||AB||  ||A|| ||B||

L'intérêt d'une telle norme est qu'elle permettra de définir l'exponentielle d'une matrice (Voir un peu plus bas)
grâce à la propriété :
"k Î , ||Ak||  ||A||k
Cette inégalité se prouve sans difficulté par récurrence (exercice).

Proposition
Il existe au moins une norme d'algèbre sur Mn().

Par exemple : N : Mn() ®  N¥ désignant la norme "sup des modules des

A a n N¥(A) coefficients" de la matrice A.

En effet, on vérifie que N est une norme (exercice) et de plus :

N(AB) = n N¥(AB) = n max

i, k
åa b
j
ij jk  n max
i, k
åa
j
ij b jk

N(AB)  n max max |aij|

i, k i, j
åb
j
jk  n max N¥(A) n max |bjk|  n N¥(A) n N¥(B)  N(A) N(B)
k j, k

Théorème
An
Soit A Î Mn(), alors : la série å n!
n 0
est (absolument) convergente.

Preuve :
Soit || . || une norme d'algèbre sur Mn().
n
Ak n
Ak
Comme "k Î , ||Ak||  ||A||k : å
k =0
k!
 å
k =0
k!
n

å
A
Or, la série numérique converge vers e||A||. On a donc :
n 0
n!
n
Ak
å k =0
k!
 e||A||

Les sommes partielles sont majorées donc la série des valeurs absolues converge.

An
Donc la série å
n 0
n!
est convergente.

Définition
¥
An
On appelle exponentielle de la matrice A, la somme å
n=0
n!
.

Exponentielle de matrice Page 1 G. COSTANTINI http://bacamaths.net/