cantidades de liapunov

CANTIDADES DE LIAPUNOV
[email protected]
USM
Departamento de Matemática
CANTIDADES DE LIAPUNOV – p.1/22
Campo de Vectores
Supongamos un Campo de Vectores, con suficiente
diferenciabilidad, definido por un sistema de E.D.O.
polinomial de la forma:
ẋ = λx − y + p2 (x, y) + ... + pn (x, y) + ...
X:
ẏ = x − λy + q2 (x, y) + ... + qn (x, y) + ...
(1)
pn , qn ∈ R[x, y], polinomios homogeneos de grado
n>1
CANTIDADES DE LIAPUNOV – p.2/22
Campo de Vectores
Supongamos un Campo de Vectores, con suficiente
diferenciabilidad, definido por un sistema de E.D.O.
polinomial de la forma:
ẋ = λx − y + p2 (x, y) + ... + pn (x, y) + ...
X:
ẏ = x − λy + q2 (x, y) + ... + qn (x, y) + ...
(1)
pn , qn ∈ R[x, y], polinomios homogeneos de grado
n>1
DX(0, 0) =
λ −1
1 λ
CANTIDADES DE LIAPUNOV – p.2/22
Singularidad Monodrómica
La singularidad en el origen, es Monodrómica ssi
λ = 0. En caso contrario, el campo de vectores tiene
en el origen un foco hiperbólico (Atractor si λ < 0,
Repulsor si λ > 0).
CANTIDADES DE LIAPUNOV – p.3/22
Singularidad Monodrómica
La singularidad en el origen, es Monodrómica ssi
λ = 0. En caso contrario, el campo de vectores tiene
en el origen un foco hiperbólico (Atractor si λ < 0,
Repulsor si λ > 0).
La idea para calcular las cantidades de Liapunov es
conseguir una función V : Ω → R. Donde Ω es una
vecindad suficientemente pequeña del origen en el
plano R2 , tal que el campo de vectores sea
TRANSVERSAL a curvas de nivel cerradas
V −1 (c) ⊂ Ω, c ∈ R.
CANTIDADES DE LIAPUNOV – p.3/22
Idea Geométrica
CANTIDADES DE LIAPUNOV – p.4/22
Idea Geométrica
Idea Analítica . Preguntarse por una función, con
suficiente diferenciabilidad , tal que tenga un
mínimo local en el origen.
CANTIDADES DE LIAPUNOV – p.4/22
Idea Geométrica
Idea Analítica . Preguntarse por una función, con
suficiente diferenciabilidad , tal que tenga un
mínimo local en el origen.
Para cumplir con la condición de transversalidad del
campo de vectores es suficiente
D
E
∇V, X 6= 0
CANTIDADES DE LIAPUNOV – p.4/22
Más exactamente
Sea la función de la forma
1 2
V (x, y) = (x + y 2 ) + V3 (x, y) + ... + Vn (x, y) + ...,
2
donde , Vn son polinomios homogeneos de grado n.
CANTIDADES DE LIAPUNOV – p.5/22
Más exactamente
Sea la función de la forma
1 2
V (x, y) = (x + y 2 ) + V3 (x, y) + ... + Vn (x, y) + ...,
2
donde , Vn son polinomios homogeneos de grado n.
Nótese que V tiene claramente un mínimo local en el origen.
CANTIDADES DE LIAPUNOV – p.5/22
Más exactamente
Sea la función de la forma
1 2
V (x, y) = (x + y 2 ) + V3 (x, y) + ... + Vn (x, y) + ...,
2
donde , Vn son polinomios homogeneos de grado n.
Nótese que V tiene claramente un mínimo local en el origen.
Busquemos, si existen, coeficientes ηn en términos
de los parámetros del campo de vectores tales que
D
E
∇V, X ≡ η1 (x2 + y 2 ) + η2 (x2 + y 2 )2 + ...+
ηn (x2 + y 2 )n + ...
(2)
CANTIDADES DE LIAPUNOV – p.5/22
Valores focales
Los coeficientes ηn , se llaman Valores Focales.
CANTIDADES DE LIAPUNOV – p.6/22
Valores focales
Los coeficientes ηn , se llaman Valores Focales.
Importante Si el campo de vectores es polinomial
(analítico), con coeficientes polinomiales en término
de parámetros del campo. Por la identidad anterior,
los valores focales son polinomios en términos de
los parámetros y generan un anillo de polinomios de
los parámetros.
CANTIDADES DE LIAPUNOV – p.6/22
Valores focales
Los coeficientes ηn , se llaman Valores Focales.
Importante Si el campo de vectores es polinomial
(analítico), con coeficientes polinomiales en término
de parámetros del campo. Por la identidad anterior,
los valores focales son polinomios en términos de
los parámetros y generan un anillo de polinomios de
los parámetros.
Sea B = {L(j)|j = 0, 1, ....} una base de
generadores independientes del anillo de valores
focales < η1 , ..., ηn , ... >, entonces
< η1 , ..., ηn , ... >=< L(0), L(1), ... >
CANTIDADES DE LIAPUNOV – p.6/22
Cantidades de Liapunov
Los generadores L(j), j = 0, 1, ... se llaman
Cantidades de Liapunov
CANTIDADES DE LIAPUNOV – p.7/22
Cantidades de Liapunov
Los generadores L(j), j = 0, 1, ... se llaman
Cantidades de Liapunov
Def. La singularidad en el origen de (1), se llama
Foco Débil (Fino) de orden k > 0, ssi
L(j) = 0, j = 0, 1, ..., k − 1 y L(k) 6= 0.
CANTIDADES DE LIAPUNOV – p.7/22
Cantidades de Liapunov
Los generadores L(j), j = 0, 1, ... se llaman
Cantidades de Liapunov
Def. La singularidad en el origen de (1), se llama
Foco Débil (Fino) de orden k > 0, ssi
L(j) = 0, j = 0, 1, ..., k − 1 y L(k) 6= 0.
Por la identidad (2), los coeficientes de las potencias
xi y j , del primer miembro de la identidad coinciden
con los respectivos coeficientes del segundo
miembro de la identidad.
CANTIDADES DE LIAPUNOV – p.7/22
Idea de cálculo de η’s
Explícitamente la identidad (2) se puede escribir

∂V3


+ ...)(λx − y + p2 (x, y) + p3 (x, y) + ...)+
(x +


∂x

∂V3
(y +
+ ...)(x + λy + q2 (x, y) + q3 (x, y) + ...)

∂y



 ≡ η (x2 + y 2 ) + η (x2 + y 2 )2 + ...
1
2
(3)
CANTIDADES DE LIAPUNOV – p.8/22
Idea de cálculo de η’s
Explícitamente la identidad (2) se puede escribir

∂V3


+ ...)(λx − y + p2 (x, y) + p3 (x, y) + ...)+
(x +


∂x

∂V3
(y +
+ ...)(x + λy + q2 (x, y) + q3 (x, y) + ...)

∂y



 ≡ η (x2 + y 2 ) + η (x2 + y 2 )2 + ...
1
2
(3)
Por la identidad anterior, como η1 es el coeficiente de x2 + y 2 en el segundo miembro de la
identidad, basta tomar para su cálculo, el 2-jet del primer miembro de la identidad, entonces
CANTIDADES DE LIAPUNOV – p.8/22
Idea de cálculo de η’s
Explícitamente la identidad (2) se puede escribir

∂V3


+ ...)(λx − y + p2 (x, y) + p3 (x, y) + ...)+
(x +


∂x

∂V3
(y +
+ ...)(x + λy + q2 (x, y) + q3 (x, y) + ...)

∂y



 ≡ η (x2 + y 2 ) + η (x2 + y 2 )2 + ...
1
2
(3)
Por la identidad anterior, como η1 es el coeficiente de x2 + y 2 en el segundo miembro de la
identidad, basta tomar para su cálculo, el 2-jet del primer miembro de la identidad, entonces
λx2 − xy + xy + λy 2 ≡ η1 (x2 + y 2 )
CANTIDADES DE LIAPUNOV – p.8/22
Idea de cálculo de η’s
Explícitamente la identidad (2) se puede escribir

∂V3


+ ...)(λx − y + p2 (x, y) + p3 (x, y) + ...)+
(x +


∂x

∂V3
(y +
+ ...)(x + λy + q2 (x, y) + q3 (x, y) + ...)

∂y



 ≡ η (x2 + y 2 ) + η (x2 + y 2 )2 + ...
1
2
(3)
Por la identidad anterior, como η1 es el coeficiente de x2 + y 2 en el segundo miembro de la
identidad, basta tomar para su cálculo, el 2-jet del primer miembro de la identidad, entonces
λx2 − xy + xy + λy 2 ≡ η1 (x2 + y 2 )
Igualando coeficientes : η1 = λ, es decir, η1 es la parte real del valor propio λ + i
CANTIDADES DE LIAPUNOV – p.8/22
Idea de cálculo de η’s
Explícitamente la identidad (2) se puede escribir

∂V3


+ ...)(λx − y + p2 (x, y) + p3 (x, y) + ...)+
(x +


∂x

∂V3
(y +
+ ...)(x + λy + q2 (x, y) + q3 (x, y) + ...)

∂y



 ≡ η (x2 + y 2 ) + η (x2 + y 2 )2 + ...
1
2
(3)
Por la identidad anterior, como η1 es el coeficiente de x2 + y 2 en el segundo miembro de la
identidad, basta tomar para su cálculo, el 2-jet del primer miembro de la identidad, entonces
λx2 − xy + xy + λy 2 ≡ η1 (x2 + y 2 )
Igualando coeficientes : η1 = λ, es decir, η1 es la parte real del valor propio λ + i
Sea L(0) = λ, la primera cantidad de Liapunov.
CANTIDADES DE LIAPUNOV – p.8/22
Cálculo de η2, con L(0) = 0
De la identidad (3), el valor focal η2 depende de los
coeficientes del 4-jet del primer miembro de la
identidad, es decir, de los coeficientes del 3-jet del
campo de vectores , pues el primer miembro de la
identidad (3) , contiene multiplicación por términos
lineales.
CANTIDADES DE LIAPUNOV – p.9/22
Cálculo de η2, con L(0) = 0
De la identidad (3), el valor focal η2 depende de los
coeficientes del 4-jet del primer miembro de la
identidad, es decir, de los coeficientes del 3-jet del
campo de vectores , pues el primer miembro de la
identidad (3) , contiene multiplicación por términos
lineales.
Los términos cúbicos del primer miembro de la
identidad (3) tienen que ser nulos, pues el segundo
término de la identidad (3) no contiene términos
cúbicos.
CANTIDADES DE LIAPUNOV – p.9/22
Cálculo de η2, con L(0) = 0
De la identidad (3), el valor focal η2 depende de los
coeficientes del 4-jet del primer miembro de la
identidad, es decir, de los coeficientes del 3-jet del
campo de vectores , pues el primer miembro de la
identidad (3) , contiene multiplicación por términos
lineales.
Los términos cúbicos del primer miembro de la
identidad (3) tienen que ser nulos, pues el segundo
término de la identidad (3) no contiene términos
cúbicos.
Bajo la hipótesis λ = 0, efectuando los cálculos se
obtiene que los coeficientes de V3 (x, y) satisfacen el
sistema:
CANTIDADES DE LIAPUNOV – p.9/22
Anulación de Cúbicos
0 −1 0 0
v30
p20
 −3 0 2 0   v21   −p11 − q20 
=



 0 −2 0 3   v12   −p02 − q11 
0 0 1 0
v03
q02





CANTIDADES DE LIAPUNOV – p.10/22
Anulación de Cúbicos
0 −1 0 0
v30
p20
 −3 0 2 0   v21   −p11 − q20 
=



 0 −2 0 3   v12   −p02 − q11 
0 0 1 0
v03
q02





Sistema compatible. Determinante de la matriz de
coeficientes = 9.
CANTIDADES DE LIAPUNOV – p.10/22
Anulación de Cúbicos
0 −1 0 0
v30
p20
 −3 0 2 0   v21   −p11 − q20 
=



 0 −2 0 3   v12   −p02 − q11 
0 0 1 0
v03
q02





Sistema compatible. Determinante de la matriz de
coeficientes = 9.

1


v30 = (p11 + 2q02 + q20 )


3


v21 = −p20
v12 = q02





 v03 = 1 (−p02 − 2p20 − q11 )
3
CANTIDADES DE LIAPUNOV – p.10/22
Cálculo de L(1)
El valor focal η2 , depende de los coeficientes de los
términos cuárticos del primer miembro de la
identidad (3), que a su vez dependen de los
coeficientes del 3-jet del campo de vectores.
CANTIDADES DE LIAPUNOV – p.11/22
Cálculo de L(1)
El valor focal η2 , depende de los coeficientes de los
términos cuárticos del primer miembro de la
identidad (3), que a su vez dependen de los
coeficientes del 3-jet del campo de vectores.
Efectuando los cálculos se obtiene que los coeficientes de V4 (x, y) satisfacen el sistema:
CANTIDADES DE LIAPUNOV – p.11/22
Cálculo de L(1)
El valor focal η2 , depende de los coeficientes de los
términos cuárticos del primer miembro de la
identidad (3), que a su vez dependen de los
coeficientes del 3-jet del campo de vectores.
Efectuando los cálculos se obtiene que los coeficientes de V4 (x, y) satisfacen el sistema:
8
>
v40
>
>
>
>
>
>
>
>
>
>
>
v31
>
>
>
>
>
>
>
<
>
>
>
>
v22
>
>
>
>
>
>
v13
>
>
>
>
>
>
>
>
>
: v
04
=
2
2 −p q
(p03 + p211 − 2p02 p20 − 2p220 + p21 + 2q02
02 11 − 3p20 q11 − q11 +
q12 + 2q02 q20 + p11 (3q02 + q20 ) + q30 + 4v04 )/4
=
−(p11 p20 ) − p30 − 4p20 q02 + q03 − q02 q11 + (p12 + p11 p20 + 3p30 +
12p20 q02 + p02 (p11 + 2q02 ) − 3q03 + 5q02 q11 − 2(−2p20 q02 + q03 − q02 q11 )
−2p20 q20 − q11 q20 + q21 )/8
=
2
2 −p q
(p03 − 2p02 p20 + p11 q02 + 2q02
02 11 − 2p20 q11 − q11 + q12 + 4v04 )/2
=
(−p12 − p11 p20 − 3p30 − 12p20 q02 − p02 (p11 + 2q02 ) + 3q03 − 5q02 q11 +
2(−2p20 q02 + q03 − q02 q11 ) + 2p20 q20 + q11 q20 − q21 )/8
=
arbitrario
CANTIDADES DE LIAPUNOV – p.11/22
Expresión de L(1)
Con los
coeficientes anteriores de V4 se obtiene:
(p12 + p11 p20 + 3p30 + p02 p11 + 2p02 q02 +
η2 =
3q03 − q02 q11 − 2p20 q20 − q11 q20 + q21 )/8
CANTIDADES DE LIAPUNOV – p.12/22
Expresión de L(1)
Con los
coeficientes anteriores de V4 se obtiene:
(p12 + p11 p20 + 3p30 + p02 p11 + 2p02 q02 +
η2 =
3q03 − q02 q11 − 2p20 q20 − q11 q20 + q21 )/8
Luego se toma L(1) = η2
CANTIDADES DE LIAPUNOV – p.12/22
Expresión de L(1)
Con los
coeficientes anteriores de V4 se obtiene:
(p12 + p11 p20 + 3p30 + p02 p11 + 2p02 q02 +
η2 =
3q03 − q02 q11 − 2p20 q20 − q11 q20 + q21 )/8
Luego se toma L(1) = η2
Comentario:El algoritmo descrito más arriba es programable: G. Lloyd and J.M. Pearson
desarrollaron un Software con REDUCE, llamado FINDETA . Como parte del proyecto de
investigación interno de la USM (1995), con el apoyo computacional de J. Figueroa
desarrollamos otro Software con Mathematica, llamado LIAPUNOV.
CANTIDADES DE LIAPUNOV – p.12/22
Expresión de L(1)
Con los
coeficientes anteriores de V4 se obtiene:
(p12 + p11 p20 + 3p30 + p02 p11 + 2p02 q02 +
η2 =
3q03 − q02 q11 − 2p20 q20 − q11 q20 + q21 )/8
Luego se toma L(1) = η2
Comentario:El algoritmo descrito más arriba es programable: G. Lloyd and J.M. Pearson
desarrollaron un Software con REDUCE, llamado FINDETA . Como parte del proyecto de
investigación interno de la USM (1995), con el apoyo computacional de J. Figueroa
desarrollamos otro Software con Mathematica, llamado LIAPUNOV.
Con el Software LIAPUNOV, se pueden calcular los
valores focales de orden superior. Son expresiones
muy extensas por ejemplo para η3 .
CANTIDADES DE LIAPUNOV – p.12/22
Expresión de η3
η3 = (−10p302 p11 + 17p02 p03 p11 + 12p04 p11 − 23p02 p311 − 10p202 p12 − 3p03 p12 − 23p211 p12 +
20p02 p13 + 12p14 − 76p202 p11 p20 + 13p03 p11 p20 − 23p311 p20 − 46p02 p12 p20 + 28p13 p20 −
142p02 p11 p220 − 64p12 p220 − 76p11 p320 − 5p02 p11 p21 − 9p12 p21 − p11 p20 p21 + 4p11 p22 −
90p202 p30 − 45p03 p30 − 77p211 p30 − 234p02 p20 p30 − 228p220 p30 − 39p21 p30 + 12p02 p31 +
36p20 p31 + 12p32 − 20p11 p40 + 60p50 − 20p302 q02 + 34p02 p03 q02 + 24p04 q02 − 159p02 p211 q02 −
105p11 p12 q02 − 132p202 p20 q02 + 32p03 p20 q02 − 109p211 p20 q02 − 192p02 p220 q02 − 24p320 q02 −
2 −
50p02 p21 q02 − 40p20 p21 q02 − 16p22 q02 − 287p11 p30 q02 − 88p40 q02 − 350p02 p11 q02
2 − 144p p q 2 − 392p q 2 − 248p q 3 + 24p q 3 − 30p2 q
148p12 q02
20 02
02 02
30 02
11 20 02
02 03 − 9p03 q03 −
2 q
81p211 q03 − 178p02 p20 q03 − 248p220 q03 − 51p21 q03 − 303p11 q02 q03 − 372q02
03 + 80p02 q04 +
88p20 q04 + 60q05 − 13p202 p11 q11 + 8p03 p11 q11 − 13p02 p12 q11 + 8p13 q11 − 42p02 p11 p20 q11 −
CANTIDADES DE LIAPUNOV – p.13/22
Continuación de η3
17p12 p20 q11 − 29p11 p220 q11 − 75p02 p30 q11 − 87p20 p30 q11 − 16p202 q02 q11 + 19p03 q02 q11 +
3
2 q
27p211 q02 q11 + 28p02 p20 q02 q11 + 96p220 q02 q11 + 17p21 q02 q11 + 101p11 q02
11 + 124q02 q11 −
2 − 3p q 2 − 3p p q 2 − 9p q 2 +
59p02 q03 q11 − 71p20 q03 q11 + 20q04q11 − 3p02 p11 q11
30 11
11 20 11
12 11
2 + 37p q q 2 − 5q q 2 − q q 3 − 3p p q
27p02 q02 q11
02 11 12 − 3p12 q12 − 7p11 p20 q12 −
02 11
03 11
20 02 11
21p30 q12 − 46p02 q02 q12 − 40p20 q02 q12 − 33q03 q12 + 23q02 q11 q12 − 36q02 q13 − 53p02 p211 q20 −
53p11 p12 q20 + 60p202 p20 q20 + 30p03 p20 q20 − 3p211 p20 q20 + 156p02 p220 q20 + 152p320 q20 −
8p02 p21 q20 + 2p20 p21 q20 − 8p22 q20 − 131p11 p30 q20 − 80p40 q20 − 232p02 p11 q02 q20 −
2
2 q
134p12 q02 q20 + 68p11 p20 q02 q20 − 322p30 q02 q20 − 252p02 q02
20 + 288p20 q02 q20 −
147p11 q03 q20 −378q02 q03 q20 +30p202 q11 q20 +15p03 q11 q20 +27p211 q11 q20 +136p02 p20 q11 q20 +
2 q q +29p q 2 q +39p q 2 q −
158p220 q11 q20 +21p21 q11 q20 +138p11 q02 q11 q20 +238q02
20 11 20
11 20
02 11 20
CANTIDADES DE LIAPUNOV – p.14/22
Fin de η3
2
2
3 q
q11
20 − 8p02 q12 q20 − 2p20 q12 q20 + 19q11 q12 q20 − 12q13q20 − 30p02 p11 q20 − 30p12 q20 +
2 − 30p q 2 − 60p q q 2 + 228p q q 2 − 90q q 2 + 37p q q 2 +
64p11 p20 q20
11 11 20
03 20
20 02 20
02 02 20
30 20
2
2 + 20p q 3 + 10q q 3 − 30p2 q
124q02 q11 q20
11 20
20 20
02 21 − 15p03 q21 − 27p11 q21 − 86p02 p20 q21 −
2
2 q
100p220 q21 − 21p21 q21 − 89p11 q02 q21 − 112q02
21 − 29p02 q11 q21 − 33p20 q11 q21 + q11 q21 −
2 q
15q12 q21 − 37p11 q20 q21 − 94q02 q20 q21 − 10q20
21 + 8p02 q22 + 16p20 q22 − 4q11 q22 + 12q23 −
9p02 p11 q30 − 9p12 q30 − 5p11 p20 q30 − 63p30 q30 − 18p02 q02 q30 + 32p20 q02 q30 − 27q03 q30 +
8p11 q11 q30 + 37q02 q11 q30 + 82p20 q20 q30 + 41q11 q20 q30 − 21q21 q30 − 8p11 q31 − 28q02 q31 −
20q20 q31 − 24p20 q40 − 12q11 q40 + 12q41 )/192
CANTIDADES DE LIAPUNOV – p.15/22
Bifurcaciones generalizadas de Hopf
El Campo de Vectores (1), tiene en el origen un
Foco Débil Atractor de orden dos si
L(0) = L(1) = 0 y L(2) < 0.
CANTIDADES DE LIAPUNOV – p.16/22
Bifurcaciones generalizadas de Hopf
El Campo de Vectores (1), tiene en el origen un
Foco Débil Atractor de orden dos si
L(0) = L(1) = 0 y L(2) < 0.
Por el algoritmo descrito en estas notas existe,
D
E
J6 (V )(x, y) , tal que,
∇V6 , J5 (X) 6= 0
CANTIDADES DE LIAPUNOV – p.16/22
Bifurcaciones generalizadas de Hopf
El Campo de Vectores (1), tiene en el origen un
Foco Débil Atractor de orden dos si
L(0) = L(1) = 0 y L(2) < 0.
Por el algoritmo descrito en estas notas existe,
D
E
J6 (V )(x, y) , tal que,
∇V6 , J5 (X) 6= 0
Geométricamente, existe una curva de nivel pequeño
de J6 (V ), transversal al campo de vectores en cada
punto. El sentido del campo de vectores es hacia el
origen, pues L(2) < 0 y el sentido del gradiente
∇J6 (V ) es el opuesto hacia el origen pues J6 (V )
tiene un mínimo local en el origen.
CANTIDADES DE LIAPUNOV – p.16/22
gráfica
J6 (V )−1 (c), c valor regular pequeño
X
CANTIDADES DE LIAPUNOV – p.17/22
gráfica
J6 (V )−1 (c), c valor regular pequeño
X
Sea una perturbación de los parámetros del Campo
(1) que invierta la estabilidad del origen, es decir, tal
que, L(0) = 0 y L(1) > 0. Entonces ocurren dos
cosas:
CANTIDADES DE LIAPUNOV – p.17/22
Continuación
D
E
La transversalidad , ∇V6 , J5 (X) < 0, es persiste
pues la transversalidad es estructuralmente estable.
CANTIDADES DE LIAPUNOV – p.18/22
Continuación
D
E
La transversalidad , ∇V6 , J5 (X) < 0, es persiste
pues la transversalidad es estructuralmente estable.
existeDun curva de E
nivel pequeño, J4 (V )−1 (c1 ) , tal
que, ∇V4 , J3 (X) > 0
CANTIDADES DE LIAPUNOV – p.18/22
Continuación
D
E
La transversalidad , ∇V6 , J5 (X) < 0, es persiste
pues la transversalidad es estructuralmente estable.
existeDun curva de E
nivel pequeño, J4 (V )−1 (c1 ) , tal
que, ∇V4 , J3 (X) > 0
J6 (V )−1 (c), c valor regular pequeño
J4 (V )−1 (c1 ), c1 valor regular pequeño
X
CANTIDADES DE LIAPUNOV – p.18/22
Primer ciclo límite
Por el Teorema de Poincaré-Bendixon, existe un
ciclo límite infinitesimal hiperbólico atractor, entre
las curvas de nivel J6 (V )−1 (c) y J4 (V )−1 (c1 ).
CANTIDADES DE LIAPUNOV – p.19/22
Primer ciclo límite
Por el Teorema de Poincaré-Bendixon, existe un
ciclo límite infinitesimal hiperbólico atractor, entre
las curvas de nivel J6 (V )−1 (c) y J4 (V )−1 (c1 ).
La hiperbolicidad del ciclo límite es consecuencia de
la transformación de primer retorno de Poincaré ya
que intersecta transversalmente la diagonal
π
P
CANTIDADES DE LIAPUNOV – p.19/22
Segundo ciclo límite
Sea una perturbación de los parámetros del Campo
(1) que invierta nuevamente la estabilidad del
origen, es decir, tal que, L(0) < 0 con L(1) > 0.
Entonces ocurren tres cosas:
CANTIDADES DE LIAPUNOV – p.20/22
Segundo ciclo límite
Sea una perturbación de los parámetros del Campo
(1) que invierta nuevamente la estabilidad del
origen, es decir, tal que, L(0) < 0 con L(1) > 0.
Entonces ocurren tres cosas:
D
E
La transversalidad , ∇V4 , J3 (X) > 0, es persiste
pues es estructuralmente estable.
CANTIDADES DE LIAPUNOV – p.20/22
Segundo ciclo límite
Sea una perturbación de los parámetros del Campo
(1) que invierta nuevamente la estabilidad del
origen, es decir, tal que, L(0) < 0 con L(1) > 0.
Entonces ocurren tres cosas:
D
E
La transversalidad , ∇V4 , J3 (X) > 0, es persiste
pues es estructuralmente estable.
El ciclo límite atractor anterior, persiste pues es
hiperbólico
CANTIDADES DE LIAPUNOV – p.20/22
Segundo ciclo límite
Sea una perturbación de los parámetros del Campo
(1) que invierta nuevamente la estabilidad del
origen, es decir, tal que, L(0) < 0 con L(1) > 0.
Entonces ocurren tres cosas:
D
E
La transversalidad , ∇V4 , J3 (X) > 0, es persiste
pues es estructuralmente estable.
El ciclo límite atractor anterior, persiste pues es
hiperbólico
−1
Existe
un
curva
de
nivel
pequeño,
J
(V
)
(c2 ) , tal
2
D
E
que, ∇V2 , J1 (X) < 0
CANTIDADES DE LIAPUNOV – p.20/22
Continuación
Por el Teorema de Poincaré-Bendixon, existe un
ciclo límite infinitesimal hiperbólico repulsor , entre
las curvas de nivel J4 (V )−1 (c) y J2 (V )−1 (c1 ).
CANTIDADES DE LIAPUNOV – p.21/22
Continuación
Por el Teorema de Poincaré-Bendixon, existe un
ciclo límite infinitesimal hiperbólico repulsor , entre
las curvas de nivel J4 (V )−1 (c) y J2 (V )−1 (c1 ).
La hiperbolicidad del nuevo ciclo límite es
consecuencia de la transformación de primer retorno
de Poincaré y es como en la figura .
π
P
CANTIDADES DE LIAPUNOV – p.21/22
FIN
CANTIDADES DE LIAPUNOV – p.22/22