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.

IntroducciónEditar

Se considera la siguiente ecuación diferencial

  con la condición inicial  

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:  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  , 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   con condición inicial   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]

Enunciado del teoremaEditar

Se considera la ecuación diferencial

 

con   definido en un dominio rectangular  .

Si la función   satisface las tres condiciones siguientes:

  •   es continua en   para cada valor de  ,
  •   es medible en   para cada valor de  ,
  • hay una función integrable de Lebesgue  ,  , tal que   para todo  ,

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

Véase tambiénEditar

ReferenciasEditar

  1. Coddington y Levinson (1955), Teorema 1.2 del Capítulo 1
  2. Coddington y Levinson (1955), p. 42
  3. Rudin (1987), Teorema 7.18
  4. Coddington y Levinson (1955), Teorema 1.1 del Capítulo 2

BibliografíaEditar