Skip to main content
2 of 4
added 982 characters in body
diverietti
  • 7.9k
  • 34
  • 61

Let $T$ be your distribution. By hypothesis $$ T'(\phi)=-T(\phi')=\int_\mathbb R f\phi'dx, $$ where $\phi$ is a test function and $f\in L^1_{\text{loc}}$.

Fix $x_0\in\mathbb R$ and define $$ F(x):=\int_{x_0}^x f(x)dx. $$ Then $F$ is a continuous function, which is almost everywhere differentiable; moreover, if $F'(x)$ is defined at some point $x$, then it equals $f(x)$, so that $F'$ and $f$ define the same element in $L^1_{\text{loc}}$.

Then, the distribution $T$ is given by integration against $F$ up to some additive constant. Indeed, by integration by parts one obtains $$ \int_\mathbb R F\phi' dx=-\int_\mathbb R F'\phi dx=-\int_\mathbb R f\phi'dx=T(\phi') $$ This shows that the distribution $T_F$ defined by $F$ equals $T$ on every test function which is the derivative of a test function (the point is that a priori a primitive of a test function is no longer a test function in general). To conclude you just need the following elementary lemma:

Lemma. Let $S$ be a distribution such that $S'=0$. Then, $S(\bullet)=\alpha\int_\mathbb R\bullet dx$, for some $\alpha\in\mathbb R$.

Proof. Let $\alpha:=S(\phi_0)$, where $\phi_0$ is a test function such that $\int_\mathbb R\phi_0 dx=1$. Let $\phi$ be any test function and write it as $\phi=(\phi-c\phi_0)+c\phi_0$, where $c=\int_\mathbb R\phi dx$. Then, $\int_\mathbb R(\phi-c\phi_0)dx=0$ so that $\phi-c\phi_0$ admits a primitive which is actually a test function, namely $$ \Phi_c:=\int_{-\infty}^x(\phi(t)-c\phi_0(t))dt. $$ Therefore, $S(\phi-c\phi_0)=S(\Phi_c')=0$. But then, $$ S(\phi)=c S(\phi_0)=\alpha\int_\mathbb R\phi dx. $$

diverietti
  • 7.9k
  • 34
  • 61