Existencia y unicidad de ecuaciones diferenciales

Consideremos una funcion f dada tal que

f
=f ( x , y ) ; y ( x 0 )= y 0
y

(1)

Sin saber ms de este problema con valores iniciales rpidamente nos vienen
a la cabeza tres preguntas:
1. Cmo sabems que (1) tiene solicin si sabemos que no siempre
podemos exhibirla?
2. Cmo sabemos, en caso que existiera, que tal solucin es nica? son
dos, tres o hay una infinidad de soluciones a (1)?
3. Para qu nos molestamos en saber esto? despus de todo qu utilidad
tiene molestarse en encontrar una solucin que podamos exhibir con
presicin?
La respuesta a la tercer pregunta est en la observacn en que casi nunca, en
aplicaciones reales, es necesario una solucin exacta: basta con exhibirla
hasta unos cuantos decimales para que sea suficientemente precisa lo cual
es sencillo con la ayuda de una computadora. As pues, el saber que existe tal
solucin es motivo suficiente para buscarla.

Sea dada una ecuacin diferencial

y ' =f ( x , y )

donde la funcin

est definida en un recinto D del plano XOY que contiene el punto

f (x , y)

x0 , y
( 0) Si la

funcin satisface a las condiciones:

a)

f ( x , y ) es una funcin continua de dos variables x e y, en el recinto D;

b)

f ( x , y ) admite

derivada

parcial

f
y continua

con

respecto

de x e y en el recinto D, entonces, existe una, y slo una, solucin de la

ecuacin dada que satisface a la condicin .
El problema de la bsqueda de la solucin de la ecuacin

y ' =f ( x , y ) que

satisface la condicin inicial , lleva el nombre de Cauchy.

Geomtricamente esto significa que se busca la curva integral que pasa por el
punto dado

x0 , y
( 0)
M 0

del plano XOY (fig. 1).

Fig. 1.
El teorema expresa las condiciones suficientes para la existencia de solucin
nica del problema de Cauchy para la ecuacin

y ' =f ( x , y ) pero estas

condiciones no son necesarias. Precisamente, puede existir una solucin nica

y ' =f ( x , y ) que satisface a la condicin, a pesar de que en el

de la ecuacin

punto no se cumpla la condicin a) o la condicin b), o estas condiciones

simultneamente.
Ejemplos
1. Considere la ecuacin diferencial

Aqu,

f ( x , y )=

mas,

( X0 , 0)

del eje OX no se cumplen las condiciones a) y b) (la

f ( x , y ) y su derivada parcial

por

1
2
y

1 f 2
,
=
y2 y y3

En los puntos
funcin

y'=

cada

punto

del

f
y son discontinuas en el eje OX),

eje OX pasa

por

y= 3(xx 0 ) .

2. Considere la ecuacin diferencial:

y ' =xy +e y

una

sola

curva

integral

El segundo miembro de la ecuacin

f
=xe y
y

f ( x , y ) =xy+ e y y su derivada parcial

son continuas con respecto a x e y en todos los puntos del

plano XOY. En virtud del teorema de existencia y unicidad, el recinto en el que

la ecuacin dada tiene solucin nica es todo el plano XOY.
3. Considere la ecuacin diferencial:

El segundo miembro de la ecuacin

y'=

33 2
y
2

f ( x , y )=

33 2
y es una funcin definida y
2

continua en todos los puntos del plano XOY. La derivada parcial

hace infinita para

f
1
=3
y y se

y=0 se infringe la condicin b) del teorema de existencia

y unicidad. Por consiguiente, es posible que no haya unicidad en los puntos del
3

eje OX. Fcilmente se comprueba que la funcin

y=

(x +c )
8

es solucin de la

ecuacin considerada. Adems, la ecuacin tiene la solucin evidente

y=0 .

As, pues, por cada punto del eje OX pasan por lo menos dos curvas integrales
y, por consiguiente, en los puntos de este eje, verdaderamente, queda
infringida la unicidad.

Son tambin lneas integrales las formadas por trozos de las parbolas cbicas
3

y=

( x +c )
8

y los segmentos del eje OX; por ejemplo, las lneas ABOC1,

ABB2C2, A2B2x, etc. De este modo, por cada punto del eje OX pasan infinitas
lneas integrales.