Théorie de la stabilité des EDO

La théorie de la stabilité étudie si les solutions d'une équation différentielle qui débutent près d'un équilibre y restent proches ou y retournent au fil du temps.

Definition

Un équilibre est stable au sens de Lyapunov si les solutions partant suffisamment près restent arbitrairement proches pour tout temps ultérieur, et asymptotiquement stable si en outre elles convergent vers l'équilibre ; l'instabilité signifie qu'au moins certaines solutions proches s'éloignent.

Scope

Ce sujet couvre les définitions de la stabilité de Lyapunov, de la stabilité asymptotique et de l'instabilité, la linéarisation et le théorème de Hartman-Grobman, la méthode directe des fonctions de Lyapunov, le principe d'invariance de LaSalle, et la classification des équilibres des systèmes planaires en tant que nœuds, points selles, foyers et centres.

Core questions

• De petites perturbations d'un équilibre vont-elles croître, persister ou décroître ?
• Quand la linéarisation prédit-elle correctement la stabilité d'un équilibre non linéaire ?
• Comment la stabilité peut-elle être établie sans résoudre explicitement l'équation ?
• Comment les équilibres planaires sont-ils classifiés par leurs portraits de phase locaux ?

Key theories

Méthode directe de Lyapunov

Si une fonction définie positive diminue le long des trajectoires, l'équilibre est stable, et une diminution stricte d'une telle fonction entraîne la stabilité asymptotique, le tout sans résoudre l'équation différentielle.

Linéarisation et théorème de Hartman-Grobman

Près d'un équilibre hyperbolique, le flot non linéaire est topologiquement conjugué à sa linéarisation, de sorte que les valeurs propres du Jacobien déterminent la stabilité locale.

Principe d'invariance de LaSalle

Lorsqu'une fonction de Lyapunov est seulement non croissante, les trajectoires convergent vers le plus grand ensemble invariant dans la région où sa dérivée s'annule, étendant ainsi les conclusions de stabilité asymptotique.

Clinical relevance

L'analyse de stabilité est fondamentale en ingénierie de contrôle, où elle certifie qu'un système conçu retourne à son point de fonctionnement après des perturbations, et elle explique la persistance des équilibres dans les modèles écologiques, physiologiques et économiques.

History

La thèse de Lyapunov de 1892 a fondé la théorie générale de la stabilité du mouvement et a introduit à la fois la linéarisation et la méthode directe basée sur les fonctions. L'analyse qualitative des systèmes planaires de Poincaré a fourni l'image géométrique, et le milieu du XXe siècle a ajouté le théorème de Hartman-Grobman et le principe d'invariance de LaSalle.

Key figures

• Aleksandr Lyapunov
• Henri Poincare
• Philip Hartman
• Joseph LaSalle

Seminal works

• perko2001
• khalil2002

Frequently asked questions

Quelle est la différence entre la stabilité de Lyapunov et la stabilité asymptotique ?

La stabilité de Lyapunov signifie que les solutions proches restent proches pour tout temps, mais elles n'ont pas nécessairement à s'approcher de l'équilibre. La stabilité asymptotique ajoute l'exigence que les solutions proches convergent effectivement vers l'équilibre à mesure que le temps augmente.

Quand la linéarisation ne permet-elle pas de décider de la stabilité ?

La linéarisation n'est concluante qu'aux équilibres hyperboliques, où le Jacobien n'a pas de valeurs propres sur l'axe imaginaire. Dans le cas limite non hyperbolique, comme un centre pur, les termes non linéaires peuvent déterminer la stabilité, et une fonction de Lyapunov ou une analyse de variété centrale est nécessaire.