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

Résumé Technique : Convexité de Puissance des Solutions à l'Équation de Monge-Ampère Complexe en Dimension Complexe Deux

Énoncé du Problème
Cet article étudie les propriétés de convexité des solutions du problème de Dirichlet pour l'équation de Monge-Ampère complexe :
$$\det(u_{i\bar{j}}) = 1 \quad \text{dans } \Omega, \quad u = 0 \quad \text{sur } \partial\Omega,$$
où $\Omega$ est un domaine borné strictement convexe dans $\mathbb{C}^n$. Il est bien établi que la solution $u$ elle-même n'est généralement pas convexe. La question centrale abordée est de savoir si une transformation de puissance appropriée de la solution, spécifiquement $g(u) = -(-u)^\alpha$ pour un certain $0 < \alpha < 1$, produit une fonction convexe. Les auteurs se concentrent sur le cas spécifique de la dimension complexe $n=2$ et de l'exposant $\alpha = 1/2$, afin de prouver que $v := -\sqrt{-u}$ est strictement convexe dans $\Omega$.

Méthodologie
Les auteurs emploient une méthode développée dans des travaux antérieurs ([H25], [H24B], [H24A], [HS26]) qui utilise les dérivées complexes pour étudier la convexité réelle (positivité du hessien réel) des solutions. Le cœur de l'approche implique les étapes suivantes :

1. Construction d'une Fonction Auxiliaire : Les auteurs introduisent une fonction auxiliaire à valeurs réelles $\sigma$ qui quantifie la convexité de $v = -\sqrt{-u}$. Plus précisément, ils définissent les matrices $A = (u_{i\bar{j}} + \frac{u_i u_{\bar{j}}}{-2u})$ et $B = (u_{ij} + \frac{u_i u_j}{-2u})$. La convexité de $v$ est équivalente à la définition positive de $A$ et de la matrice $M = A - BA^{-1}B$. La fonction $\sigma$ est définie comme la plus petite valeur propre de la matrice $K = MA^{-1}$.

2. Équations Différentielles pour les Dérivées Seconde-Ordre : Les auteurs dérivent des équations différentielles détaillées pour les dérivées secondes de $u$ et de $v$. En appliquant des opérateurs différentiels complexes ($\partial_i, \partial_{\bar{j}}$) à l'équation de Monge-Ampère et aux définitions de $A$ et $B$, ils établissent des relations régissant l'évolution de $M$ et $K$. Un résultat clé est la dérivation d'une inégalité pour le laplacien de la plus petite valeur propre $\sigma$ :
   $$u_{\bar{q}p} \partial_{p\bar{q}} \sigma \leq C(\sigma + |\nabla \sigma|),$$
   sous la condition que la plus petite valeur propre de $K$ soit strictement plus petite que la deuxième plus petite valeur propre.

3. Réduction Algébrique et Analyse Dimensionnelle : La preuve repose lourdement sur des manipulations algébriques des formes quadratiques issues des dérivées secondes. Les auteurs réduisent le problème à l'analyse d'une forme quadratique spécifique impliquant une matrice de type skew-Hermitienne $W$ et la matrice $K$.

   • Contrainte Dimensionnelle Cruciale : L'article démontre que la non-positivité d'une forme quadratique spécifique (liée à $|tr(W)|^2 - \sum |W_{p\bar{s}}|^2$) est vérifiée si et seulement si la dimension complexe est 2. Dans les dimensions $n > 2$, cette forme n'est pas nécessairement non-positive, ce qui explique pourquoi le résultat est actuellement restreint à $n=2$.

4. Approximation et Perturbation : Puisque la plus petite valeur propre $\sigma$ n'est généralement que $C^0$ et que l'inégalité stricte entre la première et la seconde valeur propre peut ne pas tenir partout, les auteurs utilisent une méthode de perturbation. Ils perturbent la solution $u$ par des polynômes quadratiques pluriharmoniques $q$ pour créer une famille de fonctions $u+q$. En analysant l'enveloppe inférieure des plus petites valeurs propres des systèmes perturbés, ils étendent le résultat du cas générique (valeurs propres distinctes) au cas général.

5. Argument de Continuité : Enfin, un argument de continuité (méthode de déformation) relie le domaine strictement convexe $\Omega$ à une boule, où la convexité de $-\sqrt{-u}$ est connue, afin d'établir le résultat pour le domaine général.

Contributions Principales et Résultats

• Théorème Principal : L'article prouve que pour un domaine borné strictement convexe $\Omega \subset \mathbb{C}^2$ avec un bord lisse, la solution classique $u \in C^4(\Omega) \cap C^2(\bar{\Omega})$ de l'équation de Monge-Ampère complexe satisfait la propriété que $-\sqrt{-u}$ est strictement convexe dans $\Omega$.
• Avancée Méthodologique : Ce travail étend la technique consistant à utiliser les dérivées complexes pour analyser la convexité réelle à l'équation de Monge-Ampère complexe. Il fournit un moyen systématique de traiter la non-convexité de la solution $u$ en la transformant en une fonction convexe via une loi de puissance.
• Limite Dimensionnelle : Les auteurs identifient explicitement que leur preuve repose sur une inégalité algébrique spécifique qui n'est valide qu'en dimension complexe 2. Ils fournissent une construction de contre-exemple montrant que la forme quadratique clé ne parvient pas à être non-positive dans les dimensions supérieures, clarifiant ainsi la limite actuelle de cette approche spécifique.

Signification et Revendications
L'article affirme établir la convexité de puissance des solutions de l'équation de Monge-Ampère complexe en dimension complexe 2. Les auteurs notent que ce résultat a été récemment prouvé par Zhang et Zhou ([ZZ26]) en utilisant une méthode différente, mais que leur approche offre une perspective distincte en exploitant les dérivées complexes pour étudier les propriétés du hessien réel.

Les auteurs déclarent que, bien que le résultat de convexité soit actuellement limité à la dimension 2, l'approche sous-jacente (utiliser les dérivées complexes pour étudier la convexité réelle) est applicable à toutes les dimensions. L'article sert de étape fondamentale pour comprendre les propriétés de convexité des solutions de Monge-Ampère complexe, jetant un pont entre la théorie des EDP elliptiques réelles et complexes. Ce travail s'appuie sur une lignée de recherche sur la convexité de puissance, citant les travaux fondateurs de Caffarelli et Friedman ([CF85]) ainsi que les généralisations ultérieures par divers auteurs, positionnant ce résultat comme une extension naturelle de ces techniques au cadre complexe.