In matematica, in particolare nell'ambito delle equazioni differenziali ordinarie, il teorema di esistenza di Carathéodory, il cui nome è dovuto a Constantin Carathéodory, è una generalizzazione del teorema di esistenza di Peano. Esso consente di stabilire l'esistenza di soluzioni per un dato problema ai valori iniziali anche nel caso di equazioni differenziali definite da una funzione discontinua (il teorema di esistenza di Peano, invece, si applica al caso in cui la funzione che definisce il problema è una funzione continua).
Introduzione Si consideri l'equazione differenziale
con condizione iniziale
e si supponga che sia definita su un dominio rettangolare della forma
Il teorema di esistenza di Peano stabilisce che se è una funzione continua allora l'equazione possiede almeno una soluzione in un intorno della condizione iniziale.
Risulta tuttavia possibile considerare equazioni in cui non è continua, come la seguente:
dove è la funzione gradino di Heaviside
La funzione rampa
può essere quindi considerata come soluzione, anche se, a rigore, non soddisfa l'equazione in , dove non è differenziabile. Esempi di questo tipo suggeriscono che sia possibile definire una "soluzione allargata", che comprende anche funzioni che non sono differenziabili ovunque. Una funzione è detta essere un prolungamento della soluzione per l'equazione:
se è assolutamente continua, soddisfa la condizione iniziale, e soddisfa quasi ovunque l'equazione differenziale. La continuità assoluta di implica l'esistenza delle sue derivate quasi ovunque.
Enunciato Data l'equazione differenziale:
dove è definita su un dominio rettangolare
Se la funzione soddisfa le seguenti condizioni: la funzione è continua in per ogni fissato ; la funzione è misurabile in per ogni fissato ; esiste una funzione integrabile secondo Lebesgue, con , tale che
allora l'equazione differenziale (con la condizione iniziale) è soddisfatta quasi ovunque da una soluzione assolutamente continua.
Bibliografia Coddington, Earl A.; Levinson, Norman (1955), Theory of Ordinary Differential Equations, New York: McGraw-Hill.
Voci correlate Continuità assoluta Equazione differenziale ordinaria Problema di Cauchy Funzione continua Funzione misurabile Teorema di esistenza di Peano
Collegamenti esterni
Categoria:Equazioni differenziali ordinarie Esistenza di Carathéodory