Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ordinarias
Mikael Rodrguez Chala y Juan Pedro Araque Espinosa
23 de abril de 2007
1
Licencia
Este documento ha sido liberado por sus autores bajo la licencia GNU Free Documenta-
tion License (GFDL), y su utilizacion, copia o reproduccion queda sujeta a los terminos
de la licencia citada, que puede ser consultada en el siguiente sitio web:
GNU Free Documentation License:
http://www.nablanoesunvector.com/licencia/gfdl.pdf
GFDL Version 1.2, November 2002
Copyright c 2000, 2001, 2002 Free Software Foundation, Inc.
Copyright c 2007 MIKAEL RODR
= f(x, y) (1)
en el intervalo |x x
0
| h, donde h = mn
_
a,
b
M
_
; y de manera que y(x
0
) = y
0
y cuyo error
sea un n umero positivo arbitrariamente peque no.
Para demostrarlo, considerese el rectangulo S : |x x
0
| h, |y y
0
| Mh, que esta conte-
nido en R por la denicion de h.
Fijemos el de la proposicion anterior. Dado que f(x, y) es continua en S, lo es uniformemente
por ser este un compacto. Por tanto, dado existe > 0 tal que
|f( x, y) f(x, y)| (2)
3
para ( x, y), (x, y) en S, | x x| , | y y| .
Sea {x
1
, x
2
, . . ., x
n1
} cualquier conjunto de puntos tales que
1
1. x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= x
0
+ h.
2. x
i
x
i1
min
_
,
M
_
, i = 1, 2, ..., n.
Vamos a construir una solucion aproximada en el intervalo x
0
x x
0
+ h; un proceso
parecido la determinara en el intervalo x
0
h x x
0
.
La solucion aproximada sera una poligonal construida de la siguiente manera: a partir de
(x
0
, y
0
) trazamos hacia la derecha un segmento cuya pendiente sea f(x
0
, y
0
); cortara a la recta
x = x
1
en un punto (x
1
, y
1
). A partir de (x
1
, y
1
) trazamos un nuevo segmento hacia la derecha
con pendiente f(x
1
, y
1
) que corta a la recta x = x
2
en y
2
; etc. El punto (x
1
, y
1
) tiene que
estar en el triangulo OPQ, pues tan(
POx
n
) = M, y f(x
0
, y
0
) M. Sucesivamente, (x
2
, y
2
)
estara tambien en OPQ, etc. De aqu que el proceso se pueda continuar hasta x
n
= x
0
+ h.
Analticamente, podemos denir y(x) por expresiones recurrentes:
y(x) = y(x
i1
) + (x x
i1
)f(x
i1
, y(x
i1
)), (3)
donde x
i1
x x
i
, i = 1, 2, ..., n.
Por su denicion, y(x) es admisible, continua y tiene derivada continua a trozos:
y
(x) = f(x
i1
, y(x
i1
)) (4)
con x
i1
< x < x
i
e i = 1, 2, ...n.
2
Ademas, si x
i1
< x < x
i
, se verica que
|y
= f(x, y) en |x x
0
| h, donde h esta denida como en la proposicion
aterior, y tal que:
y(x
0
) = y
0
(9)
Demostracion 1. Dada una sucesion {
n
} positiva, monotona y que tenga por lmite 0, seg un la
proposicion anterior exite una sucesion de funciones {y
n
(x)} que satisface que y
n
(x) se diferencia
de f(x, y
n
(x)) en menos de
n
, e y
n
(x
0
) = y
0
; es decir,
|y
n
(x) f(x, y
n
(x))|
n
|x x
0
| h (10)
excepto para el n umero nito de puntos determinado.
Aceptese sin demostracion
3
que la sucesion {y
n
(x)} converge uniformemente sobre |xx
0
|
h hacia una funcion continua y(x).
Construimos, ahora, la sucesion
__
x
x
0
f(t, y
n
(x))dt
_
(11)
que, para |x x
0
| h, converge uniformemente a
_
x
x
0
f(t, y(t))dt (12)
Para ver esto, tengamos en mente el rectangulo R : |x x
0
| h, |y y
0
| Mh incluido en
D por hipotesis. Por ser f(x, y) continua en el dominio cerrado R, tenemos que, dado > 0,
existe > 0 tal que
|f(x, y
1
) f(x, y
2
)| (x, y
1
), (x, y
2
) R, |y
1
y
2
| . (13)
Del mismo modo, para este > 0 existe un N tal que
|y
n
(x) y(x)| n > N, |x x
0
| h, (14)
porque, como hemos dicho antes, la sucesion {y
n
(x)} tiende uniformemente a y(x) continua. As,
para n > N,
|f(x, y
n
(x)) f(x, y(x))| , |x x
0
| h. (15)
Por tanto, la sucesion {f(x, y
n
(x))} converge uniformemente a f(x, y(x)). Luego, por un
conocido teorema, podemos permutar la integracion con el paso al lmite en la sucesion. Conse-
cuentemente, queda demostrado que (11) converge a (12).
Completamos la demostracion viendo que y(x) es derivable, y(x
0
) = y
0
e y
_
x
x
0
_
dy
n
(t)
dt
f(t, y
n
(t))
_
dt
n
|x x
0
|
n
h, (16)
pero puesto que y
n
(t) es continua, por el teorema fundamental del calculo
y
n
(x) y
0
_
x
x
0
f(t, y
n
(t))dt
n
h. (17)
3
Sentimos tener que realizar este acto de fe, pero nos ahorra muchas paginas de artculo y, ademas, no introduce
nada signicativamente relevante en las ideas que queremos transmitir.
5
Pasando al lmite la sucesion como hemos hecho antes, obtenemos
y(x) y(x
0
)
_
x
x
0
f(t, y(t))dt = 0, (18)
quedando demostrado el teorema de existencia.
2. Unicidad
Teorema 2. Si f(x, y) es continua y lipschitziana respecto de y en un dominio D, y si (x
0
, y
0
)
esta en D, e y(x), y(x) son dos soluciones exactas de y
= f(x, y) en un intervalo |x x
0
| h
tales que y(x
0
) = y(x
0
) = y
0
, entonces y(x) = y(x) cuando |x x
0
| h; es decir, existe como
maximo una sola curva integral que pasa por cualquier punto de D.
Demostracion 2. Haremos la demostracion para x
0
x x
0
+ h.
Sea p(x) = y(x) y(x). Como y(x) e y(x) son exactas, se verica
dy
dx
f(x, y)
= 0,
d y
dx
f(x, y)
= 0 (19)
en el intervalo considerado.
Por otra parte
dy
dx
d y
dx
dy
dx
d y
dx
+ f(x, y) f(x, y) + f(x, y) f(x, y)
, (20)
de donde, aplicando la desigualdad triangular, se deduce que
dy
dx
d y
dx
dy
dx
f(x, y)
d y
dx
f(x, y)
. (21)
Teniendo en cuenta (19) y la condicion de Lipschitz, se deduce que
dp
dx
k |p| , x
0
x x
0
+ h. (22)
Alla donde p(x) 0 (se hara analogamente si fuera negativo y trivialmente si fuera nulo) se
cumple
dp
dx
kp(x). (23)
Por tanto, teniendo en cuenta que la exponencial es siempre positiva, se puede escribir
e
kx
[p
x
x
0
0 (26)
o bien
p(x) e
k(x
0
x)
p(x
0
) = 0, (27)
ya que p(x
0
) = 0. De aqu se deduce trivialmente que y(x) = y(x) en el intervalo considerado,
tal y como queramos demostrar.
Referencias
[1] W.Hurewitz, Sobre ecuaciones diferenciales ordinarias.
6