[論文レビュー] Convergence of a mass conserving Allen-Cahn equation whose Lagrange multiplier is nonlocal and local

Matthieu Alfaro, Pierre Alifrangis|arXiv (Cornell University)|Mar 14, 2013

Nonlinear Partial Differential Equations参考文献 22被引用数 38

ひとこと要約

本稿では、非局所的および局所的効果を組み合わせたラグランジュ乗数を有する質量保存型アレン-コーエン方程式を研究し、界面厚さパラメータ ε → 0 のとき、解が体積保存型平均曲率流れに収束することを厳密に証明する。一致漸近展開およびラグランジュ乗数の誤差推定を用いて、極限流れの古典的解の仮定の下で収束を確立する。

ABSTRACT

We consider the mass conserving Allen-Cahn equation proposed in \\cite{Bra-Bre}: the Lagrange multiplier which ensures the conservation of the mass contains not only nonlocal but also local effects (in contrast with \\cite{Che-Hil-Log}). As a parameter related to the thickness of a diffuse internal layer tends to zero, we perform formal asymptotic expansions of the solutions. Then, equipped with these approximate solutions, we rigorously prove the convergence to the volume preserving mean curvature flow, under the assumption that classical solutions of the latter exist. This requires a precise analysis of the error between the actual and the approximate Lagrange multipliers.

研究の動機と目的

• 質量保存を強制するラグランジュ乗数に非局所的および局所的寄与を組み合わせた質量保存型アレン-コーエン方程式の鋭い界面極限を分析すること。
• 極限流れの古典的解が存在すると仮定したもとで、体積保存型平均曲率流れへの収束を厳密に確立すること。
• 遷移層のプロファイルを記述するための一致漸近展開を用いた解構造の詳細な漸近解析を実施すること。
• ハイブリッド性に起因する、実際のラグランジュ乗数と近似ラグランジュ乗数の間の誤差を正確に推定すること。これは収束解析において極めて重要である。
• 近似解の周囲における線形化作用素の固有値スペクトルを解析し、非対称アレン-コーエンの場合に知られている結果を活用して解の誤差を制御すること。

提案手法

• 界面厚さが ε である遷移層をモデル化するため、内側および外側の一致漸近展開を用いて解の形式的漸近展開を構築する。
• 質量保存を強制するため、領域全体の平均化を含む非局所項と、f(uε) の局所的値に依存する局所項を組み合わせたハイブリッドラグランジュ乗数を方程式に導入する。
• 解の鋭い遷移層構造を捉える近似解 u_k を導出し、ε^k 次までの補正を含む。
• 誤差 R = u_ε - u_k を解析するため、R に関する時間発展方程式を導出し、エネルギー法を用いてその L² 範囲を推定する。
• 近似解の周囲における線形化作用素の固有値スペクトル推定を適用し、作用素の主要部が R の L² 範囲に比例する定数倍で上から抑えられることを示す。
• グローヴァルの不等式を用いて誤差増大を制御し、誤差の L² 範囲が O(ε^{k−1/2}) であることを示す。これは初期の O(ε^{4/p}) 推定を改善する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ乗数に非局所的および局所的効果を併せ持たせることで、質量保存型アレン-コーエン方程式の鋭い界面極限にどのような影響を与えるか？
• RQ2 ラグランジュ乗数がハイブリッド（非局所的および局所的）である場合に、体積保存型平均曲率流れへの厳密な収束を確立できるか？
• RQ3 実際のラグランジュ乗数と近似ラグランジュ乗数の間の誤差が収束解析において果たす役割は何か？ そして、その誤差はどのように制御できるか？
• RQ4 ε^k 次までの高次の漸近補正が、極限流れへの解の収束速度に与える影響は何か？
• RQ5 近似解の周囲における線形化作用素の固有値スペクトルを上から有界に抑えることは可能か？ これにより誤差の時間的伝搬が制御できるか？

主な発見

• 非局所的および局所的両方の寄与を有するハイブリッドラグランジュ乗数を有する質量保存型アレン-コーエン方程式の解は、ε → 0 のとき体積保存型平均曲率流れに収束する。
• 体積保存型平均曲率流れの古典的解が時刻 T まで存在すると仮定したもとで、収束が厳密に証明される。
• 実際の解と近似解の間の誤差は、L² 範囲で O(ε^{k−1/2}) で抑えられ、初期の O(ε^{4/p}) 推定を改善する。
• 解析により、ラグランジュ乗数の誤差が誤差の主因であることが判明し、収束を達成するためにはその正確な制御が不可欠であることが示された。
• 近似解の周囲における線形化作用素の固有値スペクトルは、ある定数倍で上から抑えられ、これによりグローヴァルの不等式を用いた誤差増大の制御が可能である。
• 比較原理の欠如を補うために、近似解を構築し、エネルギー法およびスペクトル法を用いて誤差を推定する手法が効果的に適用された。