Академический Документы
Профессиональный Документы
Культура Документы
tem
atic
as
CAPITULO 8
a, I
SISTEMAS AUTONOMOS,
EL PLANO
DE FASE
An
tio
qui
8.1.
nsti
tuto
de
INTRODUCCION A LA
TEORIA DE ESTABILIDAD
da d
de
Frecuentemente nos ocurre que no podemos resolver una E.D. analticamente y con mas frecuencia si la E.D. es no lineal, pero aunque no podamos
resolverla explcitamente, s podemos analizar el comportamiento cualitativo de sus soluciones. Buscaremos esta informacion cualitativa a partir de la
E.D., sin resolverla explcitamente.
ersi
Un
iv
dx
= F (x, y)
dt
dy
= G(x, y)
dt
(8.1)
281
282
(8.2)
atic
as
de
Ma
tem
Si x(t) y y(t) no son ambas constantes, entonces (8.2) son las ecuaciones
parametricas de una curva en el plano XY , a este plano lo llamaremos el
plano de fase y la curva solucion la llamaremos una trayectoria del sistema
y la denotamos por (x(t), y(t)), la familia de trayectorias representadas en
el plano de fase la llamaremos el retrato de fase
(8.3)
a, I
nsti
x = x(t + c)
y = y(t + c)
tuto
qui
An
tio
da d
de
Por tanto, cada trayectoria viene representada por muchas soluciones que
difieren entre si por una translacion del parametro. Tambien cualquier trayectoria que pase por el punto (x0 , y0 ), debe corresponder a una solucion de
la forma (8.3) , es decir, por cada punto del plano de fase pasa una sola
trayectoria, o sea, que las trayectorias no se intersectan.
Un
iv
ersi
Nota:
i). La direccion de t creciente a lo largo de la trayectoria dada es la misma
para todas las soluciones que representan a esa trayectoria. Una trayectoria
(x(t), y(t)) es por tanto una curva dirigida y en las figuras utilizamos flechas
para indicar la direccion de t creciente sobre las trayectorias.
ii). De lo anterior se concluye que para los sistemas x = F (x, y), y = G(x, y)
y x = F (x, y), y = G(x, y) los diagramas de fase son los mismos, excepto
que la orientacion en cada trayectoria se invierte.
iii). Para el punto (x0 , y0 ) tal que
dy
= F (x0 , y0 ) = 0,
dt
dx
= G(x0 , y0 ) = 0
dt
8.1. SISTEMAS AUTONOMOS,
EL PLANO DE FASE
283
se cumple que
x(t) x0
y(t) y0
atic
as
De las anotaciones anteriores se concluye que las trayectorias cubren todo el plano de fase y no se intersectan entre si, la u
nica excepcion a esta
afirmacion ocurre en los puntos (x0 , y0 ), donde F y G son cero.
Ma
tem
Definici
on 8.1 (Punto Crtico). Al punto (x0 , y0 ) tal que F (x0 , y0 ) = 0 y
G(x0 , y0 ) = 0 se le llama un punto crtico del sistema.
tuto
de
nsti
An
tio
qui
a, I
da d
de
x = y = F (x, y)
c
g
y = y sen x = G(x, y).
m
a
Un
iv
ersi
Los puntos (n, 0) para n Z son puntos crticos aislados, ya que F (n, 0) =
0 y G(n, 0) = 0. Estos puntos (n, 0) corresponden a un estado de movimiento de la partcula de masa m en el que tanto la velocidad angular y = d
dt
d2
=
se
anulan
simult
a
neamente,
o
sea
que
la
y la aceleracion angular dy
2
dt
dt
partcula esta en reposo; no hay fuerza que act
ue sobre ella y por consiguiente
esta en equilibrio. Por esta razon en algunos textos a los puntos crticos tambien los llaman puntos de equilibrio.
Como x (t) = F (x, y) y y (t) = G(x, t) son las componentes del vector tangencial a las trayectorias en el punto P (x, y), consideremos el campo
vectorial:
V~ (x, y) = F (x, y)~i + G(x, y)~j
~v
G
as
284
Ma
tem
atic
tuto
de
Figura 8.1
ersi
da d
de
An
tio
qui
a, I
nsti
= F (x, y) y dy
= G(x, y)
donde dx
dt
dt
En P (x, y) las componentes de V~ (x, y) son F (x, y) y G(x, y) (ver figura 8.1).
= F y dy
= G, entonces V~ es tangente a la trayectoria en P y
Como dx
dt
dt
apunta en la direccion de t creciente.
Si t es el tiempo, entonces V~ es el vector velocidad de una partcula que se
mueve sobre la trayectoria. As el plano de fase esta lleno de partculas y cada
trayectoria es la traza de una partcula precedida y seguida por otras sobre
una misma trayectoria. Esto es lo que ocurre en un fludo en movimiento
y como el sistema es autonomo entonces V~ (x, y) no cambia con el tiempo,
por esta razon al movimiento del fludo se le llama estacionario; los puntos
crticos Q, R, S son puntos de velocidad cero, donde las partculas se hallan
en reposo (puntos estacionarios del fludo).
Un
iv
8.1. SISTEMAS AUTONOMOS,
EL PLANO DE FASE
285
Como en general los sistemas no lineales no pueden resolverse explcitamente, el proposito de la teora cualitativa que desarrollaremos en este
captulo es descubrir todo cuanto sea posible acerca de los diagramas de fase
a partir de las funciones F y G.
as
Ejercicios.
Ma
tem
atic
tuto
de
qui
a, I
nsti
de
An
tio
Un
iv
ersi
da d
286
atic
Ma
tem
8.2.
as
c) x = ey , y = ey cos x, d) x = x, y = 2x2 y 2
dy
2
(Rta.: a) i) Todos los puntos del eje X, ii) dx
= x2xy
2 +1 , iii) y = c(x + 1),
dy
= xy , iii) x2 + y 2 = c2 , c) i) No hay puntos crticos,
b) i) (0, 0), ii) dx
dy
= cos x, iii) y = sen x + c, d) i) Todos los puntos del eje Y , ii)
ii) dx
dy
= 2xy 2 , iii) y = x21+c y y = 0 )
dx
(8.4)
nsti
tuto
de
dx
= F (x, y)
dt
dy
= G(x, y)
dt
An
tio
qui
a, I
lm y(t) = y0
de
(8.5)
Un
iv
ersi
da d
8.2.1.
287
atic
as
de
Ma
tem
a, I
nsti
tuto
nodo impropio
asintoticamente estable
An
tio
qui
Un
iv
ersi
da d
de
atic
as
de
Ma
tem
tuto
a, I
nsti
Figura 8.3
nodo impropio
inestable
de
An
tio
qui
= x y dy
= x + 2y
Ejemplo 1. Consideremos el sistema siguiente dx
dt
dt
entonces (0, 0) es punto crtico.
La solucion general es x = C1 et , y(t) = C1 et + C2 e2t .
Cuando C1 = 0 x = 0 y y = C2 e2t esto implica que la trayectoria
es el eje Y positivo si C2 > 0 y el eje Y negativo si C2 < 0 y cada
trayectoria tiende y entra al orgen cuando t .
ersi
da d
Un
iv
288
289
de
Ma
tem
atic
as
tuto
a, I
nsti
que son las curvas (parabolas) sobre las que se apoyan las trayectorias,
excepto las que estan sobre el eje Y (Ver figura 8.4).
qui
2. Punto de Silla.
Un
iv
ersi
da d
de
An
tio
El origen es un punto de silla si el retrato de fase muestra que a este punto tienden y hacia el entran dos semirrectas con extremos en el
290
as
origen cuando t y hay otras dos semirrectas que salen del origen
cuando t . Entre estas cuatro semirrectas hay cuatro regiones, las
cuales contienen una familia de trayectorias en forma de hiperbolas;
estas trayectorias no tienden hacia origen cuando t , sino que son
asintoticas a alguna de las semirrectas cuando t (figura 8.5)
atic
3. Centros (o v
ortices)(ver figura 8.6)
An
tio
qui
a, I
nsti
tuto
de
Ma
tem
de
ersi
da d
Un
iv
dy
= x.
dt
Entonces (0, 0) es el u
nico punto crtico.
Su solucion general es :
x = C1 sen t + C2 cos t
y = C1 cos t + C2 sen t
291
1,5
a, I
nsti
tuto
de
Ma
tem
atic
as
An
tio
qui
Un
iv
ersi
da d
de
Ma
tem
atic
as
a, I
nsti
tuto
de
An
tio
qui
ersi
da d
de
Un punto crtico se llama foco o punto espiral si el retrato de fase muestra que hacia el tienden (o salen de el) las trayectorias de una familia
que gira en forma espiral un n
umero infinito de veces cuando t .
Notese que aunque las trayectorias tienden al origen, no entran a el en
una direccion determinada, es decir,
dy
no existe
t dx
lm
Un
iv
292
(8.6)
293
(8.7)
dr
dy
=x+y
dx
dx
r2
d
dy
=x y
dx
dx
atic
as
nsti
(8.8)
a, I
dx
= y
dt
dy
=x
dt
tuto
de
Ma
tem
dr
Luego (8.7) queda as: d
= ar r = Cea es la ecuacion polar de las
trayectorias.
= y
La direccion del recorrido se puede deducir del hecho que dx
dt
cuando x = 0.
Si a = 0 entonces el sistema (8.6) colapsa en el sistema:
An
tio
qui
ersi
da d
de
Un
iv
Definici
on 8.2 (Estabilidad). Supongamos por conveniencia que (0, 0) es
un punto crtico del sistema
dx
= F (x, y)
dt
dy
= G(x, y)
dt
Decimos que (0, 0) es un punto crtico estable si para cada R > 0 existe
un r > 0 con r R, tal que toda trayectoria que esta dentro del crculo
x2 + y 2 = r2 , para alg
un t = t0 , permanece en el crculo x2 + y 2 = R2 para
todo t > t0 , es decir, si todas las trayectorias que estan suficientemente cerca
al punto crtico permanecen cercanas a el (ver figura 8.10).
294
de
a=0
b) Estable
a>0
c) Inestable
tuto
a<0
a) Asint. estable
Ma
tem
atic
as
qui
a, I
nsti
Definici
on 8.3 (Asint
oticamente Estable). Si es estable y existe un
crculo x2 + y 2 = r02 , tal que toda trayectoria que esta dentro de el para
alg
un t = t0 , tiende al orgen cuando t .
da d
de
An
tio
Definici
on 8.4. Si el punto crtico no es estable, diremos que es inestable.
Un
iv
ersi
t = t0
Figura 8.10
295
Los nodos de la figura 8.3 y 8.4, el punto de silla de la figura 8.5, el foco
(o espiral) de la figura 8.9 c) son puntos inestables.
as
Ma
tem
atic
Los nodos de la figura 8.2, el foco (o espiral) de la figura 8.8 y 8.9a) , son
asintoticamente estables.
Para los siguientes ejercicios determine el tipo de punto crtico que es
(0, 0) y diga si es asintoticamente estable, estable o inestable:
tuto
An
tio
qui
a, I
nsti
= 4x y, dy
= 2x + y
Ejercicio 2. dx
dt
dt
(Rta: Nodo impropio inestable (o fuente).)
Ejercicio 3. dx
= x + 2y, dy
= 2x + y
dt
dt
(Rta: Punto de Silla inestable.)
de
Ejercicio 1. dx
= 2x + y, dy
= x 2y
dt
dt
(Rta: Nodo asintoticamente estable (o sumidero).)
= 3x + y, dy
= 5x y
Ejercicio 4. dx
dt
dt
(Rta: Punto de Silla inestable.)
da d
de
= x 2y, dy
= 2x 3y
Ejercicio 5. dx
dt
dt
(Rta: Nodo asintoticamente estable (o sumidero).)
Un
iv
ersi
Ejercicio 6. dx
= 5x 3y, dy
= 3x y
dt
dt
(Rta: Nodo inestable (o fuente).)
= 3x 2y, dy
= 4x y
Ejercicio 7. dx
dt
dt
(Rta: Punto espiral inestable (es una fuente).)
= x 3y, dy
= 6x 5y
Ejercicio 8. dx
dt
dt
(Rta: Punto espiral asintoticamente estable (es una sumidero).)
Ejercicio 9. dx
= 2x 2y,
dt
(Rta: Centro estable.)
dy
dt
= 4x 2y
296
= x 2y,
Ejercicio 10. dx
dt
(Rta: Centro estable.)
= 5x y
as
Ma
tem
atic
8.3.
dy
dt
Consideremos el sistema:
(8.9)
nsti
tuto
de
dx
= a1 x + b 1 y
dt
dy
= a2 x + b 2 y
dt
An
tio
qui
a, I
A1
m2 t A2
, ~x2 (t) = e
B2
B1
da d
~x1 (t) = e
m1 t
de
ersi
m2 (a1 + b2 )m + (a1 b2 a2 b1 ) = 0
Un
iv
(8.11)
A1
A2
que se conoce como ecuacion caracaterstica del sistema y
,
B1
B2
son los vectores propios asociados a los valores propios m1,2 . La condicion (8.10) implca que m 6= 0.
ii). O de la forma
~x1 (t) = e
mt
A
A
mt A1
mt A1 + At
, ~x2 (t) = e [
]=e
,
+t
B
B1 + Bt
B
B1
297
as
m2 (a1 + b2 )m + (a1 b2 a2 b1 ) = 0.
A
A1
y
es el vector propio asociado a m y
es el vector propio
B
B1
generalizado de rango dos de m.
An
tio
qui
a, I
nsti
tuto
de
Ma
tem
atic
de
Demostraci
on: CASO A: si las races m1 y m2 son reales, distintas y del
mismo signo, entonces (0, 0) es un nodo.
da d
Demostraci
on: supongamos que m1 < m2 < 0.
Sabemos que la solucion del sistema 8.9 es:
Un
iv
ersi
x = C1 A1 em1 t + C2 A2 em2 t
y = C 1 B 1 e m 1 t + C 2 B 2 e m2 t
A1 m1 t
e
B1
A2 m 2 t
e
B2
B1
A1
6=
(8.12)
B2
A2
y = C 1 B 1 e m1 t
(8.13)
298
A2 y = B2 x
Ma
tem
atic
as
A1 y = B1 x
de
An
tio
qui
a, I
nsti
tuto
en este caso:
a). Si C1 > 0, entonces (8.13) representa una trayectoria que consiste en la
1
semirrecta A1 y = B1 x con pendiente B
A1
b). Si C1 < 0, entonces (8.13) representa una trayectoria que consiste de la
otra semirrecta opuesta a la anterior.
Como m1 < 0, entonces ambas semirrectas tienden a (0, 0) cuando t y
1
1
como xy = B
, entonces ambas semirrectas entran a (0, 0) con pendiente B
.
A1
A1
2). Si C1 = 0, entonces
y = C 2 B 2 e m2 t
(8.14)
de
x = C2 A2 em2 t ,
ersi
da d
Un
iv
y
C 1 B 1 e m1 t + C 2 B 2 e m2 t
=
=
x
C1 A1 em1 t + C2 A2 em2 t
C1 B1
C2
C1 A 1
C2
e(m1 m2 ) t + B2
e(m1 m2 ) t + A2
2
cuando t , as que las trayectorias entran a (0, 0) con
entonces, xy B
A2
B2
pendiente A2 . De acuerdo a lo analizado (0, 0) es un nodo impropio y es,
299
atic
as
A1 y = B1 x
A2 y = B 2 x
da d
de
An
tio
qui
a, I
nsti
tuto
de
Ma
tem
ersi
Un
iv
300
as
e(m1 m2 ) t + B2
e(m1 m2 ) t + A2
atic
C1 B1
C2
C1 A 1
C2
C2 B2
C1
C2 A 2
C1
e(m2 m1 ) t
e(m2 m1 ) t
B2
A2
B1
A1
de
B1 +
C 1 B 1 e m1 t + C 2 B 2 e m2 t
y
= lm
=
l
m
lm
t C1 A1 em1 t + C2 A2 em2 t
t A1 +
t x
Ma
tem
y
C 1 B 1 e m1 t + C 2 B 2 e m2 t
= lm
= lm
t x
t C1 A1 em1 t + C2 A2 em2 t
t
lm
nsti
tuto
a, I
Demostraci
on: m1 , m2 son de la forma a bi, donde a y b son reales no
nulos. En este caso el discriminante de 8.11 es negativo y por tanto
(8.15)
An
tio
qui
de
da d
Un
iv
ersi
x = eat [C1 (A1 cos bt A2 sen bt) + C2 (A1 sen bt + A2 cos bt)] (8.16)
y = eat [C1 (B1 cos bt B2 sen bt) + C2 (B1 sen bt + B2 cos bt)] (8.17)
donde C1 y C2 son parametros.
301
atic
as
Ma
tem
a<0
a2 < 0
tuto
de
a<0
a2 > 0
a, I
nsti
An
tio
Sabemos que
qui
da d
de
= tan1
ersi
y usando (8.9):
Un
iv
x (a2 x + b2 y) y (a1 x + b1 y)
a2 x2 + (b2 a1 )xy b1 y 2
d
=
=
dt
x2 + y 2
x2 + y 2
Como estamos interesados solo en soluciones que representan trayectorias,
suponemos x2 + y 2 6= 0.
De (8.15): a2 y b1 deben tener signos opuestos.
Supongamos que a2 > 0 y b1 < 0.
Si
y = 0
d
= a2 > 0
dt
(8.18)
302
Si
y 6= 0
d
dt
(8.19)
atic
as
ya que si
d
6= 0
dt
Ma
tem
de
d
,
dt
tuto
De la continuidad de
cuando a2 > 0 y b1 < 0.
es n
umero complejo, lo cual es absurdo porque
d
dt
> 0
< 0.
qui
d
dt
nsti
x
y
a, I
seg
un (8.15); por lo tanto
x
es
n
umero real.
y
An
tio
ersi
da d
de
Un
iv
303
Ma
tem
atic
as
tuto
de
a, I
nsti
An
tio
qui
dx
= ax,
dt
Es claro que su solucion general es
y = C2 emt
(8.20)
de
x = C1 emt ,
ersi
da d
Un
iv
Las trayectorias definidas por (8.20) son semirrectas de todas las pendientes posibles y como m < 0, entonces estas trayectorias tienden y entran
a (0, 0) cuando t , de donde (0, 0) es un nodo (llamado tambien nodo
propio o nodo estrella) asintoticamente estable (ver figura 8.14).
Si m > 0, tenemos la misma situacion, excepto que las trayectorias entran
a (0, 0) cuando t , las flechas son al contrario, entonces es un nodo
(nodo propio o nodo estrella) inestable.
ii). Para races repetidas sabemos de (7.24) en la pagina 266 que para
A
y el vector propio
el valor propio m esta asociado el vector propio
B
304
A1
, por lo tanto la solucion general es:
generalizado de rango dos
B1
(8.21)
(8.22)
Ma
tem
y = C1 B emt .
da d
de
An
tio
qui
a, I
nsti
tuto
de
atic
as
ersi
Un
iv
C1 B
C2
C1 A
C2
305
+ B1 + Bt
+ A1 + At
y
B
cuando t .
x
A
.
Luego, estas trayectorias curvas entran a (0, 0) con pendiente B
A
A este nodo se le llama nodo impropio (ver figura 8.15) y es asintoticamente
estable.
atic
as
tuto
de
Ma
tem
ersi
da d
de
An
tio
qui
a, I
nsti
Un
iv
Luego x(t) y y(t) son periodicas y cada trayectoria es una curva cerrada
que rodea al orgen, estas trayectorias son elipses, lo cual puede probarse
306
dy
2y
= aa21 x+b
.
resolviendo la E.D.: dx
x+b1 y
Luego (0, 0) es un centro estable, pero no asintoticamente estable.
Ma
tem
atic
as
de
tuto
(m m1 )(m m2 ) = m2 (m1 + m2 )m + m1 m2 = m2 + pm + q = 0
qui
a, I
nsti
An
tio
q = m1 m2 = a1 b2 a2 b1 6= 0.
p2 4q
2
de
Un
iv
ersi
da d
307
q
2
cuadrante inestable
cuadrante asintoticamente
estable
pa
ra
bo
la
4q
centros
espirales mite
i
sl
o
d
no
nodos asintoticamente
estables
p
as
do espirales
sl
im
ite
atic
semieje
estable
Ma
tem
no
nodos instables
cuadrante inestable
de
cuadrante inestable
tuto
puntos de silla
a, I
nsti
Figura 8.17
An
tio
qui
da d
de
Un
iv
ersi
Ejercicio 1.
(Rta: (0, 0))
dx
dt
= 3x y,
Ejercicio 2.
(Rta: (2, 3))
dx
dt
= 3x 2y,
dy
dt
= 4x 3y + 1
Ejercicio 3. dx
= 2x xy,
dt
(Rta: (0, 0) y (3, 2))
dy
dt
= xy 3y
= x + 3y
308
= y, dy
= sen x
Ejercicio 4. dx
dt
dt
(Rta: todos los puntos de la forma (n, 0), donde n es un entero.)
Determinar que tipo de punto crtico es el origen del sistema dado e investigue el tipo de estabilidad de cada uno:
atic
as
= 2x + y, dy
= x 2y
Ejercicio 5. dx
dt
dt
(Rta: el orgen es un nodo asintoticamente estable (es un sumidero).)
Ma
tem
= x + 2y, dy
= 2x + y
Ejercicio 6. dx
dt
dt
(Rta: el orgen es un punto silla inestable.)
tuto
de
Ejercicio 7. dx
= x 3y, dy
= 6x 5y
dt
dt
(Rta: el orgen es un foco o punto espiral asintoticamente estable (es un
sumidero).)
a, I
nsti
= x 2y, dy
= 4x 2y
Ejercicio 8. dx
dt
dt
(Rta: el orgen es un foco asintoticamente estable (es un sumidero).)
de
da d
8.4.
An
tio
qui
Ejercicio 9. dx
= 3x 2y, dy
= 4x y
dt
dt
(Rta: el orgen es un foco o punto espiral inestable (es una fuente).)
ersi
Un
iv
dx
= F (x, y)
dt
dy
= G(x, y),
dt
(8.23)
y supongamos que tiene un punto crtico aislado; sea (0, 0) dicho punto crtico (un punto crtico (x0 , y0 ) se puede llevar al orgen mediante la traslacion
de coordenadas x = u x0 , y = v y0 ).
Sea (x(t), y(t)) una trayectoria de (8.23) y consideremos la funcion
E(x, y) continua y con primeras derivadas parciales continuas en una re-
atic
dE
E dx E dy
E
E
=
+
=
F+
G
dt
x dt
y dt
x
y
(8.24)
Ma
tem
E (x, y) =
as
tuto
de
Definici
on 8.5. Supongamos que E(x, y) es continua y tiene primeras derivadas parciales continuas en una region que contiene al origen.
Si E(0, 0) = 0 y
nsti
i. Si E(x, y) > 0 para todo (x, y) 6= (0, 0), decimos que E es definida
positiva.
qui
a, I
ii. Si E(x, y) < 0 para todo (x, y) 6= (0, 0), decimos que E es definida
negativa.
An
tio
iii. Si E(x, y) 0 para todo (x, y) 6= (0, 0), decimos que E es semidefinida
positiva.
Nota:
da d
de
iv. Si E(x, y) 0 para todo (x, y) 6= (0, 0), decimos que E es semidefinida
negativa.
Un
iv
ersi
310
a, I
nsti
tuto
de
Ma
tem
atic
as
An
tio
qui
de
Figura 8.18
Un
iv
ersi
da d
(8.25)
atic
as
cuando dE
= E
F + E
G = dE
(x, y) = E (x(t), y(t)) < 0, decimos que
dt
x
y
dt
E(x, y) es una funcion de Liapunov estricta.
Ma
tem
Nota:
Si (8.25) fuera semidefinida negativa implca que
E
E
dE
=
F+
G0
dt
x
y
de
E (x, y) =
nsti
tuto
qui
a, I
An
tio
da d
de
b. Si existe una funcion de Liapunov estricta para el sistema (8.23) entonces el punto crtico (0, 0) es asintoticamente estable.
Un
iv
ersi
312
Ma
tem
c3
atic
t = t0
as
c1
c2
tuto
de
nsti
Figura 8.19
E
x
An
tio
qui
a, I
F + E
G 0 lo cual implca que E(t) E(t0 ) < m para todo t > t0 ,
y
luego la trayectoria nunca puede alcanzar la cirdunferencia C1 en un t > t0
lo cual implca que hay estabilidad.
Probemos la segunda parte del teorema.
Probemos que, bajo la hipotesis adicional ( dE
< 0), E(t) 0, porque al ser
dt
E(x, y) definida positiva, implca que se aproxima al punto crtico (0, 0).
da d
de
Como dE
< 0, entonces E(t) es decreciente y como E(t) esta acotada
dt
inferiormente por 0, entonces E(t) tiene un lmite L 0 cuando t .
Un
iv
ersi
Supongamos que L > 0. Sea r < r (ver figura 8.19) tal que E(x, y) <
L para (x, y) dentro de la circunferencia C3 de radio r, como la funcion
(8.25) es continua y definida negativa, tiene un maximo negativo k en el
anillo limitado por las circunferencias C1 y C3 . Este anillo contiene a toda
trayectoria para t t0 , luego de la ecuacion
Z t
dE
dE
E(t) = E(t0 ) +
dt y
k
dt
t0 dt
se obtiene la desigualdad:
E(t) E(t0 ) k(t t0 ) t t0
as
d2 x
dx
+C
+ kx = 0
2
dt
dt
atic
Ma
tem
dy
k
C
= x y
dt
m
m
tuto
dx
= y;
dt
de
An
tio
qui
a, I
nsti
Su u
nico punto crtico es (0, 0). La energa cin
es my2 y la energa poRetica
x
tencial (o energa almacenada en el muelle) es 0 kx dx = 21 kx2
Luego la energa total: E(x, y) = 21 my 2 + 21 kx2 la cual es definida positiva,
como
E
E
k
C
F+
G = kxy + my x y = Cy 2 0
x
y
m
m
ersi
da d
de
Luego, E(x, y) es una funcion Liapunov para el sistema y por tanto (0, 0) es
estable.
Se sabe que si C > 0 el punto crtico (0, 0) es asintoticamente estable, pero
la funcion Liapunov no detecta este hecho.
Un
iv
314
atic
as
Su u
nico punto crtico es (0, 0). La energa cinetica es 12 x2 = 21 y 2 y la energa
potencial es
Z
x
Ma
tem
f (x) dx
F (x) =
y la energa total es
nsti
tuto
de
y2
E(x, y) = F (x) +
2
Como x, f (x) tienen el mismo signo entonces F (x) 0 y por tanto E(x, y)
es definida positiva. Ademas
a, I
An
tio
qui
de
y = y
3
Un
iv
ersi
da d
x = x
Solucion:
(0, 0) es el u
nico punto crtico. Sea E(x, y) = 12 (x2 + y 2 ), luego
x3
y3
x4
y4
2
2
E (x, y) = x(x x sen y) + y(y ) = x y x2 sen y
3
3
3
3
x4
y4
x4
y4
y2
(x2 + x2 sen y) y 2
<0
3
3
3
3
as
dy
= x2 y 3
dt
atic
Solucion:
Ma
tem
a, I
nsti
tuto
de
E
E
F+
G = 2max2m1 (2xy) + 2nby 2n1 (x2 y 3 )
x
y
E
E
F+
G = (4max2m y + 2nbx2 y 2n1 ) 2nby 2n+2
x
y
Para que el parentesis se anule, necesitamos que m = 1, n = 1, a = 1,
b = 2, E(x, y) = x2 + 2y 2 la cual es definida positiva y
An
tio
qui
E
E
F+
G = 4y 4
x
y
da d
de
Teorema 8.5.
La funcion E(x, y) = ax2 + bxy + cy 2 es:
ersi
Un
iv
316
x
y
x
y
Ma
tem
atic
as
dy
dt
= 6x2 y,
= 3y 3 + 6x3
tuto
dx
dt
nsti
de
= xy 2 x2 , dy
= y2 yx5
Ejercicio 2.Dado el sistema dx
dt
dt
Mostrar que (0, 0) es asintoticamente estable (Ayuda: tomar V (x, y) = ax2 +
by 2 ).
qui
a, I
= x5 2y 3
dy
dt
= x2 y 2 y 3
An
tio
dy
dt
Un
iv
ersi
da d
de
Ejercicio 7. Utilizando el ejercicio anterior mostrar que (0, 0) es inestable para el sistema dx
= 2xy + x3 , dy
= x2 + y 5
dt
dt
Ejercicio 8. Sea f (x) una funcion tal que f (0) = 0 y xf (x) > 0 para
x 6= 0 (es decir, f (x) > 0 si x > 0R y f (x) < 0 si x < 0)
x
a) Mostrar que E(x, y) = 21 y 2 + 0 f (x) dx esta definida positiva.
b) Mostrar que (0, 0) es un punto crtico estable del la E.D. ddt2x + f (x) = 0
c) Si g(x) 0 en un crculo alrededor del origen, mostrar que (0, 0) es un
punto crtico estable del sistema
as
d2 x
dx
+
g(x)
+ f (x) = 0
dt2
dt
Ma
tem
atic
Ejercicio: 9. Dado el sistema x = yxf (x, y), y = xyf (x, y), donde
f (0, 0) = 0 y f (x, y) tiene un desarrollo en serie de potencias convergente en
una region R alrededor del origen. Demostrar que el punto crtico (0, 0) es
de
nsti
tuto
qui
a, I
da d
de
An
tio
ersi
Un
iv
x + f (x, x ) + g(x) = 0
y suponga que f y g tienen primeras derivadas continuas y f (0, 0) = g(0) = 0
y yf (x, y) > 0 cuando y 6= 0 y xg(x) > 0 cuando x 6= 0. Transforme la anterior E.D. en un sistema y luego demuestre que el punto crtico (0, 0) es estable.
Ejercicio: 12. Con el resultado del anterior ejercicio, demostrar la estabilidad de la E.D.
x + (x )3 + x5 = 0
318
8.5.
LINEALIZACION DE SISTEMAS NO
LINEALES
y = G(x, y),
(8.26)
Ma
tem
atic
as
de
An
tio
qui
a, I
nsti
tuto
de
u = x = F (x0 + u, y0 + v)
F
F
= F (x0 , y0 ) + u
(x0 , y0 ) + v
(x0 , y0 ) + O(u, v, uv)
x
y
F
F
+v
+ O(u, v, uv)
(8.27)
= u
x
y
donde las derivada parciales son evaluadas en (x0 , y0 ) o sea son n
umeros y
n
n
i j
O(u, v, uv) denota el resto de terminos en u , v , u v , con n 2 e i + j 2.
Similarmente
G
G
+v
+ O (u, v, uv)
(8.28)
v = u
x
y
escribiendo matricialmente lo anterior, tenemos
F
(x0 , y0 ) F
(x0 , y0 ) u
u
O(u, v, uv)
x
y
= G
(8.29)
+
v
O (u, v, uv)
(x0 , y0 ) G
(x0 , y0 ) v
x
y
da d
La matriz
ersi
F
(x0 , y0 )
x
G
(x0 , y0 )
x
F
(x0 , y0 )
y
G
(x0 , y0 )
y
Un
iv
F
x
G
x
F
y
G
y (x0 ,y0 )
319
6= 0
Ma
tem
atic
as
F
(x0 , y0 ),
y
a2 =
tuto
b1 =
G
(x0 , y0 ),
x
b2 =
G
(x0 , y0 )
y
nsti
F
(x0 , y0 ),
x
G(x0 , y0 ) = 0,
a, I
F (x0 , y0 ) = 0,
supongamos tambien que
a1 b 1
a2 b 2
6= 0,
An
tio
det
qui
donde a1 =
y
(8.31)
de
dx
= a1 x + b1 y + f (x, y)
dt
dy
= a2 x + b2 y + g(x, y)
dt
(8.32)
da d
de
de tal manera que el sistema lineal asociado tiene a (0, 0) como punto crtico aislado y supongamos que f y g son funciones continuas con primeras
derivadas parciales continuas para todo (x, y) y que
Un
iv
ersi
f (x, y)
p
= 0
(x,y)(0,0)
x2 + y 2
lm
g(x, y)
p
= 0
(x,y)(0,0)
x2 + y 2
lm
(8.33)
(8.34)
Estas dos u
ltimas condiciones implican, debido a la continuidad de f y
g, que f (0, 0) = 0 y g(0, 0) = 0, es decir, (0, 0) es punto crtico de (8.31) . Se
puede demostrar que este punto es aislado. Con las restricciones indicadas
(0, 0) se le llama punto crtico simple de (8.31).
Cuando se cumplen (8.41), (8.33), (8.34), entonces decimos que el sistema
320
dx
= 2x + 3y + xy;
dt
atic
dy
= x + y 2xy 2
dt
a1 b 1
a2 b 2
2 3
1 1
Ma
tem
Solucion:
as
= 1 6= 0
de
tuto
nsti
|g(x, y)|
|2r3 sen 2 cos |
p
2r2
=
2
2
r
x +y
qui
a, I
An
tio
f (x, y)
= 0,
r0
r
g(x, y)
=0
r0
r
lm
lm
da d
de
Un
iv
ersi
321
dy
= x + y
dt
atic
as
2
La ecuacion caracterstica
es: m + m + 1 = 0
1 3i
.
con races m1 , m2 =
2
Como las races son complejas conjugadas y no imaginarias puras, estamos
en el CASO C, lo cual quiere decir que (0, 0) es un foco y por el Teorema
8.6 el punto crtico (0, 0) del sistema no lineal es tambien un foco.
da d
de
An
tio
qui
a, I
nsti
tuto
de
Ma
tem
Un
iv
ersi
Figura 8.20
Observaci
on: para los casos frontera no mencionados en el Teorema
8.6:
Si el sistema lineal asociado tiene un nodo frontera en (0, 0) (CASO
D), el sistema no lineal puede tener un nodo o un foco.
Si el sistema lineal asociado tiene un centro en (0, 0) (CASO E), entonces el sistema no lineal puede tener un centro o un foco.
322
dy
= x + ay(x2 + y 2 )
dt
atic
as
Ma
tem
dy
=x
dt
nsti
tuto
de
Para este u
ltimo (el lineal): (0, 0) es un centro. Pero para el sistema no lineal,
(0, 0) es un foco.
Para mostrar que es un foco, cambiemos el sistema de coordenadas cartesianas a coordenadas polares. Sea x = r cos , y = r sen y r2 = x2 + y 2 , luego
rr = xx + yy y sustituyendo en esta expresion a x , y se tiene que
a, I
de
An
tio
qui
da d
r = ar3 ,
= 1
Un
iv
ersi
1
,
C 2at
= t + t0 ,
x
a>0
c) Foco, inestable
as
a=0
b) Centro, estable
atic
Figura 8.21
Ma
tem
a<0
Foco, asintoticamente
estable
323
tuto
de
An
tio
qui
a, I
nsti
Ejemplo 9.
dy
dx
= 2xy;
= y 2 x2
(8.35)
dt
dt
dx
dy
= x3 2xy 2 ;
= 2x2 y y 3
(8.36)
dt
dt
p
p
dy
dx
(8.37)
= x 4y |xy|;
= y + 4x |xy|
dt
dt
Estos tres casos los analizaremos con el paquete Maple al final del captu-
de
lo.
ersi
da d
Un
iv
324
Demostraci
on: consideremos el sistema no lineal
dx
= a1 x + b1 y + f (x, y)
dt
dy
= a2 x + b2 y + g(x, y)
dt
(8.38)
atic
as
Ma
tem
dx
= a1 x + b 1 y
dt
dy
= a2 x + b 2 y
dt
(8.39)
nsti
tuto
de
a, I
q = a 1 b 2 a2 b 1 > 0
donde
1
(ax2 + 2bxy + cy 2 ),
2
An
tio
E(x, y) =
qui
Sea
Un
iv
ersi
da d
de
a=
D = p q = (a1 + b2 )(a1 b2 a2 b1 )
Luego D > 0 y a > 0
Tambien
D2 (ac b2 ) = DaDc D2 b2
= [a22 + b22 + (a1 b2 a2 b1 )][a21 + b21 + (a1 b2 a2 b1 )] (a1 a2 + b1 b2 )2
= (a22 + b22 )(a21 + b21 ) + (a22 + b22 + a21 + b21 )(a1 b2 a2 b1 )
+ (a1 b2 a2 b1 )2 (a1 a2 + b1 b2 )2 =
325
as
E
E
(a1 x + b1 y) +
(a2 x + b2 y) = (x2 + y 2 ),
x
y
Ma
tem
atic
G(x, y) = a2 x + b2 y + g(x, y)
de
tuto
(8.40)
a, I
nsti
E
E
F+
G
x
y
qui
Un
iv
ersi
da d
de
An
tio
E
E
E
E
F+
G=
(a1 x + b1 y + f (x, y)) +
(a2 x + b2 y + g(x, y))
x
y
x
y
E
E
=
(a1 x + b1 y) +
f (x, y)
x
x
E
E
(a2 x + b2 y) +
g(x, y)
+
y
y
= (x2 + y 2 ) + (ax + by)f (x, y) + (bx + cy)g(x, y)
= r2 + r[(a cos + b sen )f (x, y) + (b cos + c sen )g(x, y)]
Sea k = max{|a|, |b|, |c|}. Por (8.33) y (8.34):
r
r
|f (x, y)| <
; |g(x, y)| <
6k
6k
para r > 0 suficientemente peque
no.
Luego:
E
4kr2
r2
E
F+
G < r2 +
= < 0,
x
y
6k
3
326
F + E
G
para r peque
no. Luego E(x, y) es una funcion definida positiva y E
x
y
es definida negativa; luego por Teorema de Liapunov 8.4 parte b., (0, 0) es
un punto crtico asintoticamente estable de (8.38) .
atic
as
de
Ma
tem
y dejar las otras condiciones (8.42 y 8.43) y el resultado tambien se produce, es decir, si el punto crtico (0, 0) del sistema lineal asociado es inestable,
entonces el punto crtico (0, 0) del sistema no lineal (8.31) es inestable.
nsti
dx
= 2x + 3y + xy
dt
tuto
An
tio
qui
a, I
dy
= x + y 2xy 2
dt
Del sistema podemos concluir que
a1 b 1
= 1 6= 0
a2 b 2
de
da d
p = (a1 + b2 ) = (2 + 1) = 1 > 0
ersi
q = a 1 b 2 a2 b 1 = 1 > 0
Un
iv
dx
=y
dt
c>0
Ma
tem
atic
as
dy
g
c
= sen x y
dt
a
m
La cual es puede escribir as:
dx
=y
dt
dy
g
c
g
= x y + (x sen x)
dt
a
m
a
Se puede ver que
x sen x
=0
lm p
(x,y)(0,0)
x2 + y 2
327
En efecto, si x 6= 0:
tuto
de
|x sen x|
sen x
|x sen x|
p
= 1
0
|x|
x
x2 + y 2
nsti
qui
a, I
dx
=y
dt
Un
iv
ersi
da d
de
An
tio
dy
g
c
= x y
dt
a
m
entonces (0, 0) es un punto crtico simple del no lineal, ademas
c
c
p = (a1 + b2 ) = 0
=
>0
m
m
g g
c
1
= >0
q = a1 b 2 a2 b 1 = 0
m
a
a
Luego (0, 0) es un punto crtico asintoticamente estable del sistema lineal
asociado y por el Teorema 8.7 tambien lo es del sistema no lineal. Esto refleja el hecho fsico: que si un pendulo se perturba ligeramente el movimiento
resultante se extinguira con el tiempo.
Ejemplo 12. Hallar los puntos crticos, determinar de que tipo son y su
estabilidad, para el siguiente sistema
x = 2xy = F (x, y)
y = x + y + xy y 3 = G(x, y)
328
La matriz Jacobiana es
F
(x, y)
x
G
(x, y)
x
F
(x, y)
y
G
(x, y)
y
2y
2x
=
1 + y 1 + x 3y 2
atic
Ma
tem
0 = 2xy = F (x, y)
0 = x + y + xy y 3 = G(x, y)
as
nsti
tuto
de
qui
a, I
An
tio
y 0
-0,5
0,5
de
-1
da d
Un
iv
ersi
-1
-2
Figura 8.22
1. Para (0, 0) tenemos que la matriz Jacobiana en (0, 0) es
F
(0, 0)
x
G
(0, 0)
x
F
(0, 0)
y
G
(0, 0)
y
0 0
a1 b 1
=
=
1 1
a2 b 2
329
Ma
tem
atic
as
tuto
de
nsti
An
tio
qui
a, I
Haciendo u = x x0 = x 0 = x y v = y y0 = y 1. El sistema
lineal asociado es
F
(x0 , y0 ) F
(x0 , y0 ) u
2 0
u
u
x
y
=
(8.42)
= G
G
v
v
0
2
v
(x
,
y
)
(x
,
y
)
0 0
0 0
x
y
da d
de
u = a1 u + b1 v = 2u
v = a2 u + b2 v = 2v
Un
iv
ersi
330
atic
Ma
tem
u = a1 u + b1 v = 2u
v = a2 u + b2 v = 2u 2v
as
tuto
de
qui
a, I
nsti
An
tio
da d
de
El Jacobiano es
F
Un
iv
ersi
Soluci
on: Los puntos crticos son: A(0, 0), B(0, 2), C(3, 0), D(1, 1).
F
y
G
y
3 2x 2y
2y
=
J=
y
2 x 2y
3 0
y sus valores propios son 1 =
1. Para el punto A(0, 0), J =
0 2
3, 2 = 2, luego (0, 0) es un nodo inestable, es decir, las trayectorias
0
salen tangencialmente del origen paralelas al vector propio ~v =
1
asociado al valor propio 2 = 2
x
G
x
331
qui
a, I
nsti
tuto
de
Ma
tem
atic
as
1 0
2. Para el punto B(0, 2), J =
y sus valores propios son 1 =
2 2
1, 2 = 2, luego B(0, 2) es un nodo asintoticamente estable,
las
1
trayectorias entran al punto crtico en la direccion del vector ~v =
2
asociado al valor propio 1 = 1.
3 6
y sus valores propios son 1 =
3. Para el punto C(3, 0), J =
0 1
3, 2 = 1, luego C(3, 0) es un nodo asintoticamente estable,
las
3
trayectorias entran al punto crtico en la direccion del vector ~v =
1
asociado al valor propio 1 = 1.
1 2
y sus valores propios son 1,2 =
4. Para el punto D(1, 1), J =
1 1
1 2, luego D(1, 1) es un
punto de
silla y como p = (a1 + b2 ) =
1 2
(1 1) = 2 y det A =
= 1 < 0 entonces D(1, 1) es
1 1
inestable.
Un
iv
ersi
da d
de
An
tio
332
as
atic
Ma
tem
C
de
0
A 0
tuto
nsti
qui
a, I
Figura 8.23
de
An
tio
da d
Un
iv
ersi
dx
= ax bxy = x(a by)
dt
dy
= cy + dxy = y(c + dx)
dt
haciendo la consideracion adicional de que en ausencia de depredadores el
crecimiento de las presas es logstico, es decir, es directamente proporcional
a su poblacion como tambien a la diferencia con su poblacion maxima y
tomando a = 1, b = 1, c = 1, d = 1, tenemos el siguiente sistema de E.D. de
Lotka-Volterra
dx
= x xy + x(1 x)
dt
333
dy
= y + xy
dt
Ma
tem
atic
as
tuto
de
2,5
nsti
1,5
a, I
An
tio
qui
0,5
2
x
de
ersi
da d
Un
iv
1 0
y sus valores propios son
1. Para el punto crtico (0, 0), J =
0 1
1 = 1, 2 = 1, luego (0, 0) es un punto de silla inestable.
0 1
y sus valores propios son
2. Para el punto crtico (1, 1), J =
1 0
1 = i, 2 = i, luego (1, 1) es un centro estable, las trayectorias giran
alrededor del punto crtico.
334
2,5
as
1,5
atic
Ma
tem
0,5
0
0
tuto
de
nsti
1+ 0
y sus valores propios son 1 =
1. Para el punto (0, 0), J =
0
1
+ 1 > 0, 2 = 1, luego (0, 0) es un punto de silla inestable.
1
2. Para el punto (1, 1), J =
y sus valores propios son 1,2 =
1
0
42 i
(o sea que ambas races son negativas), luego (1, 1) es un
2
foco asintoticamente estable.
da d
de
An
tio
qui
a, I
Un
iv
ersi
2,5
as
1,5
atic
Ma
tem
0
0
tuto
de
0,5
qui
a, I
nsti
An
tio
2,5
de
1,5
da d
0,5
0
0
Un
iv
ersi
335
336
1
2. Para el punto (1, 1), J =
y sus valores propios son 1,2 =
1
0
2 4
< 0, luego (1, 1) es un nodo asintoticamente estable.
2
atic
as
Observese que para = 0 las soluciones son estructuralmente (son estables y periodicas) distintas de las soluciones para > 0 (asintoticamente
estables y no periodicas), por este cambio estructural en las soluciones, decimos que en = 0 se produce una bifurcacion.
Ma
tem
nsti
tuto
de
= x y, dy
= x2 y
Ejercicio 1. dx
dt
dt
(Rta: el orgen es un punto silla inestable. El punto (1, 1) es un centro o un
punto espiral, pero su estabilidad no es determinada por el teorema de esta
seccion, utilizar el criterio de Liapunov.)
An
tio
qui
a, I
Ejercicio 2. dx
= y 1, dy
= x2 y
dt
dt
(Rta: hay un punto silla inestable en (1, 1) y un punto espiral asintoticamente estable en (1, 1).)
de
Ejercicio 3. dx
= y 2 1, dy
= x3 y
dt
dt
(Rta: hay un punto silla inestable en (1, 1) y un punto espiral asintoticamente estable en (1, 1).)
Un
iv
ersi
da d
= xy 2, dy
= x 2y
Ejercicio: 4. dx
dt
dt
(Rta: hay un punto silla inestable en (2, 1) y un punto espiral asintoticamente estable en (2, 1).)
Ejercicio: 5. dx
= x + x3 , dy
= 2y
dt
dt
(Rta: (0, 0) es un nodo asintoticamente estable, (1, 0) son puntos de silla
inestables.)
Ejercicio: 6. dx
= y 3 4x, dy
= y 3 y 3x
dt
dt
(Rta: (0, 0) es un nodo asintoticamente estable, (2, 2), (2, 2) son puntos
de silla inestables.)
337
Ejercicio: 7.
a). Convertir la ecuacion
x + ax + bx + x2 = 0,
a2 < 4b
a, b > 0,
en un sistema.
atic
as
Ma
tem
de
y = y(1 + 7x 2y)
tuto
a, I
nsti
a). Mostrar que tiene cuatro puntos crticos y hacer una interpretacion
biologica de estos puntos, en el sentido de existencia, sobrevivencia o
extincion de las dos especies de organismos.
An
tio
qui
de
Un
iv
ersi
da d
Ejercicio: 9. (En este ejemplo vemos que los terminos no lineales trasforman
un nodo estrella en una espiral) Consideremos el sistema
1
r = r,
=
ln r
a. Encontrar r y explicitamente, con la condicion incial (r0 , 0 )
b. Mostrar que r(t) 0 y (t) cuando t . Esto muestra que el
origen es un foco asintoticamente estable del sistema no lineal dado.
c. Escriba la E.D. en el sistema de coordenadas x, y.
d. Muestre que el sistema lineal asociado cerca al origen es:
x = x,
y = y.
338
8.6.
POINCARE-BENDIXSON
atic
as
dy
= G(x, y)
dt
(8.44)
Un
iv
ersi
da d
de
An
tio
qui
a, I
nsti
tuto
de
Ma
tem
Ma
tem
atic
as
de
Figura 8.28
tuto
a, I
nsti
dx
= y + x(1 x2 y 2 )
dt
qui
dy
= x + y(1 x2 y 2 )
dt
dy
dr
dx
+y
=r ,
dt
dt
dt
y = r sen ,
dy
dx
d
y
= r2
dt
dt
dt
de
(8.46)
da d
An
tio
(8.45)
dr
= r2 (1 r2 )
dt
(8.47)
Un
iv
ersi
d
= r2
dt
(8.48)
340
d
=1
dt
Resolviendolas por separado, se obtiene la solucion general
1
;
1 + Ce2t
= t + t0
as
r=
sen (t + t0 )
y=
1 + Ce2t
Ma
tem
cos(t + t0 )
x=
1 + Ce2t
atic
An
tio
ersi
da d
de
y 0
x
-1
-2
qui
-1
a, I
-2
nsti
tuto
de
Interpretacion geometrica:
Si C = 0 r = 1, = t + t0 que es la trayectoria circular x2 + y 2 = 1 en
sentido anti-horario.
Si C < 0 r > 1 y r 1 cuando t .
Y si C > 0 r < 1 y r 1 cuando t .
Un
iv
Definici
on 8.7. Si un sistema puede ser escrito como
x = V (
x ) para
alguna funcion V (
x ), real valuada y continuamente diferenciable. Al sistema
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
341
Teorema 8.8.
Los sistemas gradientes no tienen ciclos lmites .
Ma
tem
atic
as
Demostraci
on. Supongamos que tiene un ciclo lmite. Consideremos los
entonces V (
x ) = V (
x (t + T )) V (
x (t)) = 0. Por otro lado
Z T
Z T
Z T
Z T
dV
dt =
(V x ) dt =
( x x ) dt =
V =
k
x k2 dt < 0
dt
0
0
0
0
y = x cos y
tuto
x = sen y,
de
a, I
nsti
An
tio
qui
de
x + (x )3 + x = 0
da d
y supongamos que tiene un cclo lmite o sea que tiene una solucion x(t)
periodica, con perodo T y consideremos su funcion de energa
ersi
1
V (x, x ) = (x2 + (x )2 ).
2
Un
iv
V = x (x + x ) = x (x3 ) = (x )4 0
RT
entonces V = 0 (x )4 dt 0, el igual se produce cuando x 0 o sea
cuando x es un punto crtico, lo cual contradice que x(t) es un cclo lmite,
por lo tanto V < 0 y esto es absurdo, ya que V = 0, luego no hay cclos
lmites.
342
Teorema 8.9.
Una trayectoria cerrada del sistema (8.44) rodea necesariamente al menos
un punto crtico de este sistema.
as
Ma
tem
atic
tuto
de
Sea
x = f (
x ) un campo vectorial, continuamente diferenciable en una
region R simplemente conexa del plano. Si existe una funcion continuamente
qui
a, I
nsti
Demostraci
on. Supongamos que existe una orbita cerrada contenida en
la region R. Sea A la region interior a . Por el teorema de Green se tiene
I
Z Z
x)f )
n ds
(g( x ) f ) dA = (g(
Un
iv
ersi
da d
de
An
tio
donde
n es el vector normal a en direccion hacia el exterior de A y ds
es el elemento de longitud de arco a lo largo de , la doble integral del lado
ya que f
n =
x
n = 0 (el vector tangente
x y el vector normal
n
son ortogonales). Esta contradiccion implica que no hay orbitas cerradas en
R.
1
Soluci
on. Tomando g(
x ) = g(x, y) = xy
, calculemos (g(
x )
x )
2xy
~ ~
1
1
x(2 x y)
= ( i+ j) 4xxy 2 3 = < 0
(g( x ) x ) =
2
xy y(4x x 3)
x
y
y
x
en el primer cuadrante.
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
343
as
Corolario 8.1.
+ G
, es siempre positiva o siempre negativa en una region del plano de
Si F
x
y
fase, entonces el sistema (8.44) no tiene trayectorias cerradas en esa region.
atic
Demostraci
on: como
Ma
tem
x = (x (t), y (t)) = f (
x ) = (F (x, y), G(x, y)),
tomemos g(
x ) = 1, entonces
de
(g(
x )
x ) =
x = f (
x ) = (F (x, y), G(x, y)) =
tuto
~
F
G
~
i+
j) (F (x, y), G(x, y)) =
+
x
y
x
y
nsti
=(
An
tio
qui
a, I
A continuacion enunciaremos un teorema que da las condiciones suficientes para la existencia de trayectorias cerradas de (8.44); es el llamado teorema
de Poincar
e-Bendixson, ver su demostracion en el texto Ecuaciones Diferenciales, sistemas dinamicos y algebra lineal de Hirsch and Smale.
Un
iv
ersi
da d
de
344
t = t0
atic
as
Ma
tem
Figura 8.29
qui
a, I
nsti
tuto
de
An
tio
dx
d2 x
+ f (x)
+ g(x) = 0
2
dt
dt
(8.49)
da d
de
d2 x
dx
+ (x2 1)
+x=0
2
dt
dt
Un
iv
ersi
(8.50)
(8.51)
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
345
Ma
tem
atic
as
ii. g(x) es impar y tal que g(x) > 0 para x > 0 y f (x) es par.
Rx
iii. F (x) = 0 f (x) dx, (la cual es impar), tiene exactamente un cero
positivo en x = a; es negativa para 0 < x < a; es positiva y no
decreciente para x > a y F (x) cuando x ,
de
nsti
tuto
de
An
tio
qui
a, I
Un
iv
ersi
da d
su u
nico cero positivo esx = 3.
F (x) < 0 para 0 < x< 3.
F (x) > 0 para x > 3.
346
as
F (x) cuando x .
2
Como
F (x) = (x 1) > 0 para x > 1 F (x) es no decreciente para
enard y por lo
x > 3. Luego se cumplen las hipotesis del Teorema de Li
tanto tiene una u
nica trayectoria cerrada (ciclo lmite), a la que tienden en
forma de espiral (asintoticamente) todas las demas trayectorias (soluciones
no triviales).
Ma
tem
atic
0
-3
-2
-1
tuto
de
a, I
nsti
-2
qui
An
tio
y = x + y y(x2 + y 2 )
de
da d
ersi
rr = xx + yy
y =
xy yx
.
r2
Un
iv
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
347
y = 4x + 4y y(x2 + y 2 )
Ma
tem
atic
as
tuto
de
2 +y 2 )
y = x 3y ye(x
2 +y 2 )
a, I
x = 3x y xe(x
nsti
qui
x = x y x3 ,
An
tio
y = x + y y3
da d
de
Un
iv
ersi
348
y = x y + x2 + y 2
tuto
de
Ma
tem
atic
as
Ejercicio 9. Usando los teoremas de esta seccion, determinar si las siguientes ecuaciones tienen ciclos lmites:
2
2
a) ddt2x + (5x4 9x2 ) dx
+ x5 = 0, b) ddt2x (x2 + 1) dx
+ x5 = 0,
dt
dt
2
2
)2 (1 + x2 ) = 0, d) ddt2x + dx
+ ( dx
)5 3x3 = 0,
c) ddt2x ( dx
dt
dt
dt
2
e) ddt2x + x6 dx
x2 dx
+x=0
dt
dt
(Rta.: a) Tiene un ciclo lmite (Teorema de Lienard), b) No tiene ciclo lmite
(Corolario 8.1), c) No tiene ciclo lmite (Teorema 8.9), d) No tiene ciclo lmite
(Corolario 8.1), e) Tiene un ciclo lmite (Teorema de Lienard) )
(a, b, c positivos)
a, I
d2 x
dx
+ cx = 0,
a 2 + b(x2 1)
dt
dt
nsti
An
tio
qui
de
ersi
Un
iv
8.7.
da d
tiene un u
nico ciclo lmite estable. (Ayuda: haga x = z y = z.)
Los siguientes ejercicios son para E.D. no linealizables, utilizamos el paquete Maple para inferir mediante el retrato de fase los resultados.
Ejemplo 13. Mostrar que la siguiente E.D. no es linealizable en el punto
crtico (0, 0), graficar el campo de direcciones,
dx
= 2xy
dt
dy
= y 2 x2
dt
349
atic
as
>DEplotwith:C:=[D(x)(t)=2*x(t)*y(t),D(y)(t)=y(t)^2-x(t)^2]; C :=
[D(x)(t) = 2*x(t)*y(t), D(y)(t) = y(t)^2-x(t)^2]
Ma
tem
a, I
nsti
tuto
de
>with(DEtools):phaseportrait(C,[x(t),y(t)],t=-20..20,
[[x(0)=1,y(0)=-1],[x(0)=-1,y(0)=1],[x(0)=0.5,y(0)=1],
[x(0)=-0.5,y(0)=1],[x(0)=-0.4,y(0)=1],[x(0)=0.4,y(0)=1]],
x=-3..3,y=-3..3,stepsize=.01,arrows=medium,
linecolor=black,thickness=2,color=black);
An
tio
qui
de
-2
-1
da d
y 0
-3
Un
iv
ersi
x
-1
-2
-3
Figura 8.31
como vemos del retrato de fase el punto crtico (0, 0) es inestable y no clasificable.
350
as
dx
= x3 2xy 2
dt
dy
= 2x2 y y 3
dt
Ma
tem
atic
de
tuto
y 0
-1
0
x
-1
de
-2
qui
-2
An
tio
-3
a, I
nsti
da d
-3
ersi
Figura 8.32
Un
iv
>with(DEtools):C:=[D(x)(t)=x(t)^3-2*x(t)*y(t)^2,
D(y)(t)=2*x(t)^2*y(t)-y(t)^3];
C := [D(x)(t) = x(t)3 2x(t)y(t)2 , D(y)(t) = 2x(t)2 y(t) y(t)3 ]
>with(DEtools):phaseportrait(C,[x(t),y(t)],t=-20..20,[[x(0)=1,y(0)=1],
[x(0)=1,y(0)=-1],[x(0)=-1,y(0)=1],[x(0)=-1,y(0)=-1],[x(0)=2,y(0)=1],
[x(0)=2,y(0)=-1],[x(0)=-2,y(0)=1],[x(0)=-2,y(0)=-1]],x=-3..3,y=-3..3,
stepsize=.01,arrows=medium,linecolor=black,thickness=2,color=black);
351
atic
as
Ma
tem
p
dx
= x 4y |xy|
dt
p
dy
= y + 4x |xy|
dt
a, I
nsti
tuto
de
An
tio
qui
0,8
-0,8
y
-0,4
0
0
0,4
0,8
da d
de
0,4
ersi
-0,4
Un
iv
-0,8
Figura 8.33
>with(DEtools):C:=[D(x)(t)=x(t)-4*y(t)*sqrt(abs(x(t)*y(t))),
D(y)(t)=-y(t)+4*x(t)*sqrt(abs(x(t)*y(t)))];
p
p
C := [D(x)(t) = x(t)4y(t) |x(t)y(t)|, D(y)(t) = y(t)+4x(t) |x(t)y(t)|]
352
atic
as
>with(DEtools):phaseportrait(C,[x(t),y(t)],t=-20..20,
[[x(0)=0.2,y(0)=0.2],[x(0)=0.4,y(0)=0.4],
[x(0)=-0.4,y(0)=-0.4],[x(0)=-0.2,y(0)=-0.2],
[x(0)=-0.1,y(0)=0.1],[x(0)=0.1,y(0)=-0.1],
[x(0)=0.2,y(0)=0.01],[x(0)=-0.2,y(0)=-0.01],
[x(0)=0.2,y(0)=-0.2],[x(0)=-0.2,y(0)=0.2]],
x=-0.8..0.8,y=-0.9..0.9,stepsize=.01,arrows=medium,
linecolor=black,thickness=1,color=black);
Un
iv
ersi
da d
de
An
tio
qui
a, I
nsti
tuto
de
Ma
tem