CAPTULO

1
Conceptos bsicos

1.6 Existencia y unicidad de soluciones *

Hasta el momento hemos hablado de las ED y sus soluciones sin preocuparnos sobre el problema de la
existencia de dichas soluciones. Es de esperarse que las ED que consideraremos en la mayora de los casos
tengan solucin, de otra forma el tiempo y esfuerzo que se inviertan en buscar una solucin estaran irremediablemente perdidos. Por otra parte, el hecho de que para una ED en particular una persona no pueda
encontrar su solucin no significa que la ED no tenga solucin. De aqu resulta muy deseable conocer algn
criterio que nos permita decidir si una ED o bien un PVI tienen solucin. En esta seccin vamos a enunciar,
sin demostracin, un resultado de gran importancia, conocido como el teorema de Existencia y Unicidad
de Picard-Lindelf, que proporciona algunas condiciones que garantizan que un PVI tenga solucin nica.
Antes de enunciar un resultado importante de esta seccin, hagamos explcitas las siguientes afirmaciones
que damos por sentadas:
1. Toda ED de primer orden se puede escribir en la forma normal:
dy
D f .x; y/;
dx
donde f es una funcin de dos variables (aunque bien puede darse el caso que dependa solamente
de una de ellas), definida en todo el plano xy o bien en una parte del plano llamada el dominio de f .
2. Recordemos que al par formado por una ED y condiciones iniciales se le llama un problema de valor
inicial o PVI. Es decir, un PVI de primer orden es de la forma:
dy
D f .x; y/;
dx

con

y.x0 / D y0 :

(1.1)

Dicho lo anterior, si una funcin y D '.x/ es solucin del PVI (1.1), entonces por la segunda parte del
teorema Fundamental del Clculo:
x
Z x

' 0 .t/ dt D '.t/  D '.x/ '.x0 /I
x0

x0

1. canek.azc.uam.mx: 21/ 9/ 2010

Ecuaciones diferenciales ordinarias

despejando '.x/:
'.x/ D '.x0 / C

' 0 .t/ dt:

x0

dy
D f .x; y/,
dx
0
de donde ' .t/ D f .t; y/ D f .t; '.t//. Resulta entonces que, si y D '.x/ es una solucin del PVI, entonces
debe satisfacer a la siguiente ecuacin integral:
Ahora bien, por ser y D '.x/ una solucin del PVI debe cumplir con '.x0 / D y0 y con ' 0 .x/ D

'.x/ D y0 C

f .t; '.t// dt:

(1.2)

x0

Con el argumento anterior hemos mostrado que, si y D '.x/ es solucin del PVI (1.1), entonces tambin es
solucin de (1.2). Recprocamente, si y D '.x/ satisface a la ecuacin integral (1.2) y se cumplen algunas
condiciones de continuidad sobre la funcin f .x; y/ del integrando (junto con su derivada parcial con
respecto a su segunda variable), que hacen posible que la integral est bien definida, entonces obtendramos
de (1.2) al derivar respecto a x, por la primera parte del teorema Fundamental del Clculo:


Z x

Z x
d
d
d
d
'.x/ D
y0 C
f .t; '.t// dt D
y0 C
f .t; '.t// dt D f .x; '.x// )
dx
dx
dx
dx x0
x0
Z x0
) ' 0 .x/ D f .x; '.x// y adems '.x0 / D y0 C
f .t; '.t// dt D y0 :
x0

Aunque puede resultar difcil de creer, la ecuacin integral (1.2) es en general ms accesible para el anlisis
que el PVI (1.1) e incluso proporciona la base para un mtodo general de solucin, que consiste en obtener
aproximaciones sucesivas '0 .x/, '1 .x/, '2 .x/;


a la solucin del PVI cada vez mejores, en el sentido de
que se encuentran ms cerca de la solucin verdadera.
El esquema de aproximacin es como sigue:
'0 .x/ es cualquier aproximacin a la solucin; a falta de informacin se escoge comnmente '0 .x/ D y0 , y
a partir de ah se definen:
'1 .x/ D y0 C
'2 .x/ D y0 C

f .t; '0 .t// dt;

x
Z x0

f .t; '1 .t// dt;

x0

::
:
'nC1 .x/ D y0 C

f .t; 'n .t// dt:

x0

Cuando las condiciones que debe cumplir f .x; y/ se satisfacen, este esquema converge con bastante rapidez
a la nica solucin del PVI.

Ejemplo 1.6.1 Encuentre la solucin al PVI:

dy
D y;
dx

con la condicin

y.0/ D 1:

1.6 Existencia y unicidad de soluciones *

H

Definimos '0 .x/ D y0 D 1; a partir de esta primera aproximacin:

'1 .x/ D y0 C

f .t; '0 .t// dt D 1 C

x0
x

x

1
dt D 1 C t  D 1 C xI



t 2  x
x2
'2 .x/ D y0 C
.1 C t/ dt D 1 C t C
D 1Cx C
I
f .t; '1 .t// dt D 1 C

2
2
x0
0
0




Z x
Z x
x
t2
t2
t3
 D
'3 .x/ D y0 C
f .t; '2 .t// dt D 1 C
1Ct C
dt D 1 C t C
C
2
2
2
3 0
x0
0
Z

D 1Cx C

x2
x3
C
I
2
3

::
:
'nC1 .x/ D y0 C

f .t; 'n .t// dt D 1 C

x0

t3
t nC1
t2
D 1C t C
C
C


C
2
3
.n C 1/



t2
tn
C


C
dt D
2
n


x2
x3
x nC1
D1C xC
C
C


C
:
2
3
.n C 1/

1Ct C

 x



0

Se puede apreciar entonces que las funciones '0 .x/, '1 .x/, '2 .x/;


; 'n .x/


son las sumas parciales de
la solucin nica del PVI, que est dada por la serie
'.x/ D

1
X
xk
D ex ;
k

kD0

como se puede verificar fcilmente.


El ejemplo previo se pudo resolver fcilmente porque as fue escogido, de modo que el lector pudiera apreciar cmo funciona el mtodo de aproximaciones sucesivas. Hay que aclarar que este mtodo no se aplica
en todos los PVI (solamente en aquellos que satisfacen a las condiciones para tener solucin nica), y an
en los casos en que se puede aplicar, la convergencia (a pesar de ser rpida) puede resultar difcil de apreciar, pues las integrales que dan las aproximaciones sucesivas se van tornando cada vez ms complicadas.
Afortunadamente, rara vez hay que emplear este mtodo en la prctica; esta situacin es similar al clculo
de integrales directamente a partir de la definicin como lmite de sumas de Riemann.
A continuacin enunciamos el teorema de Existencia y Unicidad con una ltima aclaracin: es costumbre
en los textos de matemticas que cualquier afirmacin titulada teorema se suponga que es una proposicin
demostrable y que debe demostrarse en el texto. Nosotros, cuando anunciamos un resultado con el ttulo
teorema, significa que es algo importante para el desarrollo de los temas que siguen y muy posiblemente
para todo el libro y para el material que se vea en otros cursos ms avanzados. Sin embargo, esto no
significa que proporcionaremos una demostracin de ese resultado en este texto, pues dicha demostracin
puede encontrarse en alguna otra fuente.
Teorema 1.1 de Existencia y Unicidad (Picard-Lindelf)
Dado un PVI
dy
D f .x; y/; con y.x0 / D y0 ;
dx



supongamos que hay un rectngulo R D .x; y/  a < x < b; c < y < d que contiene al punto .x0 ; y0/ en su
@f
interior y dentro del cual f .x; y/ y
.x; y/ son continuas. Entonces el PVI tiene una nica solucin y D '.x/
@y
definida en algn intervalo x0 h < x < x0 C h, para algn h > 0.

Ecuaciones diferenciales ordinarias

y

y D '.x/.

d
y0
R
c

x
a

x0

x0

x0 C h

Observe que el contenido de este teorema es dar condiciones suficientes para que el PVI tenga solucin
nica. El rectngulo R del que habla podra ser grande (incluso ocupar todo el plano) o bien pequeo,
pero la curva y D '.x/ cuya existencia y unicidad garantiza el teorema est confinada al mismo rectngulo,
hasta el intervalo x0 h < x < x0 C h debe quedar contenido en el intervalo a < x < b. El teorema no dice
tampoco qu tan pequeo ser el nmero h, slo afirma que es positivo. En el mejor de los casos (como en
el ltimo ejemplo anterior al teorema) h puede ser C1 y la solucin est definida para todo x; en el peor
de los casos h puede ser un nmero positivo pequeo.
Ejemplo 1.6.2 Tiene solucin el PVI

y 0 D x 2y

y5;

con

y.2/ D 3

@f
D x 2 5y 4 son las dos funciones continuas para todo valor de
@y
x & y. En consecuencia, el teorema de Existencia y Unicidad garantiza que hay una solucin nica.


Tenemos que f .x; y/ D x 2 y

y5 &

Ejemplo 1.6.3 Tiene solucin el PVI

y 0 D ln.xy/;

con

y.0/ D 2

1
@f
H En el presente caso f .x; y/ D ln.xy/ &
D
son las dos funciones definidas y continuas en R D
@y
y



.x; y/  x > 0; y > 0 . Dado que el punto .0; 2/ no se encuentra en el interior de R, el teorema de Existencia
y Unicidad no garantiza que haya solucin nica. Si se tuviera una condicin inicial y.x0 / D y0 con x0 > 0,
y0 > 0 de modo que el punto .x0 ; y0/ est dentro de R, entonces s podramos asegurar la existencia de una
solucin nica.

2

Ejemplo 1.6.4 Tiene solucin el PVI

y 0 D 6xy 3 ;

con la condicin

y.0/ D 0

Tenemos ahora que la funcin f .x; y/ D 6xy 3 est definida y es continua para todos los valores x, y,
1
2 1
@f
mientras que
D 6x
y 3 D 4xy 3 est definida y es continua para todas las x, y excepto y D 0. La
@y
3
@f
condicin inicial dada est contenida en la recta y D 0, donde
no est definida, as que el teorema no
@y
garantiza que haya solucin nica. Sin embargo en este ejemplo, a diferencia del anterior, s hay solucin
aunque sta no es nica.

1. Para empezar, tenemos la solucin trivial y D '0 .x/ D 0 para toda x, que satisface desde luego el PVI,
pues
2
dy
'0 .0/ D 0 y
D 0 D 6x'.x/ 3 D 6
0:
dx
2. Otra solucin es la funcin y D '1 .x/ D x 6 , pues evidentemente:
'1 .0/ D 0

2
d'.x/
D 6x 5 D 6
x
x 4 D 6x'1 .x/ 3 :
dx

1.6 Existencia y unicidad de soluciones *

3. Tambin se pueden hacer combinaciones de las soluciones anteriores, como:

(
(
0;
si x < 0I
x 6 ; si x < 0I
'3 .x/ D
o
tambin
'
.x/
D
4
x 6; si x  0:
0;
si x  0:
Tener tan gran variedad de soluciones podra ser tan malo como no tener solucin alguna, pues en
los problemas de inters lo que se busca es una sola respuesta bien definida.
@f
es discontinua en el punto .x0 ; y0 / de la condicin inicial es lo
@y
que provoca tantas soluciones en vez de una sola. Sin embargo, investigar esta clase de temas, aun cuando
puede ser de gran inters, queda fuera de los objetivos de un curso introductorio de ED y de este libro.


Podra probarse que el hecho de que