TEOREMA DE EXISTENCIA

Y UNICIDAD
Aplicado a las Ecuaciones Diferenciales
En este artculo mostraremos un ejemplo que te permitir entender claramente el
cmo interpretar el Teorema de Existencia de una solucin nica aplicado a las
Ecuaciones Diferenciales (ED) Ordinarias de Primer Orden.
En el caso de las Ecuaciones Diferenciales (EDs), existen 3 casos particulares que
se pueden presentar al obtener las soluciones de una ED Ordinaria de Primer Orden,
sobre todo si estas soluciones no se encuentran dentro de los lmites que enuncia el
Teorema de Existencia y Unicidad, y es en esta circunstancia particular, cuando se
presentan los casos en donde la solucin de las EDs Ordinarias de Primer Orden,
pueden ser:
1.- Una solucin nica (cmo en el caso en donde la solucin si est dentro de los
lmites del Teorema de Existencia y Unicidad)
2.- Una infinidad de soluciones
3.- Ninguna solucin
Veamos estos casos para entender conceptos como el de intervalo de solucin
(representado por la letra
valores:

(o

y la regin de continuidad o definicin

lado

Orden,

) y

derecho

de

una

ED

Ordinaria

de

de los
Primer

(o derivada parcial del lado derecho de la ED

Ordinaria de Primer Orden).

RAZONAMIENTO INTUITIVO PARA ENTENDER EL TEOREMA DE EXISTENCIA Y
UNICIDAD:
Primero, recordemos las siguientes definiciones:

Forma general de un Ecuacin Lineal de 1er Orden

Forma estndar de una ED lineal de 1er Orden

Dnde:

Otra forma de representar una Ecuacin Diferencial de 1er Orden:

Ahora podemos leer con ms claridad el Teorema, para entenderlo:

Teorema de Existencia y Unicidad de una Solucin

Supngase que tanto la funcin
parcial

y su derivada

son continuas en algn rectngulo

contiene el punto
intervalo abierto
valor inicial

en el plano xy que

en su interior. Entonces, para algn

conteniendo el punto

, el problema del

Tiene una y solo una solucin que est definida en el intervalo

(Como se ilustra en la figura 1, el intervalo de solucin

puede no

ser tan ancho en continuidad como el rectngulo original

).

Los conceptos importantes a considerar son:

1.- Funcin de dos variables
2.- Continuidad de una funcin de dos variables, y
3.- Solucin de una ED Ordinaria de Primer Orden

con

; esto es un problema de valores iniciales (PVI).

Interpretacin del Teorema de Existencia y unicidad
En general, lo que nos indica el Teorema de Existencia y unicidad es que siempre
habr una solucin para el problema de valores iniciales de una ED Ordinaria de

Primer Orden, si la funcin &s=3

en el intervalo &s=3

y su derivada &s=3

son continuas

y que la solucin particular de la ED Ordinaria de Primer

Orden, ser continua en &s=3 .

Para ilustrar lo anterior, veamos la Figura 1, donde se grafica la solucin del
problema del valor inicial (PVI):

Problema:
Cuya

, con

solucin

particular

es

la

funcin

(ejemplo):
.

Aqu vemos que:

Y que:

La funcin en realidad es una funcin

constante para cualquier valor de
Esta

simplicidad

funcin

nos

sirve

, ya que

es decir, es una

, como se nota si hacemos

para

poder

, la cual queda como sigue:

graficar

en

.
2

dimensiones

la

Definicion del intervalo de solucion I

Figura 1. Grfica de la funcin y

Esto nos indica que como las grficas son continuas en intervalo que delimita el
rectngulo

, entonces existe una solucin para el problema

del valor inicial (la cual ya conocemos) y es nica; entonces graficamos,

conservando los lmites para corroborar el resultado. La grfica de la Figura 2, nos
muestra el resultado.

Teorema de Existencia y Unicidad

Figura 2. Regin

del plano

, donde est contenido el intervalo

su vez contiene a los valores iniciales

no atraviesa toda la regin

. Notar que la solucin

., como se aprecia en la Figura 3.

, que a
,

Teorema de Existencia y Unicidad

Figura 3. En esta figura se ve que la funcin sale por debajo de la regin en gris
(rectnguloR), en vez de atravesar dicho rectngulo y salir en su costado izquierdo
sobre el lmite demarcado por la recta

. La Grfica agrega el campo de

direcciones que aloja a la familia de resultados de la ED. Grfica de la funcin

ejemplo:
Esta

.
aclaracin

acerca

funcin
todo el ancho de la Regin

de

que

la
,

no cubre

es debido a que el teorema habla de la continuidad

de la funcin anterior y su derivada en todo el intervalo, esto nos lleva a aclarar la

diferencia entre el intervalo de la regin

y el intervalo de solucin

y con la

explicacin que sigue a continuacin quedar clara esta diferencia de una vez por
todas.=)

Primero hago remembranza a la definicin de continuidad de una funcin de dos

variables:

Continuidad de una funcin de dos variables

Una funcin de dos variables es continua en un punto

regin

si

es igual al lmite de

cundo

. Es decir,

La funcin f es continua en la regin abierta

punto de

de una

si es continua en todo

Por esta definicin es importante conocer la diferencia entre el intervalo de la

regin

y el intervalo de solucin

La explicacin es sencilla y la ilustro como sigue:

Intervalo de solucin de una ED Ordinaria de Primer Orden

La solucin de un ED Ordinaria de Primer Orden es una funcin

1.- Considerada como una funcin, la solucin de una ED Ordinaria de Primer Orden
puede tener o no un dominio igual al ancho de la regin
un dominio igual al del intervalo de solucin

, pero si debe tener

Es por eso que en la Figura 3, se ve como la funcin no cubre toda la regin en

gris

, pero si todo el intervalo de solucin

. Para que esto dicho en este prrafo

se haga ms evidente, veamos el siguiente ejemplo:

Para la ED ordinaria de primer orden:

inicial

, su solucin es:

con condicin
y su grfica:

Teorema de Existencia y Unicidad

Figura 4. Dominio de la Funcin

nmeros reales exceptuando

. El dominio es todos los

y

Ahora,
2. Considerada como la solucin de una ED Ordinaria de Primer Orden , la
funcin puede tener 3 soluciones como lo ilustra la Figura 5.

Teorema de Existencia y Unicidad

Figura 5. Grafica de la funcin

, la cual representa 3 diferentes

soluciones para 3 diferentes PVIs.

De la Figura 5, podemos ver que dependiendo de las condiciones iniciales, podemos
tener 3 diferentes soluciones para los distintos valores iniciales y estos sern
representados con la misma funcin solucin pero con diferente DOMINIO, que las
defina.

Dicho DOMINIO, es el que define al intervalo de solucin &s=3

, de la ED Ordinaria

de Primer Orden. Para nuestro caso, como el problema del PVI es:

con
contenga al punto

, entonces la grfica es la que

y su intervalo sea el ms largo (en caso de que

varias grficas pasen por el mismo punto), es decir, en nuestro caso, la grfica es la
color azul mostrada a continuacin:

Teorema de Existencia y Unicidad

Figura 6. Grfica de la Solucin del PVI

Con esto seguro ya te queda claro cul es la diferencia entre el intervalo de

solucin

y la regin de definicin

En conclusin, recuerda que:

1.- Los parmetros que enuncia el Teorema de Existencia y Unicidad,

y

, debe ser continuos en

, para que se pueda asegurar la Existencia de Una

solucin nica de la ED Ordinaria de Primer Orden.

2.- La funcin solucin de una ED Ordinaria de Primer Orden (la cual podemos
denotar

de

la

variable

misma

forma

como

denotamos

una

funcin

de

dos

), si no se encuentra dentro de los lmites de el Teorema de

Existencia y Unicidad, puede tener, una solucin, una infinidad de soluciones o

ninguna solucin.
Para practicar y entender a fondo el concepto, te dejo el cdigo de MATHEMATICA
que te permitir graficar la funcin que aqu utilizamos.
Para graficar otras funciones solucin, cambia los renglones 2 y 3. =)