Requisito de estabilidad de Lyapunov en estabilidad asintótica

En mi curso de Ecuaciones Diferenciales, definimos el punto de equilibrio X 0 de un sistema dinámico d X d t = F ( X ( t ) ) (para F definido en un subconjunto abierto de R norte , decir R norte sí mismo) para ser estable si es:

  1. Establo Lyapunov
  2. Hay un ϵ bola alrededor X 0 tal que las soluciones φ de esta ecuación diferencial con condiciones iniciales en esta bola satisfacen límite t φ ( t ) = X 0 .

Estoy tratando de encontrar un ejemplo del caso donde la propiedad (2) se mantiene mientras el punto X 0 Lyapunov no es estable.

Después de buscar un poco, me encontré con la bifurcación homoclínica , que es intuitivamente cómo esperaría que fallara la estabilidad de Lyapunov, pero no he podido encontrar ejemplos de bifurcación homoclínica donde la propiedad (2) también se cumpla.

Cualquier ayuda sería apreciada.

Respuestas (1)

Sugerencia: Considere el sistema

{ X ˙ = X y X ( X 2 + y 2 ) + X y X 2 + y 2 y ˙ = X + y y ( X 2 + y 2 ) X 2 X 2 + y 2
y su punto fijo ( 1 , 0 ) . (La conversión a coordenadas polares podría ayudar).

Gracias, esto es exactamente lo que estaba buscando. Por cierto, ¿qué motivó esto? De la ecuación en coordenadas polares, puedo ver por qué esto funciona. ¿Acabas de inventar este ejemplo por consideraciones de velocidad de fase, o había alguna motivación más profunda?
Puedo adivinar la idea. El ejemplo más simple del comportamiento que deseaba en OP es un equilibrio de nodo de silla de montar con una trayectoria homoclínica. La forma polar es una forma bastante fácil de obtener un nodo de silla de montar: deseche los términos con raíces cuadradas y obtendrá un ciclo límite en r = 1 . Si agrega estos términos, el círculo invariante en r = 1 todavía existe, pero ahora hay un equilibrio en ( 1 , 0 ) que resulta ser un nodo de silla de montar. Un sistema similar se usa a menudo como una ilustración para la bifurcación SNIC .
@TimTheEnchanter Supongo que el comentario de Evgeny responde a tu pregunta mucho mejor que yo, pero ya que preguntaste: no preparé este ejemplo yo mismo; este sistema me fue dado como ejercicio en mi curso ODE 2 y el objetivo del ejercicio era precisamente mostrar que es necesario incluir el supuesto de estabilidad adicional en la definición de estabilidad asintótica.
Ya entiendo, gracias.
Parece que por razones pedagógicas el sistema desacoplado en coordenadas polares r ˙ = r ( 1 r ) , θ ˙ = 1 porque θ , como se considera en la función de Lyaponov en sistema dinámico (en cordonatos polares) , sería un poco mejor (por otro lado, no tiene una forma tan simple en las coordenadas cartesianas, al menos según Mathematica).