[論文レビュー] A localization property at the boundary for the Monge-Ampere equation

Ovidiu Savin|arXiv (Cornell University)|Oct 8, 2010

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

ひとこと要約

この論文は、領域と境界データが自然な $C^{1,1}$ 正則性を満たす場合に、境界付近における Monge-Ampère 方程式の解の節の局所的性質を確立する。境界点を中心とする節 $S_h$ が、半楕円体と一様に同値であることを示し、境界に沿った線形変換（スライディング）によって混合2階微分係数が $|\log h|$ で制御されることを示す。これにより、アフィン変換によるコンパクト性が得られ、将来の $C^{2,\alpha}$ および $W^{2,p}$ 境界推定が可能になる。

ABSTRACT

We consider Monge-Ampere equations with bounded right hand side and we study the geometric properties of sections centered at a boundary point. We prove that under natural boundary conditions such sections are equivalent to ellipsoids.

研究の動機と目的

• 凸解 $\det D^2u = f$ の下位集合（節）の境界付近における幾何的構造を理解すること。
• 領域と境界データに最小限の正則性仮定を置いた場合に、これらの節が半楕円体と一様に同値であることを確立すること。
• アフィン変換によるコンパクト性フレームワークを節に対して構築し、境界正則性推定を導く上で不可欠な性質を得ること。
• Caffarelli が示した内部における節の同値性を、より弱い仮定のもとで境界の場合に拡張すること。

提案手法

• 境界点 $x_0 = 0$ を中心とする節 $S_h = \{x \in \overline{\Omega} : u(x) < h\}$ を分析することで、境界における局所化性質を導入する。
• 境界平面 $x_n = 0$ に沿ったスライディング変換 $A_h(x) = x - \nu x_n$ を用いて、節を標準形に正規化する。
• $h \to 0$ の漸近的挙動を調べるため、スケーリング $\tilde{u}_h(x) = \frac{1}{h}u(h^{1/2}A_h^{-1}x)$ を適用する。
• バリア法と比較原理を用いて、境界付近における $u$ の増大を制御し、$\partial\Omega \cap \{x_n \leq \rho\}$ 上で2次下界を用いる。
• 帰納法と背理法を用いてヘッセ行列の固有値に一様な上限を確立し、変換 $A_h$ が作用素ノルムで一様に有界であることを証明する。
• 重心正規化と体積制御を用いて、スケーリングされた節が一様に非退化的であり、半球と比較可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 領域と境界データが $C^{1,1}$ にしか満たない場合に、Monge-Ampère 方程式の解の節は境界付近でどのように振る舞うか？
• RQ2 最小限の正則性仮定のもとで、アフィン変換による節を半楕円体と一様に比較可能か？
• RQ3 境界領域における混合2階微分係数の定量的制御は何か？ また、$f = \det D^2u$ の挙動とどのように関係するか？
• RQ4 内部の場合と同様に、アフィン変換によるコンパクト性結果を境界でも確立できるか？

主な発見

• 各 $h < c(\rho)$ に対して、節 $S_h$ は体積 $h^{n/2}$ の半楕円体 $E_h$ と一様に同値であり、絶対定数 $k, c(\rho)$ を用いて $kE_h \cap \overline{\Omega} \subset S_h \subset k^{-1}E_h$ を満たす。
• 同値性を達成する線形変換 $A_h$ は $|\nu| \leq k^{-1}|\log h|$ を満たし、混合2階微分係数が $|\log h|$ で有界であることを示唆する。
• 半楕円体 $E_h$ は半径 $h^{1/2}$ の球を $A_h^{-1}$ で変換することで得られ、$A_h$ は境界平面 $x_n = 0$ に沿ったスライディング変換である。
• 追加の正則性（例：$f$ が 0 で連続であり、$u = P(x) + o(|x|^2)$ が $\partial\Omega$ 上で成り立つ）のもとで、スケーリング関数 $\tilde{u}_h$ は極限解 $\bar{u}_0$ に収束し、$\det D^2\bar{u}_0 = f(0)$ かつ $\bar{u}_0 = P$ on $\{x_n = 0\}$ を満たす。
• この方法により、変換 $A_h$ の一様有界性が証明され、$h \to 0$ の際に節の幾何が一様に制御されることを保証する。
• $f \equiv 1$ の場合でさえも結果が成り立つため、定数の場合でも本定理は新規かつ非自明であることが示される。