Scientia et Technica Año XIII, No 35, Agosto de 2007. Universidad Tecnológica de Pereira.

ISSN 0122-1701 479

EXISTENCIA Y UNICIDAD DE LAS SOLUCIONES DE PROBLEMAS DIFERENCIALES

Existence and uniqueness of the solutions of differential problems

RESUMEN ABEL E. POSSO AGUDELO

En este artículo consideramos el problema de la existencia y unicidad del Matemático.
problema diferencial de valor inicial y′ = f ( x, y ) , y ( x0 ) = y0 , donde PhD. Ciencias Matemáticas
Profesor Titular
f es una función continua que satisface una condición de Lipschitz. Departamento de Matemáticas
Facultad de Ciencias Básicas
PALABRAS CLAVES: Ecuación diferencial, condición de Lipschitz. Universidad Tecnológica de Pereira
possoa@utp.edu.co
ABSTRACT
In this paper we discuss the existence and uniqueness theorem for first order JOSÉ R. GONZALEZ
initial problem y′ = f ( x, y ) , y ( x0 ) = y0 , where f is a continuous Profesor Auxiliar, PhD
Matemático
function and satisfies a Lipschitz condition. Departamento de Matemáticas
Facultad de Ciencias Básicas
KEYWORDS: Differential equations, Lipschitz condition. Universidad Tecnológica de Pereira
jorodryy@utp.edu.co

CARLOS ESCOBAR
Ingeniero Civil.
Mg. En Matemáticas
Profesor Auxiliar
Departamento de Matemáticas
Facultad de Ciencias Básicas
Universidad Tecnológica de Pereira
ccescobar@utp.edu.co

f se puede garantizar que el problema diferencial (1) tiene

1. INTRODUCCIÓN
Los problemas de valor inicial del tipo
y ′ = f ( x, y ) , y ( x0 ) = y0 ,
aparecen en muchas aplicaciones en física, biología y
economía. Aparte de casos particulares, estos problemas
diferenciales de primer orden no pueden ser resueltos
explícitamente lo cual motiva la búsqueda de métodos
aproximados. Sin embargo, antes de intentar hallar la
solución exacta o aproximada del problema (1) es
conveniente determinar si tal solución existe y si ésta es
única. En este artículo retomamos las ideas del método
desarrollado por el matemático Francés Emile Picard
(1856-1941) para determinar condiciones para la
función f bajo las cuales el problema de valor inicial (1)
tiene solución única en algún intervalo que contenga a x0 .
Aunque el método de las iteradas de Picard es un método
conocido, en la mayoría de los libros de texto que se usan
el los cursos de ecuaciones diferenciales de nuestra
Universidad únicamente se enuncia el teorema de
existencia y unicidad de la solución de (1) sin aclarar el
porque bajo ciertas condiciones impuestas a la función
Fecha de Recepción: 28 Mayo de 2007
Fecha de Aceptación: 24 de Agosto de 2007
solución única. En este artículo se usan técnicas
elementales de cálculo para demostrar condiciones para la
función f que garantizan que las iteradas de Picard
constituyen una sucesión de funciones que convergen a la
(1) solución del problema (1). Igualmente se demuestra que la
función límite de tales iteradas es la única solución de (1).
2. EXISTENCIA
Determinemos condiciones que garanticen al menos una
solución de (1):
En primer lugar, si f ( x, y ) es una función continua que
depende únicamente x podemos integrar la ecuación en
(1) para obtener la solución del problema diferencial.
Por otra parte, si f ( x, y ) es una función que depende
únicamente de y , podemos separar las variables, integrar
y obtener una solución del problema (1).
En general, f ( x, y ) es una función que depende tanto de
de x como de y . En este caso podemos tomar cualquier
función continua y = y0 ( x) que pase por el punto
( x0 , y0 ) , puede ser la función constante y = y0 , y
reemplazarla en el miembro derecho de la ecuación
diferencial en (1) para obtener la ecuación
 480 Scientia et Technica Año XIII, No 35, Agosto de 2007. Universidad Tecnológica de Pereira.

y′ = f ( x, y0 ( x) ) . (2) K 2 cortan al eje x determinando el intervalo [ a,b ] que

contiene a x0 . Sea R la región encerrada por estos
Si f ( x, y ) es una función continua en algún conjunto
triángulos, es decir,
abierto y conexo S del plano que contiene al punto
( x0 , y0 ) , entonces f ( x, y0 ( x)) será una función de x ⎧⎪ y − y0 ⎫⎪
continua en algún intervalo que contenga a x0 . Integrando
R = ⎨ ( x, y ) : a ≤ x ≤ b , ≤ M ⎬.
⎩⎪ x − x0 ⎭⎪
(2) obtenemos la función

x
Probemos que para cualquier entero positivo n , si la
y1 ( x) = y0 + ∫ f (t , y0 (t )) dt , (3) gráfica de y = yn −1 ( x) esta contenida en S entonces la
x0
gráfica de la siguiente iterada y = yn ( x) esta contenida
la cual pasa por el punto ( x0 , y0 ) . en R :

Reemplazando y1 ( x ) en el miembro derecho de la [ ]

Sea x ∈ a,b . Entonces
ecuación diferencial en (1) obtenemos
x

y′ = f ( x, y1 ( x) ) . yn ( x) − y0 = ∫ x0
f (t , yn −1 (t ))dt ≤ M x − x0 . (6)

Integrando, obtenemos Entonces, para x ≠ x0 tenemos que

x
y2 ( x) = y0 + ∫ f (t , y1 (t ))dt.
x0
Utilizando y2 ( x) podemos obtener y3 ( x) , y así
sucesivamente. Realizado el proceso n veces obtenemos
la función
x garantizando, por lo tanto, que el punto ( x , yn ( x) ) esta
yn ( x) = y0 + ∫ f (t , yn −1 (t )) dt.
x0
Las funciones y = yn ( x ) , para n = 1, 2,3,… reciben el
nombre de iteradas de Picard. Demostremos que en un
cierto intervalo que contiene a x0 , y bajo condiciones
especiales, la sucesión de funciones definida en (4) se
aproxima a una función límite y = ϕ ( x) que es solución
del problema (1) en algún intervalo que contiene a x0 .
y n ( x ) − y0
≤ M,
x − x0
lo cual indica que la pendiente de la recta que une
( x0 , y0 ) con ( x , yn ( x) ) esta entre M y − M ,
(4)
en R . Por lo anterior, si y0 ( x) se toma de tal manera que
su gráfico esta en S , entonces todas las funciones
y = yn ( x) estarán en R (para n = 1, 2,3,… ).
Además, cada una de estas funciones será continua y
tendrá derivada continua en el intervalo a,b . [ ]
Ahora, para cada n ≥ 2 tenemos que
n −1

Consideremos que en la región S la función f ( x, y ) es

yn ( x) = y1 + ∑ ( yk +1 ( x) − yk ( x)) . (7)
k =1
continua y acotada. Sea M una constante positiva tal que
f ( x, y ) ≤ M para ( x, y ) ∈ S . (5) Si existe una constante A > 0 tal que la función f
satisface la condición
Sean L1 y L2 las rectas que pasan por el punto ( x0 , y0 ) y
f ( x, y ) − f ( x , y ) ≤ A y − y , (8)
tienen pendiente M y − M respectivamente. Sean K1 y
K 2 dos rectas paralelas al eje y tales que los dos para cada par de puntos ( x, y ) y ( x, y ) en R , entonces
triángulos determinados por las rectas L1 , L2 , K1 , y K 2 podemos asegurar que
estén contenidos en S . Consideremos que las rectas K1 y
 Scientia et Technica Año XIII, No 35, Agosto de 2007. Universidad Tecnológica de Pereira. 481

x ∞
yk +1 ( x) − yk ( x) ≤ A ∫ yk (t ) − yk −1 (t ) dt , (9) y1 + ∑ ( yk +1 ( x) − yk ( x))
x0
k =1

para k = 2,3, 4,… y = ϕ ( x) , lo cual

converge uniformemente a una función

La condición dada en (8) recibe el nombre de condición de
Lipschitz para f respecto a y . La constante A recibe el
nombre de constante de Lipschitz.
Como y1 ( x ) y y2 ( x ) son continuas en el intervalo
[a , b] entonces existe una constante N > 0 tal que
implica que la sucesión de funciones y = yn ( x )
definidas en (7) converge uniformemente a la función
y = ϕ ( x) . Como cada y = yn ( x) es una función
continua y la convergencia es uniforme entonces
y = ϕ ( x) también es continua.

Por otra parte,

y2 ( x) − y1 ( x) ≤ N , para todo x en [a , b] . (10)

De (9) y (10) se obtiene ( x

ϕ ( x) − y0 + ∫ f (t , ϕ (t ))dt
x0 )
x
x
y3 ( x) − y2 ( x) ≤ A ∫ y2 (t ) − y1 (t ) dt = ϕ ( x) − yn ( x) + ∫ [ f (t , yn −1 (t )) − f (t , ϕ (t ))]dt
x0
x0

x
≤ A ∫ Ndt = AN x − x0 . Por (8) y la desigualdad triangular tenemos que
x0

De igual modo, ( x
ϕ ( x) − y0 + ∫ f (t , ϕ (t ))dt
x0 )
x
≤ ϕ ( x) − yn ( x) + A ∫ yn −1 (t ) − ϕ (t ) dt .
x
y4 ( x) − y3 ( x) ≤ A ∫ y3 (t ) − y2 (t ) dt x0
x0

x − x0
2
x
ε >0
≤A N ∫ t − x0 dt = A N Para cada existe un número natural n0 tal que si
2 2
.
x0 2 n > n0 entonces
Mediante un razonamiento inductivo podemos afirmar que ε ε
ϕ ( x ) − yn ( x ) < y yn −1 (t ) − ϕ (t ) < ,
k −1
2 2 Ah
x − x0 entonces
yk +1 ( x) − yk ( x) ≤ Ak −1 N
( ) ε ε
,
(k − 1)!
x x
ϕ ( x) − y0 + ∫ f (t , ϕ (t ))dt < +A∫ dt
x0 2 x0 2 Ah
para cada natural k ≥ 2 . ε ε
= + x − x0 < ε ,
2 2h
{
Tomando h = máx x0 − a , x0 − b } tenemos que lo cual implica que

hk −1 ϕ ( x) = y0 + ∫ f (t , ϕ (t ))dt .
yk +1 ( x) − yk ( x) ≤ Ak −1 N
x0
(11)
(k − 1)!
Por el teorema fundamental del cálculo tenemos que
Como la serie de términos constantes ϕ ′( x) = f ( x, ϕ ( x)) .

h k −1
Además, ϕ ( x0 ) = y0 .
∑ k =1 A N (k − 1)! converge a Ne Ah entonces, por
∞ k −1

Por tanto, y = ϕ ( x) es una solución del problema (1).

el criterio de Weierstrass, la serie
 482 Scientia et Technica Año XIII, No 35, Agosto de 2007. Universidad Tecnológica de Pereira.

3. UNICIDAD Por tanto ( x, Ψ ( x)) ∈ R para todo x ∈ [a , b] .

Ahora,
[
Demostremos ahora que en el intervalo a , b solo hay ] Ψ ( x) − ϕ ( x) = ∫ x0
x
[ f (t , Ψ (t )) − f (t , ϕ (t ))dt
una solución del problema diferencial (1).
x
≤ A ∫ Ψ (t ) − ϕ (t ) dt . (12)
Supongamos que y = Ψ ( x) es solución de (1) en el x0

[
intervalo a , b ] y demostremos que esta solución
Sea C = máx Ψ (t ) − ϕ (t ) .
coincide con la solución y = ϕ ( x) . a ≤t ≤ b

Inicialmente demostremos que ( x, Ψ ( x)) está en R para Entonces

cada x en ( x0 , b . Sea] Ψ ( x) − ϕ ( x) ≤ AC x − x0 . (13)

⎧⎪ Ψ ( x) − Ψ ( x0 ) ⎫⎪
T = ⎨ x ∈ [ x0 , b] : > M ⎬. Reemplazando (13) en el integrando de (12) obtenemos
⎪⎩ x − x0 ⎪⎭
x
Ψ ( x) − ϕ ( x) ≤ A ∫ AC t − x0 dt
Si T ≠ ∅ , existe un número xm que es el menor x0

A2C x − x0
2
elemento de T .
= (14)
Dado que y = Ψ ( x ) es continua y derivable, por el 2
teorema del valor medio podemos garantizar la existencia Reemplazando (14) en el integrando de (12) obtenemos
de un número x* entre x0 y xm tal que
x
Ψ ( x) − ϕ ( x) ≤ 12 A ∫ A2C t − x0 2 dt
x0
Ψ ( xm ) − Ψ ( x0 )
= Ψ ′( x* ) . A3C x − x0
3
xm − x0 = (15)
3!
Entonces Inductivamente llegamos a que

Ψ ( xm ) − Ψ ( x0 )
f ( x* , Ψ ( x* )) = Ψ ′( x* ) = >M, An C x − x0
n

xm − x0 Ψ ( x) − ϕ ( x) ≤ , n = 1, 2,3,…
n!
luego el punto ( x , Ψ ( x )) ∉S y por tanto
* *

Puesto que x − x0 ≤ h entonces

Ψ ( x* ) − Ψ ( x0 )
> M (absurdo, ya que x* < xm ).
x − x0
*
C ( Ah) n
Ψ ( x) − ϕ ( x) ≤ , n = 1, 2,3,…
Luego T = ∅ y así
n!
Como
Ψ ( x) − Ψ ( x0 )
< M para x0 < x ≤ b ,
x − x0 C ( Ah) n
( x, Ψ ( x)) ∈ R para x0 < x ≤ b .
lo cual garantiza que
→ 0 cuando n → ∞ , entonces
n!
De manera similar se demuestra que ( x, Ψ ( x)) ∈ R Ψ ( x) − ϕ ( x) = 0 para todo x ∈ [a,b] .
para a ≤ x < x0 .
Lo anterior se resume en el siguiente teorema:
Además, ( x0 , Ψ ( x0 )) = ( x0 , y0 ) ∈ R.
Scientia et Technica Año XIII, No 35, Agosto de 2007. Universidad Tecnológica de Pereira. 483

Teorema. (Existencia y unicidad) [2] W. Boyce y R. DiPrima. Elementary differential

Supongamos que f ( x, y ) es una función continua en
una región S del plano xy y que existe una constante
M > 0 tal que f ( x, y ) ≤ M para ( x, y ) ∈ S .
equations and boundary value problems. J. Wiley, 1991.
[3] R. Borrelli, C. Coleman. Ecuaciones Diferenciales,
una perpectiva de modelación. Oxford University Press,
2002.

Sean ( x0 , y0 ) un elemento de S y [a, b] un intervalo [4] C. Edwards y D. Penney. Ecuaciones Diferenciales

tal que la región S incluye a la región R encerrada por
los triángulos formados por las rectas x = a y x = b y
las dos rectas que pasan por el punto ( x0 , y0 ) y tienen
pendiente M y − M respectivamente.
Supongamos que existe una constante A > 0 tal que
elementales con aplicaciones. Prentice Hall, 1993.
[5] L. Elsgoltz. Ecuaciones Diferenciales y cálculo
variacional. MIR, 1977.
[6] M. de Guzmán. Ecuaciones Diferenciales ordinarias.
Teoría de estabilidad y control. Alambra, 1980.

[7] D. Kreider, R. Kuller y D. Ostberg. Ecuaciones

f ( x, y ) − f ( x, y ) ≤ A y − y Diferenciales. Fondo Educativo Interamericano, 1973.

para cada par de puntos ( x, y ) y ( x, y ) de R . [8] D. Lomen, D. Lovelock. Ecuaciones Diferenciales a

través de gráficas, modelos y datos. CECSA, 1999.
Entonces existe una única función que pasa por el punto [9] R. Palmer Agnew. Ecuaciones Diferenciales.
( x0 , y0 ) y que satisface la ecuación diferencial UTEHA, 1968.
y′ = f ( x, y ) en el intervalo [a, b] .
[10] S. L. Ross. Ecuaciones Diferenciales. Reverte, 1979.
Nota.
[11] R. K. Tagle, E. Saff y D. Snider. Ecuaciones
Diferenciales y problemas con valores en la frontera.
La unicidad de la solución garantiza que cualquier
Pearson Educación, 2000.
función que pase por el punto ( x0 , y0 ) puede tomarse
como primera aproximación. [12] D. Zill. Ecuaciones diferenciales con aplicaciones de
Mediante el método de las quebradas de Euler se puede modelado. Thomson, 1997.
demostrar que la continuidad de la función f en S
garantiza la existencia de soluciones del problema de
valor inicial (1) pero no garantiza la unicidad.

4. CONCLUSIONES

El problema de existencia y unicidad demostrado puede

ser generalizado de manera directa, con ideas similares a
las expuestas, a problemas diferenciales de orden
superior.
En la mayoría de los casos el método de las iteradas de
Picard no es un método efectivo porque las integrales a
calcular se complican a medida que aumentamos las
iteraciones. Sólo en casos muy simples podemos calcular
las primeras iteradas de Picard e intuir la solución exacta
del problema (1). En algunos casos más complicados las
integrales pueden ser calculadas numéricamente
mediante algún programa computacional.

5. BIBLIOGRAFÍA

[1] P. Blanchard, R. Devaney y G. Hall. Ecuaciones

Diferenciales. Internacional Thomson Editores, 1999.