Poincare-Wirtinger inequality (source code)

= Poincare-Wirtinger inequality
{c}
{wiki}

On a bounded connected Lipschitz domain $U$, every $u\in H^1(U)$ satisfies
$$
\|u-u_U\|_{L^2(U)}\leq C\|\nabla u\|_{L^2(U)},
\qquad
u_U=\frac1{|U|}\int_Uu.
$$
Equivalently, the gradient norm is equivalent to the $H^1$ norm on the <mean-zero Sobolev space>.