Universidad de Pamplona Departamento de Matemáticas

Materia: Ecuaciones Diferenciales Primer Semestre 2020

Tema: Teorema de Existencia y Unicidad Sección 1.5 Libro 1
Tiempo: 2 Horas Clase 7

1. Objetivos
1.a. Objetivo General
Determinar si un problema de valor inicial (P.V.I.) dado tiene solución y si dicha solución es única
sin tener que resolver el problema completamente.

1.b. Objetivos Especı́ficos

Conocer los teoremas de existencia y unicidad de las soluciones de las ecuaciones diferenciales
ordinarias.

Entender la importancia de los teoremas a través de ejemplos.

Realizar los ejercicios propuestas de la sección.

2. Introducción
Se han visto procedimientos analı́ticos, cualitativos y numéricos para el estudio de soluciones de
ecuaciones diferenciales. Un problema que no se ha considerado es: ¿cómo se sabe que hay soluciones?.
Aunque esto puede parecer una pregunta sutil y abstracta, es una pregunta de gran importancia. Si
no existen soluciones a las ecuaciones diferenciales, no tiene caso tratar de encontrarlas o aproximarlas.
Más importante aún es que si una ecuación diferencial modela supuestamente un sistema fı́sico, pero no
existen soluciones para ecuación diferencial, entonces se deberı́a tener serias dudas sobre la validez del
modelo.
Cuando un problema de valor inicial modela matemáticamente una situación fı́sica, la existencia y
unicidad de la solución es de suma importancia, pues, con seguridad se espera tener una solución, debido
a que fı́sicamente algo debe suceder. Por otra parte, se supone que la solución sea única, pues si se repite
el experimento en condiciones idénticas, cabe esperar los mismos resultados, siempre y cuando el modelo
sea determinı́stico. Por lo tanto, al considerar un problema de valor inicial es natural preguntarse por:
¿Existirá una solución al problema ?
En caso de que exista solución, ¿será única ?

3. Existencia y Unicidad de las Soluciones

3.a. Existencia
El asunto de la existencia de las soluciones de las ecuaciones diferenciales se ha estudiado ampliamente
y se han obtenido muy buenos resultados, entre ellos el teorema estándar de la existencia.

Teorema
EXISTENCIA Supongamos que f (t, y) es una función continua en un rectángulo de la forma
{(t, y)/a < t < b, c < y < d} en el plano t − y. Si (t0 , y0 ) es un punto en este rectángulo, entonces
existe una  > 0 y una función y(t) definida para t0 −  < t < t0 +  que resuelve el problema de
valor inicial
dy
= f (t, y), y(t0 ) = y0 .
dt

1
 Este teorema es común para determinar la existencia de la solución de una ecuación diferencial de
primer orden ya que es relativamente fácil comprobar los criterios de continuidad de la función f (t, y).

3.b. Unicidad
Al tratar con problemas de valor inicial de la forma
dy
= f (t, y), y(t0 ) = y0
dt
siempre se ha dicho çonsidere la solución”. Por el teorema de existencia sabemos que hay una solución,
pero ¿cómo se sabe que hay sólo una?, ¿por qué no se debe decir çonsideren una solución.en vez de
considere la solución?. En otras palabras,¿cómo sabemos que la solución es única?
Saber que la solución de un problema de valor inicial es única es muy valioso, tanto desde el pun-
to de vista teórico como práctico. Si no fuesen únicas, se tendrı́a que trabajar con todas las posibles
soluciones,de manera numérica o cualitativa. Soluciones diferentes podrı́an dar predicciones completa-
mente distintas acerca de cómo trabaja el sistema. Afortunadamente, existe un teorema muy valioso que
garantiza que las respuestas a los problemas de valor inicial son únicas.

Teorema
UNICIDAD Supongamos que f (t, y) y ∂f /∂y son funciones continuas en un rectángulo de la forma
{(t, y)/a < t < b, c < y < d} en el plano t − y. Si (t0 , y0 ) es un punto en este rectángulo y si y1 (t)
y y2 (t) son dos funciones que resuelven el problema de valor inicial
dy
= f (t, y), y(t0 ) = y0
dt
para toda t en el intervalo t0 −  < 0 < t0 +  (donde  es algún número positivo), entonces
y1 (t) = y2 (t) para t0 −  < t < t0 + . Es decir, la solución al problema de valor inicial es única.

Este teorema es fácil de implementar ya que que sus hipótesis o condiciones para que se cumplan son
fáciles de identificar, es decir, probar que f (t, y) y ∂f /∂y son funciones continuas es sencillo.

4. Ejemplos
Ejemplo 1
Dado el problema de valor inicial
dy √
= x y, y(2) = 1
dx
determine si existe y es única la solución.
Solución Para determinar si existe y es única la solución se deben comprobar las hipótesis de los
teoremas de existencia y unicidad.
√
Para este caso se tiene que la función f (x, y) = x y es continua en el rectángulo {(x, y)/x ∈ R, y ≥
0}, y además el punto (2, 1) (condición inicial) esta en dicho rectángulo cumpliendo ası́ la primera
hipótesis del teorema de existencia, en otras palabras, garantizando que existe solución a la ecuación
diferencial.
Ahora, por otro lado, se tiene que la función
√
f (x, y) = x y = xy 1/2

y
∂f 1 x
= xy −1/2 = √
∂y 2 2 y
son continuas en el rectángulo {(x, y)/x ∈ R, y > 0} lo cuál garantiza que además de que hay
solución esta es única, por el teorema de unicidad.
Encontrar la solución del problema de valor inicial analı́ticamente se puede hacer por el método de
variables separables.

2
 Teniendo el problema de valor inicial Solución General
dy √ 2
= x y, y(2) = 1, x2

dx y(x) = +C
4
separando variables
Z Z
dy
√ = xdx, Ahora aplicando la condición inicial y(2) = 1
y
reescribiendo la integral 2
22

y(2) = +C
Z Z 4
−1/2
y dy = xdx,
se encuentra el valor de C
realizando la integral
2
1 = (1 + C) → C = 0
x2
2y 1/2 = +C
2 se encuentra la solución particular
despejando la variable dependiente
Solución Particular
1/2 x2
y = +C 2
x2 x4

4
y(x) = =
se encuentra la solución general de la ecuación 4 16
diferencial

Ejemplo 2
Dado el problema de valor inicial
dy √ √
= x y, y(1) = 1
dx
determine si existe y es única la solución
Solución Comprobando las hipótesis de los teoremas de existencia y unicidad se tiene:
√ √
La función f (x, y) = x y es continua en el rectángulo {(x, y)/x ≥ 0, y ≥ 0}, y además el punto
(1, 1) (condición inicial) esta en dicho rectángulo cumpliendo ası́ la primera hipótesis del teorema de
existencia, en otras palabras, garantizando que existe solución a la ecuación diferencial.

Ahora, por otro lado, se tiene que la función

√ √ √
f (x, y) = x y = xy 1/2

y √
∂f 1 √ −1/2 1 x
= xy = √
∂y 2 2 y
son continuas en el rectángulo {(x, y)/x ≥ 0, y > 0} lo cuál garantiza que además de que hay
solución esta es única, por el teorema de unicidad.
Encontrar la solución del problema de valor inicial analı́ticamente se puede hacer por el método de
variables separables.
Z Z
Teniendo el problema de valor inicial −1/2
y dy = x1/2 dx,
dy √ √
= x y, y(1) = 1, realizando la integral
dx
separando variables 2 3/2
2y 1/2 =x +C
3
√
Z Z
dy despejando la variable dependiente
√ = xdx,
y
1 3/2
reescribiendo la integral y 1/2 = x +C
3

3
 se encuentra la solución general de la ecuación se encuentra el valor de C
diferencial
 2
Solución General 1 2
1= +C →C=
3 3
 2
1 3/2
y(x) = x +C se encuentra la solución particular
3
Solución Particular
Ahora aplicando la condición inicial y(1) = 1 2 2
x3/2 + 2
 
1 3/2 2
 2 y(x) = x + =
1 3/2 3 3 3
y(1) = 1 +C
3

Ejemplo 3
Determine si existe una solución única para el problema de valor inicial
dy p
= 9 − (t2 + y 2 ), y(1) = 2
dt
Solución Se tiene
p ∂f y
f (t, y) = 9 − (t2 + y 2 ) y =p
∂y 9 − (t2 + y 2 )

se puede ver que en los puntos (t, y) para los cuales t2 + y 2 ≥ 9, no se cumplen las hipótesis de
existencia y unicidad.

En otras palabras, se puede ver que la función

es continua en la región del circulo t2 + y 2 = 9 la
cual contiene el punto (1, 2) descrito por la condi-
ción inicial (ver figura ). Entonces como cumple las
hipótesis de los teoremas de existencia y unicidad
se puede garantizar una solución única para el pro-
blema de valor inicial.

Ejemplo 4
¿Tiene solución el PVI y 0 = ln(xy) con y(0) = 2?
Solución En este caso f (x, y) = ln(xy) y ∂f /∂y = 1/y son las dos funciones definidas y continuas
en R = {(x, y)/x > 0, y > 0}. Dado que el punto (0,2) no se encuentra en el interior de R, el teorema
de unicidad no garantiza que haya solución única. Si se tuviera una condición inicial y(x0 ) = y0 con
x0 > 0, y0 > 0 de modo que el punto (x0 , y0 ) esté dentro de R, entonces sı́ se podrı́a asegurar la existen-
cia de una solución única.

Ejemplo 5
Considere la ecuación diferencial
dy
= y 2/3
dt
a. Demuestre que y1 (t) = 0 para toda t es una entonces y1 (t) es solución de la ecuación dife-
solución. rencial.

Solución Sea y (t) = 0 para toda t enton- b. Compruebe que y2 (t) = t3 /27 es una solución.
1
ces se tiene que dy1 /dt = 0 cumpliendo ası́ Solución Sea y (t) = t2/3 entonces se tiene
2
que que
2/3
t3 t2

dy1 2/3 2/3
y2 = =
= y1 = 0 27 9
dt

4
 por otro lado se tiene que Solución Ahora se tiene que
dy2 3t2 t2
= = y1 (0) = 0 = 02/3 = y2 (0)
dt 27 9
cumpliendo ası́ que pero
dy2 t 2 y1 (t) = 0 6= t2/3 = y2 (t)
2/3
= y2 =
dt 9 Ya que f (t, y) = y 2/3 entonces
con lo que se comprueba que y2 (t) es solución
de la ecuación diferencial. ∂f 2
= √
∂y 33y
c. Verifique que y1 (0) = y2 (0) pero que y1 (t) 6=
y2 (t) para toda t. ¿Por qué este ejemplo no la cual no es continua es y = 0 por lo tanto
contradice el teorema de unicidad? no se garantiza única solución en y(0).

Ejemplo 6
Dado el siguiente problema de valor inicial
dy
= y3 y(0) = 1
dt
a. Encuentre una formula para la solución. La cual tiene dominio (−∞, 1/4)
Solución Utilizando variables separables se
c. Describa qué le ocurre a loa solución cuando
tiene Z Z tiende a los lı́mites de su dominio de defini-
3 ción. ¿Por qué no puede extenderse la solución
y dy = dt
más tiempo?
integrando Solución
1 Cuando t → −∞ entonces y(t) → 0 y cuando
− =t+C
4y 4 t → 1/4 entonces y(t) → ∞ como lo muestra
la figura.
despejando y

1
y= √
4
−2t + C
utilizando la condición inicial y(0) = 1 se ob-
tiene que C = 1 y por lo tanto

Solución Particular
1
y(x) = √
4
−4t + 1

b. Establezca el dominio de definición de la so-

lución. No se puede extender la solución a más tiem-
Solución Como la solución del problema de po, ya que la solución no seria valida en otro
intervalo, además que si la ecuación diferen-
valor inicial es cial representara un modelo de un sistema
1 fı́sico se esperarı́a que el sistema se rompie-
y(x) = √
4 se cuando t tienda a 1/4.
−4t + 1

5
 Ejemplo 7

a. Demuestre que y1 (t) = t2 y y2 (t) = t2 + 1 son

soluciones de
y20 (t) = −(t2 +1)2 +t2 +1+2(t2 +1)t2 +2t−t2 −t4 =
dy
= −y 2 + y + 2yt2 + 2t − t2 − t4
dt −(t4 +2t2 +1)+t2 +1+2t4 +2t2 +2t−t2 −t4 =
4 2
Solución Dada la función y (t) = t2 se de-
1
−t
 −
2t − 1
+ t2 + 1
+ 4
2t + 2
2t +2t− t2 − t4 = 2t
riva de acuerdo al orden de la EDO y10 (t) = 2t
se reemplaza en la ecuación dada Por tanto como da una igualdad la función es
solución de la ecuación diferencial.

b. Compruebe que si y(t) es una solución de

y10 (t) = −(t2 )2 + t2 + 2t4 + 2t − t2 − t4 ] = la ecuación diferencial en el inciso (a) y si
4 0 < y(0) < 1, entonces t2 < y(t) < t2 + 1
−t
 + t2 +  4
2t + 2t − t2 − t4 = 2t
para toda t.
Por tanto como da una igualdad la función es Solución Si y(0) = 0 en y (0) = 02 = 0
1
solución de la ecuación diferencial.
Ahora se repite el proceso con la función si y(0) = 1 en y2 (0) = 02 + 1 = 1,
y2 (t) = t2 + 1 derivando y20 (t) = 2t. Reem- entonces 0 < y(0) < 1 se cumple que t2 <
plazando en la ecuación diferencial y(t) < t2 + 1

Ejemplo 8

a. Demuestre que se reemplaza en la ecuación dada

dy2
= −y22
dt
1 1
y1 (t) = y y2 (t) =
t−1 t−2  2 !
dy2 −1 1 1
dy =− =− 2 =− 2
son soluciones de = −y 2 . dt t−2 (t − 2) (t − 2)
dt
la función es solución de la ecuación diferen-
Solución Dada la función y (t) = 1
se
1 t−1 cial.
deriva de acuerdo al orden de la EDO
b. ¿Qué puede decir usted acerca de las solucio-
−1 nes de dy 2
y10 (t) = dt = −y para la cual la condición ini-
2
(t − 1) cial y(0) satisface la desigualdad −1 < y(0) <
−1/2? [Sugerencia: Podrı́a encontrar la solu-
se reemplaza en la ecuación dada ción general, pero ¿qué información puede ob-
tener usted de su respuesta al inciso (a) solo?]
dy1
= −y12
dt Solución Resolver la ecuación diferencial
dy
= −y 2
 2 ! dt
dy1 −1 1 1
=− =− 2 =− 2
Aplicando método de separación de variables
dt t−1 (t − 1) (t − 1)
Z Z
dy
la función es solución de la ecuación diferen- =− dt
y2
cial.
1
Z Z
Dada la función y2 (t) = t−2 se deriva de y −2 dy = − dt
acuerdo al orden de la EDO
−1 despejando la variable dependiente se encuen-
y10 (t) = 2 tra la solución general
(t − 2)

6
 1
Solución General Aplicando condición inicial y(0) =
2
1
y(t) = − 1
t+C y(0) = −
C

Aplicando condición inicial y(0) = 1 utilizando el valor inicial para encontrar C

1 1
= − → C = −2 y por lo tanto
1 2 C
y(0) = −
0+C
Solución Particular
hallar el valor de C
1 1
1 = − → C = −1 y por lo tanto y(t) = −
C t−2
Solución Particular
1 por tanto estas funciones son soluciones de la
y(t) = −
t−1 ecuación diferencial y se cumple la desigual-
dad −1 < y(0) < −1/2.

5. Ejercicios Propuestos
En los ejercicios 1 y 2, nos referimos a una función f , pero no proporcionamos su fórmula. Sin embargo,
suponemos que f satisface la hipótesis del teorema de unicidad en todo el plano t − y, y damos varias
soluciones para le ecuación diferencial dada. Finalmente, especificamos una condición inicial. Usando el
teorema de unicidad, ¿Qué puede concluir usted acerca de la solución a la ecuación con la condición
inicial dada?

dy dy
1. = f (t, y) 2. = f (t, y)
dt dt
y1 (t) = 3 para toda t es una solución, y1 (t) = −1 para toda t es una solución,
condición inicial: y(0) = 1 y2 (t) = 1 + t2 para toda t es una solución,
condición inicial: y(0) = 1.

3. Considere una ecuación diferencial de la forma dy/dt = f (y), que es una ecuación autónoma y
suponga que la función f (y) es continuamente diferenciable.

a. Suponga que Y1 (t) es una solución y que tiene su máximo local en t = t0 . Sea y0 = y1 (t0 ).
Demuestre que f (y0 ) = 0.
b. Use la información del inciso (a.) para esbozar el campo de pendientes a lo largo de la lı́nea
y = y0 en el plano t − y.
c. Demuestre que la función constante y2 (t) = y0 es una solución (en otras palabras, y2 (t) es una
solución de equilibrio).
d. Verifique que y1 (t) = y0 para toda t.
e. Compruebe que si una solución de dy/dy = f (y) tiene un mı́nimo local, entonces es una
función constante; es decir, también corresponde a una solución de equilibrio.
En los ejercicios 4 y 5 se da un problema de valor inicial.

a. Encuentre la formula para la solución.

b. Establezca el dominio de definición de la solución.
c. Describa qué le ocurre a la solución cuando tiende a los lı́mites de su dominio de definición.
¿Por qué no puede extenderse la solución para más tiempo?

7
 dy 1 dy 1
4. = , y(0) = 1 5. = , y(0) = 0
dt (y + 2)2 dt (y + 1)(t−)

6. Hicimos la observación de que el teorema de unicidad no se aplica a toda ecuación diferencial.

Existen hipótesis que deben verificarse antes de aplicar el teorema. Sin embargo, se antoja pensar
que, ya que los modelos de los problemas del “mundo real” deben obviamente tener soluciones, no
necesitamos preocuparnos acerca de la hipótesis de teorema de unicidad cuando estamos trabajando
con ecuaciones diferenciales que modelan el mundo fı́sico. El siguiente modela ilustra el error de
esta suposición:
Suponga que deseamos estudiar la formación de gotas de lluvia en la atmósfera. Planteamos la
hipótesis razonable de que las gotas de lluvia son aproximadamente esféricas. También suponemos
que la razón del crecimiento del volumen de una gota de lluvia es proporcional a su área superficial.
Sea v(t) el volumen de la gota de lluvia en el tiempo t y r(t) su radio. Tenemos

4 2
v= πr
3
según la formula usual para el volumen de una esfera. Por tanto

 1/3
3v
r= .
4π

El área superficial de la gota está dada por 4π 2 , que es entonces 32/3 (4π)1/3 v 2/3 . Por consiguiente,
la ecuación diferencial que modela el volumen de la gota de agua es

dv
= kv 2/3 ,
dt
donde k es el producto de la constante de proporcionalidad y 32/3 (4π)1/3 (vea el ejemplo 5).

a. ¿Por qué no satisface esta ecuación la hipótesis del teorema de unicidad?

b. Dé una interpretación fı́sica del hecho de que soluciones a esta ecuación con la condición inicial
v(0) = 0 no son únicas. ¿dice algo este modelo acerca de como se forman las gotas de lluvia?

6. Referencias
Blanchard p, Devaney R,Hall G.R, Differential equations, Fourth Edition.
https://tecdigital.tec.ac.cr/revistamatematica/cursos-linea/EcuacionesDiferenciales/EDO-Geo/edo-
cap1-geo/node12.html
Geogebra https://www.geogebra.org/classic