Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Existencia y unicidad
Difeomorfismos y transformaciones de estado
S ISTEMAS NO LINEALES
A LGUNAS HERRAMIENTAS MATEMÁTICAS
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
1 Normas
2 Existencia y unicidad
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Norma de vectores
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Norma p en Rn
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Norma de matrices
kAxk p
kAk p = sup = máx kAxk p
x6=0 kxk p kxk p =1
kAk1 = máx j ∑m
i=1 | ai j |
1/2
kAk2 = λmax AT A
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Dado el problema
ẋ = f (t, x)
x(t0 ) = x0
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Otro ejemplo:
ẋ = 1 + x2 , con x(0) = 0
tiene la solución x(t) = tan t.
Notemos que
1 la solución existe en el intervalo −π/2 < t < π/2
2 x(t) → ∞ para t → ±π/2 7→ escape en tiempo finito.
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Teorema
Sea f (t, x) seccionalmente continua en t y supongamos que
satisface la condición de Lipschitz
ẋ = f (t, x)
x(t0 ) = x0
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Observaciones
1 L se llama constante de Lipschitz, y una función que
satisface la condición anterior se dice Lipschitz
2 Para funciones escalares, la condición de Lipschitz puede
escribirse
| f (y) − f (x) |
≤L
| y−x |
⇒ la pendiente de una recta que una dos puntos de f (x)
está siempre acotada por L.
3 Si k es la cota del valor absoluto de la derivada f 0 en cierto
intervalo, f es Lipschitz en dicho intervalo con constante
L = k.
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
en [a, b] ×W , entonces
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Observación:
La propiedad de Lipschitzidad es más fuerte que la de
continuidad y más débil que la de poseer derivada continua.
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Ejemplo 1
La función
−x1 + x1 x2
f (x) =
x2 − x1 x2
es continuamente diferenciable en R2 .
Por lo tanto, es localmente Lipschitz en R2 .
Es globalmente Lipschitz? (Sugerencia: analizar su jacobiano)
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Ejemplo 1 (Cont.)
Hallar una constante de Lipschitz para la función anterior sobre
el siguiente conjunto convexo:
W = {x ∈ R2 | | x1 |≤ a1 , | x2 |≤ a2 }
Se tiene
∂ f
(t, x)
= max{| −1 + x2 | + | x1 |, | x2 | + | 1 − x1 |}
∂x
∞
| −1 + x2 | + | x1 | ≤ 1 + a2 + a1
| x2 | + | 1 − x1 | ≤ a2 + 1 + a1
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Por lo tanto,
∂ f
(t, x)
≤ 1 + a2 + a1
∂x
∞
Una constante de Lipschitz es, entonces,
L = 1 + a2 + a1
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Ejemplo 2
ẋ = −x2
con x(0) = −1
La función f (x) = −x2 es localmente Lipschitz para todo x ∈ R.
Por lo tanto, es Lipschitz en todo subconjunto compacto de R.
La solución única
1
x(t) =
t −1
existe sobre [0, 1). Cuando t → 1, x(t) deja cualquier conjunto
compacto.
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Teorema
Sea f (t, x) seccionalmente continua en t y supongamos que
satisface
k f (t, x) − f (t, y)k ≤ Lkx − yk
k f (t, x0 )k ≤ h
∀x, y ∈ Rn , ∀t ∈ [t0 ,t1 ].
Entonces la ecuación
ẋ = f (t, x)
x(t0 ) = x0
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Ejemplo 3
Consideremos el sistema lineal
Ejemplo 3 (Cont.)
Además,
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Ejemplo 4
ẋ = −x3 = f (x)
La función f (x) no satisface la condición de Lipschitz global,
porque su jacobiano no está globalmente acotado.
Sin embargo, la ecuación tiene la única solución
s
x02
x(t) = sign x0
1 + 2x02 (t − t0 )
que está bien definida ∀x0 y ∀t ≥ t0
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Observación
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
ẋ = f (t, x)
x(t0 ) = x0
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Ejemplo 4 (nuevamente)
ẋ = −x3 = f (x)
La función f (x) es localmente Lipschitz en R.
Observemos que si en algún instante x(t) es positiva, su
derivada será negativa y viceversa. Entonces, comenzando
con una condición inicial x(0) = a, la solución no puede dejar el
conjunto compacto
{x ∈ R/ | x |≤| a |}
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Difeomorfismo
Definición
Una función φ : Rn → Rn , definida en una región Ω, se llama
difeomorfismo si es suave, y su inversa Ω−1 existe y es suave.
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
ẋ = f (x) + g(x)u
y = h(x)
y sea un nuevo conjunto de estados definido por
z = φ (x)
Entonces,
∂φ
ż = ẋ
∂x
∂φ
= ( f (x) + g(x)u)
∂x
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
ż = f ∗ (z) + g∗ (z)u
y = h∗ (z)
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
2 + 5x22
∂φ 10x1 x2
=
∂x 0 3 cos x2
Matemática Avanzada
Normas
Existencia y unicidad
Difeomorfismos y transformaciones de estado
Matemática Avanzada