Un método de análisis de estabilidad que construye funciones escalares de Lyapunov—funciones reales en el espacio de estados—cuyo signo y derivada temporal a lo largo de las trayectorias del sistema sirven como certificados de estabilidad, comportamiento asintótico o inestabilidad para sistemas dinámicos deterministas.

Principio

Buscar una función V(x) positiva definida (V(0)=0, V(x)>0 para x≠0) cuya derivada temporal a lo largo de soluciones sea no positiva (dV/dt ≤ 0); la negatividad estricta de dV/dt implica estabilidad asintótica. La idea organizadora es transformar afirmaciones sobre trayectorias en desigualdades algebraicas sobre V y su derivada.

Demostración

Sea la EDO lineal x' = A x con equilibrio en 0. Tome V(x)=x^T P x con P simétrica definida positiva. Entonces dV/dt = x^T (A^T P + P A) x. Si existe P>0 que satisface A^T P + P A = −Q con Q>0, entonces dV/dt = −x^T Q x < 0 para x≠0, demostrando la estabilidad asintótica de 0.

Aplicación incorrecta

Afirmar estabilidad asintótica global a partir de una función de Lyapunov solo local, usar un candidato V no diferenciable en las trayectorias, o confundir V con una energía física son usos indebidos que conducen a conclusiones erróneas.

Consecuencia

Aplicada correctamente, la metodología proporciona certificados rigurosos de estabilidad o estabilidad asintótica, cotas sobre el conjunto de atracción, regiones invariantes y controladores constructivos; también ofrece tasas cuantitativas de decaimiento cuando dV/dt ≤ −cV.

Inversión

En lugar de buscar una función de Lyapunov que decrezca, se puede buscar un testigo escalar de inestabilidad (una función que aumente estrictamente en algunas trayectorias) o analizar exponentes de Lyapunov y propiedades espectrales que identifiquen sensibilidad frente a contractividad.

Límite

Se aplica principalmente a EDOs deterministas autónomas y dependientes del tiempo, a ciertas EDPs y a sistemas discretos con las modificaciones pertinentes. Requiere la existencia de una V adecuada y regularidad suficiente; no trata automáticamente sistemas estocásticos sin extensión y no garantiza resultados globales sin una V global.

Tensión semántica

Tensión entre considerar V como un certificado matemático y como una energía física; confusión posible entre funciones de Lyapunov y exponentes de Lyapunov, o entre construcciones estándar y construcciones de control-Lyapunov que exigen estructura adicional.

Síntesis

El Método de Lyapunov es un enfoque constructivo que traduce preguntas de estabilidad dinámica en la búsqueda de funciones escalares con propiedades de signo y monotonía; la existencia de tales funciones proporciona conclusiones rigurosas y con frecuencia cuantitativas sobre la estabilidad de puntos de equilibrio y la atracción.