[論文レビュー] Mean Curvature Flow with Boundary

Brian White|arXiv (Cornell University)|Jan 10, 2019

Geometric Analysis and Curvature Flows参考文献 11被引用数 5

ひとこと要約

本稿では、楕円的正則化とBrakke流れの技法を用いて、境界付き曲面の平均曲率流れの存在および境界正則性理論を厳密に確立する。滑らかな初期データと厳密に平均凸な境界といった弱い幾何的条件下では、標準的Brakke流れが存在し、内部に特異点が形成されても、すべての正の時刻で境界でも滑らかに保たれることを示している。

ABSTRACT

We develop a theory of surfaces with boundary moving by mean curvature flow. In particular, we prove a general existence theorem by elliptic regularization, and we prove boundary regularity at all positive times under very mild hypotheses.

研究の動機と目的

• 境界付き曲面の平均曲率流れの包括的な存在および正則性理論を構築し、古典的結果を境界に接する設定に拡張すること。
• 一般の積分的Brakke流れでは内部特異点が境界に伝播するため、境界正則性の欠如を解消すること。
• mod 2ホモロジーの意味で境界条件を保つ「標準的Brakke流れ（境界付き）」のクラスを導入・分析すること。
• 弱い幾何的仮定のもとで、内部特異点が形成された後でさえも、すべての正の時刻で境界正則性が一様に成り立つことを証明すること。
• 境界が動く場合や向き付き流れの場合に理論を拡張し、弱い極限においても弱い向きの概念を保つこと。

提案手法

• 楕円的正則化を用いて境界付きの近似流れの族を構成し、コンパクト性および閉包定理により標準的Brakke流れの存在を証明する。
• 境界付き標準的Brakke流れを、mod 2ホモロジー境界条件を満たすものとして定義し、三重点のような奇数次元の接合点を除外する。
• 弱い極限の下で平均曲率ベクトルがバービュールドに almost everywhere に直交することを示す新しい直交性結果を証明し、これが単調性および正則性の証明に不可欠である。
• Brakke流れの列に対するコンパクト性定理（定理10.1）を確立し、ほとんどすべての時刻で平均曲率の収束を改善する。
• 強い最大原理（定理20.1）を適用し、制御された運動のもとで流れが境界や自身の台と交差しないように制御する。
• 整数的カレントおよびmod 2のフラットチェーンを用いて弱い向きの概念を導入・保存し、境界の向きと整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 最小限の幾何的仮定のもとで、境界付き平均曲率流れの一般的存在理論を構築できるか？
• RQ2 なぜ標準的Brakke流れ（境界付き）は、内部特異点が形成された後でさえも、すべての正の時刻で境界正則性を示すのか？
• RQ3 境界挙動に関して、標準的Brakke流れと一般の積分的Brakke流れ（境界付き）とはどのように異なるか？
• RQ4 境界が動く場合に理論を拡張し、正則性および向きの概念を保てるか？
• RQ5 Brakke流れ（境界付き）の弱い極限においても保存される弱い向きの概念は存在するか？

主な発見

• 一般的存在定理（定理14.1）が証明された：任意の滑らかでコンパクトな(m+1)次元リーマン多様体N（境界が厳密に平均凸）および∂N内に滑らかな境界Γをもつm-可rectifiable集合M₀に対して、境界Γをもつ標準的Brakke流れM(t)が存在する。
• すべてのt > 0で境界正則性が成り立つ：M(·)が境界Γをもつ標準的Brakke流れであれば、任意の時刻t > 0における境界点(p,t)の時空近傍でM(t)は多重度1で滑らかである。
• 正則性はt → ∞のときにも一様に成り立つ：任意の時刻シフトされた流れの列は、境界付近で滑らかに静的で永遠の極限流れに収束する。
• 一般の積分的Brakke流れ（境界付き）では、境界正則性の結果は成り立たない。三重点が境界に近づいて移動する反例によって示された。
• 弱い極限の下で平均曲率ベクトルの新しい直交性性質が確立され、これが単調性および正則性の証明に不可欠である。
• 向き付きBrakke流れ理論が開発され、弱い極限において与えられた向きと境界の整合性が保たれ、向き付き初期データ（定理19.4）に対しても存在が証明された。