Existencia de soluciones periodicas

Julen Rebollo
23 de noviembre de 2014

Resumen
Este trabajo presenta resultados teoricos, con sus correspondientes ejercicios, para
asegurar o descartar la existencia de soluciones periodicas en sistemas autonomos de
ecuaciones diferenciales no lineales.

1.

Resultados Te
oricos
Consideremos el sistema autonomo no lineal, con F, G C 1 :
x1
= F (x1 , x2 )
dt

(1)
x2
= G(x1 , x2 )
t
Para este tipo de sistemas tenemos herramientas con las que obtener propiedades locales.
Sin embargo, nos centraremos en una propiedad global como es aquella de la existencia de
orbitas periodicas.
Una solucion (t, x1 (t), x2 (t)) es peri
odica si no es constante y se tiene que T > 0
tal que (t, x1 (t), x2 (t)) = (t, x1 (t + T ), x2 (t + T )) t R, donde T es el periodo de la
solucion.
Por otra parte, dada un orbita periodica (cerrada) C = (x1 (t), x2 (t)) del espacio de fases
es facil ver que x1 (t) y x2 (t) definen una solucion periodica.
Con este punto de vista surgen varios teoremas que nos ayudaran como criterio para
discernir sobre la existencia de soluciones periodicas.
Teorema (A): Una orbita periodica del sistema (1) rodea necesariamente al menos un punto
crtico de este sistema.
El contrarecproco de este teorema resulta muy interesante, pues se deduce que un
sistema sin puntos crticos no puede tener orbitas periodicas.
Teorema (B): Si F/x1 + G/x2 es siempre positiva o negativa en una region del plano
de fases, el sistema (1) no tiene orbitas periodicas en esa region.
-Bendixon): Sea R una region acotada del plano de fases
Teorema (T. de Poincare
que no contenga puntos singulares. Dada una orbita que este contenida en R para cierto t0 y
permanece en R para todo t t0 , entonces se cumple una de las dos afirmaciones siguientes:
La orbita es periodica
La orbita tiende en forma de espiral hacia una orbita periodica en t .
En cualquier caso, el sistema tiene una orbita periodica en R.
En la practica puede ser complicado de aplicar el T. de Poincare-Bendixon, por eso mostramos un u
ltimo teorema que garantiza la existencia de orbitas periodicas en las ecuaciones
diferenciales de la forma:
2x
x
+ f (x)
+ g(x) = 0
2
t
t
Conocida como Ecuacion de Lienard, se puede desglosar, haciendo x1 = x, x2 = x en el
siguiente sistema:
x 1 = x2
x 2 = g(x) f (x)x2
A la hora de aplicar los teoremas, utilizaremos esta equivalencia para pasar de una ecuacion
diferencial no lineal a un sistema diferencial equivalente.
3

nard): Sean dos funciones f (x) y g(x) tal que satisfagan las siguientes conTeorema (Lie
diciones:
Ambas son contnuas con derivadas contnuas
g(x) es impar con g(x) > 0 x > 0
f (x) es par
Rx
F (x) = 0 f (x)dx tiene exactamente un cero positivo en x = a de manera que:
F (x) < 0 en 0 < x < a,

F (x) 0 en x > a,

lm F (x) =

Entonces, la ecuacion de Lienard t2x + f (x) x

+ g(x) = 0 tiene una unica orbita periodica
t
que rodea al origen en el espacio de fases de manera que todas las demas orbitas tienden a ella
en t .

2.

Aplicaci
on de la teora

Ejercicio 1: Consideremos el sistema autonomo no lineal:


x 1 = 4x1 + 4x2 x1 (x21 + x22 )
x 2 = 4x1 + 4x2 x2 (x21 + x22 )
a) Escribirlo en coordenadas polares
b) Aplicar el T. de Poincare-Bendixon para demostrar que existe una orbita periodica.
c) Hallar la solucion general no constante y usarla para hallar la solucion periodica de cuya
existencia demostramos antes.
d) Dibujar el espacio de fases.
Resoluci
on:
a) Escribirlo en coordenadas polares
Hacemos un cambio de variable:
x1 = r cos
x2 = r sin

r R+ ,

[0, 2)

2
2
2

r = x1 + x2 rr = x1 x1 + x2 x2

= tan xx2
1

r2

x2 x1 x2 x1
1
x
x21
1+( x2 )2
1

r2

z }| {
z }| {
I rr = x1 [4x1 + 4x2 x1 (x21 + x22 )] + x2 [4x1 + 4x2 x2 (x21 + x22 )]
= 4x21 + 4x1 x2 x21 r2 4x1 x2 + 4x22 x22 r2
= 4r2 r2 r2
= r2 (4 r2 )

I =

r = r(4 r2 )

[4x1 +4x2 x2 r2 ]x1 x2 [4x1 +4x2 x1 r2 ]

x21 +x22

4x21 +4x1 x2 x1 x2 r2 4x1 x2 4x22 +x1 x2 r2

r2

4(x21 +x22 )
r2

= 4

= 4

b) Aplicar el T. de Poincare-Bendixon para demostrar que existe una orbita periodica.


r = r(4 r2 ) r = 0 : r = 0, r = 2
= ! punto crtico: (0, 0)
= 4
6= 0 : t [0, )

Buscamos una region D con r(t) acotada:

r = 1 = r > 0
Sea D = {(r, ) R2 / 1 < r < 3}
r = 3 = r < 0
D no contiene puntos singulares, y r(t) esta acotada en el. Entonces, en virtud del
T. de Poincare-Bendixon, existe una solucion periodica cuya orbita periodica esta en
la region del espacio de fases D.
c) Hallar la solucion general no constante y usarla para hallar la solucion periodica de cuya
existencia demostramos antes.
d) Dibujar el espacio de fases.
Utilizamos la integracion numerica que nos frece la plataforma Octave para obtener
numericamente x 1 (t), x2 (t). Con el fin de apreciar el espacio de esapcio de fases en su
conjunto superponemos varias orbitas elegidas con condiciones iniciales concretas.

Ejercicio 2: Probar que el sistema autonomo no lineal


2
2
x 1 = 3x1 x2 x1 ex1 +x2
2
2
x 2 = x1 + 3x2 x2 ex1 +x2
tiene una solucion periodica.
Resoluci
on: Hacemos el cambio a polares:
I rr = x1 x 1 + x2 x 2
2

= x1 [3x1 x2 x1 ex1 +x2 ] + x2 [x1 + 3x2 x2 ex1 +x2 ]

2

= 3x21 x1 x2 x21 er + x1 x2 + 3x22 x22 er

2

= 3(x21 + x22 ) er (x21 + x22 )

2

= r2 (3 er )

= r = r(3 er )
6

I =

x2 x1 x2 x1
1
x2 2
1 + ( x1 )
x21

1
(x1 [x1
r2

1
(x21
r2

1
(r2 )
r2

= 1

+ 3x2 x2 ex1 +x2 ] + x2 [3x1 x2 x1 ex1 +x2 ])

2

+ 3x1 x2 x1 x2 er 3x1 x2 + x22 + x1 x2 er )

= = 1

Con lo que:


2
r = r(3 er ) r = 0 : r = 0, r = ln 3
= ! punto crtico: (0, 0)
= 1
6= 0 : t [0, )
Buscamos una region D con r(t) acotada:
r = 1 = r > 0
Sea D = {(r, ) R2 / 1 < r < 2}
r = 2 = r < 0
D no contiene puntos singulares, y r(t) esta acotada en el. Entonces, en virtud del T. de
Poincare-Bendixon, existe una solucion periodica cuya orbita periodica esta en la region
del espacio de fases D.
Dibujando el espacio de fases podemos apreciar la orbita periodica:

Ejercicio 3: Usar un teorema de los antes descritos para determinar si la ecuacion diferencial
dada admite o no una solucion periodica:
a)

2x
x
+ x5 = 0
+ (5x4 9x2 )
2
t
t

b)

2x
x
+ x5 = 0
(x2 + 1)
2
t
t

c)

2x
x 2
) (1 + x2 ) = 0

(
t2
t

2 x x
x 5
d)
+
(
) 3x3 = 0
+
2
t
t
t
e)

2x
x
x
x2
+x=0
+ x6
2
t
t
t

Resoluci
on:
a)

2x
4
2 x
+
(5x

9x
)
+ x5 = 0
t2
t
Sea f (x) = 5x4 9x2 ,

g(x) = x5 .

f (x) C 1
g(x) C 1 , g(x) > 0 en x > 0
Rx
x
F (x) = 0 f (w)dw = w5 3w3 |0 = x3 (x 3)
Tiene un cero positivo en x = 3:
 F (x) < 0 en 0 < x < 3
 f (x) > 0 en x > 3
lmx F (x) =
Entonces, por el Teorema de Lienard, existe una orbita periodica en el sistema.
Podemos apreciarla en el espacio de fases:

b)

2x
x
+ x5 = 0
(x2 + 1)
2
t
t
Descomponemos la ecuacion:
x1 = x
x2 = x

x 1 = x2
= F (x1 , x2 )
x 2 = (x21 + 1)x2 x51 = G(x1 , x2 )

Comprobamos las hipotesis de Teorema B:

F
=0
x1

F
G
+
>0
x1 x2

G
= (x21 + 1) > 0
x1

x1 , x2 R

En consecuencia, por el Teorema B, no hay orbitas periodicas en el sistema, como se

aprecia en el espacio de fases siguiente:

2x
x
c)
( )2 (1 + x2 ) = 0
2
t
t
Descomponemos la ecuacion:
x1 = x
x2 = x

x 1 = x2
x 2 = x22 + (1 + x21 )

Buscamos los puntos crticos:

x 1 = 0
x 2 = 0

x1 = 0
1 + x21 = 0

= @ puntos crticos

Con lo que, en virtud del Teorema A, no hay orbitas periodicas.

d)

2 x x
x
+ ( )5 3x3 = 0
+
2
t
t
t
Descomponemos la ecuacion:


x1 = x
x2 = x

x 1 = x2
= F (x1 , x2 )
x 2 = 3x31 x2 x52 = G(x1 , x2 )

Vamos a comprobar las hipotesis de Teorema B:

F
=0
x1

F
G
+
<0
x1 x2

G
= 1 5x42 < 0
x1

x1 , x2 R

Con lo que, en virtud del Teorema B, no hay orbitas periodicas en el sistema, como
queda claro en esta vista del espacio de fases:

2x
x
x
e)
+ x6
x2
+x=0
2
t
t
t
Sea f (x) = x6 x2 ,

g(x) = x.

f (x) C 1
g(x) C 1 , g(x) > 0 en x > 0
x
Rx
F (x) = 0 f (w)dw = 71 w7 13 w3 0 = x3 ( 71 x4 1)

Tiene un cero positivo en x = 4 7:

 F (x) < 0 en 0 < x < 4 7

 f (x) > 0 en x > 4 7

lmx F (x) =

10

Entonces, por el Teorema de Lienard, existe una orbita periodica en el sistema, como
podemos apreciar en el espacio de fases:

11