[論文レビュー] Boundary regularity for solutions to the linearized Monge-Ampère equations

Nam Q. Le, Ovidiu Savin|arXiv (Cornell University)|Sep 26, 2011

Geometry and complex manifolds参考文献 13被引用数 4

ひとこと要約

本稿は、領域の自然な仮定、ヘッセ行列式の上限、2次境界分離に関する仮定の下で、線形化された Monge-Ampère 方程式 $ L_u v = g $ の解について境界 Hölder 勾配推定と正則性を確立する。アフィン不変の技法、特に局所化定理とスケーリングを用いて、演算子が退化または特異であっても境界付近で解が $ C^{1,\beta} $ 正則性を獲得することを証明し、Krylov の境界推定を Monge-Ampère 方程式のアフィン不変設定に拡張する。

ABSTRACT

We obtain boundary Holder gradient estimates and regularity for solutions to the linearized Monge-Ampere equations under natural assumptions on the domain, Monge-Ampere measures and boundary data. Our results are affine invariant analogues of the boundary Holder gradient estimates of Krylov.

研究の動機と目的

• 凸領域における線形化 Monge-Ampère 方程式 $ L_u v = g $ の解について境界 Hölder 勾配推定を確立すること。
• Krylov の境界正則性理論を Monge-Ampère 方程式のアフィン不変設定に拡張すること。
• 特にヘッセ行列式 $ \det D^2 u $ が有界であるが、余因子行列 $ U^{ij} $ の固有値が境界付近で消えたり発散したりする可能性があるという退化・特異性の課題に対処すること。
• 関数 $ u $、領域 $ \Omega $、およびデータ $ g $ に対して自然な幾何的・測度論的仮定の下で、解が $ C^{1,\beta} $ 正則性を獲得することを証明すること。

提案手法

• Monge-Ampère 方程式の解に対して境界における局所化定理を用い、境界付近のスケーリングのための幾何的枠組みを提供する。
• アフィン変換による解のスケーリングを用いて、$ u $ の断片を標準的な楕円体 $ E_h $ に正規化し、一様な解析を可能にする。
• スケーリングされた関数 $ \tilde{v} $ に対して弱 Harnack 不等式および内部正則性推定（例：Schauder 型）を適用し、$ \tilde{U}^{ij}\tilde{v}_{ij} = \tilde{g} $ を満たす。
• 2次分離条件：$ \rho |x - x_0|^2 \leq u(x) - u(x_0) - \nabla u(x_0)(x - x_0) \leq \rho^{-1} |x - x_0|^2 $ を $ \partial\Omega \cap B_\rho $ 上で満たすことで、境界付近での一様な制御を保証する。
• 行列 $ U = (\det D^2 u)(D^2 u)^{-1} $ が正定値かつ発散なしであることに着目し、$ L_u $ が退化する可能性はあるが線形楕円型作用素であることを示す。
• スケーリングされた解に対して内部 $ C^{2,\beta} $ および $ C^{1,\alpha} $ 推定を適用し、元の領域に戻して $ \nabla v $ のグローバル Hölder 界を導出する。

実験結果

リサーチクエスチョン

• RQ1 線形化 Monge-Ampère 作用素 $ L_u $ が、$ L_u v = g $ の解について、どのような幾何的・測度論的条件下で境界 Hölder 勾配推定を満たすか？
• RQ2 $ L_u $ が境界付近で退化または特異である場合、特に $ \det D^2 u $ が有界であるが $ U^{ij} $ が発散する可能性がある状況において、$ v $ が $ C^{1,\beta} $ 正則性をどのように達成できるか？
• RQ3 局所化やスケーリングといったアフィン不変技法を用いて、Krylov 型の境界推定を Monge-Ampère 設定に拡張できるか？
• RQ4 $ \partial\Omega $ 上での $ u $ とその接平面との2次分離が、$ \nabla v $ の挙動を制御する上で果たす役割は何か？
• RQ5 正則性結果がヘッセ行列式の上限 $ \lambda \leq \det D^2 u \leq \Lambda $ にどの程度依存するか、また $ C^\beta $ または連続データの場合にどのように振る舞うか？

主な発見

• 領域 $ \Omega $ が内部球条件を満たし、$ u $ が有界なヘッセ行列式と2次境界分離を持つ限り、$ L_u v = g $ の解 $ v $ は、ある普遍的な $ \alpha \in (0,1) $ に対して $ \|\nabla v\|_{C^{\alpha}(\overline{\Omega})} \leq C $ を満たす。
• 境界 Hölder 勾配推定はアフィン不変であり、$ L_u $ が一様楕円型でない場合でも、Krylov の古典的結果を Monge-Ampère 設定に拡張する。
• 退化性は局所化によって処理される：$ u $ の断片が標準的楕円体 $ E_h $ にスケーリングされ、一様な解析が可能になる。
• 境界付近での $ U^{ij} $ の特異性は、$ \|U\| $ が高々対数的に増大することを示し、スケーリングと弱 Harnack 不等式によって相殺される。
• $ f = \det D^2 u \in C^\beta(\overline{\Omega}) $ の場合、スケーリングされた解 $ \tilde{u} $ は $ \|D^2 \tilde{u}\|_{C^\beta(\tilde{S}_{1/2})} \leq K $ を満たし、これにより $ \|D^2 u(y)\| \leq K |\log r|^2 $ が得られ、これは可積分であり $ C^{1,\alpha} $ 正則性に繋がる。
• 結果は頑健である：$ f \in C(\overline{\Omega}) $ であっても、Gutiérrez と Nguyen の $ C^{1,\alpha} $ 推定に依存することで、$ v $ の $ C^{1,\alpha} $ 界が依然として成立する。