Mean-zero Sobolev space (source code)

= Mean-zero Sobolev space
{title2=$H^1_\dagger(U)$}

The mean-zero Sobolev space is the closed subspace
$$
H^1_\dagger(U)=\left\{u\in H^1(U):\int_Uu=0\right\}.
$$
On a bounded connected Lipschitz domain, the <Poincare-Wirtinger inequality> makes $\|\nabla u\|_2$ an equivalent Hilbert norm on this space.