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

Resumen Técnico: Convexidad de Potencia de Soluciones a la Ecuación de Monge-Ampère Compleja en Dimensión Compleja Dos

Planteamiento del Problema
Este artículo investiga las propiedades de convexidad de las soluciones al problema de Dirichlet para la ecuación de Monge-Ampère compleja:
$$\det(u_{i\bar{j}}) = 1 \quad \text{en } \Omega, \quad u = 0 \quad \text{en } \partial\Omega,$$
donde $\Omega$ es un dominio acotado estrictamente convexo en $\mathbb{C}^n$. Está bien establecido que la solución $u$ en sí misma generalmente no es convexa. La cuestión central abordada es si una transformación de potencia adecuada de la solución, específicamente $g(u) = -(-u)^\alpha$ para algún $0 < \alpha < 1$, produce una función convexa. Los autores se centran en el caso específico de la dimensión compleja $n=2$ y el exponente $\alpha = 1/2$, con el objetivo de demostrar que $v := -\sqrt{-u}$ es estrictamente convexa en $\Omega$.

Metodología
Los autores emplean un método desarrollado en trabajos previos ([H25], [H24B], [H24A], [HS26]) que utiliza derivadas complejas para estudiar la convexidad real (positividad del Hessiano real) de las soluciones. El núcleo del enfoque consiste en los siguientes pasos:

1. Construcción de la Función Auxiliar: Los autores introducen una función auxiliar de valor real $\sigma$ que cuantifica la convexidad de $v = -\sqrt{-u}$. Específicamente, definen las matrices $A = (u_{i\bar{j}} + \frac{u_i u_{\bar{j}}}{-2u})$ y $B = (u_{ij} + \frac{u_i u_j}{-2u})$. La convexidad de $v$ es equivalente a la definición positiva de $A$ y de la matriz $M = A - BA^{-1}B$. La función $\sigma$ se define como el valor propio mínimo de la matriz $K = MA^{-1}$.

2. Ecuaciones Diferenciales para las Segundas Derivadas: Los autores derivan ecuaciones diferenciales detalladas para las segundas derivadas de $u$ y $v$. Al aplicar operadores diferenciales complejos ($\partial_i, \partial_{\bar{j}}$) a la ecuación de Monge-Ampère y a las definiciones de $A$ y $B$, establecen relaciones que gobiernan la evolución de $M$ y $K$. Un resultado clave es la derivación de una desigualdad para el Laplaciano del valor propio mínimo $\sigma$:
   $$u_{\bar{q}p} \partial_{p\bar{q}} \sigma \leq C(\sigma + |\nabla \sigma|),$$
   bajo la condición de que el valor propio mínimo de $K$ es estrictamente menor que el segundo valor propio mínimo.

3. Reducción Algebraica y Análisis Dimensional: La demostración depende fuertemente de manipulaciones algebraicas de las formas cuadráticas que surgen de las segundas derivadas. Los autores reducen el problema al análisis de una forma cuadrática específica que involucra una matriz hermítica sesgada $W$ y la matriz $K$.

   • Restricción Dimensional Crucial: El artículo demuestra que la no positividad de una forma cuadrática específica (relacionada con $|tr(W)|^2 - \sum |W_{p\bar{s}}|^2$) se cumple si y solo si la dimensión compleja es 2. En dimensiones $n > 2$, esta forma no es necesariamente no positiva, lo que explica por qué el resultado está actualmente restringido a $n=2$.

4. Aproximación y Perturbación: Dado que el valor propio mínimo $\sigma$ es generalmente solo $C^0$ y que la desigualdad estricta entre el primer y el segundo valor propio puede no cumplirse en todas partes, los autores utilizan un método de perturbación. Perturban la solución $u$ mediante polinomios cuadráticos pluriharmónicos $q$ para crear una familia de funciones $u+q$. Al analizar la envolvente inferior de los valores propios mínimos de los sistemas perturbados, extienden el resultado desde el caso genérico (valores propios distintos) al caso general.

5. Argumento de Continuidad: Finalmente, un argumento de continuidad (método de deformación) conecta el dominio estrictamente convexo $\Omega$ con una bola, donde la convexidad de $-\sqrt{-u}$ es conocida, para establecer el resultado para el dominio general.

Contribuciones Clave y Resultados

• Teorema Principal: El artículo demuestra que, para un dominio acotado estrictamente convexo $\Omega \subset \mathbb{C}^2$ con frontera suave, la solución clásica $u \in C^4(\Omega) \cap C^2(\bar{\Omega})$ a la ecuación de Monge-Ampère compleja satisface la propiedad de que $-\sqrt{-u}$ es estrictamente convexa en $\Omega$.
• Avance Metodológico: El trabajo extiende la técnica de utilizar derivadas complejas para analizar la convexidad real a la ecuación de Monge-Ampère compleja. Proporciona una forma sistemática de manejar la no convexidad de la solución $u$ transformándola en una función convexa mediante una ley de potencia.
• Limitación Dimensional: Los autores identifican explícitamente que la demostración depende de una desigualdad algebraica específica que es válida únicamente en la dimensión compleja 2. Proporcionan una construcción de contraejemplo que muestra que la forma cuadrática clave no es necesariamente no positiva en dimensiones superiores, aclarando el límite actual de este enfoque específico.

Significado y Reivindicaciones
El artículo afirma establecer la convexidad de potencia de las soluciones a la ecuación de Monge-Ampère compleja en la dimensión compleja 2. Los autores señalan que este resultado fue probado recientemente por Zhang y Zhou ([ZZ26]) utilizando un método diferente, pero su enfoque ofrece una perspectiva distinta al aprovechar las derivadas complejas para estudiar las propiedades del Hessiano real.

Los autores afirman que, si bien el resultado de convexidad está actualmente limitado a la dimensión 2, el enfoque subyacente (usar derivadas complejas para estudiar la convexidad real) es aplicable a todas las dimensiones. El artículo sirve como un paso fundacional para comprender las propiedades de convexidad de las soluciones de la ecuación de Monge-Ampère compleja, cerrando la brecha entre la teoría de las EDP elípticas reales y complejas. El trabajo se construye sobre un linaje de investigación sobre la convexidad de potencia, citando trabajos fundacionales de Caffarelli y Friedman ([CF85]) y generalizaciones subsecuentes por diversos autores, posicionando este resultado como una extensión natural de esas técnicas al entorno complejo.