You are on page 1of 5

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 solución única. En este artículo se usan técnicas
elementales de cálculo para demostrar condiciones para la
Los problemas de valor inicial del tipo función f que garantizan que las iteradas de Picard
constituyen una sucesión de funciones que convergen a la
y ′ = f ( x, y ) , y ( x0 ) = y0 , (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).
aparecen en muchas aplicaciones en física, biología y
economía. Aparte de casos particulares, estos problemas 2. EXISTENCIA
diferenciales de primer orden no pueden ser resueltos
explícitamente lo cual motiva la búsqueda de métodos Determinemos condiciones que garanticen al menos una
aproximados. Sin embargo, antes de intentar hallar la solución de (1):
solución exacta o aproximada del problema (1) es En primer lugar, si f ( x, y ) es una función continua que
conveniente determinar si tal solución existe y si ésta es depende únicamente x podemos integrar la ecuación en
única. En este artículo retomamos las ideas del método (1) para obtener la solución del problema diferencial.
desarrollado por el matemático Francés Emile Picard Por otra parte, si f ( x, y ) es una función que depende
(1856-1941) para determinar condiciones para la únicamente de y , podemos separar las variables, integrar
función f bajo las cuales el problema de valor inicial (1)
y obtener una solución del problema (1).
tiene solución única en algún intervalo que contenga a x0 . En general, f ( x, y ) es una función que depende tanto de
Aunque el método de las iteradas de Picard es un método de x como de y . En este caso podemos tomar cualquier
conocido, en la mayoría de los libros de texto que se usan
el los cursos de ecuaciones diferenciales de nuestra función continua y = y0 ( x) que pase por el punto
Universidad únicamente se enuncia el teorema de ( x0 , y0 ) , puede ser la función constante y = y0 , y
existencia y unicidad de la solución de (1) sin aclarar el
reemplazarla en el miembro derecho de la ecuación
porque bajo ciertas condiciones impuestas a la función
diferencial en (1) para obtener la ecuación
Fecha de Recepción: 28 Mayo de 2007
Fecha de Aceptación: 24 de Agosto de 2007
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. y n ( x ) − y0
x0
≤ M,
x − x0
Utilizando y2 ( x) podemos obtener y3 ( x) , y así
sucesivamente. Realizado el proceso n veces obtenemos lo cual indica que la pendiente de la recta que une
la función ( x0 , y0 ) con ( x , yn ( x) ) esta entre M y − M ,
x garantizando, por lo tanto, que el punto ( x , yn ( x) ) esta
yn ( x) = y0 + ∫ f (t , yn −1 (t )) dt. (4)
x0 en R . Por lo anterior, si y0 ( x) se toma de tal manera que
su gráfico esta en S , entonces todas las funciones
Las funciones y = yn ( x ) , para n = 1, 2,3,… reciben el y = yn ( x) estarán en R (para n = 1, 2,3,… ).
nombre de iteradas de Picard. Demostremos que en un Además, cada una de estas funciones será continua y
cierto intervalo que contiene a x0 , y bajo condiciones tendrá derivada continua en el intervalo a,b . [ ]
especiales, la sucesión de funciones definida en (4) se
aproxima a una función límite y = ϕ ( x) que es solución
Ahora, para cada n ≥ 2 tenemos que
del problema (1) en algún intervalo que contiene a x0 .
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 implica que la sucesión de funciones y = yn ( x )
Lipschitz para f respecto a y . La constante A recibe el definidas en (7) converge uniformemente a la función
nombre de constante de Lipschitz. y = ϕ ( x) . Como cada y = yn ( x) es una función
Como y1 ( x ) y y2 ( x ) son continuas en el intervalo continua y la convergencia es uniforme entonces
[a , b] entonces existe una constante N > 0 tal que 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


equations and boundary value problems. J. Wiley, 1991.
Supongamos que f ( x, y ) es una función continua en
[3] R. Borrelli, C. Coleman. Ecuaciones Diferenciales,
una región S del plano xy y que existe una constante
una perpectiva de modelación. Oxford University Press,
M > 0 tal que f ( x, y ) ≤ M para ( x, y ) ∈ S . 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 elementales con aplicaciones. Prentice Hall, 1993.
los triángulos formados por las rectas x = a y x = b y
[5] L. Elsgoltz. Ecuaciones Diferenciales y cálculo
las dos rectas que pasan por el punto ( x0 , y0 ) y tienen variacional. MIR, 1977.
pendiente M y − M respectivamente.
[6] M. de Guzmán. Ecuaciones Diferenciales ordinarias.
Supongamos que existe una constante A > 0 tal que 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.