Problema del valor inicial

En matemticas, en el campo de ecuaciones diferenciales, problema del valor inicial es ecuacin diferencial ordinaria junto con el valor especificado, llamado condicin inicial, de la funcin desconocida en un punto dado en el dominio de la solucin. En fsica u otras ciencias, modelando un sistema ascienden con frecuencia a solucionar un problema del valor inicial; en este contexto, la ecuacin diferencial es una ecuacin de la evolucin que especifica cmo, dado condiciones iniciales, el sistema desarrllese con tiempo.

Contenido
1 Definicin 2 Existencia y unicidad de soluciones 3 Ejemplo 4 Vea tambin 5 Referencias 6 Acoplamientos externos

Definicin
problema del valor inicial es una ecuacin diferencial junto con un punto en el dominio de f llam condicin inicial. A solucin al valor inicial un problema es una funcin y eso es una solucin a la ecuacin diferencial y satisface y(t0) = y0. Esta declaracin incluye problemas de una orden ms alta, interpretando y como a vector. Para derivados de la segunda o ms alta orden, nuevas variables (elementos del vector y) se introducen. Ms generalmente, la funcin desconocida y puede tomar valores en espacios dimensionales infinitos, por ejemplo Espacios de Banach o espacios de distribuciones.

Existencia y unicidad de soluciones

Para una clase grande de los problemas del valor inicial, la existencia y la unicidad de una solucin pueden ser demostradas. Teorema de Picard-Lindelf garantiza una solucin nica en cierto contener del intervalo t0 si f y su derivado parcial sea continuo en contener de la regin t0 y y0. La prueba de este teorema procede reformulando el problema como equivalente ecuacin integral. El integral se puede considerar un operador que traz una funcin en otra, tal que la solucin es a punto fijo del operador. Teorema del punto fijo de Banach entonces se invoca para demostrar que existe un punto fijo nico, que es la solucin del problema del valor inicial. Una ms vieja prueba del teorema de Picard-Lindelf construye una secuencia de las funciones que convergen a la solucin de la ecuacin integral, y as, la solucin del problema del valor inicial. Tal construccin a veces se llama el mtodo de Picard o el mtodo de aproximaciones sucesivas. Esta versin es esencialmente un caso especial del teorema del punto fijo de Banach.

Hiroshi Okamura obtuvo a condicin necesaria y suficiente para la solucin de un problema del valor inicial a ser nico. Esta condicin tiene que hacer con la existencia de a Funcin de Lyapunov para el sistema. En algunas situaciones, la funcin f no est de clase C1, o an Lipschitz, as que el resultado generalmente que garantiza la existencia local de una solucin nica no se aplica. Teorema de la existencia de Peano sin embargo prueba eso incluso para f simplemente continuas, las soluciones estn garantizadas para existir localmente a tiempo; el problema es que no hay garanta de la unicidad. El resultado se puede encontrar en Coddington y Levinson (1955, teorema 1.3) o Robinson (2001, teorema 2.6).

Ejemplo
La solucin general de puede ser encontrado para ser y(t) = 2e 3t + 2t + 1. De hecho, y' + 3y = (d / dt)(2e 3t + 2t + 1) + 3 (2e 3t + 2t + 1) = ( 6e 3t + 2) + (6e 3t + 6t + 3) = 6t + 5.