Problema de valor inicial

En matemática, en el campo de las ecuaciones diferenciales, un problema de valor inicial (también llamado por algunos autores como el problema de Cauchy) es una ecuación diferencial ordinaria junto con un valor especificado, llamado la condición inicial, de la función desconocida en un punto dado del dominio de la solución. En física o en otras ciencias, es muy común que el modelado de un sistema utilice el problema de valor inicial para la resolución; en este contexto, la ecuación diferencial es una ecuación que evoluciona especificando cómo el sistema evoluciona con el tiempo, dadas las condiciones iniciales.

DefiniciónEditar

Un problema de valor inicial es una ecuación diferencial

  con  

donde   es un conjunto abierto  , junto con un punto en el dominio de  

 ,

llamada la condición inicial.

Una solución a un problema de valor inicial es una función   que es una solución a la ecuación diferencial y satisface

 .

En muchas más dimensiones, la ecuación diferencial se reemplaza con una familia de ecuaciones  , y   se ve como el vector  . Más generalmente, la función desconocida   puede tomar valores sobre espacios dimensionales infinitos, tal como espacios de Banach o espacios de distribuciones.

Los problemas de valor inicial pueden extenderse a mayores órdenes utilizando sus derivadas de la misma forma que se utiliza la función, es decir  .

EjemplosEditar

Un ejemplo simple es resolver

 

Entonces el problema consiste en hallar la función   que las satisface.

Si se considera que  , entonces

 

Reagrupando la ecuación tal que   está del lado izquierdo y   sobre el derecho

 

Si se integra en ambos lados (introduciéndose una constante desconocida  ).

 

Eliminándose el ln

 

Siendo   una nueva constante desconocida,  , así

 

Ahora para determinar el valor de  , se utiliza la condición inicial   y sustituyendo para t = 0 e y =19:

 
 

entonces resulta que la solución final es  .

Segundo ejemplo

La solución de

 

es

 

ya que,

 


Existencia y unicidad de soluciónEditar

El Teorema de Picard-Lindelöf establece condiciones que garantizan la existencia y unicidad de solución en un problema de valor inicial en un intervalo dado. En concreto, si f es continua en un dominio abierto que contenga a (t0, y0) y verifica la condición de Lipschitz para la variable y, entonces podemos encontrar un intervalo para la variable temporal, t, donde existe una única solución del problema de valor inicial.

La demostración de este teorema se basa en reformular el problema como una ecuación integral sobre la que se puede aplicar el Teorema del punto fijo de Banach.

Bajo hipótesis más débiles, cuando la función f es continua pero no llega a ser Lipschitziana, se puede garantizar la existencia de solución localmente en tiempo, pero no su unicidad. Este resultado se puede encontrar, por ejemplo, en Coddington & Levinson (1955, Theorem 1.3) o en Robinson (2001, Theorem 2.6).

ReferenciasEditar

  • Coddington, Earl A.; Levinson, Norman (1955). Theory of ordinary differential equations (en inglés). New York-Toronto-London: McGraw-Hill Book Company, Inc. 
  • Hirsch, Morris W.; Smale, Stephen (1974). Differential equations, dynamical systems, and linear algebra (en inglés). New York-London: Academic Press. 
  • Okamura, Hirosi (1942). «Condition nécessaire et suffisante remplie par les équations différentielles ordinaires sans points de Peano». Mem. Coll. Sci. Univ. Kyoto Ser. A. (en francés) 24: 21-28. MR 0031614. 
  • Agarwal, Ravi P.; Lakshmikantham, V. (1993). Uniqueness and Nonuniqueness Criteria for Ordinary Differential Equations. Series in real analysis (en inglés) 6. World Scientific. ISBN 978-981-02-1357-2. 
  • Polyanin, Andrei D.; Zaitsev, Valentin F. (2003). Handbook of exact solutions for ordinary differential equations (en inglés) (2nd edición). Boca Raton, FL: Chapman & Hall/CRC. ISBN 1-58488-297-2. 
  • Robinson, James C. (2001). Infinite-dimensional dynamical systems: An introduction to dissipative parabolic PDEs and the theory of global attractors (en inglés). Cambridge: Cambridge University Press. ISBN 0-521-63204-8.