You are on page 1of 44

Introduccion

Avances
El Mapeo de Poicare
Perturbaciones a la Ecuaci on de Lienard
Manuel Fidel Domnguez Azueta
Director de tesis:
Dr. Gamaliel Ble Gonzalez
DACB - UJAT
Presentacion de Avance de Tesis
Universidad Juarez Autonoma de Tabasco
DACB
Cunduacan Tabasco, Diciembre 14 de 2012
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Introduccion
Version Simplicada
En 1998 se publico una lista de 18 problemas, propuestos por S.
Smale. El problema 13 de esa lista es una version simplicada del
problema 16 de Hilbert aplicado a la ecuacion de Lienard
x =y f (x),
y =x,
(1)
donde f es un polinomio y f (0) = 0. El problema es dar una cota
para el n umero de ciclos lmites en terminos del grado de f .
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Introduccion
Version Simplicada
En 1998 se publico una lista de 18 problemas, propuestos por S.
Smale. El problema 13 de esa lista es una version simplicada del
problema 16 de Hilbert aplicado a la ecuacion de Lienard
x =y f (x),
y =x,
(1)
donde f es un polinomio y f (0) = 0. El problema es dar una cota
para el n umero de ciclos lmites en terminos del grado de f .
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Introduccion
La conjetura a la pregunta de Smale es que el n umero de ciclos
lmites esta acotado por la cota propuesta por Lins, de Melo, y
Pugh [1] en (1). La cual es
_
n1
2

.
En este trabajo se analiza el progreso que se ha tenido entorno a
esta conjetura. En particular consideraremos diferentes
perturbaciones de la ecuacion (1) con el n de encontrar una
nueva cota.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Introduccion
La conjetura a la pregunta de Smale es que el n umero de ciclos
lmites esta acotado por la cota propuesta por Lins, de Melo, y
Pugh [1] en (1). La cual es
_
n1
2

.
En este trabajo se analiza el progreso que se ha tenido entorno a
esta conjetura. En particular consideraremos diferentes
perturbaciones de la ecuacion (1) con el n de encontrar una
nueva cota.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Ecuaci on de Lienard
Conjentura de A. Lins, W. de Melo y C. C. Puhg (1977)
El numero de ciclos limites de (1) esta acotado por
_
n1
2

Avances
1
Lins, Melo y Puhg, lo probaron para n=3.
2
F. Dumortier, D. Panazzolo y R. Roussarie (2007), mostraron
que la conjetura es falsa para n = 7 y para n > 7 impar.
3
P. De Maesschalck y F. Dumortier (2011), mostraron que la
conjetura es falsa para n 6.
4
C. Li y J. Llibre (2012) mostraron que la conjetura es valida
para n = 4.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Ecuaci on de Lienard
Conjentura de A. Lins, W. de Melo y C. C. Puhg (1977)
El numero de ciclos limites de (1) esta acotado por
_
n1
2

Avances
1
Lins, Melo y Puhg, lo probaron para n=3.
2
F. Dumortier, D. Panazzolo y R. Roussarie (2007), mostraron
que la conjetura es falsa para n = 7 y para n > 7 impar.
3
P. De Maesschalck y F. Dumortier (2011), mostraron que la
conjetura es falsa para n 6.
4
C. Li y J. Llibre (2012) mostraron que la conjetura es valida
para n = 4.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Ecuaci on de Lienard
Conjentura de A. Lins, W. de Melo y C. C. Puhg (1977)
El numero de ciclos limites de (1) esta acotado por
_
n1
2

Avances
1
Lins, Melo y Puhg, lo probaron para n=3.
2
F. Dumortier, D. Panazzolo y R. Roussarie (2007), mostraron
que la conjetura es falsa para n = 7 y para n > 7 impar.
3
P. De Maesschalck y F. Dumortier (2011), mostraron que la
conjetura es falsa para n 6.
4
C. Li y J. Llibre (2012) mostraron que la conjetura es valida
para n = 4.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Ecuaci on de Lienard
Conjentura de A. Lins, W. de Melo y C. C. Puhg (1977)
El numero de ciclos limites de (1) esta acotado por
_
n1
2

Avances
1
Lins, Melo y Puhg, lo probaron para n=3.
2
F. Dumortier, D. Panazzolo y R. Roussarie (2007), mostraron
que la conjetura es falsa para n = 7 y para n > 7 impar.
3
P. De Maesschalck y F. Dumortier (2011), mostraron que la
conjetura es falsa para n 6.
4
C. Li y J. Llibre (2012) mostraron que la conjetura es valida
para n = 4.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Ecuaci on de Lienard
Conjentura de A. Lins, W. de Melo y C. C. Puhg (1977)
El numero de ciclos limites de (1) esta acotado por
_
n1
2

Avances
1
Lins, Melo y Puhg, lo probaron para n=3.
2
F. Dumortier, D. Panazzolo y R. Roussarie (2007), mostraron
que la conjetura es falsa para n = 7 y para n > 7 impar.
3
P. De Maesschalck y F. Dumortier (2011), mostraron que la
conjetura es falsa para n 6.
4
C. Li y J. Llibre (2012) mostraron que la conjetura es valida
para n = 4.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Ecuaci on de Lienard
Conjentura de A. Lins, W. de Melo y C. C. Puhg (1977)
El numero de ciclos limites de (1) esta acotado por
_
n1
2

Avances
1
Lins, Melo y Puhg, lo probaron para n=3.
2
F. Dumortier, D. Panazzolo y R. Roussarie (2007), mostraron
que la conjetura es falsa para n = 7 y para n > 7 impar.
3
P. De Maesschalck y F. Dumortier (2011), mostraron que la
conjetura es falsa para n 6.
4
C. Li y J. Llibre (2012) mostraron que la conjetura es valida
para n = 4.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Sistema de Lienard
Resultados Basicos Analizados
1
Teora Local de Sistemas Dinamicos.
2
Teora Global de Sistemas Dinamicos.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Sistema de Lienard
Resultados Basicos Analizados
1
Teora Local de Sistemas Dinamicos.
2
Teora Global de Sistemas Dinamicos.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Sistema de Lienard
Resultados Basicos Analizados
1
Teora Local de Sistemas Dinamicos.
2
Teora Global de Sistemas Dinamicos.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare

Orbita peri odica


Denicion
Una orbita periodica del sistema
x = f (x), (2)
es cualquier curva cerrada solucion del sistema (2) que no es un
punto de equilibrio del sistema (2).
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Trayectorias.
Sea

x
0
= {x E|x =
t
(x
0
), t R}

+
x
0
= {x E|x =
t
(x
0
), t 0}

x
0
= {x E|x =
t
(x
0
), t 0}
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Trayectorias.
Sea

x
0
= {x E|x =
t
(x
0
), t R}

+
x
0
= {x E|x =
t
(x
0
), t 0}

x
0
= {x E|x =
t
(x
0
), t 0}
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Trayectorias.
Sea

x
0
= {x E|x =
t
(x
0
), t R}

+
x
0
= {x E|x =
t
(x
0
), t 0}

x
0
= {x E|x =
t
(x
0
), t 0}
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El y el lmite.
Denicion
p E esta en el lmite de
x
0
si existe t
n
tal que lim
n

t
n
(x
0
) = p.
Denicion
q E esta en el lmite de
x
0
si existe t
n
tal que lim
n

t
n
(x
0
) = q.
Conjutos y lmite.
El conjunto de todos los puntos
(
x
0
) = {p E| p es lmite de
x
0
}
es el conjunto lmite.
El conjunto de todos los puntos
(
x
0
) = {q E| q es lmite de
x
0
}
es el conjunto lmite.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El y el lmite.
Denicion
p E esta en el lmite de
x
0
si existe t
n
tal que lim
n

t
n
(x
0
) = p.
Denicion
q E esta en el lmite de
x
0
si existe t
n
tal que lim
n

t
n
(x
0
) = q.
Conjutos y lmite.
El conjunto de todos los puntos
(
x
0
) = {p E| p es lmite de
x
0
}
es el conjunto lmite.
El conjunto de todos los puntos
(
x
0
) = {q E| q es lmite de
x
0
}
es el conjunto lmite.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El y el lmite.
Denicion
p E esta en el lmite de
x
0
si existe t
n
tal que lim
n

t
n
(x
0
) = p.
Denicion
q E esta en el lmite de
x
0
si existe t
n
tal que lim
n

t
n
(x
0
) = q.
Conjutos y lmite.
El conjunto de todos los puntos
(
x
0
) = {p E| p es lmite de
x
0
}
es el conjunto lmite.
El conjunto de todos los puntos
(
x
0
) = {q E| q es lmite de
x
0
}
es el conjunto lmite.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Ciclo lmite.
Denicion
Un ciclo lmite de un sistema planar es una orbita periodica de
(2) el cual es el u lmite de alguna trayectoria de (2) que no
sea .
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Ciclos lmites
Figura: Cclos lmite a) Estable b) Inestable c) Semi estable.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Una de las herramientas basicas para el estudio de la estabilidad y
bifurcaciones de las orbitas periodicas es la transformacion de Poincare o
mapeo de primer retorno, denida por Henri Poincare en 1881.
La idea de la transformacion de Poincare es: Si es una orbita periodica
del sistema
x = f (x) (3)
a traves del punto x
0
y es un hiperplano perpendicular a en x
0
,
entonces para cualquier punto x sucientemente cerca de x
0
, la
solucion de (3) a traves de x en t = 0,
t
(x), cruzara de nuevo en un
punto P(x) cerca de x
0
. Figura. La aplicacion x P(x) se llama la
transformacion de Poincare.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Una de las herramientas basicas para el estudio de la estabilidad y
bifurcaciones de las orbitas periodicas es la transformacion de Poincare o
mapeo de primer retorno, denida por Henri Poincare en 1881.
La idea de la transformacion de Poincare es: Si es una orbita periodica
del sistema
x = f (x) (3)
a traves del punto x
0
y es un hiperplano perpendicular a en x
0
,
entonces para cualquier punto x sucientemente cerca de x
0
, la
solucion de (3) a traves de x en t = 0,
t
(x), cruzara de nuevo en un
punto P(x) cerca de x
0
. Figura. La aplicacion x P(x) se llama la
transformacion de Poincare.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Figura: La aplicacion de Poincare.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Teorema 1
Sea E un subconjunto abierto de R
n
y sea f C
1
(E). Supongamos que

t
(x
0
) es una solucion periodica de (3) de periodo T y que el ciclo
= {x R
n
|x =
t
(x
0
), 0 t T}
se encuentra en E. Sea el hiperplano ortogonal a en x
0
; es decir, que
= {x R
n
|(x x
0
) f (x
0
) = 0} .
Existe un > 0 y una unica funcion (x), denida y continuamente
diferenciable para x V

(x
0
), tal que (x
0
) = T y

(x)
(x)
para todo x V

(x
0
).
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Denicion
Sea , , y (x) que se dene como en el Teorema 1. Entonces,
para x V

(x
0
) , la funcion
P(x) =
(x)
(x)
se llama la transformacion de Poincare para en x
0
.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Ejemplo 1
El sistema
x = y + x(1 x
2
y
2
) (4)
y = x + y(1 x
2
y
2
)
tiene un ciclo lmite que es representado por = (cos(t), sen(t))
T

. Si
hacemos la transformacion a coordenadas polares al sistema (4), tenemos
r = r (1 r
2
) (5)

= 1
cuando r = 1 tenemos una orbita periodica que es representado por
= (cos(t), sen(t))
T

.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Figura: El mapeo de Poincare para el sistema en el Ejemplo 1.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
El mapeo de Poincare para se puede encontrar por la solucion del
sistema escrito en coordenadas polares con la condicion inicial r (0) = r
0
y
(0) =
0
. La primera ecuacion se puede resolver como un ecuacion
diferencial separable. La solucion es propuesta por
r (t, r
0
) =
_
1 +
_
1
r
2
0
1
_
e
2t
_
1/2
y
(t,
0
) = t +
0
.
Si la recta =
0
a traves del origen, entonces es perpendicular a
y la trayectoria a traves del punto (r
0
,
0
) en t = 0 intersecta el
rayo en =
0
nuevamente en el instante t = 2. Donde el tiempo para
la orbita periodica es T = 2. Entonces (x) = 2. Figura .
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
De ello se desprende que la transformacion de Poincare es
propuesta por
P(r
0
) = r (2, r
0
) =
_
1 +
_
1
r
2
0
1
_
e
4
_
1/2
.
Claramente P(1) = 1 correspondiente al ciclo y se ve que
P

(r
0
) = e
4
r
3
0
_
1 +
_
1
r
2
0
1
_
e
4
_
3/2
y que P

(1) = e
4
< 1.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Teorema 2
Sea E un subconjunto abierto de R
2
y supongamos que
f C
1
(E). Sea (t) una solucion periodica de (3) de periodo T.
Entonces la derivada del mapeo de Poincare P(s) a lo largo de la
lnea recta normal a =
_
x R
2
|x = (t) (0), 0 t T
_
en x = 0 esta dada por
P

(0) = exp
_
T
0
f ((t))dt.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Corolario
Bajo las hipotesis del Teorema 1, la solucion peri odica de (t) es
un ciclo lmite estable si
_
T
0
f ((t))dt < 0
y es un ciclo lmite inestable si
_
T
0
f ((t))dt > 0.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
El mapeo de Poincare
Ejemplo
Para el ejemplo 1 tenemos (t) = (cos(t), sen(t))
T
,
f (x, y) = 2 4x
2
4y
2
y
_
2x
0
f ((t))dt =
_
2
0
(2 4 cos
2
t 4 sen
2
t)dt = 4.
Por lo tanto, con s = r 1, se sigue del Teorema 2, que
P

(0) = e
4
que concuerda con el resultado encontrado en el ejemplo anterior
por calculo directo. Puesto que P

(0) < 1, el ciclo (t) es un ciclo


lmite estable en este ejemplo.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
Perko, L. (2000). Dierential Equations and Dynamical
Systems, Third Edition, Springer, New York.
J. Alavez, G. Ble, J.Llibre y J. Lopez (2011); On the maximum
number of limit cycles of a class of generalized Lienard
dierential systems. Aceptado en el International Journal of
Bifurcation and Chaos, 21.
Y. Ilyashenko (2002). Centennial history of Hilberts 16th
problem,Bull. Amer. Math. Soc. 39, 301-354.
J. Llibre, A.C. Mereu y M.A. Teixeira (2009). Limit cycles of
the generalized Lienard dierential equations. Math. Proceed.
Camb. Phyl. Soc. 148, 363-383.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
Perko, L. (2000). Dierential Equations and Dynamical
Systems, Third Edition, Springer, New York.
J. Alavez, G. Ble, J.Llibre y J. Lopez (2011); On the maximum
number of limit cycles of a class of generalized Lienard
dierential systems. Aceptado en el International Journal of
Bifurcation and Chaos, 21.
Y. Ilyashenko (2002). Centennial history of Hilberts 16th
problem,Bull. Amer. Math. Soc. 39, 301-354.
J. Llibre, A.C. Mereu y M.A. Teixeira (2009). Limit cycles of
the generalized Lienard dierential equations. Math. Proceed.
Camb. Phyl. Soc. 148, 363-383.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
Perko, L. (2000). Dierential Equations and Dynamical
Systems, Third Edition, Springer, New York.
J. Alavez, G. Ble, J.Llibre y J. Lopez (2011); On the maximum
number of limit cycles of a class of generalized Lienard
dierential systems. Aceptado en el International Journal of
Bifurcation and Chaos, 21.
Y. Ilyashenko (2002). Centennial history of Hilberts 16th
problem,Bull. Amer. Math. Soc. 39, 301-354.
J. Llibre, A.C. Mereu y M.A. Teixeira (2009). Limit cycles of
the generalized Lienard dierential equations. Math. Proceed.
Camb. Phyl. Soc. 148, 363-383.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
Perko, L. (2000). Dierential Equations and Dynamical
Systems, Third Edition, Springer, New York.
J. Alavez, G. Ble, J.Llibre y J. Lopez (2011); On the maximum
number of limit cycles of a class of generalized Lienard
dierential systems. Aceptado en el International Journal of
Bifurcation and Chaos, 21.
Y. Ilyashenko (2002). Centennial history of Hilberts 16th
problem,Bull. Amer. Math. Soc. 39, 301-354.
J. Llibre, A.C. Mereu y M.A. Teixeira (2009). Limit cycles of
the generalized Lienard dierential equations. Math. Proceed.
Camb. Phyl. Soc. 148, 363-383.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
Perko, L. (2000). Dierential Equations and Dynamical
Systems, Third Edition, Springer, New York.
J. Alavez, G. Ble, J.Llibre y J. Lopez (2011); On the maximum
number of limit cycles of a class of generalized Lienard
dierential systems. Aceptado en el International Journal of
Bifurcation and Chaos, 21.
Y. Ilyashenko (2002). Centennial history of Hilberts 16th
problem,Bull. Amer. Math. Soc. 39, 301-354.
J. Llibre, A.C. Mereu y M.A. Teixeira (2009). Limit cycles of
the generalized Lienard dierential equations. Math. Proceed.
Camb. Phyl. Soc. 148, 363-383.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
A. Lins, W. de Melo and C.C. Pugh On Lienards Equation,
Lecture Notes in Math 597, Springer, Berlin, (1977), pp.
335357.
S. Lynch, Limit cycles if generalized Lienard equations, Applied
Math. Letters 8 (1995), 1517,
S. Smale (1998). Mathematical problems for the next century,
Mathematical Intelligencer 20, 7-15.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
A. Lins, W. de Melo and C.C. Pugh On Lienards Equation,
Lecture Notes in Math 597, Springer, Berlin, (1977), pp.
335357.
S. Lynch, Limit cycles if generalized Lienard equations, Applied
Math. Letters 8 (1995), 1517,
S. Smale (1998). Mathematical problems for the next century,
Mathematical Intelligencer 20, 7-15.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
A. Lins, W. de Melo and C.C. Pugh On Lienards Equation,
Lecture Notes in Math 597, Springer, Berlin, (1977), pp.
335357.
S. Lynch, Limit cycles if generalized Lienard equations, Applied
Math. Letters 8 (1995), 1517,
S. Smale (1998). Mathematical problems for the next century,
Mathematical Intelligencer 20, 7-15.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard
Introduccion
Avances
El Mapeo de Poicare
Bibliograa
A. Lins, W. de Melo and C.C. Pugh On Lienards Equation,
Lecture Notes in Math 597, Springer, Berlin, (1977), pp.
335357.
S. Lynch, Limit cycles if generalized Lienard equations, Applied
Math. Letters 8 (1995), 1517,
S. Smale (1998). Mathematical problems for the next century,
Mathematical Intelligencer 20, 7-15.
M.F.D.A. Perturbaciones a la Ecuacion de Lienard

You might also like