title: Función de Liapunov
text: # Función de Liapunov
  
  En matemática, las funciones de Liapunov, 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 diferenciales autónomas. Las funciones que podrían probar la estabilidad de un punto cualquiera de equilibrio son llamadas candidatas a funciones de Liapunov.
  No existe un método general para construir o encontrar una función candidata de Liapunov que demuestre la estabilidad de un equilibrio dado, en todo caso, la incapacidad de encontrar una función de Liapunov 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 Liapunov.
  El segundo teorema de estabilidad de Liapunov para los sistemas autónomos los hace estrechamente correlativos con las funciones candidatas de Liapunov 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 Liapunov para los sistemas autónomos aporta condiciones suficientes pero no necesarias para demostrar la estabilidad de un equilibrio.
  
  # Función de Liapunov
  ## Definición intuitiva de una función de Liapunov
  
  Un sistema dinámico requiere un estado inicial $x_{0}$ y una función de evolución $F(x_{0},t)$ que indica la trayectoria de los estados $x(t)$ futuros que tendrá el sistema. Una función de Liapunov corresponde intuitivamente a una familia de regiones de Liapunov, 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 Liapunov correspondiente a la curva de nivel $V(x_{0})=V_{0}$, ya no podrá salir de ella. De este modo, a medida que el tiempo avanza, el estado irá quedando restringido a regiones de Liapunov cada vez menores, razón por la cual el valor de la función de Liapunov 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.
  
  # Función de Liapunov
  ## Definición de una función candidata de Liapunov
  
  Sea
      $V:\mathbb {R} ^{n}\to \mathbb {R}$
  una función escalar. $V$ y dicha función candidata de Liapunov si es localmente (en 0) una función definida positiva o, equivalentemente, si existe un entorno $U$ de 0 tal que
      $V(0)=0\,$
      $V(x)>0\quad \forall x\in U\setminus \{0\}$
  
  # Función de Liapunov
  ## Teorema de Estabilidad de Liapunov
  
      Artículo principal: Estabilidad de Liapunov
  Sea
      $x^{*}=0\,$
  un punto de equilibrio del sistema autónomo
      ${\dot {x}}=f(x)\,$
  y sea
      ${\dot {V}}(x)={\frac {\partial V}{\partial x}}{\frac {dx}{dt}}=\nabla V{\dot {x}}=\nabla Vf(x)$
  la derivada respecto al tiempo de una función candidata de Liapunov $V$.
  
  # Función de Liapunov
  ## Teorema de Estabilidad de Liapunov
  ### Equilibrio estable
  
  Si la derivada respecto al tiempo de $V$ (la función candidata de Liapunov) está localmente semidefinida negativa, entonces existe un entorno ${\mathcal {B}}$ centrado en 0 tal que
      ${\dot {V}}(x)\leq 0\quad \forall x\in {\mathcal {B}}$
  entonces el equilibrio es estable, para algún entorno o vecindad ${\mathcal {B}}$ .
  
  # Función de Liapunov
  ## Teorema de Estabilidad de Liapunov
  ### Equilibrio localmente atractivo
  
  Si la derivada respecto al tiempo de la función candidata de Liapunov $V$ está localmente definida negativa, esto es si existe un entorno ${\mathcal {B}}$ de 0 tal que:
      ${\dot {V}}(x)<0\quad \forall x\in {\mathcal {B}}\setminus \{0\},$
  entonces el equilibrio es localmente atractivo.
  
  # Función de Liapunov
  ## Teorema de Estabilidad de Liapunov
  ### Equilibrio globalmente atractivo
  
  Si las funciones candidatas de Liapunov $V$ están definidas como positiva sobre todo el dominio y si su derivada respecto al tiempo es globalmente definida como negativa, esto es
      ${\dot {V}}(x)<0\quad \forall x\in \mathbb {R} ^{n}\setminus \{0\},$
  entonces el equilibrio es globalmente atractivo.
  
  # Función de Liapunov
  ## Bibliografía
  
  * Alessandro Giua, Carla Seatzu (2006). Analisi dei sistemi dinamici. Springer. ISBN:978-88-470-0284-5.
  * Datos: Q2337858