# Does zero distributional derivative imply constant function?

If a real function $f\colon[a,b]\to\mathbb{R}$ is differentiable and its derivative $f'$ is zero, then $f$ is constant. Does this result still hold when $f$ has a weak derivative?

Explicitly, suppose $f\colon[a,b]\to\mathbb{R}$ is an integrable function such that its distributional derivative $Df$ is zero. Does this mean that $f$ is constant?

-
Have you tried invoking the definition of distributional derivative? – Hurkyl Jun 26 '12 at 14:24
– t.b. Jun 26 '12 at 14:51
Also related: math.stackexchange.com/questions/118525/… – mrf Jun 26 '12 at 15:53

Corollary. If $u \in L^1_{\mathrm{loc}}(a,b)$ is such that $$\int_a^b u(x) \varphi'(x)\, dx=0$$ for every $\varphi \in C_0^\infty(a,b)$, then $u$ is almost everywhere constant.