title: Fonction de Liapounov
text: # Fonction de Liapounov
  
  Une fonction de Liapounov est une fonction qui permet d'estimer la stabilité d'un point d'équilibre (ou, plus généralement, d'un mouvement, c'est-à-dire d'une solution maximale) d'une équation différentielle.
  
  ## Position du problème
  
  Soit $f:\mathbb {R} ^{n}\to \mathbb {R} ^{n}$ une fonction et ${\dot {x}}=f(x)$ un système dynamique, avec $x^{*}$ un point d'équilibre de ce système, c'est-à-dire que $f(x^{*})=0$.
  
  Par un changement de variable $y:=x-x^{*}$, on peut se ramener au cas où l'origine est un point d'équilibre ($f(0)=0$).
  
  ## Définition
  
  Une fonction $V:\mathbb {R} ^{n}\to \mathbb {R}$ est une fonction candidate de Liapounov si
  
  * $V(0)=0$ ;
  * $\forall x\in U\setminus \{0\}\quad V(x)>0$, pour un certain voisinage $U$ de l'origine.
  
  La dérivée ${\dot {V}}$ d'une fonction $V$ le long du champ de vecteurs $f$ est définie par
  
      ${\dot {V}}(x)=\langle \nabla V(x),f(x)\rangle$
  
  où $\langle \cdot ,\cdot \rangle$ désigne le produit scalaire dans l'espace considéré et $\nabla$ l'opérateur gradient.
  
  Si une fonction candidate de Liapounov $V$ vérifie
  
      $\forall x\in W\setminus \{0\}\quad {\dot {V}}(x)\leq 0$ pour un certain voisinage $W$ de l'origine,
  
  on dit que $V$ est une fonction de Liapounov.
  
  ## Théorème
  
  Il existe une fonction de Liapounov pour le système dynamique considéré, si, et seulement si l'origine est un équilibre stable de ce système.
  
  De plus, l'origine est asymptotiquement stable si, et seulement s'il existe une fonction de Liapounov $V$ vérifiant
  
      $\forall x\in W\setminus \{0\}\quad {\dot {V}}(x)<0$.
  
  Ce théorème, dû à plusieurs auteurs (Alexandre Liapounov, K. P. Persidsky, José Luis Massera), est l'un des principaux résultats de la théorie de la stabilité de Liapunov ; sa démonstration est donnée au paragraphe « Théorèmes fondamentaux » de l'article détaillé.
  
  