[論文レビュー] Interior estimates for solutions of Abreu's equation

Simon Donaldson|ArXiv.org|Jul 28, 2004

Geometry and complex manifolds参考文献 3被引用数 128

ひとこと要約

本稿は、トーリック多様体上の定スカラー曲率ケーラー計量に関連する4階非線形偏微分方程式であるアブーレ方程式の解について、データに自然な幾何的条件が課されたもとで、内部の事前推定を確立する。主な結果は、境界データと関連する関数の coercivity 条件を満たす場合、2次元において解の uniform $C^{3,\beta}$ 界が得られることであり、これは連続法を用いた存在問題への応用を可能にする。

ABSTRACT

The paper develops various estimates for solutions of a fourth order nonlinear PDE, which corresponds to prescribing the scalar curvature of a toric Kahler metric.

研究の動機と目的

• アブーレ方程式の事前推定を導出すること。アブーレ方程式は、トーリック多様体上の定スカラー曲率ケーラー計量に関連する4階非線形偏微分方程式である。
• 解が高階ノルムで一様に有界のまま保たれる条件を確立し、連続法による存在証明を可能にする。
• 境界上での解の振る舞いを、境界上に定義された測度 $\sigma$ によって与えられる幾何的境界条件を用いて分析する。
• 線形汎関数 $\mathcal{L}$ に対して強制性条件が成り立つ場合、クラス $\mathcal{S}_{\Omega,\sigma}$ 内の解が一様な内部正則性推定を満たすことを証明する。

提案手法

• 解 $u$ の等高線集合にスケーリングの議論を適用し、それらを正規化された凸集合に変換することで、幾何的不等式を適用する。
• 証明では、Legendre変換を用いて $u$ のヘッセ構造とその下位集合の幾何を関連付ける。
• 重要なステップとして、PDE 構造から導かれる曲率に類似たテンソル $F^*$ に対する $L^2$-推定を用いて、双対計量テンソル $G^*$ をバウンドする。
• 連続法を適用するにあたり、強制性定数 $\lambda$ が有界のままであれば、解が内部で発散しないことを示す。
• コンパクト部分集合上で、Partition of unity と被覆の議論を用いて、局所的推定をグローバルな内部界へ拡張する。
• 2次元では、2階微分の $L^p_2$ 界が $C^{3,\alpha}$ 正則性を意味することを活用し、高階微分の制御を可能にする。

実験結果

リサーチクエスチョン

• RQ1 領域 $\Omega$、関数 $A$、境界測度 $\sigma$ に対して、アブーレ方程式がクラス $\mathcal{S}_{\Omega,\sigma}$ 内に解を持つための条件は何か？
• RQ2 データが線形汎関数 $\mathcal{L}$ に対して強制性条件を満たす場合、2次元におけるアブーレ方程式の解に対して、一様な内部 $C^{3,\alpha}$ 界を確立できるか？
• RQ3 解の等高線集合の幾何が解の正則性にどのように影響するか。また、スケーリング技術を用いて普遍的な界を導出できるか？
• RQ4 線形汎関数 $\mathcal{L}$ に対する強制性条件 $\mathcal{L}(f) \geq \lambda^{-1} \int_{\partial\Omega} f d\sigma$ は、ヘッセ行列 $u_{ij}$ が内部で退化するのを防ぐ役割を果たすか？

主な発見

• $n=2$ の場合、任意の正規化された解 $u$ は、$K^{-1} \leq (u_{ij}) \leq K$ を満たす。ここで $K = K(\Omega,\sigma,A,\lambda,d)$ は、$d$ を境界からの距離とする、適度な関数である。
• $p$ 階微分は $|\nabla^p u| \leq C_p$ を満たす。ここで $C_p$ はデータの適度な関数であり、高階微分の一様な制御を保証する。
• 証明により、正規化された等高線集合上で双対計量テンソル $G^*$ が $L^2$ で有界であることが示され、これにより曲率テンソル $F^*$ に対する $L^p$ 界が得られる。
• 2次元におけるSobolev埋め込み $L^p_2 \subset C^{3,\alpha}$ を適用することで、$u_{ij}$ の $L^p_2$ 界が、$\Omega$ のコンパクト部分集合における $C^{3,\alpha}$ 正則性を意味し、これにより $C^4$ 正則性が導かれる。
• 線形汎関数 $\mathcal{L}$ に対する強制性条件により、解が内部で退化することを防ぎ、$\lambda$ の有界性が連続法における発散を防ぐ。
• 結果はデータの連続的変形に対して安定であり、適度な関数の依存性により、$\Omega$、$\sigma$、$A$、$\lambda$ の位相において連続的である。