[論文レビュー] On the manifold of closed hypersurfaces in R^n

Jan Pruess, Gieri Simonett|arXiv (Cornell University)|Dec 28, 2012

Geometric Analysis and Curvature Flows参考文献 9被引用数 21

ひとこと要約

本稿は、R^n 内の移動する超曲面を直接写像法を用いて解析するための幾何的ツールボックスを構築する。特に、基準超曲面上の法線高さ関数によって定義される超曲面に注目する。主な微分幾何的量である平均曲率、Weingarten テンソル、表面勾配、発散を高さ関数の言語で定式化し、一様な球条件を満たすコンパクトな埋め込み超曲面の空間が C²(Ω̄) の部分多様体として同定可能であることを示す。これにより、移動界面を伴う発展方程式を研究する上で不可欠なコンパクト性と埋め込みに関する結果が得られる。

ABSTRACT

Several results from differential geometry of hypersurfaces in R^n are derived to form a tool box for the direct mapping method. The latter technique has been widely employed to solve problems with moving interfaces, and to study the asymptotics of the induced semiflows.

研究の動機と目的

• R^n 内の超曲面、特に移動界面を伴う問題に特化した包括的な微分幾何的結果のツールキットを提供すること。
• 一様な球条件の下でのコンパクトで埋め込まれた R^n 内の超曲面の空間の多様体構造を明確にすること。
• 超曲面空間を C²-多様体として同定することで、最大正則性理論を移動界面問題に応用可能にする。
• 平均曲率、Weingarten テンソル、Laplace-Beltrami 純量などの幾何的量の明示的表現を、基準超曲面上の高さ関数の言語で導出すること。
• C² 超曲面で一様な球条件を満たすクラスが C²(Ω̄) に埋め込まれることを示し、解析に不可欠なコンパクト性と埋め込み性質を保証すること。

提案手法

• 固定された基準超曲面 Σ 上の法線グラフとして摂動された超曲面 Γρ を、高さ関数 ρ ∈ C²(Σ, ℝ) を用いてパラメータ表示する。
• Γρ 上の主曲率、平均曲率、表面勾配、表面発散、Laplace-Beltrami 純量の明示的公式を、ρ と Σ の幾何的性質の言語で導出する。
• チューブ型近傍の構成と、固定されたカットオフ関数 χ を用いて一様に定義されたレベル関数 φΓ = g(dΓ(x)) を用いることで、超曲面族全体にわたる一様な正則性を保証する。
• 各超曲面をそのレベル関数に写像する写像 Φ: M²(Ω,r) → C²(Ω̄) を構築し、単射かつ同型写像としての埋め込みを確立することで、位相的・解析的制御を可能にする。
• レベル関数の C²(Ω̄)-ノルムにおける収束が、超曲面およびその法束の Hausdorff 収束を意味することを証明し、関数空間の収束と幾何的収束を結びつける。
• Rellich の定理を適用し、s−n/p > σ−n/q かつ s > σ のとき、Wˢᵖ(Ω,r) が W^σ_q(Ω,r) にコンパクトに埋め込まれることを示し、Sobolev 空間におけるコンパクト性を保証する。

実験結果

リサーチクエスチョン

• RQ1 平均曲率や表面発散といった幾何的量は、基準超曲面 Σ 上の高さ関数 ρ の言語でどのように明示的に表現できるか？
• RQ2 一様な球条件の下での、有界領域 Ω 内のコンパクトで埋め込まれた C²-超曲面の空間の多様体構造はいかなるものか？
• RQ3 超曲面空間を Banach 多様体または C²-多様体として同定することで、移動界面問題に直接写像法を厳密に正当化するにはどのような条件が必要か？
• RQ4 C²(Ω̄) におけるレベル関数の収束が、対応する超曲面およびその法束の幾何的収束を保証するための条件は何か？
• RQ5 超曲面空間が C²(Ω̄) に埋め込まれる場合、どのような条件下でコンパクト性が保たれ、Sobolev 空間における埋め込み定理が成立するか？

主な発見

• 法線グラフとして定義された超曲面 Γρ の平均曲率は、κ′(0) = tr(LΣ²) + ΔΣ で与えられ、ここで LΣ は Weingarten テンソル、ΔΣ は Σ 上の Laplace-Beltrami 純量である。
• 一様な球条件（半径 r > 0）を満たす有界領域 Ω 内のコンパクトで埋め込まれた C²-超曲面の空間 M²(Ω,r) は、C²(Ω̄) の部分集合として同定可能であり、C²-多様体をなす。
• Γ ↦ φΓ で定義される埋め込み Φ: M²(Ω,r) → C²(Ω̄) は同型写像であり、φΓ₁ と φΓ₂ の C²(Ω̄)-ノルムにおける収束が、超曲面およびその法束の Hausdorff 収束を意味する。
• s−(n−1)/p > 2 のとき、Wˢᵖ(Ω,r) に属する超曲面（レベル関数が Wˢᵖ(Ω) に属する）は多様体構造を有し、s−n/p > σ−n/q かつ s > σ のときコンパクト性が成立する。
• 固定されたカットオフ関数 χ を用いて一様に定義されたレベル関数 φΓ の構成により、チューブ型近傍の幅が r/2 を超えることが保証され、これにより M²(Ω,r) 全体にわたる一様推定が可能になる。
• 実解析的超曲面を第二法束に沿って近似することで、C²-超曲面に対しても直接写像法が適用可能であり、正則性が保たれる。