AnalyseObjet mathématique · Glossaire
Asymptotiquement stable (solution d'une équation différentielle)
Une solution d'équilibre d'une équation différentielle est dite asymptotiquement stable si elle est stable au sens de Lyapunov et si de plus toute solution partant suffisamment proche de l'équilibre converge vers cet équilibre quand le temps tend vers l'infini. La stabilité de Lyapunov signifie que les solutions restent proches de l'équilibre si elles en partent proches. L'asymptotique stabilité ajoute une condition d'attraction : les perturbations s'amortissent. On utilise souvent des fonctions de Lyapunov pour prouver cette stabilité.
Sommaire
Ce que vous allez apprendre
- Distinguer la stabilité de Lyapunov de l'attraction et comprendre pourquoi les deux sont nécessaires.
- Vérifier la convergence vers l'équilibre sur l'équation x' = −2x.
- Repérer les limites d'une conclusion locale et d'un contrôle portant sur une seule trajectoire.
En clair
Imaginez une bille légèrement écartée du fond d'un bol, avec des frottements qui dissipent son mouvement. Elle ne s'éloigne pas indéfiniment : elle revient vers le fond et finit par s'en approcher autant que souhaité. Une solution d'équilibre asymptotiquement stable se comporte de cette façon.
Deux idées sont nécessaires. Un départ proche doit d'abord produire une trajectoire qui reste proche. Ensuite, cette trajectoire doit se rapprocher de plus en plus de l'équilibre lorsque le temps passe.
Définition
Considérons une équation différentielle autonome dont l'état au temps t est noté x(t). Un état xe est un équilibre lorsque la solution qui part de cet état y demeure. Cet équilibre est asymptotiquement stable s'il réunit stabilité et attraction dans un voisinage.
La stabilité au sens de Lyapunov signifie que toute trajectoire issue assez près de xe reste aussi près que souhaité, à condition de choisir son point de départ suffisamment proche. L'attraction locale signifie qu'il existe un voisinage de xe tel que toute trajectoire qui y part converge vers xe quand t tend vers l'infini. Les deux conditions sont indispensables.
Le mot « asymptotiquement » décrit donc un comportement à long terme, et non une arrivée nécessaire en temps fini. Une fonction de Lyapunov fournit souvent la preuve : elle mesure un écart à l'équilibre et doit décroître le long des trajectoires selon des conditions adaptées au système étudié.
De quoi c'est fait
La notion articule cinq éléments. L'équation différentielle fixe l'évolution possible. L'équilibre est la solution constante examinée. Le voisinage initial précise quels départs sont assez proches. Les trajectoires décrivent les solutions issues de ces départs. Enfin, le temps long permet d'observer leur convergence.
L'équation relie chaque départ à sa trajectoire, puis la distance entre cette trajectoire et l'équilibre sert aux deux contrôles. Elle doit rester petite pour la stabilité de Lyapunov et tendre vers zéro pour l'attraction. Ces données permettent donc de calculer l'écart et de tester les deux conditions. Le tracé d'une courbe aide à voir ces comportements, mais sa couleur, son échelle ou son orientation ne définissent pas la stabilité.
Un exemple, pas à pas
On étudie l'équation . L'équilibre visé est 0. Le départ principal vaut x(0) = 3 ; un départ perturbé vaut x(0) = 2,4. Le temps t est positif ou nul.
1. La solution issue de 3 est . Elle reste positive et ne dépasse jamais sa valeur initiale.
2. Au temps t = 1, cette solution vaut 3e−2 ≈ 0,406. La perturbation a donc déjà été fortement amortie.
3. Le départ 2,4 donne de même . Les deux trajectoires restent proches de 0 et convergent vers 0 lorsque t tend vers l'infini.
Le contrôle se refait directement : pour tout temps positif, le facteur e−2t est compris entre 0 et 1, puis tend vers 0. L'équilibre 0 est donc stable et attractif pour ces départs ; le même calcul vaut pour tout départ réel.
En pratique
Pour étudier un modèle, on commence par repérer une solution d'équilibre, puis on imagine une petite perturbation de l'état initial. Si les solutions voisines s'éloignent, l'équilibre n'est pas stable ; si elles restent proches et reviennent, l'asymptotique stabilité est plausible.
Quand l'équation se résout explicitement, on compare directement les solutions à l'équilibre et on calcule leur limite. C'est le geste employé pour x' = −2x.
Quand une formule explicite manque, on cherche plutôt une fonction de Lyapunov. Sa décroissance le long des trajectoires peut établir l'amortissement sans résoudre chaque solution.
À ne pas confondre
Stabilité au sens de Lyapunov. Elle exige que les trajectoires parties près de l'équilibre restent près de lui, mais pas qu'elles y convergent. Dans l'équation x' = 0, chaque solution reste à sa valeur initiale : l'équilibre 0 est stable, mais il n'attire aucun départ non nul.
Attraction. Constater qu'une trajectoire revient vers l'équilibre ne suffit pas à établir l'asymptotique stabilité. Dans l'exemple x' = −2x, le seul départ 3 ne tranche pas : il faut étendre le calcul aux départs d'un voisinage et vérifier qu'ils restent proches pendant toute leur évolution.
Limites et pièges
Portée locale. L'expression « suffisamment proche » ne promet rien pour un départ éloigné. Si l'étude ne contrôle qu'un voisinage de l'équilibre, il faut annoncer une stabilité asymptotique locale plutôt que conclure pour tous les états initiaux.
Convergence sans arrivée finie. Pour x(t) = 3e−2t, la valeur est strictement positive à tout temps fini, bien que sa limite soit 0. Chercher l'instant exact où la solution atteint 0 donnerait donc un faux critère.
Une trajectoire ne suffit pas. Le retour d'un départ particulier ne prouve pas la propriété du voisinage entier. Il faut formuler séparément le contrôle de proximité et la convergence pour tous les départs assez proches.
Fonction de Lyapunov incomplète. Une quantité qui ne fait que rester constante sur certaines trajectoires ne montre pas automatiquement leur attraction. Il faut vérifier les conditions de décroissance réellement nécessaires avant de conclure à l'asymptotique stabilité.
Pour aller plus loin
Une fonction de Lyapunov ouvre une voie plus générale que le calcul explicite des solutions. En choisissant une quantité positive qui s'annule à l'équilibre et décroît le long des trajectoires, on peut relier une information locale sur l'évolution à un comportement durable du système.
L'étape suivante consiste à préciser le domaine d'attraction : l'ensemble des états initiaux dont la trajectoire converge vers l'équilibre. Cette question distingue ce qui est seulement garanti près de l'équilibre de ce qui vaut pour tous les départs admis par le modèle.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres