Una formulación de valor inicial para una ecuación diferencial en la cual se busca la solución en un dominio dadas ciertas valores especificados (y posiblemente derivadas) de la incógnita sobre una hipersuperficie inicial.

Principio

Proveer datos iniciales suficientes sobre una hipersuperficie no característica determina una solución local única de una EDP de evolución o hiperbólica (o EDO) bien planteada, bajo supuestos adecuados de regularidad y compatibilidad.

Demostración

Para la EDO y'(t)=f(t,y) con y(t0)=y0, el problema de Cauchy plantea encontrar y(t) que satisfaga la ecuación y la condición inicial; Picard–Lindelöf garantiza existencia y unicidad locales si f es Lipschitz en y.

Aplicación incorrecta

Llamar problema de Cauchy a un problema de valores en la frontera o suministrar datos iniciales sobre una superficie característica para una EDP hiperbólica, lo que normalmente conduce a no existencia o no unicidad.

Consecuencia

Cuando el problema de Cauchy está bien planteado, pequeños cambios en los datos iniciales producen pequeños cambios en la solución (dependencia continua), posibilitando predicción estable y evolución temporal desde condiciones iniciales.

Inversión

Un problema de valores en la frontera prescribe datos en la frontera de un dominio en lugar de en una hipersuperficie inicial; tales problemas obedecen criterios de existencia y unicidad diferentes.

Límite

Se aplica a EDO y EDP donde están definidas hipersuperficies iniciales y donde las características del operador permiten la propagación desde la superficie; excluye ecuaciones elípticas formuladas únicamente como datos de Cauchy en un abierto sin continuidad analítica.

Tensión semántica

El término se solapa con 'problema de valor inicial' pero se distingue en teoría de EDP por requisitos geométricos sobre la superficie (no característica) y por preocupaciones sobre hiperbolicidad; en algunos contextos se usan indistintamente.

Síntesis

El problema de Cauchy formaliza la evolución al especificar datos iniciales en una hipersuperficie y buscar una solución coherente con las propiedades de propagación del operador diferencial, proporcionando el marco para el análisis de unicidad, existencia y estabilidad.