Viii - Sistemas Lineales y No Lineales, Teoria de Estabilidad PDF
Viii - Sistemas Lineales y No Lineales, Teoria de Estabilidad PDF
Viii - Sistemas Lineales y No Lineales, Teoria de Estabilidad PDF
INTRODUCCION A LA TEORIA
as
atic
DE ESTABILIDAD
atem
eM
o. d
8.1.
SISTEMAS AUTONOMOS, EL PLANO
ept
DE FASE
a, D
dx
dad
= F (x, y) (8.1)
dt
ersi
dy
= G(x, y) (8.2)
iv
dt
Un
281
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
x = x(t) (8.3)
y = y(t) (8.4)
Si x(t) y y(t) no son ambas constantes, entonces (8.3) y (8.4) son las
as
ecuaciones parametricas de una curva en el plano XY , a este plano lo lla-
atic
maremos el plano de fase y la curva solucion la llamaremos una trayectoria
atem
del sistema, la familia de trayectorias representadas en el plano de fase la
llamaremos el retrato de fase
eM
Nota: si (8.3) y (8.4) es solucion de (8.1) y (8.2), entonces
o. d
x = x(t + c) (8.5)
ept
y = y(t + c) (8.6)
a, D
Por tanto cada trayectoria viene representada por muchas soluciones que
difieren entre si por una translacion del parametro. Tambien cualquier trayec-
An
toria que pase por el punto (x0 , y0 ), debe corresponder a una solucion de la
de
forma (8.5) y (8.6), es decir, por cada punto del plano de fase pasa una sola
trayectoria, o sea, que las trayectorias no se intersectan.
dad
Nota:
ersi
es por tanto una curva dirigida y en las figuras utilizamos flechas para indicar
Un
dy dx
= F (x0 , y0 ) = 0, y = G(x0 , y0 ) = 0
dt dt
282
8.1. SISTEMAS AUTONOMOS, EL PLANO DE FASE
se cumple que
x(t) x0 y y(t) y0
es tambien solucion (solucion constante), pero no la llamamos trayectoria.
as
Definici on 8.1 (Punto Crtico) .
atic
Al punto (x0 , y0 ) tal que F (x0 , y0 ) = 0 y G(x0 , y0 ) = 0 se le llama un punto
crtico del sistema.
atem
Nota: en estos puntos la solucion es u nica y es la solucion constante
x(t) = x0 y y(t) = y0 . Como se dijo antes, una solucion constante no de-
eM
fine una trayectoria, as que por un punto crtico no pasa ninguna trayectoria.
o. d
Supondremos que todo punto crtico (x0 , y0 ) es aislado, es decir, existe
ept
d2 c d g
+ + sen = 0
tio
dt 2 m dt a
Haciendo x = y y = 0 se obtiene el siguiente sistema autnomo no lineal
An
x0 = y = F (x, y)
de
c g
y 0 = y sen x = G(x, y).
dad
m a
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 movimien-
iv
dt
dy d2
aceleracion angular dt = dt2 se anulan simultneamente, o sea que la partcula
esta en reposo; no hay fuerza que acte sobre ella y por consiguiente esta en
equilibrio. Por esta razon en algunos textos a los puntos crticos tambien los
llaman puntos de equilibrio.
283
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
Como x0 (t) = F (x, y) y y 0 (t) = G(x, t) son las componentes del vec-
tor 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
dx dy
donde dt
= F (x, y) y dt
= G(x, y)
as
atic
C
R ~v
S Q
atem
P G
F
eM
o. d
ept
Figura 8.1
a, D
En P (x, y) las componentes de V~ (x, y) son F (x, y) y G(x, y) (ver figura 8.1).
qui
Como dx dt
= F y dydt
= G, entonces V~ es tangente a la trayectoria en P y
tio
284
8.2. TIPOS DE PUNTOS CRITICOS, ESTABILIDAD.
as
atic
atem
8.2. TIPOS DE PUNTOS CRITICOS, ES-
TABILIDAD.
eM
Consideremos el sistema autonomo: o. d
dx
= F (x, y) (8.7)
ept
dt
a, D
dy
= G(x, y) (8.8)
dt
qui
fase XY .
An
Sea (x0 , y0 ) un punto crtico aislado de (8.7) y (8.8). Si C = (x(t), y(t)) es una
trayectoria de (8.7) y (8.8), decimos que C tiende a (x0 , y0 ), cuando t
de
(o t ), si
dad
lm x(t) = x0 (8.9)
t
ersi
lm y(t) = y0 (8.10)
iv
t
Un
285
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
8.2.1. TIPOS DE PUNTOS CRITICOS.
atic
Sin perdida de generalidad supondremos que el punto (0, 0) es un crtico.
atem
1. Nodos. (ver figura 8.2 y 8.3)
eM
o. d
y
y
ept
a, D
qui
x
x
tio
An
de
dad
Figura 8.2
Un
286
8.2. TIPOS DE PUNTOS CRITICOS, ESTABILIDAD.
y
y
x
x
as
atic
atem
nodo propio o nodo estrella nodo impropio
inestable inestable
eM
Figura 8.3 o. d
que es un sumidero y cuando salen de el, o sea cuando tienden al punto
ept
287
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
atic
atem
Figura 8.4 Nodo impropio, inestable
eM
x < 0 y C1 < 0. En estos dos casos ambas trayectorias tienden y entran
o. d
al orgen cuando t .
ept
dy
Obsrvese que dx = x+2y : pendiente de la tangente a la trayectoria que
An
x
pasa por (x, y) 6= (0, 0); resolviendo la E.D. encontramos y = x + Cx2
que son las curvas (parabolas) sobre las que se apoyan las trayectorias,
de
2. Punto de Silla.
ersi
gen cuando t y hay otras dos semirrectas que salen del origen
Un
288
8.2. TIPOS DE PUNTOS CRITICOS, ESTABILIDAD.
as
atic
atem
Figura 8.5 Punto de silla
3. Centros (o v
ortices)(ver figura 8.6)
eM
o. d
ept
y
a, D
qui
tio
x
An
de
dad
ersi
289
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
x = C1 sen t + C2 cos t
y = C1 cos t + C2 sen t
as
La solucion (o trayectoria) que satisface las condiciones iniciales x(0) =
atic
1 y y(0) = 0 es
x = cos t y = sen t
atem
eM
y
o. d
ept
a, D
C
qui
1
1,5 2
x
tio
An
de
dad
ersi
290
8.2. TIPOS DE PUNTOS CRITICOS, ESTABILIDAD.
as
4 Focos. (ver figura 8.8)
atic
y
atem
eM
o. d
ept
a, D
qui
x
tio
An
de
dad
ersi
291
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
entonces (0, 0) es el u
nico punto crtico.
atic
La E.D. de las trayectorias es
atem
dy x + ay
= (8.13)
dx ax y
eM
Pasemos a coordenadas polares: x = r cos y y = r sen como
r2 = x2 + y 2 y = tan1 xy , entonces o. d
dr dy d dy
r =x+y r2 =x y
dx dx dx dx
ept
dr
Luego (8.13) queda as: d = ar r = Cea es la ecuacion polar de las
a, D
trayectorias.
La direccion del recorrido se puede deducir del hecho que dx = y
qui
dt
cuando x = 0.
Si a = 0 entonces el sistema (8.11) y (8.12) se colapsa en el sistema:
tio
An
dx
= y (8.14)
dt
de
dy
=x (8.15)
dad
dt
ersi
x2 + y 2 = c 2 ,
Un
292
8.2. TIPOS DE PUNTOS CRITICOS, ESTABILIDAD.
y
y y
x x x
as
atic
a<0 a=0 a>0
a) Asint. estable b) Estable c) Inestable
atem
Figura 8.9 Bifurcacion
eM
Definici
on 8.2 (Estabilidad) .
o. d
Supongamos por conveniencia que (0, 0) es un punto crtico del sistema
dx dy
ept
= F (x, y) = G(x, y)
dt dt
a, D
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
qui
lo x2 + y 2 = r02 , tal que toda trayectoria que esta dentro de el para alg
un
t = t0 , tiende al orgen cuando t .
dad
ersi
Definici
on 8.4 . Si el punto crtico no es estable, diremos que es inestable.
iv
Los nodos de la figura 8.3 y 8.4, el punto de silla de la figura 8.5, el foco
Un
293
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
t = t0 r
R
as
atic
atem
Figura 8.10
eM
Los nodos de la figura 8.2, el foco (o espiral) de la figura 8.8 y 8.9a) , son
o. d
asintoticamente estables.
ept
Para los siguientes ejercicios determine el tipo del punto crtico que es
a, D
Ejercicio 1. dx
dt
= 2x + y, dydt
= x 2y
(Rta: Nodo asintoticamente estable (o sumidero).)
tio
An
Ejercicio 2. dx
dt
= 4x y, dydt
= 2x + y
de
Ejercicio 3. dx
dt
= x + 2y, dy dt
= 2x + y
(Rta: Punto de Silla inestable.)
ersi
iv
Ejercicio 4. dx
dt
= 3x + y, dy dt
= 5x y
Un
Ejercicio 5. dx
dt
= x 2y, dydt
= 2x 3y
(Rta: Nodo asintoticamente estable (o sumidero).)
294
8.3. PUNTOS CRITICOS Y CRITERIOS DE ESTABILIDAD
Ejercicio 6. dx
dt
= 5x 3y, dy dt
= 3x y
(Rta: Nodo inestable (o fuente).)
Ejercicio 7. dx
dt
= 3x 2y, dy dt
= 4x y
(Rta: Punto espiral inestable (es una fuente).)
Ejercicio 8. dx
dt
= x 3y, dy dt
= 6x 5y
(Rta: Punto espiral asintoticamente estable (es una sumidero).)
dy
Ejercicio 9. dx = 2x 2y, = 4x 2y
as
dt dt
(Rta: Centro estable.)
atic
dy
Ejercicio 10. dx = x 2y, = 5x y
atem
dt dt
(Rta: Centro estable.)
eM
o. d
8.3. PUNTOS CRITICOS Y CRITERIOS DE
ept
NEALES
qui
Consideremos el sistema:
tio
dx
= a1 x + b 1 y (8.16)
An
dt
de
dy
dad
= a2 x + b 2 y (8.17)
dt
ersi
a1 b 1
a2 b2 = a1 b2 b1 a2 6= 0 (8.18)
295
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
i).
m1 t A1 m2 t A 2
~x1 (t) = e , ~x2 (t) = e
B1 B2
donde m1,2 son races distintas de la cuadratica:
as
cion (8.18) implca que m 6= 0.
atic
ii). O de la forma
atem
mt A1 mt A1 A mt A1 + At
~x1 (t) = e , ~x2 (t) = e [ +t ]=e ,
B1 B1 B B1 + Bt
eM
si m es una raz de multiplicidad dos de la ecuacion caracterstica
o. d
m2 (a1 + b2 )m + (a1 b2 a2 b1 ) = 0.
ept
A A1
y es el vector propio asociado a m y es el vector propio
B B1
a, D
Sean m1 y m2 las races de (8.19). La naturaleza del punto crtico esta de-
terminada por estas races.
An
Casos Principales:
CASO A: Si las races m1 y m2 son reales, distintas y del mismo signo,
de
entonces es un nodo.
dad
Casos Frontera:
Un
296
8.3. PUNTOS CRITICOS Y CRITERIOS DE ESTABILIDAD
A2 y = B 2 x
A1 y = B 1 x
as
atic
Figura 8.11 Nodo impropio (asintoticamente estable)
atem
Demostraci on: supongamos que m1 < m2 < 0.
eM
Sabemos que la solucion del sistema 8.16, 8.17 es:
o. d
x = C 1 A 1 e m1 t + C 2 A 2 e m2 t (8.20)
ept
a, D
y = C 1 B 1 e m1 t + C 2 B 2 e m2 t (8.21)
A 1 m1 t A 2 m2 t
e y e
tio
B1 B2
An
B1 B2
son linealmente independientes, por lo tanto A1
6= A2
y las C son constantes
arbitrarias.
de
1.) Si C2 = 0, entonces
ersi
x = C 1 A 1 e m1 t , y = C 1 B 1 e m1 t (8.22)
iv
en este caso:
Un
297
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
como xy = B 1
A1
, entonces ambas semirrectas entran a (0, 0) con pendiente B1
A1
.
2). Si C1 = 0, entonces
x = C 2 A 2 e m2 t , y = C 2 B 2 e m2 t (8.23)
as
curvas; como m1 < 0 y m2 < 0, entonces estas trayectorias tienden a (0, 0)
atic
cuando t , ademas, como
atem
m1 m 2 < 0
eM
C1 B1
y C 1 B 1 e m1 t + C 2 B 2 e m2 t C2
e(m1 m2 ) t + B2
= = C 1 A1
o. d
x C 1 A 1 e m1 t + C 2 A 2 e m2 t C2
e(m1 m2 ) t + A2
2
A2
B2
pendiente A2 . De acuerdo a lo analizado (0, 0) es un nodo impropio y es,
a, D
representadas por (8.23) con m2 > 0 las cuales tienden y entran al origen
(0, 0) cuando t .
298
8.3. PUNTOS CRITICOS Y CRITERIOS DE ESTABILIDAD
A1 y = B 1 x
y
A2 y = B 2 x
x
as
atic
atem
eM
o. d
ept
a, D
C1 B1
y C 1 B 1 e m1 t + C 2 B 2 e m2 t C2
e(m1 m2 ) t + B2 B2
lm = lm = lm =
dad
t C1 A1 em1 t + C2 A2 em2 t C 1 A1
t x t
C2
e(m1 m2 ) t + A2 A2
ersi
C2 B2
y C 1 B 1 e m1 t + C 2 B 2 e m2 t B1 + e(m2 m1 ) t B1
iv
C1
lm = lm = l
m C 2 A2
=
t x t C1 A1 em1 t + C2 A2 em2 t t A1 + e(m2 m1 ) t A1
Un
C1
299
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
atic
x = eat [C1 (A1 cos bt A2 sen bt) + C2 (A1 sen bt + A2 cos bt)] (8.25)
atem
y = eat [C1 (B1 cos bt B2 sen bt) + C2 (B1 sen bt + B2 cos bt)] (8.26)
eM
donde C1 y C2 son parametros.
o. d
Si a < 0 entonces x 0 y y 0 cuando t , o sea que todas las
trayectorias tienden a (0, 0) cuando t y por tanto (0, 0) es asintotica-
ept
mente estable.
a, D
dt
An
Sabemos que
y
= tan1
de
x
x dy y dx
dad
d
= dt2 dt
dt x + y2
ersi
= =
dt x2 + y 2 x2 + y 2
Como estamos interesados solo en soluciones que representan trayectorias,
suponemos x2 + y 2 6= 0.
300
8.3. PUNTOS CRITICOS Y CRITERIOS DE ESTABILIDAD
y
y
x x
as
atic
atem
a<0 a<0
a2 > 0 a2 < 0
eM
Figura 8.13 Focos (asintoticamente estables)
o. d
De (8.24): a2 y b1 deben tener signos opuestos.
ept
Si
d
y = 0 = a2 > 0 (8.27)
qui
dt
tio
Si
An
d
y 6= 0 6= 0 (8.28)
dt
de
d
ya que si dt
= 0, entonces a2 x2 + (b2 a1 )xy b1 y 2 = 0, o sea,
dad
2
x x
a2 + (b2 a1 ) b1 = 0
ersi
y y
iv
301
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
d d
De la continuidad de dt
, de (8.27) y de (8.28) se concluye que dt
> 0
cuando a2 > 0 y b1 < 0.
d
Similarmente, si a2 < 0 y b1 > 0 entonces dt
< 0.
as
contrario a las agujas del reloj si a2 > 0 y en sentido horario si a2 < 0. Luego
atic
el punto crtico es un foco asintoticamente estable (Ver figura 8.13).
atem
Si a > 0: el analisis es el mismo, salvo que las trayectorias tienden a (0, 0)
cuando t y el punto crtico es inestable.
eM
CASO D: si las races m1 y m2 son reales e iguales, el punto crtico (0, 0)
o. d
es un nodo.
ept
i). a1 = b2 6= 0 y a2 = b1 = 0
ii). Todas las demas posibilidades que conducen a una raz doble.
qui
tio
dx dy
= ax, = ay.
dt dt
dad
nemos
x C1 C1
= o sea que y = x
y C2 C2
Las trayectorias definidas por (8.29) son semirrectas de todas las pen-
dientes posibles y como m < 0, entonces estas trayectorias tienden y entran
302
8.3. PUNTOS CRITICOS Y CRITERIOS DE ESTABILIDAD
as
atic
atem
Figura 8.14 Nodo propio o nodo estrella (asintoticamente estable)
eM
a (0, 0) cuando t , de donde (0, 0) es un nodo (llamado tambien nodo
o. d
propio o nodo estrella) asintoticamente estable (ver figura 8.14).
Si m > 0, tenemos la misma situacion, excepto que las trayectorias entran
ept
A1
de rango dos , por lo tanto la solucion general es:
B1
An
303
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
atic
atem
eM
Figura 8.15 Nodo impropio (asintoticamente estable)
o. d
ept
C1 B
y C2
+ B1 + Bt
= C1 A
x + A1 + At
de
C2
y B
dad
cuando t .
x A
ersi
estable.
Un
304
8.3. PUNTOS CRITICOS Y CRITERIOS DE ESTABILIDAD
as
atic
atem
eM
Figura 8.16 Centro (estable) o. d
ept
Luego x(t) y y(t) son periodicas y cada trayectoria es una curva cerrada
An
que rodea al orgen, estas trayectorias son elipses, lo cual puede probarse
dy
resolviendo la E.D.: dx = aa21 x+b 2y
.
de
x+b1 y
Luego (0, 0) es un centro estable, pero no asintoticamente estable.
dad
ersi
iv
Un
305
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
q
cuadrante inestable cuadrante asintoticamente
p
2
estable
4q
la
bo
=
ra
0
pa
no centros
do espirales espirales ite
sl
im semieje lim
ite estable dos
no
nodos nodos
as
p
atic
cuadrante inestable cuadrante inestable
atem
puntos de silla
eM
Figura 8.17
o. d
Teorema 8.2 ( Criterio de estabilidad) .
ept
El punto crtico (0, 0)del sistema lineal (8.16) y (8.17) es estable si y solo si
a, D
negativas.
tio
(m m1 )(m m2 ) = m2 + pm + q = 0
donde p = (m1 + m2 ) y q = m1 m2 .
de
p p2 4q
tanto, toda la informacion la podemos extraer de m1,2 = 2
iv
Un
306
8.3. PUNTOS CRITICOS Y CRITERIOS DE ESTABILIDAD
as
El primer cuadrante excluyendo los ejes, es una region con estabilidad
asintotica; el eje positivo q corresponde a centros y por tanto es estable;
atic
el segundo, tercero y cuarto cuadrante son regiones inestables.
atem
Teorema 8.3 (Criterio para estabilidad asint otica) .
El punto crtico (0, 0) del sistema lineal (8.16) y (8.17) es asintoticamente
eM
estable si y solo si los coeficientes p = (a1 + b2 ) y q = a1 b2 a2 b1 , de la
ecuacion auxiliar son ambos positivos.
o. d
ept
dx dy
Ejercicio 1. dt
= 3x y, dt
= x + 3y
(Rta: (0, 0))
qui
dx dy
Ejercicio 2. = 3x 2y, = 4x 3y + 1
tio
dt dt
(Rta: (2, 3))
An
dy
Ejercicio 3. dx = 2x xy, = xy 3y
de
dt dt
(Rta: (0, 0) y (3, 2))
dad
Ejercicio 4. dx
dt
= y, dydt
= sen x
ersi
Encuentre los puntos crticos del sistema dado e investigue el tipo de es-
Un
Ejercicio 5. dx dt
= 2x + y, dy dt
= x 2y
(Rta: el orgen es un nodo asintoticamente estable (es un sumidero).)
307
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
Ejercicio 6. dx dt
= x + 2y, dydt
= 2x + y
(Rta: el orgen es un punto silla inestable.)
Ejercicio 7. dxdt
= x 3y, dy
dt
= 6x 5y
(Rta: el orgen es un foco o punto espiral asintoticamente estable (es un
sumidero).)
Ejercicio 8. dx dt
= x 2y, dydt
= 4x 2y
(Rta: el orgen es un foco asintticamente estable (es un sumidero).)
as
Ejercicio 9. dxdt
= 3x 2y, dydt
= 4x y
atic
(Rta: el orgen es un foco o punto espiral inestable (es una fuente).)
atem
8.4. CRITERIO DE ESTABILIDAD POR EL
eM
METODO DIRECTO DE LIAPUNOV o. d
Consideremos el sistema autonomo
ept
dx
= F (x, y)
a, D
dt (8.32)
dy
= G(x, y),
dt
qui
y supongamos que tiene un punto crtico aislado; sea (0, 0) dicho punto crtico
tio
coordenadas x0 = x x0 , y 0 = y y0 ).
de
308
8.4. CRITERIO DE ESTABILIDAD: METODO DE LIAPUNOV
as
tiva.
atic
Nota:
atem
E(x, y) = ax2m + by 2n con a > 0, b > 0 y m, n enteros positivos, es
definida positiva.
eM
E(x, y) es definida negativa si y solo si E(x, y) es definida positiva.
E(x, y) = ax2m + by 2n con a < 0 y b < 0 y m, n enteros positivos, es
o. d
definida negativa.
ept
x2m es semidefinida positiva, ya que x2m = 0 para todo (0, y) y x2m > 0
para todo (x, y) 6= (0, 0).
a, D
309
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
atic
atem
y
eM
o. d
ept
x
a, D
qui
Figura 8.18
tio
An
Nota:
de
dE E E
E 0 (x, y) = = F+ G0
dt x y
ersi
310
8.4. CRITERIO DE ESTABILIDAD: METODO DE LIAPUNOV
as
atic
Demostraci on: sea C1 un crculo de radio R > 0 centrado en el orgen
atem
de tal manera que C1 se halla dentro del dominio de definicion de la funcion
E. Como E(x, y) es continua y definida positiva, tiene un maximo positivo
m en C1 . Ademas, E(x, y) es continua en el orgen y se anula en el, luego
eM
podemos hallar un n umero positivo r < R tal que 0 E(x, y) < m si (x, y)
esta dentro del crculo C2 de radio r (Ver figura 8.19).
o. d
Sea C = [x(t), y(t)] cualquier trayectoria que este dentro de C2 para
ept
dE
dt
= E x
F + E
y
G 0 lo cual implca que E(t) E(t0 ) < m para todo
t > t0 , luego la trayectoria C nunca puede alcanzar el crculo C1 en un t > t0
qui
E(x, y) definida positiva, implca que C se aproxima al punto crtico (0, 0).
de
Como dEdt
< 0, entonces E(t) es decreciente y como E(t) esta acotada
inferiormente por 0, entonces E(t) tiene un lmite L 0 cuando t .
dad
ersi
Supongamos que L > 0. Sea r < r (ver figura 8.19) tal que E(x, y) < L
para (x, y) dentro del crculo C3 de radio r, como la funcion (8.34) es continua
iv
311
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
c2 c1
t = t0
r
r R
x
c3
as
c
atic
atem
Figura 8.19
eM
o. d
Se obtiene la desigualdad:
ept
m 2
+C + kx = 0
dt dt
dad
Solucion:
iv
dx dy k C
= y; = x y
dt dt m m
2
Su u
nico punto crtico es (0, 0). La energa cin
Retica es my2 y la energa po-
x
tencial (o energa almacenada en el muelle) es 0 kx dx = 12 kx2
312
8.4. CRITERIO DE ESTABILIDAD: METODO DE LIAPUNOV
1
Luego la energa total: E(x, y) = 2
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
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.
as
Ejemplo 5. (Resorte no lineal). Este es un ejemplo de una masa m = 1
atic
sujeta a un resorte no lineal, en el cual la fuerza restauradora es una funcion
de la distancia de la masa al origen, sea f (x) una funcion no lineal que
atem
representa la fuerza restauradora tal que f (0) = 0 y xf (x) > 0 si x 6= 0; no
hay friccion. La E.D. de su movimiento es
eM
d2 x
+ f (x) = 0
dt2
o. d
Analizar la estabilidad de su punto crtico.
ept
x0 = y
y 0 = f (x)
tio
An
Z x
F (x) = f (x) dx
dad
0
y la energa total es
y2
ersi
E(x, y) = F (x) +
2
iv
Como x, f (x) tienen el mismo signo entonces F (x) 0 y por tanto E(x, y)
Un
313
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
E 0 (x, y) = x(x x sen y) + y(y ) = x2 y 2 x2 sen y
3 3 3 3
atic
pero |x2 sen y| x2 y por tanto x2 + x2 sen y 0. Entonces
atem
x4 y4 x4 y4
E 0 (x, y) = y2 (x2 + x2 sen y) y 2 <0
3 3 3 3
eM
para (x, y) 6= (0, 0), es decir E 0 es definida negativa y por el teorema anterior,
parte b., (0, 0) es asintoticamente estable. o. d
Ejemplo 7. Analizar la estabilidad del punto crtico del siguiente sistema
ept
dx dy
a, D
= 2xy; = x2 y 3
dt dt
Solucion:
qui
tio
E(x, y) = ax2m + by 2n
de
E E
F+ G = 2max2m1 (2xy) + 2nby 2n1 (x2 y 3 )
dad
x y
E E
F+ G = (4max2m y + 2nbx2 y 2n1 ) 2nby 2n+2
ersi
x y
Para que el parentesis se anule, necesitamos que m = 1, n = 1, a = 1,
iv
E E
F+ G = 4y 4
x y
que es semidefinida negativa, luego (0, 0) es estable.
314
8.4. CRITERIO DE ESTABILIDAD: METODO DE LIAPUNOV
Teorema 8.5 .
La funcion E(x, y) = ax2 + bxy + cy 2 es:
as
atic
Demostraci on: Veamos la primera parte.
Si y = 0 entonces E(x, 0) = ax2 > 0 si x 6= 0 y a > 0
atem
Si " #
2
x x
y 6= 0 : E(x, y) = y 2 a +b +c
eM
y y
x x
y si a > 0, el polinomio en es positivo para todo b2 4ac < 0.
o. d
y y
ept
de las anteriores.
a) x2 xy y 2 , b) 2x2 3xy + 3y 2 , c)2x2 + 3xy y 2 , d) x2 4xy 5y 2 .
qui
3 3 2
Ejercicio 2.Dado el sistema dxdt
= xy 2 x2 , dy
dt
= y2 + yx5
Mostrar que (0, 0) es asintoticamente estable (Ayuda: tomar V (x, y) = ax2 +
de
by 2 ).
dad
dx dy
Ejercicio 3. Dado el sistema dt
= 6x2 y, dt
= 3y 3 + 6x3
ersi
dy
Ejercicio 4. Dado el sistema dx = 3x3 y, = x5 2y 3
Un
dt dt
Mostrar que (0, 0) es asintticamente estable.
dy
Ejercicio 5. Dado el sistema dx dt
= 2x + xy 3 , dt
= x2 y 2 y 3
Mostrar que (0, 0) es asintticamente estable.
315
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
propiedades:
a) E(x, y) es continua, con primeras derivadas parciales continuas en una
regin del plano que contiene al origen.
b) E(0, 0) = 0.
c) Todo crculo centrado en el origen, contiene al menos un punto para el cual
E(x, y) es positiva.
d) ( E
x
)F + ( E
y
G) es definida positiva.
as
dx dy
Ejercicio 7. Dado el sistema dt
= 2xy + x3 , dt
= x2 + y 5
atic
Mostrar que (0, 0) es inestable.
atem
Ejercicio 8. Sea f (x) una funcin 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)
eM
0
a) Mostrar que E(x, y) = 12 y 2 + x f (x) dx esta definida positiva.
2
b) Mostrar que (0, 0) es un punto crtico estable del la E.D. ddt2x + f (x) = 0
o. d
c) Si g(x) 0 en un crculo alrededor del origen, mostrar que (0, 0) es un
punto crtico estable del sistema
ept
d2 x dx
a, D
2
+ g(x) + f (x) = 0
dt dt
qui
Ejercicio: 9. Dado el sistema x0 = yxf (x, y), y 0 = xyf (x, y), donde
f (0, 0) = 0 y f (x, y) tiene un desarrollo en serie de potencias convergente en
tio
una regin R alrededor del origen. Demostrar que el punto crtico (0, 0) es
An
inestable si en toda regin alrededor de (0, 0) hay puntos (x, y) tales que
f (x, y) < 0.
iv
Un
316
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
as
bilidad de la E.D.
atic
x00 + (x0 )3 + x5 = 0
atem
8.5. LINEALIZACION DE SISTEMAS NO
LINEALES
Consideremos el sistema autonomo eM
o. d
x0 = F (x, y), y 0 = G(x, y), (8.35)
ept
F F
An
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.
ersi
Similarmente
iv
G G
v0 = u +v + O0 (u, v, uv) (8.37)
Un
x y
escribiendo matricialmente lo anterior, tenemos
0 F
(x0 , y0 ) F (x0 , y0 ) u
u x y O(u, v, uv)
= G + (8.38)
v0 x
(x0 , y0 ) G
y
(x0 , y0 ) v O0 (u, v, uv)
317
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
La matriz
F F
(x0 , y0 ) (x0 , y0 )
x y
J(F (x, y), G(x, y))(x0 ,y0 ) = G G
x
(x0 , y0 ) y
(x0 , y0 )
se le llama la matriz Jacobiana del sistema (8.35) evaluada en el punto crtico
(x0 , y0 ). Cuando |u|, |v| son peque nos, es decir, cuando (u, v) (0, 0) los
terminos de segundo orden y de orden superior son peque nos. Despreciando
estos terminos, conjeturamos que el comportamiento cualitativo de (8.36) y
(8.37) cerca al punto crtico (x0 , y0 ) es similar al del sistema lineal asociado:
0 F
(x0 , y0 ) F (x0 , y0 ) u
as
u x y
= G (8.39)
v0 (x0 , y0 ) G (x0 , y0 ) v
atic
x y
donde
atem
F F
x y
det G G 6= 0
x y (x0 ,y0 )
eM
observemos que si (x0 , y0 ) es un punto crtico en el sistema de coordenadas
XY entonces (0, 0) es el punto crtico en el nuevo sistema de coordenadas
o. d
U V , por esto los teoremas que haremos en esta seccion estn referidos al
punto crtico (0, 0) El proceso anterior de sustituir (8.35) por (8.39) se le
ept
= a1 x + b1 y + f (x, y)
dt (8.40)
dy
tio
= a2 x + b2 y + g(x, y)
dt
An
F F G G
donde a1 = x
(x0 , y0 ), b1 = y
(x0 , y0 ), a2 = x
(x0 , y0 ), b2 = y
(x0 , y0 )
de
y
F (x0 , y0 ) = 0, G(x0 , y0 ) = 0,
dad
a1 b 1
det 6= 0, (8.41)
a2 b 2
iv
Un
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
f (x, y)
lm p = 0 (8.42)
(x,y)(0,0) x2 + y 2
318
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
g(x, y)
lm p = 0 (8.43)
(x,y)(0,0) x2 + y 2
Esta 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.40) . Se
puede demostrar que este punto es aislado. Con las restricciones indicadas
(0, 0) se le llama punto crtico simple de (8.40).
Cuando se cumplen (8.41), (8.42), (8.43), entonces decimos que el sistema
(8.40) es un sistema casi lineal (o cuasi-lineal).
as
Ejemplo 6. Comprobar que se cumple (8.41), (8.42) y (8.43) para el
atic
siguiente sistema
dx dy
atem
= 2x + 3y + xy; = x + y 2xy 2
dt dt
Solucion:
eM
a1 b 1 2 3 o. d
= = 1 6= 0
a2 b 2 1 1
ept
y
tio
p
2
x +y 2 r
Cuando (x, y) (0, 0) entonces
de
f (x, y) g(x, y)
dad
lm = 0, lm =0
r0 r r0 r
ersi
319
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
con races m1 , m2 = 12 3i .
atic
Como las races son complejas conjugadas y no imaginarias puras, estamos
atem
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.
eM
Nota: aunque el tipo de punto crtico (0, 0) es el mismo para para el
sistema lineal y para el sistema no lineal , la apariencia de las trayectorias
o. d
puede ser bien diferente. La figura 8.20 muestra un punto de silla para un
sistema no lineal, en el cual se nota cierta distorsion, pero los rasgos cualita-
ept
Figura 8.20
Observaci
on: para los casos frontera no mencionados en el Teorema
8.6:
320
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
as
atic
donde a es un parmetro. Mostrar que la linearizacin predice un centro o un
foco en el origen. Mostrar que realmente corresponde a un foco.
atem
El sistema lineal asociado es:
eM
dx dy
= y, =x
dt dt o. d
Para este ultimo (el lineal): (0, 0) es un centro. Pero para el sistema no lineal,
ept
(0, 0) es un foco.
Para mostrar que es un foco, cambiemos el sistema de coordenadas carte-
a, D
x0 , y 0 , se obtiene
xy 0 yx0
dad
0 = =1
r2
ersi
r0 = ar3 , 0 = 1
Un
321
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
x x x
as
atic
a<0 a=0 a>0
Foco, asintticamente b) Centro, estable c) Foco, inestable
atem
estable
Figura 8.21
eM
Nota: Que sucede con los puntos crticos no simples?
o. d
Si los terminos no lineales en (8.40) no determinan la disposicion de las
ept
trayectorias cerca del orgen, entonces hay que considerar los terminos de se-
gundo grado, si estos tampoco, entonces se consideran los terminos de tercer
a, D
grado y as sucesivamente; el ejemplo siguiente tiene que ver con estos casos.
qui
Ejemplo 8.
tio
dx dy
= 2xy; = y 2 x2 (8.44)
An
dt dt
dx dy
= x3 2xy 2 ; = 2x2 y y 3 (8.45)
de
dt dt
dx dy
dad
p p
= x 4y |xy|; = y + 4x |xy| (8.46)
dt dt
ersi
Estos tres casos los analizaremos con el paquete Maple al final del captu-
lo.
iv
Un
322
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
as
3. Si el punto crtico (0, 0) del sistema lineal asociado es estable, pero no
atic
asintoticamente estable, entonces el punto crtico (0, 0) del sistema no
lineal (8.40) puede ser estable, asintoticamente estable o inestable .
atem
Demostraci
on: consideremos el sistema no lineal
eM
dx
= a1 x + b1 y + f (x, y)
o. d
dt (8.47)
dy
ept
= a2 x + b2 y + g(x, y)
dt
a, D
dx
= a1 x + b 1 y
dt (8.48)
tio
dy
= a2 x + b 2 y
An
dt
de acuerdo al Teorema 8.4 se debe construir una funcion de Liapunov ade-
de
cuada.
dad
Por el Teorema (8.3) los coeficientes del sistema lineal asociado satisfacen las
condiciones:
ersi
p = (a1 + b2 ) > 0
q = a 1 b2 a 2 b1 > 0
iv
Un
Sea
1
E(x, y) = (ax2 + 2bxy + cy 2 ),
2
donde
a22 + b22 + (a1 b2 a2 b1 )
a=
D
323
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
a1 a2 + b 1 b 2
b=
D
a21 + b21 + (a1 b2 a2 b1 )
c=
D
y
D = p q = (a1 + b2 )(a1 b2 a2 b1 )
Luego D > 0 y a > 0
Tambien
D2 (ac b2 ) = DaDc D 2 b2
as
atic
= [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 )
atem
+ (a1 b2 a2 b1 )2 (a1 a2 + b1 b2 )2 =
= (a22 + b22 + a21 + b21 )(a1 b2 a2 b1 ) + 2(a1 b2 a2 b1 )2 > 0
eM
Luego, b2 ac < 0, entonces por Teorema 8.5 tenemos que E(x, y) es
o. d
definida positiva, ademas
ept
E E
(a1 x + b1 y) + (a2 x + b2 y) = (x2 + y 2 ),
x y
a, D
Definamos
F (x, y) = a1 x + b1 y + f (x, y)
de
G(x, y) = a2 x + b2 y + g(x, y)
dad
E E
iv
F+ G (8.49)
x y
Un
E E E E
F+ G= (a1 x + b1 y + f (x, y)) + (a2 x + b2 y + g(x, y))
x y x y
324
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
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)
as
Sea k = max{|a|, |b|, |c|}. Por (8.42) y (8.43):
atic
r r
|f (x, y)| < ; |g(x, y)| <
6k 6k
atem
para r > 0 suficientemente peque
no.
eM
Luego:
E E 2 4kr2 r2
F+ G < r + = < 0, o. d
x y 6k 3
para r pequeno. Luego E(x, y) es una funcion definida positiva y E F + E G
ept
x y
es definida negativa; luego por Teorema de Liapunov 8.4 parte b., (0, 0) es
a, D
dx
= 2x + 3y + xy
An
dt
dy
de
= x + y 2xy 2
dt
dad
a1 b 1
= 1 6= 0
a2 b 2
iv
Un
p = (a1 + b2 ) = (2 + 1) = 1 > 0
q = a 1 b2 a 2 b1 = 1 > 0
325
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
d2 x c dx g
2
+ + sen x = 0; c>0
dt m dt a
El sistema no lineal es:
dx
as
=y
dt
atic
dy g c
= sen x y
dt a m
atem
La cual es puede escribir as:
dx
=y
eM
dt
dy g c g o. d
= x y + (x sen x)
dt a m a
Se puede ver que
ept
x sen x
lm p =0
a, D
(x,y)(0,0) x2 + y 2
En efecto, si x 6= 0:
qui
p = 1 0
x2 + y 2 |x| x
An
dx
dad
=y
dt
ersi
dy g c
= x y
dt a m
iv
Un
326
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
Ejemplo 11. Hallar los puntos crticos, determinar de que tipo son y su
estabilidad, para el siguiente sistema
x0 = 2xy = F (x, y)
y 0 = x + y + xy y 3 = G(x, y)
as
atic
La matriz Jacobiana es
F F
atem
(x, y) (x, y)
x y 2y 2x
=
G
x
(x, y) G
y
(x, y) 1 + y 1 + x 3y 2
eM
Para hallar los puntos crticos resolvemos el sistema
o. d
0 = 2xy = F (x, y)
0 = x + y + xy y 3 = G(x, y)
ept
a, D
F
(0, 0) F (0, 0)
x y a1 b 1 0 0
G = =
(0, 0) G (0, 0) a2 b 2 1 1
de
x y
dad
y su determinante es cero.
El sistema lineal asociado es
ersi
x0 = a 1 x + b 1 y = 0
iv
y 0 = a2 x + b2 y = x + y
Un
los puntos crticos de este sistema son de la forma (x, x) para todo
x real, por tanto son no aislados, es decir no clasificable; su ecuacion
caracterstica es
2 = 0
327
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
atic
atem
Figura 8.22
eM
y los valores propios son 1 = 0, 2 = 1, los vectores propios asociados
o. d
a estos valores propios son
ept
1 0
,
a, D
1 1
respectivamente y la solucion general es
qui
x = C1
tio
y = C 1 + c 2 et
An
todos los puntos crticos (x, x) son inestables, en particular (0, 0) (Ver
figura 8.21)
ersi
F F
(0, 1) (0, 1)
x y a1 b 1 2 0
G G = =
x
(0, 1) y
(0, 1) a2 b 2 0 2
328
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
Haciendo u = x x0 = x 0 = x y v = y y0 = y 1. El sistema
lineal asociado es
0 F F
(x ) (x )
u x 0 , y 0 y 0 , y 0 u 2 0 u
= G G = (8.50)
v0 x
(x ,
0 0 y ) y
(x ,
0 0 y ) v 0 2 v
u0 = a1 u + b1 v = 2u
v 0 = a2 u + b2 v = 2v
as
Los valores propios del sistema lineal asociado son 1 = 1 = 2 < 0
atic
y por el Teorema 8.1 caso D. el punto crtico es un nodo estrella y por
Teorema 8.2 es asintoticamente estable para el sistema lineal asociado;
atem
entonces para el sistema no lineal, por la observacion al Teorema 8.6
referente a los casos frontera y por el Teorema 8.7, (0, 1) es un nodo o
eM
un foco asintoticamente estable.
o. d
3. Para (0, 1) tenemos que la matriz Jacobiana en (0, 1) es
ept
F
(0, 1) F (0, 1)
x y a1 b 1 2 0
a, D
G = =
x
(0, 1) G
y
(0, 1) a2 b 2 2 2
qui
0 F
(x0 , y0 ) F (x0 , y0 ) u
u x y 2 0 u
0 = G = (8.51)
de
G
v x
(x0 , y0 ) y (x0 , y0 ) v 2 2 v
dad
u0 = a1 u + b1 v = 2u
ersi
v 0 = a2 u + b2 v = 2u 2v
iv
329
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
atic
Soluci
on: Los puntos crticos son: A(0, 0), B(0, 2), C(3, 0), D(1, 1).
atem
El Jacobiano es
F F
3 2x 2y 2y
eM
x y
J= G = G
x y
y 2 x 2y
o. d
3 0
1. Para el punto A(0, 0), J = y sus valores propios son 1 =
0 2
ept
0
salen tangencialmente del origen paralelas al vector propio ~v =
1
asociado al valor propio 2 = 2
qui
tio
1 0
2. Para el punto B(0, 2), J = y sus valores propios son 1 =
An
2 2
1, 2 = 2, luego B(0, 2) es un nodo asintoticamente estable, las
de
1
trayectorias entran al punto crtico en la direccion del vector ~v =
dad
2
asociado al valor propio 1 = 1.
ersi
3 6
iv
330
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
y l
2 B
D
1
as
atic
atem
C
0 x
A 0 1 2 3
Figura 8.23 eM
o. d
ept
1 2
a, D
1 2
(1 1) = 2 y det A = = 1 < 0 entonces D(1, 1) es
1 1
tio
inestable.
An
cual quiere decir que las ovejas se extinguen; cuando las trayectorias estn por
encima de la curva l las trayectorias tienden al punto crtico B(0, 2) lo cual
ersi
n
umero de presas (por ejemplo liebres) y y(t) el n umero de depredadores
(por ejemplo lobos). A principios del siglo XX el matematico italiano Vito
Volterra modelo este problema, haciendo las siguientes consideraciones:
En ausencia de depredadores, la poblacion de presas crece a la tasa
natural dx
dt
= ax, con a > 0.
331
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
cion bxy (b constante positiva) con respecto a la poblacion de presas
atic
x y una tasa creciente dxy (d constante positiva) con respecto a la
atem
poblacion de depredadores.
eM
tenemos las ecuaciones para una especie depredadora y una especie presa:
dx
o. d
= ax bxy = x(a by)
dt
ept
dy
= cy + dxy = y(c + dx)
dt
a, D
Lotka-Volterra
dx
de
= x xy + x(1 x)
dt
dad
dy
= y + xy
dt
ersi
El Jacobiano es
F F
x y 1 y + (1 2x) x
J(F (x, y), G(x, y)) = G G =
x y
y 1 + x
332
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
2,5
1,5
as
0,5
atic
0
atem
0 1 2 3 4
x
Figura 8.24 Sistema depredador-presa, = 0
eM
1 0 o. d
1. Para el punto crtico (0, 0), J = y sus valores propios son
0 1
1 = 1, 2 = 1, luego (0, 0) es un punto de silla inestable.
ept
a, D
0 1
2. Para el punto crtico (1, 1), J = y sus valores propios son
1 0
1 = i, 2 = i, luego (1, 1) es un centro estable, las trayectorias giran
qui
1+ 0
1. Para el punto (0, 0), J = y sus valores propios son 1 =
de
0 1
+ 1 > 0, 2 = 1, luego (0, 0) es un punto de silla inestable.
dad
1
2. Para el punto (1, 1), J = y sus valores propios son 1,2 =
ersi
1 0
42 i
(o sea que ambas races son negativas), luego (1, 1) es un foco
iv
2
asintoticamente estable.
Un
333
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
2,5
1,5
0,5
as
atic
0
0 1 2 3 4
atem
x
eM
Figura 8.25 Sistema depredador-presa, 0 < < 2
o. d
ept
2,5
a, D
2
qui
1,5
tio
y
An
1
de
0,5
dad
0
ersi
0 1 2 3 4
x
iv
Un
2 1
2. Para el punto (1, 1), J = y sus valores propios son 1,2 = 1,
1 0
334
8.5. LINEALIZACION DE SISTEMAS NO LINEALES
2,5
1,5
as
y
atic
1
atem
0,5
eM
0
0 1 2 3 4
o. d
x
ept
1+ 0
1. Para el punto (0, 0), J = y sus valores propios son 1 =
0 1
tio
1
2. Para el punto (1, 1), J = y sus valores propios son 1,2 =
de
1 0
2 4
< 0, luego (1, 1) es un nodo asintoticamente estable.
dad
335
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
Ejercicio 1. dx dt
= x y, dy dt
= x2 y
(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.)
Ejercicio 2. dx
dt
= y 1, dy
dt
= x2 y
(Rta: hay un punto silla inestable en (1, 1) y un punto espiral asintotica-
mente estable en (1, 1).)
Ejercicio 3. dx = y 2 1, dy = x3 y
as
dt dt
(Rta: hay un punto silla inestable en (1, 1) y un punto espiral asintotica-
atic
mente estable en (1, 1).)
atem
Ejercicio: 4. dx
dt
= xy 2, dy
dt
= x 2y
(Rta: hay un punto silla inestable en (2, 1) y un punto espiral asintotica-
eM
mente estable en (2, 1).)
o. d
Ejercicio: 5. dx
dt
= x + x3 , dy
dt
= 2y
(Rta: (0, 0) es un nodo asintticamente estable, (1, 0) son puntos de silla
ept
inestables.)
a, D
Ejercicio: 6. dx
dt
= y 3 4x, dy
dt
= y 3 y 3x
(Rta: (0, 0) es un nodo asintticamente estable, (2, 2), (2, 2) son puntos de
qui
silla inestables.)
tio
Ejercicio: 7.
An
en un sistema.
ersi
336
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
y 0 = y(1 + 7x 2y)
donde x, y > 0 y representan la cantidad de organismos en una poblacion.
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.
b). Mostrar que si ambas poblaciones son inicialmente peque
nas, entonces
ambas poblaciones se extinguiran.
c). Mostrar que un punto crtico con significado biologico es un punto
as
de silla, el cual indica que poblaciones mayores pueden sobrevivir sin
atic
amenaza de extincion.
atem
8.6. CICLOS LIMITES: TEOREMA DE
eM
POINCARE-BENDIXSON
o. d
Consideremos el sistema autonomo no lineal
dx dy
ept
337
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
para un sistema lineal todas las trayectorias son cerradas o ninguna lo es.
En los sistemas no lineales puede existir al menos una trayectoria cerrada
que sea aislada, es decir cualquier trayectoria vecina a ella no es cerrada
(son trayectorias espirales que salen o entran a esta trayectoria cerrada) esta
trayectoria cerrada aislada la llamaremos ciclo lmite.
as
atic
dy
= x + y(1 x2 y 2 ) (8.54)
dt
atem
Sabemos que en coordenadas polares: x = r cos , y = r sen ,
como x2 + y 2 = r2 y = tan1 xy , derivando:
dx dy dr dy dx
eMd
o. d
x +y =r , x y = r2
dt dt dt dt dt dt
ept
dr
r = r2 (1 r2 ) (8.55)
dt
qui
d
An
r2 = r2 (8.56)
dt
de
dr
= r(1 r 2 )
dt
iv
d
Un
=1
dt
Resolvindolas por separado, se obtiene la solucion general
1
r= ; = t + t0
1 + Ce2t
338
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
as
-2
atic
-1
atem
y 0
-2
-1
2
x
0
eM
1
o. d
ept
2
a, D
rias tienden en forma de espiral por dentro o por fuera cuando t (ver
tio
grafica 8.27 ).
Los siguientes criterios garantizan la no existencia de ciclos lmites, tambin
An
Teorema 8.8 .
Los sistemas gradientes no tienen ciclos lmites .
iv
Un
339
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
ya que
x 0 0 corresponde a un punto crtico y un punto crtico no es una
trayectoria cerrada. Esta contradiccin nos obliga a afirmar que no hay ciclos
lmites.
Ejemplo. Mostrar que el siguiente sistema no tiene ciclos lmites:
x0 = sen y, y 0 = x cos y
as
no tiene cclos lmites, hagamslo con un ejemplo. Consideremos la ecuacin
atic
diferencial del oscilador amortiguado no lineal
atem
x00 + (x0 )3 + x = 0
eM
y supongamos que tiene un cclo lmite o sea que tiene una solucin x(t) peridica,
con perodo T y consideremos su funcin de energa o. d
1
V (x, x0 ) = (x2 + (x0 )2 ).
2
ept
RT
An
Teorema 8.9 .
ersi
340
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
Teorema 8.10 .
Sea
x 0 = f (x ) un campo vectorial, continuamente diferenciable en una
regin R simplemente conexa del plano. Si existe una funcin continuamente
diferenciable y real valuada g(
x ) tal que (g(
x )) mantiene el mismo
signo en R, entonces no hay ciclos lmites dentro de la regin R del plano .
as
A C
atic
donde n es el vector normal a C en direccin hacia el exterior de A y ds es
atem
el elemento de longitud de arco a lo largo de C, la doble integral del lado
izquierdo debe ser distinta de cero, ya que por hipotesis, (g
x 0 ) tiene el
mismo signo en R. La integral de lnea, en el lado derecho es igual a cero, ya
eM
que
x 0
n = 0 (el vector tangente
x 0 y el vector normal
n son ortogonales).
Esta contradiccin implica que no hay rbitas cerradas en R.
o. d
En particular, cuando g(
ept
Corolario 8.1 .
qui
Si F
x
+ G
y
, es siempre positiva o siempre negativa en una region del plano de
fase, entonces el sistema (8.52) no tiene trayectorias cerradas en esa region.
tio
An
dad
I Z Z
F G
(F dy G dx) = + dxdy 6= 0
Un
c A x y
341
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
Absurdo!!
Luego la region considerada no puede tener trayectorias cerradas.
as
que R no contiene puntos crticos del sistema (8.52).
atic
Si C = [x(t), y(t)] es una trayectoria de (8.52) que esta en R para un cierto t 0
y permanece en R para todo t t0 , entonces C o es una trayectoria cerrada
atem
o tiende en forma espiral hacia una trayectoria cerrada cuando t .
As pues, en cualquier caso, el sistema (8.52) tiene en R una trayectoria
cerrada.
eM
o. d
c
ept
a, D
P
t = t0
qui
tio
An
de
Figura 8.29
dad
En la figura 8.28, R es la region formada por las dos curvas de trazo dis-
continuo junto con la region anular entre ellas.
ersi
Supongamos que el vector V~ (x, y) = F (x, y)~i + G(x, y)~j apunta hacia R en
todo punto del contorno, entonces toda trayectoria C que pase por un punto
iv
342
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
Se vio que dr
dt
= r(1 r 2 ) para r > 0.
Luego drdt
> 0 sobre el crculo interior y dr
dt
< 0 sobre el crculo exterior, as que
~
V apunta hacia R en todos los puntos de frontera. Luego toda trayectoria
que pase por un punto de frontera entrara en R y permanecera en R para t
. Por el Teorema de Poincar e-Bendixs on, R contiene una trayectoria
cerrada C0 que por otro razonamiento era el crculo r = 1.
Criterio para las trayectorias cerradas para la Ecuaci on de Lienard
d2 x dx
2
+ f (x) + g(x) = 0 (8.57)
dt dt
as
Un sistema equivalente es,
atic
dx
atem
= y (8.58)
dt
dy
= g(x) f (x) y (8.59)
eM
dt
Una trayectoria cerrada de (8.57), equivale a una solucion periodica de (8.58)
o. d
y (8.59).
ept
ii. g(x) es impar y tal que g(x) > 0 para x > 0 y f (x) es par.
tio
Rx
An
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
de
entonces la ecuacion (8.57) tiene una u nica trayectoria cerrada que rodea
al orgen en el plano de fase y a ella tienden en forma de espiral todas las
ersi
343
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
|x|, significa que el movimiento se intensifica para peque nos |x| y se retarda
para grandes |x|, tendiendo por tanto a permanecer en oscilacion estacionar-
ia. Si la f (x) es de esta forma, se dice que el sistema fsico absorbe energa
cuando |x| es peque no y la disipa cuando |x| es grande.
as
f (x) = (x2 1), g(x) = x
atic
Para esta f y g se satisface i. y ii.
Para iii.
atem
3
x 1
F (x) = x = x(x2 3)
3 3
eM
nico cero positivo esx = 3.
su u
F (x) < 0 para 0 < x< 3. o. d
F (x) > 0 para x > 3.
F (x) cuando x .
ept
a, D
0 2
Como
F (x) = (x 1) > 0 para x > 1 F (x) es no decreciente para
x > 3. Luego se cumplen las hipotesis del Teorema de Lienard y por
qui
(soluciones no triviales).
An
x0 = x y x(x2 + 5y 2 ), y 0 = x + y y(x2 + y 2 )
dad
xy 0 yx0
Un
rr0 = xx0 + yy 0 y 0 = .
r2
c. Determinar la circunferencia de radio mximo r1 , centrado en el origen,
tal que todas las trayectorias tengan su componente radial dirijida hacia
el exterior de la circunferencia.
344
8.6. CICLOS LIMITES: TEOREMA DE POINCARE-BENDIXSON
x0 = 4x + 4y x(x2 + y 2 ), y 0 = 4x + 4y y(x2 + y 2 )
as
atic
b. Aplicar el teorema de Poincar-Bendixson para demostrar que existe
una trayectoria cerrada entre las circunferencias r = 1 y r = 3.
atem
c. Hallar la solucin general no constante x(t), y(t) del sistema original y
usarla para hallar una solucin peridica correspondiente a la trayectoria
eM
cerrada cuya existencia se mostr en b).
o. d
d. Dibujar la trayectoria cerrada y al menos dos trayectorias ms en el
plano de fase.
ept
2 +y 2 ) 2 +y 2 )
x0 = 3x y xe(x , y 0 = x 3y ye(x
qui
x0 = x y x 3 , y0 = x + y y3
dad
x0 = x y + x(x2 + 2y 2 ), y 0 = x y + y(x2 + 2y 2 )
Un
345
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
as
no tiene rbitas cerradas para todo x > 0 y y > 0. (Ayuda: utilice g(x, y) =
atic
1
xy
).
atem
Ejercicio 9. Utilizando el criterio de Dulac, mostrar que el sistema
x0 = y, y 0 = x y + x2 + y 2
eM
no tiene rbitas cerradas en todo el plano. (Ayuda: utilice g(x, y) = e2x ).
o. d
Ejercicio 10. Usando los teoremas de esta seccin, determinar si las si-
ept
dt dt
2 2
c) ddt2x ( dx
dt
)2 (1 + x2 ) = 0, d) ddt2x + dx
dt
+ ( dx
dt
)5 3x3 = 0,
qui
2
e) ddt2x + x6 dx
dt
x2 dx
dt
+x=0
(Rta.: a) Tiene un ciclo lmite (Teorema de Lienard), b) No tiene ciclo lmite
tio
(Corolario 8.1), c) No tiene ciclo lmite (Teorema 8.9), d) No tiene ciclo lmite
An
d2 x 2 dx
a + b(x 1) + cx = 0, (a, b, c positivos)
dad
dt2 dt
puede ser transformada en la ecuacin de Van der Pol por un cambio en la
ersi
variable independiente.
iv
Un
346
8.7. ANEXO CON EL PAQUETE MAPLE
as
>DEplotwith:C:=[D(x)(t)=2*x(t)*y(t),D(y)(t)=y(t)^2-x(t)^2]; C :=
atic
[D(x)(t) = 2*x(t)*y(t), D(y)(t) = y(t)^2-x(t)^2]
atem
C := [D(x)(t) = 2x(t)y(t), D(y)(t) = y(t)2 x(t)2 ]
eM
>with(DEtools):phaseportrait(C,[x(t),y(t)],t=-20..20, o. d
[[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]],
ept
x=-3..3,y=-3..3,stepsize=.01,arrows=medium,
linecolor=black,thickness=2,color=black);
a, D
qui
3
tio
An
2
de
1
dad
y 0
ersi
-3 -2 -1 0 1 2 3
x
-1
iv
Un
-2
-3
Figura 8.30
347
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
como vemos del retrato de fase el punto crtico (0, 0) es inestable y no clasi-
ficable.
dx
= x3 2xy 2
dt
dy
= 2x2 y y 3
dt
as
y las soluciones que pasan por los puntos:
atic
(1, 1), (1, 1), (1, 1), (1, 1), (2, 1), (2, 1), (2, 1), (2, 1)
atem
Soluci
on:
eM
o. d
3
ept
2
a, D
1
qui
tio
y 0
-3 -2 -1 0 1 2 3
An
x
-1
de
-2
dad
ersi
-3
iv
Un
Figura 8.31
>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];
348
8.7. ANEXO CON EL PAQUETE MAPLE
>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);
as
clasificable.
atic
Ejemplo 15. Mostrar que la siguiente E.D. no es linealizable en el punto
atem
crtico (0, 0), pero si es linealizable en los puntos crticos ( 41 , 14 ) y ( 41 , 14 )
y mostrar que estos puntos crticos corresponden a centros y son estables,
eM
graficar el campo de direcciones,
dx p o. d
= x 4y |xy|
dt
dy p
ept
= y + 4x |xy|
dt
a, D
>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)))];
de
dad
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)|]
ersi
>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],
iv
[x(0)=-0.4,y(0)=-0.4],[x(0)=-0.2,y(0)=-0.2],
Un
[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);
349
CAPITULO 8. INTRODUCCION A LA TEORIA DE ESTABILIDAD, JAIME ESCOBAR A.
0,8
0,4
y 0
-0,8 -0,4 0 0,4 0,8
x
-0,4
as
atic
-0,8
atem
Figura 8.32
eM
o. d
como vemos del retrato de fase el punto crtico (0, 0) es inestable y es un
punto de silla, los puntos crticos ( 41 , 41 ) y ( 41 , 41 ) corresponden a centros y
ept
son estables.
a, D
qui
tio
An
de
dad
ersi
iv
Un
350