Está en la página 1de 8

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 integrando obtenemos que

es solucin, pues separando variables e

Y usando la condicin inicial solucin sera por

obtenemos que

, con lo cual la

. Observe que al resolver la ecuacin diferencial dividimos , pero podemos verificar que es solucin,

lo cual supone que

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 una funcin

tal que

. Si

y , centrado en

son y

, entonces existe un intervalo abierto definida en

, que satisface el problema de valor inicial

Ejemplo: En el ejemplo anterior tenemos que continual en el semiplano definido por garantiza que para cada punto con y , las cuales son

; por consiguiente, el teorema 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 punto conjunto donde y son continua en todo

, el teorema garantiza que existe una solucin en el .

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
Mtodo de Euler

Una de las tcnicas ms simples para aproximar soluciones de una ecuacin diferencial es el mtodo de Euler, o de las rectas tangentes. Suponga que se desea aproximar la solucin del problema de valor inicial

(1.12)

Observe en la figura 9 que la pendiente de la recta tangente a la curva est dada por y es aproximadamente igual a la pendiente de la recta secante

(1.13)

siempre y cuando

sea pequeo. De aqu obtenemos que

Con lo cual podemos usar el punto punto puntos:

para construir el siguiente

y as sucesivamente. De esta forma generamos la sucesin de

los cuales es de esperar que se encuentren cercanos a los puntos

Figura 9

Al sustituir el valor aproximado de la derivada 1.13 en la ecuacin diferencial del problema de valor inicial 1.12 obtenemos el mtodo de Euler

Solucin numrica Para facilitar el trabajo y evitar la tarea de programacin del mtodo, podemos usar una hoja de clculo como Microsoft Excel (en Windows) o Gnumeric (en Linux). Veamos el siguiente ejemplo

Ejemplo Una resistencia de 5 generador de corriente en el instante y un inductor de 1 Henrio se conectan en serie con un voltios. Si la corriente es 0 en segundos ? , calcule la la

Usando las ley de Kirchhoff modelamos la situacin anterior con el siguiente problema de valor inicial

(1.14)

Fcilmente podemos comprobar que su solucin general esta dada por a . , con lo cual es aproximandamente igual

Ahora vamos usar una hoja de clculo y el mtodo de Euler para aproximar la solucin del problema de valor inicial anterior. Primero pongamonos de acuerdo con los contenidos de cada columna

La columna A representar el tiempo . La columna B representar la aproximacin de la corriente , dada por el mtodo de Euler. La celda C representar el paso de avance .

Ahora coloquemos los valores iniciales en la celda correspondiente


En la celda A2 escribimos el valor inicial del tiempo, en nuestro caso 0, En la celda B2 escribimos el valor inicial de la corriente, es decir, 0 En la celda C2 escribimos el valor de , digamos 0.01. En la celda A3 escribimos la frmula que construir los valores de , es decir, =A2 + C$2 y arrastramos sta celda hasta alcanzar el valor de . En la celda B3 escribimos la frmula que construir la sucesin de valores para , es decir, =B2
+ C$2*(10*Cos(5*A2) - 5*B2)

y la arrastramos hasta

alcanzar el valor de en la columna A(el signo de dlares $ se usa para evitar que el valor se actualize conforme arrastramos la celda). Una vez generados los valores para las columnas A y B podemos observar que que es similar al valor real ya encontrado

( ) . En la figura 10 se muestra este proceso junto con una grfica de la solucin aproximada obtenida a partir de las columnas A y B y en el mismo sistema de coordenadas la grfica de la solucin exacta .

Figura 10

Usar una hoja de clculo para aproximar la solucin de una ecuacin diferencial resulta sencillo, pero existen muchas otras opciones que podemos usar. El siguiente cdigo muestra una funcin implementada para la TI92que calcula el valor aproximado de para el problema de valor inicial anterior (1.14)

euler(a,b,c,h) Func local x0, y0, While x0 < c y0 + h*f(x0,y0) -> y0 x0 + h -> x0 EndWhile Return y0

EndFunc

Antes de usar la funcin Euler debemos definir la funcin ; y para ejecutarla escribimos en la ventana Home: euler(0,0,0.5,0.01). Al hacerlo obtenemos el valor que est muy cerca de valor real.