[論文レビュー] On a class of fully nonlinear elliptic equations on closed Hermitian manifolds II: $L^\infty$ estimate

Wei Sun|arXiv (Cornell University)|Jul 29, 2014

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

ひとこと要約

本稿は、完全非線形楕円型方程式に対して、閉ヘルミート多様体上でのコーン条件のもとで、直接的な $L^\infty$ 評価を、新たな部分積分と凹性に基づくアプローチを用いて確立する。主な貢献は、従来の下位解や曲率仮定に依存せずに、コーン条件から一様 $C^0$ 界を直接導出できる点にあり、これにより複素 $(n,n-\beta)$-商方程式に対する $C^\infty$ の事前評価と存在結果が可能になる。

ABSTRACT

We study a class of fully nonlinear elliptic equations on closed Hermitian manifolds. Under the assumption of cone condition, we derive the $L^\infty$ estimate directly.

研究の動機と目的

• 閉ヘルミート多様体上での完全非線形楕円型方程式の解に対して、下位解や曲率仮定に依存せずに一様 $C^0$ の事前評価を確立すること。
• コーン条件 — 形式 $\chi$ に関する幾何的条件 — が、中間の $C^2$ 評価を経由せずに直接 $L^\infty$ 界を導出可能であることを示すこと。
• 本手法を用いて、複素 モンジュ＝アンペール方程式および商方程式の既知の存在性・正則性理論を、非ケーラーなヘルミート設定へと拡張すること。
• 単一の強固な $L^\infty$ 評価を用いて、閉多様体上での複素 $k$-ヘッセ方程式および $(k,l)$-商方程式を統一的に取り扱うフレームワークを提供すること。
• 自然な幾何的条件（コーン条件および体積正規化）の下で、解の定数項を除き一意的であることを証明し、存在を確立すること。

提案手法

• 大きな $p$ に対して $e^{-pu}$ 上での重み付き $L^2$ 評価を用い、部分積分と G{\r{a}}ding の不等式を活用して、直接的な $L^\infty$ 評価を導出する。
• 一意的補間のためのホモトピー法を用い、族 $\chi_{tu} = \chi + t\sqrt{-1}\partial\bar{\partial}u$ を介して $\chi$ と $\chi_u$ をつなぐ。これにより、対称関数の凹性が利用可能になる。
• 関数 $n\chi^{n-1} - (n-\alpha)\psi\chi^{n-\alpha-1}\wedge\omega^{\alpha}$ の凹性を適用し、下位項を制御し、コーン条件のもとで一様正定値性を導出する。
• コーン条件 $[\chi] \in \mathscr{C}_{n,n-\alpha}(\psi)$ を用いて、$t \in [0,1]$ に対して、双線形形式 $n\chi^{n-1}_{tu} - (n-\alpha)\psi\chi^{n-\alpha-1}_{tu}\wedge\omega^{\alpha}$ が一様正定値になることを保証する。
• G{\r{a}}ding の不等式を適用し、全質量の観点から $\partial u$ の $L^2$ ノルムを制御し、重要な不等式 $p \int_M e^{-pu} |\partial u|^2 \omega^n \leq C \int_M e^{-pu} \omega^n$ を得る。
• 上記の評価と、Moser の反復法に類似した議論（$p \to \infty$ の極限に暗黙的に対応）を組み合わせ、$u$ に対する一様 $L^\infty$ 界を導出する。

実験結果

リサーチクエスチョン

• RQ1 閉ヘルミート多様体上での完全非線形楕円型方程式の $L^\infty$ 界は、下位解や曲率仮定に依存せずに、コーン条件から直接導出可能か？
• RQ2 コーン条件 $[\chi] \in \mathscr{C}_{n,n-\alpha}(\psi)$ は、方程式 $\chi^n_u = \psi \chi^{n-\alpha}_u \wedge \omega^\alpha$ の解の存在性と正則性をどの程度保証するか？
• RQ3 関数 $n\chi^{n-1} - (n-\alpha)\psi\chi^{n-\alpha-1}\wedge\omega^\alpha$ の凹性は、一様 $L^\infty$ 評価の導出をどのように支援するか？
• RQ4 非ケーラー設定、特に torsion が存在する状況において、$L^\infty$ 評価を $C^2$ 評価に依存せずに得られるか？
• RQ5 閉ヘルミート多様体上での複素商方程式の解の存在性と一意性（定数項を除き）を保証するための最小限の幾何的条件（例：コーン条件、体積正規化）は何か？

主な発見

• 本稿は、下位解や曲率仮定を必要とせず、コーン条件のみを用いて、閉ヘルミート多様体上での完全非線形楕円型方程式に対して、初めて直接的な $L^\infty$ 評価を確立した。
• コーン条件の下で、閉ケーラー多様体上における複素 $k$-ヘッセ方程式および $(k,l)$-商方程式の両方に対して、一様 $C^0$ の事前評価が得られた。
• 閉ヘルミート多様体上では、コーン条件 $[\chi] \in \mathscr{C}_{n,n-\alpha}(\psi)$ が、$(n,n-\alpha)$-商方程式の解に対して一様 $C^\infty$ の事前評価を意味する。
• コーン条件が、解の存在と一意性（定数項を除き）を保証することが示された。これは、$\alpha = n$ の場合、点での不等式、または $\psi \geq c$ を満たすケーラーの場合の三つの異なる条件下で成立する。
• すべての大きな $p$ に対して、不等式 $p \int_M e^{-pu} |\partial u|^2 \omega^n \leq C \int_M e^{-pu} \omega^n$ が成り立ち、これはMoserの反復法による議論を通じて $L^\infty$ 界を示唆する。
• 本手法は、$C^2$ 評価を $L^\infty$ 制御の前提として必要としないため、閉多様体上での複素幾何方程式の解析的アプローチに顕著な転換をもたらしている。