Power Convexity of Solutions to the Complex Monge-Ampère Equation $\det(u_{i\overline{j}})=1$ in Complex Dimension Two

技術要約：複素次元2における複素モンジュ・アンペール方程式の解のべき凸性

問題設定
本論文は、以下のディリクレ問題に関する複素モンジュ・アンペール方程式の解の凸性特性を調査するものである：
$$\det(u_{i\bar{j}}) = 1 \quad \Omega \text{ 内}, \quad u = 0 \quad \partial\Omega \text{ 上},$$
ここで $\Omega$ は $\mathbb{C}^n$ における厳密に凸な有界領域である。解 $u$ 自体は一般に凸ではないことが確立されている。検討される中心的な問いは、解の適切なべき変換、具体的には $g(u) = -(-u)^\alpha$ （ただし $0 < \alpha < 1$）が凸関数を与えるかどうかである。著者らは、特定の複素次元 $n=2$ および指数 $\alpha = 1/2$ のケースに焦点を当て、$v := -\sqrt{-u}$ が $\Omega$ 内で厳密に凸であることを証明することを目的としている。

手法
著者らは、実凸性（実ヘッセ行列の正定値性）を研究するために複素微分を用いる、先行研究（[H25], [H24B], [H24A], [HS26]）で開発された手法を採用している。このアプローチの核心は、以下のステップを含む。

1. 補助関数の構成： 著者らは、$v = -\sqrt{-u}$ の凸性を定量化する実数値の補助関数 $\sigma$ を導入する。具体的には、行列 $A = (u_{i\bar{j}} + \frac{u_i u_{\bar{j}}}{-2u})$ および $B = (u_{ij} + \frac{u_i u_j}{-2u})$ を定義する。$v$ の凸性は、$A$ の正定値性と、行列 $M = A - BA^{-1}B$ の正定値性と同値である。関数 $\sigma$ は、行列 $K = MA^{-1}$ の最小固有値として定義される。

2. 二階微分の微分方程式： 著者らは、$u$ および $v$ の二階微分の詳細な微分方程式を導出する。モンジュ・アンペール方程式および $A$ と $B$ の定義に対して複素微分演算子（$\partial_i, \partial_{\bar{j}}$）を適用することで、$M$ および $K$ の進化を支配する関係式を確立する。主要な結果として、最小固有値 $\sigma$ のラプラシアンに関する不等式が導かれる：
   $$u_{\bar{q}p} \partial_{p\bar{q}} \sigma \leq C(\sigma + |\nabla \sigma|),$$
   これは、$K$ の最小固有値が第二最小固有値よりも厳密に小さいという条件下で成立する。

3. 代数的簡約と次元解析： 証明は、二階微分から生じる二次形式の代数的な操作に大きく依存している。著者らは、歪エルミート行列 $W$ と行列 $K$ を含む特定の二次形式を分析することに問題を還元する。

   • 決定的な次元制約： 特定の二次形式（$|tr(W)|^2 - \sum |W_{p\bar{s}}|^2$ に関連するもの）が非正であることは、複素次元が2である場合とみ等価であることを本論文は示している。次元 $n > 2$ では、この形式は必ずしも非正にはならず、これが結果が現在 $n=2$ に限定されている理由である。

4. 近似と摂動： 最小固有値 $\sigma$ は一般に $C^0$ であり、第一固有値と第二固有値の厳密な不等式が至る所で保持されるとは限らないため、著者らは摂動法を用いる。解 $u$ を、複素調和な二次多項式 $q$ によって摂動させ、関数 $u+q$ の族を作成する。摂動された系の最小固有値の下限を分析することにより、ジェネリックなケース（異なる固有値を持つ場合）から一般のケースへと結果を拡張する。

5. 連続性の議論： 最後に、連続性の議論（変形法）を用いて、厳密に凸な領域 $\Omega$ を、$-\sqrt{-u}$ の凸性が既知である球へと接続し、一般的な領域に対する結果を確立する。

主要な貢献と結果

• 主要定理： 本論文は、滑らかな境界を持つ $\mathbb{C}^2$ 内の厳密に凸な有界領域 $\Omega$ に対して、複素モンジュ・アンペール方程式の古典的な解 $u \in C^4(\Omega) \cap C^2(\bar{\Omega})$ が、$-\sqrt{-u}$ が $\Omega$ 内で厳密に凸であるという性質を満たすことを証明している。
• 手法の進展： 本研究は、実凸性を分析するために複素微分を用いる手法を、複素モンジュ・アンペール方程式へと拡張するものである。これは、べき法則を用いて非凸な解 $u$ を凸関数へと変換するための体系的な方法を提供する。
• 次元の制限： 著者らは、証明が特定の代数的不等式に依存しており、それが複素次元2においてのみ有効であることを明示的に特定している。彼らは、キーとなる二次形式が高次元では非正にならないことを示す反例の構成を提供し、この特定のアプローチの現在の境界を明確にしている。

意義と主張
本論文は、複素次元2における複素モンジュ・アンペール方程式の解のべき凸性を確立したと主張している。著者らは、この結果が最近、ZhangとZhou ([ZZ26]) によって異なる手法を用いて証明されたことに触れているが、彼らのアプローチは、実ヘッセ行列の性質を研究するために複素微分を活用するという、異なる視点を提供するものである。

著者らは、凸性の結果が現在は次元2に限定されているものの、基礎となるアプローチ（実凸性を研究するために複素微分を用いること）はすべての次元に適用可能であると述べている。本論文は、実と複素の楕円型偏微分方程式論の間の溝を埋める、複素モンジュ・アンペール解の凸性特性を理解するための基礎的な一歩として機能する。本研究は、CaffarelliとFriedman ([CF85]) による基礎的な研究やその後の様々な著者による一般化を引用し、これらの手法を複素の設定へと自然に拡張したものである。