Teorema de existencia de Carathéodory

El teorema de existencia de Carathéodory dice que una ecuación diferencial ordinaria tiene una solución bajo condiciones débiles. Es una generalización del teorema de existencia de Peano, el cual requiere que el lado derecho de la ecuación diferencial sea continuo,mientras que el teorema de Carathéodory muestra la existencia de soluciones (en un sentido más general) para algunas ecuaciones discontinuas. El nombre del teorema se debe a Constantin Carathéodory.

Se considera la siguiente ecuación diferencial

donde la función ƒ se define sobre un dominio rectangular de la forma

El teorema de existencia de Peano establece que si ƒ es continua, entonces la ecuación diferencial tiene por lo menos una solución en un entorno de la condición inicial.^[1]​

Sin embargo, también es posible considerar ecuaciones diferenciales con una discontinuidad en el lado derecho, como por ejemplo la ecuación:${displaystyle y'(t)=H(t),quad y(0)=0,}$ donde H es la función de Heaviside definida por

La función rampa

es una solución de la ecuación diferencial. En forma estricta, no satisface la ecuación diferencial en ${displaystyle t=0}$, porque la función no es diferenciable en ese punto. Esto sugiere que la idea de una solución se extiende permitiendo soluciones que no son en todas partes diferenciables, así que esto motiva la siguiente definición.

Una función y se denomina solución en sentido extendido de la ecuación diferencial ${displaystyle y'=f(t,y)}$ con condición inicial ${displaystyle y(t_{0})=y_{0}}$ si y es absolutamente continua, y satisface la ecuación diferencial casi en todas partes e y satisface la condición inicial.^[2]​ La continuidad absoluta de y implica que su derivada existe en casi todas partes.^[3]​

Se considera la ecuación diferencial

con ${displaystyle f}$ definido en un dominio rectangular ${displaystyle R={(t,y),|,|t-t_{0}|leq a,|y-y_{0}|leq b}}$.

Si la función ${displaystyle f}$ satisface las tres condiciones siguientes:

entonces la ecuación diferencial tiene una solución en el sentido extendido en un entorno de la condición inicial.^[4]​

---