SECRETARA DE EDUCACION PBLICA

TECNOLOGICO NACIONAL DE MXICO

INSTITUTO TECNOLGICO DE VERACRUZ

Carrera: Ingeniera Mecnica

Materia: Ecuaciones Diferenciales

Clave del Grupo: 42-D

Arenas Flores Andrea Lisette

Tema: Ecuaciones Diferenciales Autnomas

Semestre: 3

Docente
Pedro Javier Garca Ramrez

Agosto-Diciembre 2015

H. Veracruz, Ver.

Ecuaciones Diferenciales Autnomas

Definicin.- Ecuacin diferencial autnoma de primer orden.
Una ecuacin diferencial autnoma de 1er orden es una ecuacin de la forma

Donde F(y) es una funcin dada continua.

Nota: Si en vez de usar la notacin y=y(x) para las soluciones usamos la notacin x=x(t), la ecuacin
diferencial de 1er orden es x = F(x).
Ejemplos:
es una ecuacin diferencial autnoma de 1er orden. Tambin lo es x
cambio
es una ecuacin diferencial de 1er orden no autnoma; x
tambin es una ecuacin diferencial no autnoma.

. En

Definicin.- Ecuacin diferencial autnoma de segundo orden.

Una ecuacin diferencial autnoma de 2do orden es una ecuacin de la forma

Donde F(y,y) es una funcin dada continua de dos variables reales.

Ejemplos: La ecuacin diferencial
es autnoma de 2do orden, pues
donde la funcin F es F(u,v) = -3u 4v
La ecuacion diferencial y + 4y + 3y = 0 es autonoma de 2do orden, pues y = 3y 4y = F(y, y)
donde la funcin F es F(u, v) = 3u 4v (u, v) R2. La ecuacin diferencial y + 4y = 0 tambin es
autnoma de 2do orden pues y = 4y = F(y, y) donde F(u, v) = 4u (u, v) R2. La ecuacin
diferencial y + 4xy + 3y = 0 es lineal de 2do orden homognea, pero es no autnoma porque y =
3y 4xy no puede escribirse como funcin continua que depende solo de y e y, (depende adems de
x).
Definicin. Ecuacin diferencial autnoma de orden k 1
Sea k 1 un mero natural dado. Una ecuacin diferencial autnoma de orden k es una ecuacin de la
forma
y(k) = F(y, y, y, . . . , y(k1) )
donde F es una funcin dada continua de k variables reales, e y(k), y(k1), etc, denotan la derivada
k-sima, (k 1)-sima, etc, respectivamente de una funcin solucin y = y(x).
Definicin. Puntos de equilibrio o soluciones estacionarias
Se llama punto de equilibrio o solucin estacionaria de una ecuacin diferencial a una solucin y(x) = a
constante para todo x R. Es decir, las soluciones estacionarias o puntos de equilibrio son
aquellas cuyas graficas son rectas horizontales.

Los puntos de equilibrio o soluciones estacionarias de una ecuacin diferencial autnoma de

1er orden y = F(y) son todas las funciones constantes (de la forma y(x) = a constante para
todo x) tales que la constante real a satisfacer F(a) = 0. Por ejemplo, si la ecuacin diferencial es
y = y 2 1, los puntos de equilibrio son dos: y(x) = 1 x R e y(x) = 1 x R porque a = 1
y a = 1 son las nicas races de la ecuacin a 2 1 = 0. Otros ejemplos: la ecuacin diferencial
x = x2 + 1 no tiene puntos de equilibrio o soluciones estacionarias, porque la ecuacin a 2 + 1 = 0
no tiene soluciones reales a. La ecuacin diferencial x =x tiene una nica solucin estacionaria
o punto de equilibrio que es x(t) = 0 t R.
Los puntos de equilibrio o soluciones estacionarias de una ecuacin diferencial autnoma de
2do. orden y = F(y, y) son todas las funciones constantes (de la forma y(x) = a constante para
todo x) tales que la constante real a satisfacer F(a, 0) = 0. Por ejemplo, si la ecuacin diferencial
es y = 4y 3y, el punto de equilibrio es uno solo: y(x) = 0 x R porque a = 0 es la nica
raz de la ecuacin 4 0 3a = 0. Otros ejemplos: la ecuacin diferencial y = y2 + 1 no tiene
puntos de equilibrio o soluciones estacionarias, porque la ecuacin a2 + 1 = 0 no tiene soluciones
reales a. La ecuacin diferencial y = y2 + y 1 tiene dos soluciones estacionarias o puntos de
equilibrio que son y(x) = 1 x R, e y(x) = 1 x R.

El primer teorema que estableceremos es de particular importancia en el estudio de los sistemas

autnomos. Indica que las soluciones de un sistema autnomo se pueden en cierto sentido ``trasladar".

Teorema 1 Si

definida por

En efecto, para todo

Ahora para todo

Adems,

es una solucin de la ecuacin

, entonces para todo

, es tambin una solucin maximal de la misma ecuacin.

de donde se concluye que

La interpretacin del teorema anterior es bastante simple. Si

sustituimos por

, entonces obtenemos una nueva funcin

solucin de (1). Si por ejemplo,

Entonces,

es una solucin de (1) y si

la cual tambin es

son soluciones del sistema

tambin son soluciones.

Como una observacin importante se podra sealar que el teorema anterior no es vlido si la
funcin

del lado derecho de (1) depende explcitamente de la variable

Enunciamos a continuacin un teorema de existencia y unicidad para sistemas autnomos. La

demostracin se puede consultar en

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

Un teorema de particular inters en sistemas dinmicos es el siguiente.

Teorema 3
algunos

Sea

una solucin de la ecuacin

entonces

es idnticamente igual a

. Si
.

, para

Lo que establece este teorema es que si una solucin

despus de algn tiempo

de la ecuacin (1) regresa a su valor inicial

, entonces tal solucin debe ser peridica con periodo

La demostracin de este resultado es simple. Sea

, para algunos
solucin
que coincide con
concluye el resultado.

una solucin de

Si
el plano

y supngase que

. Entonces la funcin

en el tiempo

es tambin

. Por el teorema de existencia y unicidad se

La propiedad anterior es muy til sobre todo en el caso en que

sea

. Por ejemplo

una solucin peridica del sistema de ecuaciones diferenciales

, entonces la rbita de la solucin es una curva cerrada

, ya que en cualquier tiempo

en

, la solucin se mueve a lo largo de

Recprocamente, supongamos que la rbita de la solucin

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

. Si su rbita no contiene puntos crticos de (2), entonces la

posee un mnimo positivo para

debe regresar a su punto inicial

, pero esto implica que

y que

en
,

. Por lo tanto, la rbita

en algn tiempo
, para toda .

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

Las rbitas del sistema anterior son las curvas solucin de

de la ecuacin
toda solucin
calcular

. El nico punto crtico del sistema es

,
el

, por consiguiente

es una funcin peridica en el tiempo. Sin embargo, no es posible

perodo
de
ninguna
solucin
particular.

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

es el nico punto crtico del sistema. Por lo tanto, toda solucin

del sistema anterior es una funcin peridica del tiempo.

[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.

Teorema 4 El conjunto de todos los perodos de la funcin definida por

subgrupo cerrado del grupo de los nmeros reales.

Sean

dos perodos de

, entonces se sigue que

, es un

de donde se deduce que

es tambin un perodo. Esto demuestra que el conjunto de los

perodos es un subgrupo. Falta demostrar que tal subgrupo es cerrado. Sea

perodos tales que

. Del hecho de que

una sucesin de

es continua se sigue que

Esto demuestra que el conjunto de perodos es un conjunto cerrado.

Otro resultado fundamental es el siguiente.
Teorema 5 Todo subgrupo cerrado

de

.
.

, para algn

Supongamos que
que si

es alguna de las siguientes posibilidades:

, entonces existe al menos un elemento positivo. Esto se sigue del hecho de

, entonces su inverso

fcil mostrar que

y pertenece a

. Si

. Sea

, se sigue que

. Es
, ya que

es un subgrupo, y

adems que todos los elementos de la forma

tambin pertenecen a . Mostremos que cualquier
elemento q ue no sea de esta forma no puede estar en
. En efecto, los elementos de
forma
elemento
que

dividen a

en intervalos abiertos de la forma

de estos intervalos tambin est en

. Como

positivos

, entonces tendramos que

, lo que contradice la suposicin de que

de

, se sigue que

de donde resulta que

elementos

. 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

. Esto significa que si una rbita se corta a

La solucin es constante y la rbita se reduce a un nico punto, el cual se denomina punto de

reposo.

La solucin es peridica con perodo

ciclo.

y la rbita es una curva cerrada, la cual se denomina

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.