Documente Academic
Documente Profesional
Documente Cultură
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMATICAS
x
Contenido
Introducci
on
1 Preliminares
1.1 Espacio de las Funciones Continuas y Teoremas de
1.2 Condici
on de Lipschitz . . . . . . . . . . . . . . .
1.3 Desigualdades Integrales . . . . . . . . . . . . . .
1.4 Comentarios y Sugerencias . . . . . . . . . . . . .
1.5 Ejercicios y Problemas . . . . . . . . . . . . . . .
Punto
. . . .
. . . .
. . . .
. . . .
Fijo
. . .
. . .
. . .
. . .
.
.
.
.
.
2 Teora General
2.1 Existencia y Unicidad . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Prolongaci
on de Soluciones . . . . . . . . . . . . . . . . . . . . .
2.3 Continuidad de las Soluciones Respecto a los Datos Iniciales. . .
2.4 Dependencia Continua de las Soluciones Respecto a Par
ametros
2.5 Derivabilidad de las Soluciones Respecto a los Datos Iniciales y a
metros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6 F
ormula de Alekseev . . . . . . . . . . . . . . . . . . . . . . . .
2.7 Desigualdades Diferenciales Escalares . . . . . . . . . . . . . . .
2.8 Ecuaciones Diferenciales con Parte Derecha Discontinua . . . . .
2.9 Ejercicios y Problemas . . . . . . . . . . . . . . . . . . . . . . .
3 Sistemas Lineales
3.1 Sistemas Lineales Homogeneos . . . . . . . . . . . . . .
3.2 Sistemas Lineales No-Homogeneos . . . . . . . . . . . .
3.3 Sistema Lineal Conjugado . . . . . . . . . . . . . . . .
3.4 Sistemas Reducibles . . . . . . . . . . . . . . . . . . . .
3.5 Sistemas Lineales Homogeneos a Coecientes Periodicos
3.6 Sistemas Lineales -Peri
odicos No Homogeneos . . . . .
3.7 Comentarios y Sugerencias . . . . . . . . . . . . . . . .
3.8 Ejercicios y Problemas . . . . . . . . . . . . . . . . . .
4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . .
. . . .
. . . .
. . . .
Par
a. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
8
10
12
13
15
15
19
24
27
29
33
33
36
38
43
43
46
46
47
48
52
58
59
Sistemas Aut
onomos
61
4.1 Clasicaci
on de Orbitas. Conjuntos y Lmites . . . . . . . . . . . . 61
4.2 Teorema de Poincare-Bendixson . . . . . . . . . . . . . . . . . . . . . . 69
3
Contenido
. . . . . . . . . . . . . . .
Sistemas Bidimensionales
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
70
.
.
.
.
.
.
72
77
81
83
86
87
89
89
91
94
96
101
103
6 Sistemas Hiperb
olicos. Variedad Estable e Inestable
6.1 Sistemas Lineales Hiperbolicos . . . . . . . . . . . . . . . . . . . .
6.2 Sistemas No-Lineales Hiperbolicos. Teorema de Hartman-Grobman
6.3 Comentarios y Sugerencias . . . . . . . . . . . . . . . . . . . . . . .
6.4 Ejercicios y Problemas . . . . . . . . . . . . . . . . . . . . . . . . .
113
113
115
124
126
.
.
.
.
.
.
.
.
.
.
.
.
104
108
109
M
etodo de las Funciones de Liapunov
8.1 Preliminares . . . . . . . . . . . . . . . . . . .
8.2 Estabilidad va Funciones de Liapunov. . . .
8.3 Principio de Invariancia de La Salle. . . . . . .
8.4 Funciones de Liapunov para Sistemas Lineales
8.5 Comentarios y Sugerencias . . . . . . . . . . .
8.6 Ejercicios y Problemas . . . . . . . . . . . . .
9 Introducci
on a la Teora de Bifurcaciones
9.1 Bifurcaci
on Silla-Nodo . . . . . . . . . . .
9.2 Bifurcaci
on Transcrtica . . . . . . . . . .
9.3 Bifurcaci
on Cuchillo-Tenedor . . . . . . .
on de Andronov-Hopf . . . . . .
9.4 Bifurcaci
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
139
139
142
147
149
152
154
.
.
.
.
157
158
159
161
163
Contenido
Indice Alfab
etico
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
179
179
179
180
181
182
193
Contenido
Introducci
on
Es bien conocido en el quehacer cientco, bien sea en Fsica, Biologa, Qumica, Ingeniera, etc., la utilidad de las Ecuaciones Diferenciales. Tambien es conocido que
mientras mas able sea el modelo, mas compleja es su formulacion matematica; y por
ende mas complejo su analisis. A pesar que hoy contamos con formidables recursos
computacionales, ellos no pasan de darnos meras evidencias de la existencia de ciertos
fen
omenos. Por ejemplo, si no conocemos el comportamiento de las soluciones: Como
vamos a decidir, cu
ando una soluci
on es real o espuria?.
El estudio de las Ecuaciones Diferenciales ha inuenciado el desarrollo de otras areas
de la Matem
atica, por ejemplo Topologa (Analisis Situs, como originalmente la llam
o
Henri Poincare), An
alisis, Algebra, etc. . En el prefacio del libro de Yurii Daleckii y
Mark Krein1 [7] se explica como problemas de estabilidad para Ecuaciones Diferenciales
condujeron al desarrollo de la teora espectral de operadores acotados en Espacios de
Banach. Jean Dieudonne en [8] reriendose a la historia del An
alisis Funcional dedica
seis de los nueve paragrafos a la evoluci
on de las Ecuaciones Diferenciales. No se
pretende decir que los u
nicos problemas importantes de las Matem
aticas son los que
surgen en el area de las Ecuaciones Diferenciales, solo queremos ayudar a terminar
con aquella idea, que los problemas de ecuaciones diferenciales se reducen a un largo y
tedioso ejercicio de integraci
on.
El objetivo de estas guas teorico-practicas es reunir en un curso de un semestre los
fundamentos b
asicos de la teora cualitativa de ecuaciones diferenciales, de modo que
el estudiante al nal del curso este en condiciones de abordar el estudio de la din
amica
local y/o global de modelos concretos. Se procura que estas guas sean autocontenidas a
n de evitar la dispersi
on, ya que la bibliografa existente en ecuaciones diferenciales es
extensa. Casi, cada Captulo est
a acompa
nado de una secci
on de ejercicios y problemas
seleccionados cuidadosamente para que su grado de complejidad no exceda los objetivos
de estas guas y de una seccion de comentarios y sugerencias que sirva de gua al
estudiante para estudios posteriores mas avanzados sobre ecuaciones diferenciales.
El primer borrador de los Captulos II y III en [1] fueron redactadas por el Lic.
Rodolfo Rodrguez y ademas nos comunico un importante ejemplo en la teora de
estabilidad ver pag. 93. Posteriormente, conjuntamente con el Dr. Jose Aguilera
redactamos [1], el cual fue editado por la Imprenta Universitaria de la UCV en 1990.
Todo ese material sirvio de base para la actual version de estas notas. La version
[1] fue totalmente revisada. Fueron agregados los Captulos 6,7,9 y 10. Los restantes
Captulos tambien fueron modicados. A lo largo del texto se pueden ver los cambios
introducidos. Mis agradecimientos a todos quienes me comunicaron errores existentes,
la lista es larga...Gracias a todos Ellos...
Finalmente, quiero agradecer a la Lic. Isabel Araneda Caballol, quien transcribi
o
todo estas notas a Latex....Muchas Gracias Isa.....
Captulo 1
Preliminares
1.1
Captulo 1. Preliminares
Supongamos ahora que G es un espacio topologico y consideremos una familia de opeon uniforme, si existe
radores Ty : E E, con y G. Diremos que Ty es una contracci
una constante L (0, 1) tal que d(Ty x1 , Ty x2 ) L d(x1 , x2 ) para todo x1 , x2 E e
y G.
Teorema 1.3 Si Ty : E E es una contraccion uniforme y para cada x en E, Ty x es
continuo en y, entonces el u
nico punto fijo de Ty , al cual denotaremos por g(y), es continuo
1.2
Condici
on de Lipschitz
Definici
on 1.3 Sea J un intervalo y D un subconjunto de Rn . La funci
on
n
f : J D R se dice que es globalmente Lipschitz, respecto a x D, uniformemente
en t J, sobre J D, si existe una constante K > 0, tal que
||f (t, x1 ) f (t, x2 )|| K||x1 x2 ||
(t, xi ) J D
i = 1, 2.
Definici
on 1.4 Diremos que f es una funci
on localmente Lipschitz sobre J D, si para
del
punto P , tal que la restricci
on de f a VP
todo
punto
P
D,
existe
un
entorno
V
P
(f V ) es globalmente Lipschitz.
P
1.2.
Condici
on de Lipschitz
(1.1)
10
Captulo 1. Preliminares
se obtiene que
x1
x2 .
=
Ahora, por ser f localmente Lipschitz, existe un entorno
Lo cual implica que
V del punto (t , x1 ) A y una constante K = K(V ) > 0, tal que
||f (t, x1 ) f (t, x2 )|| K ||x1 x2 ||
(t, xi ) V
i = 1, 2.
Por lo tanto, debido a que (tk , xki ) (t , xi ), existe N > 0, tal que (tk , xki ) V para
k N, i = 1, 2 y ademas
||f (tk , xk1 ) f (tk , xk2 )|| K ||xk1 xk2 ||.
Esto contradice la desigualdad (1.1).
1.3
Desigualdades Integrales
t
(s)u(s)ds, t t0 ,
(1.2)
u(t) (t) +
t0
entonces
u(t) (t) exp
(s)ds ,
t0
t t0 .
Demostraci
on. Sea [t0 , t]. Por ser (t) creciente, se tiene que
(s)u(s)ds (t) +
(s)u(s)ds.
u( ) ( ) +
t0
(1.3)
(1.4)
t0
Denamos
(s)u(s)ds
R( ) = (t) +
t0
y observemos que u L1 [t0 , t]. Entonces R ( ) = ( )u( ), casi siempre sobre [t0 , t].
Multiplicando (1.4) por ( ),
obtenemos
queR ( ) ( )R( ) casi siempre sobre [t0 , t].
(s)ds
t0
1.3.
11
Desigualdades Integrales
Eligiendo (t) = C, el siguiente Lema es una consecuencia inmediata del Lema 1.8.
Lema 1.9 (Desigualdad de Gronwall) Sean u , C[R, R+ ] y C una constante no negativa. Supongamos que tiene lugar la siguiente desigualdad
t
(s)u(s)ds,
t t0 ,
u(t) C +
t0
entonces
u(t) C exp
(s)ds
t0
t t0 .
12
Captulo 1. Preliminares
1.4
Comentarios y Sugerencias
Hemos mencionado que, a pesar de lo sencillo del enunciado del teorema de Brouwer,
su demostracion esta lejos de ser elemental. Invitamos al lector a que demuestre el
Teorema de Brouwer en el caso que U = [a, b].
En el libro de Courant-Robbins [4] se puede consultar una prueba en el caso bidimensional, la cual no se generaliza a dimensiones mayores a 2. Una demostraci
on en
n
onig
el caso general U R , con n > 2, puede consultarse por ejemplo en Ch.S. H
[14], D.R. Smart [29]. Sin embargo, recientemente J. Milnor [21] dio una prueba m
as
sencilla, la que a su vez fue simplicada por C. Rogers [28].
Para resultados m
as renados que el Teorema de Brouwer, recomendamos consultar
el libro de D. R. Smart [29].
En este captulo hemos mencionado s
olo las desigualdades integrales mas usadas
a lo largo de esta exposicion. Sin embargo, esta es una tecnica muy importante. Un
lugar adecuado para consultar mas detalle acerca de este tema es el libro de V. Lakshmikantham & S. Leela [18].
1.5.
13
Ejercicios y Problemas
1.5
Ejercicios y Problemas
entonces
t
u(t) C exp (s)ds ,
t0
t R.
14
Captulo 1. Preliminares
t0
t t0 .
Captulo 2
Teora General
En este captulo estudiaremos propiedades generales de las ecuaciones diferenciales ordinarias: existencia, unicidad, continuidad y derivabilidad de las soluciones, respecto
a los datos iniciales y parametros. Ademas abordaremos brevemente los sistemas cuyo
campo vectorial es discontinuo en la variable temporal y algunos teoremas de comparaci
on para ecuaciones diferenciales escalares.
2.1
Existencia y Unicidad
(2.1)
x(t0 ) = x0 ,
(2.2)
con
donde f C[J D, Rn ] , J = (a, b) con a < b +; D es un subconjunto
abierto y conexo de Rn y (t0 , x0 ) J D.
Entenderemos por solucion del problema de valor inicial (p.v.i.) (2.1)-(2.2), a una
funci
on C 1 [J1 , D] tal que satisface la ecuacion (2.1) para todo t J1 y la
condici
on (2.2), donde J1 J. En el caso que J1 = J, diremos que es una solucion
global del p.v.i. (2.1)-(2.2).
Por comodidad en la notaci
on de aqu en adelante cuando no se preste a confusi
on
omitiremos los argumentos de la funci
on x(t) y simplemente escribiremos x = f (t, x);
y a f lo llamaremos el campo vectorial.
Antes de enunciar un teorema de existencia y unicidad, discutiremos unos ejemplos
a n de visualizar mejor el problema que estamos tratando.
Ejemplo 2.1 Sea J D = R2 , f (t, x) = x2 . Es facil mostrar que cualquier solucion
no nula de la ecuaci
on diferencial x = x2 es de la forma (t) = [t + c]1 con c R.
Ademas, (t) = 0 , t R, tambien es solucion. Esto nos permite concluir que a pesar
on suave, no existen soluciones globales no nulas; es decir no
de ser f (t, x) = x2 una funci
existen soluciones definidas sobre todo R (ver figura 2.1). Ademas, por cada punto (0, x0 )
pasa una u
nica solucion de x = x2 . Observemos finalmente que f (t, x) = x2 es localmente
Lipschitz sobre R2 .
Ejemplo 2.2 Sea f : R2 R, dada por f (t, x) = 3x2/3 . Consideremos el siguiente
on diferencial obtenemos que
p.v.i. x = f (t, x), x(0) = x0 , x0 R. Integrando la ecuaci
3
su solucion general viene dada por x(t) = (t + c) , donde c es una constante. De donde
15
16
x0
x0
t = c
c>0
c<0
t = c
Figura 2.1
se sigue que por cada punto (0, x0 ) pasan infinitas soluciones. Por ejemplo, la funci
on
( , a, b) : R R, definida por:
t<a
(t a)3 , si
0
, si a t b
(t, a, b) =
t>b
(t b)3 , si
es solucion de x = 3x2/3 con x(0) = 0, para todo a 0 b, como se ve en la figura 2.2
x
b
t
Caso x0 = 0
3 x0
x0
t
Caso x0 > 0
Figura 2.2
on ( , a) : R R, dada por
Cuando x0 > 0, la funci
, si
ta
(t a)3
0
, si a < t < 3 x0
(t, a) =
(t + 3 x0 )3 , si
t 3 x0
2.1.
17
Existencia y Unicidad
Vemos que en este caso, s existen soluciones globales pero no hay unicidad global.
Sin embargo, dependiendo de la posici
on de x0 , puede haber unicidad local. En efecto,
si x0 = 0, entonces existe un entorno de t0 = 0, de modo que por el punto (0, x0 ) pasa
una u
nica solucion de x = 3x2/3 . En cambio, cuando x0 = 0, por el punto (0, 0) pasan
infinitas soluciones de x = 3x2/3 , (ver fig. 2.2 ).
Un c
alculo directo muestra que f (t, x) = 3x2/3 es localmente Lipschitz solo sobre
intervalos que no contengan a cero.
De los ejemplos 2.1 y 2.2 concluimos que para e.d.o. de la forma (2.1), la continuidad
del campo vectorial f no garantiza en general, ni la existencia de soluciones globales,
ni la unicidad.
El siguiente Lema nos provee una equivalencia entre la existencia de soluciones de
la ecuaci
on diferencial (2.1) y la existencia de soluciones de una ecuaci
on integral.
Lema 2.1 Supongamos que f C[J D, Rn ]. El p.v.i. (2.1)-(2.2) es equivalente a la
resolucion de la ecuaci
on integral
t
f (s, x(s)) ds.
(2.3)
x(t) = x0 +
t0
t
f (s, (s))ds , t J1 .
(2.4)
T (t) = x0 +
t0
18
Es claro que los puntos jos del operador T son soluciones del p.v.i. (2.1)-(2.2). Ahora,
on. Es f
acil ver que T C , para todo
probaremos que T : C C es una contracci
T (t) = x0 +
t0
f (s, (s))ds, t J.
2.2.
19
Prolongaci
on de Soluciones
C
y que es un operador completamente continuo. Es obvio que
Mostremos que T C
para todo C , T (t0 ) = x0 . Tambien,
t
||T (t) x0 || ||f (s, (s))||ds M |t t0 | < M s, t J.
t0
C.
Lo cual implica que T C
es un conjunto equicontinuo. Sean C,
Probemos ahora que T C
Entonces
t2
||f (s, (s))|| ds M |t1 t2 | ,
||T (t1 ) T (t2 )||
t1 , t2 J.
t1
Como T C
es acotado, se sigue que la clausura
lo cual prueba la equicontinuidad de T C.
es compacta.
de T C
Finalmente, mostremos que T es continuo. Como f es uniformemente continua
sobre D , entonces para todo > 0, existe > 0, tal que
||f (s, 1 (s)) f (s, 2 (s))|| <
s J,
(2.5)
si ||1 (s) 2 (s)|| < , s J. Por otra parte, tenemos que
t
||T 1 (t) T 2 (t)|| ||f (s, 1 (s)) f (s, 2 (s))||ds .
(2.6)
t0
2.2
Prolongaci
on de Soluciones
t+
Demostraci
on. Demostraremos solamente la existencia de uno de los lmites. La
existencia del otro se prueba de manera completamente analoga.
on de J , tal que lim tn = .
Probemos que lim (t) existe. Sea {tn }n1 una sucesi
t
20
|| (t)||
J .
ya que
M , t
Por otra parte, existe N () > 0 tal que
|tn tm | <
n, m N.
lim (t) = B;
A
(t) =
(t)
D. Entonces la funci
on
si
si
si
t=
t (, )
t=
2.2.
Prolongaci
on de Soluciones
21
lim
h0+
i () i ( h)
= lim i ( + h(i 1))
h
h0+
h0+
= fi (, B) = fi (, ()),
para cada i = 1, . . . , n .
An
alogamente se prueba que () = f (, ()) .
Observemos que bajo las hip
otesis del Lema 2.4, no solo admite una prolongaci
on
a un intervalo cerrado, sino que en realidad puede prolongarse a un intervalo abierto que
contenga a [, ]. En efecto, denotemos con 2 : [, + 2 ) D , 1 : ( 1 , ] D
a las soluciones de los p.v.i.
x (t) = f (t, x)
x (t) = f (t, x)
,
.
x() = B
x() = A
respectivamente; i > 0 , i = 1, 2. La existencia y unicidad de 1 y 2 vienen garantizadas por el hecho que (, A) y (, B) J D y f verica las hip
otesis del Teorema
de Existencia y Unicidad local.
Denamos 2 : ( 1 , + 2 ) D, como sigue
t ( 1 , ]
1 (t) si
(t) si
t (, )
2 (t) =
t [, + 2 ).
2 (t) si
on de es suciente mostrar que la derivada
Para concluir que 2 es una prolongaci
lateral derecha (izquierda) de 2 (de 2 ) existe en t = (t = ) y es igual a f (, 2 ())
(f (, 2 ())). Y esto se realiza de manera analoga a la prueba del Lema 2.5.
Teorema 2.6 (Existencia y Unicidad de Soluciones no Prolongables)
Bajo las hip
otesis del Teorema de Existencia y Unicidad Local, el p.v.i. (2.1)-(2.2) admite
una u
nica solucion no prolongable, definida sobre el intervalo J = (, ) J = (a, b).
Demostraci
on. Sea
nica soluci
on sobre [t0 , s) .
A = s t0 : el p.v.i. (2.1)-(2.2) posee una u
Por el Teorema 2.2, se tiene que A = . Pongamos = sup A . Denamos ahora la
funci
on : [t0 , ) D de la siguiente manera : Si t [t0 , ), entonces existe s A,
nica soluci
on de (2.1)-(2.2) denida sobre [t0 , s )
tal que t < s . Llamemos s a la u
on esta bien denida.
y pongamos (t) = s (t). Por la unicidad de s , la funci
Ademas, por su construccion es solucion del p.v.i. (2.1)-(2.2) sobre [t0 , ) y ella no
puede ser prolongada m
as all
a de , ya que = sup A .
22
An
alogamente se prueba que existe una u
nica solucion de (2.1)-(2.2), denida sobre
(, t0 ] no prolongable a la izquierda de .
Un breve an
alisis del Lema 2.5 y del Teorema 2.6 nos conduce a enunciar el siguiente
sencillo, pero importante resultado.
Corolario 2.7 Si (, ) es el intervalo maximal de existencia y unicidad de una solucion
+
de (2.1), entonces,
(t, (t)) tiende
a la frontera de J D, cuando t y t , e.d.
lim dist (t, (t)), (J D) = 0, donde (J D) denota a la frontera del conjunto
t+ ( )
t [t0 , ).
Del Lema 2.4, se sigue que lim (t) = B y pertenece a D , ya que D es compacto.
t
2.2.
23
Prolongaci
on de Soluciones
(t, x) J Rn .
Entonces todas las soluciones de (2.1) son globales; es decir, el dominio maximal de cada
solucion es todo J.
Demostraci
on. Por reducci
on al absurdo. Sea la u
nica soluci
on no prolongable del
p.v.i. (2.1)-(2.2) denida sobre el intervalo (, ). Supongamos por ejemplo, que < b.
Pongamos M1 = max{M (t) : t [t0 , ]}, N1 = max{N (t) : t [t0 , ]}. Como es
soluci
on de (2.1)-(2.2) y teniendo en cuenta las condiciones del Teorema, se sigue que
t
||f (s, (s))||ds ||x0 || +
M (s) + N (s)||(s)|| ds
||(t)|| ||x0 || +
t0
t
||x0 || +
t0
M (s)ds +
t0
||x0 || + M1 ( t0 ) +
N (s)||(s)||ds
t0
N (s)||(s)||ds
t0
t [t0 , ).
24
2.3
t J .
2.3.
25
B(t0 , x0 )
(t0 ,x0 )U
Por la construcci
on del conjunto A se sigue que para cada k N, existe un punto
(tk0 , xk0 ) U tal que | tk tk0 | a y ||xk xk0 || b . Como {(tk0 , xk0 )}kN U, ella
posee una subsucesion convergente. Sin perdida de generalidad podemos suponer que
ella misma es convergente; es decir, lim (tk0 , xk0 ) = (t0 , x0 ) U. Tiene lugar
k
| t t0 | | t tk | + | tk tk0 | + | tk0 t0 |,
26
Demostraci
on. Consideremos un conjunto compacto U J D. Sea A el conjunto
compacto dado por el Lema 2.12. Denotemos
por M = max{||f (t, x)|| : (t, x) A} y
sea K > 0 la constante de Lipschitz de f A . Escojamos una constante > 0 de modo
que < min{a , b /M, 1/K}, con a > 0 y b > 0 las constantes dadas por el Lema
2.12.
Consideremos el subconjunto C de C[[, ], Rn ] formado por las funciones tales
que
a) (0) = 0,
b) ||(t)|| b , t [, ].
Para cada y = (t0 , x0 ) U, denamos sobre C un operador Ty de la siguiente manera
t+t0
f (s, (s t0 ) + x0 )ds , t [, ].
Ty (t) =
t0
(t0 , x0 )
t
t0
t0 + k
t0 + n
t0 + (k + 1)
t0 +
t0 + 2
Graf x(, t0 , x0 )
Figura 2.4
t0 + (n 1)
2.4.
27
2.4
(2.7)
x(t0 ) = x0 .
(2.8)
28
El sistema (2.7) representa una de las formas en que puede aparecer un par
ametro
en las ecuaciones diferenciales. Tambien podra estar multiplicando a x (t). En general
(2.7) representa a una familia multiparametrica de campos vectoriales.
Supongamos que para cada valor del par
ametro , el sistema (2.7)-(2.8) posee una
a averiguar
u
nica soluci
on, la cual denotaremos por x(t, t0 , x0 , ). Nuestro objetivo ser
bajo que condiciones y para que valores de t se satisface que
lim x(t, t0 , x0 , ) = x(t, t0 , x0 , 0 ),
R
C
(a)
(b)
Figura 2.5
1
I(t) = 0.
C
(2.10)
2 2 t + ,
1
2.5.
29
i
i(0), i (0)
I(0), I (0)
I
Figura 2.6
Este an
alisis nos permite concluir que no se puede despreciar la resistencia ejercida por
la lnea que conduce la corriente, por peque
na que sea, cuando t +.
En lo que sigue mostraremos que el problema de la dependencia de las soluciones
respecto a un par
ametro, se reduce al estudio de la continuidad de las soluciones de un
nuevo sistema de ecuaciones diferenciales equivalente al sistema original, respecto a los
datos iniciales. Denotemos por
x0
x
f (t, x, )
.
y=
, F (t, y) =
, y(t0 ) = y0 =
0
0
Es f
acil mostrar que el p.v.i. (2.7)-(2.8) es equivalente al siguiente p.v.i.
y = F (t, y),
(2.11)
y(t0 ) = y0 .
(2.12)
2.5
p0 p0
En esta seccion mostraremos que las soluciones de (2.1) como funciones de los datos
iniciales heredan la suavidad que posea el campo vectorial f (t, x).
30
f
existe y es continua sobre J D.
x
Entonces la soluci
on x(t; t0 , x0 ) del p.v.i. (2.1)-(2.2) es continuamente diferenciable en
todas sus variables. Ademas se verifica que
on diferencial matricial
a) La matriz x (t, t0 , x0 ) satisface la ecuaci
x0
f
t, x(t, t0 , x0 ) Y,
Y =
x
(2.13)
x(t, h) x0 (t)
, con h = 0,
h
nica soluci
on de (2.13)
vemos que xh (t) es solucion de (2.16), con xh (t0 ) = ek . Sea la u
tal que (t0 ) = ek . Mostremos que xh (t) (t) cuando h 0, uniformemente en t
sobre intervalos compactos contenidos en el dominio de x0 (t).
xh (t) =
2.5.
31
Sabemos que
t
xh (t) = ek +
t0
f
(, sx2 + (1 s)x1 )ds xh ( )d,
x
t
(t) = ek +
t0
f
(, x(, t0 , x0 )) ( )d.
x
||xh (t) (t)|| ||
t0
t
+ ||
t0
1
0
1
0
f
(t, sx2 + (1 s)x1 )ds|| ||xh (t) (t)||dt
x
f
f
(t, sx2 + (1 s)x1 )
(t, x(t, t0 , x0 )) ds|| ||(t)||dt .
x
x
(2.17)
lim
h0 0
f
f
(t, sx2 + (1 s)x1 )ds =
t, x(t, t0 , x0 ) ,
x
x
uniformemente en t, sobre J ; se sigue que: dado > 0, existe un h0 > 0 tal que si
|h| < h0 , entonces
1
0
f
f
(t, x(t, t0 , x0 ))||ds < ;
|| (t, sx2 + (1 s)x1 )
x
x
(2.18)
para cada t J .
Pongamos
M = max ||
1
0
f
(2.19)
t J ,
t0
32
As
1
x(t, t0 + h, x0 ) x t, t0 + h, x(t0 + h, t0 , x0 ) .
(2.20)
h
Aplicando el Lema 1.10 a (2.20), obtenemos
1
1
x
(t, t0 + h, sx0 + (1 s)x(t0 + h, t0 , x0 ))ds x0 x(t0 + h, t0 , x0 )
x
h (t) =
h 0 x0
1
x
1
(t, t0 + h, sx0 + (1 s)x(t0 + h, t0 , x0 ))ds x(t0 +h, t0 , x0 )x(t0 , t0 , x0 )
=
h 0 x0
1
1
x
(t, t0 + h, sx0 + (1 s)x(t0 + h, t0 , x0 ))ds
x t0 + (1 s)h, t0 , x0 ds.
=
0 x0
0
x
h (t) =
f
f
t, x(t, t0 , x0 , 0 ), 0 Y +
t, x(t, t0 , x0 , 0 ), 0
Y =
x
con Y (t0 ) = 0.
c)
x
x
(t, t0 , x0 , 0 ) =
(t, t0 , x0 , 0 )f (t0 , x0 , 0 ).
t0
x0
2.6.
33
F
ormula de Alekseev
2.6
F
ormula de Alekseev
A continuaci
on vamos a deducir la F
ormula de Alekseev, la cual se obtiene como una
aplicaci
on de la derivabilidad de las soluciones respecto de los datos iniciales. Esta
f
ormula es muy u
til para comparar el comportamiento de las soluciones de un sistema
cuando el campo vectorial es perturbado. Consideremos los sistemas
x = f (t, x)
y
(2.21)
= f (t, y) + g(t, y)
(2.22)
donde f, g C 1 [J D, Rn ].
Lema 2.17 (F
ormula de Alekseev [3]) Sean x(t, t0 , y0 ) e y(t, t0 , y0 ) soluciones de
los sistemas (2.21) y (2.22), respectivamente. Entonces se verifica la siguiente igualdad
y(t, t0 , y0 ) = x(t, t0 , y0 ) +
t0
t, s, y(s, t0 , y0 ) g s, y(s, t0 , y0 ) ds,
(2.23)
f
t, y(t, t0 , y0 ) Z
x
Z(t0 ) = I.
Demostraci
on. Por comodidad escribiremos y(t) en vez de y(t, t0 , x0 ). Entonces se
tiene que
d
x(t, s, y(s) =
x(t, s, y(s) +
x(t, s, y(s) y (s)
ds
s
y
= t, s, y(s) f (s, y(s)) + t, s, y(s) f (s, y(s)) + g(s, y(s))
= t, s, y(s) g(s, y(s)).
(2.24)
Integrando (2.24) entre t0 y t y teniendo en cuenta que y(t0 ) = y0 , obtenemos que
t0
t, s, y(s) g(s, y(s))ds = x(t, t, y(t, t0 , y0 ) x(t, t0 , y0 ) = y(t, t0 , y0 ) x(t, t0 , y0 ).
2.7
En esta seccion vamos a estudiar desigualdades diferenciales escalares, las cuales seran
muy u
tiles para comparar el crecimiento y/o decrecimiento de las soluciones de e.d.o.
escalares.
Consideremos una funci
on u C[(t0 , ), R], con > t0 . Las derivadas de una
34
funci
on en el sentido de Dini siempre existen y las denotaremos como sigue
u(t + h) u(t)
h
h0+
u(t + h) u(t)
D+ u(t) = lim inf
h
h0+
u(t + h) u(t)
D u(t) = lim sup
h
h0
u(t + h) u(t)
D u(t) = lim inf
h
h0
D+ u(t) = lim sup
(2.25)
(2.26)
(2.27)
(2.28)
Cuando D + u(t) = D+ u(t), a la derivada lateral derecha la denotaremos por u+ (t).
An
alogamente, a la derivada lateral izquierda la denotaremos por u (t).
Teorema 2.18 Sea un conjunto abierto del plano (t, u) y sea g C[, R]. Supongamos que se verifican las siguientes condiciones
a) Las funciones v, w C [t0 , ), R , y (t, v(t)), (t, w(t)) , t [t0 , ).
b) v(t0 ) < w(t0 ) y para todo t [t0 , ) se verifican las siguientes desigualdades
D v(t) g(t, v(t)),
(2.29)
(2.30)
t [t0 , ).
Demostraci
on. La prueba la realizaremos por reducci
on al absurdo. Es decir supondremos que el conjunto
T = t [t0 , ) : w(t) v(t)
no es vaco. Denotemos por t1 = inf T. Es obvio que t1 > t0 , v(t1 ) = w(t1 ) y
v(t) < w(t), t [t0 , t1 ).
Eligiendo h < 0 sucientemente peque
no, obtenemos que
w(t1 + h) w(t1 )
v(t1 + h) v(t1 )
>
.
h
h
De donde se obtiene que
D v(t1 ) D w(t1 ).
Teniendo en cuenta la desigualdad anterior y (2.29)-(2.30), se sigue
g(t1 , v(t1 )) D v(t1 ) D w(t1 ) > g(t1 , w(t1 )).
Lo cual es una contradicci
on ya que v(t1 ) = w(t1 ).
Utilizando una prueba similar a la del Teorema anterior, salvo obvias modicaciones,
tiene lugar el siguiente
2.7.
35
Teorema 2.19 Sea un conjunto abierto del plano (t, u) y sea g C[, R]. Supongamos que se verifican las siguientes condiciones
a) Las funciones v, w C [t0 , ), R , y (t, v(t)), (t, w(t)) , t [t0 , ).
b) w(t0 ) < v(t0 ) y para todo t [t0 , ) se verifican las siguientes desigualdades
D v(t) > g(t, v(t)),
(2.31)
(2.32)
Teorema 2.20 Sea un conjunto abierto del plano (t, u) y sea g C 1 [, R]. Sea u(t)
la u
nica solucion no prolongable del p.v.i.
u = g(t, u)
u(t0 ) = u0 ,
t [t0 , ).
Demostraci
on. Consideremos el siguiente p.v.i.
u = g(t, u) +
u(t0 ) = u0 + .
(2.34)
nica soluci
on u (t) denida para todo
Como g C 1 , se sigue que (2.34) posee una u
t [t0 , ) y u (t) u(t) cuando 0, uniformemente sobre intervalos compactos
contenidos en [t0 , ). Ademas, de (2.34) se sigue que u (t) satisface
u (t) > g(t, u (t)) , t [t0 , )
(2.35)
36
Teorema 2.21 Sea un conjunto abierto del plano (t, u) y sea g C 1 [, R]. Sea u(t)
la u
nica solucion no prolongable del p.v.i.
u = g(t, u)
u(t0 ) = u0 ,
t [t0 , ).
Esta armaci
on se prueba de forma an
aloga al Teorema anterior.
2.8
En las secciones 2.1- 2.5, solo hemos considerado campos vectoriales continuos. Bajo
esta condicion el p.v.i.(2.1)-(2.2) es equivalente a la ecuacion integral
x(t) = x0 +
f (s, x(s))ds.
t0
(t, x) U.
on m L1 [J],
d) Para todo P J D, existe un entorno U del punto P y una funci
tales que:
||f (t, x)|| m (t),
para cada
,
(t, x) U
con
J D.
U
2.8.
37
on
Sea U un compacto cualquiera de J D, tal que (t0 , x0 ) U . Sea m L1 , la funci
dada por la condici
on de Caratheodory. Elija a > 0 y b > 0 de modo que
D = (t, x) : | t t0 | a , ||x x0 || b U.
t +
Escoja una constante de forma que 0 < < a y t00 m(s)ds b . El resto de la
demostracion es exactamente igual a la prueba del Teorema Peano.
El Teorema 2.22 no garantiza la unicidad de las soluciones, para ello es necesario
imponer alguna condici
on adicional a f.
Definici
on 2.3 (Condicion de Lipschitz Generalizada)
on de Lipschitz generalizada, si para cada
Diremos que f : J D Rn satisface la condici
conjunto compacto U J D, existe una funci
on k L1 , tal que
||f (t, x1 ) f (t, x2 )|| k(t)||x1 x2 ||,
para cada (t, x1 ) y (t, x2 ) U.
Teorema 2.23 (Existencia y Unicidad de Soluciones no Prolongables)
Supongamos que:
a) f satisface la condici
on de Caratheodory.
b) f verifica la condici
on de Lipschitz generalizada. Entonces el p.v.i. (2.1)-(2.2) posee
una u
nica solucion no prolongable, definida sobre (, ), con a < b.
Esbozo de la prueba
Primero se prueba la existencia y unicidad local. Para ello se ja un compacto U
on de
como en el Teorema 2.22. Sean m y k en L1 las funciones dadas por la condici
38
2.9
Ejercicios y Problemas
a) x = x 3 , x(0) = x0 .
1 , x(0) = 1 .
b) x = x
c) x = 1 + x2 , x(0) = 0 .
xy
,
d) x =
1 + x2 + y 2
y = 1 2 ,
1+x
x(0) = y(0) = 0 .
e) (cos t)x + (sent)x = 1 , x(0) = 1 .
2
+ 1 x = 0 , x(2) = e.
f) 2t ln |x| 1 + t x
2 2 t + ,
1
i) x = 1 + x 3 , x(0) = 0 .
ii) x = g(x), x(0) = x0 , donde
g(x) =
x ln |x| , si x = 0
0
, si x = 0 .
on continua tal que
5. Sea U = (t, x) R2 : |t| a, |x| b| y f : U R una funci
f (t, x) < 0,
si tx > 0 y
f (t, x) > 0,
si tx < 0.
2.9.
39
Ejercicios y Problemas
40
Pruebe que todas las soluciones de x = f (t, x) estan denida para todo t J.
15. Supongamos que existe k C[J, R+ ], tal que
||f (t, x) f (t, y)|| k(t)||x y||, (t, x), (t, y) J Rn .
Demuestre que si f es continua, entonces el p.v.i. y = f (t, y) , y(t0 ) = y0 , posee
una u
nica soluci
on denida t J.
on no prolongable del sistema x = f (t, x)
16. Sea f : R Rn Rn . Si es una soluci
denida sobre (, ), < < < +, entonces
lim ||(t)|| = + ,
lim ||(t)|| = +.
t+
(t, x) R Rn ,
+
+
donde k C[R, R+
0 ] , C[R0 , R0 ] , (0) = 0 ; (v) > 0, v > 0 y
dv
= .
(v)
0
Pruebe que todas las soluciones del sistema x = f (t, x) son prolongables a +.
Indicaci
on: Estime el crecimiento de la funcion v 2 =< x, x > a lo largo de las
soluciones del sistema.
on
18. Sea f : R R una funci
on continua y acotada. Sea n : [0, 1] R una sucesi
de soluciones de la e.d.o. x = f (x).
un t [0, 1], entonces existe una subsucesion,
Pruebe que: si n converge para alg
que converge a una soluci
on de x = f (x).
Indicaci
on: Aplique el Lema de Arzela-Ascoli al conjunto H = {1 , 2 , }.
19. Sea x (t) = 2t+x2 , x(t0 ) = x0 , y Denotemos su solucion por x(t, t0 , x0 , ). Halle
x(t, t0 , x0 , )
en el punto (t, 0, 1, 0).
2.9.
Ejercicios y Problemas
41
20. Sea x + 3x = 2 sin t + (x )2 , x(t0 ) = x0 , x (t0 ) = x0 . Halle x , x , x en el
x0 x0
punto (t, 0, 0, 0, 0).
21. Si el sistema x = f (x) no admite soluciones no prolongables a +, entonces
existe un cambio de la variable independiente, tal que las soluciones del sistema
transformado son prolongables a +.
Indicaci
on: Realice una transformacion de la variable temporal como sigue
t
1 + ||f ((s))||2 ds , t [0, ) , < +.
(t) =
0
42
Captulo 3
Sistemas Lineales
(3.2)
3.1
Lema 3.1
Con las operaciones usuales de suma y producto por un escalar de funciones
el conjunto
= { : J Rn tal que satisface (3.1)} es un espacio vectorial de
dimensi
on n.
Demostraci
on. Es obvio que
es un subespacio vectorial del espacio C[J, Rn ].
n
Mostremos que
es isomorfo a R . Para ello consideremos los siguientes p.v.i.
x = A(t)x
x(t0 ) = ej
nica
donde {ej }nj=1 es la base canonica de Rn . Es claro que para cada j existe
una u
.
Entonces
,
y
el
soluci
on del p.v.i.,
a
esta
soluci
o
n
la
denotaremos
por
j
j
open y
entre
R
. En
rador T : Rn , denido por T ej = j , induce un isomorsmo
n
n
constantes c1 , . . . , cn , tales
por
efecto, si x0 R , existen
que x0 = i=1 ci ei . Luego
y
ser T lineal, T x0 = ni=1 ci i . Deniendo (t) = ni=1 ci i , obtenemos que
satisface la condicion inicial x(t0 ) = x0 .
Teniendo en cuenta la prueba del Lema 3.1 y el hecho que un isomorsmoenva
.
bases en bases, se sigue que {1 , . . . , n } es una base del sub-espacio vectorial
43
44
Definici
on 3.1 A cualquier conjunto de funciones j
, j = 1, . . . , n, que sea base
de
lo llamaremos sistema fundamental de soluciones del sistema (3.1).
nn cuyas columnas son las componentes de
Definici
on 3.2
A la matriz : J R
alguna base de
se le llama matriz fundamental del sistema (3.1). Cuando (t0 ) = I, a
se le llama matriz fundamental principal del sistema (3.1).
De la denici
on de matriz fundamental se sigue inmediatamente que (t) = A(t)(t).
Entonces toda soluci
on del sistema homogeneo (3.1), tiene la forma x(t) = (t)C,
donde C es un vector constante en Rn a determinar. En particular, cuando x(t0 ) = x0 ,
nica solucion del sistema lineal homogeneo (3.1)
se obtiene que C = 1 (t0 )x0 . As, la u
on
tal que x(t0 ) = x0 , viene dada por la expresi
x(t, t0 , x0 ) = (t)1 (t0 )x0 .
(3.3)
t0
trA(s)ds
t J.
A la funci
on W (t) se le denomina el Wronskiano de y trA = (traza de A) =
n
i=1 aii .
Demostraci
on. Se sabe que
11
n . . .
W (t) = det (t) =
i1
i=1 . . .
n1
1n
11
. . .
. . . . . . .
1n
. . . . . . .
in
.
. . . . . . .
nn
3.1.
45
Como es una matriz
n solucion del sistema (3.1), se tiene que = A(t). De donde
se sigue que ij = k=1 aik kj . Sustituyendo estas expresiones en el determinante
11
. . .
i1
. . .
n1
1n
. . . . . . .
in ,
. . . . . . .
nn
1n
. . . . . . .
in = aii W (t).
. . . . . . .
nn
Lo cual inmediatamente implica que W (t) = trA(t)W(t). Esto prueba nuestra armacion.
Supongamos ahora que A(t) es una matriz constante y la seguiremos denotando con la
misma letra. Denamos
An tn
At
.
e =
n!
n=0
Teniendo en cuenta que
i)
ii)
An |t|n
An tn
,
n!
n!
n=0
An |t|n
< ,
n!
n n
as a
un como
obtenemos que eAt esta bien denida. M
n=0 A t /n! converge uniformemente sobre compactos, cada termino de la serie es innitamente diferenciable y la serie
de las derivadas termino a termino, tambien es uniformemente convergente. Lo cual
implica que (t) = eAt satisface la ecuacion matricial lineal homogenea
(t) =
An tn1
An1 tn1
=A
= A(t) ,
n
n!
(n 1)!
n=1
(0) = I.
n=1
As, hemos mostrado que para sistemas lineales a coecientes constantes la matriz
fundamental principal viene dada por (t) = eAt .
46
3.2
t J.
t J.
Integrando esta expresion obtenemos que y(t) = (t)C(t) es solucion del sistema (3.2)
si y solo si
t
1 (s)f (s) ds , t J,
C(t) = C0 +
t0
1 (s)f (s) ds
t J.
(3.4)
t0
Si adem
as de (3.2) tenemos el dato inicial y(t0 ) = y0 , entonces C0 = 1 (t0 )y0 y la
u
nica soluci
on de (3.2) tal que y(t0 ) = y0 viene dada por
3.3
t J.
(3.5)
t0
Definici
on 3.3 Diremos que dos funciones x(t) y z(t) son conjugadas, si
< x(t), z(t) >= cte,
para todo t J. < , > denota al producto escalar de Rn .
Sea x(t) una soluci
on del sistema (3.1) y z(t) una funci
on diferenciable. Si x(t) y z(t)
son funciones conjugadas , entonces
< x (t), z(t) > + < x(t), z (t) >= 0
t J.
3.4.
47
Sistemas Reducibles
t J,
t J.
(3.6)
(1 ) = 1 A(t) ,
t J.
3.4
Sistemas Reducibles
Definici
on 3.4 Diremos que el sistema (3.1) es reducible, si existe una matriz L
1
nn
], no singular, con L y L acotadas, tal que la transformaci
on x = L(t)z,
C [R, R
reduce el sistema (3.1) a un sistema con coeficientes constantes de la forma z = Bz,
donde B = L1 (AL L ) .
Una vez vistas las ventajas que presentan los sistemas lineales a coecientes constantes
resulta natural buscar condiciones que permitan caracterizar a los sistemas reducibles.
En este sentido tenemos el siguiente
48
(3.7)
z = L1 (t)[A(t)L(t) L (t)]z.
(3.8)
y
L (t) = A(t)K(t, t0 )L(t0 )eB(tt0 ) K(t, t0 )L(t0 )BeB(tt0 ) = A(t)L(t) L(t)B.
Finalmente, sustituyendo L (t) en la ecuacion (3.8), obtenemos que z = Bz . Lo cual
prueba la reducibilidad del sistema (3.1)
3.5
La b
usqueda de soluciones peri
odicas para sistemas del tipo y = f (t, y) es equivalente
a resolver un problema de frontera del tipo y(0) = y(), donde > 0 representa el
perodo de la soluci
on buscada. Este tipo de problemas es de gran importancia pr
actica.
En este par
agrafo consideraremos el sistema (3.1) bajo la condici
on adicional que
A(t) es una matriz peri
odica. En este caso decimos que el sistema (3.1) es peri
odico. Mostraremos que los sistemas lineales -peri
odicos son reducibles a sistemas
con coecientes constantes. Probemos en primer lugar el siguiente Lema auxiliar.
Lema 3.4 Sea C una matriz real e invertible. Entonces existe una matriz B, en general
compleja, tal que eB = C.
3.5.
49
Demostraci
on. Dada la matriz C, denotemos por 1 , , m sus autovalores. Entonces existe una matriz invertible T tal que T 1 CT = J, donde J = diag[J1 , . . . , Jm ],
Ji = i I + S y S es una matriz nilpotente del tipo
0 1 0 0 0
0 0 1 0 0
.
S=
0
0
0
1
0
0 0 0 0 1
0 0 0 0 0
Observemos que es suciente probar el lema para un bloque elemental de Jordan. En
efecto, si para cada i = 1, . . . , m, existe una matriz Bi tal que Ji = eBi , entonces
C = T JT 1 = T diag [J1 , . . . , Jm ] T 1 = T diag [eB1 , . . . , eBm ]T 1
= T eB T 1 = eT BT
= eB
1 .
= diag[B1 , . . . , Bm ] y B = T BT
donde B
Luego, podemos suponer sin perder
generalidad,
que la matriz C tiene la forma
S
. Pongamos ahora
C = I + S , ( = 0), o bien C = I +
S
.
B = (ln )I + ln I +
La matriz B esta bien denida, ya que al ser S una matriz nilpotente existe p N tal
que S k = 0 , k p + 1 , lo cual implica que
p
S (1)k+1 S k
(1)k+1 S k
=
=
.
S1 = ln I +
kk
kk
k=1
k=1
Sk
1
k=0
k!
p
Sk
1
k=0
k!
Sustituyendo en la expresi
on anterior el desarrollo de S1 y despues de un tedioso calculo
B
se obtiene que e = (I + S/) = C.
Observaci
on 3.2 La matriz B no est
a determinada de manera u
nica, puesto que si
B
e = C, tambien es cierto que para la matriz B1 = B + (2ki)I, (k N) se satisface que
eB1 = C.
Teorema 3.5 (Floquet 1883) Si (t) es una matriz fundamental del sistema peri
odico
(3.1), entonces existe una matriz invertible P C 1 [R, Rnn ] tal que P (t + ) = P (t) y
una matriz constante B tal que
(3.9)
(t) = P (t)eBt .
50
Demostraci
on. Supongamos en primer lugar que (0) = I. Teniendo en cuenta la
periodicidad de la matriz A(t) se tiene que (t + ) = A(t + )(t + ) = A(t)(t + ).
Lo cual implica que (t + ) tambien es una matriz fundamental del sistema (3.1) y
por tanto, existe una matriz constante C tal que (t + ) = (t)C. Luego, poniendo
t = 0 se sigue que () = (0)C = C. Lo cual implica que (t + ) = (t)(), de
donde se obtiene que
(t) = (t + )1 ().
Por ser () una matriz no singular, por el Lema 3.4, existe una matriz B tal que
() = eB . Denamos P (t) = (t)eBt . Evidentemente P (t) es una matriz invertible
y satisface (3.9). Mostremos que P es peri
odica
P (t + ) = (t + )eB eBt = (t + )1 ()eBt = (t)eBt = P (t).
Sea ahora 1 una matriz fundamental arbitraria del sistema (3.1). Luego se tiene que
Bt
1 (t) = (t)1 (0) = P (t)eBt 1 (0) = P (t)1 (0)1
1 (0)e 1 (0)
1
= P (t)1 (0)e1
(0)Bt1 (0)
(t) = A(t)(t),
Definici
on 3.5 (Matriz de Monodroma) Se sabe que si (t) es una matriz fundamental
de (3.1), (t + ) tambien lo es. Por lo tanto existe una matriz invertible C tal que
(t + ) = (t)C. A la matriz C se le llama matriz de monodroma.
Definici
on 3.6 (Multiplicadores Caractersticos) A los autovalores de la matriz de monodroma C los llamaremos multiplicadores caractersticos del sistema (3.1).
3.5.
51
1
arg 2k
1
Ln = ln || + i
+
k Z.
52
Observaci
on 3.3 Si = 1 es un multiplicador caracterstico del sistema (3.1), del
Teorema 3.7 se sigue que existe una solucion no nula tal que (t+) = (t), t R. Lo
cual implica que (t+2) = (t+) = (t), es decir, es 2peri
odica. An
alogamente,
pi/q
es un multiplicador caracterstico, con p, q N,entonces el sistema (3.1)
si = e
admite una soluci
on 2qperi
odica. En efecto, sabemos que
(t + ) = epi/q (t).
En general, si reemplazamos por 2q y procedemos por induccion, se obtiene que
(t + 2q) = (t + (2q 1) + ) = (t + (2q 1)) =
= 2q (t) = e2pi (t) = (cos 2p + isen2p)(t) = (t).
3.6
(3.10)
t
(t)1 (s)f (s)ds,
(3.11)
(t) = (t)y0 +
0
donde (t) es la matriz fundamental principal del sistema (3.1). Se sabe que (t) es una
soluci
on peri
odica de (3.10) si y solo si () = (0). Teniendo en cuenta este hecho
odicas
y (3.11), obtenemos que los datos iniciales y0 que pueden generar soluciones peri
deben ser soluciones de la siguiente ecuacion
()1 (s)f (s)ds.
y0 = ()y0 +
0
De donde se sigue
[I ()]y0 =
1
()1 (s)f (s)ds.
y0 = [I ()]
0
3.6.
53
()
(s)f (s)ds +
(3.12)
ts
ts+
G
G
(t, s) lim
(t, s) = A(s).
t
ts t
Sea la matriz fundamental principal del sistema (3.1). Denamos una matriz
G(t, s) : [0, ] [0, ] Rnn como sigue
si 0 s t ,
(t)[I ()]1 1 (s)
(3.13)
G(t, s) =
1
1
(t + )[I ()] (s) si 0 t < s .
Es f
acil mostrar que G(t, s) es la matriz de Green asociada al sistema (3.1), ver ejercicio 7.
Lema 3.10 Si la u
nica solucion peri
odica del sistema homogeneo (3.1) es la soluci
on
trivial, entonces la u
nica solucion peri
odica no constante del sistema (3.10) viene dada
por
(t) =
t [0, ],
(3.14)
t
1
1
1
() (s)f (s)ds + [I ()]
(s)f (s)ds
(t) = (t)[I ()]
0
0
t
1
1
1
() (s)f (s)ds +
(s)f (s)ds .
= (t)[I ()]
t
(t)() = (t + ),
54
obtenemos que
(t) =
0
G(t, s)f (s)ds, t [0, ].
(Kf )(t) =
0
< z(s), f (s) > ds = 0.
0
Demostraci
on. Se sabe que (t) es una solucion peri
odica del sistema (3.10) si y
solo si (0) = (). Lo cual es equivalente a
()1 (s)f (s)ds,
(3.15)
[I ()](0) =
0
()1 (s)f (s)ds >=
T (0)()1 (s)f (s)ds = 0,
(3.16)
< (0),
0
para cualquier (0) tal que [I ()]T (0) = 0, o bien lo que es lo mismo
T (0)[I ()] = 0.
De donde se sigue que T (0) = T (0)(). Reemplazando esta expresion en (3.16),
obtenemos
T (0)1 (s)f (s)ds = 0.
(3.17)
0
1
3.6.
55
Toda soluci
on z(t) del sistema conjugado (3.6) con z(0) = (0) viene dada por z(t) =
()1 (s)f (s)ds.
() = ()y0 +
0
t
(t)1 (s)f (s)ds.
(t + ) = (t)() +
0
Poniendo t = , obtenemos
(2) = ()() +
0
donde
V =
(k) = ()y0 +
k1
i ()V
k N.
i=0
z Rn .
[I ()]z = V =
0
2
ver secci
on 3.7
(3.18)
56
para alg
un z Rn . Entonces la funci
on
(t) = (t)z +
< V, C >= 0.
k1
i ()V, C >
i=0
T
k1
i=0
= < y0 , C > +
k1
i=0
t J.
3.6.
57
t J,
t J.
t J.
An
alogamente se prueba que si ocurre ii), n (t) > n+1 (t), t J.
Por lo tanto, en ambos casos la sucesion {n } es monotona y acotada. Lo cual
implica que la sucesi
on es convergente. Pongamos (t) = limn n (t).
La sucesion {n } es uniformemente convergente. En efecto, consideremos el conjunto
H = {n : [a, a + ] R, n 1}.
Denotemos por
b = max |(t)| : t [a, ) , M = max |f (t, x)| : (t, x) [a, a + ] [b, b] .
Teniendo en cuenta esto, obtenemos que
|n (t)| = |f (t, n (t))| M, t [a, a + ].
Por lo tanto, el conjunto H es equicontinuo y uniformemente acotado. Por el Lema de
Arzela-Ascoli el conjunto H es relativamente compacto. Haciendo tender n en
t
f (t, n (s))ds, t [a, a + ],
n (t) = n (a) +
a
obtenemos
(t) = (a) +
f (t, (s))ds,
t [a, a + ].
odica, ya
Por lo tanto, es solucion de la ecuacion x = f (t, x) y ademas es peri
que
(t) = lim n (t) = lim n+1 (t) = lim n (t + ) = (t + ).
n
58
3.7
Comentarios y Sugerencias
En este captulo s
olo hemos considerado sistemas lineales del tipo (3.2) donde A(t)
y f (t) son continuas sobre J. Cuando A(t) y f (t) son localmente integrables todos
los resultados de las secciones 3.1 al 3.5 siguen siendo v
alidos. La u
nica variaci
on
consiste en que las soluciones se entenderan como funciones absolutamente continuas
que satisfacen (3.2) casi en todas partes sobre J.
En la secci
on 3.6 nos referimos a la reducibilidad de sistemas lineales en el sentido
de Liapunov. Sin embargo, es importante en la pr
actica considerar la reducibilidad en
un sentido m
as amplio. Mas concretamente, cuando el sistema (3.1) se reduce a uno
cuya matriz es de la forma
0
C1 (t)
.
0
C2 (t)
Notemos que este concepto de reducibilidad es compatible con el que se introduce en
Algebra Lineal, ver [17]. Esto tiene importantes conexiones con la teora de dicotomas
exponenciales, para su estudio recomendamos ver el excelente libro escrito por Coppel
[5].
Para nalizar, acotemos que respecto a los sistemas peri
odicos solo hemos tocado
los resultados mas elementales. En general, el problema de hallar soluciones peri
odicas
dista de estar totalmente resuelto; muy por el contrario, es profusa la bibliografa
referente a este tema. Incluso, el problema de hallar o estimar a los multiplicadores
caractersticos es un problema resuelto solo en casos muy particulares (ver [15], pag.
121).
3.8.
59
Ejercicios y Problemas
3.8
Ejercicios y Problemas
60
i = exp
tr A(t)dt .
odicas.
15. Sean a1 y a2 funciones continuas y peri
peri
odicas de la ecuacion
Sean 1 y 2 soluciones
Captulo 4
Sistemas Aut
onomos
4.1
Clasificaci
on de Orbitas. Conjuntos y Lmites
(4.1)
d
T (t)xt=0 .
dt
x(0) = x0 ,
62
Captulo 4.
Sistemas Aut
onomos
Definici
on 4.1 (Orbitas) Sea una soluci
on de (4.1), (0) = p, definida para todo
t R. Definimos la semiorbita positiva de como:
p+ = {x : x = (t), t 0},
y la semiorbita negativa de como:
p = {x : x = (t), t 0}.
En el caso que no se especifique ning
un punto, escribiremos simplemente , + , para
la orbita, semi
orbita positiva y semi
orbita negativa, respectivamente. Donde = + .
A la representacion de todas las orbitas de un sistema la denominaremos diagrama
de fase del sistema. Notemos que innitas soluciones del sistema (4.1) se pueden proyectar en la misma orbita, ya que (t + c) es solucion de (4.1) c R. Geometricamente,
todo sistema autonomo siempre admite una familia de soluciones cuyas proyecciones
dan origen a una sola orbita .
Definici
on 4.2 (Punto de Equilibrio) Diremos que x0 es un punto de equilibrio del sistema (4.1), si g(x0 ) = 0. Tambien se suele decir que x0 es un punto singular del campo
vectorial, si g(x0 ) = 0. Cuando g(x0 ) = 0 se dice que x0 es un punto regular del campo
vectorial.
El siguiente teorema nos dice que dos orbitas del sistema (4.1), o nunca se intersecan o
bien coinciden. Adem
as, justica el estudio de los sistemas autonomos por separado, ya
que proyectando sobre el espacio de fase las soluciones del sistema todava nos permite
obtener informaci
on valiosa del comportamiento cualitativo de las soluciones del sistema
original. Lo cual no es posible para las ecuaciones diferenciales no-aut
onomas
nica orbita
Teorema 4.1 Supongamos que g C 1 [D, Rn ]. Por cada p D, pasa una u
del sistema (4.1).
Demostraci
on. La existencia de una orbita de (4.1) a traves del punto p D se sigue
de la existencia y unicidad de las soluciones de (4.1).
Supongamos que por un punto p pasan dos orbitas 1 2 , tales que 1 2 = .
Entonces existen t1 , t2 Dom1 Dom2 tales que 1 (t1 ) = 2 (t2 ) = p ; donde 1 y
2 son soluciones de (4.1) que generan las orbitas 1 y 2 , respectivamente. Denamos
(t) = 1 (t t2 + t1 ). Es obvio que es solucion de (4.1) y (t2 ) = 1 (t1 ) = 2 (t2 ).
Luego, por la unicidad de las soluciones de (4.1) se tiene que (t) = 2 (t), t R.
De modo que la orbita de coincide con la de 2 . Pero es igual a 1 salvo desplazaon
mientos de fase. Por lo tanto la orbita de coincide con la orbita de 1 . Contradicci
4.1.
63
Clasificaci
on de Orbitas. Conjuntos y Lmites
t+
t+
ya que g es continua.
Probemos que g(B) = 0. Como lim (t) = g(B), entonces para todo > 0 existe
t+
gi (B)
,
2
t T1 .
gi (B)
,
2
t T1 ,
de donde sigue
gi (B)
,
2
Integrando la u
ltima inecuaci
on obtenemos
i (t)
i (t) i (T1 )) +
t T1 .
gi (B)
(t T1 ),
2
t T1 .
lo cual implica que no existe el lmite de (t) cuando t +, lo que es una contradiccion. An
alogamente se hace la prueba si gi (B) < 0.
Observaci
on 4.1 Si : R D es una solucion no constante del sistema (4.1), entonces
se puede acercar a un punto crtico solamente cuando t + o t .
Teorema 4.4 (Clasificaci
on de Orbitas ) Sea una soluci
on no prolongable del sistema
(4.1), definida sobre (, ), , +. Entonces se verifica una de las siguientes
opciones :
64
Captulo 4.
Sistemas Aut
onomos
(1) es inyectiva,
(2) es constante,
(3) es periodica no constante.
Para demostrar este teorema usaremos el siguiente lema auxiliar.
on continua y definamos
Lema 4.5 Sea : R Rn una funci
T = {c R : (t + c) = (t), t R}.
Si T = , entonces existe un > 0 tal que T = Z o T es denso en R.
Demostraci
on. En primer lugar probemos que T es un subgrupo aditivo de R. En
efecto, como R es un grupo aditivo, entonces basta ver que :
(a) Si c1 , c2 T, entonces (c1 + c2 ) T.
(b) Si c T, entonces existe c1 T : c + c1 = 0.
Supongamos que c1 , c2 T. Entonces (t + c1 ) = (t) y (t + c2 ) = (t), t R.
Luego se tiene que
(t + (c1 + c2 )) = ((t + c1 ) + c2 ) = (t + c1 ) = (t),
por lo que c1 + c2 T.
Sea c T. Luego (t + c) = (t), t R. Entonces
(t c) = ((t c) + c) = (t);
por lo que c T.
on de
Veamos que T es cerrado topol
ogicamente en R. En efecto, sea (cn ) una sucesi
puntos de T y cn c cuando n +. Como cn T , entonces (t) = (t + cn ). Luego
por la continuidad de y haciendo tender n , obtenemos (t) = (t + c), t R.
Por lo tanto c T.
Pongamos = inf(T R+ ). Como T es cerrado se sigue que T. Mostremos que
i) Si > 0, entonces T = Z.
ii) Si = 0, entonces T = R.
En el primer caso, veamos primero que Z T. En efecto, sea a = n, con n Z.
Luego, a = + (n 1), entonces
(t + a) = (t + n) = [t + (n 1) ] +
= t + (n 1) = [t + (n 2) ] +
= = t + (n (n 1)) = (t + ) = (t).
4.1.
65
Clasificaci
on de Orbitas. Conjuntos y Lmites
An
alogamente se define el conjunto lmite de una orbita
() = x : {tk }kN , lim tk = , y lim (tk ) = x .
k+
Definici
on 4.5 (Conjunto Invariante) Un conjunto M en Rn , se dice que es un conjunto
invariante respecto del sistema (4.1), si para cada p M, se tiene que x(t, p) M, para
todo t R. Diremos que M es positivamente (negativamente) invariante, si para cada
p M, se satisface que x(t, p) M para todo t 0 ( t 0).
Es claro de esta denicion que toda orbita de (4.1) es un conjunto invariante.
Teorema 4.6 Los conjuntos y lmites de una orbita son cerrados e invariantes.
Ademas, si + ( ) esta acotado, entonces el conjunto () lmite de es no vaco,
66
Captulo 4.
Sistemas Aut
onomos
compacto, conexo y
dist[x(t, p), ()] 0, t +,
dist[x(t, p), ()] 0, t .
Demostraci
on. Sea {xk }kN (), tal que xk x, k +. Mostremos que
x (). Como xk (), entonces existe una sucesion tki +, cuando i +,
tal que lim (tki ) = xk . Por lo tanto, dado > 0, existe N (k) > 0, tal que
i+
||(tki ) xk || < ,
2
i N (k).
Por otra parte, como lim xk = x, existe N1 > 0, tal que ||xk x|| < 2 ,
k
Fijemos un k N1 . Entonces
||(tki ) x|| ||(tki ) xk || + ||xk x|| < ,
k N1 .
i N (k ).
tiene que
lim x(t + tk , p) = lim x(t, x(tk , p)) = x(t, q).
t 0.
&
'
Sea {tk }kN , tk +. Entonces la sucesion numerica x(tk , p)
kN
k N.
4.1.
Clasificaci
on de Orbitas. Conjuntos y Lmites
67
si y = y1 ,
(x t, y1 ),
(0, 0),
si x = y = 0,
(4.2)
t (x, y) =
e
y
=
y
si
x
R
e
y
<
y
<
y
,
espirales
entre
las
rectas
y
=
y
1
2
1
2
(x + t, y ),
si y = y2 ,
1
Figura 4.1: Ejemplo de una orbita no acotada, cuyo conjunto -lmite no es vaco. Sin
embargo el -lmite no es conexo.
Definici
on 4.6 Diremos que un conjunto M es un conjunto minimal respecto al sistema
(4.1), si M = , es cerrado e invariante y no tiene ning
un subconjunto que posea las tres
propiedades antes mencionadas.
Lema 4.8 Si A es un conjunto compacto, invariante respecto del sistema (4.1), entonces
A posee un subconjunto minimal.
Demostraci
on. Sea F una familia de subconjuntos denida como sigue
F = {B : B A, B-compacto e invariante}.
Denamos en F una relaci
on de orden < como sigue : Para cada B1 , B2 en F, decimos
que B2 < B1 , si B2 B1 . Para cualquier subfamilia F1 de F totalmente ordenada por
<, pongamos C = BF1 B.
on nita. En efecto, si B1 , B2 F1 ,
La familia F1 tiene la propiedad de la intersecci
o B2 < B1 . En ambos casos B1 B2 = y B1 B2 F.
entonces B1 < B2
As, C = , compacto e invariante; y para cada B F1 se sigue que C < B. Supongamos ahora que D es un subconjunto perteneciente a F, tal que D < B, B F1 .
Entonces D B, para todo B F1 , lo cual implica que D C. Por lo tanto C es
el elemento minimal de F1 . Como toda subfamilia de F totalmente ordenada, posee
un mnimo, se sigue por el lema de Zorn que existe un mnimo en F. Este elemento
minimal de F al cual llamaremos M, posee todas las propiedades requeridas.
68
Captulo 4.
Sistemas Aut
onomos
Ejemplo 4.1 Consideremos la ecuacion logstica x (t) = x(1 x), con > 0.
Figura 4.2:
Del diagrama de fase se ve que el conjunto () lmite de las orbitas con dato inicial
en el intervalo (0, 1) es el punto {1} ({0}). El conjunto -lmite de cualquier orbita con
dato inicial negativo es vaco. An
alogamente se analizan las otras situaciones. Adem
as, los
conjunto {1}, {0} son minimales.
Ejemplo 4.2 Sea
x1 = x2 + x1 (1 r 2 )
x2 = x1 + x2 (1 r 2 )
donde > 0, r 2 = x21 + x22 . Haciendo x1 = r cos , x2 = r sin , obtenemos que el sistema
anterior es equivalente a:
= 1
r = r(1 r 2 ).
A partir de este sistema, vemos que el diagrama de fase luce como se muestra en la fig. 4.3
x2
x1
Figura 4.3:
Llamemos A = {(x1 , x2 ) : x21 + x22 = 1}, B = {0}. Tanto A como B son conjuntos
minimales A es el conjunto lmite de cualquier orbita del sistema, excepto x1 = x2 = 0,
y B es el conjunto lmite de todas las orbitas encerradas por la circunferencia.
4.2.
69
Teorema de Poincare-Bendixson
x(km (t)m , pm ) = pm .
Esto u
ltimo se desprende del hecho que
x(m , pm ) = pm = x(0, pm ),
es decir x(t, pm ) es periodica de periodo m en t y por ende x(t + m , pm ) = x(t, pm ).
Finalmente, se tiene que
||x(t, p) p|| ||x(t, p) x(t, pm )|| + ||x(t, pm ) pm || + ||pm p||
= ||x(t, p) x(t, pm )|| + ||x(t km (t)m , pm ) pm || + ||pm p||.
De donde se sigue que ||x(t, p) p|| 0 cuando t , ya que t cuando m .
Lo cual implica que p es un punto de equilibrio del sistema (4.1).
Hemos expuesto en forma sucinta, algunos de los conceptos y hechos basicos de la
teora geometrica de los sistemas autonomos. Se
nalemos que algunos de los problemas
de los que se ocupa esta teora, tienen relaci
on con la caracterizacion de los conjuntos
minimales y el comportamiento de las soluciones de las ecuaciones diferenciales cerca
de conjuntos minimales y la manera de poder reconstruir el conjunto lmite de una
orbita a partir de los conjuntos minimales y las orbitas que los conectan.
4.2
Teorema de Poincar
e-Bendixson
A continuaci
on en forma breve y sin demostraciones, trataremos de dar respuesta a estas
interrogantes para sistemas bidimensionales. Concretamente se caracteriza el conjunto
lmite de una orbita acotada.
Sea
(4.3)
x = f (x),
donde f C 1 [R2 , R2 ]. Supondremos que todas sus soluciones estan denidas para todo
t en R.
un, entonces + es
Teorema 4.10 (a) Si + y ( + ) tienen un punto regular en com
una orbita peri
odica.
70
Captulo 4.
Sistemas Aut
onomos
4.3
)
(gf2 )
(gf1 )
(x) +
(x) dx
0 = [g(x)f2 (x)dx1 + g(x)f1 (x)dx2 ] =
x1
x2
4.3.
71
un x . Por
Supongamos, sin perdida de generalidad, que div(gf )(x ) > 0, para alg
la continuidad de la funci
on gf, existe una constante > 0 y una bola BR (x )
tales que div(gf )(x) > , x BR (x ). De aqu se desprende que
[div(gf )(x)] dx
[div(gf )(x)] dx medida(BR (x )) > 0.
BR (x )
72
Captulo 4.
4.4
Sistemas Aut
onomos
Clasificaci
on de los Puntos de Equilibrio de Sistemas
Bidimensionales
Lineales con Coeficientes Constantes.
A continuaci
on se describe el diagrama de fase alrededor de un punto de equilibrio
aislado para un sistema bidimensional lineal. Consideremos el sistema bidimensional
lineal con coecientes constantes
x1 = ax1 + bx2
(4.4)
y2 = c2 e2 t .
(4.5)
Denotemos por v1 y v2 los autovectores unitarios correspondientes a 1 y 2 , respectivamente; y, por L1 y L2 las rectas generadas por v1 y v2 , respectivamente.
4.4.
Clasificaci
on de los Puntos de Equilibrio de Sistemas Bidimensionales Lineales con Coeficientes Constantes. 73
y2 = c2
y1
c1
= c2
c1
y1
r
=
c2 cr1
.
y1r
No es difcil vericar que el diagrama de fase luce como en la gura 4.3. Las echas indican la direcci
on en que se recorren las orbitas, variando t desde a +. Supongamos
y2
y1
y1
74
Captulo 4.
Sistemas Aut
onomos
c2 y1r
cr1
r = 2 /1 < 1.
y1
0
y
y =
1
de donde se sigue que
y1 = c1 exp(t) ,
y2 = (c1 t + c2 ) exp(t).
Un c
alculo sencillo muestra que
1 y1
t = ln
c1
y2 =
c1 y1
ln + c2
c1
y1
c1
4.4.
Clasificaci
on de los Puntos de Equilibrio de Sistemas Bidimensionales Lineales con Coeficientes Constantes. 75
y2
y1
y1
y.
y =
Entonces
y1 = (c1 cos t c2 sin t) exp(t)
76
Captulo 4.
y2
y1
y2
y1
y2
y1
Sistemas Aut
onomos
4.5.
77
Sistemas Conservativos
4.5
Sistemas Conservativos
Consideremos el sistema
x = g(x)
donde g
C 1 [D, Rn ], D
(4.6)
Rn .
Definici
on 4.7 [ Integral] Diremos que una funci
on E C 1 [D, R] es una integral de
(4.6) sobre la regi
on D, si E no es constante sobre ning
un subconjunto abierto de D y
E(x(t)) = cte. a lo largo de las soluciones de (4.6). Esta u
ltima condicion es equivalente a
< E(x(t)), g(x(t)) >= 0,
para todo t perteneciente al dominio de la solucion x(t).
Definici
on 4.8 [Sistema Conservativo] Se dice que (4.6) es un sistema conservativo, si
(4.6) posee una integral E sobre D.
De las deniciones anteriores se desprende que, si x : R D es una soluci
on
cualquiera de (4.6) y E : D R es una primera integral de (4.6), entonces
E(x(t)) = c,
t R.
Es decir, las orbitas del sistema (4.6) estan contenidas en las curvas de nivel de la
funci
on E.
Definici
on 4.9 [Sistemas Hamiltonianas] Sea H una funci
on diferenciable de 2n variables, p1 , p2 , . . . , pn , q1 , q2 , . . . , qn ; a valores en R. Entonces por ecuaciones canonicas de
Hamilton se entiende el sistema de 2n ecuaciones.
pi =
H
,
qi
qi =
H
,
pi
i = 1, . . . , n.
(4.7)
La funci
on H : R2n R es una integral del sistema (4.7). En efecto, denotemos por
(p, q) = (p1 , . . . , pn , q1 , . . . , qn )
H H
H
H
,...,
,
,...,
.
g(p, q) =
q1
qn p1
pn
Luego se sigue que
n
H
H
H H
+
= 0.
< H(p, q), g(p, q) >=
pi
qi
qi pi
n=1
y = xy y
z = y.
78
Captulo 4.
Sistemas Aut
onomos
(4.8)
(4.9)
y2
2 ,
x
y 2 (t)
+ U (x(t)) = c,
2
t Dom,
4.5.
79
Sistemas Conservativos
U
3
|
E1
E3
2
|
E2
1
|
Figura 4.11: Gr
afica de la energa potencial v/s de Diagrama de fase
Hemos tomado
c1 = U (1 ),
c2 = U (2 ),
c3 = U (3 ).
Observemos que los puntos en los cuales U tiene mnimo dan origen a puntos que son
centros en el espacio de fase, es el caso de los puntos A y C y en los puntos donde U
tiene maximo se generan puntos sillas, es el caso del punto B.
Utilizando el metodo descrito previamente, en las guras 4.12-4.13 se esboza el
diagrama de fase de las ecuaciones
x = sen(x) ,
x = x(1 x2 ).
80
Captulo 4.
Sistemas Aut
onomos
x
Figura 4.13: Diagrama de fase de las ecuaciones x = x(1 x), > 0, y x = x(1 x2 ) en el
plano (x, x ), respectivamente.
4.6.
81
4.6
cuando
t +,
(4.10)
= xy bz
82
Captulo 4.
Sistemas Aut
onomos
Derivando V a lo largo de las soluciones del sistema (4.10) y manipulando algebraicamente su expresion, arribamos que
dV
V + b(a + )2 ,
dt
donde = min{2, 2, b}. Integrando esta u
ltima desigualdad, obtenemos
V (x(t), y(t), z(t)) V (x0 , y0 , z0 )et +
b
(a + )2 ,
t 0.
De donde se sigue que (4.10) es puntualmente disipativo. Para ello es suciente elegir
B como la bola con centro en (x, y, z) = (0, 0, a + ) y radio R = b (a + )2 . Lo cual
a su vez implica que las semi-orbitas positivas estan acotadas. Y por ende sus respectivos conjuntos lmite son no vacos. A diferencia de los sistemas bi-dimensionales,
aqu se puede armar que hay orbitas cuyos lmite no son puntos de equilibrio, ni
orbitas peri
odicas. Por lo tanto la din
amica de (4.10) puede ser muy complicada. Del
Teorema 4.13, se sabe que el atractor global es compacto,invariante, conexo y atrae
conjuntos acotados. Toda la informaci
on relevante ha sido obtenida mediante metodos
computacionales. Analticamente no se ha probado casi nada. Para tratar de entender
este asunto se introdujo un modelo geometrico, para mayor informaci
on ver [20]. La
siguiente gura ilustra el famoso atractor de Lorenz con = 10, b = 8/3 y a = 28. Las
guras en blanco son las proyecciones del atractor de Lorenz sobre los planos coordenados.
4.7. Aplicaci
on: Modelo Depredador-Presa
4.7
83
Aplicaci
on: Modelo Depredador-Presa
,
(4.11)
S (t) = S(t) 1
K
y a + S(t)
mS(t)
D0 ,
(4.12)
x (t) = x(t)
a + S(t)
donde S(t) y x(t) son las densidades de las poblaciones presa y depredador, respectivamente. , K, m, y, a y D0 son constantes positivas. Para mas detalles sobre las
interpretaciones biol
ogicas de las constantes ver el artculo de Kuo-Shung Cheng [7], el
on que aparece
cual se anexo1 al nal de estas notas. Se ha mantenido la misma notaci
en el referido artculo para evitar confusiones. Para este sistema es posible hacer una
descripci
on de la din
amica global. En esta seccion nos centraremos solo en los siguientes
puntos
1. Las soluciones del sistema (4.11)-(4.12) existen, son u
nicas y estan denidas para
todo t 0.
2. El conjunto R2+ = {S, x) : S > 0, x > 0} es invariante bajo el ujo inducido por
el sistema (4.11)-(4.12).
3. El sistema (4.11)-(4.12) es puntualmente disipativo. Adem
as, existe el atractor
global, cuya descripci
on la realizaremos mas adelante.
Teniendo en cuenta que el campo vectorial es de clase C las soluciones existen y son
u
nicas. Mas adelante mostraremos que estan denidas para todo t 0.
Del sistema (4.11)-(4.12), se sigue que
t
m
x( )
S( )
,
1
S(t) = S(0) exp
K
y a + S( )
0
mS( )
D0 .
x(t) = x(0) exp
a + S( )
Lo cual implica que los ejes de coordenadas son invariantes y por ende cada cuadrante
es invariante.
Por razones biol
ogicas nos restringiremos a las soluciones que tienen datos iniciales
en el primer cuadrante, el cual es invariante. Sea (S(t), x(t)) una soluci
on del sistema
(4.11)-(4.12), tal que S(0) > 0 y x(0) > 0, denida para t [0, ).
De (4.11) se obtiene que
S(t)
, t [0, ).
S (t) S(t) 1
K
1
Apendice 10.5
84
Captulo 4.
Sistemas Aut
onomos
t [0, ).
t T.
t t0 .
Sabemos que eligiendo = 1, existe un T t0 , tal que 0 < S(t) < K + 1, para todo
t T. Lo cual implica que
m
x(t)
m
M
m x(t)
>
= ,
y a + S(t)
y a+K +1
y a+K +1
t T.
= S (t) + S(t)
S (t) = S(t) 1
K
y a + S(t)
K
y a + S(t)
y por ende
2
S (t).
K
Luego, S(t) 0 cuando t . Por lo tanto, existe un t T, tal que
S (t)
D0
mS(t)
<
,
a + S(t)
2
t t .
D0
x(t),
2
t t .
4.7. Aplicaci
on: Modelo Depredador-Presa
85
El otro caso es cuando los ceros no estan acotados. Luego, debe existir una sucesi
on
de intervalos Jn = [tn1 , tn ], Ji Jj = , i = j, tn , cuando n , tales que
x(t) M = y(a + K + 1)/m,
t Jn .
Realizando un razonamiento an
alogo al de la prueba que no puede existir un t0 > 0 tal
no como
que x(t) M = y(a + K + 1)/m, t t0 , arribamos a que x(t) es tan peque
se desee para n sucientemente grande. Lo cual nuevamente es una contradicci
on.
As, el conjunto
= [0, K + 1] [0, y(a + K + 1)/m]
es un conjunto absorbente para el modelo depredador-presa. Lo cual prueba que el
sistema (4.11)-(4.12) es puntualmente disipativo y por ende implica la existencia del
atractor global. Como dijimos, la descripci
on de las orbitas sobre el atractor global lo
realizaremos mas adelante.
86
Captulo 4.
4.8
Sistemas Aut
onomos
Comentarios y Sugerencias
4.9.
87
Ejercicios y Problemas
4.9
Ejercicios y Problemas
= x2 (x22 x21 ),
= sin2 + (1 r)2 ,
r = r(1 r)
88
Captulo 4.
Sistemas Aut
onomos
Captulo 5
5.1
Definiciones de Estabilidad
Consideremos el sistema
x = f (t, x),
(5.1)
t t0 y x1 B (x0 ),
Observaci
on 5.1 Notemos que el estudio de la estabilidad de una solucion (t) de (5.1)
siempre se puede reducir al estudio de la estabilidad de la solucion trivial de un sistema
equivalente a (5.1). En efecto, pongamos y(t) = x(t) (t) , donde x(t) es una solucion
arbitraria de (5.1). Entonces
y (t) = f (t, x(t)) f (t, (t)) = f (t, y(t) + (t)) f (t, (t)).
Definiendo
g(t, y) = f (t, y + (t)) f (t, (t))
y considerando el sistema y = g(t, y), obtenemos lo deseado. Por lo tanto, sin perdida de
generalidad de aqu en adelante supondremos que f (t, 0) = 0 para todo t > .
89
90
0 (t)
x0
x1
1 (t)
Figura 5.1
La inestabilidad dice que existe 0 > 0, tal que para cualquier > 0 es posible escoger
T > t0 y un vector x1 con ||x1 || < para los cuales se satisface que: ||x(T, t0 , x1 )|| 0 ,
ver gura 5.2 .
Rn
0
x0
T
x1
Figura 5.2
Definici
on 5.3 Diremos que una solucion es estable, si ella es estable para todo t0 > .
on trivial de (5.1) es estable (asint
oticamenProposici
on 5.1 Sea t0 > . Si la soluci
te estable) en t0 , entonces x = 0 es estable (asintoticamente estable) en cualquier otro
instante t1 > .
Demostraci
on. Supongamos que x = 0 es estable en t0 y que t1 (, t0 ). En virtud
de la dependencia continua de los datos iniciales, se tiene que para todo 1 > 0, existe
1 = 1 (1 , t0 , t1 ) > 0 tal que
||x(t, t1 , x1 )|| < 1 ,
t [t1 , t0 ] y x1 B1 (0).
Por otra parte, como x = 0 es estable en t0 , se tiene que para todo > 0, existe
(, t0 ) > 0 tal que: si ||x0 || < , entonces
||x(t, t0 , x0 )|| < ,
t t0 .
5.2.
91
t t1 y x1 B1 (0) .
con
'
x0 B (0) .
t t1 ,
||x1 || < 1 (, t0 ).
5.2
t J,
(5.2)
donde A(t) C J, Rnn y f C J, Rn .
Definici
on 5.4 Diremos que el sistema (5.2) es estable (asintoticamente estable), si toda
solucion de (5.2) es estable (asint
oticamente estable).
Teorema 5.2 El sistema (5.2) es estable (asintoticamente estable) si y solo si la soluci
on
trivial del sistema lineal homogeneo
x (t) = A(t)x(t)
es estable (asintoticamente estable).
(5.3)
92
Demostraci
on. Supongamos que el sistema (5.2) es estable, la estabilidad asintotica
se prueba de modo an
alogo.
on ja y x(t) cualquier soluci
on de (5.2) y denamos
Sea x(t, t0 , x0 ) una soluci
y(t) = x(t) x(t, t0 , x0 ), la cual es solucion de (5.3). Como x(t, t0 , x0 ) es estable,
se tiene que: dado > 0, existe = (t0 , ) tal que: si ||x(t0 ) x0 || < , entonces
||x(t) x(t, t0 , x0 )|| < , para todo t t0 . Lo cual implica que: ||y(t)|| < para t t0 ,
on recproca es obvia.
si ||y(t0 )|| < . La armaci
El Teorema 5.2 es muy importante por cuanto nos dice que para el estudio de la
estabilidad de sistemas lineales no-homogeneos, basta con estudiar la estabilidad de la
soluci
on trivial del sistema lineal homogeneo asociado.
Teorema 5.3 El sistema (5.3) es estable si y solo si todas sus soluciones son acotadas.
Demostraci
on. Supongamos que la soluci
on trivial de (5.3) es estable. Entonces
||xi (t, t0 , ei /2)|| , t t0 , i = 1, . . . , n ,
umero dado en la denici
on
donde {e1 , . . . , en } es la base canonica de Rn y es el n
de estabilidad. Luego, si (t) denota a la matriz fundamental del sistema (5.3) cuyas
columnas son las soluciones xi (t, t0 , ei /2), entonces (t) esta acotada, lo cual a su vez
implica la acotaci
on de las soluciones del sistema (5.3).
La recproca se sigue del hecho que ||(t)|| M , t t0 y que x(t, t0 , x0 ) =
(t)1 (t0 )x0 .
Notemos que el teorema 5.3 no es valido para sistemas no lineales. En efecto,
consideremos la ecuacion x (t) = sin2 x, con x(0) = x0 . Sus soluciones vienen dadas por
arcctg(ctgx0 t) , si x0 = k (k Z)
x(t) =
k
, si
x0 = k
cuyo gr
aco es
x
x0
x0
Figura 5.3
Del gr
aco se observa que las soluciones estan acotadas y sin embargo la soluci
on
trivial no es estable.
5.2.
93
Teorema 5.4
La solucion trivial de (5.3) es asint
oticamente estable si y solo si lim ||x(t, t0 , x0 )|| = 0,
t+
para todo x0 Rn .
Demostraci
on. Supongamos que la soluci
on trivial de (5.3) es asint
oticamente estable. Entonces, existe > 0 tal que para ||x0 || < se satisface que lim ||x(t, t0 , x0 )|| =
t
0. Para concluir que lim ||x(t, t0 , x0 )|| = 0 para datos iniciales con norma , es sut+
ciente denir
(t) =
x(t, t0 , x0 )
,
||x0 || 2
x0 R n .
Observaci
on 5.3 El conjunto = {x0 Rn : lim ||x(t, t0 , x0 )|| = 0} se llama region
t
de atracci
on de la soluci
on trivial de (5.3). El teorema anterior nos dice que para sistemas
lineales homogeneneos es todo Rn , si el sistema es asintoticamente estable. En este caso
se dice que la solucion trivial es asint
oticamente estable en grande.
Ejemplo 5.1 El Teorema 5.4 no es v
alido para sistemas no lineales, tal como veremos a continuacion. Este ejemplo nos fue comunicado por el Lic. Rodolfo Rodrguez.
Consideremos el sistema
2 2
y
y = t
con x(1) = x0 , y(1) = y0 .
Se puede verificar que
=
z(t) =
y0
y(t)
t
x(t)
es la soluci
on general de (5.4) y adem
as lim ||z(t)|| = 0, para todo z(1) = (x0 , y0 )T R2 .
t
1 , 1 T , se
Sin embargo para 0 < < 1/e, N suficientemente grande y z0 = z(1) = N
N
verifica que ||z0 || < y eligiendo t = 1 + N, se tiene
||z(t , 1, z0 )|| ||x(t )|| =
1
1
1
+ > .
N (N + 1) e
e
94
5.3
(5.5)
t 0.
Demostraci
on. Supongamos que todos los autovalores de la matriz A tienen parte
real negativa. Es conocido que existe una matriz invertible T de modo que ella transforma a la matriz A a su forma can
onica de Jordan; es decir T 1 AT = J, donde
J = diag[J1 , . . . , Jm ], Ji = i I + Si y Si es una matriz nilpotente del tipo
0 1 0 0 0
0 0 1 0 0
Si =
,
0 0 0 0 1
0 0 0 0 0
donde 1 , , m son los autovalores de A que generan los m bloques elementales de
Jordan. As, obtenemos que
||eAt || = ||eT JT
1 t
Sabemos que
eJt = diag[eJ1 t , , eJi t , , eJm t ].
Teniendo en cuenta que
eJi t = ei t eSi t ,
y el hecho que Si es una matriz nilpotente, obtenemos que
||eJt || et P (t), t 0,
donde = min |Rei |, i = 1, . . . , m y P(t) es un polinomio con coecientes positivos,
de grado a lo sumo n 1. Por otra parte, se sabe que para todo > 0
P (t)
= 0.
t+ et
lim
5.3.
95
)t
)t
||eS t || e(Re
1,
t 0.
)t
)t
||eS t || e(Re
96
donde
A(t) = U 1 (t)A0 U (t)
A0 =
1 5
0 1
U (t) =
cos t sent
sent cos t
Es obvio que los autovalores de la matriz A(t) son ambos iguales a 1. Sin embargo la
matriz fundamental viene dada por
t
e (cos t + 12 sent) e3t (cos t 12 sent)
.
(t) =
1
1
t
3t
e (sent 2 cos t) e (sent + 2 cos t)
De donde se desprende que no todas las soluciones tienden a cero cuando t .
5.4
En la secci
on anterior vimos que la estabilidad de un sistema lineal autonomo se puede
caracterizar en terminos de los autovalores de la matriz A. Lo cual a su vez nos conduce
a determinar cu
ando las races del polinomio caracterstico Pn (z) = det(I A) = 0
tienen todas parte real negativa. El criterio de Routh-Hurwitz que a continuaci
on
estudiaremos nos da la condici
on necesaria y suciente para que esto acontezca.
Diremos que
Pn (z) = a0 z n + a1 z n1 + + an1 z + an ,
a0 > 0,
(5.6)
con ai R, es un polinomio de Hurwitz si todas sus races tienen parte real negativa.
Lema 5.8 Si Pn (z) es un polinomio de Hurwitz, entonces ai > 0, i = 0, 1, . . . , n.
Demostraci
on. Sean z1 , . . . , zp las races reales de Pn (z) y 1 , . . . , p sus correspondientes multiplicidades. Denotemos con zp+1 , . . . , zp+q las races complejas de Pn (z)
otesis
y 1 , . . . , q sus respectivas multiplicidades. Por hip
Rezk < 0,
k = 1, 2, . . . , p + q.
Sabemos que
Pn (z) = a0 pk=1 (z zk )k qj=1 z zp+j j z z p+j j .
Pongamos zk = bk , con bk > 0 , k = 1, . . . , p y zj+p = bj+p + icj , con bj+p > 0 , j =
1, . . . , q. As
Pn (z) = a0 pk=1 z + bk k qj=1 z 2 + 2bj+p z + b2j+p + c2j j ;
lo cual implica que todos los coecientes de Pn (z) son positivos.
Corolario 5.9 En el caso n 2 la condici
on anterior es suficiente tambien; es decir,
todo polinomio de segundo grado es de Hurwitz si y s
olo si ai > 0, i = 0, 1, 2.
5.4.
97
Para n 3 la condici
on del Lema (5.8) es solo necesaria. Considere por ejemplo el
polinomio
P3 (z) = z 3 + z 2 + z + 1.
Todos sus coecientes son positivos sin embargo sus races son z1 = 1, z2 = i, z3 = i.
Denotemos por Hn al conjunto de todos los polinomios de Hurwitz de grado n.
Definici
on 5.5 Diremos que F (z) es un polinomio asociado a Pn (z), si existe > 0 tal
que F (z) = (1 + z)Pn (z) + Pn (z).
Lema 5.10 Sea Pn (z) Hn . Entonces su polinomio asociado F (z) Hn+1 .
Demostraci
on. Denamos una familia de polinomios F (z) como sigue
F (z) = (1 + z)Pn (z) + Pn (z),
[0, 1].
Demostremos que F (z) Hn+1 , para todo [0, 1]. Teniendo en cuenta que > 0,
se sigue que F0 (z) = (1 + z)Pn (z) Hn+1 .
Es conocido que las races de cualquier polinomio dependen continuamente de sus
coecientes. Por lo tanto, los ceros de F (z), zj : [0, 1] C , j = 1, . . . , n + 1 son
funciones continuas.
) = 0 y
Supongamos que existe un
(0, 1] y un ndice 1 j n, tal que Re zj (
). Denotando con zj (
) = i ( = 0), tenemos que F (zj ) = 0 y
Re zj () < 0, [0,
F (z j ) = 0. Lo cual implica que
Pn (i)
(1 + i)Pn (i) =
(1 i)Pn (i) =
Pn (i).
A0 > 0.
(5.7)
(5.8)
De (5.7), obtenemos
98
(5.9)
on a)
Es obvio que v0 (z) = 0 si y solo si z = 1/ o F (z) = 0. Por lo tanto, la armaci
se verica para = 0.
Probemos que esta disposicion de las races de v0 (z) se mantiene con respecto a
(0, 1) y un
los polinomios v (z), [0, 1). En efecto, supongamos que existen
) = i es raz del polinomio v (z). Entonces
1 j n + 2 tales que zj (
v (i) = v (i) = 0.
As
(i 1)F (i) +
F (i) = 0,
y
(i + 1)F (i) +
F (i) = 0.
De donde obtenemos que
[
2 1 2 2 ]F (i) = 0.
2 1 2 2 ] < 0. Lo cual a su vez
Teniendo en cuenta que
2 < 1, se sigue que [
implica que F (i) = 0. Lo cual es una contradiccion. Con esto queda probado a).
Sustituyendo F (z) y = 2An /An+1 en v (z), obtenemos
2An
2An
n+2
A0 z
++
An1 + An1 z 2 + (1 )An z + ( 1)An+1 .
v (z) =
An+1
An+1
Notemos que
v1 (z) = (z 1)F (z) + F (z),
por lo cual v1 (z), de acuerdo a (5.9), lo podemos escribir como
v1 (z) = 2 z 2 Pn (z),
con
2An
.
An+1
5.4.
99
Luego, v1 (z) posee dos races nulas ya que el termino libre de Pn (z) es distinto de cero.
Ahora, teniendo en cuenta la disposici
on de las races de v para v [0, 1) y la
relacion existente entre las races y los coecientes de un polinomio1 , obtenemos que
n+2
j=1
An (1 )
An
1
=
=
,
zj ()
An+1 ( 1)
An+1
[0, 1).
De donde sigue
n+2
j=1
Re
An
1
=
,
zj ()
An+1
[0, 1) y
lim
n+2
Re
j=1
An
1
=
.
zj ()
An+1
De aqu se desprende que las races que tienden a cero cuando 1 son la raz positiva
y una raz negativa. Si fuesen dos races con parte real negativa las que tienden a cero,
tendramos que
n+2
1
= ,
Re
lim
zj ()
1
j=1
a1 a0 0 0
a3 a2 a1 a0
a5 a4 a3 a2
Mn =
0 0 0 0
y sean
0
0
0
.
0 an
a1 a0
, . . . , n = an n1 .
1 = a1 , 2 =
a3 a2
Teorema 5.12 (Criterio de Routh-Hurwitz) Las races de Pn (z) poseen parte real negativa si y solo si i > 0, i = 1, . . . , n.
Demostraci
on. (Necesidad) Supongamos que Pn Hn . Realicemos la prueba por
inducci
on. Sea P1 (z) = a0 z + a1 . As z = a1 /a0 < 0 y 1 = a1 > 0. Consideremos
P2 (z) = a0 z 2 + a1 z + a2 . Luego por el Corolario 5.9 , 1 y 2 son positivos.
Supongamos que para todo Pn Hn , se verica que j > 0, j = 1, . . . , n. Sea
F Hn+1 . De acuerdo con el Lema 5.11, existe > 0 y Pn Hn tal que
F (z) = (1 + z)Pn (z) + Pn (z).
1
F
ormulas de Vi`ete, Apendice 10.1
100
MF =
0
0
0
2an
2ca1 2ca0
0
0
2ca3 2ca2 2ca1
.
MF =
0
0
0
2an
De donde se sigue que
2 = (2c)2 2 , . . . ,
n = (2c)n n ,
n+1 = 2an
n.
1 = 2c1 ,
j > 0, j = 1, . . . , n + 1.
Teniendo en cuenta que j > 0, j = 1, . . . , n, se sigue que
(Suficiencia) Sea Pn (z) un polinomio tal que
aj > 0,
j = 1, . . . , n
j > 0,
j = 1, . . . , n.
con
2An
> 0.
An+1
5.5.
101
Criterio de Routh
5.5
Criterio de Routh
El Criterio de Routh-Hurwitz s
olo nos provee respuesta cuando las races del polinomio
tienen parte real negativa. Ahora esbozaremos el criterio de Routh, el cual nos permite
saber cuantas races tienen parte real positiva.
A continuaci
on vamos a describir el diagrama de Routh. Al polinomio
Pn (z) = a0 z n + a1 z n1 + + an1 z + an ,
(5.12)
Hn+1
a0
a1
b1
c1
d1
a2
a3
b3
c3
d3
a4
a5
b5
c5
d5
a6
a7
b7
c7
d7
a2i
a2i+1
b2i+1
c2i+1
d2i+1
a3
b3
b3
c3
1 a0 a4
b3 =
a1 a1 a5
1 a1
c3 =
b1 b1
1 b1
d3 =
c1 c1
a5
b5
b5
c5
1 a0 a6
b5 =
,
a1 a1 a7
1 a1 a7
c5 =
,
b1 b1 b7
1 b1 b7
d5 =
,
c1 c1 c7
Convendremos en a
nadir ceros a cada la para hacer posible el c
alculo y que el n
umero
de las es n + 1. La matriz Hn+1 describe el diagrama de Routh.
Tiene lugar el siguiente
Teorema 5.13 (Criterio de Routh) El n
umero de races del polinomio Pn (z) que tienen
parte real positiva es igual al n
umero de cambios de signos de la primera columna de la
matriz Hn+1 ; es decir de (a0 , a1 , b1 , c1 , ).
102
1
2
H4 =
2
2
1
2
0
0
0
0
0
0
0
0
.
0
0
En este caso la primera columna sufre dos cambios de signos, por lo tanto el
polinomio tiene dos races con parte real positiva. Pruebe que estas races son
complejas conjugadas.
2. Caso Singular: Alg
un coeciente de la primera columna es cero.
En este caso se sustituye el elemento cero por una cantidad = 0 de signo
arbitrario y se procede con el algoritmo. Si vuelve a aparecer otro coeciente
igual a cero en la primera columna se vuelve a sustituir por otra cantidad = 0
y as sucesivamente. Estas sustituciones estan fundamentadas en [13].
Consideremos el polinomio
P3 (x) = x3 x2 x + 1
El diagrama de Routh viene dado por
1 1 0 0
1
1 0 0
H4 =
0
0 0 0
0
0 0 0
El cual no nos permite aplicar el Criterio de
riores el diagrama sustitutivo es
1 1
1
1
H4 =
0
1
0
0
0
.
0
0
5.6.
103
De donde se sigue que el polinomio tiene dos races con parte real positiva.
Muestre que todas las races son reales.
Conjetura: Todo polinomio con coecientes reales cuyas races son todas reales
siempre el diagrama de Routh es singular.
5.6
||C(t)||dt < ,
(5.14)
0
t
At
eA(ts) C(s)x(s)ds .
x(t) = e x0 +
0
Como todos los autovalores de la matriz A tienen parte real negativa, existen constantes
positivas K > 0 y > 0 tales que
||eAt || Ket
t 0.
t
t
K||C(s)|| ||x(s)||es ds.
||x(t)||e K||x0 || +
0
K||C(s)||ds
, t 0,
104
5.7
t > ,
(5.15)
Definici
on 5.6 La solucion trivial de (5.15) es exponencial asint
oticamente estable, si
existen constantes K 1 y > 0 tales que toda soluci
on x(t), con x(t0 ) = x0 , satisface
que
||x(t)|| K||x0 ||e(tt0 ) , t t0 .
Proposici
on 5.16
Sea (t) la matriz fundamental del sistema (5.3) y K(t, s) = (t)1 (s) la matriz de
transici
on. Entonces todas las soluciones de (5.3) son uniformemente estable si y s
olo si
existe una constante M > 0, tal que
||K(t, s)|| M
t, s : t0 s t < .
(5.16)
La demostracion es una consecuencia inmediata del hecho que x(t, t0 , x0 ) = K(t, t0 )x0 .
Teorema 5.17 La solucion trivial de (5.3) es exponencial asintoticamente estable si y
solo si es uniforme asint
oticamente estable.
Demostraci
on. Claramente exponencialmente estable implica uniforme asint
oticamente estable.
Demostremos el recproco. Sabemos que existe > 0, tal que ||x(t0 )|| < implica
que lim ||x(t)|| = 0. Luego, dado > 0, existe T = T () > 0 tal que: si t t0 + T,
t
entonces ||x(t)|| < . Tomemos > 0 de modo que = /2 y sea n N tal que n > 1.
Denamos
1
x(t)
, t t0 , x(t0 ) = x0 .
(t) =
||x0 ||
n
1 < y por lo tanto ||(t)|| < , si t t + T. Lo cual implica
Entonces ||(t0 )|| = n
0
2
1 1
, si t t0 + T.
||x(t)|| < ||x0 ||
2
n
Haciendo tender n , se obtiene que
1
||x(t)|| ||x0 ||,
2
Mostremos que
||x(t)||
||x0 ||
,
2r
si t t0 + T.
si t t0 + rT,
r N.
5.7.
105
, t > .
(5.17)
Entonces
1
1
||x(t)|| < ||x(t0 + T )|| 2 ||x0 || , si t t0 + 2T.
2
2
El resto sigue por induccion.
Teniendo en cuenta que 2r = exp(r ln 2), obtenemos ||x(t)|| exp(r ln 2)||x0 ||,
si t t0 + rT, r N.
Sea t t0 +T arbitrario. Entonces existe un r N tal que t0 +rT t < t0 +(r+1)T.
De donde se sigue que (t t0 T )/T r lo cual a su vez implica que exp(r ln 2)
exp[ ln 2(t t0 T )/T ], y por tanto
t t0
(5.18)
, si t t0 + T.
||x(t)|| ||x0 || exp(ln 2) exp ln 2
T
Supongamos ahora que t [t0 , t0 + T ]. Como la solucion trivial de (5.3) es uniformemente estable, existe una constante M > 0 tal que
||x(t)|| M ||x0 || ,
si t t0 .
(5.19)
(t, x) J D,
(5.20)
106
Demostraci
on. Probemos (a). Sea x(t) la u
nica soluci
on de (5.15) tal que x(t0 ) = x0 .
on
Supongamos que [t0 , ) es el intervalo maximal de existencia de x(t). Haciendo variaci
de par
ametros, de (5.15) obtenemos que
t
K(t, s)f (s, x(s))ds, t [t0 , );
(5.21)
x(t) = K(t, t0 )x0 +
t0
||x(t)|| M ||x0 || +
t [t0 , ).
(5.23)
t
m(s)||x(s)||ds,
||x(t)|| M ||x0 || + M
t [t0 , ).
(5.24)
t0
t0
t
t0
m(s)ds
M ||x0 ||e
t0
m(s)ds
t [t0 , ).
Esto prueba que las soluciones del sistema (5.15) son prolongables a innito y uniformemente estable.
La prueba de (b) es an
aloga a la de (a),
olo se debe tener en cuenta que: si
t+1s
+
on continua y t m(s)ds C, t t0 , entonces
m : [t0 , ) R es una funci
t
C
, t 0 , > 0.
e((ts)) m(s)ds
1 exp()
t0
En efecto, del teorema del valor medio para integrales se sigue que:
tk
tk
e(ts) m(s)ds = ek
m(s)ds
tk1
ek
tk
m(s)ds em C
tk1
e(ts) m(s)ds
ek C =
t0
k=0
C
.
1 e
Para concluir esta seccion probaremos un resultado conocido como el Teorema de Estabilidad de la primera aproximaci
on. Despues de su demostracion explicaremos el por
que del nombre.
5.7.
107
(5.25)
lim
t
K(t, s)f (s, x(s))ds, t [t0 , t ].
(5.26)
x(t) = K(t, t0 )x0 +
t0
t
(tt0 )
K||x(t0 )|| +
K||x(s)||es ds.
||x(t)||e
t0
, t ].
/2.
La contradicci
on prueba que
||x(t)|| K||x(t0 )||e(tt0 )/2 ,
para todo t t0 .
Consideremos el sistema
x = g(x),
||x||0
||G(x)||
= 0.
||x||
108
5.8
Comentarios y Sugerencias
En este captulo nos hemos restringido a caracterizar los conceptos mas usuales de la
teora de la estabilidad. Es muy grande la cantidad de deniciones que se han dado
con el n de obtener los mejores resultados posibles en esta direccion. Una discusi
on
detallada, acompa
nada de una extensa bibliografa se encuentra en [27], [35].
Un problema muy interesante, que tampoco hemos tocado, es el concerniente a
la caracterizaci
on de las perturbaciones que preservan las propiedades del sistema sin
perturbar. M
as concretamente, sean
x = A(t)x,
(5.27)
y = A(t)x + f (t).
(5.28)
5.9.
109
Ejercicios y Problemas
5.9
Ejercicios y Problemas
0 1 2
5 6
A=
, A= 0 0 3
3 4
0 0 0
0 0
A= 1 0
0 1
0
1
0
0
0
0
1
0
y =
an an1 an2
0
y,
a2 a1
0
1
0
0
0
0
0
1
0
0
.
A=
an an1 an2 a2 a1
7. Estudie la estabilidad de la solucion trivial de la ecuaci
on x + x = 0.
8. Considere la ecuaci
on
x = sen(ln t) + cos(ln t) 2a x.
Pruebe que la soluci
on trivial x 0 es asintoticamente estable, si a > 1.
Indicaci
on: Utilice el hecho que
1 t
sen(ln s) + cos(ln s) 2a ds = 2(1 a).
lim sup
t+ t 1
110
a 0 , b > 0.
t
trazaA(s)ds > .
lim inf
t
5.9.
111
Ejercicios y Problemas
t
(t)1 (s)[B(s) A(s)](s)ds, t0 0.
(t) = (t) +
t0
||A(t) B(t)||dt < ,
0
(t)1 (s)[B(s) A(s)](s)ds.
(t) = (t)
t
20. Pruebe que: si 0 ||B(t)||dt < , entonces cualquier solucion del sistema x =
B(t)x no identicamente igual a cero converge a un vector distinto de cero cuando
nica solucion la cual tiende a
t . Ademas, para todo c Rn , existe una u
c cuando t .
Indicaci
on: En los ejercicios anteriores elija A = 0 y = I.
21. Sean A0 , . . . , Am matrices reales n n. Pruebe que si todos los autovalores de la
on trivial del sistema
matriz A0 tienen parte real negativa, entonces la soluci
y = (A0 tm + A1 tm1 + + Am )y
es asintoticamente estable sobre el intervalo (0, +).
1
tm+1 .
Ayuda: Introduzca una nueva escala de tiempo = m+1
22. Considere el sistema
xj = fj (x1 , , xj ) ,
j = 1, , n
(5.29)
112
,
S (t) = S(t) 1
K
y a + S(t)
mS(t)
D0 ,
x (t) = x(t)
a + S(t)
descrito en la pag. 83. Donde S(t) y x(t) son las densidades de las poblaciones
presa y depredador, respectivamente. , K, m, y, a y D0 son constantes positivas.
Halle los puntos de equilibrio del sistema, dependiendo de las distintas conguraciones de parametros, estudie su estabilidad local.
Captulo 6
Sistemas Hiperb
olicos. Variedad Estable e Inestable
6.1
Consideremos el sistema
x = Ax
(6.1)
(6.2)
|e P x| K||P x||e
At
si t 0,
(6.3)
t 0,
(6.4)
si
para todo x Rn .
Demostraci
on.
1. Es conocido que existe una matriz invertible U tal que
A 0
1
,
U AU = diag[A , A+ ] =
0 A+
donde A es una matriz k k , cuyos autovalores tienen parte real negativa y
A+ es una matriz (n k) (n k) cuyos autovalores tienen parte real positiva.
113
114
Denamos
Es = {x Rn : x = U y,
y = (y1 , 0)T ,
y1 Rk },
Eu = {x Rn : x = U y,
y = (0, y2 )T ,
y2 Rnk }.
(6.5)
donde
x1 = U (y1 , 0)T Es ,
x2 = U (0, y2 )T Eu .
Como U es invertible, se tiene U (y1 , 0)T , U (y2 , 0)T , ..., U (yk , 0)T es una base de
alogamente, se prueba que dim Eu = nk.
Es . Lo cual implica que dim Es = k. An
un
Probemos que Es es invariante bajo A. Dado x Es , entonces x = U y para alg
y = (y1 , 0)T donde y1 Rk . Por lo tanto
Ax = U diag[A , A+ ]U 1 x
A y1
y1
A 0
=U
Es .
= U
0
0
0 A+
An
alogamente se prueba que AEu Eu .
2. Sea x Rn , entonces x = x1 + x2 , donde
x1 = P x = U (y1 , 0)T , y1 Rk
x2 = Qx = U (0, y2 )T , y2 Rnk .
115
A y1
y1
=U
0
0
y1
0
+U
0
y2
= AP x.
t 0.
An
alogamente, obtenemos
||eAt P x|| K1 ||U || ||U 1 || ||P x||et ,
t 0.
6.2
x2 = x2 + x31 ,
(6.7)
116
cuya soluci
on general viene dada por
x1 (t) = aet
x2 (t) = (b
a3 t a3 3t
)e + e ,
4
4
t+
W u = {(x1 , x2 ) : x2 = x31 /4
con
x2 R}
x2 = W s
x1
t (a, b) =
a3
a3
ae , (b )et + e3t
4
4
(a, b) R2 ;
117
es decir los ujos t y t son conjugados. En otras palabras h transforma orbitas del
orbitas del sistema (6.7). Osea que topologicamente el
sistema x1 = x1 , x2 = x2 en
diagrama de fase de ambos sistemas son basicamente los mismos.
Es claro que para sistemas no-lineales no se puede esperar un resultado global como
el obtenido en el ejemplo anterior. Sin embargo localmente este resultado tiene validez.
Antes de enunciarlo con precisi
on, vamos a introducir un par de deniciones.
Definici
on 6.2 Se dice que un punto de equilibrio x0 del sistema x = F (x), es un punto
localmente hiperb
olico de tipo k para el sistema x = F (x), si existen una vecindad acotada
y abierta V de x0 y dos subconjuntos Sk y Unk de Rn tales que
1. Sk Unk = {x0 }, dim Sk = k, dim Unk = n k, es decir, Sk y Unk son
homeomorfos a las bolas abiertas unitarias de Rk y Rnk , respectivamente.
2. Sk y Unk son positiva y negativamente invariantes, respectivamente.
3. La orbita de toda soluci
on de x = F (x) que permanece en V para t 0(t 0) tiene
on con valor inicial en Sk (Unk )
su valor inicial en Sk (Unk ). La orbita de toda soluci
se aproxima exponencialmente a x0 cuando t (t ).
Los conjuntos Sk y Unk se denominan las variedades locales estable e inestable del sistema
x = F (x) que pasan por x0 , respectivamente.
Definici
on 6.3 Sea un subconjunto de Rn tal que 0 . Supongamos que Rn se
descompone como en la proposicion 6.1, es decir , Rn = Es Eu . Diremos que es
tangente a Es ( es tangente a Eu ) en cero, si
||Qx||
||P x||
=0
lim
= 0 , con x .
lim
x0 ||P x||
x0 ||Qx||
Estamos suponiendo que es tal que tiene sentido plantearse la existencia de los lmites
involucrados.
En el ejemplo del sistema (6.7) el conjunto = (W u ) = {(x1 , x2 ) : x2 = x31 /4} es
tangente a la variedad inestable Eu = {(x1 , 0) : x1 R} del sistema x1 = x1 , x2 = x2 ,
donde P x = (0, x2 ) , Qx = (x1 , 0).
El siguiente resultado caracteriza a una clase de funciones para la cual el sistema
x = Ax + f (x)
(6.8)
118
t 0,
si x(0) Sk ,
b) ||x(t)|| M et ||x(0)||,
t 0,
si x(0) Unk ,
At
A(ts)
x(t) = e x +
P f (x(s))ds
t 0 (6.9)
para alg
un x Es = P Rn .
2. Toda soluci
on acotada x(t) de (6.8) en (, 0] se representa como
x(t) = eAt x+ +
eA(ts) Qf (x(s))ds+
0
eAs P f (x(t+s))ds,
t 0, (6.10)
para alg
un x+ Eu = QRn .
Demostraci
on. Demostremos la parte 1). Supongamos que x(t) es una solucion
acotada de (6.8) sobre el intervalo [0, ). Entonces existe M > 0 tal que ||x(t)|| M
119
para todo t 0. Como Q es un operador continuo, existe una constante L tal que
||Qx|| L||x|| para todo x Rn . Lo cual implica que
||Qx(t)|| M L,
para todo
t 0.
(6.11)
Como f es continua, existe N > 0 tal que ||f (x)|| N para todo x BM (0). Por lo
tanto
||f (x(t))|| N para todo t 0.
(6.12)
Por ser x(t) soluci
on de (6.8), tenemos que para todo [0, ), ella se puede representar como sigue
t
eA(ts) f (x(s))ds, t [0, ).
(6.13)
x(t) = eA(t ) x( ) +
A(t )
Qx(t) = e
Qx( ) +
eA(ts) Qf (x(s))ds,
t [0, ).
t .
*
*
(ts)
* eA(ts) Qf (x(s))ds* K
e
||Qf (x(s))||ds KL
e(ts) ||f (x(s))ds
*
*
t
t
KLN
< , t .
e(ts) ds
KLN
t
Lo cual implica que la integral t eA(ts) Qf (x(s))ds es convergente. Haciendo tender
+ en (6.13), obtenemos que
t
t
A(t )
A(ts)
Qx( ) +
e
Qf (x(s))ds =
eA(ts) Qf (x(s))ds,
Qx(t) = lim e
o equivalentemente
Qx(t) =
(6.14)
At
eA(ts) P f (x(s))ds.
P x(t) = e P x(0) +
(6.15)
Sustituyendo las expresiones (6.14) y (6.15) en x(t) = P x(t) + Qx(t), obtenemos (6.9),
on del sistema (6.8).
con x = P x(0). Derivando (6.9), obtenemos que (6.9) es soluci
120
x, y B = {x Rn : ||x|| < }.
(6.16)
En primer lugar probaremos la existencia de la variedad estable Sk . Para ello estudiaremos la existencia de soluciones exponencialmente decrecientes a cero cuando t
del sistema (6.8) sobre el intervalo [0, ). Sean K, son las constantes dadas en (6.3)(6.4). Sin perdida de generalidad podemos suponer que los proyectores P, Q satisfacen
la siguiente estimacion
||P x|| K||x||
||Qx|| K||x||,
x Rn .
(6.17)
Sean > 0, 0 < < y x Es B/2K = {x : ||x|| < /2K}. Denotemos por
F(x , ) = C[[0, ), Rn ] : |||| = sup et ||(t)|| , P (0) = x .
0t<
Mostremos que F(x , ) es un subconjunto cerrado del espacio de Banach de las funciones continuas y acotadas de [0, ) en Rn con la topologa inducida por la norma
on convergente a . Es claro que
|| || . En efecto, sea {n } F(x , ) una sucesi
C[[0, ), Rn ]. Por otra parte, se tiene
et ||(t)|| et ||n (t) (t)|| + et ||n (t)|| et ||n (t) (t)|| + ||n || + .
Haciendo tender n , se sigue que |||| = sup0t et ||(t)|| . Ademas, se
satisface que
P (0) = P lim n (0) = lim P n (0) = x .
n
Lo cual prueba que F(x , ) y por lo tanto (F(x , ), |||| ) es un espacio de Banach.
Sea T : F(x , ) C[[0, ), Rn ] denido como sigue
At
A(ts)
e
P f (x(s))ds
eAs Qf (x(t + s))ds, t 0. (6.18)
T x(t) = e x +
0
Es claro que T esta bien denido. Mostremos que T : F(x , ) F(x , ) con una
adecuada eleccion de . Aplicando el operador P a (6.18) y teniendo en cuenta que
P Q = 0, obtenemos
eAs P Qf (x(s))ds = P x = x .
P T x(0) = P x
0
Como x = 0 es hiperb
olico de tipo k para el sistema lineal x = Ax, de (6.18) se sigue
t
(ts)
e
||P f (x(s))||ds + K
e(st) ||Qf (x(s))||ds.
||T x(t)|| Ke ||x || + K
0
121
Ahora, de la acotaci
on de los operadores P y Q y el hecho que f es Lipchitziana, es
decir de (6.16)-(6.17), obtenemos
t
e(ts) es es ||x(s)||ds +
||T x(t)|| Ket ||x || + K 2 ()
0
2
(st) s s
e
e e ||x(s)||ds,
K ()
t
t
t
2
e(ts) es ds +
||T x(t)|| Ke ||x || + K ()||x||
0
(st) s
K ()||x||
e
e ds.
(6.19)
3K 2
3K 2 ()
+
() ,
t 0,
3K 2
1
()||x y|| ||x y|| .
At
x (t, x ) = e x +
A(ts)
e
0
P f (x (s, x ))ds
3K 2 () t
e ||x (, x ) x (, x )|| ,
1
)|| K||x x
|| + ||x (, x ) x (, x )|| ,
et ||x (t, x ) x (t, x
2
||,
||x (, x ) x (, x )|| 2K||x x
)|| 2Ke/2t ||x x
||.
||x (t, x ) x (t, x
(6.21)
Poniendo x
= 0 en (6.21), obtenemos la estimacion 3.a) del Teorema 6.2, con M = 2K
y = /2.
122
Sea Sk el conjunto de todos los valores iniciales de las soluciones de (6.8) que
permanecen dentro de B para todo t 0 y P x(0) B/2K . Por lo visto previamente,
se sigue que
Sk = x Rn : x = x (0, x ), x Es B/2K .
on denida por
Sea g : Es B/2K Sk la aplicaci
As
e
x )|| ||x x
||
Q[f (x (s, x )) f (
x (s, x
))]ds.
||g(x ) g(
0
As
e
Q[f (x (s, x )) f (
x (s, x
))]ds 2K 3 ()||x x
||
0
4K 3 ()
.
x )|| ||x x
|| 1
||g(x ) g(
3
x , x
Es B/2K .
123
Por lo tanto
||x (T, x )|| < /2K,
x Es B/2K ,
con
T = ln(2K)/.
eAs Qf (x (s, x ))ds|| K 2
es ||x (s, x )|| ||x (s, x )||ds
||Qx (0, x )|| = ||
0
2K 3
||Qx (0, x )||
(2K||x ||) 0,
||x ||
2K 3
(2K||x ||)||x ||
||x || 0.
124
6.3
Comentarios y Sugerencias
Para sistemas a coecientes variables tambien tiene sentido caracterizar a los sistemas
hiperb
olicos. Para ello se introduce la denici
on de dicotoma exponencial.
Consideremos la ecuaci
on diferencial
x = A(t)x
(6.22)
donde A(t) es una matriz real nn, continua sobre R. Sea (t) una matriz fundamental
del sistema (6.22).
Definici
on 6.4 Diremos que el sistema (6.22) admite una dicotoma exponencial sobre
R, si existen proyectores P y Q = I P y constantes positivas y K tales que
||(t)P 1 (s)|| Ke(ts) ,
||(t)Q
(s)||
(ts)
Ke
t s,
(6.23)
t s.
(6.24)
La denici
on de dicotoma exponencial claramente es una generalizaci
on para sistemas
a coecientes variables del concepto de punto hiperb
olico para un sistema a coecientes
constantes x = Ax. Es mas, el sistema x = Ax admite una dicotoma exponencial si
y solo si A es una matriz hiperb
olica. Desgraciadamente para sistemas a coecientes
variables esta caracterizaci
on en general es falsa. Basta analizar el ejemplo dado en las
p
aginas 95-96.
La denici
on de dicotoma exponencial se puede formular de una manera equivalente. Concretamente, el sistema (6.22) posee una dicotoma exponencial sobre R si y
solo si se verican las condiciones siguientes
i)
t, s R
(6.25)
ii)
t s
(6.26)
iii)
s t,
(6.27)
donde K(t, s) = (t)1 (s) es la matriz de transicion del sistema (6.22) y los proyectores P (t) y Q(t) vienen dados por
P (t) = (t)P 1 (t) y
125
(Y (t), Z(t))
+
2
1
(Y (t), Z(t))
>
, t R.
2
K
Eligiendo = 1/2K, se sigue que existe una constante > 0 tal que
2sen
126
6.4
Ejercicios y Problemas
x, y B = {u Rn : ||u|| < }.
Captulo 7
7.1
Consideremos el sistema
Estabilidad Orbital
x = F (x) ,
x D,
(7.1)
t+
t+
Por otra parte, tomando tn = n y teniendo en cuenta que p(t) es una solucion
peri
odica, obtenemos que
||p(tn ) p(tn + c)|| = ||p(n) p(n + c)|| = ||p(0) p(c)|| > 0.
Lo cual es una contradicci
on, ya que limn ||p(tn ) p(tn + c)|| = 0.
Para solventar esta situaci
on enunciaremos un concepto de estabilidad para soluciones periodicas, el cual es mas adecuado en este contexto. Denotemos por x+0 la
semi-orbita positiva generada por (t, x0 ).
Definici
on 7.1 Diremos que x+0 es orbitalmente estable, si dado > 0, existe > 0 tal
que si dist(y0 , x+0 ) < , entonces dist((t, y0 ), x+0 ) < , t 0.
Si la soluci
on es orbitalmente estable y existe un > 0 tal que
lim dist((t, y0 ), x+0 ) = 0,
t+
y0
tal que
128
Como p es solucion de (7.1), entonces p (t) = F (p(t)). Derivando esta ecuacion, obtenemos que p (t) es solucion de la ecuacion variacional
y =
F
p(t) y.
x
(7.2)
Como p es peri
odica, entonces p tambien lo es, y as, un multiplicador caracterstico
del sistema (7.2) es igual a uno.
El siguiente teorema provee condiciones sucientes que garantizan la estabilidad
orbital asint
otica de una orbita peri
odica. Aqu se utilizaran las mismas ideas de la
demostracion del Teorema 2.2, p.p.323-327, que aparece en el Libro de Coddington &
Levinson [6]. Solo, que las pondremos en terminos de dicotomas y aclararemos el nal
de la prueba en [6], la cual es muy confusa.
Teorema 7.1 (Estabilidad Orbital Asint
otica) Sean {j }n1 los multiplicadores caractersticos
del sistema (7.2). Supongamos que 1 = 1 es simple y los restantes multiplicadores |j | < 1
para todo j = 2 . . . , n. Entonces existe un > 0 tal que si una soluci
on de (7.1) satisface
||(t1 ) p(t0 )|| < para algunos t0 y t1 , existe una constante c tal que
lim ||(t) p(t + c)|| = 0.
(7.3)
Demostraci
on. Asumamos que hemos trasladado y rotado las coordenadas de modo
ultiplo del vector unitario e1 = (1, 0, 0, . . . , 0)T .
que p(0) = 0 y p (0) es m
Sea x una soluci
on arbitraria de (7.1). Denotando por z = x p(t) obtenemos que
z es solucion del sistema
z = F (z + p(t)) F (p(t)) =
F
p(t) z + f (t, z),
x
(7.4)
F
x
cuando ||z|| 0,
(7.5)
cuando ||z|| 0.
(7.6)
Teniendo en cuenta el Lema 1.10, f (t, 0) = 0 y (7.5), se sigue que existe una funci
on
continua y creciente : [0, ) [0, ) , (0) = 0 tal que
||f (t, z1 ) f (t, z2 )|| < ()||z1 z2 ||,
t R
(7.7)
7.1.
129
Estabilidad Orbital
1
arg 2k
1
Ln = ln || + i
+
k Z.
Teniendo en cuenta que el multiplicador 1 = 1 es simple y los restantes n 1 multiplicadores caractersticos estan dentro del disco unitario, se sigue que la matriz B
tiene un autovalor = 0 simple y los restantes tienen parte real negativa. Razonando
de manera an
aloga a la demostraci
on de la Proposici
on 6.1, obtenemos que existe una
matriz real e invertible M tal que
0 0
B=M
M 1
0 C
donde C es una matriz (n 1) (n 1) cuyos autovalores tienen parte real negativa.
Ademas, Rn admite una descomposicion en una suma directa
Rn = Es Ec ,
(7.8)
si t 0,
(7.9)
si t 0,
(7.10)
para todo x Rn .
odica, existe
Ahora, teniendo en cuenta que L(t) es de clase C 1 , invertible y peri
una constante h > 0 tal que ||L(t)||, ||L1 (t)|| h, t R. Por lo tanto, (7.9)-(7.10)
implican que existe una constante, la cual sin perdida de generalidad la denotaremos
por K, tal que se verican las siguientes estimaciones
||(t)P 1 (s)|| = ||L(t)eBt P eBs L1 (s)|| Ke(ts) ,
||(t)Q
Bs
(s)|| = ||L(t)e Qe
Bt
(s)|| K,
t s,
(7.11)
t s.
(7.12)
Sean > 0, 0 < < y x Es B/2K = {x : ||x|| < /2K}. Denotemos por
F(x , ) = C[[0, ), Rn ] : |||| = sup et ||(t)|| , P (0) = x .
0t<
130
Denamos un operador T : F(x , ) C [0, ), Rn como sigue
T (t) = (t)x +
(t)P
Ke
||(t)P
||x || +
Ket ||x || +
(ts)
Ke
||x || + K()|||| e
e
ds +
0
t
|||| et .
Ke ||x || + K()
( )
Ke
K()es |||| ds
()s
ds
()K
4K()
|||| /2 +
,
( )
t 0.
4K()
1
||1 2 || ||1 2 || ,
1 , 2 F(x , ).
nico
Por lo tanto T es una contraccion sobre F(x , ). Denotemos por (t, x ) al u
punto jo de la aplicaci
on T, el cual se representa como sigue
y verica que
(7.13)
|| (t, x )|| et ,
t 0.
(7.14)
t 0.
(7.15)
7.1.
131
Estabilidad Orbital
g(x ) = (0, x ) = x
Q(s)1 [f ( (s, x )) f ( (s, x
x )|| ||x x
||
))]ds.
||g(x ) g(
0
4K
1
Q(s)1 [f (x (s, x )) f (
()||x x
x (s, x ))]ds
|| ||x x
||
2
0
y
1
x )|| ||x x
||, x , x
Es B/2K .
||g(x ) g(
2
Lo cual prueba la inyectividad de g.
Teniendo en cuenta que g1 = P, se sigue que existe un > 0 tal que
g : Es B/2K S
es un difeomorsmo. Adem
as, prueba que S es difeomorfo a la bola abierta unitaria
n1
s
, ya que E B/2K es una bola abierta en Es , con la topologa inducida en Es
en R
por la topologa usual de Rn . En particular S tiene dimension n 1.
Notemos que S no necesariamente es un conjunto positivamente invariante a menos
que || (0, x )|| < /2K. Pero las soluciones (t, x ) satisfacen la siguiente estimacion
|| (t, x )|| et ,
t 0.
Por lo tanto
|| (T, x )|| < /2K,
x Es B/2K ,
con
T = ln(2K)/.
132
2K 2
||Q (0, x )|| 2K 2
(2K||x ||)||x ||
es/2 (2K||x ||)||x ||ds =
0
y
2K 3
||Q (0, x )||
(2K||x ||) 0,
||x ||
||x || 0.
t [t0 , t0 + ].
t t .
7.2.
133
Aplicaci
on de Poincare.
7.2
Consideremos el sistema
Aplicaci
on de Poincar
e.
x = f (x),
(7.16)
Observaci
on 7.1 La seccion transversal tambien puede definirse como una hipersuperficie suave de dimensi
on n 1 que pasa por el punto x0 , que no sea tangente a en
x0 . En este caso debe cumplirse que < f (x), n(x) >= 0, donde n(x) es el vector normal
a en x.
De la manera en que hemos denido la secci
on transversal, es llamado un hiperplano el cual representamos geometricamente en la siguiente gura.
x0
f (x0 )
on
Definici
on 7.3 Sean una orbita peri
odica de periodo que pasa por x0 , una secci
on de Poincare
transversal a en x0 y U una vecindad de x0 , con U . La aplicaci
P : U se define como
P (x) = p( (x), x),
donde (x) es el tiempo del primer retorno del flujo p(t, x) a .
134
Observaci
on 7.2 Teniendo en cuenta que (x0 ) = , obtenemos
P (x0 ) = p( (x0 ), x0 ) = p(, x0 ) = p(0, x0 ) = x0 .
Por lo tanto los puntos fijos de la aplicaci
on de Poincare corresponden a orbitas peri
odicas
de (7.16).
Teorema 7.2 (Existencia de la Aplicacion de Poincare)
odica de (7.16) y es su orbita. Sea el
Supongamos que p(t, x0 ) es una solucion peri
hiperplano ortogonal a en x0 , es decir,
&
'
= x Rn : < x x0 , f (x0 ) >= 0 .
nica funci
on (x) : N (x0 ) R,
Entonces, existe un entorno N (x0 ) del punto x0 y una u
de clase C 1 tal que
(x0 ) =
p( (x), x) ,
x N (x0 ).
Demostraci
on. La demostracion de este resultado es una consecuencia del teorema
de la Funci
on Implcita. Denamos una funci
on F : R D R como sigue
F (t, x) =< p(t, x) x0 , f (x0 ) > .
x0
f (x0 )
Como f C 1 [D, Rn ], se sigue que las soluciones son derivables respecto de los datos
iniciales y por ende F C 1 [R D, R]. Ademas, por la periodicidad de p se sigue que
F (, x0 ) = 0.
Teniendo en cuenta que x0 no es un punto de equilibrio del sistema (7.16), se obtiene
que
F
(, x0 ) =< p (, x0 ), f (x0 ) >=< f (x0 ), f (x0 ) >= ||f (x0 )||2 = 0.
t
Por el teorema de la Funci
on Implcita se sigue que existe un entorno N (x0 ) del punto
nica funci
on (x) : N (x0 ) R, de clase C 1 , tal que F ( (x), x) = 0 para todo
x0 y una u
x N (x0 ) y (x0 ) = . Lo cual a su vez implica que p( (x), x) , x N (x0 ).
7.2.
135
Aplicaci
on de Poincare.
P (
x)
x
x0
f (x0 )
1 2 = det () = exp
1
div f ((t))ds .
0
(7.20)
136
P (0) = exp
divf ((t))dt.
(7.22)
7.3.
137
Ejercicios y Problemas
7.3
Ejercicios y Problemas
1
(t)P (s)f (s, (s))ds
(t)Q1 (s)f (s, (s))ds.
T (t) = (t)x +
0
,
S (t) = S(t) 1
K
y a + S(t)
mS(t)
D0 ,
x (t) = x(t)
a + S(t)
descrito en la pag. 83. Donde S(t) y x(t) son las densidades de las poblaciones
presa y depredador, respectivamente. , K, m, y, a y D0 son constantes positivas.
Demuestre que si el sistema depredador-presa tiene una orbita peri
odica, ella
necesariamente es orbital asintoticamente estable.
Ayuda: Ver Apendice 10.5. (Ojo: Problema sosticado!)
138
Captulo 8
M
etodo de las Funciones de Liapunov
En todos los resultados que hemos mencionado sobre estabilidad hemos supuesto que
tenemos una representacion integral para las soluciones de la ecuacion diferencial en
funci
on de la matriz fundamental y que se conoce el comportamiento en norma de esta.
En general esto no tiene por que ser as. Por tal raz
on en lo que sigue nos ocuparemos
de estudiar la estabilidad de sistemas del tipo x = f (t, x) donde no se supone a priori
que se tengan expresiones explcitas para las soluciones del sistema en cuestion.
El metodo que emplearemos para tal estudio posee la desventaja, que precisa de la
construccion de ciertas funciones para las cuales no existen metodos analticos para su
construccion y todo depende de la habilidad del usuario, aunque en muchos casos el
problema en consideraci
on sugiere la forma de la funcion adecuada.
8.1
Preliminares
x1
Figura 7.1
139
140
Captulo 8.
x22
x21
+
(1 + x21 )2 (1 + x22 )2
Es f
acil ver que una parte de W (x) = C, se dispone cerca del origen (0, 0) y otra en
regiones alejadas del origen; ya que
x21
x22
=
0,
lim
= 0.
2
x1 (1 + x )2
x2 (1 + x2 )2
1
2
lim
Otra observaci
on tiene relacion con el hecho de que si W (x) es denida positiva, entonces no necesariamente todas sus supercies de nivel son cerradas. Para ello es sux2
x2
ciente considerar W (x) = 1+x1 2 + x22 . Las curvas de nivel 1+x1 2 + x22 = C son acotadas
1
1
y cerradas si C < 1 y no cerradas para C 1, ver gura 7.2.
x2
x1
Figura 7.2
8.1.
141
Preliminares
A continuaci
on trataremos de caracterizar a las funciones denidas positivas de
+
una manera mas comoda. Es claro que, si existe una funci
on a : R+
0 R0 continua,
mon
otona creciente, a(0) = 0, tal que V (t, x) a(||x||), (t, x) J D; entonces V
es denida positiva. Para ello es suciente tomar W (x) = a(||x||). Desgraciadamente
x2
acil ver que no existe
la recproca no es cierta. Para ello elijamos W (x) = 1+x
4 . Es f
una funci
on a con las propiedades antes descritas tal que W (x) a(||x||), x R, ver
Figura 7.3.
W (x)
1
Figura 7.3
inf
W (x).
r||x||R
Esta funci
on esta bien denida, ya que W esta acotada inferiormente. Adem
as es facil
vericar que :
i) C(0) = 0;
ii) r1 < r2 , C(r1 ) C(r2 ),
iii) C(r) > 0, r (0, R).
Para concluir la prueba es suciente observar que dada una funci
on C con las propiedades
],
mon
o
tona
creciente, a(0) = 0, tal
i)-iii), siempre existe una funci
on a C[[0, R], R+
0
que a(r) C(r), r [0, R], ver [9], p. 217.
142
Captulo 8.
Sea V C 1 [J D, R+
on del sistema
0 ] y sea x una soluci
x (t) = f (t, x),
f (t, 0) = 0,
t > .
(8.1)
V
V
+ < V, x >=
+ < V, f > .
t
t
8.2
x : ||x|| < .
(8.3)
nica soluci
on no prolongable de (8.1) con ||x0 || < .
Sea x(, t0 , x0 ) : [t0 , ) D, la u
Teniendo en cuenta ii), se sigue que
V (t, x(t)) 0,
t [t0 , ),
x(t) = x(t, t0 , x0 ).
De donde sigue que V (t, x(t)) V (t0 , x0 ). Ahora, en virtud de la eleccion de , de (8.2)
y (8.3), obtenemos
a(||x(t)||) V (t, x(t)) V (t0 , x0 ) < a(),
t [t0 , ).
8.2.
143
La monotona de la funci
on a, implica que
||x(t, t0 , x0 )|| < ,
t [t0 , ).
t+
para todo x0 BR .
(8.4)
t t0 + T (t0 , ),
x0 BR .
(8.5)
(8.6)
t+
Notemos que este lmite siempre existe, ya que V a lo largo de las soluciones de (8.1)
es monotona decreciente y acotada inferiormente.
De (8.6), sigue que existe > 0 tal que ||x(t)|| = ||x(t, t0 , x0 )|| , para todo
t t0 . En caso contrario, existe una sucesion (tn )nN , tn y lim ||x(tn )|| = 0. Lo
n
lo tanto, si > 0, existe una constante > 0 tal que ||x(t)|| > 0, t t0 .
Por otra parte, de ii) se tiene que existe una funci
on W C[Rn , R+
0 ] denida
positiva tal que
V (t, x) W (x),
(t, x) J D.
(8.7)
Pongamos =
inf
||x||R
V (t, x(t)) ,
t t0 .
t t0 .
144
Captulo 8.
a t en J.
ii) V es definida positiva.
iii) Existe un t0 en J tal que para cada , 0 < < R, existe un x0 B , tal que
V (t0 , x0 )V (t0 , x0 ) > 0.
(8.8)
Entonces x = 0 es inestable.
Demostraci
on. Como V es denida positiva, existe una funci
on W C[Rn , R+
0]
denida positiva tal que V (t, x) W (x), (t, x) J D.
Ademas, de i) se tiene que para todo > 0, existe un > 0, tal que
|V (t, x)| ,
(t, x) J B .
(8.9)
Ademas de iii), se sigue que para todo 1 , 0 < 1 < , existe un x0 B1 , tal que
V (t0 , x0 ) = > 0. Denotemos por (t) = x(t, t0 , x0 ). Para probar la inestabilidad de
x = 0, es suciente mostrar que existe un t1 > t0 tal que ||(t1 )|| > . Hagamoslo por
reducci
on al absurdo. Supongamos que ||(t)|| , t t0 .
De i) y ii) se sigue la existencia de > 0 tal que
0 < ||(t)|| ,
Denotemos por =
inf
t t0 .
(8.10)
||x||
V (t, (t)) , t t0 .
Lo cual implica que
V (t, (t)) V (t0 , x0 ) + (t t0 ) = + (t t0 ), t t0 .
Como > 0 y > 0, se sigue que V no esta acotada a lo largo de (t). Lo
cual es una contradicci
on ya que (t, (t)) J B , t t0 y en virtud de (8.9)
|V (t, (t))| < , t t0 .
A los Teoremas 8.3, 8.4 y 8.5 se les llama com
unmente primer, segundo y tercer
Teorema de Liapunov, respectivamente.
Teorema 8.6 (Estabilidad Uniforme) Supongamos que:
i) Existe una funci
on V C 1 [J D, R] definida positiva,
+
ii) Existe una funci
on monotona creciente C C[R+
0 , R0 ], C(0) = 0, tal que V (t, x)
C(||x||), (t, x) J D,
8.2.
145
c) V es negativa (t, x) J D.
Entonces x = 0 es uniformemente estable.
Demostraci
on. Sea R > 0, tal que BR D. Teniendo en cuenta i) y ii) se tiene que
otona creciente, a(0) = 0, tal que
existe una funci
on a C([0, R], R+
0 ), mon
a(||x||) V (t, x) C(||x||),
(t, x) J BR .
(8.11)
Ahora, por las propiedades de a y C, para cada , 0 < < R, podemos elegir un
= () > 0, < , tal que
C() < a().
(8.12)
Consideremos (t0 , x0 ) J B . Sea x(, t0 , x0 ) : [t0 , ) D. Teniendo en cuenta
que V es decreciente a lo largo de las soluciones de (8.1), se sigue que x(t, t0 , x0 )
B , t t0 . Por lo tanto, en virtud de (8.11) y (8.12), se sigue
a(||x(t, t0 , x0 )||) V (t, x(t, t0 , x0 )) V (t0 , x0 ) C(||x0 ||) C() < a().
Lo cual implica que ||x(t, t0 , x0 )|| < , t [t0 , ) y x0 B . De donde se sigue
inmediatamente la estabilidad uniforme de x = 0.
prueba del Teorema 8.6 se desprende que 0 lo podemos elegir de forma que
C(0 ) < a(R).
(8.13)
Como
a(||x||) V (t, x) C(||x||),
(t, x) J BR ,
(8.14)
(8.15)
Denotemos por = inf{W (x) : ||x|| R} donde W viene dada por (8.7).
Elijamos T () > C(0 )/ . Probemos que para cada x0 B0 , existe un t1 [t0 , t0 +
T ()], tal que ||x(t1 , t0 , x0 )|| < .
Supongamos que existe un x0 B0 , tal que
||x(t, t0 , x0 )|| ,
t [t0 , t0 + T ()].
146
Captulo 8.
x0 B .
x1
f (s)ds
U (x1 ) =
0
la energa potencial del sistema (8.16), la energa total del sistema viene dada por
V (x1 , x2 ) =
x22
+ U (x1 ).
2
8.3.
147
Ejemplo 8.2
Consideremos el sistema
x1 = x2 x31
x2 = x1 x32 .
(8.17)
(8.18)
Definamos V (x1 , x2 ) = x21 x22 . V C [R2 , R], V (0, 0) = 0 y toma valores positivos en
todo entorno del origen si |x1 | |x2 |. Ademas,
V (x1 , x2 ) =< V, (x1 , x2 ) >= (6x21 + 4x22 ) + (2x1 x22 2x2 x31 ).
Es facil verificar que
En este caso se escribe que F (x1 , x2 ) = 2x1 x22 2x2 x31 = o(x21 + x22 ), y se lee que F (x) es
un o peque
no respecto de ||x||2 , x = (x1 , x2 ). Teniendo en cuenta esto, obtenemos que
dado > 0 existe un > 0 tal que F (x) ||x||2 , x : ||x|| < . Finalmente, se tiene
que
V (x1 , x2 ) = (6x21 + 4x22 ) + (2x1 x22 2x2 x31 ) (4 )||x||2 .
Por lo tanto con 0 < < 4, obtenemos que V (x1 , x2 ) es definida positiva en la bola
||x|| < . Y por ende la soluci
on trivial del sistema (8.18) es inestable.
8.3
En la secci
on anterior vimos que para obtener la estabilidad asintotica de las soluciones,
se precisaba exigir que la derivada de la funci
on de Liapunov a lo largo de las soluciones del sistema fuera denida negativa. En esta seccion vamos a referirnos al as
llamado Principio de Invariancia de La Salle. Este principio permite relajar la exigencia que la derivada de la funci
on de Liapunov sea denida negativa. Desgraciadamente
este principio solo es aplicable a sistemas autonomos y sistemas periodicos. Aqu solo
trataremos el caso autonomo.
Consideremos el sistema autonomo
x = g(x)
con
g C 1 [Rn , Rn ].
(8.19)
148
Captulo 8.
Teorema 8.8 (Principio de Invariancia de La Salle) Sea V C 1 [Rn , R] y supongamos que para alg
un c > 0 el conjunto c = {x Rn : V (x) c} es acotado.
Supongamos adem
as que V es una funci
on acotada inferiormente en el conjunto c y
V (x) 0,
x c .
Sea M el conjunto maximal invariante (bajo el flujo inducido por el sistema (8.19)) contenido en S = {x c : V (x) = 0}.
Entonces
x(t, x0 ) M cuando t , x0 c .
nica soluci
on no prolongable de (8.19) denida sobre
Demostraci
on. Sea x(t, x0 ) la u
on x(t, x0 ) debe permanecer en la
el intervalo [0, ), x0 c . Es claro que la soluci
regi
on c para todo t [0, ). En caso contrario debe existir un t (0, ) tal que
otesis
V (x(t , x0 )) = c y V (x(t , x0 )) > 0. Lo cual contradice el hecho que por hip
Luego, V (y) = c0 , para todo y (x0 ), y por ende V (y) = 0. Como (x0 ) es invariante
y M es el conjunto maximal invariante contenido en c , se sigue que (x0 ) M. Lo
cual concluye la prueba de nuestra armaci
on.
Analicemos el siguiente ejemplo, el cual nos mostrara las ventajas del Principio de
Invariancia de La Salle.
Consideremos la ecuaci
on
x + x + f (x) = 0,
donde f C 1 , f (0) = 0 y xf (x) > 0, x = 0. Es claro que esta ecuacion es equivalente
al siguiente sistema
x1 = x2
(8.20)
x2 = f (x1 ) x2 .
Elijamos como funcion de Liapunov
x2
V (x1 , x2 ) = 2 +
2
x1
f (s)ds.
0
De las hip
otesis impuestas a la funcion f se sigue que V es denida positiva. Derivando
V a lo largo de las soluciones del sistema (8.20), obtenemos
V (x1 , x2 ) = x22 0.
As, los Teoremas de estabilidad de la seccion 8.2 solo nos aseguran que la solucion
trivial es estable. Sin embargo al aplicar el Principio de Invariancia, obtenemos que
la soluci
on trivial es global asintoticamente estable. Es facil chequear que todas las
condiciones del Teorema 8.8 se satisfacen.
8.4.
149
8.4
En este par
agrafo daremos, en terminos de funciones de Liapunov, condiciones necesarias y sucientes para que un sistema lineal a coecientes constantes
x = Ax,
A Rnn ,
con
(8.21)
(8.22)
La siguiente proposici
on da condiciones sucientes para que la ecuaci
on (8.22) posea
soluciones.
Proposici
on 8.9 Si A es una matriz con todos sus autovalores con parte real negativa,
entonces la ecuacion (8.22) tiene una u
nica solucion, la cual viene dada por
T
eA t CeAt dt .
B=
0
Z(0) = C.
(8.23)
Z(t) = eA t CeAt .
Como los autovalores de la matriz A tienen todos partes real negativa, se sigue que
lim Z(t) = 0.
Z(t) Z(0) = A
Z(s)ds +
0
Z(s)dsA.
0
150
Captulo 8.
T
Z(s)ds +
Z(0) = A
0
Z(s)dsA .
0
T
Sustituyendo en la expresi
on anterior Z(0) = C y Z(t) = eA t CeAt , se sigue que
AT t At
B = 0 e Ce dt satisface la ecuacion matricial AT B + BA = C.
Probemos que si C es denida positiva, entonces B tambien es denida positiva.
Sea x0 = 0. Entonces
AT t
At
e Ce dt x0 >=
< eAt x0 , CeAt x0 > dt.
< x0 , Bx0 >=< x0 ,
0
1 0
U BU 1 = U BU T =
.
0 n
Pongamos y = U x. Luego, x = U 1 y. De esto se sigue que
V (x) =< x, Bx >=< U 1 y, BU 1 y >=< y, U BU 1 y >
n
i yi2 .
=< y, U BU T y >=
i=1
Ademas
||y||2 =< y, y >=< U x, U x >= ||x||2 .
Lo cual prueba i).
Por otra parte, se tiene que
||V (x)|| = ||2Bx|| 2||B|| ||x||,
8.4.
151
donde
||B|| =
+
max (B T B) = max (B) = 2 .
< B T Bx, x >. De donde se sigue que ||B|| = max (B T B).
min (C)
dV
= W (x) min (C)||x||2
V (x).
dt
max (B)
Integrando, obtenemos
V (x(t)) V (x(0))et ,
t 0,
max (B)
||x(0)||2 et ,
min (B)
||x(t)|| B ||x(0)||e 2 t ,
= [max (B)/min
(B)]1/2 .
t 0,
152
Captulo 8.
8.5
Comentarios y Sugerencias
Para el an
alisis de la estabilidad de sistemas no lineales, en general, el u
nico metodo
universal es el segundo metodo de Liapunov, como ya lo se
nalamos su desventaja radica en la construcci
on de las funciones de Liapunov. Una manera de aminorar estas
dicultades es usando funciones vectoriales de Liapunov, recomendamos consultar el
libro de Lakshmikantham y Leela [18].
Un problema muy interesante pero menos estudiado es el de la extension del segundo
metodo de Liapunov para sistemas singularmente perturbados.
Probamos que la ecuaci
on matricial
AT B + BA = C,
posee una u
nica solucion, si Re(A) < 0. En realidad esta ecuaci
on posee una u
nica
soluci
on bajo condiciones mas generales.
Probemos en primer lugar el siguiente
Proposici
on 8.12 Sean A1 , B1 , C1 Rnn , tales que B1 = 0 y A1 B1 = B1 C1 . Enun.
tonces A1 y C1 tienen un autovalor com
un. Luego, los
Demostraci
on. Supongamos que A1 y C1 no tienen un autovalor com
polinomios caractersticos
P () = det(A1 I)
Q() = det(C1 I)
h(C1 ) = 1.
Como
P () = an n + + a1 + a0
P1 () = bm m + + b1 + b0
P (A1 ) = an An1 + + a1 A1 + a0
P1 (C1 ) = bm C1m + + b1 C1 + b0
y A1 B1 = B1 C1 , se sigue que
h(A1 )B1 = P (A1 )P1 (A1 )B1 = P1 (A1 )P (A1 )B1
= P1 (A1 ) an An1 B1 + + a1 A1 B1 + a0 B1
= P1 (A1 ) an B1 C1n + + a1 B1 C1 + a0 B1
= P1 (A1 )B1 P (C1 )
= B1 P1 (C1 )P (C1 ) = B1 P (A1 )P1 (A1 ) = B1 h(C1 ).
on.
De donde se sigue que B1 = 0. Contradicci
8.5.
153
Comentarios y Sugerencias
Proposici
on 8.13 Sean B y C dos matrices simetricas. Si los autovalores de la matriz
A satisfacen que Re(i + k ) = 0, para todo i = k, entonces la ecuacion matricial
AT B + BA = C
(8.24)
posee una u
nica solucion.
Demostraci
on. Denamos el siguiente operador
F : Rnn Rnn
como sigue
F (B) = AT B + BA.
Los autovalores de F son reales ya que F (B) es simetrica. En efecto,
F T (B) = (AT B + BA)T = (AT B)T + (BA)T = B T A + AT B T = BA + AT B = F (B).
A n de demostrar que (8.24) tiene soluci
on, es suciente ver que F es invertible. Lo
cual es equivalente a mostrar que ning
un autovalor de F es nulo ya que
det F (B) = ni=1 i .
Sea cualquier autovalor de F (B) y sea B = 0 tal que F (B) = B, o bien lo que es lo
mismo
AT B + BA = B.
Lo cual implica que
(AT I)B = BA.
on 8.12, se
Eligiendo A1 = AT I, B1 = B = 0 y C1 = A y aplicando la Proposici
un. Teniendo en cuenta esto y el
sigue que (AT I) y (A) poseen un autovalor com
hecho que los autovalores de AT I son i y los de A son k obtenemos que
= i + k = 0.
Lo cual implica que F es invertible.
La unicidad sigue del hecho que la inversa es u
nica.
154
Captulo 8.
8.6
Ejercicios y Problemas
1. Sea A C[J, Rnn ] con J = [t0 , ) y A(t) = A(t)T . Denotemos por + (t) =
max{ : (A(t))}. Pruebe que si existe h > 0 tal que + (t) h, para
todo t t0 , entonces la solucion trivial del sistema y = A(t)y es uniformemente
asint
oticamente estable.
Indicaci
on: Use como funcion de Liapunov V (y) =< y, y > .
2. Estudie la estabilidad asintotica de la soluci
on trivial de la ecuacion
y + ay + bseny = 0,
a > 0, b > 0,
(8.25)
si x = 0 ; f (0) = h(0) = 0 ;
lim
|x| 0
h(s)ds = .
Indicaci
on:Muestre que la ecuaci
on diferencial es equivalente al sistema
x = y,
y = h(x) f (x)y.
Elija como funcion de Liapunov
y2
+
V (x, y) =
2
h(s)ds,
0
8.6.
155
Ejercicios y Problemas
a > 0, b > 0.
Indicaci
on: Use el ejercicio anterior.
6. Estudie la estabilidad de la solucion trivial de la ecuaci
on de Van der Pol
x + (x2 1)x + x = 0,
va funciones de Liapunov.
7. Sea f 1 [R2 , R] y f (0, 0) = 0. Considere el sistema
x = y xf (x, y),
y = x yf (x, y).
Pruebe que:
i) Si f (x, y) 0, (x, y) R2 , entonces la solucion trivial es estable.
on trivial es inestable.
ii) Si f (x, y) 0, (x, y) R2 , entonces la soluci
8. Estudie la estabilidad de la solucion trivial del sistema
x1 =
ax31 + bx2
x2 = x3 ax2
x2
cs
aF (x2 )
ds = +.
> c , si x2 = 0 ;
lim
F (s)
F (0) = 0 ;
x2
a
|x2 | 0
Indicaci
on: Dena una funci
on de Liapunov como una forma cuadr
atica mas
x2
F
(s)ds.
0
156
Captulo 8.
Captulo 9
Introducci
on a la Teora de Bifurcaciones
y Rn , Rp
(9.1)
(9.2)
g
(y0 , 0 )u.
y
(9.3)
157
158
Captulo 9. Introducci
on a la Teora de Bifurcaciones
9.1
Bifurcaci
on Silla-Nodo
x, R.
(9.4)
(9.5)
(9.6)
donde f C 2 [R R, R].
Supongamos que se satisfacen las siguientes condiciones
f (0, 0) = 0 ,
f
(0, 0) = 0 ,
x
f
(0, 0) = 0 ,
2f
(0, 0) = 0.
x2
9.2.
159
Bifurcaci
on Transcrtica
Demostraci
on. Consideremos la ecuacion f (x, ) = 0. Teniendo en cuenta que
f
(0, 0) = 0, por el teorema de la funci
on implcita se sigue que
f (0, 0) = 0 y que
2
existe un > 0 y una u
nica funci
on C [(, ), R], (0) = 0 y
f (x, (x)) = 0,
x (, ).
(9.7)
, f
f
(x, (x))
(x, (x))
x
De las hip
otesis del Teorema y la expresion anterior, se tiene que (0) = 0.
Derivando nuevamente respecto a x y evaluando en x = 0, se sigue
(0) =
2f
(0, 0)
x2
f
(0, 0)
= 0,
(9.8)
ya que
f
(0, 0) = 0 ,
2f
(0, 0) = 0 y
x2
(0) = 0.
9.2
Bifurcaci
on Transcrtica
(9.9)
x
=x
D
A
B
C
E
160
Captulo 9. Introducci
on a la Teora de Bifurcaciones
(9.10)
donde f C 3 [R R, R].
Supongamos que existe un > 0 tal que f (0, ) = 0, (, ) y
f
2f
2f
f
(0, 0) = 0 ,
(0, 0) = 0 ,
(0, 0) = 0 ,
(0, 0) = 0.
x
x
x2
Entonces en = 0 ocurre una bifurcaci
on transcrtica .
Demostraci
on. Consideremos la siguiente funcion auxiliar
f (x, )
,
si x = 0,
x
F (x, ) =
f (0, ), si x = 0.
x
(9.11)
x
Por el teorema de la funci
on implcita se sigue que existe un > 0 y una u
nica funci
on
C 2 [(, ), R], (0) = 0 y
F (x, (x)) = 0,
x (, ).
(9.12)
De la denici
on de la funci
on F, se tiene que f (x, (x)) = 0.
Mostremos que (x) = 0, x (, )\{0} y que no es ni c
oncava, ni convexa. Para
ello es suciente mostrar que 0 < | (0)| < . En efecto, derivando implcitamente,
obtenemos que
2f
F
2 (0, 0)
x (0, 0)
= 0.
= x2 f
(0) = F
(0, 0)
x (0, 0)
Por lo tanto la curva (x) en el plano (x, ) cruza en cero desde el tercer cuadrante
e ingresa en el primer cuadrante o cruza en cero desde el segundo cuadrante e ingresa
en el cuarto cuadrante. Teniendo en cuenta este comportamiento de la gr
aca de la
funci
on (x) y el hecho que la funci
on f (x, ) en un entorno del punto (0, 0) se puede
representar como sigue
f (x, ) = x(x + ) + o(||, |x|2 )
2
f
(0, 0)/2, efectivamente se obtiene que en = 0 los
donde = xf2 (0, 0)/2 y = x
puntos de equilibrio cambian su estabilidad.
9.3.
161
Bifurcaci
on Cuchillo-Tenedor
9.3
Bifurcaci
on Cuchillo-Tenedor
(9.13)
x
= x2
D
A
(9.14)
f
2f
3f
2f
f
(0, 0) = 0,
(0, 0) = 0, 2 (0, 0) = 0,
(0, 0) = 0, 3 (0, 0) = 0.
x
x
x
x
f (x, )
si x = 0,
x ,
F (x, ) =
f (0, ), si x = 0.
x
A partir de las hip
otesis del Teorema no es difcil mostrar que F C 2 y
F (0, 0) =
2f
F
(0, 0) =
(0, 0) = 0.
(9.15)
162
Captulo 9. Introducci
on a la Teora de Bifurcaciones
x (, ).
(9.16)
De la denici
on de la funci
on F, se tiene que f (x, (x)) = 0.
Nuevamente, teniendo en cuenta las hip
otesis del Teorema y mediante derivaci
on
implcita, se sigue que
d
(0) =
dx
F
x (0, 0)
d2
(0) =
dx2
xF2 (0, 0)
F
(0, 0)
2f
x (0, 0)
=0
(9.17)
F
(0, 0)
xf2 (0, 0)
xf3 (0, 0)
2f
x (0, 0)
= 0.
(9.18)
9.4.
163
Bifurcaci
on de Andronov-Hopf
9.4
Bifurcaci
on de Andronov-Hopf
v R2 , R,
(9.19)
con F C 2 [R2 R, R2 ].
Lema 9.4 Supongamos que F (0, 0) = 0 y que Fv (0, 0) tiene un par de autovalores puros
imaginarios. Entonces el sistema (9.19) se reduce al sistema
u = A()u + f (u, ),
(9.20)
donde A(0) es una matriz 2 2 que tiene un par de autovalores puros imaginarios. Adem
as
(0,
)
=
0
para
todo
existe un 0 > 0 tal que f (0, ) = 0 para todo (0 , 0 ) y f
u
(0 , 0 ).
Demostraci
on. Consideremos la ecuaci
on F (v, ) = 0. Teniendo en cuenta que
(0,
0)
es
invertible,
el
Teorema
de la Funci
on Implcita implica que
F (0, 0) = 0 y F
v
2
on v de clase C tal que F (v , ) = 0 , para todo
existe un 0 > 0 y una funci
(0 , 0 ). Ahora, realicemos la transformacion u = v v en (9.19). As, obtenemos que
u (t) = v (t) = F (v, ) = F (u + v , ) = g(u, ).
Es f
acil ver que
g
u (0, )
As, hemos mostrado que para nuestros efectos, es suciente considerar directamente
el sistema (9.20).
164
Captulo 9. Introducci
on a la Teora de Bifurcaciones
f
u (0, )
= 0 , para todo (0 , 0 ) .
a cos (a)t
+ o(|a|)
(9.21)
u (t, a) =
a sin (a)t
odica de
cuando |a| 0 . Ademas, para || < 0 , | 2| < 0 , cualquier solucion peri
(9.20) con |u(t)| < 0 viene dada por (9.21) excepto traslaciones de fase.
El Teorema 9.5 tiene lugar bajo condiciones razonablemente simples, pero no da informacion sobre la estabilidad de la solucion peri
odica que emerge de la bifurcaci
on. En
este trabajo nosotros supondremos adicionalmente que la funci
on f es al menos de clase
C 4 y desarrollaremos una prueba que es constructiva. Seguiremos la exposicion de S.
Wiggins en [34] p.p.220-224 , 270-278. El enfoque que hemos seleccionado para probar
el Teorema de la Bifurcacion de Hopf, adem
as de proporcionar la existencia de la orbita
peri
odica, nos permitira decidir sobre su estabilidad y la direcci
on de la bifurcaci
on. Es
decir, determinar cuando la bifurcaci
on es supercrtica o subcrtica.
Notemos que las soluciones periodicas que emergen de la bifurcaci
on de Hopf son
soluciones de amplitud peque
na. Esto se ve claramente observando que (9.21) tiene
lugar cuando |a| 0 .
9.4.1
Reducci
on del sistema (9.20) a su forma normal
9.4.
165
Bifurcaci
on de Andronov-Hopf
Im() = |()|sen(2()).
x
f1 (x, y; )
x
cos2()
sen2()
= |()|
+
.
sen2() cos2()
y
y
f2 (x, y; )
Cuando la parte lineal de los campos vectoriales tienen autovalores complejos, a menudo
es mas facil calcular su forma normal pasando al plano complejo. Concretamente en
este caso, realizando las siguientes transformaciones lineales
z
1 i
x
1 1
z
x
1
,
; =
=
2
z
z
1 i
y
i i
y
vemos que el sistema anterior se reduce a
2i
z
1 i
f1 (x, y; )
0
e
z
,
= |()|
+
2i
z
1 i
0
e
f2 (x, y; )
z
o bien
z
z
= ||
e2i
e2i
F 1 (z, z; )
F 2 (z, z; )
(9.23)
166
Captulo 9. Introducci
on a la Teora de Bifurcaciones
Sustituyendo la expresi
on anterior en (9.23), se sigue que (9.23) es equivalente a la
siguiente ecuacion
z = ||e2i z + F2 + F3 + + Fr1 + O(|z|r , |z|r ) ,
(9.24)
h2 h2
z +
z = z + h2 (z, z) + F2 (z, z) + O(3)
z
z
(9.26)
Recordemos que
F2 (z + h2 , z + h2 ) =
1 2 F2
2 F2
2
(z + h2 )(z + h2 ) +
(0,
0,
)(z
+
h
)
+
2
2 z 2
zz
1 2 F2
(0, 0, )(z + h2 )2
2 z 2
As, se sigue
z (1 +
h2
h2
)+
z = z + h2 + F2 (z, z) + O(3)
z
z
(9.27)
nos tenemos
Para z, z sucientemente peque
(1 +
h2
h2 1
) =1
+ O(2)
z
z
(9.28)
h2
h2
z
z + h2 + F2 + O(3)
z
z
(9.29)
h2
h2
z+
z) + F2 = 0
z
z
(9.30)
9.4.
167
Bifurcaci
on de Andronov-Hopf
La transformacion
h2
h2
z+
z
h2 h2
z
z
(9.31)
T z 2 = z 2 ( z 2 )z + ( z 2 )z = z 2 ,
z
z
zz
zz
)z + (
)z = zz ,
T zz = zz (
z
z
z 2
2
2
2
)z + ( z )z = ( 2)z 2 .
T z = z (
z
z
As, (9.31) es diagonal en esta base y cuya representaci
on matricial viene dada por
()
0
0
.
(9.33)
0
0
()
0
0
() 2()
Para = 0, se tiene que (0) = 0. Por lo tanto para sucientemente peque
no () = 0
y () 2() = 0 . Por lo tanto la matriz (9.33) es no singular para sucientemente
peque
no y por ende podemos eliminar todos los terminos de segundo orden de (9.24),
para esos valores de .
Simplificaci
on de los terminos de tercer orden
Del razonamiento anterior, sabemos que la ecuacion (9.20) se reduce a
z = z + F3 + O(4)
Realizando la transformaci
on z z + h3 (z, z) , se sigue que
z +
h3 h3
z +
z = z + h3 (z, z) + F3 (z, z) + O(4).
z
z
o bien
h3 1
h3
) [z + h3 + F3 (z, z)
z + O(4)] .
z
z
Luego, teniendo en cuenta que
z = (1 +
(1 +
h3 2 h3 3 h3
h3 1
) =1
+
+ O(3) ,
z
z
z 2
z 3
(9.34)
168
Captulo 9. Introducci
on a la Teora de Bifurcaciones
h3
h3
z z
+ F3 (z, z) + h3 + O(4) .
z
z
h3
h3
z
z + F3 = 0 .
z
z
(9.35)
h3
h3
z+
z] ,
z
z
(9.36)
z )z ( z 3 )z = 2z 3
z
z
T z 2 z = z 2 z ( z 2 z)z ( z 2 z)z = ( + )z 2 z
z
z
T zz 2 = zz 2 ( zz 2 )z ( zz 2 )z = 2zz 2
z
z
3
3
3
3
T z = z ( z )z ( z )z = ( 3)z 3
z
z
T z 3 = z 3 (
(9.37)
Luego, la representaci
on matricial para (9.36) viene dada por
2()
0
0
0
F
0
(() + ())
0
0
.
=
0
0
0
2()
H3
0
0
0
() 3()
(9.38)
Ahora, para = 0 ,
(0) + (0) = 0 ;
(9.39)
sin embargo ninguna de las restantes columnas en (9.38) son identicamente cero en
= 0 . Por lo tanto, para sucientemente peque
no, los terminos de tercer orden que
no sean de la forma
(9.40)
z2z
pueden ser eliminados.
Luego, la forma normal hasta los terminos de orden tres viene dada por
z = z + c()z 2 z + O(4)
donde c() es una constante dependiente de .
(9.41)
9.4.
169
Bifurcaci
on de Andronov-Hopf
Ahora, nosotros simplicamos los terminos de orden cuatro. Sin embargo, notemos
que, en cada orden, la simplicaci
on depende de la ecuaci
on
h
h
+ z ) = 0
(9.42)
z
z
para alg
un h = z n z m , donde m + n es el orden de los terminos que nosotros queremos
simplicar. Sustituyendo esto en la ecuacion (9.42), obtenemos
h (z
z n z m (nz n z m + mz n z m ) = 0,
(9.43)
( n m)z z
(9.44)
n m
= 0,
(9.45)
Es f
acil ver que esto nunca sucede, si m y n son n
umeros pares. Por la tanto, todos los
terminos de orden par pueden ser removidos y la forma normal viene dada por
z = z + c()z 2 z + O(5)
(9.46)
para en un entorno de = 0 .
Sean
z = (x, y)
() = () + i() ,
(9.47)
Es f
acil ver que en coordenadas polares (9.47) es equivalente al sistema
r = ()r + a()r 3 + O(4) ,
= () + b()r 2 + O(3) .
(9.48)
9.4.2
Bifurcaci
on de Andronov-Hopf
En la secci
on anterior mostramos que la forma normal del sistema (9.20) viene dada
por (9.48). Como nosotros estamos interesados en el estudio de la din
amica del sistema
(9.20) alrededor de = 0, es natural desarrollar los coecientes de (9.48) en un entorno
de = 0 . As, el sistema (9.48) se transforma en
(0)r + a(0)r 3 + O(2 r, r 3 , r 5 ) ,
r =
= (0) + (0) + b(0)r 2 + O(2 , r 2 , r 4 ) .
(9.49)
170
Captulo 9. Introducci
on a la Teora de Bifurcaciones
Estudio de (9.49) obviando los terminos de orden superior; es decir, estudio del
sistema truncado inducido por (9.49).
Mostrar que la din
amica del sistema truncado es heredada por el sistema original.
Paso 1
Despreciando los terminos de orden superior en (9.49), obtenemos que el sistema truncado viene dado por
r = dr + ar 3 ,
(9.50)
= + c + br 2 ,
donde los coecientes de (9.50) vienen denidos por
(0) = d ,
a(0) = a
(0) =
(0) = c ,
b(0) = b
(9.51)
-.
/
bd
d
, + c
t + 0
a
a
d
on en la segunda ecuacion
a . Sustituyendo esta expresi
bd
a
9.4.
171
Bifurcaci
on de Andronov-Hopf
la orbita peri
odica se obtiene con r0 = d/a.
Con el n de determinar la estabilidad de la solucion peri
odica, construiremos la
aplicaci
on de Poincare asociada a dicha orbita peri
odica. Sea
= (r, ) R S 1 : r > 0 , = 0 , S 1 = {(x, y) R2 : x2 + y 2 = 1}
la seccion transversal a la orbita peri
odica generada por r = d/a.
Como estamos trabajando en coordenadas polares, es claro que el tiempo de retorno
a la seccion transversal es t = 2. Usando esta informacion la aplicaci
on de Poincare
P : viene dada por
-
/
12
2
bd
2
.
, 0 + 2 + c
(r0 , 0 ) 2 (r0 , 0 ) = 1 1 2 e4a
a
r0
+
La aplicaci
on de Poincare tiene un punto jo en r = d
a , el cual corresponde a la
soluci
on peri
odica del sistema (9.50). Se sabe que la estabilidad de la orbita peri
odica
viene determinada
por
la
magnitud
de
la
derivada
de
la
aplicaci
o
n
de
Poincar
e
,
evaluada
en el punto r = d/a, ver pag. 132. As obtenemos que
2
d/a = e4a .
P
Por lo tanto
i) Si a > 0, P
ii) Si a < 0, P
d/a > 1, y la orbita peri
odica es repulsora.
d/a < 1, y la soluci
on peri
odica es atractora.
172
Captulo 9. Introducci
on a la Teora de Bifurcaciones
9.4.
Bifurcaci
on de Andronov-Hopf
173
Caso 3 d < 0, a > 0. En este caso el origen es un punto de equilibrio inestable para
< 0 y un punto de equilibrio asint
oticamente estable para > 0, con una orbita
peri
odica inestable para > 0, ver gura 9.3 .
174
Captulo 9. Introducci
on a la Teora de Bifurcaciones
r1
r2
La regi
on anular A es positivamente invariante bajo el ujo inducido por (9.50). Esto
se desprende del hecho que el campo vectorial de (9.50) apunta hacia el interior de
A, ver gura 9.8 . Tambien, es facil vericar que A no contiene puntos de equilibrio.
Luego, por el Teorema de Poincare-Bendixson, A contiene una orbita peri
odica orbitalasint
oticamente estable.
Consideremos ahora (9.49). Tomando y r sucientemente peque
nos, los terminos
nos como se desee. Por lo tanto, tomando
O(2 r, r 3 , r 5 ) se pueden hacer tan peque
nos, A a
un es una regi
on positivamente invariante que no
r1 y r2 sucientemente peque
9.5.
175
C
alculo del Valor de a
contiene puntos de equilibrio. Por lo tanto, nuevamente por el Teorema de PoincareBendixson, A contiene una orbita peri
odica orbital-asint
oticamente estable.
Los tres casos restantes se estudian de forma analoga.
9.5
C
alculo del Valor de a
G
X
G
Y
(9.56)
176
Captulo 9. Introducci
on a la Teora de Bifurcaciones
donde
u
v
X X0
Y Y0
(9.59)
La suposici
on que J0 tiene un par de autovalores conjugados imaginarios nos da
F/X F/Y
D B
=
,
(9.60)
J0 =
C D
G/X G/Y
(X ,Y ;p )
0
donde
BC D 2 = 2 ,
>0.
(9.61)
(9.62)
0
0
(9.63)
9.5.
177
C
alculo del Valor de a
/C D/C
.
P =
0
1
As ,
P 1 =
C/ D/
0
(9.64)
(9.65)
y un c
alculo sencillo nos conduce a (9.63).
Por medio de la transformaci
on
u
x
x /C + y D/C
=P
=
,
v
y
y
(9.66)
(9.67)
Por lo tanto, podemos usar la regla de la cadena para calcular todas las derivadas en
(9.54). Notemos que las derivadas de segundo y tercer orden de F y G en el punto
on
(X, Y ; p) = (X0 , Y0 ; p0 ) son las mismas de M y N en (u, v) = (0, 0). La expansi
da una docena de terminos, pero usando (9.61) y reordenando los terminos, obtenemos
3
3
F
F
3G
3G
1
B
+ 2D
+
+
+
A = 16a =
2C
X 3 X 2 Y
X 2 Y
XY 2
3
3G
F
+
2 +
C
XY 2 Y 3
2F
2F
2F
2F
2F
B
+C
+C
+ 2D
D
X 2
XY
X 2
XY
Y 2
2G
2G
2G
2G
2G
B
+
C
+
B
+
2D
D
Y 2
XY
X 2
XY
Y 2
2
2
2
F 2G
2F 2G
2 F G
+
DB
+
B
X 2 X 2
XY X 2
X 2 XY
2
2
2
F 2G 2F 2G
2 F G
,
(9.68)
+ DC
+
C
Y 2 Y 2
XY Y 2 Y 2 XY
donde
D=
G
F
=
,
X
Y
B=
F
,
Y
C=
G
,
X
2 = BC D2
(9.69)
178
Captulo 9. Introducci
on a la Teora de Bifurcaciones
Captulo 10
Ap
endices
10.1
F
ormulas de Vi`
ete
Consideremos el polinomio
Pn (z) = a0 z n + a1 z n1 + a2 z n2 + + an1 z + an .
Sean i , i = 1, , n sus races. Entonces se verican las siguientes igualdades
a1
ni=1 i =
a0
a2
n
i=j=1 i j = +
a0
a2
n
i=j=1=k i j k =
a0
an
1 2 n1 n = (1)n ,
a0
las cuales se obtienen de observar que
Pn (z) = a0 z n ni=1 i z n1 + ni=j=1 i j z n2 ni=j=1=k i j k z n3 + +
(1)n 1 2 n1 n .
Esto u
ltimo se prueba por inducci
on.
10.2
(10.1)
179
180
10.3
Lema de Barbalat
si |t s| < .
Sea {tn }nN una sucesion construida de modo que tn (n, (n + 1)) y
f ((n + 1)) f (n) = f (tn ).
Teniendo en cuenta que limt f (t) = L, se sigue que limn f (tn ) = 0. Por lo tanto,
existe un n0 tal que
|f (tn )| < /2, n n0 .
Sean t, tN > n0 y |t tN | < . Luego,
|f (t)| |f (t) f (tN )| + |f (tN )| < .
Lo cual prueba que limt f (t) = 0.
Corolario 10.4 Sea g : [0, ) [0, ) una funci
on uniformemente continua y g L1 .
Entonces limt g(t) = 0.
Este corolario sigue aplicando el Lema de Barbalat a la funci
on auxiliar f (t) = 0 g(s)ds.
Lema 10.5 Sean a, b, c constantes positivas y , C 1 [a, ), R tales que
1
(10.2)
t
(s)ds c
(s)ds + (a) (t).
0b
a
1
Teniendo en cuenta que es una funci
on acotada inferiormente,
se sigue que L .
t
Denamos f (t) = a (s)ds. Es claro que limt f (t) = a (s)ds < . Ademas,
como f (t) = (t) y es acotada, se sigue que es uniformemente continua. El
Lema de Barbalat implica que f (t) 0 cuando t . Lo cual a su vez implica que
(t) 0 cuando t .
10.4.
181
Teorema de Hurwitz
10.4
Teorema de Hurwitz
z ,
z .
182
10.5
10.5.
183
184
10.5.
185
186
10.5.
187
188
10.5.
189
190
Bibliografa
[1] Aguilera, J., Lizana, M. Estudio cualitativo de ecuaciones diferenciales ordinarias.
Imprenta Universitaria, UCV, 1990.
[2] Ahlfors, Lars V., Complex Analysis: An Introduction to teh theory of analytic
functions of one complex variable. McGraw-Hill, Second Edition. 1966.
[3] Alekseev, V.M. An estimate for the perturbations of the solutions of ordinary
dierential equations (Russian). Vestnik Moscow Univ. Ser. I Mat. Meh. No 2,
p.p. 28-36, 1961.
[4] Courant, Robbins What is the Mathematics. Oxford Univ. Press. 1941.
[5] Coppel W.A. Dichotomies in Stability Theory. Lect. Notes in Math. V.629,
Springer Verlag, 1978.
[6] Coddington, E.A, Levinson, N. Theory of Ordinary Dierential Equations. Mc
Graw-Hill, New York, 1955.
[7] Cheng, Kuo-Shung. Uniqueness of a limit cycle for a predator-prey system. SIAM
J. Math. Anal. Vol. 12, No 4, July 1981.
[8] Devaney, R. L. Chaotic dynamical systems. Addison-Wesley, 1989.
[9] Driver, R.D. Ordinary and Delay Dierential Equation. App. Math. Sc. vol.20,
Springer-Verlag, 1977.
[10] Daleckii, Ju, Krein, M.G. Stability of Solutions of Dierential Equations in Banach
Spaces. Trans. A.M.S., vol. 43, 1974.
[11] Dieudonne, J. Abrege dhistoire des Mathematiques 1770-1900, Vol. II, Herman,
1978.
[12] De Guzman, M. Ecuaciones Diferenciales Ordinarias. Teora de Estabilidad y Control. Ed. Alhambra , Madrid, 1975.
[13] Gantmacher, F. R., Applications of the Theory of Matrices. Interscience Publishers
Inc. New York. Interscience Publishers Inc. London. 1959.
191
192
Bibliografa
[14] H
onig, Ch. S. Aplicacoes de Topologia `a an
alise. IMPA, Projeto Euclide, RioJaneiro, 1976.
[15] Hale, J.K. Ordinary Dierential
pany,Malabar,Florida, 1980.
Equations.
Krieger
Publishing
Com-
Bibliografa
193
Indice Alfab
etico
Aplicaci
on de Poincare, 133
Aplicaci
on de Poincare, 60
Atractor
de Lorenz, 82
Global, 81
Derivada de la Aplicaci
on de Poincare,
136
Desigualdad de Gronwall, 11
Desigualdades Diferenciales Escalares, 34
Diagrama de Fase, 65
Dicotoma Exponencial, 124
Disipatividad Puntual, 81
Bifurcaci
on
Cuchillo-Tenedor, 161
de Andronov-Hopf, 163
Silla-Nodo, 158
Transcrtica, 159
Ecuaciones de Lorenz, 81
Ecuaci
on
de Van der Pol, 39
del pendulo simple, 39
Logstica, 68
Estabilidad
Exponencial asint
oticamente estable,
104
Orbital, 127
Uniforme asint
oticamente estable, 104
Exponentes Caractersticos, 51
Centro, 76
Condici
on
de Caratheodory, 36
de Lipschitz, 8
Conjunto
lmite, 65
lmite, 65
Invariante, 65
Minimal, 67
Negativamente Invariante, 65
Positivamente Invariante, 65
Contraccion, 7
Contraccion Uniforme, 8
Criterio
de Dulac, 70
de Bendixson, 71
de Routh, 101
de Routh-Hurwitz, 99
F
ormulas de Vi`ete, 179
Foco, 76
Formas Normales, 164
Funci
on
Denida negativa, 139
Denida positiva, 139
No negativa, 139
No positiva, 139
F
ormula
de variaci
on de par
ametros, 46
de Alekseev, 33
Denici
on
Estabilidad, 89
Estabilidad Asintotica, 89
Dependencia Continua de las Soluciones
de los Datos Iniciales, 24
Invariancia, 60
Lema
de Arzela-Ascoli, 7
de Barbalat, 180
194
195
Indice Alfabetico
Matriz
de Green, 53
de Monodroma, 51
de transici
on (Operador de Evoluci
on),
44
Fundamental, 44
Fundamental Principal, 44
Modelo Depredador-Presa, 83
Multiplicadores Caractersticos, 51
Nodo, 74
Orbita, 62
Polinomio de Hurwitz, 96
Principio de Invariancia de La Salle, 148
Punto
de Equilibrio, 62
Fijo, 7
Tipo Silla, 73
Seccion transversal, 133
Sistema
Conjugado, 47
Conservativo, 77
Hamiltoniano, 77
Hiperbolico, 113
Lineal Homogeneo, 43
Lineal homogeneo a coecientes periodicos,
49
Lineal no-homogeneo, 46
Lineal no-homogeneo a coecientes
peri
odicos, 52
Reducible, 47
Supercie cerrada geometricamente, 140
Teorema
de Liouville, 44
Clasicaci
on de orbitas, 64
de Andronov-Hopf, 164
de Caratheodory, 37
de Hurwitz, 181
de Rouche, 180
Dependencia Continua de los Datos
Iniciales, 25