Estabilidad de la solución nula en un sistema autónomo

Se supone que debo estudiar la inestabilidad de la solución nula del siguiente sistema (autónomo):

{ X = X + y X 2 y = 3 X X 2 2 y
Mi resolución hasta ahora y mis problemas. Claramente estamos trabajando con un sistema autónomo con la forma z = F ( z ) , dónde z = [ X y ] T y F ( z ) = F ( X , y ) = ( X + y X 2 , 3 X X 2 2 y ) . Obviamente, F C 1 en R 2 y F ( 0 , 0 ) = ( 0 , 0 ) ( ( 0 , 0 ) es un punto de equilibrio). Calculemos el jacobiano de F .
j F ( X , y ) = ( 1 2 X 1 3 2 X 2 ) j F ( 0 , 0 ) = ( 1 1 3 2 )
Ahora calculamos los valores propios de j F ( 0 , 0 ) y obtenemos el siguiente resultado:
λ 1 = 3 + 13 2 λ 2 = 3 13 2
Lo que nos hace concluir que j F ( 0 , 0 ) no es hurwitz (tiene un valor propio real positivo).

Por lo tanto, no puedo concluir nada sobre la estabilidad de la solución nula usando este método. Ahora trataría de encontrar una función de Lupyanov y usaría su método directo ya que estos son los dos métodos que me han enseñado. Probé varias funciones de Lupyanov y no puedo encontrar una que realmente funcione para este caso. Entonces esta es mi pregunta, si alguien puede ayudarme a encontrar una función de Lupyanov, estaría muy agradecido.

¿Realmente necesitas la función de Lyapunov? Un valor propio real positivo y un valor propio real negativo implican que cero es un punto de silla, que es inestable: simplemente puede resolver el sistema lineal y verlo. Si desea utilizar Lyapunov de todos modos, considere V ( X , y ) = X 2 + y 2 . verás que V j F ( 0 , 0 ) ( v ) > 0 para cualquier vector propio v correspondiente al valor propio positivo.
¡Gracias @Timur Bakiev! He comentado mis dudas teóricas adicionales sobre la respuesta de Lutz, ¿puedes echarle un vistazo y responder si es posible?
ok lo hare mas tarde
Gracias una vez más :D

Respuestas (3)

Obtuviste un valor propio estrictamente positivo y uno estrictamente negativo. Así, el sistema linealizado tiene un punto de silla. Esto sigue siendo cierto en la imagen local de la perturbación del sistema no lineal original.

Este tipo de persistencia de la caracterización del punto estacionario solo está en duda y puede violarse si uno o más de los valores propios es cero o tiene una parte real cero. Consulte " Ejemplo de una EDO con un equilibrio asintóticamente estable que es inestable en la linealización correspondiente " para ver un ejemplo de cuán "inestable" (en un sentido meta) es esta situación.

¡Hola @Lutz Lehmann! ¡Gracias por tu respuesta! ¿Significa esto que puedo aplicar los resultados conocidos para el sistema lineal (con coeficientes constantes) al sistema linealizado en todos los escenarios? Con esto quiero decir lo siguiente: Si el sistema linealizado tiene uno o más autovalores con parte real estrictamente positiva la solución nula es instável ;; Si tenemos SOLO valores propios con parte real estrictamente negativa -> asintóticamente Stanley ;; Si tenemos SOLO valores propios con parte real negativa o 0 (y si estos son simples) -> ¿solución nula estable? Gracias una vez más
instavel significa inestable y Stanley significa estable. Autocorrector
Mayormente sí, hasta el último. Si algunos de los valores propios tienen una parte real cero, lo que sucede realmente depende de los términos no lineales. Como muestra el ejemplo, aún puede obtener un crecimiento polinomial. Véase el teorema de Grobman-Hartman.
Creo que lo tengo. Básicamente: si para algún valor propio λ tenemos R mi ( λ ) > 0 entonces podemos concluir inmediatamente que la solución nula es inestable, a través del teorema de Grobman-Hartman. Por otro lado, si para algún valor propio λ tenemos R mi ( λ ) = 0 , tenemos que buscar una función de Lyapunov (ya que no podemos concluir nada con el método previo). ¿Es esto correcto? Gracias por tu tiempo
Sí, si encuentra una función de Lyapunov, la situación vuelve a estar clara. De lo contrario, necesita otros métodos, lo que funciona puede depender de la ODE específica. A veces la aproximación de la variedad central da suficiente información.
¡Gracias @Lutz Lehmann! ¡Muy buena aclaración y respuesta!

Método: igualar las derivadas a 0, graficar las dos parábolas. Introduce + o - en cada región por separado, para ver si las soluciones justo fuera (0,0) tienden hacia el origen o se alejan cuando estás cerca (0,0). Si todos tienden hacia, estables, si todos se alejan, inestables, de lo contrario, semiestables.

Solo una ilustración (por lo tanto, cw):

ingrese la descripción de la imagen aquí

Hecho con código de Mathematica

With[{M=.01},StreamPlot[{-x+y-x^2,3x-x^2-2y},{x,-M,M},{y,-M,M}]]