Você está na página 1de 4

Existencia y unicidad

Cuando un problema de valor inicial modela matemticamente una situacin fsica, la


existencia y unicidad de la solucin es de suma importancia, pues, con seguridad se espera
tener una solucin, debido a que fsicamente algo debe suceder. Por otra parte, se supone
que la solucin sea nica, pues si repetimos el experimento en condiciones idnticas, cabe
esperar los mismos resultados, siempre y cuando el modelo sea determinstico. Por lo tanto,
al considerar un problema de valor inicial es natural preguntarse por:
1. Existencia: Existir una solucin al problema ?
2. Unicidad: En caso de que exista solucin, ser nica ?
3. Determinacin: En caso de que exista solucin, como la determinamos ?
En sta seccin nos ocuparemos de las dos primeras interrogantes: existencia y unicidad y
dejamos la determinacin de solucin para el prximo captulo.

Ejemplo
Dado el problema de valor inicial

no resulta difcil comprobar que


obtenemos que

Y usando la condicin inicial

es solucin, pues separando variables e integrando

obtenemos que

, con lo cual la solucin sera

. Observe que al resolver la ecuacin diferencial dividimos por

lo cual supone

que
, pero podemos verificar que
es solucin, en este caso una solucin
singular. En conclusin, el problema de valor inicial dado tiene solucin pero no es nica,
como poder predecir este comportamiento sin tener que resolverlo; el siguiente teorema nos
da una respuesta parcial.

Teorema

Sea
continuas en
funcin

tal que

. Si

son

, entonces existe un intervalo abierto , centrado en

y una

definida en , que satisface el problema de valor inicial

Ejemplo:
En el ejemplo anterior tenemos que
en el semiplano definido por

, las cuales son continual

; por consiguiente, el teorema garantiza que para cada

punto
con
de ese semiplano, hay un intervalo centrado en en el cual la
ecuacin diferencial tiene una solucin nica. As por ejemplo, sin resolverlo sabemos que
el problema de valor inicial

tiene solucin nica, mientras que para los problemas en donde


el teorema no
garantiza nada, es decir, podra suceder cualquier cosa: que no tenga solucin, que tenga
solucin nica o varias soluciones, como sucedi en el ejemplo anterior.

Ejemplo:
Hallar los valores de y para los cuales el teorema de existencia y unicidad garantiza que
el problema de valor inicial

tiene solucin nica.

Como la derivada parcial

son continua en todo punto

donde

, el teorema garantiza que existe una solucin en el conjunto

El teorema de existencia y unicidad nos da una condicin suficiente. Por lo tanto el hecho
de que no se cumplan las hiptesis no nos permite concluir nada. Por otro lado, aunque el
teorema nos asegure la existencia no nos garantiza que exista un mtodo para llegar a ella,
quizs, lo mejor que podamos hacer sea aproximarla.
http://www.cidse.itcr.ac.cr/cursos-linea/EcuacionesDiferenciales/EDO-Geo/edo-cap1geo/node12.html

Mtodo de las Isclinas


Este mtodo se basa en la idea de campo y curvas integrales que vimos cuando
estudiamos campos vectoriales. La idea es bien simple. En general, una ecuacin
diferencial de primer orden (explicita respecto a la derivada) se podr
representar como y0 = f (y; x). Ahora bien, el lado derecho de esa igualdad lo
representa una funcin de dos variables, la cual tendr un valor en cada punto
(x; y). Ese valor (por la igualdad que representa la ecuacin diferencial) ser el
valor de la derivada en ese punto y el valor de la derivada en un punto, no es
otra cosa que la pendiente de la recta tangente a ese punto. Con eso, al
construir una grafica recordamos las curvas integrales de los campos
vectoriales y reconstruimos las curvas solucin a partir de sus tangentes.

Tenemos entonces que si y = f(x) o f(x; y) = 0 define y como una funcin de x


que satisface
Y = f (y; x) sobre un intervalo a < x < b, entonces el grafico de esta funcin se
denomina una curva integral y a la totalidad de esas curvas se le llama un campo
de direcciones. A las curvas con la propiedad: y0 = f(x; y) = constante se le
denominan isclinas (igual pendiente).
Ejemplos: La EDO
Y =

y
x

y= Cx

curva integral (x = 0, y = 0)

http://webdelprofesor.ula.ve/ciencias/nunez/cursos/MetodosMa
tematicos2/2008B/S04_C11.pdf

Você também pode gostar