An open subset of Euclidean space (or a manifold chart) whose boundary is locally the graph of a Lipschitz function, i.e., locally expressed with a uniform finite slope but not necessarily differentiable.

Principle

Local representability of the boundary as graphs of functions with a uniform Lipschitz constant provides control of normal directions and enables trace and extension results for Sobolev spaces despite lack of smoothness.

Demonstration

A typical demonstration is a bounded region in R^n whose boundary near each point is the graph of a function with Lipschitz constant L: this ensures that outward normal vectors exist almost everywhere and that the divergence theorem holds for suitable weak formulations.

Misapplication

Treating a Lipschitz boundary as if it were C^1 or using pointwise normal vectors everywhere can lead to incorrect boundary value formulations; the boundary may have corners or cusps where classical tangents fail.

Consequence

Correct recognition yields access to Sobolev trace theorems, well-posedness of elliptic PDEs in weak form, and compactness properties for sequences of functions with controlled energy.

Reversal

The reversal is a boundary with weaker regularity than Lipschitz (e.g., fractal or merely measurable boundary), where standard trace/extension results and PDE solvability in classical weak spaces may fail.

Boundary

Scope includes Euclidean domains and manifolds with coordinate charts; it excludes boundaries requiring higher regularity class (C^1, C∞, analytic) for sharper geometric statements and excludes non-locally-graph boundaries.

Semantic Tension

Tension exists between Lipschitz regularity and more geometric notions like rectifiability or bounded variation: Lipschitz implies strong metric control but is stronger than mere measure-theoretic regularity that suffices for some variational problems.

Synthesis

A Lipschitz domain balances minimal geometric regularity and analytic tractability: it allows robust functional-analytic tools (traces, extensions, weak PDE formulations) while admitting corners and non-differentiable boundary behavior.