# Differential equation for distribution

Consider a distribution $T \in D'(\mathbb{R})$ such as (E) : $T' + gT = 0$ with $g \in D(\mathbb{R})$. Could you prove that $T$ is a strong solution of (E) ? I know that we must use the fondamental theorem of calculus with distribution but i don't know how to conclude...

Do you know that distributions which have a derivative equal to $0$ on $\mathbb R$ are constant? –  Davide Giraudo Mar 10 '12 at 18:26
Take $G$ a primitive of $g$, and multiply by $e^G$, and show that $e^GT$ has a derivative which is $0$. –  Davide Giraudo Mar 10 '12 at 18:40
Let $G$ a primitive of $g$, which exist since $g$ is continuous. Let $\varphi$ a test-function. We have, if $T$ is a solution of $T'+gT=0$ that \begin{align*} \langle (e^GT)',\varphi\rangle_{\mathcal D'(\mathbb R),\mathcal D(\mathbb R)} &=-\langle e^GT,\varphi'\rangle_{\mathcal D'(\mathbb R),\mathcal D(\mathbb R)} \\ &=-\langle T,e^G\varphi'\rangle_{\mathcal D'(\mathbb R),\mathcal D(\mathbb R)}\\ &=-\langle T,(e^G\varphi)'-G'e^G\varphi\rangle_{\mathcal D'(\mathbb R),\mathcal D(\mathbb R)}\\ &=-\langle T',e^G\varphi\rangle_{\mathcal D'(\mathbb R),\mathcal D(\mathbb R)}+ \langle T,ge^G \varphi\rangle_{\mathcal D'(\mathbb R),\mathcal D(\mathbb R)}\\ &=\langle -gT,e^G\varphi\rangle_{\mathcal D'(\mathbb R),\mathcal D(\mathbb R)}+ \langle T,ge^G \varphi\rangle_{\mathcal D'(\mathbb R),\mathcal D(\mathbb R)}=0. \end{align*} Now we use the fact that if a distribution on $\mathbb R$ has a derivative equal to $0$, it can be represented by a constant function (see here for example). So $e^GT$ can be represented by the constant $C$ and so $T$ is also a strong solution of (E).