[論文レビュー] Mean curvature flow with obstacles: a viscosity approach

Gwenaël Mercier|arXiv (Cornell University)|Sep 26, 2014

Fluid Dynamics and Turbulent Flows被引用数 10

ひとこと要約

本稿は、時間に依存する障害物を伴う平均曲率流れの粘性解フレームワークを導入し、有界かつ一様連続な初期データに対して存在性と一意性を確立する。レベルセット形式が幾何的に整合的であることを証明し、Almeida, Chambolle, Novaga の変分スキームと粘性解を結びつける。収束性と単調性を示し、低次元（n ≤ 7）では長期間の挙動が最小曲面に収束することを示す。

ABSTRACT

We introduce a level-set formulation for the mean curvature flow with obstacles and show existence and uniqueness of a viscosity solution. These results generalize a well known viscosity approach for the mean curvature flow without obstacle by Evans and Spruck and Chen, Giga and Goto in 1991. In addition, we show that this evolution is consistent with the variational scheme introduced by Almeida, Chambolle and Novaga (2012) and we study the long time behavior of our viscosity solutions.

研究の動機と目的

• 時間に依存する障害物によって制約される平均曲率流れのための粘性解フレームワークを構築すること。
• Evans-SpruckおよびChen-Giga-Gotoの粘性解アプローチを、障害物制約を含む形に一般化すること。
• 有界かつ一様連続な初期データおよびリプシッツ連続な障害物力の下で、粘性解の存在性と一意性を確立すること。
• 幾何的整合性の証明：解のα-レベル集合は、初期データおよび障害物のα-レベル集合にのみ依存する。
• 解の長期間挙動を解析し、Almeida, Chambolle, Novaga の変分スキームと関連付けること。

提案手法

• 幾何的かつ単調な関数Fを用いて、障害物付き平均曲率流れをレベルセットPDEとして定式化：$ u_t + F(Du, D^2u) + k|Du| = 0 $。
• 物理的または幾何的障壁をモデル化するため、二重障害物制約 $ u^-(x,t) \leq u(x,t) \leq u^+(x,t) $（ただし $ u^- \leq u^+ $）を導入する。
• 上および下の半連続包 $ F^* $ および $ F_* $ を用いて、粘性解理論を適用し、準解および超解を定義する。
• 勾配がゼロとなる点の退化を扱うために、$ \varphi(x,t) = \alpha |x - x_0|^\alpha $ を用いた摂動論法を実施する。
• 矛盾による比較原理の確立：非ゼロ勾配を持つ点で $ u - \varphi $ の最大値がとられると仮定する。
• Almeida, Chambolle, Novaga の離散的変分スキームと粘性解を結びつける。スキームの極限が粘性解に収束することを証明し、単調性と収束性を保証する。

実験結果

リサーチクエスチョン

• RQ1 時間に依存する障害物を伴う平均曲率流れに対して、粘性解フレームワークを構築することは可能か？
• RQ2 レベルセット形式は、レベル集合に空でない内部を持つ場合でさえ、障害物制約下でも幾何的に整合的であるか？
• RQ3 粘性解の長期間挙動は、Almeida, Chambolle, Novaga の変分スキームとどのように関連するか？
• RQ4 粘性解が最小曲面に収束する条件は何か？Spadaro の離散スキームと比較するとどうなるか？
• RQ5 低次元（n ≤ 7）において、粘性解の極限が平均凸包と等価であるか？

主な発見

• 有界かつ一様連続な初期データおよびリプシッツ連続な障害物力の下で、粘性解の存在性と一意性が確立された。
• 解は幾何的である：解のα-レベル集合は、初期データおよび障害物のα-レベル集合にのみ依存する。これは、解が空でない内部を持つ場合でも成り立つ。
• Almeida, Chambolle, Novaga の変分スキームは粘性解に収束し、スキームの単調性から解が最小曲面に収束することが示された。
• 次元 $ n \leq 7 $ において、長期間の極限 $ \{u_\infty = 0\} $ は、平均凸包 $ \Omega^{\text{mc}} $ と一致する。ただし、解が「ふっくらむ」（fatten）しないことが前提である。
• 極限 $ u_\infty $ は $ |Du|\operatorname{div}\left(\frac{Du}{|Du|}\right) = 0 $ を満たし、$ \{u_\infty = 0\} \setminus \Omega $ は変分的意味での滑らかで安定な定常最小曲面である。
• レベル集合 $ \{u = s\} $ の空でない内部は、命題12の正則性結果により、高々可算個の $ s $ のみで生じ得る。