Captulo 2

Propiedades Fundamentales
En este captulo repasamos elementos de anlisis matemtico que vamos a usar en el
resto del curso, incluyendo las propiedades fundamentales de ecuaciones diferenciales or-
dinarias que hacen que x = f (t, x) sea un modelo apropiado para representar sistemas
fsicos. Estas propiedades son esencialmente las de
existencia y unicidad de solucin
dependencia continua respecto de parmetros y condiciones iniciales.
Vamos a presentar los resultados para sistemas autnomos (sin entrada), y en general no
estacionarios, es decir, representados por x = f (t, x).
2.1. Preliminares
Vamos a considerar frecuentemente las normas p en R
n
, denidas como
|x|
p
= ([x
1
[
p
+ +[x
n
[
p
)
1/p
, 1 p <
|x|

= m ax
i
[x
i
[
Todas las normas p son equivalentes en el sentido de que si | |

y | |

son dos normas p

diferentes, existen constantes positivas c
1
y c
2
tales que
c
1
|x|

|x|

c
2
|x|

para todo x R
n
. Un resultado clsico relativo a normas p es la desigualdad de Hlder
[x
T
y[ |x|
p
|y|
q
,
1
p
+
1
q
= 1
para todo x, y R
n
.
Una matriz A R
mn
dene un mapa lineal y = Ax de R
n
en R
m
. La norma p inducida
de A est denida como
|A|
p
= sup
x,=0
|Ax|
p
|x|
p
= m ax
|x|
p
=1
|Ax|
p
que para p = 1, 2, est dada por
|A|
1
= m ax
j
m

i=1
[a
i j
[ , |A|
2
= [
max
(A
T
A)]
1/2
, |A|

= m ax
i
m

j=1
[a
i j
[
donde
max
(A
T
A) es el mximo autovalor de A
T
A.
2.1 Preliminares 24
2.1.1. Desigualdad de Gronwall-Bellman
Lema 2.1.1 (Desigualdad de Gronwall-Bellman). Sea : [a, b] R una funcin continua
y : [a, b] R continua y nonegativa. Si una funcin continua y : [a, b] R satisface
y(t) (t) +
_
t
a
(s)y(s) ds
para a t b, entonces en el mismo intervalo
y(t) (t) +
_
t
a
(s)(s)e
_
t
s
()d
ds
Si (t) es constante, entonces
y(t) e
_
t
a
()d
y si adems (t) es constante:
y(t) e
(ta)
Demostracin. Denamos z(t) =
_
t
a
(s)y(s) ds y v(t) = z(t) + (t) y(t) 0. Entonces z
es diferenciable y
z = (t)y(t) = (t)z(t) +(t)(t) (t)v(t).
Esta es una ecuacin de estado escalar cuya funcin de transicin de estados es
(t, s) = e
_
t
s
()d
.
Como z(a) = 0, entonces tenemos que
z(t) =
_
t
a
(t, s)((s)(s) (s)v(s))ds.
El trmino
_
t
a
(t, s)(s)v(s)ds es no negativo, por lo que
z(t)
_
t
a
e
_
t
s
()d
(s)(s)ds,
que, usando el hecho que y(t) (t) + z(t), completa la prueba en el caso general. En el
caso especial de (t) tenemos
_
t
a
(s)e
_
t
s
()d
ds =
_
t
a
d
ds
_
e
_
t
s
()d
_
ds
=
_
e
_
t
s
()d
_

s=t
s=a
= 1 + e
_
t
s
()d
,
que termina la prueba en el caso de constante. Por integracin se obtiene fcilmente el
resultado en el caso de tambin constante.
2.1 Preliminares 25
2.1.2. Mapa Contractivo
Consideremos una ecuacin de la forma x = T(x). Una solucin x

de esta ecuacin se
denomina punto jo del mapa T porque T deja a x

invariante.
Vamos a enunciar el teorema del mapa contractivo en el marco de espacios de Banach,
para lo cual recordamos las siguientes deniciones.
Denicin 2.1.1 (Espacio lineal normado). Un espacio lineal A es un espacio lineal nor-
mado si, para cada vector x A, existe una funcin a valores reales, llamada norma y
denotada |x| , que satisface
|x| 0 para todo x A, con |x| = 0 s x = 0.
|x + y| |x| +|y| para todo x, y A.
|x| = [[|x| para todo R y x A.
Si no estuviera claro del contexto si | | es una norma en A o en R
n
, vamos a escribir
| |
A
para la norma de A.
Denicin 2.1.2 (Convergencia). Una secuencia x
k
en A converge a un vector x A si
|x
k
x| 0 cuando k .
Denicin 2.1.3 (Conjunto cerrado). Un conjunto o A es cerrado s toda secuencia
convergente con elementos en o tiene lmite en o.
Denicin 2.1.4 (Secuencia de Cauchy). Una secuencia x
k
en A se dice secuencia de
Cauchy
|x
k
x
m
| 0 cuando k, m .
Notar que toda secuencia convergente es Cauchy, pero no toda secuencia Cauchy es
convergente.
Denicin 2.1.5 (Espacio de Banach). Un espacio lineal normado A es completo si toda
secuencia de Cauchy converge a un vector en A. Un espacio lineal normado completo es
un espacio de Banach.
Ejemplo 2.1.1. Consideremos el conjunto de funciones continuas f : [a, b] R
n
, al que
denotamos como C[a, b]. Este conjunto es un espacio vectorial sobre R. La suma x + y se
dene como (x + y)(t) = x(t) + y(t). La multiplicacin por un escalar se dene como
(x)(t) = x(t). El vector nulo es la funcin idnticamente nula en [a, b]. Denimos una
norma como
|x|
C
= m ax
t[a,b]
|x(t)|
donde la norma en el lado derecho es cualquier norma p en R
n
. Claramente |x|
C
0 y es
cero s x es la funcin nula. La desigualdad triangular sigue de
m ax |x(t) + y(t)| m ax[|x(t)| +|y(t)|] m ax |x(t)| + m ax |y(t)|
2.1 Preliminares 26
Adems
m ax | x(t)| = m ax [[ |x(t)| = [[ m ax |x(t)|
donde los mximos se toman sobre [a, b]. Por lo tanto, C[a, b] junto con la norma | |
C
es
un espacio lineal normado. Vamos a probar que es tambin un espacio de Banach. Para eso
debemos probar que toda secuencia de Cauchy en C[a, b] converge a un vector en C[a, b].
Supongamos que x
k
es una secuencia de Cauchy en C[a, b]. Para cada t [a, b] jo,
|x
k
(t) x
m
(t)| |x
k
x
m
|
C
0 cuando k, m
Por lo tanto x
k
(t) es una secuencia de Cauchy en R
n
. Pero R
n
con cualquier norma p
es completo porque convergencia implica convergencia componente a componente y R es
completo. Entonces existe un vector real x(t) al cual la secuencia converge: x
k
(t) x(t).
Esto prueba convergencia puntual. Ahora probamos que la convergencia es uniforme en
t [a, b]. Dado > 0 elegimos N tal que |x
k
x
m
|
C
< /2 para k, m > N. Entonces, para
k > N,
|x
k
(t) x(t)| |x
k
(t) x
m
(t)| +|x
m
(t) x(t)|
|x
k
x
m
|
C
+|x
m
(t) x(t)|
Eligiendo m sucientemente grande (lo cual puede depender de t), cada trmino en el lado
derecho puede hacerse menor que /2; entonces |x
k
(t) x(t)| < para k > N. Por lo
tanto x
k
converge a x, uniformemente en t [a, b]. Para completar la prueba, debemos
mostrar que x(t) es continua y que x
k
converge a x en la norma de C[a, b]. Para probar
continuidad consideremos
|x(t +) x(t)| |x(t +) x
k
(t +)| +|x
k
(t +) x
k
(t)| +|x
k
(t) x(t)|
Como x
k
converge uniformemente a x, dado > 0, podemos elegir k lo sucientemente
grande para hacer el primer y tercer trminos del lado derecho menores que /3. Como
x
k
(t) es continua, podemos elegir lo sucientemente pequeo para hacer el segundo tr-
mino menor que /3. Por lo tanto x(t) es continua. La convergencia de x
k
a x en la norma
de C[a, b] es una consecuencia directa de la convergencia uniforme.
Teorema 2.1.2 (Mapa Contractivo). Sea o un subconjunto cerrado de un espacio de Banach
A y sea T un mapa de o en o. Supongamos que
|T(x) T(y)| |x y| , x, y o , 0 < 1.
Entonces T tiene un nico punto jo en o, es decir, existe un nico vector x

o que satis-
face x

= T(x

). Adems, x

puede obtenerse por el mtodo de aproximaciones sucesivas

comenzando de cualquier vector en o.
Demostracin. Tomemos un vector arbitrario x
1
o y denamos la secuencia x
k
por la
frmula x
k+1
= T(x
k
). Como T mapea o en o, x
k
o para todo k 1. El primer paso de la
prueba es mostrar que x
k
es una secuencia de Cauchy. Tenemos
|x
k+1
x
k
| = |T(x
k
) T(x
k1
|
|x
k
x
k1
|

2
|x
k
x
k1
|
.
.
.

k1
|x
2
x
1
|.
2.2 Existencia y Unicidad 27
Sigue que
|x
k+r
x
k
| |x
k+r
x
k+r1
| +|x
k+r1
x
k+r2
| + +|x
k+1
x
k
|

k+r2
+
k+r3
+ +
k1
_
|x
2
x
1
|

k1

i=0

i
|x
2
x
1
|
=

k1
1
|x
2
x
1
|.
El lado derecho tiende a cero cuando k . Por lo tanto, la secuencia es Cauchy. Como
A es un espacio de Banach, x
k
x

o cuando k . Adems, como o es cerrado, en

particular x

o. Ahora mostramos que x

= T(x

). Para cualquier x
k
= T(x
k1
) tenemos
que
|x

T(x

)| |x

x
k
| +|x
k
T(x

)|
|x

x
k
| +|x
k1
x

|.
Eligiendo k sucientemente grande, el lado derecho de la desigualdad puede hacerse ar-
bitrariamente pequeo. As, |x

T(x

)| = 0; o sea que x

= T(x

). Falta probar que x

es el nico punto jo de T en o. Supongamos entonces que hay dos puntos jos x

y y

.
Entonces
|x

| = |T(x

) T(y

)|
|x

|.
Como < 1, necesariamente x

= y

.
2.2. Existencia y Unicidad
Se dan condiciones sucientes para la existencia y unicidad de la solucin del problema
de valor inicial
x = f (t, x) , x(t
0
) = x
0
. (2.1)
Entendemos por solucin en un intervalo [t
0
, t
1
] a una funcin continua x : [t
0
, t
1
] R
n
tal que x est denida y x(t) = f (t, x(t)) para todo t [t
0
, t
1
]. Vamos a asumir que f (t, x)
es continua en x pero slo seccionalmente continua en t (esto nos va a permitir considerar
entradas con saltos o escalones).
Una ecuacin diferencial con una dada condicin inicial puede tener varias soluciones.
Por ejemplo, la ecuacin escalar
x = x
1/3
, x(0) = 0
tiene como soluciones tanto x(t) = (2t/3)
3/2
como x(t) 0. Vemos que f (x) = x
1/3
es una
funcin continua de x, por lo tanto es claro que la condicin de continuidad de f (t, x) en sus
argumentos no es suciente para asegurar unicidad de la solucin, aunque esta condicin
asegura la existencia de al menos una solucin. En el Teorema 2.2.1 vamos a utilizar una
condicin que garantiza a la vez ambas propiedades.
2.2 Existencia y Unicidad 28
Teorema 2.2.1 (Existencia local y unicidad). Sea f (t, x) seccionalmente continua en t y
supongamos que satisface la condicin de Lipschitz
|f (t, x) f (t, y)| L |x y| (2.2)
x, y B
r
= x R
n
[ |x x
0
| r, t [t
0
, t
1
]. Entonces existe > 0 tal que (2.1) tiene
una solucin nica en [t
0
, t
0
+].
Demostracin. Notar que si x(t) es una solucin de (2.1) entonces, integrando, tenemos
x(t) = x
0
+
_
t
t
0
f (s, x(s)) ds (2.3)
Es decir, x(t) satisface (2.1) s satisface (2.3), por lo que el estudio de existencia y unicidad
de la solucin de la ecuacin diferencial (2.1) es equivalente al estudio de existencia y uni-
cidad de la solucin de la ecuacin integral (2.3). Vamos a considerar el lado derecho de
(2.3) como un mapa de la funcin continua x : [t
0
, t
1
] R
n
; denotndolo como (Px)(t),
podemos re-escribir (2.3) como
x(t) = (Px)(t) (2.4)
Notar que (Px)(t) es continua en x. Una solucin de (2.4) es un punto jo del mapa P
que lleva x a Px. La existencia de un punto jo de (2.4) se puede probar usando el teorema
del mapa contractivo. Para eso necesitamos denir un espacio de Banach A y un conjunto
cerrado o A tal que P mapee o en o y sea una contraccin en o. Denamos
A = C[t
0
, t
0
+] , con norma |x|
C
= m ax
t[t
0
,t
0
+]
|x(t)|
o = x A [ |x x
0
|
C
r
donde r es el radio de la bola B
r
y es una constante positiva a elegir. Nos vamos a restringir
a elegir tal que satisfaga t
1
t
0
de forma que [t
0
, t
0
+] [t
0
, t
1
]. Notar que |x(t)|
denota una norma en R
n
mientras que |x|
C
denota una norma en A; de la misma forma B
r
es una bola en R
n
mientras que o es una bola en A. Por denicin, P mapea A en A. Para
probar que mapea o en o escribimos
(Px)(t) x
0
=
_
t
t
0
f (s, x(s)) ds =
_
t
t
0
[ f (s, x(s)) f (s, x
0
) + f (s, x
0
)] ds
Como f es seccionalmente continua, sabemos que f (t, x
0
) es acotada en [t
0
, t
1
]. Sea
h = m ax
t[t
0
,t
1
]
|f (t, x
0
)|
Usando la condicin Lipschitz (2.2) y el hecho de que para cada x o
|x(t) x
0
| r , t [t
0
, t
0
+]
obtenemos
|(Px)(t) x
0
|
_
t
t
0
[|f (s, x(s)) f (s, x
0
)| +|f (s, x
0
)|] ds

_
t
t
0
[L|x(s) x
0
| + h] ds

_
t
t
0
(Lr + h) ds
= (t t
0
)(Lr + h)
(Lr + h)
2.2 Existencia y Unicidad 29
y tambin
|Px x
0
|
C
= m ax
t[t
0
,t
0
+]
|(Px)(t) x
0
| (Lr + h)
Por lo tanto, tomando r/(Lr + h) aseguramos que P mapee o en o.
Ahora vamos a probar que P es una contraccin en o. Sean x e y o y consideremos
|(Px)(t) (Py)(t)| =
_
_
_
_
_
t
t
0
[ f (s, x(s)) f (s, y(s))] ds
_
_
_
_

_
t
t
0
|f (s, x(s)) f (s, y(s))| ds

_
t
t
0
L|x(s) y(s)| ds
(t t
0
) L |x y|
C
Entonces
|Px Py|
C
L|x y|
C
|x y|
C
con

L
Eligiendo < 1 y /L aseguramos que P es un mapa de contraccin en o. Por el
teorema del mapa contractivo, si
mn
_
t
1
t
0
,
r
Lr + h
,

L
_
, < 1 (2.5)
entonces (2.3) tiene una nica solucin en o. Nos falta probar que la solucin es nica en
A. Para eso vamos a probar que toda solucin de (2.3) en A tiene que estar en o. Notemos
primero que, como x(t
0
) = x
0
est en la bola B
r
, toda solucin continua x(t) debe permane-
cer en B
r
durante algn tiempo. Supongamos que x(t) deja la bola B
r
y sea t
0
+ el primer
instante en que x(t) intersecta la frontera de B
r
. Entonces
|x(t
0
+) x
0
| = r
Por otro lado, para todo t t
0
+,
|x(t) x
0
|
_
t
t
0
[|f (s, x(s)) f (s, x
0
)| +|f (s, x
0
)|] ds

_
t
t
0
[L|x(s) x
0
| + h] ds

_
t
t
0
(Lr + h) ds
Por lo tanto
r = |x(t
0
+) x
0
| (Lr + h) =
r
Lr + h

lo que signica que x(t) no puede dejar B
r
durante el intervalo [t
0
, t
0
+], es decir, toda
solucin en A debe estar en o. En consecuencia, unicidad de la solucin en o implica
unicidad de la solucin en A.
2.2 Existencia y Unicidad 30
Una funcin que satisface (2.2) se dice Lipschitz en x y L es la constante de Lipschitz.
Decimos que f (x) es localmente Lipschitz en un dominio (conjunto abierto y conexo) D R
n
si cada punto de D tiene un entorno D
0
tal que f satisface (2.2) con alguna constante de
Lipschitz L
0
. Decimos que f (x) es Lipschitz en un conjunto W si satisface (2.2) en todos los
puntos de W, con la misma constante de Lipschitz L. Toda funcin localmente Lipschitz en
un dominio D es Lipschitz en todo subconjunto compacto (cerrado y acotado) de D. Decimos
que f (x) es globalmente Lipschitz si es Lipschitz en R
n
.
Decimos que f (t, x) es localmente Lipschitz en x en [a, b] D R R
n
si cada punto
x D tiene un entorno D
0
tal que f satisface (2.2) en [a, b] D
0
con alguna constante de
Lipschitz L
0
. Decimos que f (t, x) es localmente Lipschitz en x en [t
0
, ) D si es local-
mente Lipschitz en x en [a, b] D para todo intervalo compacto [a, b] [t
0
, ). Decimos
que f (t, x) es Lipschitz en [a, b] W si satisface (2.2) para todo t [a, b] y todo punto en
W, con la misma constante de Lipschitz L.
Para funciones escalares, la condicin de Lipschitz se puede escribir como
[ f (y) f (x)[
[y x[
L
lo que implica que la pendiente est siempre acotada por L, es decir toda funcin f (x) que
tenga pendiente innita en un punto no puede ser localmente Lipschitz en ese punto. Por
otro lado, si el valor absoluto de la derivada f
/
est acotado por una constante k sobre un
intervalo de inters, entonces f es Lipschitz en ese intervalo con constante de Lipschitz
L = k. Lo mismo vale para funciones vectoriales, como lo probamos en el siguiente Lema.
Lema 2.2.2 (La cota de la derivada es la constante de Lipschitz). Sea f : [a, b] D R
m
una funcin continua, D un dominio en R
n
. Supongamos que f /x existe y es continua en
[a, b] D. Si, para algn subconjunto convexo W D existe una constante L 0 tal que
_
_
_
_
f
x
(t, x)
_
_
_
_
L
en [a, b] W, entonces
|f (t, x) f (t, y)| L |x y|
t [a, b], x W, y W.
Demostracin. Sea | |
p
, p [1, ] la norma utilizada, y calculemos q [1, ] mediante la
relacin 1/p + 1/q = 1. Fijamos t [a, b], x W e y W. Denamos (s) = (1 s) x + s y
para todo s R tal que (s) D. Como W D es convexo, (s) W para 0 s 1.
Tomemos z R
n
tal que
|z|
q
= 1 y z
T
[ f (t, y) f (t, x)] = |f (t, y) f (t, x)|
p
Denamos g(s) = z
T
f (t, (s)). Como g(s) es una funcin a valores reales continuamente
diferenciable en un intervalo abierto que contenga al [0, 1], concluimos mediante el teorema
del valor medio que existe s
1
(0, 1) tal que
g(1) g(0) = g
/
(s
1
)
2.2 Existencia y Unicidad 31
Evaluando g en s = 0, s = 1, y calculando g
/
(s) usando la regla de la cadena, obtenemos
z
T
[ f (t, y) f (t, x)] = z
T
f
x
(t, (s
1
))(y x)
|f (t, y) f (t, x)|
p
|z|
q
_
_
_
_
f
x
(t, (s
1
))
_
_
_
_
p
|y x|
p
L|y x|
p
donde usamos la desigualdad de Hlder [z
T
w[ |z|
q
|w|
p
.
La propiedad de Lipschitzidad es ms fuerte que la de continuidad. Si f (x) es Lips-
chitz en W, entonces es uniformemente continua en W. La propiedad de Lipschitzidad es
ms dbil que la de poseer derivada continua, como vemos en el siguiente Lema.
Lema 2.2.3 (C
1
implica Lipschitz). Sea f : [a, b] D R
m
una funcin continua, D un
dominio en R
n
. Si f /x existe y es continua en [a, b] D entonces f es localmente Lipschitz
en x en [a, b] D.
Demostracin. Dado x
0
D, sea r tan pequeo que la bola D
0
= x R
n
[ |x x
0
| r
est contenida en D. El conjunto D
0
es convexo y compacto. Por continuidad, f /x est
acotada en [a, b] D. Sea L
0
una cota para f /x en [a, b] D. Por el Lema 2.2.2, f es
Lipschitz en [a, b] D con constante de Lipschitz L
0
.
Lema 2.2.4 (Condiciones para Lipschitz global). Sea f : [a, b] R
n
una funcin continua.
Si f /x existe y es continua en [a, b] R
n
, entonces f es globalmente Lipschitz en x en
[a, b] R
n
s f /x est uniformemente acotada en [a, b] R
n
.
Ejemplo 2.2.1. La funcin
f (x) =
_
x
1
+ x
1
x
2
x
2
x
1
x
2
_
es continuamente diferenciable en R
2
. Por lo tanto, es localmente Lipschitz en R
2
. No es
globalmente Lipschitz porque
f
x
=
_
1 + x
2
x
1
x
2
1 x
1
_
(2.6)
no es uniformemente acotada en R
2
. En cualquier subconjunto compacto de R
2
, f es Lips-
chitz. Supongamos que queremos calcular una constante de Lipschitz sobre el conjunto
convexo
W = x R
2
[ [x
1
[ a
1
, [x
2
[ a
2

Usando en (2.6) | |

para vectores en R
2
y la norma matricial inducida para matrices,
tenemos
_
_
_
_
f
x
_
_
_
_

= m ax[ 1 + x
2
[ +[x
1
[ , [x
2
[ +[1 x
1
[
Todo punto en W satisface
[ 1 + x
2
[ +[x
1
[ 1 + a
2
+ a
1
[x
2
[ +[1 x
1
[ a
2
+ 1 + a
1
2.2 Existencia y Unicidad 32
Por lo tanto,
_
_
_
_
f
x
_
_
_
_

1 + a
2
+ a
1
y una constante de Lipschitz es entonces L = 1 + a
2
+ a
1
.
Notar que la eleccin de la norma en R
n
no afecta la propiedad de Lipschitzidad de una
funcin pero si el valor de la constante de Lipschitz.
Teorema 2.2.1 es un resultado local porque slo garantiza existencia y unicidad sobre
un intervalo [t
0
, t
0
+], y no tenemos control sobre ; por lo tanto no podemos asegurar
existencia y unicidad sobre un intervalo dado [t
0
, t
1
]. Se puede tratar de extender el inter-
valo de existencia mediante la aplicacin repetida del teorema: usar t
0
+ como el nuevo
instante inicial y x(t
0
+) como el nuevo estado inicial, y as sucesivamente. Sin embargo,
en general, el intervalo de existencia de la solucin no puede extenderse indenidamente
porque las condiciones del teorema pueden dejar de valer. Hay un intervalo mximo [t
0
, T)
donde la nica solucin que comienza en (t
0
, x
0
) existe. En general, T puede ser menor que
t
1
, en cuyo caso, cuando t T la solucin deja cualquier conjunto compacto sobre el cual
f es localmente Lipschitz en x.
Ejemplo 2.2.2. Consideremos el sistema escalar
x = x
2
, x(0) = 1
La funcin f (x) = x
2
es localmente Lipschitz para todo x R. Por lo tanto, es Lipschitz
en todo subconjunto compacto de R. La solucin nica
x(t) =
1
t 1
existe sobre [0, 1). Cuando t 1, x(t) deja cualquier conjunto compacto.
Una forma de garantizar que la solucin pueda extenderse indenidamente, es la de
requerir condiciones adicionales que aseguren que la solucin x(t) siempre est en un con-
junto donde f (t, x) es uniformemente Lipschitz en x. Esto lo hacemos en el siguiente teore-
ma donde pedimos que f sea globalmente Lipschitz.
Teorema 2.2.5 (Existencia global y unicidad). Supongamos que f (t, x) es seccionalmente
continua en t y satisface
|f (t, x) f (t, y)| L|x y|
|f (t, x
0
)| h
x, y R
n
, t [t
0
, t
1
]. Entonces, la ecuacin (2.1) tiene una solucin nica en [t
0
, t
1
].
Demostracin. La clave de la prueba es mostrar que la constante del Teorema 2.2.1 se
puede hacer independiente del estado inicial x
0
. Vemos en (2.5) que la dependencia de
del estado inicial es a travs de la constante h en el trmino r/(Lr + h). Como ahora la
condicin de Lipschitz es global, podemos elegir r arbitrariamente grande. Por lo tanto,
para cada h nito, elegimos r tal que r/(Lr + h) > /L. Esto reduce (2.5) a
mn
_
t
1
t
0
,

L
_
, < 1
Si t
1
t
0
/L, podemos elegir = t
1
t
0
y probamos el resultado. De lo contrario,
elegimos que satisfaga /L, dividimos [t
0
, t
1
] en un nmero nito de subintervalos
de longitud y aplicamos repetidamente el Teorema 2.2.1.
2.2 Existencia y Unicidad 33
Ejemplo 2.2.3. Consideremos el sistema lineal
x = A(t)x + g(t) = f (t, x)
donde A() y g() son seccionalmente continuas. Sobre un intervalo nito [t
0
, t
1
], los ele-
mentos de A(t) y g(t) son acotados, es decir |A(t)| a, y |g(t)| b, donde |g| puede
ser cualquier norma en R
n
y |A| es la norma matricial inducida. Las condiciones del Teo-
rema 2.2.5 se satisfacen porque
|f (t, x) f (t, y)| = |A(t) (x y)|
|A(t)| |(x y)|
a |(x y)| , x, y R
n
, t [t
0
, t
1
]
y
|f (t, x
0
)| = |A(t) x
0
+ g(t)|
a |x
0
| + b h , para todo x
0
nito , t [t
0
, t
1
]
Por lo tanto, el Teorema 2.2.5 muestra que el sistema lineal tiene solucin nica en [t
0
, t
1
].
Como t
1
puede ser arbitrariamente grande, concluimos que si A(t) y g(t) son seccional-
mente continuas t t
0
, entonces el sistema tiene una solucin nica t t
0
.
Para un sistema lineal es razonable pedir Lipschitzidad global. Pero para sistemas no
lineales esto es muy restrictivo. No as la condicin de Lipschitz local, que est garantizada
si la funcin del lado derecho es continuamente diferenciable.
Ejemplo 2.2.4. Consideremos el sistema escalar
x = x
3
= f (x) (2.7)
La funcin f (x) no satisface la condicin de Lipschitz global porque el Jacobiano f /x =
3x
2
no est globalmente acotado. Sin embargo, la ecuacin tiene la nica solucin
x(t) = sign x
0

x
2
0
1 + 2x
2
0
(t t
0
)
que est bien denida para todo x
0
y para todo t t
0
.
Como la condicin de Lipschitz global es muy conservadora, es til disponer de otro re-
sultado que, a expensas de pedir un mayor conocimiento acerca de la solucin del sistema,
slo requiera que la funcin sea localmente Lipschitz.
Teorema 2.2.6 (Existencia global y unicidad de vuelta). Sea f (t, x) seccionalmente conti-
nua en t y localmente Lipschitz en x para todo t t
0
y todo x en un dominio D R
n
. Sea
W un subconjunto compacto de D, x
0
W, y supongamos que se sabe que toda solucin de
(2.1) permanece todo el tiempo en W. Entonces existe una solucin nica que est denida
para todo t t
0
.
Demostracin. Por el Teorema 2.2.1, existe una solucin local nica en [t
0
, t
0
+]. Sea [t
0
, T)
el mximo intervalo de existencia. Si T es nito, entonces la solucin debe abandonar todo
subconjunto compacto de D (Ejercicio 2.33). Como la solucin nunca deja el conjunto com-
pacto W, concluimos que debe ser T = .
2.3 Dependencia Continua Con Respecto a Condiciones Iniciales y Parmetros 34
El truco al aplicar el Teorema 2.2.6 es vericar que toda solucin permanezca en un
conjunto compacto sin resolver la ecuacin diferencial. Vamos a ver en el Captulo 3 que el
mtodo de Lyapunov va a ser til para esto.
Ejemplo 2.2.5. Consideremos nuevamente el sistema (2.7). La funcin f (x) es localmente
Lipschitz en R. Si en algn instante x(t) es positiva, la derivada x(t) va a ser negativa, y
viceversa. Por lo tanto, comenzando con una condicin inicial x(0) = a, la solucin no
puede dejar el conjunto compacto x R [ [x[ [a[, y el Teorema 2.2.6 garantiza que (2.7)
tiene una solucin nica para todo t t
0
.
2.3. Dependencia Continua Con Respecto a Condiciones Iniciales y
Parmetros
Para que la solucin de la ecuacin de estado (2.1) sea de algn inters, debe depender
continuamente del instante inicial t
0
, del estado inicial x
0
, y de la funcin del lado derecho
f (t, x). La forma integral (2.3) muestra que la dependencia continua del instante inicial es
obvia.
Por dependencia continua de la condicin inicial entendemos lo siguiente: sea y(t) la
solucin de (2.1) que comienza en y(t
0
) = y
0
y est denida en el intervalo compacto
[t
0
, t
1
]; dado > 0, existe > 0 tal que para todo z
0
en la bola x R
n
[ |x y
0
| < ,
la ecuacin x = f (t, x) tiene una solucin nica z(t) denida en [t
0
, t
1
], con z(t
0
) = z
0
, y
satisface |z(t) y(t)| < para todo t [t
0
, t
1
].
Para denir dependencia continua de la funcin del lado derecho f , vamos a precisar en
que forma f es perturbada. Vamos a asumir que f depende continuamente de un conjunto
de parmetros constantes, es decir, f = f (t, x, ), donde R
p
. Sea x(t,
0
) una solucin
de x = f (t, x,
0
) denida en [t
0
, t
1
], con x(t
0
,
0
) = x
0
. Se dice que la solucin depende
continuamente de si dado > 0, existe > 0 tal que para todo en la bola R
p
[
|
0
| < , la ecuacin x = f (t, x, ) tiene una solucin nica x(t, ) denida en [t
0
, t
1
],
con x(t
0
, ) = x
0
, y satisface |x(t, ) x(t,
0
)| < para todo t [t
0
, t
1
].
Antes de estudiar los dos tipos de continuidad recin denidos, necesitamos el siguiente
resultado.
Teorema 2.3.1. Sea f (t, x) seccionalmente continua en t y Lipschitz en x en [t
0
, t
1
] W, con
constante de Lipschitz L, donde W R
n
es un conjunto abierto y conexo. Sean y(t) y z(t)
soluciones de
y = f (t, y) , y(t
0
) = y
0
y
z = f (t, z) + g(t, z) , z(t
0
) = z
0
tal que y(t), z(t) W para todo t [t
0
, t
1
]. Supongamos que
|g(t, x)| , (t, x) [t
0
, t
1
] W ,
para algn > 0, y
|y
0
z
0
|
2.3 Dependencia Continua Con Respecto a Condiciones Iniciales y Parmetros 35
Entonces
|y(t) z(t)| e
L(tt
0
)
+

L
[e
L(tt
0
)
1] (2.8)
para todo t [t
0
, t
1
].
Demostracin. Las soluciones y(t) y z(t) estn dadas por
y(t) = y
0
+
_
t
t
0
f (s, y(s)) ds
z(t) = z
0
+
_
t
t
0
[ f (s, z(s)) + g(s, z(s))] ds
Restando ambas ecuaciones y tomando normas obtenemos
|y(t) z(t)| |y
0
z
0
| +
_
t
t
0
|f (s, y(s)) f (s, z(s))| ds +
_
t
t
0
|g(s, z(s))| ds
+(t t
0
) +
_
t
t
0
L|y(s) z(s)| ds
Aplicando la desigualdad de Gronwall-Bellman a la funcin |y(t) z(t)| resulta
|y(t) z(t)| +(t t
0
) +
_
t
t
0
L[ +(s t
0
)]e
L(st
0
)
ds
Integrando el lado derecho por partes se obtiene (2.8).
Tenemos entonces el siguiente teorema.
Teorema 2.3.2 (Continuidad en condiciones iniciales y parmetros). Sea f (t, x, ) conti-
nua en sus argumentos y localmente Lipschitz en x (uniformemente en t y ) en [t
0
, t
1
]
D |
0
| c, donde D R
n
es un conjunto abierto y conexo. Sea y(t,
0
) una so-
lucin de x = f (t, x,
0
) con y(t
0
,
0
) = y
0
D. Supongamos que y(t,
0
) est denida y
permanece en D para todo t [t
0
, t
1
]. Entonces, dado > 0, existe > 0 tal que si
|y
0
z
0
| < y |
0
| <
la ecuacin x = f (t, x, ) tiene una solucin nica z(t, ) denida en [t
0
, t
1
], con z(t
0
, ) =
z
0
, y satisface
|z(t, ) y(t,
0
)| < , t [t
0
, t
1
]
Demostracin. Por continuidad de y(t,
0
) en t y la compacidad de [t
0
, t
1
], sabemos que
y(t,
0
) est uniformemente acotada en [t
0
, t
1
]. Denamos un tubo U alrededor de la
solucin y(t,
0
) de la siguiente manera
U = (t, x) [t
0
, t
1
] R
n
[ |x y(t,
0
)| ,
como se ilustra en la Figura 2.1.
Supongamos que se eligi lo sucientemente pequeo para que U [t
0
, t
1
] D. El
conjunto U es compacto; por lo tanto f (t, x, ) es Lipschitz en x en U con constante de
2.4 Diferenciabilidad de la Solucin y Ecuaciones de Sensibilidad 36
y(t)

t
0 t
1
t
Figura 2.1: Tubo construido alrededor de la solucin y(t)
Lipschitz L, digamos. Por continuidad de f en , para cada > 0, existe > 0 (con < c)
tal que
|f (t, x, ) f (t, x,
0
)| < , (t, x) U , |
0
| <
Tomemos < y |y
0
z
0
| < . Por el teorema de existencia local y unicidad, existe una
solucin nica z(t, ) en algn intervalo [t
0
, t
0
+]. La solucin comienza dentro del tubo
U y mientras permanezca en el tubo puede extenderse. Vamos a mostrar que, eligiendo
lo sucientemente pequeo, la solucin permanece en el tubo U para todo t [t
0
, t
1
].
En particular, sea el primer instante en que la solucin deja el tubo; vamos a probar que
> t
1
. En el intervalo [t
0
, ], todas las condiciones del Teorema 2.3.1 son satisfechas con
= = . Por lo tanto
|z(t, ) y(t,
0
)| e
L(tt
0
)
+

L
[e
L(tt
0
)
1]
<
(1 + L)
L
e
L(tt
0
)
Si elegimos Le
L(t
1
t
0
)
/(1 + L) aseguramos que la solucin z(t, ) no deja el tubo
durante [t
0
, t
1
]. Por lo tanto z(t, ) est denida en [t
0
, t
1
] y satisface |z(t, ) y(t,
0
)| <.
La prueba se completa tomando = mn, .
2.4. Diferenciabilidad de la Solucin y Ecuaciones de Sensibilidad
Supongamos que f (t, x, ) es continua en sus argumentos y tiene derivadas parciales
continuas con respecto a x y para todo (t, x, ) [t
0
, t
1
] R
n
R
p
. Sea
0
un valor nomi-
nal de y supongamos que la ecuacin de estado nominal
x = f (t, x,
0
) , x(t
0
) = x
0
(2.9)
tiene una solucin nica x(t,
0
) en [t
0
, t
1
]. Por el Teorema 2.3.2 sabemos que para todo
sucientemente cercano a
0
, la ecuacin de estado
x = f (t, x, ) , x(t
0
) = x
0
tiene una solucin nica x(t, ) en [t
0
, t
1
] que es cercana a la solucin nominal x(t,
0
).
Escribamos esta solucin como
x(t, ) = x
0
+
_
t
t
0
f (s, x(s, ), ) ds
2.5 Principio de Comparacin 37
y derivemos parcialmente con respecto a
x

(t, ) =
_
t
t
0
_
f
x
(s, x(s, ), ) x

(s, ) +
f

(s, x(s, ), )
_
ds
donde x

(t, ) = x(t, )/ y x
0
/ = 0 porque x
0
es independiente de . Derivando
ahora con respecto a t obtenemos

t
x

(t, ) = A(t, )x

(t, ) + B(t, ) , x

(t
0
, ) = 0 (2.10)
donde
A(t, ) =
f (t, x, )
x

x=x(t,)
, B(t, ) =
f (t, x, )

x=x(t,)
Para sucientemente cercano a
0
las matrices A(t, ) y B(t, ) estn denidas en [t
0
, t
1
],
por lo tanto x

(t, ) est denida en el mismo intervalo. Para =

0
, el lado derecho de
(2.10) depende slo de la solucin nominal x(t,
0
). Sea S(t) = x

(t,
0
); S(t) es la solucin
nica de

S(t) = A(t,
0
)S(t) + B(t,
0
) , S(t
0
) = 0 (2.11)
La funcin S(t) se denomina funcin de sensibilidad y (2.11) es la ecuacin de sensibilidad. Las
funciones de sensibilidad proporcionan estimas de primer orden del efecto de variaciones
de los parmetros en las soluciones; tambin sirven para aproximar la solucin cuando
|
0
| es sucientemente pequeo: x(t, ) puede expandirse en serie de Taylor alrededor
de la solucin nominal x(t,
0
) y, despreciando trminos de orden superior, se obtiene
x(t, ) x(t,
0
) + S(t)(
0
) (2.12)
Una forma de calcular S(t) es resolver (en general numricamente) simultneamente (2.9)
y (2.10) y luego evaluar la solucin de (2.10) en =
0
.
2.5. Principio de Comparacin
Como la desigualdad de Gronwall-Bellman, el principio de comparacin sirve para ob-
tener cotas de la solucin de (2.1) sin necesidad de calcular la solucin misma. Se aplica a
desigualdades diferenciales de la forma v f (t, v(t)) para todo t en un cierto intervalo. El
principio de comparacin compara la solucin de la desigualdad diferencial x f (t, v(t))
con la de la ecuacin diferencial u = f (t, u).
Lema 2.5.1 (Principio de Comparacin). Consideremos la ecuacin diferencial escalar
u = f (t, u) , u(t
0
) = u
0
donde f (t, u) es continua en t y localmente Lipschitz en u, para todo t 0 y todo u J R.
Sea [t
0
, T) (T puede ser innito) el mximo intervalo de existencia de la solucin u(t) y
supongamos que u(t) J para todo t [t
0
, T). Sea v(t) una funcin diferenciable que
satisface la desigualdad diferencial
v(t) f (t, v(t)) , v(t
0
) u
0
con v(t) J para todo t [t
0
, T). Entonces
v(t) u(t)
para todo t [t
0
, T).
2.5 Principio de Comparacin 38
Ejemplo 2.5.1. La ecuacin diferencial escalar
x = f (x) = (1 + x
2
) x , x(0) = a
tiene una solucin nica en [0, t
1
] para algn t
1
> 0, porque f (x) es localmente Lipschitz.
Sea v(t) = [x(t)]
2
. Su derivada es
v(t) = 2x(t) x(t) = 2[x(t)]
2
2[x(t)]
4
2[x(t)]
2
Por lo tanto v(t) satisface la desigualdad diferencial
v(t) 2v(t) , v(0) = a
2
Sea u(t) la solucin de la ecuacin diferencial
u = 2u , u(0) = a
2
= u(t) = a
2
e
2t
Por el principio de comparacin la solucin x(t) est denida para todo t 0 y satisface
[x(t)[ =
_
v(t) [a[e
t
, t 0

Bibliografa
Golub, G.H. and C.F. van Loan (1996). Matrix computations. 3 ed.. Johns Hopkins University
Press.
Guckenheimer, J. and P. Holmes (1983). Nonlinear oscillations, dynamical systems and bifurca-
tions of vector elds. Springer.
Isidori, Alberto (1995). Nonlinear control systems. 3rd ed.. Springer-Verlag.
Isidori, Alberto (1999). Nonlinear control systems II. Springer-Verlag.
Khalil, H. K. (1996). Nonlinear systems. 2nd ed.. Prentice-Hall.
Krsti c, M., I. Kanellakopoulos and P. V. Kokotovi c (1995). Nonlinear and adaptive control de-
sign. John Wiley & Sons.
Sastry, Shankar (1999). Nonlinear Systems: Analysis, Stability and Control. Interdisciplinary
Applied Mathematics. Springer.
Sepulchre, R., M. Jankovi c and P. V. Kokotovi c (1997). Constructive Nonlinear Control. CCES
Series. Springer-Verlag.
Sontag, E. D. (1989). Smooth stabilization implies coprime factorization. IEEE Trans. Auto-
mat. Contr. 34, 435443.
van der Schaft, A. J. (2000). L
2
-gain and passivity techniques in nonlinear control. Springer-
Verlag.
ndice alfabtico
Banach, vase espacio de Banach
Cauchy, vase secuencia de Cauchy
centro, 12
ciclo lmite, 19
clausura, 25
condicin de Lipschitz, 27
conjunto cerrado, 25
control adaptable, 9
convergencia de secuencias, 25
Coulomb, vase friccin de Coulomb
desigualdad de Gronwall-Bellman, 24
desigualdad de Hlder, 23
diodo tnel, 5, 16
ecuacin de Lienard, 8
ecuacin de sensibilidad, 37
ecuacin de Van der Pol, 8, 20
ensilladura, 10
equilibrios
denicin, 3
hiperblicos, 15
mltiples, 15
perturbacin, 13
espacio de Banach, 25
espacio lineal normado, 25
estabilidad estructural, 15
foco, 12
forma de Jordan, 15
friccin de Coulomb, 7
friccin esttica, 7
funcin de sensibilidad, 37
Gronwall-Bellman, vase desigualdad de Gronwall-
Bellman
Hlder, vase desigualdad de Hlder
Jacobiana, 18
Jordan, vase forma de Jordan
Lienard, vase ecuacin de Lienard
linealizacin
anlisis de puntos de equilibrio, 16
Lipschitz, vase condicin de Lipschitz
mapa contractivo, 25
matriz Jacobiana, 18
nodo, 10
norma, 25
oscilador
armnico, 19
de relajacin, 20
de resistencia negativa, 8
de Van der Pol, vase ecuacin de Van der
Pol
pndulo, 4, 16
perturbacin de equilibrios, 13
principio de comparacin, 37
punto jo, 25
puntos de equilibrio, 3
retrato de fase, 10
construccin numrica, 20
secuencia convergente, 25
secuencia de Cauchy, 25
sensibilidad, 37
separatriz, 16
sistema masa-resorte, 6
Van der Pol, vase ecuacin de Van der Pol