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

Resumen Técnico: Convexidad de Potencia de Soluciones a la Ecuación de Monge-Ampère Compleja en $\mathbb{C}^2$

Planteamiento del Problema
El artículo aborda las propiedades de convexidad de las soluciones a problemas de valores en la frontera para ecuaciones diferenciales parciales elípticas totalmente no lineales, centrándose específicamente en el problema de Dirichlet para la ecuación de Monge-Ampère compleja en $\mathbb{C}^2$. Los autores investigan la "convexidad de potencia" de la solución única $u$ a la ecuación:
$$\begin{cases} \det(u_{i\bar{j}}) = 1 & \text{en } \Omega, \\ u = 0 & \text{en } \partial\Omega, \end{cases}$$
donde $\Omega \subset \mathbb{C}^2$ es un dominio acotado, suave y estrictamente convexo. El objetivo específico es determinar si la función transformada $v = -\sqrt{-u/2}$ es estrictamente convexa en $\Omega$. Si bien la convexidad de las soluciones a ecuaciones reales elípticas (como la función de torsión para el Laplaciano) ha sido extensamente estudiada, la convexidad de potencia de las soluciones a las ecuaciones de Monge-Ampère complejas permanece en gran medida inexplorada, particularmente para dimensiones $n \geq 3$, lo cual sigue siendo una pregunta abierta.

Metodología
Los autores emplean el "principio de convexidad microscópica", también conocido como el enfoque del teorema de rango constante, desarrollado originalmente por Caffarelli y Friedman para ecuaciones semilineales y extendido posteriormente a ecuaciones totalmente no lineales por Bian y Guan. La estrategia de prueba involucra dos pasos primarios:

1. Estimaciones en la Frontera: Establecer estimaciones de convexidad para la solución cerca de la frontera del dominio.
2. Teorema de Rango Constante: Demostrar que el Hessiano de la solución transformada, $\nabla^2 v$, mantiene un rango constante en todo el dominio.

Un obstáculo técnico significativo surge porque la ecuación que gobierna a $v$ no es homogénea con respecto a $\nabla^2 v$, lo que dificulta la verificación de las condiciones estructurales estándar para los teoremas de rango constante. Además, aunque el Hessiano complejo puede diagonalizarse mediante transformaciones unitarias, el Hessiano real $\nabla^2 v$ (que determina la convexidad real) no se diagonaliza generalmente bajo estas mismas transformaciones.

Para superar estas dificultades, los autores introducen una novedosa matriz auxiliar $K$ definida mediante la factorización de Autonne-Takagi:
$$K = I - B A^{-1} B A^{-1},$$
donde $A$ y $B$ son bloques derivados de los componentes del Hessiano complejo. Un lema clave establece la relación de rango $\text{rank}(\nabla^2 v) = \text{rank}(K) + 2$. Crucialmente, $K$ se transforma mediante similitud bajo cambios de coordenadas lineales complejas admisibles, preservando sus autovalores, traza y determinante. Esto permite la construcción de funciones auxiliares afín-invariantes basadas en $\text{tr}(K)$ y $\det(K)$.

La prueba procede analizando dos casos para el rango mínimo $l$ de $\nabla^2 v$:

• Caso $l=2$ (Rango mínimo de $K$ es 0): Los autores refinan la función auxiliar introducida por Bian y Guan, utilizando una función de tipo cociente $\phi = \text{tr}(K) + \frac{\det(K)}{\text{tr}(K)}$. Derivan desigualdades diferenciales complejas que involucran al operador linealizado y aplican el principio de máximo fuerte.
• Caso $l=3$ (Rango mínimo de $K$ es 1): La función auxiliar elegida es $\phi = \det(K)$. Este caso requiere verificar la semi-positividad de una forma cuadrática de seis variables con coeficientes no nulos. Los autores realizan operaciones intrincadas de filas y columnas sobre una matriz simétrica de $6 \times 6$ para diagonalizarla en dos bloques de $3 \times 3$, demostrando posteriormente la semi-positividad utilizando lemas de álgebra lineal sobre menores principales líderes.

Resultados Clave
El resultado principal, Teorema 1.1, establece que para un dominio acotado, suave y estrictamente convexo $\Omega \subset \mathbb{C}^2$, la función $v = -\sqrt{-u/2}$ es estrictamente convexa en $\Omega$, donde $u$ es la solución única del problema de Dirichlet de Monge-Ampère compleja con término derecho 1 y datos de frontera cero.

La prueba se apoya en el Corolario 4.2, que establece que el Hessiano $\nabla^2 v$ tiene un rango constante en todo $\Omega$. Al combinar esta propiedad de rango constante con las estimaciones de convexidad en la frontera (Proposición 5.1) y un argumento de método de continuidad deformando la bola unidad hacia el dominio general $\Omega$, los autores concluyen que el rango debe ser completo (rango 4), lo que implica convexidad estricta.

Adicionalmente, la Observación 5.2 proporciona un contraejemplo que demuestra que el exponente de convexidad $1/2$ es agudo. Los autores muestran que para $\alpha > 1/2$, la función $-( -u)^\alpha$ no es necesariamente convexa, confirmando que el resultado no puede generalizarse a potencias superiores.

Significado y Reivindicaciones
El artículo afirma proporcionar el primer resultado conocido que aborda la convexidad de potencia de las soluciones a las ecuaciones de Monge-Ampère complejas. Los autores declaran explícitamente que para dimensiones $n \geq 3$, si la solución exhibe convexidad de potencia sigue siendo una pregunta abierta. El trabajo extiende la aplicabilidad del teorema de rango constante al entorno complejo, superando obstáculos específicos relacionados con la no homogeneidad de la ecuación transformada y la incompatibilidad de la diagonalización compleja con los requisitos de convexidad real. La metodología refina las técnicas de funciones auxiliares existentes para manejar la estructura algebraica específica de la ecuación de Monge-Ampère compleja en $\mathbb{C}^2$.