Equazioni differenziali alle derivate parziali/La delta di Dirac

Vi sono alcune distribuzioni che non sono della forma $T_f$ vista nei moduli precedenti. Distribuzioni di questo tipo prendono il nome di distribuzioni singolari. In questo e nel prossimo modulo ci occuperemo di due importanti distribuzioni singolari: la delta di Dirac e il valor principale.

Si consideri $\mathrm{\Omega }\subset {ℝ}^n$ aperto e $x_0\in \mathrm{\Omega }$. Si definisce delta di Dirac la distribuzione

${\delta }_{x_0}(\varphi )=\varphi (x_0)\mathrm{\forall }\varphi \in C_0^{\mathrm{\infty }}(\mathrm{\Omega })$

È chiaro che essa sia un funzionale lineare, infatti:

$\mathrm{\forall }{\varphi }_1,{\varphi }_2\in C_0^{\mathrm{\infty }}(\mathrm{\Omega });{\delta }_{x_0}({\varphi }_1+{\varphi }_2)=({\varphi }_1+{\varphi }_2)(x_0)={\varphi }_1(x_0)+{\varphi }_2(x_0)$

$\mathrm{\forall }\varphi \in 𝒟,\mathrm{\forall }c\in ℝ;{\delta }_{x_0}(c\varphi )=c\varphi (x_0)$

Tuttavia è evidente che questa distribuzione non è del tipo $T_f$ introdotto nei moduli precedenti. Ci si chiede se sia possibile legare $\delta$ a distribuzioni regolari. Per poter rispondere a questa domanda si consideri il seguente teorema.

Teorema (1)

Sia $\left\{T_n\right\}$ una successione di distribuzioni in ${𝒟}^{\prime }(\mathrm{\Omega })$ e sia $T\in {𝒟}^{\prime }(\mathrm{\Omega })$. Se $T_n(\varphi )\to T(\varphi ),\mathrm{\forall }\varphi \in 𝒟(\mathrm{\Omega })$, allora:

$T_n\underset{{𝒟}^{\prime }}{\to }T$

In virtù del teorema appena enunciato è possibile concludere che in alcuni casi è possibile definire distribuzioni singolari come limite di distribuzioni regolari, cosa che si può fare anche per la $\delta$ di Dirac.

Si consideri $f\in L^1({ℝ}^n),f\ge 0$. Si consideri poi $f_s$ definita come:

$f_s(x)=\frac{1}{s^n}f\left(\frac{x}{s}\right)$

Si assuma poi che $\underset{{ℝ}^n}{\int }f(x)dx=1$, ad esempio $f(x)=c{e}^{-\frac{x^2}{2}}$. Sicuramente $f_s(x)$ soddisfa le seguenti proprietà:

• $\underset{{ℝ}^n}{\int }{f}_s(x)dx=1$
• $\underset{s\to 0}{\lim }\underset{\mid x\mid <R}{\int }{f}_s(x)dx=1$
• $\underset{s\to 0}{\lim }\underset{\mid x\mid >R}{\int }{f}_s(x)dx=0$

Per come è definita $f_s$ è certamente possibile associarle una distribuzione regolare; sia essa $T_{f_s}$:

$T_{f_s}=\underset{{ℝ}^n}{\int }{f}_s(x)\varphi (x)dx$

Si può provare che una distribuzione siffatta soddisfa le ipotesi del teorema precedente e può essere utilizzata per approssimare una delta di Dirac. Più precisamente, vale il seguente teorema.

Teorema (2)

Sia $f\in L^1({ℝ}^n)$ e sia $f_s(x)=\frac{1}{s^n}f\left(\frac{x}{s}\right)$. Sia $T_{f_s}$ la distribuzione regolare associata a $f_s$, allora si ha che:

$T_{f_s}\underset{s\to 0}{\to }{\delta }_0(\varphi )$

Dimostrazione

Sia $\varphi \in 𝒟$. Si vuole provare che $T_{f_s}(\varphi (x)-\varphi (0))\underset{s\to 0}{\to }0$. Si ha:

$\underset{{ℝ}^n}{\int }{f}_s(x)(\varphi (x)-\varphi (0))dx=\underset{\mid x\mid \le R}{\int }{f}_s(x)(\varphi (x)-\varphi (0))dx+\underset{\mid x\mid >R}{\int }{f}_s(x)(\varphi (x)-\varphi (0))$

Per le proprietà di $\varphi$ si ha che:

• $\varphi (x)-\varphi (0)$ è limitata su ${ℝ}^n$ da $M$;
• sia $N(R)=\sum _{\mid x\mid \le R}\mid \varphi (x)-\varphi (0)\mid$, e $N(R)\underset{R\to +\mathrm{\infty }}{\to }0$.

Si può dunque scrivere una disuguaglianza per $T_{f_s}(\varphi (x)-\varphi (0))$:

$\underset{{ℝ}^n}{\int }{f}_s(x)(\varphi (x)-\varphi (0))dx\le N(R)+M\underset{\mid x\mid >R}{\int }{f}_s(x)dx$

Data l'arbitrarietà di $N(R)$ lo si sceglie in modo tale che $N(R)<\frac{ϵ}{2}$. Inoltre si prende $s$ tale che $\underset{\mid x\mid >R}{\int }{f}_s(x)dx<\frac{ϵ}{2M}$. Fatte queste scelte la disuguaglianza scritta sopra diventa:

$\underset{{ℝ}^n}{\int }{f}_s(x)(\varphi (x)-\varphi (0))dx\le \frac{ϵ}{2}+\frac{ϵ}{2}=ϵ$

Dalla definizione di limite segue che $\mathrm{\forall }\varphi \in 𝒟$:

$\underset{{ℝ}^n}{\int }{f}_s(x)\varphi (x)dx\underset{s\to 0}{\to }\underset{{ℝ}^n}{\int }{f}_s(x)\varphi (0)dx=\varphi (0)={\delta }_0(\varphi )$

In definitiva si ha che:

$T_{f_s}(\varphi )\underset{s\to 0}{\to }{\delta }_0(\varphi )\mathrm{\forall }\varphi \in 𝒟$

Chiaramente, seguendo la strategia appena usata, è anche possibile dimostrare che:

$\frac{1}{s^n}f\left(\frac{x-x_0}{d}\right)\underset{s\to 0}{\to }{\delta }_{x_0}(\varphi )$

Nei prossimi moduli vedremo come diverse proprietà delle distribuzioni regolari si riportano nel caso di distribuzioni singolari come la delta di Dirac. Prima di proseguire si tenga presente anche la seguente osservazione.

La distribuzione di Dirac ha per supporto $\left\{x_0\right\}$. Si osserverà anche che la classe delle distribuzioni con supporto $\left\{x_0\right\}$ è data da una combinazione lineare della $\delta$ di Dirac e di tutte le sue derivate.