You are on page 1of 6

Ecuaciones Diferenciales Ordinarias

Instituto de Matemática y Ciencias Afines-UNI


Profesor: Dr. Roger Metzger
Luis Alonso Fiestas Llenque.

Teorema de Elon Lima.


Al termino del curso de Ecuaciones Diferenciales hemos revisado teoremas y
definiciones muy interesantes como El teorema de Hartman, Poincaré-Bendixson,
las definiciones de singularidades, flujos, órbitas, estabilidad, campos, etc. En
este trabajo nos centraremos en estudiar un poco sobre flujos sobre la esfera S 2
para luego probar el Teorema de Elon y para ello utilizaremos lo mencionado
anteriormente junto con nuevas herramientas como el Teorema de la Curva de
Jordan y el Teorema de Poincaré-Bendixson en S 2 .

Definiciones
Campos sobre Variedades
Un campo de vectores X en una variedad diferenciable M es una correspon-
dencia que asigna a cada punto p de M un vector tangente X(p) ∈ Tp M .

Un campo de vectores X se dice diferenciable si como aplicación X : M → TM


entre variedades y su fibrado es diferenciable.

El conjunto de todos los campos de vectores diferenciable sobre M se deno-


tará por X(M ) .
El conjunto de todos los campos de vectores de clase C k sobre M se denotará
por Xk (M ) .

Campos en S 2
S 2 denota la 2-esfera unitaria del espacio euclidiano R3 con la métrica usual,
es decir, S 2 = v ∈ R3 ; kvk = 1 .

Un Campo en S 2 es una función X : S 2 → R3 tal que para cada p ∈ S 2 ,


se tiene X(p) ∈ Tp S 2 , donde Tp S 2 denota el espacio tangente a S 2 en p, en
otras palabras, es el conjunto de los vectores v ∈ R3 tales que existe una curva

1
parametrizada diferenciable α : (−ε, ε) → S 2 , de clase C 1 , con α(0) = p y
α′ (0) = v.

En particular, para S 2 se tiene Tp S 2 = v ∈ R3 ; hv, pi = 0 (productointernousual) .

Todo campo
 X en S 2 induce una función:
fX : R {0} → R3
3

 
x
x| → fX (x) = X kxk
se deduce que fX |S 2 = X.

Un campo X en S 2 se dice continuo, diferenciable o de clase C k , si fX es con-


tinua , diferenciable o de clase C k en el abierto R3 {0} respectivamente.

Una Singularidad de un campo X en S 2 es un punto p ∈ S 2 tal que X(p) = 0.


Un punto que es una singularidad su órbita se llama regular
regular.
El conjunto de las singularidades de X se denota Sing(X)
Sing(X).

Una Curva integral de un campo X ∈ X1 S 2 pasando por un punto p ∈ S 2 es
una curva parametrizada α : I → S 2 de clase C 2 tal que I ⊂ R es un intervalo
que contiene a 0, con α(0) = p y α′ (t) = X(α(t)), para todo t ∈ I.
El conjunto α(I) es llamado órbita de pp.

Dado X ∈ X1 S 2 , una aplicación φ : R × S 2 → S 2 tal que φ(0, p) = p y
∂ 2 2
∂t φ(t, p) = X(φ(t, p)), para todo t ∈ R y p ∈ S es llamada Flujo del campo X en S .

2
·p es una singularidad de X si y sólo si φ(t, p) = p; ∀t ∈ R.

ω − lı́mitedep denotado por ω(p);


 se define como ω(p) = {q |existe (tk ) con limt→+∞ φ (tk , p) = q}.
Propiedades.- Sea X ∈ X1 S 2 . Entonces:
(1) ω(p) es cerrado;
(2) ω(p) es invariante por el flujo de X;
(3) ω(p) es conexo;

Conmutatividad entre Campos en S 2



Dos campos de vectores X, Y ∈ X1 S 2 son conmutativos si sus respectivos
flujos ϕ y ψ conmutan, esto es ϕ(t, ψ(s, p)) = ψ(s, ϕ(t, p)); ∀t, s ∈ R, ∀p ∈ S 2 .

Teoremas
Teorema 1. Teorema de Poincaré-Bendixson en s2
Sea X un campo de vectores de clase C 1 en la esfera S 2 con una cantidad finita
de singularidades. Entonces, para cada p ∈ S 2 ocurre sólo una de las siguientes
afirmaciones.
(1) ω(p) es una singularidad;
(2) ω(p) es una órbita periódica;
(1) ω(p) está compuesta por órbitas regulares y singularidades, con cada órbita
tendiendo a una de esas singularidades cuando t → ±∞.

Teorema 2. Teorema de la Curva de Jordan en S 2


Toda curva λ continua, cerrada y simple, en la esfera S 2 , divide S 2 en dos partes
homeomorfas a discos que tienen la curva como intersección y frontera.

Lema 1.
Sea X un campo de vectores en S 2 de clase C 1 y γ una órbita de X. Si γ no es
una singularidad ni una órbita periódica, entonces ω(γ)∩α(γ) = ∅ o ω(γ)∩α(γ)
es una singularidad de X.

Demostración
Demostración. Si ω(γ) sólo posee puntos singulares, por el Teorema de Poincaré-
Bendixson ω(γ) es una singularidad. De lo contrario, tomando un ponto regu-
lar p ∈ ω(γ), es sabido que existe una sección transversal orientada Σp y una
sucesión γ (tn ) ∈ Σp tal que limn→+∞ γ (tn ) = p. tal sucesión es inyectiva pues
γ no es periódica y por tanto, no tiene auto-intersecciones. Considerándose la
curva de Jordan λ, dada por la unión de A = {γ(t); t1 ≤ t ≤ t2 } con el intervalo
B = [γ (t1 ) , γ (t2 )] de Σp ,

3
por el Teorema de la curva de Jordan, λ define dos regiones disjuntas. el con-
junto {γ(t); t > t2 } no intersecta a λ ni al conjunto A pues γes simple (Figura
1); ni intersecta a B pues contradice el sentido del campo (Figura 2).

Como limt→+∞ γ(t) = p, el conjunto {γ(t); t > t2 } está contenido en la región


Rp que contiene p y por tanto, contiene también ω(γ).
Análogamente, el conjunto {γ(t); t < t1 } no intersecta los conjuntos A y B y
no esta contenida en la región Rp . Con esto, α(γ) y ω(γ) están contenidos en
regiones distintas y no interceptan a la frontera λ. Por tanto ω(γ) ∩ α(γ) = ∅.

Teorema 3.
Todo campo de vectores de clase C 1 en la esfera S 2 posee una singularidad.

Demostración. Por contradicción, sea X un campo de vectores de clase C 1 en


Demostración
S 2 , sin singularidades. Fijado p ∈ S 2 (Por el Teorema 1 de Poincaré-Bendixson),
el conjunto ω(p) es una órbita cerrada que es frontera y encierra a una región
cerrada simplemente conexa Dp (Por el Teorema 2 de la curva de Jordan) que
es invariante por X. Sea Σ el conjunto de las órbitas cerradas de X contenidas
en Dp , previsto de la siguiente orden parcial:
γa ≤ γb ⇔ Db ⊆ Da ; donde a, b ∈ S 2 .
Σ es inductivo. En efecto, Σ 6= ∅ pues γp ∈ Σ y dado S ⊆ Σ totalmente orde-
nado, definiéndose D = ∩ Dq se sigue que D es la intersección de compactos
γq ∈S
no vacı́os, encajados e invariantes por X y por tanto, D 6= ∅ e invariante por
X. Dado q0 ∈ D, es decir ω (q0 ) es una cota superior de S.
Pero por el Lema de Zorn, existe un elemento maximal γk en Σ que limita una

región cerrado Dk . Tomando x ∈ Dk , α(x) y ω(x) son órbitas cerradas (Por el
Teorema de Poincaré-Bendixson) contenidas en Dk esto pues es invariante por
X.

4
Como γx no es una singularidad (Por la hipótesis auxiliar) y no es una órbita

periódica (por ser γk elemento maximal y γx ⊂ Dk ), por el Lema 1 queda que
ω(γ) ∩ α(γ) = ∅.

por lo que α(x) o ω(x) está contenido en Dk , lo que contradice la maximalidad
de γk .

Corolario. Un campo de vectores X sobre S 2 tiene una singularidad en el inte-


rior de una región limitada por una órbita cerrada.
Se verifica fácilmente de la prueba anterior.

Lema 2.
Sean X y Y dos campos de vectores de clase C 1 en S 2 que conmutan. Si p es
una singularidad de X, entonces la órbita ψ(s, p) y el conjunto ω(ψ(s, p)) están
compuestos por singularidades de X.

Demostración. Dado s0 ∈ R, para todo t ∈ R se tiene por la conmutativi-


Demostración
dad
ϕ (t, ψ (s0 , p)) = ψ (s0 , ϕ(t, p))

= ψ (s0 , p) (porserpsingularidadenX)
Ası́ ϕ (t, ψ (s0 , p)) = ψ (s0 , p) para cada s0 ∈ R. Por tanto ψ (s0 , p) es una sin-
gularidad de X.

Entonces ω(ψ(s, p)) siempre es limite de singularidades de X. Sin embargo,


por la continuidad del campo X, si q es lı́mite de singularidades qn de X, en-
tonces q es una singularidad de X pues se tiene:
X(q) = X (Limn→+∞ qn ) = Limn→+∞ X (qn ) = Limn→+∞ 0 = 0
Por tanto q también es una singularidad.

5
Teorema de Elon L.
Si dos campos de vectores de clase C 1 en S 2 conmutan, entonces poseen una
singularidad común.

Demostración.

Por el absurdo, sean X, Y ∈ X1 S 2 sin singularidades en común, o sea Sing(X)∩
Sing(Y ) = ∅. Luego siendo Sing(X) y Sing(Y ) compactos, existe r > 0 tal que
d(p; q) > r, para cualquiera que sean p ∈ Sing(X) y q ∈ Sin(Y ).
( Además por el teorema 3 Sing(X), Sing(Y ) 6= ∅)
Entonces se puede tomar p1 ∈ sing(X) donde p1 ∈ / Sing(Y ).
Por el Lema 2 y el Teorema 1, el conjunto ω (ψ (s, p1 )) es una órbita cerrada que
está contenida en Sing(X). Y el corolario del Teorema 3 garantiza la existencia
de un punto fijo q2 de Y en el interior de la región D1 limitado por ω (ψ (s, p1 ))
(conforme la Teorema de la curva de Jordan).
Por el Lema 2 y el Teorema 1, el conjunto ω (ϕ (t, q2 )) es una órbita cerrada
que está contenida en Sing(Y ). Además de esto, ω (ϕ (t, q2 )) no no intersecta
ω (ψ (s, p1 )), mas aún, la distancia d (ω (ϕ (t, q2 )) ; ω (ψ (s, p1 ))) > r. con eso,
◦ ◦
ω (ϕ (t, q2 )) limita una región D2 enteramente contenido en D1 con D1 − D2 que
contiene un disco de radio r3 .
Prosiguiendo de esa forma, se construye una sucesión de discos cerrados (de
hecho compactos) encajados y no vacı́os en S 2 ,
. . . ⊂ D3 ⊂ D2 ⊂ D1
◦ ◦
Tales que Dn+1 ⊂ Dn con Dn − Dn+1 que contiene un disco de radio 3r , para
todo n ∈ N. Lo cual es absurdo pues D1 tiene medida (área) finita, por tanto
no puede tener una infinidad de discos disjuntos todos con radio 3r .