Soluciones Peridicas, Ciclos Limite

Y Estabilidad Global
Algunas veces, se pueden utilizar vario resultados para
establecer que no existen soluciones peridicas en una
regin R dada del plano. Supondremos que P(x,y) y Q(x,y)
tienen primeras derivadas parciales continuas en R y que R
esta simplemente conectado. Si existe una solucin
peridica X=X(t) en R, entonces R contendr todos los
puntos en el interior de la curva resultante.
Si un sistema autnomo plano tiene una solucin peridica
X=X(t) en una regin R simplemente conectada, entonces
el sistema posee al menos un punto critico dentro de la
correspondiente curva cerrada simple C. Si existe un solo
punto critico de C, entonces dicho punto no puede ser un
punto de equilibrio.
Si una regin R simplemente conectada no tiene puntos
crticos de un sistema autnomo plano o tiene un solo
punto de equilibrio, entonces no existen soluciones
peridicas en R.

Criterio negativo de Bendixson.

Si div V=P/x + Q/y no varia en signo en una regin R
simplemente conectada entonces el sistema autnomo
plano no tiene solucin en R.

Criterio negativo de Dulac.

Si (x,y) tiene primeras derivadas parciales continuas en
una regin R simplemente conectadas y ( P /x + (
Q /y no varia el signo de R, entonces el sistema
autnomo plano tiene soluciones no peridicas en R.

Regin Invariante.
Una regin R se llama regin invariante de un sistema
autnomo plano si, siempre que X0 este en R , la solucin
X=X(t) que satisface X(0)=X0 permanece en R. Una regin
invariante tipo I esta acotada por una curva cerrada simple
C, y el flujo en el limite definido por el campo vectorial

V(x,y)=(P(x,y), Q(x,y)) siempre esta dirigido al interior la

regin. Esto evita que una partcula atraviese el limite. Una
regin invariante tipo II es una regin anular acotada por las
curvas cerradas simples C1 y C2, y el flujo en la frontera de
nuevo esta dirigido hacia el interior de R.
Si n(x,y) expresa un vector normal en la frontera que
apunta hacia adentro de la regin, entonces R ser una
regin invariante para el sistema autnomo plano siempre y
cuando V(x,y) n(x,y) 0 para todos los puntos (x, y)
situados en el limite.

Teora de Poincare-Bendixson.
El teorema Poincare Bendixson es un resultado avanzado
que describe el comportamiento de largo alcance de una
solucin acotada a un sistema autnomo plano.
Sea R una regin invariante de un sistema autnomo
plano, y suponga que R no tiene puntos crticos en su
limite.
a) Si R es una regin tipo I que tiene un solo nodo
inestable o un punto espiral inestable en su interior,
entonces existe al menos una solucin peridica en R.
b) Si R es una regin tipo II que no contiene puntos
crticos del sistema, entonces existe al menos una
solucin peridica en R.
En cualquiera de los dos casos, si X=X(t) es una solucin
no peridica en R, entonces X(t) realiza una espiral hacia un
ciclo que es una solucin del sistema. Esta solucin
peridica se llama ciclo limite.
Sea R una regin invariante del tipo I de un sistema
autnomo plano que no tenga soluciones peridicas en R.
a) Si R tiene un numero finito de nodos o de puntos en
espiral, entonces, dada cualquier posicin inicial X0 en R,
lim X (t) =X1 para algn punto critico X1.
t
b) Si R tiene un nico nodo estable o punto espiral
estable X1 en su interior y no tiene puntos crticos en su
X ( t ) =X1 para todas las posiciones
limite, entonces lim
t
iniciales X0 en R.