Derivata alla sobolev di f(x)

mary_star
Buona sera :),
stavo riflettendo su un esercizio di Analisi Superiore che ho trovato fra i miei appunti: si chiede se la funzione
$$f(x)= \left\{\begin{array}{ll} 1 & -1\leq x\leq 1 \\[3pt] 0 & |x|>1 \end{array}\right.$$
appartiene oppure no a $W^{1,2}(\mathbb{R})$.

Secondo me la risposta è negativa, perché una volta che integro con una funzione test $\phi$ qualsiasi a supporto compatto il valore dell'integrale dipende da dove è collocato il supporto di $\phi$ sulla retta reale, ma sinceramente non saprei formalizzarlo... avevo pensato ad analizzare i singoli casi, ma sembra troppo lungo... è sufficiente trovare due funzioni test differenti per cui la derivata di $f$ viene diversa?
Grazie :)

Risposte
Paolo902
La derivata distribuzionale della funzione gradino di Heaviside è, a meno di costanti moltiplicative, la delta di Dirac (che certamente non è una funzione e quindi nemmeno una funzione sommabile). Questo si può verificare a mano molto facilmente: ti prendi una test $\phi$ e calcoli
\[
\int_\mathbb R \phi^{\prime} H dx = \int_0^{\infty} \phi^{\prime} = ...
\]

In particolare, la tua funzione è somma di due funzioni di Heaviside e la sua derivata distribuzionale è una somma di delta di Dirac (una centrata in -1 e l'altra in 1, cioè nei punti di salto). Quindi la derivata è una distribuzione che non è identificabile con una funzione di $L^2$.

Più chiaro? :wink:

mary_star
Si grazie mille :) molto più chiaro :)... In Fisica Matematica avevamo dimostrato che la derivata di $H$ funzione di Heavyside in senso distribuzionale è la delta di Dirac attraverso l'approssimazione della delta attraverso funzioni dipendenti da $\varepsilon$ e definite come rapporto incrementale di $H$... in effetti quelle funzioni assomigliavano parecchio alla $f$ qui nell'esercizio :)

gugo82
D'altra parte, le funzioni di Sobolev di una variabile sono continue, quindi... :wink:

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.