[論文レビュー] Convergent approximation of surfaces of prescribed Gaussian curvature with weak Dirichlet conditions

Brittany D. Froese|arXiv (Cornell University)|Jan 23, 2016

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

ひとこと要約

本稿では、完全非線形モンジュ・アンパー編方程式を解くことにより、所定のガウス曲率を持つ曲面を近似するための単調な数値スキームを開発する。境界条件が弱いため標準的な比較原理が成立しないにもかかわらず、領域内部における粘性解への収束を確立する。これは、緩和された内部比較原理と、適応されたBarles-Souganidisフレームワークを用いることで達成される。

ABSTRACT

We consider the construction of surfaces of prescribed Gaussian curvature via the numerical solution of a fully nonlinear partial differential equation of Monge-Amp\`ere type. In this setting, solutions may not be able to satisfy even a simple Dirichlet boundary condition, and the resulting weak solutions need not be continuous up to the boundary. As a consequence, sub-solutions do not always lie below super-solutions, and existing convergence proofs do not apply. By relying on a geometric interpretation of weak solutions, we prove a relaxed comparison principle that applies only in the interior of the domain. We then modify the Barles-Souganidis convergence framework to show that monotone approximations converge to the viscosity solution in the interior of the domain. We describe a monotone approximation of the equation and present several challenging computational examples to validate these theoretical results.

研究の動機と目的

• 標準的なディリクレ境界条件が成立しない状況における、所定のガウス曲率を持つ曲面の構築という課題に取り組む。
• 境界における不連続な弱解が原因で、古典的比較原理が破綻する問題を克服する。
• 境界の正則性が欠如する状況においても、領域内部における単調な数値近似の収束フレームワークを構築する。
• 複雑な曲率行動を示す例を用いて、理論的枠組みを計算的に検証する。

提案手法

• 比較原理を領域内部に制限することで、弱いディリクレ条件に対応するようにBarles-Souganidis収束フレームワークを適応する。
• 弱解の幾何的解釈を導入し、領域内部に限定して有効な緩和された比較原理を定義する。
• 所定のガウス曲率に対する完全非線形モンジュ・アンパー方程式の単調な有限差分近似を構築する。
• 粘性解理論を用いて、領域内部における単調スキームが一意な粘性解に収束することを正当化する。
• 境界の挙動や曲率分布が困難な表面に対して、スキームの性能をテストする計算実験を実施する。

実験結果

リサーチクエスチョン

• RQ1 標準的な比較原理が弱い境界条件による不連続性のため破綻する状況において、モンジュ・アンパー方程式の数値近似の収束をどのように確立できるか。
• RQ2 弱解のどのような幾何的性質が、領域内部に限定された緩和された比較原理を可能にするか。
• RQ3 弱いディリクレ条件のもとで、単調な有限差分スキームが粘性解に収束するか。その証明はどのように行えるか。
• RQ4 計算的証拠は、滑らかでない設定における理論的収束性とスキームの頑健性をどの程度裏付けているか。

主な発見

• 境界の不連続性にもかかわらず、領域内部に限定して有効な緩和された比較原理が確立され、収束解析が可能になった。
• 改変されたBarles-Souganidisフレームワークにより、単調な数値近似が領域内部において粘性解に収束することが保証された。
• 提案された単調スキームは、境界データが弱いか不連続であっても、所定のガウス曲率を持つ曲面の解を効果的に計算できた。
• 計算例により、複雑な曲率配置に対してもスキームの頑健性が示され、理論的収束結果が検証された。