Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Bendixson Dulac PDF
Bendixson Dulac PDF
Resumen
1. Introducción y preliminares
Las ecuaciones diferenciales, como es bien conocido, modelan una gran can-
tidad de situaciones de las matemáticas, fı́sica, ingenierı́a y otras ciencias aplica-
das. Sin embargo, muchas preguntas y problemas básicos siguen sin responderse.
En este trabajo realizamos una revisión de criterios para determinar la existen-
cia o no existencia de órbitas periódicas e incluimos varios ejemplos ilustrativos.
Esperamos que estas notas sean de utilidad como material de apoyo didácti-
co y muestren algunas preguntas abiertas que existen en torno a las órbitas
periódicas, por ejemplo: se desconocen cotas sobre el número de órbitas pe-
riódicas aisladas, su localización y expresiones analı́ticas de éstas (ver última
sección para otras cuestiones); por supuesto también esperamos que motiven su
futuro estudio. Empezamos recordando material básico necesario para nuestro
desarrollo.
Las ecuaciones que estudiaremos serán ecuaciones diferenciales ordinarias
autónomas, en forma más precisa. Si Ω es una región abierta (i.e., un conjunto
abierto y conexo) de Rn , y f : Ω → Rn es una función continua, decimos
entonces que una ecuación de la forma
ẋ = f (x), x ∈ Ω, (1)
dx
ẋ(t) = (t) = f (x(t)).
dt
Si t0 ∈ I, x0 ∈ Ω diremos que una solución x de (1) que satisface x(t0 ) = x0
es una solución con condición inicial x0 en t = t0 .
Recordemos un resultado que asegura la existencia y unicidad de soluciones
con condiciones iniciales, imponiendo una condición Lipschitz que definimos a
continuación:
ẋ = f (x), x(t0 ) = x0 .
Lema 1.3. (ver [4]) El flujo local asociado a la ecuación (1) cumple:
ii) φ0 (x) = x, ∀x ∈ Ω,
Def inición 1.4. Para una ecuación como en (1), decimos que un punto p ∈ Ω
es un punto crı́tico, si φt (p) = p, para todo t ∈ R. También decimos que una
solución φt (x) es una órbita periódica, si x no es punto fijo y existe T > 0, tal
que φT (x) = x.
con x1 , x2 ∈ R y f1 , f2 : Ω ⊂ R2 → R.
Recordemos que una curva de Jordan en el plano es un subconjunto de R2
homeomorfo a la frontera del cı́rculo S 1 . Notemos entonces que por el Teorema
de existencia y unicidad de ecuaciones diferenciales una curva periódica es una
curva de Jordan.
Dada una órbita periódica γ ⊂ R2 nos interesa saber qué tipo de órbita hay
en la región acotada por la curva, denotémosla por int(γ). Enunciemos primero
un resultado que nos será útil:
Teorema 2.1. (De punto fijo de Brouwer, [8]). Sea U ⊂ R2 homeomorfo a una
bola cerrada en R2 y g : U → R2 una función continua, tal que g(∂U ) ⊂ U .
Entonces g tiene al menos un punto fijo en U , es decir, existe un punto x ∈ U ,
tal que g(x) = x.
22 O. Osuna, G. Villaseñor-Aguilar
Teorema 2.2. Sea γ ⊂ R2 una curva periódica para φt (x). Entonces int(γ)
contiene al menos un punto crı́tico.
|φt (p∗ ) − p∗ || ≤ ||φt (p∗ ) − φt (pn )|| + ||φt (pn ) − pn || + ||pn − p∗ || < .
ẋ1 = 1 + x42 ,
ẋ2 = 4x1 x22 .
Teorı́a de Índice:
Consideremos f := (f1 , f2 ) y la ecuación (1’), es decir, el sistema
ẋ1 = f1 (x1 , x2 ),
ẋ2 = f2 (x1 , x2 ).
( f2 (x1 ,x2 )
dx2
dx1 = f1 (x1 ,x2 ) ,
tan(θ) := ff21 (x1 ,x2 )
(x1 ,x2 ) ,
f1 df2 − f2 df1
I I
1
jf (γ) := dθ = . (2)
2π γ γ f12 + f22
jf (x0 ) := jf (γ).
Si γ encierra una cantidad finita de puntos crı́ticos, una aplicación del Lema
anterior nos da:
ẋ = Ax + r(x),
Como consecuencia del Lema 2.6, para calcular el ı́ndice de un punto crı́ti-
co es suficiente calcular el ı́ndice del sistema linealizado asociado. Usando la
definición de ı́ndice, tenemos:
x1 dx2 − x2 dx1
I
det(A)
jAx (0) = . (4)
2π γ (a11 x 1 + a 12 x2 )2 + (a21 x1 + a22 x2 )2
Asumiendo que det(A) 6= 0, se puede ver que el ı́ndice es invariante bajo
transformaciones lineales no singulares. Por lo tanto, cuando calculamos jAx (0)
es suficiente con considerar las matrices con la forma canónica de Jordan:
a 0 a 1 a −b
Ar := , Ad := , Ac := .
0 b 0 b b a
Suponiendo que a 6= 0, tenemos que existe una deformación continua de Ad
a alguna matriz de la siguiente forma:
a + 1 0
, sign(a + 1 ) = sign(a + 2 ) = sign(a),
0 a + 2
a+ −b
, sign(a + ) = sign(a), b ∈ R+ .
b a+
Recordemos que el origen para un sistema lineal se dice punto silla si tiene
dos valores propios reales de signo diferente, por lo que tenemos como conse-
cuencia el siguiente resultado:
Lema 2.7. Consideremos A ∈ M2×2 (R) bajo la condición que det(A) 6= 0,
tenemos que jAx (0) = −1 si 0 es un punto silla; jAx (0) = +1 en otro caso.
Como consecuencia de los Lemas 2.6 y 2.7, obtenemos el siguiente resultado
para puntos crı́ticos de sistemas no lineales:
Corolario 2.8. Consideremos el sistema:
ẋ = f (x),
jf (γ) = +1.
Demostración. Nótese que si hubiera alguna órbita periódica, ésta debiera conte-
ner en su interior a la frontera interior de U0 , pues, de no ser el caso, tendrı́amos
una contradicción con el Teorema de Bendixson-Dulac. Ahora, supóngase que
existen 2 órbitas periódicas γ1 , γ2 , por la observación anterior podemos suponer
que γ1 está contenida en el interior de γ2 y el resto de la prueba se sigue en
forma similar al Teorema de Bendixson-Dulac, pues al integrar sobre la frontera
a (−hf2 , hf1 ) obtenemos cero, pero por el Teorema de Green esto coincide con
la integral ∂(hf 1) ∂(hf2 )
∂x1 + ∂x2 sobre la región limitada por las curvas γ2 y γ1 , lo cual
es diferente de 0. Esta contradicción prueba que no puede haber dos órbitas
periódicas; por lo tanto, a lo más hay una.
Por [9] otro lado, un resultado positivo para la existencia de órbitas periódi-
cas es dado por la siguiente Proposición, la cual es una consecuencia del Teorema
de Poincaré-Bendixson ([9], [1], [7], [5], [4]):
ṙ = (1 − r2 )r,
θ̇ = 1.
donde r2 = x21 + x22 , y asuma el hecho que el origen es el único punto crı́tico.
Ejemplo 4.2. Sea v(x1 , x2 ) = x21 x2 + x1 x22 , entonces grad v(x1 , x2 ) = (2x1 x2 +
x22 , x21 + 2x1 x2 ); ası́ el sistema gradiente asociado es
es la derivada de v a lo largo de y.
Ecuación de Liénard
Una ecuación diferencial se llama de Liénard, si es una ecuación de la forma
ẍ + f (x)ẋ + g(x) = 0.
5. El problema 16H
Bibliografı́a
[1] Bendixson, I. Sur les curbes définiés par des équations différentielles. Acta
Math. No. 24 (1901), pp. 1-88.
[2] Busenberg, S.; Van Den Driessche. A Method for Proving the Nonexistence
of Limit Cycles. J. Math. Anal. Appl. 172 (1993), pp. 463-479.
[3] Dulac, H. Recherche des cycles limites. C. R. Acad. Sci. Paris No. 204
(1937), pp. 1703-1706.
[4] Guckenheimer, J.; Holmes, P. Nonlinear Oscillations, Dynamical Systems,
and Bifurcations of Vector Fields. Springer-Verlag, New York (1983).
[5] Hirsch, M.; Smale, S. Differential Equations, Dynamical Systems, and Li-
near Algebra. Academic Press (1997).
[6] McCluskey, C.; Muldowney, J. Bendixson-Dulac Criteria for Difference
Equations, J. Dyn. Diff. Equations No. 10 (1998), pp. 567-575.
[7] Perko, L. Differential Equations and Dynamical Systems. Springer-Verlag
(2006).
[8] Petrovski, I. Ordinary Differential Equations, Dover Publications, Inc
(1993).
[9] Poincaré, H. Sur les courbes définies par une équations différentielle. Oeu-
vres, 1, Paris (1892).
[10] Smith, R. An Index Theorem and Bendixson’s Negative Criterion for Cer-
tain Differential Equations of Higher Dimension. Proc. Royal Soc. Edin-
burgh Sect. A 91 (1981), pp. 63-77.
34 O. Osuna, G. Villaseñor-Aguilar