In mathematics, a Lipschitz domain (or domain with Lipschitz boundary) is a domain in Euclidean space whose boundary is "sufficiently regular" in the sense that it can be thought of as locally being the graph of a Lipschitz continuous function. The term is named after the German mathematician Rudolf Lipschitz.
Definition Let n ∈ N {\displaystyle n\in \mathbb {N} } . Let Ω {\displaystyle \Omega } be a domain of R n {\displaystyle \mathbb {R} ^{n}} and let ∂ Ω {\displaystyle \partial \Omega } denote the boundary of Ω {\displaystyle \Omega } . Then Ω {\displaystyle \Omega } is called a Lipschitz domain if for every point p ∈ ∂ Ω {\displaystyle p\in \partial \Omega } there exists a hyperplane H {\displaystyle H} of dimension n − 1 {\displaystyle n-1} through p {\displaystyle p} , a Lipschitz-continuous function g : H → R {\displaystyle g:H\rightarrow \mathbb {R} } over that hyperplane, and reals r > 0 {\displaystyle r>0} and h > 0 {\displaystyle h>0} such that
Ω ∩ C = { x + y n → ∣ x ∈ B r ( p ) ∩ H , − h < y < g ( x ) } {\displaystyle \Omega \cap C=\left\{x+y{\vec {n}}\mid x\in B_{r}(p)\cap H,\ -h<y<g(x)\right\}}
( ∂ Ω ) ∩ C = { x + y n → ∣ x ∈ B r ( p ) ∩ H , g ( x ) = y } {\displaystyle (\partial \Omega )\cap C=\left\{x+y{\vec {n}}\mid x\in B_{r}(p)\cap H,\ g(x)=y\right\}}
where
n → {\displaystyle {\vec {n}}} is one of the two unit vectors that are normal to H , {\displaystyle H,}
B r ( p ) := { x ∈ R n ∣ ‖ x − p ‖ < r } {\displaystyle B_{r}(p):=\{x\in \mathbb {R} ^{n}\mid \|x-p\|<r\}} is the open ball of radius r {\displaystyle r} ,
C := { x + y n → ∣ x ∈ B r ( p ) ∩ H , − h < y < h } . {\displaystyle C:=\left\{x+y{\vec {n}}\mid x\in B_{r}(p)\cap H,\ {-h}<y<h\right\}.}
In other words, at each point of its boundary, Ω {\displaystyle \Omega } is locally the set of points located above the graph of some Lipschitz function.
Generalization A more general notion is that of weakly Lipschitz domains, which are domains whose boundary is locally flattable by a bilipschitz mapping. Lipschitz domains in the sense above are sometimes called strongly Lipschitz by contrast with weakly Lipschitz domains. A domain Ω {\displaystyle \Omega } is weakly Lipschitz if for every point p ∈ ∂ Ω , {\displaystyle p\in \partial \Omega ,} there exists a radius r > 0 {\displaystyle r>0} and a map ℓ p : B r ( p ) → Q {\displaystyle \ell _{p}:B_{r}(p)\rightarrow Q} such that
ℓ p {\displaystyle \ell _{p}} is a bijection;
ℓ p {\displaystyle \ell _{p}} and ℓ p − 1 {\displaystyle \ell _{p}^{-1}} are both Lipschitz continuous functions;
… excerpt ends here. Continue reading the full article.
