Aplicación del teorema de Poincaré-Bendixson

Considere el sistema

X = 3 X y 2 X 2 y y = 5 X 2 y X y 2

Demuestre que el sistema no tiene soluciones periódicas.

Este es un ejemplo complicado. La linealización no lleva a ninguna parte y me está costando mucho construir una función de Lyapunov que funcione. V = 1 / 2 ( X 2 + y 2 ) da

V ( X , y ) = 3 X 2 y 2 X 3 y + 5 X 2 y 2 X y 3 = 8 X 2 y 2 X y ( X 2 + y 2 ) )

Pero esto no nos dice muchas cosas buenas sobre el origen. En todo caso, parece como si el origen se repeliera ya que pequeñas perturbaciones nos dan que el 8 X 2 y 2 término domina el término menos. Tal vez sea posible demostrar que no hay órbitas elípticas de alguna manera, pero eso no excluye otras trayectorias periódicas más exóticas.

Cómo proceder...?

Tenga en cuenta que las soluciones siguen las soluciones del sistema.
tu = 3 v tu v = 5 tu v
en el sentido de que cada ( X , y ) -la ruta está incluida en el ( tu , v ) -ruta que contiene ( X 0 , y 0 ) , solo que sigue este camino a una velocidad diferente y variable. (La inclusión puede ser, y es, estricta, por ejemplo cada ( X , y ) -camino permanece confinado al cuadrante en el que se inició.) El ( tu , v ) -Siendo el sistema lineal hiperbólico, no ( tu , v ) -la solución es periódica, QED.

Respuestas (2)

El título es engañoso: es el criterio de Bendixson lo que debe usarse lo que establece que para el sistema

X = F ( X , y ) y = gramo ( X , y )
si F X + gramo y 0 en una región simplemente conexa R , entonces el sistema no tiene trayectoria cerrada dentro R . (Ver, por ejemplo, http://math.mit.edu/~jorloff/suppnotes/suppnotes03/lc.pdf para una prueba)

Ahora, en tu caso, en primer lugar, ten en cuenta que los ejes son invariantes, por lo que ninguna trayectoria cerrada puede tocar uno de ellos. Luego, dentro de cualquiera de los cuadrantes, calcule:

F X + gramo y = 3 y 2 2 X y + 5 X 2 2 X y = 3 ( y 2 4 3 X y + 5 3 X 2 ) = 3 ( ( y 2 3 X ) 2 + 5 2 X 2 ) > 0
ya que cualquier cuadrante (estricto) excluye el origen, y la conclusión resulta del criterio de Bendixson.

Te daré la solución a tu sistema no lineal.

d X d t = 3 X y 2 X 2 y
y
d y d t = 5 X 2 y X y 2
Dividiendo la ecuación 2 por la ecuación 1, obtenemos
d y d X = 5 X 2 y X y 2 3 X y 2 X 2 y
Ahora, dividiendo por X 3 tanto el numerador como el numerador obtenemos que
d y d X = 5 y X ( y X ) 2 3 ( y X ) 2 y X

Dejar y = X v entonces d y d X = X d v d X + v , por lo que la ED se transformó en una ecuación separable.

X d v d X + v = 5 v v 2 3 v 2 v = 5 v 3 v 1 ,
por lo tanto

X d v d X = 5 v 3 v 2 + v 3 v 1 = 5 3 v 2 3 v 1

3 v 1 5 3 v 2 d v = d X X

3 v 1 5 3 v 2 d v = d X X

Configuración 3 5 v = pecado θ 5 3 porque θ d θ = d v , entonces

3 5 3 pecado θ 1 5 ( 1 pecado 2 θ ) 5 3 porque θ d θ = d X X

de modo que

3 5 3 pecado θ 1 5 ( 1 pecado 2 θ ) 5 3 porque θ d θ = broncearse θ d θ 5 3 1 5 segundo θ d θ = en | porque θ | 1 15 en | segundo θ + broncearse θ |

Por lo tanto la solución es,

en | porque θ | 1 15 en | segundo θ + broncearse θ | = en | X | + C
Finalmente, podemos escribir el resultado como

| porque θ | | segundo θ + broncearse θ | 1 15 = k X
dónde k = Exp ( C ) .

Eso es genial, pero definitivamente exagerado :)