Teorema de existencia y unicidad para ecuaciones

diferenciales ordinarias de primer orden

Guido Claro
16 de junio de 2013
Los siguientes teoremas llevan a una demostraci on de un teorema de existencia y unicidad
del problema de valores iniciales
_
y

(x) = f(x, y)
y(x
0
) = y
0
Comenzamos enunciando el Teorema.
Teorema de Existencia y Unicidad: Sea la regi on del plano
R = {(x, y) R
2
a x b ; c y d} y sea el punto (x
0
, y
0
) R. Si f(x, y) y
f
y
son contnuas en R Existe un intervalo I con centro en x
0
y una unica funci on y(x) que
satisfacen el problema
_
y

(x) = f(x, y)
y(x
0
) = y
0
Las siguientes deniciones y teoremas llevan a una
demostraci on completa del teorema.
Denici on 1 se dice que f(x, y) es de Lipchitz en R si existe K, 0 < k <
|f(x, y
1
) f(x, y
2
)| K|y
1
y
2
| (x, y
1
), (x, y
2
) R
Teorema 1 Si f(x, y) y
f
y
(x, y) son continuas en R f es de Lipchitz.
DEMOSTRACI

ON: Sean (x, y

1
) , (x, y
2
) R, y
1
y
2
para x jo se tiene que
f
y
es
funci on solo de y y adem as es continua por el teorema de valor medio de Lagrange, se tiene
que y , y
1
y y
2

f(x, y
2
) f(x, y
1
)
y
2
y
1
=
f
y
|
f(x, y
2
) f(x, y
1
)
y
2
y
1
| = |
f
y
(x, y)|
Entonces |f(x, y
2
) f(x, y
1
)| = |
f
y
|.|y
2
y
1
|
Adem as, por ser
f
y
contnua en R, K > 0
f
y
< K |f(x, y
2
) f(x, y
1
)| < K|y
2
y
1
|
Luego, f(x, y) es de Lipchitz en R
Teorema 2 Sea f(x, y) contnua el problema
_
y

(x) = f(x, y)
y(x
0
) = y
0
es equivalente a
la ecuacion y(x) = y
0
+
_
x
x
0
f(, y())d
Esto quiere decir que si y(x) es soluci on de una tambien lo es de la otra.
DEMOSTRACI

ON: Si y(x) es soluci on de

_
y

(x) = f(x, y)
y(x
0
) = y
0
integrando la ecuacion
entre x
o
y x obtengo
_
x
x
0
y

()d =
_
x
x
0
f(, y())d y(x) y(x
0
) =
_
x
x
0
f(, y())d
y(x) = y(x
0
) +
_
x
x
0
f(, y())d y(x) = y
0
+
_
x
x
0
f(, y())d
1
Por otro lado, si y(x) satisface la ecuaci on y(x) = y
0
+
_
x
x
0
f(, y())d, deriv ando a ambos
lados de la igualdad obtengo y

(x) =
d
dx
(
_
x
x
0
f(, y())d) = f(x, y(x)).x

f(x, y(x
0
)).x

0
=
f(x, y) y adem as y(x
0
) = y
0
+
_
x
0
x
0
f(, y())d = y
0
Denici on 2: Iteradas de Picard A los elementos de la sucecion de
funciones {y
n
(x)}
y
0
(x) = y
0
y
1
(x) = y
0
+
_
x
x
0
f(, y
0
)d
y
2
(x) = y
0
+
_
x
x
0
f(, y
1
())d
.
.
.
y
n
(x) = y
0
+
_
x
x
0
f(, y
n1
())d
se los llama Iteradas de Picard
Teorema 3 Si f(x, y) es de Lipchitz en la regi on D de todos los puntos que satisfacen
|xx
0
| p |yy
0
| q entonces existe > 0el problema
_
y

(x) = f(x, y)
y(x
0
) = y
0
tiene solucion
en el intervalo |x x
0
| <
DEMOSTRACI

ON: f(x, y) es contnua en D M > 0 (x, y) D : |f(x, y)| M

sea = min
_
p,
q
M
_
1) Demuestro que las iteradas de Picard son contnuas y satisfacen |y
n
(x) y
0
| q
y
1
(x) = y
0
+
_
x
x
0
f(, y
0
)d es contnua ya que f(x, y) es contnua la integral es contnua
y
1
(x) es contnua.
f(x, y
1
) es contnua la integral es contnua y
2
es contnua. De la misma manera para
todas las y
n
las iteradas de Picar son contnuas.
Veo que |y
n
(x) y
0
)| q:
|y
0
y
0
| = 0 < q
Sea el subrectangulo |x x
0
| , |y y
0
| M
|y
n
(x) y
0
| = |
_
x
x
0
f(, y
n1
())d|
_
x
x
0
|f(, y
n1
())|d
_
x
x
0
Md = M.(x x
0
)
M|x x
0
| M M.
q
M
= q
2) Demuestro que |y
n
(x) y
n1
(x) M.k
n1
|x x
0
|
n!

M.k
n1

n
n!
para alg un k > 0
n = 1: |y
1
(x)y
0
(x)| = |
_
x
x
0
f(, y
0
())d|
_
x
x
0
|f(, y
0
())|d
_
x
x
0
Md = M(xx
0
)
M|x x
0
| < M
Supongo que |y
n
(x) y
n1
(x)| Mk
n1
|x x
0
|
n
n!

Mk
n1

n
n!
f es de Lipchitz k > 0 |f(x, y
i
) f(x, y
j
) < k|y
i
y
j
| y
i
, y
j
|y
n+1
(x)y
n
(x)| = |y
0
+
_
x
x
0
f(, y
n
())d y
0

_
x
x
0
f(, y
n1
())d| = |
_
x
x
0
f(, y
n
())d
_
x
x
0
f(, y
n1
())d|
_
x
x
0
|f(, y
n
())d
_
x
x
0
f(, y
n1
())|d
_
x
x
0
k|y
n
() y
n1
()|d =
k
_
x
x
0
|y
n
() y
n1
()|d k
_
x
x
0
Mk
n1
| x
0
|
n
n!
d = mk
n
_
x
x
0
| x
0
|
n
n!
d =
mk
n
n!
_
x
x
0
|
x
0
|
n
d =
Mk
n
n!
| x
0
|
n+1
n + 1
|
x
x
0
=
mk
n
|x x
0
|
n+1
(n + 1)!

Mk
n

n+1
(n + 1)!
2
|y
n
(x) y
n1
(x)|
Mk
n1
|x x
0
|
n
n!

Mk
n1

n
n!
n N
3) Veo que {y
n
(x)} converge uniformemente a una funci on y(x) con x [x
0
, x
0
+ ] o
lo que es lo mismo con |x x
0
| <
y
n
(x)y
0
(x) = y
n
(x)y
n1
(x)+y
n1
(x)y
n2
(x)+y
n2
(x). . . . . .y
1
(x)+y
1
(x)y
0
(x) =

n
m=1
[y
m
(x) y
m1
(x)]
adem as, por el inciso anterior tengo que |y
m
(x)y
m1
(x)|
Mk
m1

m
m!
=
M
k
k
m

m
m!
m N,
con |x x
0
| <

m=1
|y
m
(x) y
m1
(x)|
M
k

m=1
(k)
m
m!
=
M
k
(e
k
1)
Luego, por criterio de Weierstrass de convergencia de series , la serie

m=1
[y
m
(x) y
m1
(x)]
converge absolutamente y uniformemente a una unica funcion (x)
(x) = lm
n

n
m=1
[y
m
(x) y
m1
(x)] = lm
n
[y
n
(x) y
0
(x)] = lm
n
y
n
(x)
y
0
(x) lm
n
y
n
(x) = (x) + y
0
(x) = y(x) con |x x
0
| < Entonces las iteradas de Picard
convergen uniformemente a una unica funci on y(x) si |x x
0
| <
4) Veo que y(x) es soluci on de la ecuaci on Y (x) = y
0
(x) +
_
x
x
0
f(, y())d Como f(x, y) es
continua y y
n
(x) y(x) uniformemente con |x x
0
| < lm
n
f(x, y
n
(x)) = f(x, y(x))
entonces y(x) = lm
n
y
n+1
(x) = y
0
+lm
n
_
x
x
0
f(, y
n
())d = y
0
+
_
x
x
0
lm
n
f(, y
n
())d =
y
0
+
_
x
x
0
f(, y())d
Entonces y(x) es soluci on.
Teorema 4: Desigualdad de Gronwald Sea y(x) una funci on contnua
y no negativa tal que y(x) A+B
_
x
x
0
y()d x|xx
0
| y A, B > 0 y(x) Ae
B(xx
0
)
DEMOSTRACI

ON
Sea (x) = B
_
x
x
0
y()d

(x) = By(x) B
_
A + B
_
x
x
0
y()d
_
= BA + B(x)

(x) B(x) BA e
B(xx
0
)

(x) Be
B(xx
0
)
(x) BAe
B(xx
0
)

d
dx
_
(x)e
B(xx
0
)
_
BAe
B(xx
0
)

_
x
x
0
d
d
_
()e
B(x
0
)
_
d
_
x
x
0
ABe
B(x
0
)
d
(x)e
B(xx
0
)
(x
0
)e
0
Ae
B(xx
0
)
+ Ae
0
Entonces, como (x
0
) = B
_
x
0
x
0
y()d = 0 tenemos que (x)e

B(xx
0
) A
_
1 e
B(xx
0
)
_

(x) A(e
B(xx
0
)
1)
y(x) A + B
_
x
x
0
y()d = A + (x) A + Ae
B(xx
0
)
A = Ae
B(xx
0
)
Teorema 4 (unicidad) Si f(x, y) es de Lipchitz en la regi on D de todos los
puntos que satisfacen |x x
0
| p |y y
0
| q, entonces y(x) = lm
n
y
n
(x) es la unica
soluci on continua en |x x
0
| del problema
_
y

(x) = f(x, y)
y(x
0
) = y
0
DEMOSTRACI

ON Supongamos que y(x) y u(x) son dos soluciones del problema

_
y

(x) = f(x, y(x))

y(x
0
) = y
0
en |x x
0
| y supongamos que (x, u(x)) R x |x x
0
| <
Sea v(x) = |y(x) u(x)| v(x) > 0 y es contnua
3
v(x) = |y
0
+
_
x
x
0
f(, y())d(y
0
+
_
x
x
0
f(, u())d)| = |
_
x
x
0
f(, y())d
_
x
x
0
f(, u())d|
K|
_
x
x
0
y()u()d| (porque f(x, y) es de Lipchitz) = K|
_
x
x
0
v()d| < +K|
_
x
x
0
v()d| =
+ K
_
x
x
0
v()d v(x) + K
_
x
x
0
v()d
Entonces por desigualdad de Gronwald, v(x) e
K(xx
0
)
> 0 v(x) 0 y(x)
u(x) = 0 y(x) = u(x)
Corolario (Teorema de Picard) Si f(x, y) y
f
y
son contnuas en D,
entonces > 0 tal que las iteradas de Picard {y
n
(x)} convergen a una unica soluci on contnua
en |x x
0
| < del problema
_
y

(x) = f(x, y(x))

y(x
0
) = y
0
BIBLIOGRAF

IA:
Wikipedia.
Apunte PDF sobre teorema de existencia y unicidad.
4