Teorema di esistenza di Carathéodory

Da Wikipedia, l'enciclopedia libera.

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[modifica | modifica wikitesto]

Si consideri l'equazione differenziale:

 y'(t) = f(t,y(t))

con condizione iniziale:

 y(t_0) = y_0

e si supponga che f è definita su un dominio rettangolare della forma:

 R = \{ (t,y) \in \R \times \R^n \,:\, |t-t_0| \le a, |y-y_0| \le b \}

Il teorema di esistenza di Peano stabilisce che se f è una funzione continua allora l'equazione possiede almeno una soluzione in un intorno della condizione iniziale.

Risulta tuttavia possibile considerare equazioni in cui f non è continua, come la seguente:

 y'(t) = H(t) \qquad y(0) = 0

dove H è la funzione gradino di Heaviside:

 H(t) = \begin{cases} 0 & \text{if } t \le 0 \\ 1 & \text{if } t > 0 \end{cases}

La funzione rampa:

 y(t) = \int_0^t H(s) \,\mathrm{d}s = \begin{cases} 0 & \text{if } t \le 0 \\ t & \text{if } t > 0 \end{cases}

può essere quindi considerata come soluzione, anche se a rigore non soddisfa l'equazione in t=0, 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 y è detta essere un prolungamento della soluzione per l'equazione:

y' = f(t,y) \qquad y(t_0)=y_0

se y è assolutamente continua, soddisfa la condizione iniziale, e soddisfa quasi ovunque l'equazione differenziale. La continuità assoluta di y implica l'esistenza delle sue derivate quasi ovunque.

Enunciato[modifica | modifica wikitesto]

Data l'equazione differenziale:

 y'(t) = f(t,y(t)) \qquad y(t_0) = y_0

dove f è definita su un dominio rettangolare  R=\{(t,y) \, | \, |t - t_0 | \leq a,  |y - y_0| \leq b\} .

Se la funzione f soddisfa le seguenti condizioni:

|f(t,y)| \leq m(t) \qquad \forall (t, y) \in R

allora l'equazione differenziale (con la condizione iniziale) è soddisfatta quasi ovunque da una soluzione assolutamente continua.

Bibliografia[modifica | modifica wikitesto]

  • (EN) Coddington, Earl A.; Levinson, Norman (1955), Theory of Ordinary Differential Equations, New York: McGraw-Hill.

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica