Maestría en Ciencias en Matemáticas Aplicada

Universidad Juarez Autónoma de Tabasco

División Académica de Ciencias Básicas
Exposición Teorema Fundamental de Existencia y Unicidad

Ecuaciones Diferenciales Ordinarias

Profesor: Dr. Miguel Angel de la Rosa Castillo

Alumno: Luis Enrique Angeles Montero

Teorema Fundamental de Existencia y Unicidad
Para poder demostrar el teorema se utilizaran las siguientes funciones y lemas.
Denición. Se supone que f ∈ C (E) donde E es un subconjunto abierto de Rn . Entonces
x (t) es una solución de la ecuación diferencial
ẋ = f (t) (0.0.1)
en un intervalo I si x (t) es difereciable y si para todo t ∈ I , x (t) ∈ E y
x0 (t) = f (x (t)) .
Y dado x0 ∈ E , x (t) es una solución del problema de valor inicial
ẋ = f (x)
x (t0 ) = x0
en un intervalo I si t0 ∈ I , x (t0 ) = x0 y x (t)es una solución de la ecuación diferencial
(0.0.1) en el intervalo I .
Para aplicar el método de aproximación sucesivas de Picard para establecer la existencia
de una solución de ẋ = f (x), se dene el concepto de condición de Lipschitz y mostrar que
las funciones C 1 son localmente Lipschitz.
Denición. Sea E un subconjunto abierto de Rn . Una función f : E → Rn se dice que
satisface la condición de Lipschitz en E si existe una constante K positiva tal que para
todo x, y ∈ E
|f (x) − f (y)| ≤ K |x − y| .
La función f se dice localmente de Lipschitz en E si para cada punto x0 ∈ E existe una ε-
vecindad de x0 , Nε (x0 ) ⊂ E y una constante K0 > 0 tal que para todo x, y ∈ N (x0 )
|f (x) − f (y)| ≤ K0 |x − y| .
Por una ε- vecindad de un punto x0 ∈ Rn , se dene una bola abierta de radio positivo ε;
es decir,
N (x0 ) = {x ∈ Rn | |x − x0 | < ε} .
Lema. Sea E un subconjunto abierto de Rn y sea f : E → Rn . Entonces, si f ∈ C 1 (E),
f es localmente Lipschitz en E.

El método de Picard de aproximación sucesiva es basado en el hecho que x (t) es una

solución del problema de valor inicial
ẋ = f (x)
x (0) = x0
si y solo si x (t) es una función continua que satisface la ecuación integral
Z t
x (t) = x0 + f (x (s)) ds.
0
La aproximación sucesiva de la solución de esta ecuación integral es denida por función
de secuencias
u0 (t) = x0
Z t
uk+1 (t) = x0 + f (uk (s)) ds
0
para k = 0, 1, 2, .... A continuación de presenta un ejemplo para la ilustrar el método.

2
Ejemplo. Resolver el problema de valor inicial
ẋ = ax
x (0) = x0

por el método de aproximación sucesiva. Sea

u0 (t) = x0

y calculando
Z t Z t Z t
u1 (t) = x0 + f (u0 (s)) ds = x0 + ds = x0 + ax0 t = x0 (1 + at)
ax0 ds = x0 + ax0
0 0 0
Z t Z t Z t Z t
2
u2 (t) = x0 + f (u1 (s)) ds = x0 + ax0 (1 + as) ds = x0 + ax0 ds + a x0 sds
0 0 0 0
t2 t2
 
= x0 + ax0 t + ax20 = x0 1 + at + a2
2 2
Z t Z t  2

2s
u3 (t) = x0 + f (u2 (s)) ds = x0 + ax0 1 + as + a ds
0 0 2
Z t Z t Z t 2
2 3 s
= x0 + ax0 ds + a x0 sds + a x0 ds
0 0 0 2
t2 t3
= x0 + ax0 t + a2 x0 + a3 x0 .
2 2·3
resulta por inducción que
k
 
kt
uk (t) = x0 1 + at + · · · a
k!

por lo cual
lı́m uk (t) = x0 eat .
k→∞

Es decir, la aproximación sucesiva converge a la solución x (t) = x0 eat del problema de

valor inicial.

A continuación de realiza la demostración del teorema

Teorema (Teorema fundamental de existencia y unicidad ). Sea E un subconjunto abierto

de R
n que contiene x0 y se asume que f ∈ C 1 (E). Entonces existe un a>0 tal que el

problema de valor inicial

ẋ = f (x)
x (0) = x0

tiene una única solución x (t) en el intervalo [−a, a].

Demostración. Dado que f ∈ C 1 (E), es resultado de el lema en el cual existe una ε-

vecindad, Nε (x0 ) ⊂ E y constante K > 0 tal que para todo x, y ∈ Nε (x0 ),

|f (x) − f (y)| ≤ K |x − y| .

Sea b = ε/2. Entonces la función continua f (x) esta acotada en el compacto

N0 (x0 ) = {x ∈ Rn | |x − x0 | < b} .

3
Sea
M = máx |f (x)| .
x∈N0

Sea la aproximación sucesiva uk (t). Entonces se asuma que existe un a > 0 tal que uk (t)
esta denido y es continuo en [−a, a] y satisface

máx |uk (t) − x0 | ≤ b,

[−a,a]

esto es por que f (uk (t)) esta denido y es continuo en [−a, a] y por lo tanto
Z t
uk+1 (t) = x0 + f (uk (s)) ds
0

esta denido y es continuo en [−a, a] y satisface

Z t 
 
máx |uk (t) − x0 | = máx  f (uk (s)) ds

[−a,a] [−a,a] 0
Z t
≤ máx |f (uk (s))| ds
[−a,a] 0
Z t
≤ máx M ds
[−a,a] 0

≤ máx M s|t0
[−a,a]

≤ máx M t
[−a,a]

≤ Ma

entonces

máx |uk (t) − x0 | ≤ b

[−a,a]

Ma ≤ b
b
0<a≤
M