Está en la página 1de 6

Teoremas de existencia y unicidad de ecuaciones diferenciales

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

IGUEZ CHALA, JUAN PEDRO ARAQUE ESPI-


NOSA. Permission is granted to copy, distribute and/or modify this document under
the terms of the GNU Free Documentation License, Version 1.2 or any later version
published by the Free Software Foundation; with no Invariant Sections, no Front-Cover
Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled
GNU Free Documentation License.
2
Resumen
Con el desarrollo del presente texto se busca demostrar que, bajo ciertas condiciones, una
ecuacion diferencial ordinaria admite una unica solucion.
1. Existencia de soluciones
1.1. Construccion de soluciones proximadas
Denicion 1. Sea D R
2
un dominio y f : D R continua en D. Sea x I = [x
1
, x
2
].
Entonces, una funcion y(x) denida en ese intervalo es una solucion de y

= f(x, y) con error


si:
1. y(x) es admisible, es decir, (x, y(x)) esta en D siempre que x este en I.
2. y(x) es continua en I.
3. y(x) tiene derivada continua a trozos en I.
4. |y

(x) f(x, y(x))| en I, salvo en un n umero discreto de puntos.


Proposicion 1. Demostremos que, dado (x
0
, y
0
) en D, tal que los puntos de un rectangulo de
lados a y b, es decir, R : |x x
0
| a, |y y
0
| b, pertenezcan todos a D, y dado M R tal
que |f(x, y)| M para todo (x, y) R; se puede construir una solucion aproximada y(x) de
y

= 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

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


i1
, y(x
i1
)) f(x, y(x))|, (5)
donde hemos sustituido literalmente la expresion anterior para la derivada.
Teniendo en cuenta la segunda propiedad del conjunto de puntos x
i
y la expresion recurrente
de y(x),
|y(x) y(x
i1
)| M|x x
i1
| M

M
= . (6)
De aqu, en virtud de la continuidad uniforme de f,
|f(x
i1
, y(x
i1
)) f(x, y(x))| (7)
y, por tanto,
|y

(x) f(x, y(x))| (8)


salvo en un n umero nito de puntos. Con lo cual, y verica todas las hipotesis necesarias, de
forma que es una solucion aproximada.
1
Naturalmente, se puede construir un conjunto que cumpla estas propiedades.
2
Notese la desigualdad estricta, pues la derivada no esta denida en x
i
.
4
1.2. Solucion exacta
Teorema 1. Si f(x, y) es continua y lipschitziana respecto de y en un dominio D, esto es, existe
k > 0 de manera que |f(x, y
1
) f(x, y
2
)| k|y
1
y
2
|; entonces, dado (x
0
, y
0
) D existe una
solucion exacta de 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) = f(x, y(x)),


para |x x
0
| h.
Integrando los dos miembros de (10) desde x
0
hasta x obtenemos

_
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

|f(x, y) f(x, y)| +

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) kp(x)] 0. (24)


Integrando entre x
0
y x,
_
x
x
0
e
kx
[p

(x) kp(x)] dx 0. (25)


Con lo que podemos escribir
_
e
kx
p(x)

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