Differential equation for distribution

650 Views Asked by At

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...

Thanks for answers

1

There are 1 best solutions below

0
On BEST ANSWER

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).