Documente Academic
Documente Profesional
Documente Cultură
Semestre: 3
Docente
Pedro Javier Garca Ramrez
Agosto-Diciembre 2015
H. Veracruz, Ver.
. En
Teorema 1 Si
definida por
Adems,
Entonces,
la cual tambin es
Como una observacin importante se podra sealar que el teorema anterior no es vlido si la
funcin
Teorema 2 Sean
y la ecuacin diferencial
Dadas las hiptesis del teorema global de existencia y unicidad, entonces por todo punto de
una y solamente una rbita maximal
pasa
Teorema 3
algunos
Sea
es idnticamente igual a
. Si
.
, para
una solucin de
Si
el plano
y supngase que
. Entonces la funcin
en el tiempo
es tambin
. Por ejemplo
en
de la ecuacin anterior
es una curva cerrada que no contiene puntos crticos de (2). Entonces la solucin
,
es peridica. En efecto, observemos que que tal solucin se mueve a lo largo de su rbita
con velocidad
funcin
de
finito
y que
en
,
Como un ejemplo interesante a esto, consideremos la siguiente ecuacin diferencial de segundo orden
Mostremos que cualquier solucin de esta ecuacin es peridica. Lo primero que se hace es pasar la
ecuacin a un sistema de ecuaciones equivalentes, es decir que si hacemos
entonces obtenemos el sistema
de la ecuacin
toda solucin
calcular
, por consiguiente
Otro ejemplo interesante es el siguiente. Demostrar que toda solucin del sistema de ecuaciones
diferenciales
es peridica. En primer lugar observemos que las rbitas de la ecuacin anterior son las curvas
solucin
de
ms,
la
ecuacin
de
primer
orden
Es
[width=3.00in,height=2.86in]images/figura1a.eps
Por ltimo, se enunciarn y demostrarn resultados sobre el conjunto de los perodos de la funcin
. Bsicamente se mostrar que slo existen tres tipos de trayectorias: curvas
cerradas, un nico punto y las trayectorias sin puntos dobles.
Sean
dos perodos de
, es un
una sucesin de
de
.
.
, para algn
Supongamos que
que si
, entonces su inverso
y pertenece a
. Si
. Sea
, se sigue que
. Es
, ya que
es un subgrupo, y
dividen a
positivos
, se sigue que
. Supongamos que un
Por
lo
tanto,
el
caso
es el nfimo de los
no
se
puede
dar.
Si
, entonces para todo
, existe en
un elemento tal que,
, y esto
significa que los elementos del tipo
pertenecen a
y dividen a
en intervalos de longitud
menor que . De la arbitrariedad de se puede concluir que en cualquier vecindad de un elemento
de
siempre existen elementos de , y como
es cerrado, se sigue que
. Esto demuestra
el teorema.
De los teoremas anteriores podemos deducir que el conjunto de todos los perodos de
todo
o todos los mltiplos enteros del menor perodo
s misma existen dos posibilidades:
es o
Se puede concluir que solamente existen tres tipos de rbitas , las dos anteriores y las rbitas sin puntos
dobles, es decir, que no se autointersecan. De los tres tipos, el estudio del primero resulta de gran
importancia desde el punto de vista de las aplicaciones prcticas. En particular resulta muy til
determinar el comportamiento de un sistema fsico, en una vecindad del punto de reposo.