Stability and strong convergence for complex Hessian equations with $L^1$ data

Basado en el manuscrito proporcionado, aquí se presenta un resumen técnico detallado del artículo "Stability and Strong Convergence for Complex Hessian Equations with $L^1$ Data" de Truong Dinh Dat.

1. Planteamiento del problema y contexto

El artículo investiga las ecuaciones de Hessian compleja $m$ en dominios $m$-hiperconvexos acotados $\Omega \subset \mathbb{C}^n$. La ecuación específica bajo estudio es:
$$(dd^c u)^m \wedge \beta^{n-m} = f \beta^n$$
donde $\beta = dd^c |z|^2$ es la forma de Kähler estándar, $1 \le m \le n$, y los datos del lado derecho $f$ pertenecen a $L^1(\Omega)$.

El estudio se sitúa entre la teoría de potencial clásica ($m=1$) y la teoría del potencial pluriharmónica ($m=n$, la ecuación de Monge-Ampère compleja). Si bien la existencia y estabilidad de soluciones para datos en $L^p(\Omega)$ con $p > 1$ están bien establecidas (notablemente a través de las estimaciones $L^p$ de Kołodziej y trabajos subsecuentes de Dinew, Kołodziej y otros), el caso de datos meramente integrables ($f \in L^1$) sigue siendo menos comprendido para las ecuaciones de Hessian compleja ($1 \le m < n$).

Un desafío primordial es que la convergencia estándar en capacidad $m$-Hessian, aunque se sabe que se cumple para datos en $L^1$, es una topología relativamente débil. La convergencia en capacidad no garantiza la convergencia de las medidas no lineales asociadas $H_m(u_j)$, ni controla la interacción entre los potenciales y sus medidas de Hessian.

2. Metodología

El autor emplea una combinación de técnicas de aproximación, estimaciones de energía uniforme y argumentos refinados de capacidad adaptados de la teoría de Cegrell y los métodos de Kołodziej. Los pasos metodológicos centrales incluyen:

• Aproximación de los datos: Los datos $L^1$ $f$ son aproximados por una secuencia creciente de funciones acotadas $f_j = \min(f, j)$. Para cada $f_j$, existe una solución única $u_j$ en la clase de energía $\mathcal{E}_m^0(\Omega)$.
• Control de masa uniforme: El autor establece que la masa total de Hessian $\int_\Omega H_m(u_j)$ está uniformemente acotada por $\int_\Omega f \beta^n$, independientemente de $j$.
• Estimaciones de capacidad: Utilizando la estimación de capacidad $\text{Cap}_m(\{u < -t\}) \le t^{-m} \int_\Omega H_m(u)$, el autor demuestra que la secuencia de soluciones $\{u_j\}$ es uniformemente compacta con respecto a la capacidad $m$-Hessian. Esto asegura la compacidad y la convergencia en capacidad hacia un límite $u$.
• Truncamiento y continuidad absoluta: Un ingrediente técnico clave es el Lema 2.1, que proporciona una forma cuantitativa de la continuidad absoluta de la medida de Hessian con respecto a la capacidad $m$-Hessian. Específicamente, para cualquier conjunto de Borel $E$ y $t > 0$:
  $$H_m(u)(E) \le \int_{\{u < -t\}} H_m(u) + t^m \text{Cap}_m(E, \Omega)$$
  Esta desigualdad permite controlar la medida en conjuntos donde la diferencia de potencial es grande, dividiendo el dominio en un "conjunto de subnivel profundo" (controlado por la masa) y un "conjunto de capacidad" (controlado por la convergencia en capacidad).

3. Contribuciones clave y resultados

A. Existencia y Unicidad (Sección 4)

El artículo recuerda y formaliza la existencia de una solución débil única $u \in \mathcal{F}_m(\Omega)$ para el problema de Dirichlet con datos $L^1$. Esto se logra tomando el límite de la secuencia aproximante $u_j$ y utilizando el teorema de convergencia monótona para el operador de Hessian complejo.

B. Estabilidad en Capacidad (Sección 4)

El autor confirma que si $f_j \to f$ en $L^1(\Omega)$, las soluciones correspondientes $u_j$ convergen a $u$ en capacidad $m$-Hessian. Este resultado se basa en el principio de comparación y la convergencia $L^1$ de las densidades, evitando la necesidad de funciones de prueba no admisibles.

C. Convergencia Fuerte en Energía (Sección 5 - Resultado Principal)

La contribución central del artículo es el Teorema 5.1, el cual establece un resultado de estabilidad fuerte en la topología de energía natural. El autor demuestra que si $f_j \to f$ en $L^1(\Omega)$, entonces:
$$\int_\Omega |u_j - u| H_m(u_j) \longrightarrow 0$$
Esta convergencia es significamente más fuerte que la convergencia en capacidad. Implica que las medidas no lineales $H_m(u_j)$ interactúan adecuadamente con la convergencia de los potenciales.

La estrategia de la prueba implica dividir la integral $\int |u_j - u| H_m(u_j)$ en dos partes basadas en un umbral $\delta$:

1. Región de diferencia pequeña: Controlada por la cota uniforme de la masa total.
2. Región de diferencia grande: Controlada combinando la convergencia en capacidad (que hace que la capacidad del conjunto $\{|u_j - u| > \delta\}$ sea pequeña) con el lema de continuidad absoluta cuantitativa (Lema 2.1) y el control uniforme de los conjuntos de subnivel (Lema 3.2).

D. Extensión a Datos de Medida (Sección 6)

El resultado de convergencia fuerte se extiende a secuencias de medidas de Radon no negativas $\mu_j$ con masa uniformemente acotada que convergen débilmente a $\mu$. La misma convergencia fuerte $\int_\Omega |u_j - u| H_m(u_j) \to 0$ se mantiene en este entorno.

4. Significado y Pretensiones

El artículo posiciona su resultado principal como una extensión de caso límite de las teorías de estabilidad conocidas:

• Comparación con Monge-Ampère: En el caso de Monge-Ampère compleja ($m=n$), los resultados de estabilidad fuerte para datos $L^1$ son conocidos (por ejemplo, por Benelkourchi–Guedj–Zeriahi, Liu–Zhang). Este artículo establece el análogo de Hessian de estos resultados para $1 \le m < n$.
• Superación de Limitaciones Estructurales: El autor señala que el operador de Hessian carece del marco de monotonía fuerte y de comparación completa disponible en el caso de Monge-Ampère ($m=n$). Por consiguiente, los argumentos utilizados en el entorno $m=n$ no se transfieren directamente. El artículo demuestra que la convergencia fuerte aún puede lograrse combinando cuidadosamente la convergencia de capacidad, el control de subniveles uniformes y la continuidad absoluta cuantitativa de las medidas de Hessian.
• Novedad: Según el conocimiento del autor, un resultado de convergencia de energía fuerte para ecuaciones de Hessian compleja con lados derechos meramente integrables no había sido establecido explícitamente en la literatura antes de este trabajo.

El artículo concluye que este resultado proporciona un "fortalecimiento sustancial" de la convergencia conocida en capacidad, ofreciendo un marco más robusto para analizar el comportamiento de las soluciones cuando los datos de la fuente están solo en $L^1$.