Función de Lyapunov

Función escalar V(x) definida en una vecindad de un equilibrio de un sistema dinámico que es positiva definida y cuya derivada a lo largo de las trayectorias del sistema tiene un signo definido (típicamente no creciente), usada como certificado de estabilidad sin resolver las trayectorias.