Función de Lyapunov

En matemática, las funciones de Lyapunov, planteadas principalmente por el ruso Aleksandr Liapunov, son funciones que demuestran la estabilidad de cierto punto fijo en un sistema dinámico o en las ecuaciones difererenciales autónomas. Las funciones que podrían probar la estabilidad de un punto cualquiera de equilibrio son llamadas candidatas a funciones de Lyapunov.

No existe un método general para construir o encontrar una función candidata de Lyapunov que demuestre la estabilidad de un equilibrio dado, en todo caso, la incapacidad de encontrar una función de Lyapunov no implica automáticamente la inestabilidad del equilibrio mismo. Para los sistemas dinámicos (como los sistemas físicos) las leyes de conservación proveen frecuentemente a las funciones candidatas de Lyapunov.

El segundo teorema de estabilidad de Lyapunov para los sistemas autónomos los hace estrechamente correlativos con las funciones candidatas de Lyapunov y son instrumentos para demostrar la estabilidad de los equilibrios de un sistema dinámico autónomo.

Es menester saber que el segundo teorema de estabilidad de Lyapunov para los sistemas autónomos aporta condiciones suficientes pero no necesarias para demostrar la estabilidad de un equilibrio.

Ejemplo de una función de Lyapunov definida para un sistema dinámico. Las distintas trayectorias que pueden generarse van quedando atrapadas en regiones cada vez menores.

Definición intuitiva de una función de Lyapunov

Un sistema dinámico requiere un estado inicial x₀ y una función de evolución F(x₀,t) que indica la trayectoria de los estados x(t) futuros que tendrá el sistema. Una función de Lyapunov corresponde intuitivamente a una familia de regiones de Lyapunov, cada una de las cuales queda definida por una curva de nivel. Una vez que el estado x(t) ha entrado a la región de Lyapunov correspondiente a la curva de nivel V(x₀) = V₀, ya no podrá salir de ella. De este modo, a medida que el tiempo avanza, el estado irá quedando restringido a regiones de Lyapunov cada vez menores, razón por la cual el valor de la función de Lyapunov irá decreciendo al pasar el tiempo. La restricción en las trayectorias que imponen las curvas de nivel permiten asegurar que el sistema dinámico es estable.

Definición de una función candidata de Lyapunov

Sea

una función escalar. V y dicha función candidata de Lyapunov si es localmente (en 0) una función definida positiva o, equivalentemente, si existe un entorno U de 0 tal que

Segundo teorema de estabilidad de Lyapunov

Artículo principal: Estabilidad de Lyapunov

Sea

un punto de equilibrio del sistema autónomo

y sea

la derivada respecto al tiempo de una función candidata de Lyapunov V.

Equilibrio estable

Si la derivada respecto al tiempo en la candidata a función de Lyapunov V y localmente semidefinida negativa, esto es, si existe un entorno V de 0 tal que

para algún entorno o vecindad , entonces el equilibrio es estable.

Equilibrio localmente atractivo

Si la derivada respecto al tiempo de la función candidata de Lyapunov V está localmente definida negativa, esto es si existe un entorno de 0 tal que:

entonces el equilibrio es localmente atractivo.

Equilibrio globalmente atractivo

Si las funciones candidatas de Lyapunov V están definidas como positiva sobre todo el dominio y si su derivada respecto al tiempo es globalmente definida como negativa, esto es

entonces el equilibrio es globalmente atractivo.

Bibliografía

• Alessandro Giua, Carla Seatzu (2006). Analisi dei sistemi dinamici. Springer. ISBN:978-88-470-0284-5.