リプシッツ領域

数学においてリプシッツ領域（リプシッツりょういき、テンプレート:Lang-en-short）あるいはリプシッツ境界を持つ領域とは、局所的にはリプシッツ連続な函数のグラフと見なすことが出来る意味で「十分に正則」な境界を持つユークリッド空間内のある領域のことを言う。

ドイツの数学者であるルドルフ・リプシッツの名にちなむ。

定義

n ∈ N に対し、Ω を Rⁿ の開部分集合とする。Ω の境界は ∂Ω と表す。このとき Ω がリプシッツ境界を持つリプシッツ領域であるとは、すべての点 p ∈ ∂Ω に対して、ある半径 r > 0 と写像 h_p : B_r(p) → Q が存在して、次が成立することを言う。

• h_p は全単射である;
• h_p と h_p⁻¹ はいずれもリプシッツ連続である;
• h_p(∂Ω ∩ B_r(p)) = Q₀;
• h_p(Ω ∩ B_r(p)) = Q₊;

ここに

$B_r(p):=\{x\in {ℝ}^n|\Vert x-p\Vert <r\}$

は p を中心とする半径 r の n-次元開球を表し、Q は単位球 B₁(0) を表す。また

$Q_0:=\{(x_1,\dots ,x_n)\in Q|x_n=0\};$

$Q_{+}:=\{(x_1,\dots ,x_n)\in Q|x_n>0\}$

である。

リプシッツ領域の応用

ソボレフの埋め込み定理の多くは、考えている領域がリプシッツ領域であることを必要とする。結果として、多くの偏微分方程式や変分問題はリプシッツ領域上で定義される。

参考文献

• テンプレート:Cite book