Stabilité de Liapounov
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Liapounov.
En mathématiques, la notion de stabilité de Liapounov (ou, plus correctement, de stabilité au sens de Liapounov ; parfois orthographié Lyapunov suivant la graphie anglaise) apparaît dans l'étude des systèmes dynamiques. Elle joue un rôle prépondérant en automatique, et plus spécifiquement en théorie du contrôle. De manière générale, la notion de stabilité joue également un rôle en mécanique, dans les modèles économiques, les algorithmes numériques, la mécanique quantique, la physique nucléaire, etc.
Un exemple typique de système stable au sens de Liapounov est celui constitué d'une bille roulant sans frottement au fond d'une coupelle ayant la forme d'une demi-sphère creuse : après avoir été écartée de sa position d'équilibre (qui est le fond de la coupelle), la bille oscille autour de cette position, sans s'éloigner davantage : la composante tangentielle de la force de gravité ramène constamment la bille vers sa position d'équilibre. En présence d'un frottement visqueux (si l'on ajoute par exemple un peu d'huile au fond de la coupelle), les oscillations de la bille sont amorties et celle-ci revient à sa position d'équilibre au bout d'un certain temps (théoriquement infiniment long) : cet amortissement est dû à la dissipation d'énergie sous forme de chaleur. Le système est alors asymptotiquement stable. Si maintenant on retourne la coupelle, le sommet de celle-ci (ayant toujours la forme d'une demi-sphère) est encore une position d'équilibre pour la bille. Mais à présent, si l'on écarte la bille d'une quantité infinitésimale en absence de frottement, cette bille se met à rouler sur la paroi de la coupelle en tombant ; elle s'écarte sans retour de sa position d'équilibre, car la composante tangentielle de la force de gravité éloigne constamment la bille de sa position d'équilibre. Un tel système est dit instable.
De manière moins imagée, si tout mouvement d'un système issu d'un voisinage suffisamment petit d'un point d'équilibre demeure au voisinage de ce point, alors est dit stable au sens de Liapounov (rigoureusement parlant, ce n'est pas un système dynamique qui peut être stable au sens de Liapounov mais un point d'équilibre de ce système ; certains systèmes peuvent avoir plusieurs points d'équilibre, les uns stables, les autres instables). Le théorème central d'Alexandre Liapounov dit qu'un point d'équilibre est stable (au sens de Liapounov) pour un système dynamique (décrit par une équation différentielle du type ) si et seulement s'il existe une fonction vérifiant certaines conditions précises et liées à la fonction de l'équation différentielle et à . Le problème de la stabilité se ramène donc à chercher une telle fonction (dite fonction de Liapounov), souvent par tâtonnement. Les conditions que doit vérifier une fonction de Liapounov du problème dynamique (purement mathématique) rappellent les conditions que doit vérifier l'énergie potentielle pour qu'il y ait stabilité d'un point d'équilibre d'un système physique (voir, infra, le premier et le troisième paragraphe de l'introduction historique : Stabilité au sens de Lagrange-Dirichlet et L’œuvre de Liapounov).
D'autres notions de stabilité peuvent être traitées de manière similaire. Par exemple :
- la stabilité asymptotique (si tout mouvement issu d'un voisinage suffisamment petit U de reste au voisinage de ce point et converge vers ). Cette stabilité asymptotique est dite globale si U est l'espace tout entier ;
- la stabilité structurelle (si lorsque l'équation différentielle est perturbée par un terme suffisamment petit, ses orbites ou trajectoires[1] restent peu modifiées).
Les cas d'instabilité peuvent donner lieu à des comportements chaotiques.
Dans le cas de systèmes linéaires aux paramètres incertains, la recherche d'une fonction de Liapounov peut se formaliser en un problème d'optimisation et, lorsque celui-ci est convexe, il existe des algorithmes de résolution efficaces. Il existe également des méthodes permettant de réaliser un bouclage de manière qu'une fonction de Liapounov, choisie à l'avance, garantisse la stabilité.
Exemples
Les exemples qui suivent sont traités grâce aux théorèmes énoncés et démontrés dans la suite de cet article. Ces exemples ont pour rôle de motiver ces théorèmes et les définitions, parfois un peu techniques, qui sont également nécessaires. Les systèmes considérés ont des coefficients qui ne dépendent pas du temps (ils sont régis par des équations différentielles autonomes). Pour de tels systèmes, les notions délicates d'uniformité sont inutiles, ce qui simplifie considérablement les concepts.
Exemple 1
Considérons le système dynamique défini par l'équation différentielle du premier ordre
- .
Pour déterminer les points d'équilibre réels, on écrit , d'où , ce qui équivaut à : c'est l'unique point d'équilibre. Le but est de déterminer si ce point d'équilibre est stable sans avoir à résoudre l'équation différentielle.
Soit alors la fonction ; on peut l'assimiler à une énergie puisque cette fonction est strictement positive sauf au point d'équilibre (on dit qu'elle est définie positive) et elle est « globalement propre » (ou « radialement non bornée »), c'est-à-dire que lorsque . Calculons maintenant la dérivée de cette fonction le long des trajectoires du système. Elle s'écrit pour , soit donc . Par conséquent, pour tout (on dit par conséquent que la fonction est définie positive, ou encore que est définie négative). Cette énergie est donc toujours strictement décroissante. Le théorème de Liapounov, explicité plus bas, montre que cette énergie devra nécessairement s'annuler, c'est-à-dire que l'état x du système va nécessairement converger vers 0 quelle que soit la condition initiale. On dit que V est une fonction de Liapounov et que le point d'équilibre 0 est globalement asymptotiquement stable.
Exemple 2
Envisageons maintenant un système plus compliqué, pour lequel la fonction de Liapounov ne sera pas aussi simple: soit le système
- .
L'origine est de nouveau un point d'équilibre. Soit cette fois . On peut écrire cette quantité sous la forme
- .
Elle est donc définie positive (au sens précisé plus haut, et bien qu'il ne s'agisse pas d'une forme quadratique) et globalement propre, et peut de nouveau être considérée comme une énergie, dans un sens généralisé. Un calcul semblable au précédent donne
où et sont les quantités définies plus haut en fonction de et . On vérifie que
et est donc définie négative. Par le même raisonnement que dans le premier exemple, V est une fonction de Liapounov, et le théorème de Liapounov permet de conclure que le point d'équilibre est globalement asymptotiquement stable.
Exemple 3
Soit maintenant le système
avec . Étudions de nouveau la stabilité du point d'équilibre . Pour x voisin de 0, on peut considérer ce système comme « quasi linéaire » (voir infra) et on peut l'approcher par le système linéaire (en négligeant les termes du second ordre)
soit encore avec . On vérifie facilement que les valeurs propres de A sont . La condition nécessaire et suffisante de stabilité d'un système linéaire à coefficients constants (voir infra) montre alors que 0 est asymptotiquement stable pour ce système linéaire, puisque ces valeurs propres appartiennent toutes deux au demi-plan gauche ouvert du plan complexe. Par conséquent, d'après le théorème de Perron, donné plus bas, l'origine est asymptotiquement stable pour le système non linéaire envisagé.
La question se pose maintenant de savoir si cette stabilité asymptotique est globale ou non. D'après le Critère de Liapounov (voir infra), il existe une unique solution symétrique réelle définie positive P à l'équation algébrique dite de Liapounov
- .
En résolvant cette équation, on obtient en effet . Par conséquent, la fonction est une fonction de Liapounov pour l'approximation linéaire. Voyons maintenant ce qu'il en est pour le système non linéaire initial. On obtient
soit encore
- .
Par conséquent,
- pour , la fonction est définie négative, et l'origine est donc globalement asymptotiquement stable pour le système non linéaire. De plus, d'où, pour une condition initiale , on a pour tout
- d'où
et le point d'équilibre 0 est dit globalement exponentiellement stable.
- Pour , prenons un état initial situé à l'extérieur de la boule : alors , donc ne peut qu'augmenter, et par suite l'état du système ne peut que s'éloigner de cette boule. L'origine n'est donc pas globalement asymptotiquement stable. Son bassin d'attraction est la boule ouverte , car pour un état initial situé dans cet ensemble, , et l'« énergie » va diminuer jusqu'à s'annuler à l'origine.
Exemple 4
Considérons enfin le système
et envisageons comme « candidate » pour être fonction de Liapounov
- .
On a , c'est donc une fonction définie positive et globalement propre. Un calcul simple montre que . La fonction est donc seulement semi-définie positive, puisqu'elle s'annule sur la droite . Le théorème de Liapounov permet de conclure que l'origine est stable (c'est-à-dire que si la condition initiale est voisine de 0, l'état restera proche de 0), mais ne permet pas de conclure qu'elle est asymptotiquement stable. Mais si , alors , donc . De plus, , donc ne peut rester nul que si . On exprime ceci en disant que le plus grand ensemble invariant inclus dans l'ensemble des x tels que se réduit à l'origine. Le théorème de Krasovsky-LaSalle (voir infra) permet alors de conclure que l'origine est globalement asymptotiquement stable.
Conclusion
Ces quatre exemples montrent les points suivants :
- (i) La détermination d'une fonction de Liapounov est un problème délicat. Celles des exemples 2 et 4 ont été obtenues après des tâtonnements.
- Remarque : méthode « du gradient variable »[2],[3]. Si 0 est un point d'équilibre pour l'équation différentielle , où f est une fonction polynomiale, cette méthode peut être utilisée pour rechercher de manière systématique une fonction de Liapounov polynomiale V. On pose que les composantes de son gradient doivent être de la forme . Les étant des fonctions polynomiales choisies de sorte que , il existe V telle que . Si de plus on peut choisir les de sorte que et pour , alors V est une fonction de Liapounov et 0 est un point d'équilibre asymptotiquement stable.
- (ii) Les théorèmes de Liapounov, qui sont les plus connus, sont parfois insuffisants, et à l'exemple 4 on n'a pu conclure que grâce au théorème de Krasovsky-LaSalle.
Recadrer ces exemples dans un contexte général demande des développements non triviaux.
Introduction historique
On tente ci-dessous de retracer les grandes étapes de l'évolution de la théorie de la stabilité. Les contributions depuis plus d'un siècle sont innombrables et l'exposé qui suit n'est bien évidemment pas exhaustif[4].
Stabilité au sens de Lagrange-Dirichlet
C'est tout d'abord les systèmes mécaniques dont la stabilité a été étudiée. Soit un système conservatif (c'est-à-dire soumis à des forces qui dérivent toutes d'un potentiel) à n degrés de libertés et le vecteur de ses coordonnées généralisées. Le mouvement vérifie l'équation de Lagrange
où , étant l'énergie cinétique, supposée être une forme quadratique semi-définie positive en , et étant l'énergie potentielle. L'équation de Lagrange s'écrit de manière équivalente
- .
Les équilibres sont donc solutions de . Joseph-Louis Lagrange, généralisant le principe de Evangelista Torricelli (1644) suivant lequel un corps pesant a tendance à aller vers la position d'équilibre où son centre de gravité est le plus bas, a énoncé en 1788 le principe suivant : si l'énergie potentielle possède un minimum relatif strict (« condition de Lagrange »), l'équilibre en ce point est stable. La démonstration de Lagrange était toutefois incorrecte, sauf dans le cas où l'énergie potentielle est une forme quadratique. C'est Johann Peter Gustav Lejeune Dirichlet qui, le premier, a pu donner du principe de Lagrange une démonstration générale et rigoureuse en 1846. Il a montré que, si la condition de Lagrange est vérifiée au point , si le système est à l'équilibre en ce point, et si on l'en écarte suffisamment peu et suffisamment lentement, le vecteur q reste aussi proche que l'on veut de ce point : c'est ce qu'on appelle la stabilité au sens de Lagrange-Dirichlet (si Dirichlet avait supposé que l'énergie cinétique est une forme quadratique définie positive en , il aurait obtenu la stabilité au sens de Liapounov, à savoir que également serait resté aussi proche que l'on veut de 0 ; cela sera détaillé plus loin, en application du théorème de stabilité de Liapounov).
Stabilité au sens de Poisson ou de Poincaré
Siméon Denis Poisson, quant à lui, a défini la stabilité d'un système comme étant la propriété suivante : tout mouvement de celui-ci retourne un nombre infini de fois dans un voisinage arbitrairement petit de son état initial. Poincaré, qui s'est durablement intéressé à la stabilité des orbites des planètes du système solaire, est allé plus loin : tout d'abord dans son fameux mémoire Sur le problème des trois corps et les équations de la dynamique (1889) ; puis, celui-ci comportant une erreur, dans ses Méthodes Nouvelles de la mécanique céleste , parues entre 1892 et 1899. Au cours de ces travaux, Poincaré a été amené à définir la stabilité orbitale, encore appelée aujourd'hui stabilité au sens de Poincaré. Il a ajouté à la définition de Poisson la condition que la « propriété de récurrence » des mouvements du système doit être satisfaite avec une probabilité égale à 1 ; il a appelé la propriété obtenue la stabilité au sens de Poisson et a établi ce qu'on appelle aujourd'hui le « théorème de récurrence de Poincaré ». Ces résultats, complétés en 1901 par ceux d'Ivar Bendixson (voir le théorème de Poincaré-Bendixson), conduiront George David Birkhoff à établir le « théorème de Poincaré-Birkhoff » (1912), à définir la notion d'ensemble limite (en) (1927), dont il sera question plus loin, puis à démontrer son théorème ergodique (1931).
Joseph Liouville a appliqué le principe de Lagrange aux mouvements d'un fluide en rotation en 1842, puis en 1855. Ses résultats ont été peu convaincants, et le problème a intéressé Pafnouti Tchebychev en 1882 ; il l'a confié à Alexandre Liapounov dans le cadre de sa maîtrise.
L’œuvre de Liapounov
Liapounov a tout d'abord repris la méthode de Liouville, puis s'est vivement intéressé à la démonstration de Dirichlet. Aux yeux de Liapounov, le point essentiel était que l'énergie totale est une « fonction définie positive » en , qui reste constante tandis que système bouge. Cette énergie totale allait devenir en 1892, dans sa thèse de doctorat intitulée Le problème général de la stabilité du mouvement, ce que nous appelons aujourd'hui une « Fonction de Liapounov ». Cette thèse est d'abord parue en russe, puis traduite en français en 1908, et en anglais pour son centenaire, en 1992[5]. Dans ce travail, Liapounov, influencé d'autre part par les travaux d'Edward Routh[6] avec son Treatise on the Stability of a Given State of Motion (1877), de William Thomson (Lord Kelvin) et Peter Guthrie Tait avec leur Treatise of Natural Philosophy (1879), de Nikolaï Iegorovitch Joukovski qui avait fait sa thèse sur la stabilité du mouvement en 1882, et de Poincaré avec son mémoire de 1889 déjà mentionné, a également introduit les notions de stabilité (au sens que nous appelons aujourd'hui « de Liapounov ») et de stabilité asymptotique. Liapounov a d'autre part étudié la stabilité de l'origine pour les systèmes « quasi linéaires »
et est parvenu à la conclusion que, lorsque la matrice A est constante, et que 0 est asymptotiquement stable pour ce système lorsqu'il est linéaire (), alors il est également stable pour le système non linéaire lorsque pour . Durant les années qui ont suivi, Liapounov a continué d'étudier la stabilité de ces systèmes quasi linéaires dans le cas où la matrice constante A du système linéaire a ses valeurs propres sur l'axe imaginaire. Ces travaux ont été retrouvés dans les papiers de Liapounov et publiés une dizaine d'années après qu'il se fut donné la mort en 1918.
Cas des systèmes linéaires
La stabilité dans le cas des systèmes linéaires à coefficients constants (stabilité asymptotique ou, de manière équivalente, exponentielle) a fait l'objet de critères algébriques. Un premier résultat a été obtenu par le mathématicien français Charles Hermite en 1856. Liapounov a lui-même établi deux critères en 1892, dans sa célèbre thèse de doctorat déjà mentionnée: celui qu'il est convenu d'appeler le « critère de Liapounov », détaillé plus bas, et un autre, s'appliquant spécifiquement au cas d'une seule équation différentielle scalaire. Mais dans ce cas, c'est le mathématicien anglais Edward Routh qui a franchi le pas décisif en 1875, en proposant son fameux critère. Celui-ci a été établi sous une forme différente, et de manière indépendante, par Adolf Hurwitz en 1895, à partir du travail d'Hermite. Il en est résulté le critère appelé depuis « de Routh-Hurwitz ». Celui-ci a été amélioré par les mathématiciens français Liénard et Chipart en 1914 (pour tous ces résultats, voir l'article Polynôme de Hurwitz).
Systèmes quasi linéaires et stabilité uniforme
La question s'est ensuite posée de la stabilité de 0 pour le système quasi linéaire ci-dessus lorsque cette fois, la matrice A dépend du temps : . Le résultat obtenu par Liapounov a tout d'abord paru généralisable tel quel à ce cas. Mais Oskar Perron en a exhibé en 1930 un exemple de système quasi linéaire pour lequel 0 est asymptotiquement stable lorsque , et est instable avec vérifiant la condition indiquée[7].
Les progrès de l'analyse, grâce notamment aux travaux de Maurice René Fréchet, ont alors permis à Ioėlʹ Guilievitch Malkine d'affiner les définitions de Liapounov et d'introduire la notion de stabilité uniforme dans les années 1940. Konstantin Petrovitch Persidski, dans son article « Sur la théorie de la stabilité des équations différentielles » (1946) a établi pour le système quasi linéaire ci-dessus, que si 0 est uniformément asymptotiquement stable lorsque , 0 est encore uniformément asymptotiquement stable lorsque vérifie la condition indiquée.
Notions et résultats complémentaires
Il n'était pas suffisant de définir clairement la stabilité uniforme ; il convenait d'étudier de plus près la stabilité asymptotique. La notion de stabilité exponentielle a été introduite par Malkine en 1935.
R. E. Vinograd a montré sur un exemple, en 1957, que l'attractivité d'un point d'équilibre n'entraîne pas sa stabilité asymptotique, même pour un système autonome. En revanche, A. Lewis a montré en 2017 que pour un système linéaire non autonome, l'attractivité de l'origine entraîne sa stabilité asymptotique, et que l'attractivité uniforme de l'origine entraîne sa stabilité asymptotique uniforme[8].
Nikolaï Tchetaïev a énoncé en 1934 un important critère d'instabilité de l'origine, généralisant un autre critère obtenu par Liapounov en 1892 (le théorème de Tchetaïev a lui-même été généralisé par plusieurs auteurs, dont José Luis Massera en 1956[9] et James A. Yorke (en) en 1968[10],[11]). Les livres de Malkine (Theory of Stability of Motion, 1952), Nikolaï N. Krasovskii (Stability of Motion, 1959) et l'article de Massera déjà mentionné, ont contribué à donner à ces résultats leur forme définitive. Une addition importante est celle faite par Evgeny Alekseïevitch Barbachine et Krasvossky en 1952 en Russie, et indépendamment par Joseph P. LaSalle en 1960 aux États-Unis, du « Principe d'invariance (en) de Krasovsky-LaSalle ». Ce principe a tout d'abord été obtenu pour les systèmes autonomes ; sa généralisation au cas des systèmes non autonomes, qui est non triviale, a été réalisée par Jack K. Hale et LaSalle en 1967.
La méthode des fonctions de Liapounov a été étendue sans grande difficulté au cas des systèmes à temps discret grâce aux contributions de Ta Li (qui a donné en 1934 un exemple correspondant, pour le cas des systèmes à temps discret, à celui de Perron) et Wolfgang Hahn (1958) notamment. Rudolf Kalman et J. E. Bertram ont fait une synthèse d'une partie de ces résultats en 1960 dans un article qui est resté classique[12].
L'approche inaugurée par Liapounov pour les systèmes définis par une équation différentielle a été étendue au cas des systèmes définis par une équation différentielle retardée vers la fin des années 1950 et le début des années 1960 par Krasvosky et Boris Sergueïevitch Razoumikhine ; le principe d'invariance de Krasovsky-LaSalle a été étendu à ces systèmes par Hale en 1965, et on doit à cet auteur une synthèse, plusieurs fois rééditée et à chaque fois augmentée, de l'ensemble de ces résultats[13].
La théorie qualitative des équations différentielles, initiée par Poincaré et Birkhoff, a continué d'être développée par Viktor Vladimirovich Nemytskii et V. V. Stepanov dans leur livre Qualitative Theory of Differential Equations, paru en 1947 ; ce travail, complété par celui de Nemytsky en 1949, a conduit Walter Gottschalk et Gustav A. Hedlund en 1955, Solomon Lefschetz en 1958, Vladimir Ivanovitch Zoubov en 1961 (voir la méthode de Zubov (en)), J. Auslander et P. Seibert en 1964, A. Strauss et (de manière indépendante) Nam Parshad Bhatia en 1966, à considérer un système dynamique comme étant défini par un semi-groupe (un système défini par une équation différentielle en étant un cas particulier), et à étudier la stabilité (ou la stabilité asymptotique) d'un ensemble compact pour un tel système au moyen d'une « fonction de Liapounov généralisée », continue mais non différentiable[11].
Pour établir certains résultats d'attractivité, un lemme classique est parfois utile : le lemme de Barbalat[14],[15],[16].
Réciproques
Les théorèmes de Liapounov et ses compléments divers disent essentiellement que si, pour un point d'équilibre donné, par exemple l'origine, on peut trouver une fonction de Liapounov, alors ce point d'équilibre est stable (ou asymptotiquement stable, uniformément asymptotiquement stable, etc., suivant la nature exacte de cette fonction de Liapounov). La réciproque a également été étudiée. K. P. Persidsky a montré en 1933 que, si 0 est un point d'équilibre stable d'un système non linéaire, il existe une fonction de Liapounov dont la dérivée le long du champ de vecteurs de l'équation est semi-définie négative. Malkine a démontré en 1954 que, si 0 est un point d’équilibre uniformément asymptotiquement stable, il existe une fonction de Liapounov dont cette même dérivée est définie négative. Ces résultats, et quelques autres, ont été rassemblés en 1962 par Massera (à qui on doit le « lemme de Massera (en) », qui joue un rôle important pour ces questions) dans un article. L'exposé systématique de tous ces travaux a été réalisé par Hahn en 1967 et (dans une perspective un peu différente) par Bhatia et Giorgio P. Szegö en 1970, dans des livres qui font encore autorité[17],[11].
Stabilité structurelle
Poincaré, au volume III de son mémoire Méthodes Nouvelles de la Mécanique Céleste, avait découvert les orbites homoclines et hétéroclines (voir infra), au voisinage desquelles se manifeste une dépendance sensitive des conditions initiales (dans la terminologie actuelle). Balthasar van der Pol avec son oscillateur en 1928, puis Aleksandr Andronov et Lev Pontriaguine en 1937, ont développé les idées de Poincaré sur la stabilité orbitale jusqu'à parvenir à la notion de stabilité structurelle d'un système. Andronov et Pontriaguine ont appelé « système grossier » un système structurellement stable, et démontré ce qu'on appelle aujourd'hui le « critère d'Andronov-Pontryagin (en) ». Ces résultats ont été généralisés par Maurício Peixoto (en) en 1959, puis par Vladimir Arnold, Dmitri Anossov, Yakov G. Sinai, Stephen Smale et René Thom notamment, dans les années 1960. Ces travaux ont conduit à la théorie du chaos qui s'est développée dans les années 1970.
Applications aux systèmes bouclés
Les fonctions de Liapounov ont été utilisées pour étudier la stabilité des systèmes bouclés par M. A. Aizerman (1947) (dont la conjecture s'est révélée fausse mais a été à l'origine de nombreux travaux sur la stabilité absolue (en)), A. Lur'e (1957), V. N. Postnikov et Aleksandr Mikhailovitch Letov (1961) ; Vasile M. Popov (en) (théorie de l'hyperstabilité et critère de Popov, 1961-1962), Rudolf Kalman (1963) et Vladimir Andreïevitch Yakoubovitch (en) (1964 : Lemme de Kalman-Yakubovich-Popov (en)). Alors que les résultats de Liapounov sur la stabilité de 0 pour un système « presque linéaire » incitaient à rechercher assez systématiquement des fonctions de Liapounov quadratiques, ces travaux ont montré qu'il fallait dans de nombreux cas envisager une classe de fonctions de Liapounov beaucoup plus large, en l'occurrence comprenant un terme quadratique et un terme dépendant du temps, sous forme d'une intégrale fonction de sa borne supérieure. Par ailleurs, Kalman a montré en 1960 que pour un système linéaire stationnaire, la théorie de commande optimale pouvait fournir des fonctions de Liapounov. La théorie de la passivité ou de la dissipativité, d'abord apparue dans le cadre des circuits électriques, puis placée dans un cadre général à partir du milieu des années 1960, peut également être établie grâce l'emploi de fonctions de Liapounov. Bruce A. Francis et W. M. Wonham ont introduit en 1975 la notion de « synthèse structurellement stable », c'est-à-dire un asservissement qui confère au système bouclé une stabilité structurelle en présence de perturbations dont la dynamique est connue[18]. Avec le passage du qualitatif au quantitatif, dans les années qui ont suivi, est née la problématique de la commande robuste, dont une des approches, datant du milieu des années 1990, est la recherche d'une fonction de Liapounov quadratique optimale au moyen d'un algorithme d'optimisation convexe, sur la base d'inégalités matricielles linéaires[19]. Le mathématicien russe V. L. Kharitonov a montré en 1978 que pour étudier la stabilité d'un système régi par une équation différentielle scalaire à coefficients constants mais incertains et compris entre des bornes données, il est suffisant de tester si quatre polynômes seulement (les polynômes que l'on appelle maintenant « de Kharitonov ») sont de Hurwitz (voir l'article Théorème de Kharitonov (en)) ; le résultat de Kharitonov n'a été connu en Occident qu'en 1988. Vers le milieu des années 1990 est apparue, sous l'impulsion d'Eduardo Sontag, une méthode de conception de régulateurs pour des systèmes non linéaires, fondée sur la notion de stabilité entrée-état (en) (« input-to-state stability »[20]) et l'utilisation d'une fonction de Liapounov.
Définition de certains types de stabilité
Ainsi qu'il ressort de l'historique ci-dessus, il existe de nombreux types de stabilité : au sens de Lagrange-Dirichlet, Joukovski, Poisson, Poincaré, Liapounov, etc. Nous envisagerons ci-dessous les plus importants. Puis nous donnerons les principaux théorèmes de stabilité et d'instabilité. On est amené à distinguer le cas d'un système autonome (c'est-à-dire dont les coefficients ne dépendent pas explicitement de la variable t, qu'on peut considérer comme désignant le temps) et le cas d'un système non autonome. Dans ce dernier cas apparaît la notion délicate d'uniformité, qui rend les définitions (et les résultats) beaucoup plus complexes. Il est donc vivement conseillé de se contenter, dans une première lecture, de ne considérer que le cas des systèmes autonomes.
Cas d'un système autonome
Soit un système autonome
(A)::
où est une application supposée localement lipschitzienne sur l'ouvert contenant l'origine . On suppose que 0 est un point d'équilibre du système, c'est-à-dire que . Soit l'unique solution maximale de l'équation différentielle (A), vérifiant la condition initiale .
Les définitions qui suivent seraient incompréhensibles sans l'emploi de quantificateurs (et n'ont pu être rendues précises que grâce à cet emploi).
Le point d'équilibre 0 du système (A) est :
- stable au sens de Liapounov si : tel que : dès que , est définie sur un intervalle contenant & ;
- instable s'il n'est pas stable (en particulier, si n'est définie que sur un intervalle , , n'est pas stable[17]. Cela ne peut se produire que si , désignant la frontière de D) ;
- asymptotiquement stable s'il est stable et si : quand ;
- globalement asymptotiquement stable s'il est stable, et l'implication ci-dessus est valide pour tout ;
- exponentiellement stable s'il est stable et : tels que pour tous et ,
- ;
- semi-globalement exponentiellement stable si , s'il est stable et : , tels que pour tous et ,[réf. nécessaire]
- ;
- globalement exponentiellement stable si et, dans la définition de la stabilité exponentielle, ne dépendent pas de , i.e. est quelconque.
Cas d'un système non autonome
Considérons maintenant un système non autonome
(E) :
où est localement lipschitzienne par rapport à la première variable sur l'ouvert , et où .
Pour un tel système, on distingue la stabilité uniforme de la stabilité, la stabilité asymptotique uniforme de la stabilité asymptotique, etc., alors que pour un système autonome, ces notions coïncident.
Soit un point d'équilibre du système, c'est-à-dire vérifiant . Soit et l'unique solution maximale de l'équation différentielle (E) vérifiant la condition initiale .
Le point d'équilibre est[21] :
- stable si : tel que : dès que , est définie sur un intervalle contenant & ;
- instable s'il n'est pas stable ;
- uniformément stable s'il est stable et si la quantité ci-dessus est indépendante de (et peut donc s'écrire ) ;
- attractif si : ;
- globalement attractif si et, ci-dessus, est remplacé par ;
- uniformément attractif si
-
- ;
- globalement uniformément attractif si et, ci-dessus, est remplacé par ;
- asymptotiquement stable (resp. globalement asymptotiquement stable) s'il est stable et attractif (resp. globalement attractif) ;
- uniformément asymptotiquement stable s'il est uniformément stable et uniformément attractif ;
- uniformément borné si
;
- globalement uniformément asymptotiquement stable s'il est stable, globalement uniformément attractif et uniformément borné.
- exponentiellement stable s'il est stable et
- ;
- globalement exponentiellement stable s'il est stable, et
- .
On précise parfois que la stabilité exponentielle, telle que définie ci-dessus, est uniforme, par opposition à une stabilité exponentielle non uniforme qui serait une condition moins stricte.
Stabilité d'un mouvement
Stabilité d'un mouvement ou d'un ensemble positivement invariant
Soit un mouvement du système (E), c'est-à-dire une solution maximale de l'équation différentielle (E) sur . En remplaçant dans ce qui précède par , on définira comme ci-dessus un mouvement stable, attractif, asymptotiquement stable, etc.
Soit M un sous-ensemble de D. Cet ensemble est dit positivement invariant si pour tout mouvement tel que pour un instant , on a . On peut de même définir un ensemble positivement invariant stable, attractif, asymptotiquement stable, etc., en remplaçant ci-dessus par où (le plus souvent, M est compact, et dans ce cas on peut remplacer par ).
Soit un mouvement. Son orbite (ou trajectoire) est son image
- .
Si est l'instant initial, la semi-orbite positive de est .
Les ensembles et sont connexes (en tant qu'images d'un ensemble connexe par une application continue).
Stabilité au sens de Poincaré
Il est clair qu'une semi-orbite positive est un ensemble positivement invariant. On peut donc parler d'une semi-orbite positive stable, asymptotiquement stable, etc. On dit parfois d'un mouvement dont la semi-orbite positive est stable (resp. asymptotiquement stable, ...) qu'il est orbitalement stable (resp. orbitalement asymptotiquement stable, ...). La stabilité orbitale est également appelée stabilité au sens de Poincaré. C'est une notion plus faible que la stabilité au sens de Liapounov.
Stabilité structurelle et robustesse
Stabilité structurelle
La notion de stabilité structurelle est liée à la stabilité au sens de Poincaré. L'équation d'un système est toujours connue avec une certaine imprécision. Le système est dit structurellement stable si cette imprécision, à condition qu'elle soit suffisamment faible, n'entraîne pas une trop grande variation de ses orbites. Par exemple, un oscillateur pur (sans frottement) a des orbites circulaires. Dès qu'on rajoute un frottement visqueux, aussi faible soit-il, ces orbites deviennent des spirales tendant vers l'origine : l'oscillateur pur n'est donc pas structurellement stable, contrairement à l'oscillateur avec frottement visqueux.
Au plan mathématique[22], soit le système défini par l'équation différentielle (A) où f est de classe . Le champ de vecteurs f étant impossible à connaître exactement, on peut supposer qu'on en connaît une approximation g, ce second de champ de vecteurs, lui aussi de classe , étant « proche » de f. On conviendra que sera le cas si la quantité est suffisamment petite, où est la norme définie sur l'espace des (germes de) champs de vecteurs continûment différentiables sur un voisinage ouvert de , étant un ouvert connexe et son adhérence, supposée compacte, par
où est la différentielle de X au point x. Soit un homéomorphisme. On dit que h est un -homéomorphisme si .
Par abus de langage, on appellera orbites de f les orbites du système (A), et on parlera de même des orbites de g.
Définition — Le champ de vecteurs f (ou le système (A)) est dit structurellement stable si pour tout , il existe tel que pour tout champ de vecteurs g de classe sur vérifiant , il existe un -homéomorphisme qui envoie chaque orbite de f sur une orbite de g.
Robustesse
La problématique de la robustesse d'un système ressemble celle de la stabilité structurelle : un système est robuste si son comportement est peu sensible aux erreurs de modèle. Ce n'est pas ici le lieu de développer cette notion très importante. Disons simplement que, dans la théorie de la robustesse, le modèle du système peut être sujet à des erreurs plus grandes que dans celle de la stabilité structurelle. Ces erreurs comportent en général des dynamiques négligées. La notion de robustesse ne s'applique raisonnablement qu'à un système bouclé.
Attracteurs et chaos
Dépendance sensitive des conditions initiales
Considérons un système autonome (pour simplifier la présentation). Le point d'équilibre de ce système est instable s'il n'est pas stable, autrement dit
- & .
La dépendance sensitive des conditions initiales du flot est une condition légèrement différente. L'instant initial est fixé et égal à . Soit un sous-ensemble compact et invariant de D. Le flot g est dit dépendant de manière sensitive des conditions initiales sur si :
- &
où y et t dépendent tous deux de , et .
Orbites homoclines et hétéroclines
Supposons que . Soit tel que la fonction est définie sur , et soit l'orbite de x. Supposons qu'il existe deux points d'équilibre a et b tels que et . Cette orbite est dite homocline si et hétérocline sinon.
Attracteurs
Soit un ensemble positivement invariant fermé. Cet ensemble est dit topologiquement transitif si pour tous ouverts U et V inclus dans , il existe un instant (dépendant de U et V) tel que . Cela signifie donc intuitivement que tout point de devient arbitrairement proche de n'importe quel autre point de cet ensemble sous l'effet du flot.
Un attracteur est un ensemble attractif et topologiquement transitif.
Chaos
Soit un ensemble compact et positivement invariant. Cet ensemble est dit chaotique si le flot g dépend de manière sensitive des conditions initiales sur et cet ensemble est topologiquement transitif.
Un attracteur est dit étrange s'il est chaotique.
Fonctions de Liapounov et théorèmes de stabilité pour les systèmes non linéaires
Préliminaire
Montrons tout d'abord que l'étude de la stabilité d'un mouvement se ramène à celle de la stabilité d'un point d'équilibre.
Considérons le système défini par l'équation différentielle non linéaire (E). Soit un mouvement de ce système. Par définition, est une solution de (E), par conséquent . En posant , on obtient donc
où . L'étude de la stabilité du mouvement est donc ramené à celle du point d'équilibre 0 pour cette nouvelle équation différentielle ; on a .
Dans ce qui suit, on considère le système défini par (E), où pour tout , et on étudie la stabilité (ou l'instabilité) du point d'équilibre 0. On envisage également brièvement le cas où l'on s'intéresse à la stabilité (ou l'instabilité) d'un ensemble positivement invariant compact M.
Systèmes quasi linéaires
Avec les notations qui précèdent, on a d'après la formule des accroissements finis
(QL)::
avec et où
- .
En supposant continue, tend vers 0 lorsque y tendant vers 0. Si cette limite est uniforme par rapport à t pour, on dit que le système considéré est quasi linéaire. Par définition, en effet, le système (QL) est quasi linéaire si
uniformément par rapport à t.
Par exemple, supposons l'orbite compacte et f ne dépendant pas explicitement de t. Posons et où . Alors, d'après un théorème classique d'analyse, pour tout , il existe tel que entraîne . Le système (QL) est donc quasi linéaire.
Définitions
Il est nécessaire de donner tout d'abord quelques définitions concernant les fonctions qui vont fournir des généralisations de la notion d'énergie. On peut supposer sans perte de généralité, moyennant une translation dans , que le point d'équilibre auquel on s'intéresse est , D étant donc un voisinage ouvert de 0.
Le plus souvent, l'« énergie généralisée » est une fonction de x uniquement. Soit une fonction continue telle que . Elle est dite définie positive (resp. semi-définie positive) si (resp. ) pour . On définit de même une fonction définie négative et semi-définie négative.
Dans certains cas, néanmoins, il s'avère nécessaire de considérer une fonction de x et de t. Soit une fonction continue telle que pour tout , . Elle est dite définie positive s'il existe une fonction définie positive (au sens déjà précisé) telle que . Elle est dite semi-définie positive si . On définit de même une fonction définie négative et semi-définie négative.
On appelle fonction de classe une fonction continue strictement croissante telle que . On montre qu'une fonction continue est définie positive si, et seulement s'il existe une fonction de classe telle que .
Si la fonction V ne dépend que de x, elle est dite propre s'il existe un réel tel que l'ensemble
est compact ; elle est dite globalement propre (ou radialement non bornée, ou uniformément non bornée) si et est compact pour tout [23]. On montre qu'une fonction définie positive est propre[24]. Une fonction est dite globalement propre s'il existe une fonction globalement propre (au sens qui vient d'être défini) telle que .
Enfin, une fonction est dite une fonction de Liapounov pour (E) si elle permet de façon générale de tester la stabilité ou l'instabilité de son point d'équilibre 0[17],[25].
Supposons V continûment différentiable, et soit sa différentielle au point . A l'équation différentielle (E) il convient d'adjoindre l'équation où . La dérivée de Lie de V suivant le champ de vecteurs au point est la quantité
- .
Lorsque V ne dépend que de x, la définition ci-dessus se réduit évidemment à
- .
Remarque
Si est un mouvement du système, c'est-à-dire une solution de son équation différentielle, et si l'on pose et , les deux membres des deux expressions ci-dessus deviennent . Néanmoins, on se gardera de croire que v soit une fonction de Liapounov. Des abus d'écriture malencontreux conduisent parfois à cette conception erronée. Les démonstrations données plus bas devraient éclaircir ce point.
Théorèmes fondamentaux
Théorème de stabilité de Liapounov-Persidsky (1892, 1946) et sa réciproque (Persidsky, 1933) —
Soit le système (E). Il existe une fonction continûment différentiable définie positive telle que est semi-définie négative si, et seulement si 0 est un point d'équilibre stable. Si V telle que ci-dessus existe et, de plus, quand uniformément par rapport à t, alors 0 est uniformément stable.
La condition suffisante de stabilité est due à Liapounov (1892) : soit un nombre suffisamment petit pour que la boule fermée de centre 0 et de rayon , , soit incluse dans D, et la sphère de centre 0 et de rayon , i.e. . Puisque est un ensemble compact et que V est continue, V admet un minimum sur cet ensemble ; on a alors . D'autre part, V étant continue, il existe tel que . Soit la boule ouverte de centre 0 et de rayon , et soit . Puisque la fonction est décroissante, on a donc pour tout tel que est défini. Par conséquent pour toutes ces valeurs de t. Par suite, ne peut pas tendre vers la frontière de D et est donc prolongeable sur , ce qui montre la stabilité de 0.
Persidsky a en outre démontré l'uniformité de cette stabilité[24]. Il a également démontré la réciproque de la manière suivante : soit, et . On a de même . Par conséquent, est une fonction de x et de t ; on peut donc poser . Cette fonction est évidemment continûment différentiable, et . Puisque 0 est stable, il existe une fonction de classe telle que , donc , et par suite la fonction est définie positive.
Pour le théorème ci-dessous, on supposera que le système considéré est autonome, donc défini par l'équation différentielle (A)[26] (il existe diverses généralisations, non triviales, de ce théorème au cas des systèmes non autonomes[27] ; elles sont apparentées des résultats dus à V.M. Matrosov[24],[27]).
Principe d'invariance de Krasovsky-LaSalle (1953-1960) — Supposons qu'il existe une fonction continûment différentiable définie positive et un ensemble , inclus dans D, tel que . Soit M le plus grand sous-ensemble positivement invariant de l'ensemble . Alors, si est compact (ce qui est le cas si est suffisamment petit, et ce qui est toujours vrai si V est globalement propre), M est attractif pour l'ensemble , i.e. tout mouvement qui commence dans tend vers M.
L'ensemble compact est positivement invariant car dans cet ensemble. Soit . Alors la fonction est décroissante et minorée par 0, donc admet une limite finie pour . De même, .
Soit l'« ensemble limite » (au sens de Birkhoff) de , c'est-à-dire l'ensemble de tous les points pour lesquels il existe une suite strictement croissante de nombres réels telle que . Puisque l'ensemble limite est relativement compact, il est positivement invariant[24], et l'on doit montrer que .
Or, si , on a et, d'après la continuité de , ; donc, .
Voir comme application l'exemple 4.
On obtient la condition suffisante d'attractivité de 0 du théorème ci-dessous (et donc de stabilité asymptotique de 0 puisque sa stabilité résulte alors du théorème de Liapounov démontré plus haut) pour un système autonome (A) en appliquant le Principe d'invariance de Krasovsky-LaSalle avec .
Théorème de stabilité asymptotique (Liapounov, 1892; LaSalle, 1960) et sa réciproque (Massera, 1949) — Soit le système (A). Il existe une fonction définie positive telle que est définie négative si, et seulement si 0 est un point d'équilibre asymptotiquement stable. De plus, 0 est globalement asymptotiquement stable si V est globalement propre.
Remarque: Ce théorème peut se démontrer directement pour le système non autonome (E) ; une condition suffisante de stabilité asymptotique de 0 s'obtient alors avec une fonction de Liapounov continûment différentiable telle que est définie négative. Cette stabilité asymptotique est uniforme si uniformément par rapport à t quand , et elle est globale si V est globalement propre. Pour la réciproque, on obtient une fonction de Liapounov pour (E) non autonome mais 0 uniformément asymptotiquement stable (Massera, 1956) ; l'importance de l'uniformité a été reconnue par Malkine (1954). Si les coefficients de (E) sont périodiques, ceux de le sont également.
Voir comme applications les exemples 1, 2 et 3.
Terminons ce paragraphe par la stabilité exponentielle :
Théorème de stabilité exponentielle et sa réciproque — Soit le système (E) où f est localement lipschitzienne. Supposons qu'il existe une fonction continûment différentiable définie sur telle que , et pour laquelle il existe des réels tels que pour tout ayant une norme suffisamment petite et tout ,
(SE):: et .
Alors le point d'équilibre 0 est exponentiellement stable. Il est globalement exponentiellement stable si et les inégalités ci-dessus sont vérifiées pour tout (et tout ).
Réciproquement, supposons qu'il existe tels que
(C)::
pour tous tels que et . Alors il existe un réel et une fonction continûment différentiable définie pour et , ainsi que , vérifiant (SE) avec . Si (C) est vérifiée pour tous tels que et tout , alors V est définie sur et vérifie (SE) sur son domaine de définition (avec ).
Condition suffisante : On a pour tout
- .
Réciproque : Soit et . L'intégrale
est convergente et définit une fonction continûment différentiable V telle que . On a plus précisément
et donc . D'autre part,
- .
Puisque f est localement lipschitzienne, il existe tel que pour , ; quitte à redéfinir r et à le rendre suffisamment petit pour que , ce qui implique alors pour , on obtient donc
- .
Pour on a donc , par conséquent
- .
Les conditions sont donc remplies avec . L'extension au cas global est triviale.
Stabilité d'un compact pour un système défini par un semi-groupe
La solution du système autonome (A) vérifiant la condition initiale a les propriétés suivantes (l'instant initial étant supposé nul, ce qui n'induit pas de perte de généralité dans le cas d'un système autonome, cette quantité est omise dans les arguments de ) :
- , .
Si l'on suppose que ces quantités sont définies pour tous , on exprime ces propriétés en disant que le flot
définit le semi-groupe de difféomorphismes (puisque chaque est un difféomorphisme et que pour tous ; il s'agit d'un groupe si les quantités ci-dessus sont également définies pour tous , mais cette hypothèse est inutile pour ce qui suit).
Au lieu de se donner le système par l'équation différentielle autonome (A), on peut le faire, plus généralement, par le flot () en supposant simplement continue (et non plus continûment différentiable) ; le semi-groupe est alors dit continu.
Il s'agit bien d'une généralisation, car si est continûment différentiable, on caractérise le semi-groupe par son « générateur infinitésimal » défini par
par conséquent l'opérateur A est la fonction f, ou encore l'« opérateur » (en général non linéaire) . On est donc effectivement ramené à la formulation où le système est donné par l'équation différentielle autonome (A).
On étend alors le principe d'invariance de Krasovsky-LaSalle à ce cas avec une fonction continue (et non plus continûment différentiable) en remplaçant la condition par la condition : la fonction est décroissante, (la démonstration restant par ailleurs inchangée).
Soit alors un ensemble compact positivement invariant. On déduit comme plus haut de ce principe de Krasovsky-LaSalle « généralisé » la condition suffisante du théorème ci-dessous (la démonstration de la condition nécessaire étant nettement plus complexe)[11] :
Théorème (Bhatia (1966)) — L'ensemble compact M est asymptotiquement stable (resp. globalement asymptotiquement stable) si, et seulement s'il existe une fonction continue (resp. continue et globalement propre) , où D est un voisinage ouvert de M (resp. ), telle que
(C1):: si , si ,
(C2):: si et .
Si le système est défini par l'équation différentielle autonome (A), avec f localement lipschitzienne, donc continue, et V est continûment différentiable, on voit facilement que la condition (C2) est satisfaite si, et seulement si pour .
Exemple : cas d'un système mécanique holonome (1)
Considérons, comme dans l'historique, un système mécanique holonome à n degrés de liberté, à liaisons scléronomes. Soit le vecteur de ses coordonnées généralisées. On suppose que
- (a) l'énergie cinétique est de classe et est une forme quadratique définie positive en ;
- (b) certaines forces dérivent d'un potentiel de classe , possédant un minimum relatif strict en ;
- (c) les autres forces sont rassemblées dans le vecteur ligne de classe et vérifient
(F)::
(c'est le cas des forces de frottement visqueux). On a le résultat suivant qui, comme on va le voir, se démontre grâce au théorème de stabilité de Liapounov et au Principe d'invariance de Krasvossky-LaSalle :
Théorème — L'origine de l'espace des phases (c'est-à-dire de l'espace des ) est stable. Si le membre de gauche de (F) ne s'annule qu'en , elle est asymptotiquement stable.
Le théorème des fonctions implicites permet d'exprimer en fonction de x dans un voisinage de . On obtient alors l'équation dans ce voisinage, où f est de classe . Les hypothèses (a) et (b) montrent que est une fonction de classe définie positive. L'équation de Lagrange s'écrit
et on obtient donc d'après (F) . Par conséquent, d'après le théorème de Liapounov, l'origine est stable. Si de plus le membre de gauche de (F) ne s'annule qu'en , l'égalité implique , et l'ensemble E du Principe d'invariance de LaSalle est donc : . De plus, on a nécessairement pour car il existerait sinon des points infiniment voisins de l'origine pour lesquels on aurait , contrairement à l'hypothèse (c). L'équation de Lagrange s'écrit encore
ou, de manière plus explicite,
- .
Sur E, on a donc
- ,
et puisque V admet un minimum relatif strict en , en dès que q est suffisamment proche de 0, donc . Par suite, est le seul sous-ensemble positivement invariant de E, et d'après le Principe d'invariance de Krasvossky-LaSalle, 0 est asymptotiquement stable.
Théorème d'instabilité pour les systèmes non linéaires
Considérons de nouveau le système (E). Le théorème d'instabilité qu'on peut considérer comme étant le plus important (même s'il n'est pas le plus général[28]), car le plus facilement utilisable en pratique, est le suivant :
Théorème d'instabilité de Chetaev (1934) — Supposons qu'il existe une fonction de classe telle que
(a) il existe des points x arbitrairement proches de 0 tels que .
Pour donné, notons alors
(b) Dans , .
Alors le point d'équilibre 0 est instable.
Soit et . Dans le compact , la fonction admet un maximum . Par conséquent, tant que reste dans , . L'image du compact par la fonction continue V étant compacte, donc bornée, il existe un plus petit instant tel que appartient à la frontière de . Sur celle-ci, on a ou . On a , par conséquent . Or, peut être choisi arbitrairement petit, par conséquent le point d'équilibre 0 n'est pas stable.
Corollaire - Premier théorème d'instabilité de Liapounov — S'il existe une fonction de classe , définie négative ou de signe indéfini, telle que est définie négative, alors le point d'équilibre 0 est instable.
Exemple : cas d'un système mécanique holonome (2)
Considérons de nouveau un système holonome en supposant que U(q) admet un maximum relatif strict en . Plus précisément, en posant , supposons que l'énergie cinétique et l'énergie potentielle s'écrivent respectivement et où les fonctions et sont continûment différentiables et les matrices et sont définies positives. Supposons également que les forces qui ne dérivent pas du potentiel s'écrivent où est continûment différentiable. On obtient le résultat suivant à l'aide du théorème de Chetaev :
Théorème — Si est suffisamment petit, le point d'équilibre , où , est instable.
Soit le hamiltonien . Les équations canoniques de Hamilton s'écrivent
- .
En posant , il vient
- .
Or, , et d'après l'inégalité de Cauchy-Schwarz
- .
Par conséquent, est définie négative si où est la plus petite valeur propre de la matrice . Dans ce cas, puisque est de signe indéfini, est un point d'équilibre instable.
Ce résultat montre par exemple qu'un pendule inversé est, en présence d'un frottement visqueux suffisamment faible, en équilibre instable à la verticale[29].
Théorèmes de stabilité et d'instabilité pour les systèmes linéaires ou quasi linéaires
Cas d'un système linéaire
Considérons un système linéaire
(L) ::
où la fonction est localement intégrable et bornée. Étudions le point d'équilibre 0 de (L).
Les conditions suivantes sont équivalentes[17] :
(i) 0 est uniformément asymptotiquement stable ;
(ii) 0 est globalement uniformément asymptotiquement stable ;
(iii) 0 est exponentiellement stable ;
(iv) 0 est globalement exponentiellement stable.
Seul le fait que (ii) entraîne (iii) n'est pas trivial, et ce résultat est dû à Hahn (1966). D'autre part, si la matrice A est constante, la stabilité de 0 équivaut à sa stabilité uniforme, sa stabilité asymptotique équivaut à sa stabilité asymptotique uniforme, et toutes ces conditions équivalent à (voir Stabilité d'une représentation d'état)
(v) les valeurs propres de A () vérifient toutes la condition .
On dit parfois qu'une matrice A vérifiant la condition (v) est une « matrice de stabilité » ; c'est par erreur que certains auteurs parlent de « matrice de Hurwitz » : le polynôme caractéristique d'une matrice de stabilité est un polynôme de Hurwitz[30].
D'autre part, le point d'équilibre 0 est stable (au sens de Liapounov) si, et seulement si les valeurs propres de A sont toutes situées dans le demi-plan gauche fermé (c'est-à-dire ont toutes une partie réelle négative ou nulle), celles situées sur l'axe imaginaire (s'il en existe) étant simples (c'est-à-dire d'ordre 1) (voir de nouveau Stabilité d'une représentation d'état).
Critère de Liapounov (1892) — Supposons la matrice A constante. Soit Q une matrice symétrique réelle semi-définie positive () (resp. définie positive ()). S'il existe une matrice vérifiant l'équation dite de Liapounov
(EL)::
alors le point d'équilibre 0 est stable (resp. exponentiellement stable) pour (L).
Réciproquement, il existe une matrice symétrique P solution de (EL) pour toute matrice symétrique Q si, et seulement si A n'a pas de valeurs propres telles que ; cette solution est alors unique. Si (resp. et toutes les valeurs propres de A sont à partie réelle , alors (resp.).
Soit ; alors est une fonction définie positive. On a ; par conséquent, si Q vérifie (EL), . En conséquence, est semi-définie négative si et définie négative si . D'après les théorèmes de Liapounov, 0 est stable pour (L) dans le premier cas, et asymptotiquement stable dans le second.
Montrons la réciproque : L'équation de Liapounov (EL) est une équation de Sylvester d'un type particulier. Elle admet une solution pour toute matrice symétrique Q si, et seulement si A et n'ont pas de valeur propre commune ; cette solution est alors unique. Supposons toutes les valeurs propres de A à partie réelle et , et soit P solution de (EL) ; alors pour tout t
- .
Intégrons cette expression entre 0 et (en supposant que ) ; l'intégrale converge et on obtient
On note que :
On remarque qu'une matrice de type eB est toujours positive.
On obtient donc :
- (respectivement si ).
Ceci démontre le résultat que si (respectivement ) alors (respectivement ).
On montre qu'on peut affaiblir comme suit la condition suffisante de ce critère[18] :
- Soit une matrice telle que est détectable. S'il existe une matrice solution de l'équation de Liapounov (EL), alors 0 est un point d'équilibre exponentiellement stable pour (L). Dans ce cas, si est observable, alors nécessairement .
Cas d'un système quasi linéaire
Considérons maintenant le système non linéaire (E), écrit sous la forme
(QL) ::
où A est comme ci-dessus et est fonction localement lipschitzienne au voisinage de , telle que , et qu'on peut considérer comme une « petite perturbation » du système (L). Le système (QL) est supposé quasi linéaire à savoir que pour , dans le sens où
uniformément par rapport à t. Sous ces hypothèses, on a le[17]
Théorème (Perdisky (1946) - Hahn (1966)) — Supposons le point d'équilibre 0 exponentiellement stable pour (L). Alors il est exponentiellement stable pour (QL).
Nous faisons la démonstration dans le cas où la matrice est indépendante de t : . Puisque 0 est exponentiellement stable pour (L), il existe d'après le Critère de Liapounov une matrice solution de l'équation de Liapounov (EL) avec . La fonction définie positive a alors pour dérivée de Lie le long du flot de (QL)
- .
Pour suffisamment petit, on a et alors
d'où la stabilité exponentielle de l'origine pour (QL).
Ce théorème a été étendu par Hahn au cas des systèmes à temps discret[31]. En revanche, dans le cas où la matrice n'est pas constante, la stabilité asymptotique (non uniforme) de 0 pour (L) n'entraîne pas, sous les hypothèses considérées, la stabilité de 0 pour (QL) en général (exemple de Perron).
Théorème — Soit le système quasi linéaire (QL) où est constante et où g vérifie la condition ci-dessus. Si A possède une valeur propre à partie réelle , alors le point d'équilibre 0 est instable.
Quitte à changer A en où est suffisamment petit, on peut supposer que A et -A n'ont pas de valeur propre commune. Alors il existe d'après le Critère de Liapounov une matrice symétrique P solution de (EL) avec , et P n'est pas . De plus, comme on le voit facilement, (EL) implique que P ne peut pas avoir de valeur propre nulle. Soit alors ; par le même raisonnement que ci-dessus, pour suffisamment petit, et il existe des points x arbitrairement proches de 0 tels que . D'après le théorème de Chetaev, 0 est donc instable.
Des compléments à ces théorèmes peuvent être trouvé à l'article Exposant de Liapounov.
Notes et références
Notes
- ↑ Pour certains auteurs, une orbite est une trajectoire qui se referme sur elle-même, c'est-à-dire une trajectoire compacte. Pour d'autres auteurs encore, une trajectoire signifie ce qui dans cet article est appelé un mouvement. Cette dernière acception (utilisée notamment par ceux qui font de la planification de trajectoire) n'est pas sans provoquer des confusions.
- ↑ (en) George Philip Szegö, « A Contribution to Liapunov's Second Method: Nonlinear Autonomous Systems », Journal of Basic Engineering, vol. Décembre, , p. 571-578
- ↑ (en) D.G. Schultz et J.E. Gibson, « The variable gradient method for generating Lyapunov functions », Applications & Industry Transactions of the American Institute of Electrical Engineers, Part II, vol. 81, , p. 4203-4210 (lire en ligne)
- ↑ Pour des compléments sur l'histoire de la notion de stabilité jusqu'à la contribution de Liapounov, le lecteur pourra également consulter Leine 2010
- ↑ Lyapunov 1992
- ↑ Voir l'article Polynôme de Hurwitz.
- ↑ (de) Oskar Perron, « Die Stabilitätsfrage bei Differentialgleichungen », Mathematische Zeitschrift, vol. 32, , p. 703-704 (lire en ligne)
- ↑ Lewis 2017.
- ↑ (en) J. L. Massera, « Contributions to stability theory », Ann. of Math., vol. 56, , p. 182-206.
- ↑ (en) James A. York, « An extension of Chetaev’s instability theorem using invariant sets and an example », dans G. Stephen Jones, Seminar of Differential Equations and Dynamical Systems, coll. « Lecture Notes in Mathematics » (no 60), , p. 100-106.
- ↑ a b c et d Bhatia et Szegö 2002
- ↑ (en) R. E. Kalman et J. E. Bertram, « Control system analysis and design via the « Second method » of Lyapunov - II Discrete-time systems », J. Basic Eng. Trans. ASME, vol. 82, no 2, , p. 394-400.
- ↑ Hale 1977.
- ↑ I. Barbălat, « Systèmes d’équations différentielles d’oscillations non linéaires », Rev. Roumaine Math. Pures Appl., vol. 4, , p. 267-270.
- ↑ Slotine et Li 1991, § 4.2.5.
- ↑ (en) B. Farkas et S.-A. Wegner, « Variations on Barbălat's Lemma », Amer. Math. Monthly, vol. 128, no 8, , p. 825-830.
- ↑ a b c d et e Hahn 1967
- ↑ a et b Wonham 1985
- ↑ Boyd et al. 1994.
- ↑ Sontag 2008.
- ↑ Michel, Hou et Liu 2008, pp. 466, 467 ; Khalil 1996. Il est à noter que ces auteurs ont des définitions légèrement différentes de la stabilité asymptotique uniforme globale.
- ↑ Kupka 1960-1961
- ↑ Sontag 1998
- ↑ a b c et d Rouche et Mawhin 1973
- ↑ Pour certains auteurs, une fonction candidate de Liapounov est une fonction définie positive, et une fonction de Liapounov est une fonction candidate de Liapounov dont la dérivée le long des trajectoires est semi-définie négative ; l'existence d'une fonction de Liapounov est alors une condition nécessaire et suffisante de stabilité au sens de Liapounov.
- ↑ LaSalle 1960
- ↑ a et b Rouche, Habets et Laloy 1977
- ↑ Voir l'introduction historique.
- ↑ Bourlès 2010
- ↑ Le lecteur trouvera à l'article Polynôme de Hurwitz une approche fort différente de celle envisagée ici pour l'étude de la stabilité des systèmes linéaires à coefficients constants (critères de Routh-Hurwitz ainsi que de Liénard et Chipart).
- ↑ (de) Wolfgang Hahn, « Über die Anwendung der Methode von Ljapunov auf Differenzengleichungen », Mathematische Annalen, vol. 136, , p. 430-441 (lire en ligne)
Ouvrages ayant servi à établir le texte
- (en) Nam Parshad Bhatia et Giorgio P. Szegö, Stability Theory of Dynamical Systems, Berlin/Heidelberg/New York etc., Springer, , 225 p. (ISBN 3-540-42748-1, lire en ligne)
- (en) Henri Bourlès, Linear Systems, John Wiley & Sons, (ISBN 978-1-84821-162-9 et 1-84821-162-7)
- (en) Stephen Boyd, Laurent El Ghaoui, Eric Feron et Venkararamanam Balakrishnan, Linear Matrix Inequalities in System and Control Theory, SIAM, (ISBN 0-89871-334-X, lire en ligne)
- (en) Wolfgang Hahn, Stability of Motion, Springer-Verlag, (ISBN 0-387-03829-9)
- (en) Jack Hale, Theory of functional differential equations, Springer, , 366 p. (ISBN 0-387-90203-1)
- (en) Hassan K. Khalil, Nonlinear Systems, Prentice-Hall, , 750 p. (ISBN 0-13-067389-7)
- (en) Ivan Kupka, « Stabilité structurelle », Séminaire Janet, vol. 4, no 7, 1960-1961, p. 1-16 (lire en ligne)
- (en) J.P. LaSalle, « Some Extensions of Liapunov's Second Method », IRE Transactions on Circuit Theory, no 7, , p. 520-527 (lire en ligne)
- (en) R.I. Leine, « The historical development of classical stability concepts: Lagrange, Poisson and Lyapunov stability », Nonlinear Dyn., no 59, , p. 173-182 (lire en ligne)
- (en) Andrew Lewis, « Remarks on stability of linear time-varying systems », IEEE Transactions on Automatic Control, no 62, , p. 6039-6043
- (en) Alexander Lyapunov, The general problem of the stability of motion, CRC Press, (ISBN 0-7484-0062-1)
- (en) Antony N. Michel, Ling Hou et Derong Liu, Stability of Dynamical Systems : continuous, discontinuous, and discrete systems, Boston, Birkhäuser, (ISBN 978-0-8176-4649-3, lire en ligne)
- (en) N. Rouche, P. Habets et M. Laloy, Stability Theory by Lyapunov's Direct Method, Springer-Verlag, , 396 p. (ISBN 978-0-387-90258-6, lire en ligne)
- N. Rouche et J. Mawhin, Equations différentielles ordinaires : Tome II, Masson, (ISBN 2-225-37290-X)
- (en) Jean-Jacques Slotine et Weiping Li, Applied Nonlinear Control, Prentice-Hall, , 461 p. (ISBN 978-0-13-040049-9)
- (en) Eduardo D. Sontag, Mathematical Control Theory : Deterministic Finite Dimensional Systems, Springer, , 532 p. (ISBN 0-387-98489-5, lire en ligne)
- (en) Eduardo D. Sontag, « Input to State Stability: Basic Concepts and Results », Springer - Lecture Notes in Mathematics, vol. 1932, , p. 163-220 (lire en ligne)
- (en) Mathukuma Vidyasagar, Nonlinear System Analysis, Prentice-Hall, (ISBN 0-89871-526-1)
- (en) W. Murray Wonham, Linear multivariable control : a geometric approach, New York/Berlin/Paris etc., Springer, , 334 p. (ISBN 0-387-96071-6)
Bibliographie complémentaire
- (en) R. Cui, L. Chen, C. Yang C et M. Chen, « Extended state observer-based integral sliding mode control for an underwater robot with unknown disturbances and uncertain nonlinearities », IEEE Transactions on Industrial Electronics, 2017 (résumé)
- (en) R. Zakhama, A. B. B. Hadj Brahim et N. B. Braiek, « Generalization of a stability domain estimation method for nonlinear discrete systems », Computational and Applied Mathematics, vol. 37, , p. 1130–1141 (DOI 10.1007/s40314-016-0388-7)
- Brigitte D'Andréa-Novel et Michel Cohen de Lara, Commande linéaire des systèmes dynamiques, Presses de l'École des mines de Paris (date ?)
- Frédéric Bonnans et Pierre Rouchon, Commande et optimisation de systèmes dynamiques, aperçu sur Google Livres
- Rachid Chabour, Cours (INRIA-Lorraine, département de mathématiques de l'université de Metz)
- M. Barreau, « Stabilité et stabilisation de systèmes linéaires à l’aide d’inégalités matricielles linéaires » Quadrature, no 113, 2019
Voir aussi
v · m | |
---|---|
Modélisation des systèmes | |
Techniques de contrôle | |
Techniques d'estimation | |
Types de stabilité |
|
Outils mathématiques | |
Représentations graphiques | |
Portail de l'analyse
Portail de la physique
Portail de l’électricité et de l’électronique