Equazioni differenziali alle derivate parziali/Operazioni con le distribuzioni

Vogliamo ora studiare le distribuzioni da un punto di vista più analitico, occupandoci delle operazioni tra distribuzioni. Innanzitutto definiamo il prodotto di una distribuzione per una funzione:

Se $f=\text{cost}$ la definizione appena data rimanda al caso della definizione di funzionale lineare. Ad esempio, per la delta di Dirac si ha che:

$f{\delta }_0(\varphi )\underset{Def.}{=}{\delta }_0(f\varphi )=\left[f\varphi \right](0)=f(0)\varphi (0)$

Dunque se $T\equiv \delta$ per poter definire il prodotto tra distribuzione e funzione è sufficiente che $\varphi \in 𝒟(ℝ)$ e $f\in C(ℝ)$

Non è possibile definire il prodotto tra distribuzioni, dal momento che non è possibile dare una definizione consistente per questa operazione. Occupiamoci quindi della derivazione di distribuzioni.

Dalla definizione appena data, che per altro è una generalizzazione della formula di Green, è possibile notare come una distribuzione sia derivabile un numero qualsiasi di volte. Inoltre si osserva che la definizione di derivata di una distribuzione è una proprietà globale, a differenza di quella per una funzione che è locale. Studiamo con il seguente esempio un caso abbastanza particolare.

Sia

$T=\theta (x)=\{\begin{array}{c}1,x\ge 0\\ 0,x<0\end{array},\in L_{loc}^1(ℝ)$

La distribuzione $T_{\theta }(\varphi )$ quindi sarà:

$T_{\theta }(\varphi )=\theta (\varphi )=\underset{ℝ}{\int }\theta (x)\varphi (x)dx$

Calcoliamone la derivata applicando la definizione appena data:

$\frac{d}{dx}T\theta (\varphi )=(-1)T\left(\frac{d}{dx}\varphi \right)=(-1)\underset{ℝ}{\int }\theta (x){\varphi }^{\prime }(x)dx=$

$=(-1)[\underset{-\mathrm{\infty }}{\overset{0}{\int }}0{\varphi }^{\prime }(x)dx+\underset{1}{\overset{+\mathrm{\infty }}{\int }}{\varphi }^{\prime }(x)dx]=$

$=-\underset{1}{\overset{+\mathrm{\infty }}{\int }}{\varphi }^{\prime }(x)dx=-(\varphi (+\mathrm{\infty })-\varphi (0))=\varphi (0)={\delta }_0(\varphi )$

Quindi

$\frac{d}{dx}{T}_{\theta }(\varphi )={\delta }_0(\varphi )$

Quanto appena visto può essere generalizzato dal seguente teorema.

Teorema (1)

Sia $f\in C^1(ℝ\setminus \left\{x_0\right\})$ e sia $T_f$ la sua distribuzione associata. Allora:

$T_f^{\prime }(\varphi )=\underset{ℝ}{\int }\left\{f^{\prime }\right\}\varphi dx+{\delta }_{x_0}(\varphi )\left[f\right](x_0)$

dove $\left[f\right]$ rappresenta il salto della funzione nel punto di discontinuità $x_0$ e

$\left\{f^{\prime }\right\}=\{\begin{array}{c}{f}^{\prime }(x),\mathrm{\forall }x\ne x_0\\ cost,x=x_0\end{array}$

Dimostrazione

Applicando la definizione e svolgendo i conti si ottiene:

$T_f^{\prime }(\varphi )=(-1)T_f({\varphi }^{\prime })=(-1)[\underset{-\mathrm{\infty }}{\overset{x_0}{\int }}d{\varphi }^{\prime }dx+\underset{x_0}{\overset{+\mathrm{\infty }}{\int }}f{\varphi }^{\prime }dx]=$

$=-[-\underset{-\mathrm{\infty }}{\overset{x_0}{\int }}{f}^{\prime }\varphi dx+f(x_0^{-})\varphi (x_0)-\underset{x_0}{\overset{+\mathrm{\infty }}{\int }}{f}^{\prime }\varphi dx-f(x_0^{+})\varphi (x_0)]=$

$=\underset{ℝ}{\int }\left\{f^{\prime }\right\}\varphi dx+\varphi (x_0)[f(x_0^{+})-f(x_0^{-})]$

Un'interessante osservazione si può fare calcolando le derivate della $\delta$ di Dirac.

Applicando la definizione si ha:

${\delta }_{x_0}^{\prime }(\varphi )=-{\delta }_{x_0}({\varphi }^{\prime })=-{\varphi }^{\prime }(x_0)$

${\delta }_{x_0}^{\prime \prime }(\varphi )={\varphi }^{\prime \prime }(x_0)$

${\delta }_{x_0}^{\alpha }(\varphi )=(-1{)}^{\mid \alpha \mid }\varphi (x_0)$

Si osserva che la distribuzione di Dirac e tutte le sue derivate hanno per supporto $\left\{x_0\right\}$. Risultato che deriva dal seguente teorema.

Teorema (2)

La classe delle funzioni con supporto $\left\{x_0\right\}$ è data da una combinazione lineare della distribuzione di Dirac ${\delta }_{x_0}(\varphi )$ e di tutte le sue derivate.