Teorema de existencia y unicidad.

No todas las ecuaciones diferenciales de primer orden se pueden resolver directamente, y entonces es
de gran utilidad saber si existen sus soluciones.
Recordemos que una ecuación diferencial por lo general tiene muchas soluciones, de las cuales sólo
una de ellas satisface las condiciones iniciales (sólo hay una curva que pasa por la condición inicial.
Una manera de garantizar la existencia y unicidad de la solución de una ecuación diferencial es a
través del siguiente teorema.
Teorema
Existencia de una solución única de una ecuación diferencial de primer orden.
Existe una solución única de una ecuación diferencial:

dy
= f ( x, y )
dx
Que satisface la condición inicial:

y ( x0 ) = y0

∂f
Si las funciones f ( x, y ) y son continuas para todo x y y en la vecindad del punto inicial
∂y
x = x0 , y = y0

En la solución de muchos casos de interés ingenieril, las condiciones de continuidad se satisfacen

para todos los valores x0 , y0 de manera que sí existe una solución única para el problema de valor
inicial.
Ejemplo: Uso del teorema de existencia y unicidad
Indicar si la siguiente ecuación diferencial tiene solución:

dy
= x2 y 2 (1)
dx

Sujeta a y ( 0 ) = 1 (2)

Solución:

∂f
Según el teorema, debe ser continua tanto f ( x, y ) = x 2 y 2 como
= 2 x 2 y , alrededor de (0.1).
∂y
Vemos que son funciones continuas para todo x y y, por lo que garantizamos que existe una
solución única para este problema de valor inicial.
La ecuación (1) se puede resolver por separación de variables:

dy 1 x3
= x 2
dx , − = + C , donde C = −1 .
y2 y 3
 1
Al despejar a y se tiene: y=− . Sin embargo, esta solución no está definida para toda x, se
x −3
3

vuelve indeterminada en x = 3 3 . El teorema garantiza una solución de una ecuación diferencial

que satisface una solución inicial, pero no dice que esa solución esté definida para toda x.

Ejemplo: Sin solución en la condición inicial.

Analizar el comportamiento de la solución de la siguiente ecuación diferencial

dy y
−2 =0 (3)
dx x
Solución:

2 y ∂f 2
Al aplicar el teorema, se tiene que f ( x, y ) = y = , las cuales son dos funciones continuas
x ∂y x
para toda x0 ≠ 0 . Entonces, si se intentará obtener la solución de la ecuación diferencial, con la
condición inicial x0 = 0 , el teorema no garantiza la existencia de una solución única.

Ejemplo: Soluciones no únicas.

Analizar el comportamiento de la siguiente ecuación diferencial con la condición inicial dada.

dy y
−2 =0 (4)
dx x

Sujeta a y ( 0 ) = 0 (5)

Solución:

2 y ∂f 2
Al utilizar el teorema, se tiene que f ( x, y ) =y = . Ambas funciones son continuas para
x ∂y x
toda x0 ≠ 0 . Entonces el teorema garantiza que (5) no tiene solución única en x0 = 0 , como se
mencionó en el ejemplo anterior.
La solución general de (4), que se puede obtener por separación de variables es

dy dx
=2
y x

ln y = 2 ln x + ln C

Al eliminar los logaritmos y = C x2 (6)

Si asignamos diferentes valores a C se obtiene la familia de soluciones de (4), la cual se muestra en

la gráfica de la figura.
Al observar lo que ocurre en el punto (0,0) que es la condición inicial de (4) se tiene que todas las
curvas pasan por este punto, por lo que en (0,0) no se tiene una única solución.
Si la condición inicial hubiera sido (0,1) concluiríamos que no hay solución, tal como el teorema lo
predice.

dy dx
Figura 1. Familia monoparamétrica de soluciones de =2
y x