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

技术摘要：复 Monge-Ampère 方程解的幂凸性（复维度为 2）

问题陈述
本文研究了 Dirichlet 问题下复 Monge-Ampère 方程解的凸性性质：
$$\det(u_{i\bar{j}}) = 1 \quad \text{在 } \Omega \text{ 内}, \quad u = 0 \quad \text{在 } \partial\Omega \text{ 上},$$
其中 $\Omega$ 是 $\mathbb{C}^n$ 中的严格凸有界区域。众所周知，解 $u$ 本身通常不是凸的。核心问题在于，是否存在一个合适的幂变换，即对于某个 $0 < \alpha < 1$，使得 $g(u) = -(-u)^\alpha$ 成为一个凸函数。作者专注于复维度 $n=2$ 且指数 $\alpha = 1/2$ 的特定情况，旨在证明 $v := -\sqrt{-u}$ 在 $\Omega$ 内是严格凸的。

方法论
作者采用了一种由先前研究（[H25], [H24B], [H24A], [HS26]）开发的方法，该方法利用复导数来研究解的实凸性（实 Hessian 矩阵的正定性）。其核心方法包括以下步骤：

1. 辅助函数构造： 作者引入了一个实值辅助函数 $\sigma$，用于量化 $v = -\sqrt{-u}$ 的凸性。具体而言，他们定义了矩阵 $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$ 的二阶导数的详细微分方程。通过对 Monge-Ampère 方程及 $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. 代数约简与维度分析： 该证明高度依赖于对源自二阶导数的二次型的代数处理。作者将问题归约为分析涉及斜埃尔米特（skew-Hermitian）矩阵 $W$ 和矩阵 $K$ 的特定二次型。

   • 关键维度约束： 论文表明，一个特定二次型（与 $|tr(W)|^2 - \sum |W_{p\bar{s}}|^2$ 相关）的非正性成立，当且仅当复维度为 2。在维度 $n > 2$ 时，该形式不一定是非正的，这解释了为什么目前该结果仅限于 $n=2$。

4. 逼近与扰动： 由于最小特征值 $\sigma$ 通常仅为 $C^0$ 连续，且第一特征值与第二特征值的严格不等式可能并不处处成立，作者使用了一种扰动法。他们通过用复调和二次多项式 $q$ 扰动解 $u$，从而构造出一系列函数 $u+q$。通过分析扰动系统最小特征值的下包络（lower envelope），他们将结果从一般情况（特征值互异）扩展到了一般情况。

5. 连续性论证： 最后，通过连续性论证（变形方法），将严格凸区域 $\Omega$ 连接到已知 $-\sqrt{-u}$ 为凸的球体，从而建立该结论对于一般区域的适用性。

主要贡献与结果

• 主定理： 本文证明了对于具有光滑边界的严格凸有界区域 $\Omega \subset \mathbb{C}^2$，复 Monge-Ampère 方程的经典解 $u \in C^4(\Omega) \cap C^2(\bar{\Omega})$ 满足 $-\sqrt{-u}$ 在 $\Omega$ 内是严格凸的。
• 方法论进展： 该工作扩展了利用复导数研究实凸性的技术，将其应用于复 Monge-Ampère 方程。它提供了一种通过幂律将非凸解 $u$ 转化为凸函数的方法。
• 维度限制： 作者明确指出，其证明依赖于一个仅在复维度 2 下有效的特定代数不等式。他们通过构造反例展示了该关键二次型在更高维度下无法保持非正性，从而阐明了当前方法的边界。

意义与主张
本文声称建立了复维度 2 下复 Monge-Ampère 方程解的幂凸性。作者指出，这一结果最近已由 Zhang 和 Zhou ([ZZ26]) 使用不同的方法证明，但本文的方法通过利用复导数来研究实 Hessian 性质，提供了一个独特的视角。

作者表示，虽然该凸性结果目前局限于维度 2，但其底层方法（使用复导数研究实凸性）适用于所有维度。本文是理解复 Monge-Ampère 方程凸性属性的基础性工作，架起了实与复椭圆型 PDE 理论之间的桥梁。这项工作构建在幂凸性研究的脉络之上，引用了 Caffarelli 和 Friedman ([CF85]) 的基础性工作及后续作者的推广研究，将此结果定位为这些技术的自然延伸。