Poincare inequality

A Poincare inequality controls a function by its derivatives after the constant ambiguity has been removed. For example, on a bounded connected Lipschitz domain,

On a bounded connected Lipschitz domain $U$, every $u\in H^1(U)$ satisfiesEquivalently, the gradient norm is equivalent to the $H^1$ norm on the mean-zero Sobolev space.

The mean-zero Sobolev space is the closed subspaceOn a bounded connected Lipschitz domain, the Poincare-Wirtinger inequality makes $\Vert \nabla u{\Vert }_2$ an equivalent Hilbert norm on this space.

If $U$ is bounded and connected and a boundary portion ${\Gamma }_D$ has positive surface measure, thenfor every $v\in H^1(U)$ whose trace vanishes on ${\Gamma }_D$. Otherwise a normalized counterexample sequence, the Rellich-Kondrashov compactness theorem, and continuity of the trace would produce a nonzero constant with zero trace on ${\Gamma }_D$.