Sobolev function with zero weak gradient
ID: sobolev-function-with-zero-weak-gradient
On a connected open set, a Sobolev space function with zero weak gradient is constant almost everywhere. Local mollification gives constant smooth representatives on interior balls; overlaps and connectedness identify their constants. Without connectedness, the constant may differ between components. This explains the constant ambiguity in a Neumann Poisson problem.
New to topics? Read the docs here!