Fonction de Lyapunov

Fonction scalaire V(x) définie dans un voisinage d'un équilibre d'un système dynamique, positive définie et dont la dérivée le long des trajectoires du système a un signe déterminé (typiquement décroissante), utilisée comme certificat de stabilité sans résoudre les trajectoires.