Power convexity of solutions to complex Monge-Ampère equation in $\mathbb{C}^2$

技術要約：$\mathbb{C}^2$ における複素モンジュ・アンペール方程式の解のべき凸性

問題設定
本論文は、完全非線形楕円型偏微分方程式の境界値問題、特に $\mathbb{C}^2$ における複素モンジュ・アンペール方程式のディリクレ問題における凸性の性質を扱っている。著者らは、以下の領域 $\Omega \subset \mathbb{C}^2$（有界で滑らか、かつ厳密に凸な領域）における一意な解 $u$ の「べき凸性」を調査している：
$$\begin{cases} \det(u_{i\bar{j}}) = 1 & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega. \end{cases}$$
具体的な目的は、変換された関数 $v = -\sqrt{-u/2}$ が $\Omega$ 内で厳密に凸であるかどうかを判定することである。実型の楕円型方程式（ラプラシアンのトーション関数など）の解の凸性は広く研究されてきたが、複素モンジュ・アンペール方程式の解のべき凸性は、特に次元 $n \geq 3$ においては未解決の問いとして残されており、ほとんど未開拓のままである。

手法
著者らは、Caffarelli と Friedman によって半線形方程式に対して開発され、後に Bian と Guan によって完全非線形方程式へと拡張された「微視的凸性原理（microscopic convexity principle）」、別名「定数ランク定理（constant rank theorem）」のアプローチを採用している。証明の戦略は、主に以下の2つのステップからなる：

1. 境界推定（Boundary Estimates）: 領域の境界付近における解の凸性推定を確立する。
2. 定数ランク定理（Constant Rank Theorem）: 変換された解のヘッセ行列 $\nabla^2 v$ が、領域全体を通じて一定のランクを維持することを証明する。

重要な技術的障壁は、$v$ に関する方程式が $\nabla^2 v$ に対して非同次（non-homogeneous）であるため、定数ランク定理のための標準的な構造条件の検証が困難である点にある。さらに、複素ヘッセ行列はユニタリ変換によって対角化可能であるが、実の凸性を決定する実ヘッセ行列 $\nabla^2 v$ は、一般にこれらの変換の下では対角化されない。

これらの困難を克服するため、著者らはオートネ・タカギ分解（Autonne-Takagi factorization）を通じて定義される新しい補助行列 $K$ を導入している：
$$K = I - B A^{-1} B A^{-1},$$
ここで $A$ と $B$ は複素ヘッセ成分から導かれるブロックである。主要な補題は、ランクの関係 $\text{rank}(\nabla^2 v) = \text{rank}(K) + 2$ を確立している。極めて重要なことに、$K$ は許容される複素線形座標変換の下で相似変換され、その固有値、トレース、および行列式を保存する。これにより、$\text{tr}(K)$ および $\det(K)$ に基づくアフィン不変な補助関数の構築が可能となる。

証明は、$\nabla^2 v$ の最小ランク $l$ に関する2つのケースの解析を進める：

• ケース $l=2$（$K$ の最小ランクが0の場合）: 著者らは Bian と Guan によって導入された補助関数を改良し、商型の関数 $\phi = \text{tr}(K) + \frac{\det(K)}{\text{tr}(K)}$ を用いる。これを用いて、線形化作用素に関する複素微分不等式を導出し、強最大値原理を適用する。
• ケース $l=3$（$K$ の最小ランクが1の場合）: 補助関数として $\phi = \det(K)$ を選択する。このケースでは、非ゼロの係数を持つ6変数の二次形式の半正定値性を検証する必要がある。著者らは、$6 \times 6$ の対称行列に対して複雑な初等行・列操作を行い、それを2つの $3 \times 3$ ブロックに対角化することで、主小行列式の性質に関する線形代数の補題を用いて半正定値性を証明する。

主な結果
主要な結果である定理 1.1 は、有界で滑らかな厳密凸領域 $\Omega \subset \mathbb{C}^2$ に対して、右辺が1で境界データが0である複素モンジュ・アンペール・ディリクレ問題の一意な解 $u$ に対し、関数 $v = -\sqrt{-u/2}$ は $\Omega$ 内で厳密に凸であることを述べている。

この証明は、ヘッセ行列 $\nabla^2 v$ が $\Omega$ 全体で一定のランクを持つことを確立する系 4.2 に依拠している。この定数ランク特性と境界凸性推定（命題 5.1）、および単位球から一般的な領域 $\Omega$ へ変形する連続性の手法（continuity method）を組み合わせることで、著者らはランクがフルランク（ランク4）であり、したがって厳密に凸であることを結論付けている。

さらに、備考 5.2 は、凸性の指数 $1/2$ がシャープであることを示す反例を提供している。著者らは、$\alpha > 1/2$ のとき、関数 $-( -u)^\alpha$ は必ずしも凸ではないことを示し、この結果が高次の冪には一般化できないことを確認している。

意義と主張
本論文は、複素モンジュ・アンペール方程式の解のべき凸性を扱った初の既知の結果であると主張している。著者らは、次元 $n \geq 3$ において、解がべき凸性を示すかどうかは依然として未解決の問いであることを明示している。本研究は、非同次な変換後の方程式や、複素対角化と実の凸性の要件との不適合性といった特定の障害を克服することで、定数ランク定理の複素設定への適用可能性を拡張したものである。その手法は、複素モンジュ・アンペール方程式の特定の代数的構造を扱うために、既存の補助関数テクニックを洗練させたものである。