Systèmes différentiels linéaires et exponentielle de matrice
Pourquoi la solution d'un système différentiel linéaire s'écrit-elle exactement comme dans le cas scalaire, avec une exponentielle — et que signifie l'exponentielle d'une MATRICE ?
Le problème naît de la mécanique céleste : Lagrange et Laplace étudient au XVIII siècle les petites oscillations du système solaire, ce qui produit des systèmes différentiels couplés. Lagrange comprend que la stabilité dépend du signe de certaines quantités — les valeurs propres avant l'heure. Cauchy formalise l'exponentielle de matrice, et Jordan donne en 1870 la forme canonique qui traite le cas non diagonalisable. Poincaré renverse l'approche vers 1880 : plutôt que de résoudre, il étudie l'allure GLOBALE des trajectoires, fondant la théorie qualitative des systèmes dynamiques.
Pourquoi définir l'exponentielle par une série plutôt que par une formule fermée ? Parce que la série est la seule définition qui préserve la propriété fondamentale sans hypothèse sur . Elle converge absolument grâce à la sous-multiplicativité de la norme d'opérateur du module L2-04, et cette convergence absolue est ce qui autorise ensuite toutes les manipulations — dérivation terme à terme, produit de séries.
Images Mentales & Modèles d'Intuition (3)
Un système différentiel est un champ de vitesses : en chaque point de l'espace, une flèche indique où l'on va. Une solution est une trajectoire qui suit ces flèches.
Ce qu'elle capture :
L'image ne dit pas que le comportement est entièrement déterminé par les VALEURS PROPRES. Deux champs d'apparence très différente peuvent être équivalents à changement de base près, et deux champs semblables peuvent avoir des comportements opposés selon le signe des parties réelles.
Diagonaliser, c'est trouver les axes le long desquels le système ne mélange rien : chaque coordonnée propre évolue seule, en .
Ce qu'elle capture :
L'image suppose la diagonalisabilité. Quand elle échoue, il reste des blocs de Jordan, et la solution comporte des facteurs POLYNOMIAUX en — exactement le facteur rencontré au module L1-12 pour les racines doubles.
L'exponentielle de matrice est l'opérateur d'évolution : transporte l'état initial jusqu'à l'instant .
Ce qu'elle capture :
L'image suggère que l'exponentielle se comporte comme dans le cas scalaire. Faux : en général, l'égalité exigeant que et COMMUTENT. C'est l'erreur la plus coûteuse du chapitre.
Les Pièges Conceptuels Classiques
Correction :
Correction :
Correction :
Correction :
Glossaire des Notations Mathématiques
exponentielle de tA
opérateur d'évolution ; se calcule par réduction, jamais coefficient par coefficient
norme d'opérateur
sous-multiplicative, ce qui donne la convergence absolue de la série exponentielle
partie réelle d'une valeur propre
son SIGNE décide de la stabilité ; la partie imaginaire décide de l'oscillation