Derivata debole

In matematica, la derivata debole è una generalizzazione del concetto di derivata di una funzione a funzioni non necessariamente differenziabili, ma solamente integrabili, ovvero funzioni che appartengono allo spazio L¹.

La definizione di derivata debole origina le soluzioni deboli in spazi di Sobolev di problemi differenziali alle derivate parziali, frequenti in diversi settori dell'analisi, in particolare dell'analisi funzionale.

Definizione

Sia $u$ una funzione in $L^{1} ([a, b])$ . Si dice che $v \in L^{1} ([a, b])$ è la derivata debole di $u$ se, per ogni $φ \in C^{\infty} ([a, b])$ tale che $φ (a) = φ (b) = 0$ , vale che:

\int_{a}^{b} u (t) φ^{'} (t) d t = - \int_{a}^{b} v (t) φ (t) d t

Questa definizione è motivata dalla tecnica di integrazione per parti.

Lo stesso concetto è generalizzabile per spazi a $n$ dimensioni: se $u$ appartiene allo spazio delle funzioni localmente integrabili in $Ω \subset ℝ^{n}$ (cioè fissato un punto $x$ , $u$ è integrabile in un intorno $U \subset Ω$ di $x$ ), ovvero se $u \in L_{l o c}^{1} (Ω)$ , allora, dato un multi-indice $α$ , $v \in L_{l o c}^{1} (Ω)$ è detta $α$ -esima derivata debole di $u$ se per ogni $φ \in C_{C}^{\infty} (U)$ (spazio delle funzioni infinitamente differenziabili e a supporto compatto), vale che:

\int_{U} u D^{α} φ = (- 1)^{| α |} \int_{U} v φ

Se $u$ ammette una derivata debole, essa è solitamente indicata come:

D^{α} u = \frac{\partial^{| α |} u}{\partial_{x_{1}}^{α_{1}} \dots \partial_{x_{n}}^{α_{n}}}

Il concetto di derivata debole ha motivato l'introduzione, nel XX secolo, di nuovi spazi di funzioni: gli spazi di Sobolev.

Esempi

La funzione valore assoluto $u (t) = | t |$ , non differenziabile per $t = 0$ , ammette come derivata debole $v$ la funzione segno:

v (t) = {\begin{matrix} 1 & se t > 0 \\ 0 & se t = 0 \\ - 1 & se t < 0 \end{matrix}

La funzione caratteristica dei numeri razionali o funzione di Dirichlet $1_{ℚ}$ , che non è differenziabile in nessun punto del dominio, ammette derivata debole nulla: infatti, poiché la misura di Lebesgue di $ℚ$ è 0, per ogni $φ$

\int 1_{ℚ} (t) φ (t) d t = 0

Proprietà

Se due funzioni sono la derivata debole della stessa funzione, allora differiscono su un insieme di misura nulla. Se si considerano classi di equivalenza di funzioni, la derivata debole diventa unica.
Se una funzione è derivabile in senso tradizionale, allora la derivata e la derivata debole coincidono (sempre a meno di insiemi di misura nulla). Per questo la derivata debole è considerata una generalizzazione della derivata tradizionale. Inoltre, le regole classiche di derivazione di somma e prodotto si estendono immutate alle derivate deboli.

Bibliografia

(EN) David Gilbarg, Neil Trudinger, Elliptic partial differential equations of second order, Berlin, Springer, 2001, p. 149, ISBN 3-540-41160-7.
(EN) Evans, Lawrence C., Partial differential equations, Providence, R.I., American Mathematical Society, 1998, p. 242, ISBN 0-8218-0772-2.
(EN) Knabner, Peter; Angermann, Lutz, Numerical methods for elliptic and parabolic partial differential equations, New York, Springer, 2003, p. 53, ISBN 0-387-95449-X.

Voci correlate

Collegamenti esterni

(EN) Brian Krummel - Definition of Weak derivatives notes (PDF), su dpmms.cam.ac.uk.

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