Ecco un piccolo caveat su cui oggi mi sono bloccato per un'ora buona (!). Prendiamo due funzioni \(\phi,\psi\in C^1(\mathbb{R})\): allora sappiamo che
\[\frac{d(\phi \psi)}{dx}=\frac{d\phi}{dx}\psi+\phi\frac{d\psi}{dx}.\]
Ora se \(\phi\in C^{\infty}(\mathbb{R})\) e \(T \in \mathcal{D}'(\mathbb{R})\) è ben definito il prodotto \(\phi T\): ebbene, per esso la formula precedente parrebbe non valere.
Ad esempio è corretto
\[\frac{d(\phi \delta)}{dx}=\frac{d(\phi(0)\delta)}{dx}=\phi(0)\delta', \]
e non
\[\frac{d(\phi \delta)}{dx}=\phi'(0)\delta+\phi(0)\delta', \]
come mi sarei aspettato applicando alla cieca la regola di Leibniz. Mah.
Lo segnalo così magari si evita di perderci tempo, e poi se a qualcuno va lo possiamo commentare insieme. In effetti mi sembra proprio strano non avere mai trovato alcun segnale di questo inghippo su nessun libro o risorsa Internet. Possibilissimamente sono io che sto sbagliando qualcosa e la regola vale anche per prodotti \(\phi T\), come sarebbe naturale aspettarsi.