Poincaré inequality for total variation (source code)

= Poincaré inequality for total variation
{c}

On a bounded Lipschitz domain,
$$
\|u-u_\Omega\|_{L^1(\Omega)}\leq C_\Omega\operatorname{TV}(u),
\qquad
u_\Omega=|\Omega|^{-1}\int_\Omega u.
$$
It reduces to $\|u\|_{L^1}\leq C_\Omega\operatorname{TV}(u)$ on $BV_0(\Omega)$.