Ecuaciones diferenciales Ordinarias

2 de noviembre de 2020
Teorema de unicidad
Sean a, b ≥ 0 y f (t, x) una funcion continua en
Q+ = {(t, x) | t0 ≤ t ≤ t0 + α, | x − x0 |≤ b}
y decreciente en x para toda t ∈ [t0 , t0 + α] fijo. Entonces
x0 = f (t, x)
(1)
x(t0 ) = x0
tiene a lo mas una solucion n el intervalo [t0 , t0 + α]
Demostraci´on. Para simplificar la notacion supondremos que t0 = 0. Supongamos que x1
y x2 son dos soluciones de (1) en I = [0, α] y que existe t ∈ I tal que x2 (t) = x1 (t).
Asumiremos que x2 (t) > x1 (t) sean
A = {t ∈ I | x2 (t) = x1 (t)} y t1 = inf A
Observemos que t1 existe porque 0 s una cota inferior para A, dado > 0 resulta qu
x2 (t) > x1 (t) ∀t ∈ (t1 , t1 + )
y como f es decreciente tenemos que f (t, x1 (t)) > f (t, x2 (t)) para todo t ∈ (t1 , t1 + ) que
es lo mismo que
x01 (t) ≥ x02 (t) ∀t ∈ (t1 , t1 +
) Por lo tanto si consideramos la funci´on
z(t) = x2 (t) − x1 (t)
resulta que z es decreciente n el intervalo (t1 , t1 + ) y como z(t1 ) = 0 resulta que z(t) ≤
0 en (t1 , t1 + ) o
x2 (t) ≤ x1 (t) ∀t ∈ (t1 , t1 + )
lo que es una contradicci´on que provino de suponer que exist´ıa t ∈ [0, α] tal que x2 (t) = x1
(t)
y por lo tanto x1 = x2 en I .
Observacion: Si f (t, x) es continua en
Q− = {(t, x) | t0 − α ≤ t ≤ t0 , | x − x0 |≤ b}
y creciente en x para toda t ∈ [t0 − α, t0 ] fijo. Entonces (1) tiene a lo mas una soluci´on en
el intervalo [t0 − α, t0 ]