Une méthode d'analyse de la stabilité qui construit des fonctions scalaires de Lyapunov—fonctions réelles définies sur l'espace des états—dont le signe et la dérivée le long des trajectoires du système fournissent des certificats de stabilité, de comportement asymptotique ou d'instabilité pour des systèmes dynamiques déterministes.

Principe

Rechercher une fonction V(x) positive définie (V(0)=0, V(x)>0 pour x≠0) et dont la dérivée temporelle le long des solutions est non positive (dV/dt ≤ 0) ; la négativité stricte de dV/dt entraîne la stabilité asymptotique. L'idée organisatrice est de convertir des propriétés trajectorielles en inégalités algébriques portant sur V et sa dérivée.

Démonstration

Considérons l'EDO linéaire x' = A x avec l'équilibre en 0. Prenons V(x)=x^T P x avec P symétrique définie positive. Alors dV/dt = x^T (A^T P + P A) x. S'il existe P>0 résolvant A^T P + P A = −Q avec Q>0, alors dV/dt = −x^T Q x < 0 pour x≠0, ce qui prouve la stabilité asymptotique de 0.

Mauvaise application

Affirmer une stabilité asymptotique globale à partir d'une fonction de Lyapunov seulement locale, utiliser un candidat V non différentiable sur les trajectoires, ou confondre V avec une énergie physique sont des usages erronés conduisant à de mauvaises conclusions.

Conséquence

Appliquée correctement, la méthode fournit des certificats rigoureux de stabilité ou de stabilité asymptotique, des estimations du bassin d'attraction, des régions invariantes et des contrôleurs constructifs ; elle donne aussi des taux de décroissance quantitatifs lorsque dV/dt ≤ −cV.

Inversion

Plutôt que de chercher une fonction de Lyapunov décroissante, on peut rechercher des témoins scalaires d'instabilité (une fonction qui augmente strictement le long de certaines trajectoires) ou examiner les exposants de Lyapunov et les propriétés spectrales révélant la sensibilité plutôt que la contractivité.

Limite

S'applique principalement aux EDO autonomes et dépendant du temps, à certaines EDP et aux applications discrètes avec adaptations. Elle exige l'existence d'une V appropriée et une régularité suffisante ; elle ne couvre pas automatiquement les systèmes stochastiques sans extension et n'assure pas de résultats globaux sans une V globale.

Tension sémantique

Tension entre considérer V comme un certificat mathématique et l'interpréter comme une énergie physique ; confusion possible entre fonctions de Lyapunov (certificats) et exposants de Lyapunov (taux de croissance), ou entre méthodes standards et constructions de contrôle-Lyapunov nécessitant une structure supplémentaire.

Synthèse

La méthode de Lyapunov est une approche constructive qui réduit les questions de stabilité dynamique à la recherche de fonctions scalaires satisfaisant des propriétés de signe et de monotonicité ; l'existence de telles fonctions entraîne des conclusions rigoureuses et souvent quantitatives sur la stabilité des équilibres et l'attraction.