Lecci

on 4

Tecnicas cualitativas para las Ecuaciones

diferenciales de primer orden:
Existencia y Unicidad de soluciones

4.1.

Introducci
on

Cuando aplicamos tecnicas cualitativas para estudiar los problemas de la Leccion 1

(Seccion 1.3) acerca del enfriamiento de una barra metalica nos hicimos una pregunta importante que entonces no podamos contestar: dadas dos soluciones de una misma ecuacion
diferencial, pueden una de ellas cortar a la otra?. Recordemos que esta cuestion apareca de
manera recurrente en el analisis del comportamiento de las soluciones en relacion a las soluciones de equilibrio. Ahora ya sabemos que para una ecuacion diferencial de primer orden hay,
en general, infinitas soluciones determinadas por una constante arbitraria. Esta constante
queda determinada en cuanto imponemos una condicion inicial, y parece que a condiciones
iniciales diferentes les corresponden constantes, y por lo tanto soluciones, diferentes. Pero
es este en realidad el caso?.
Hay todava una cuestion fundamental que ni tan siquiera hemos considerado. En el
captulo anterior hemos estudiado metodos para resolver algunas ecuaciones. Tambien hemos
59

60

Tecnicas cualitativas: Existencia y Unicidad de soluciones

comentado ya que el n
umero de ecuaciones que se pueden resolver mediante los metodos
estudiados es mas bien peque
no, como podemos saber entonces si una ecuacion diferencial
dada de primer orden tiene o no solucion?. En este captulo daremos respuesta a estas
preguntas y, a partir de ellas, estudiaremos metodos cualitativos que nos permitiran, con poco
esfuerzo, predecir el comportamiento de las soluciones de ciertas ecuaciones diferenciales.

4.2.

Existencia y Unicidad de las Soluciones

4.2.1.

Existencia

Hemos visto procedimientos generales para encontrar soluciones a cierto tipo de ecuaciones. La base de dichos procedimientos es la integracion. Pero no toda funcion puede integrarse
de forma elemental. Con esto se quiere decir que hay funciones que no son la derivada de
una funcion expresable analticamente. Por ejemplo, no podemos expresar analticamente la
siguiente integral:
Z
2

et dt,
2

lo cual no significa que la funcion et no sea integrable, y de hecho lo es por ser continua.
Por el mismo motivo, no podemos encontrar una expresion analtica de una funcion que sea
solucion de la ecuacion
2
x0 = et .
Lo cual no significa
no exista solucion para esta ecuacion, y de hecho existe porque
R que
2
existe la integral et dt aunque no lo podamos expresar analticamente como una funcion
conocida. Estamos entonces ante la pregunta como sabemos que hay soluciones?. Puede
parecer, todava, una pregunta sutil y abstracta, pero es una pregunta muy importante: si
no hay soluciones para una ecuacion no tiene objeto buscarlas. Claro que, por otra parte,
una cosa es que sepamos que una ecuacion tiene solucion y otra cosa muy distinta es que
sepamos como calcularla. Para ilustrar esta situacion consideremos, por ejemplo, la siguiente
ecuacion algebraica:
2x5 10x + 5 = 0.
Una solucion de esta ecuacion es un valor de x para el que el lado izquierdo es igual a cero.
Existe tal valor de x?. Si evaluamos la expresion 2x5 10x + 5 en x = 1 tenemos que
2 15 10 1 + 5 = 3 y si lo hacemos en x = 1 el valor de la expresion es 13. Como los
polinomios son funciones continuas, si en x = 1 el polinomio toma un valor positivo y en
x = 1 un valor negativo, debe haber un punto entre 1 y 1 en el que el polinomio vale cero.
Hemos establecido la existencia de por lo menos un valor de x para el que 2x5 10x + 5
es cero. Es decir, hemos probado que la ecuacion 2x5 10x + 5 = 0 tiene una solucion en

4.2 Existencia y Unicidad de las Soluciones

61

el intervalo (1, 1). Cual es este valor?. Hay tecnicas numericas para calcularlo con tanta
precision como se quiera, pero hay toda una elaborada teora matematica que nos asegura
que no hay una formula (como por ejemplo para las ecuaciones segundo grado) que pueda
expresar dicha solucion. Es decir, podemos asegurar que la ecuacion 2x5 10x + 5 = 0 tiene
al menos una solucion pero no podemos expresar dicha solucion de forma analtica.
Con las ecuaciones diferenciales sucede algo parecido. Si nos dan el problema de condicion
inicial
x0 = f (t, x),
x(t0 ) = x0
podemos preguntarnos si existe una solucion para este problema. Puede suceder que podamos responder a esta cuestion sin saber como calcular dicha solucion. De hecho, el problema
de existencia de soluciones de problemas de condiciones iniciales se ha estudiado ampliamente y se han obtenido muy buenos resultados dando lugar a teoremas que garantizan la
existencia de soluciones bajo determinadas hipotesis. Entre ellos, nosotros utilizaremos el
teorema estandar de existencia de soluciones.
Teorema 4.1 (Teorema de Existencia).- Supongamos que f (t, x) es una funcion continua en un rect
angulo de la forma {(t, x) | a < t < b, c < x < d} en el plano t x. Si (t0 , x0 )
es un punto en este rect
angulo, entonces existe un > 0 y una funcion x(t) definida en
t0 < t < t0 + que es solucion del problema de condiciones iniciales:
x0 = f (t, x),

x(t0 ) = x0 .

Este teorema garantiza la existencia de soluciones para problemas de condiciones iniciales

siempre que la funcion f sea razonable. Esto no significa que no puedan existir soluciones
incluso cuando f no es razonable, pero nadie lo garantiza. Incluso cuando existen soluciones,
si se lee el teorema con atencion, se observa que el intervalo en el que dichas soluciones
pueden estar definidas puede ser extremadamente peque
no. El teorema asegura que la posible

solucion tiene un dominio de definicion igual a (t0 , t0 +) para un cierto > 0. Este
puede
ser grande o peque
no, lo cual puede parecer decepcionante, pero nadie puede asegurar, en
general, nada mejor. Consideremos, por ejemplo, el siguiente problema de condicion inicial:
x0 = 15(1 + x2 ),

x(0) = 0

La ecuacion x0 = 15(1 + x2 ) es una ecuacion en variables separables. En efecto

1
dx = 15 dt.
1 + x2
Integrando obtenemos
arctan x(t) = 15t + C

62

Tecnicas cualitativas: Existencia y Unicidad de soluciones

donde C es una constante arbitraria. Por lo tanto

x(t) = tan(15t + C)
que es la solucion general de la ecuacion diferencial. (Notese que no hay soluciones de equilibrio porque x2 + 1 > 0 para todo valor de x). Usando el valor inicial:
0 = x(0) = tan(0 + C),
encontramos que C = 0 ( o C = n para cualquier entero n). As que la solucion particular
es x(t) = tan(15t). Ahora debemos observar cual es el campo de existencia de esta funcion.
Sabemos que tan t tiende a + si t tiende /2 y a si t tiende a /2. Por lo tanto,
el campo de existencia de esta funcion es (/30, /30). Un intervalo muy peque
no porque
/30 00 1. (Vease la Figura 4.1).

4.2.2.

Unicidad

Al hablar de las soluciones de problemas de condiciones iniciales hemos venido diciendo

con mucha frecuencia que tal o cual funcion es la solucion del problema y no una solucion.
Como sabemos que dicha solucion es u
nica?.
Saber que la solucion de un problema de condiciones iniciales es u
nica es muy valioso,
tanto desde el punto de vista teorico como practico. Si no supieramos que la solucion es u
nica,
deberamos preocuparnos por encontrar todas las soluciones posibles. Desde el punto de vista
de la aplicacion de las ecuaciones diferenciales al mundo real (recordemos que las ecuaciones
diferenciales aparecen con mucha frecuencia como modelos teoricos de lo que sucede en
procesos fsicos y qumicos reales), si la solucion de un problema de condiciones iniciales no
fuera u
nica, las predicciones del modelo no sera tampoco u
nicas. En otras palabras, nunca
podramos estar seguros del comportamiento del fenomeno que estuvieramos estudiando.
x

Figura 4.1:
La grafica de la solucion x(t) = tan(15t)
de la ecuacion
t
0.1

0.05

0.05

x0 = 15(1 + x2 )

0.1

con la condicion inicial x(0) = 0. Cuando

t /30 por la izquierda, x(t) + y
cuando t /30 por la derecha, x(t)
.

4.2 Existencia y Unicidad de las Soluciones

63

Afortunadamente, existe un teorema muy importante que asegura que, bajo hipotesis muy
amplias, las soluciones de los problemas de condiciones iniciales son u
nicas.
son funciones continuas en un
Teorema 4.2 (Teorema de Unicidad).- Si f (t, x) y f
x
rect
angulo de la forma: R = {(t, x) | a < t < b, c < x < d}. Si (t0 , x0 ) es un punto en este
rect
angulo y si x1 (t) y x2 (t) son dos soluciones del problema de condiciones iniciales:
x0 = f (t, x),

x(t0 ) = x0 ,

entonces x1 (t) = x2 (t) para todos los valores de t para los que (t, x1 (t)), (t, x2 (t)) R. Es
decir, la solucion del problema es u
nica.
Hablando llanamente, el Teorema de Unicidad dice que, siempre que se den las hipotesis
del teorema (f y f
sean continuas en R), si dos soluciones de la ecuacion coinciden en alg
un
x
punto dentro del rectangulo, son en realidad la misma funcion. En otras palabras, si tenemos
dos soluciones distintas de la ecuacion estas no deben coincidir en ning
un punto; es decir,
sus graficas no pueden cruzarse, ni tan siquiera tocarse.
Antes de ver algunas implicaciones importantes de este Teorema, veamos que las hipotesis
del Teorema son importantes: si no se dan puede fallar la unicidad de la solucion. Consideremos el siguiente problema de condiciones iniciales:
x0 = 3x2/3 ,

x(1) = 0

La ecuacion x0 = 3x2/3 es una ecuacion en variables separables que admite una solucion
de equilibrio: x(t) = 0. Esta solucion cumple la condicion inicial: x(1) = 0. Es la u
nica?. El
2/3
teorema no nos lo asegura porque aunque f (t, x) = 3x es continua en x = 0 resulta que
f
2
= 1/3 y, por consiguiente, f
no existe en x = 0.
x
x
x
Veamos que, en efecto, hay mas soluciones de la ecuacion x0 = 3x2/3 que cumplen la
condicion inicial x(1) = 0. La solucion general de la ecuacion se obtiene por integracion:
Z
Z
1
1/3
dx = 3x ,
3 dt = 3t
x2/3
de forma que
x(t) = (t + C)3 .
es dicha solucion general. Imponiendo la condicion inicial: 0 = x(1) = (1 + C)3 , tenemos que
C = 1 y x(t) = (t 1)3 es otra solucion del problema de condiciones iniciales. Es decir,
existen dos soluciones del problema de condiciones iniciales. (Ver Figura 4.2).

64

Tecnicas cualitativas: Existencia y Unicidad de soluciones

x

Figura 4.2:
Graficas de dos soluciones del problema de
condiciones iniciales:

x(t)=t

x0 = 3x2/3 ,
t
x(t)=0

x(1) = 0

La ecuacion no satiface las hipotesis del

Teorema de Unicidad si x = 0. Tenemos
dos soluciones x(t) = 0 y x(t) = t3 , diferentes, cuyas graficas se cortan en el punto
(0, 0).

Aplicaciones del Teorema de Unicidad

El Teorema de Unicidad no solo es importante desde un punto de vista matematico sino que
es una herramienta muy u
til para interpretar el comportamiento de las soluciones. Veamos
algunos ejemplos:
Papel de las Soluciones de Equilibrio
Consideremos el siguiente problema de condiciones iniciales:
(x2 4)(sen2 x3 + cos x 2)
1
,
x(0) =
(4.1)
2
2
La ecuacion es de variables separables, pero encontrar soluciones implcitas no parece tarea
facil porque las integrales implicadas son muy difciles. Pero lo que s podemos decir es que
la funcion
(x2 4)(sen2 x3 + cos x 2)
f (t, x) =
2
f
y su x son continuas en todo el plano. Estamos, entonces, bajo las hipotesis de los teoremas
de existencia y unicidad: hay una u
nica solucion, x(t), de la ecuacion que en 0 vale 1/2.
x0 =

Por otra parte, la ecuacion diferencial tiene dos soluciones de equilibrio x1 (t) = 2 y
x2 (t) = 2. Desde luego ninguna de estas dos soluciones de la ecuacion diferencial es solucion
del problema de condiciones iniciales porque ninguna de las dos vale 1/2 en t = 0. Pero s nos
proporcionan, con ayuda del teorema de unicidad, alguna informacion de la solucion del
problema. En efecto, si x = x(t) es la solucion del problema de condiciones iniciales entonces
x(0) = 1/2. Esto significa que en t = 0 x(t) se encuentra entre x1 (t) y x2 (t). Ademas, x(t)
nunca puede cortarse ni con x1 (t) ni con x2 (t) porque si tal cosa sucediera, digamos que en
el punto t = t1 x(t1 ) = x1 (t1 ) = 2, el problema de condiciones iniciales:
x0 =

(x2 4)(sen2 x3 + cos x 2)

,
2

x(t1 ) = 2

4.2 Existencia y Unicidad de las Soluciones

65

Figura 4.3:
Gr
aficas de dos soluciones de equilibrio del
problema de condiciones iniciales:

x(t)=2

x(t)
t

x(t)=2

x0 =

(x2 4)(sen2 x3 + cos x 2)

1
, x(0) =
2
2

El Teorema de Unicidad nos asegura que

la grafica de la solucion de este problema
est
a siempre entre las rectas x = 2 y x =
2, que son soluciones de equilibrio de la
ecuaci
on.

tendra dos soluciones x(t) y x1 (t). Pero esto no es posible por el teorema de unicidad. En
consecuencia, la solucion del problema (4.1) debe mantenerse siempre entre 2 y 2. No
sabemos a ciencia cierta como es dicha solucion pero el teorema de unicidad junto a las
soluciones de equilibrio nos da una idea de por donde podemos encontrar dicha solucion.
(ver Figura 4.3).
Unicidad y An
alisis Cualitativo
En el estudio de los ejemplos de la Leccion 1 nos preguntamos sobre la posibilidad de
que dos soluciones de una ecuacion diferencial se cortaran. Aunque ya lo adelantamos en su
momento ahora sabemos con certeza que la respuesta es no. Concretamente, en el estudio
de las reacciones qumicas modeladas por la Ley de Accion de Masas, estudiado en grupos,
apareca una ecuacion diferencial del siguiente tipo:
x0 = K(nA x)(nB x)
siendo nA y nB n
umeros concretos y K > 0. Esta es una ecuacion en variables separables
cuyas soluciones podemos encontrar explcitamente. Hay dos soluciones de equilibrio: x(t) =
nA y x(t) = nB . Supongamos que nA < nB y sea c un n
umero entre nA y nB : nA < c < nB .
Podemos tener una idea de como es la solucion del problema de condicones iniciales:
x0 = K(nA x)(nB x),

x(0) = c ?.

Por el teorema de unicidad sabemos con exactitud que la solucion de este problema debe estar
siempre entre nA y nB ; as que la grafica de dicha solucion debe tener la forma representada
en en la Figura 4.4 tal y como ya habamos conjeturado.
Debe observarse que no necesitamos conocer la expresion analtica de la solucion de la
ecuacion para saber que la grafica de la solucion es la presentada en la Figura 4.4. Esta
informacion la obtenemos directamente de la ecuacion diferencial. Mas a
un, la expresion

66

Tecnicas cualitativas: Existencia y Unicidad de soluciones

x
n

x(t)
nA
t

Figura 4.4: Posibles graficas de la solucion del problema condiciones iniciales x0 = K(nA x)(nB
x), x(0) = c, con nA < c < nB . Seg
un lo proximo o alejado que este el valor de c de nA y
nB , la grafica tendra una u otra apariencia. En cualquier caso siempre se encontrar
a entre ambas
soluciones de equilibrio.

analtica de la solucion, ya obtenida en el trabajo en grupo, es suficientemente complicada

como para que la obtencion de su grafica por los metodos tradicionales no sea elemental.
La moraleja es que el estudio directo de la ecuacion diferencial a partir de las propiedades
de la derivada junto a los teoremas de existencia y, sobre todo, unicidad, nos permite obtener
una informacion muy valiosa sobre la grafica de las soluciones de una ecuacion diferencial
que en la mayor parte de los casos no es facil conseguir a partir de las soluciones analticas
de las mismas (cuando estas esten disponibles). Esta forma de conseguir informacion sobre
las soluciones de una ecuacion diferencial se concretan en unas tecnicas que estudiaremos en
las dos siguientes lecciones, y se llaman t
ecnicas cualitativas.
Debe observarse, ademas, que en muchos casos, las expresion analtica de las soluciones
de una ecuacion diferencial no estan disponibles. En tales casos, solo las tecnicas cualitativas
y numericas nos permiten conocer algo sobre dichas soluciones. En la Leccion 6 estudiaremos,
a modo de ejemplo, una tecnica numerica llamada M
etodo de Euler.