Teorema de existencia de Peano

Teorema de existencia

El teorema de existencia establece que, si la función que define una ecuación diferencial ordinaria es continua, entonces el problema de Cauchy asociado tiene al menos una solución local.

Este resultado es uno de los teoremas fundamentales de la teoría de las ecuaciones diferenciales ordinarias. Se aplica a los problemas de Cauchy, por lo que también recibe el nombre de teorema de Cauchy-Peano.

La continuidad de la función es suficiente para garantizar que existe una solución. Sin embargo, no basta para asegurar que esa solución sea única.

Teorema de existencia y unicidad

Si la función es continua y, además, satisface una condición de Lipschitz respecto de la variable dependiente, entonces el problema de Cauchy admite una única solución local.

En este caso, no solo se garantiza la existencia de una solución, sino también su unicidad. Esto significa que las condiciones iniciales determinan una única trayectoria posible para la solución de la ecuación diferencial.

Por tanto, mientras que el teorema de Peano asegura que existe al menos una solución, la condición de Lipschitz permite dar un paso más y garantizar que dicha solución es única.