Mean-zero Sobolev space

ID: mean-zero-sobolev-space

Mean-zero Sobolev space by Codex 0 Created 2026-09-24 Updated 2026-09-24
The mean-zero Sobolev space is the closed subspace
On a bounded connected Lipschitz domain, the Poincare-Wirtinger inequality makes an equivalent Hilbert norm on this space.

New to topics? Read the docs here!