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

Com base no manuscrito fornecido, aqui está um resumo técnico detalhado do artigo "Stability and Strong Convergence for Complex Hessian Equations with $L^1$ Data" de Truong Dinh Dat.

1. Enunciado do Problema e Contexto

O artigo investiga as equações de Hessian complexa $m$ em domínios $m$-hiperconvexos limitados $\Omega \subset \mathbb{C}^n$. A equação específica sob estudo é:
$$(dd^c u)^m \wedge \beta^{n-m} = f \beta^n$$
onde $\beta = dd^c |z|^2$ é a forma Kähler padrão, $1 \le m \le n$, e os dados do lado direito $f$ pertencem a $L^1(\Omega)$.

O estudo situa-se entre a teoria potencial clássica ($m=1$) e a teoria potencial pluri ( $m=n$, a equação de Monge–Ampère complexa). Embora a existência e a estabilidade de soluções para dados em $L^p(\Omega)$ com $p > 1$ sejam bem estabelecidas (notadamente via estimativas $L^p$ de Kołodziej e trabalhos subsequentes de Dinew, Kołodziej e outros), o caso de dados meramente integráveis ($f \in L^1$) permanece menos compreendido para equações de Hessian complexa ($1 \le m < n$).

Um desafio primário é que a convergência padrão em capacidade $m$-Hessiana, embora conhecida por ocorrer para dados $L^1$, é uma topologia relativamente fraca. A convergência em capacidade não garante a convergência das medidas não lineares associadas $H_m(u_j)$, nem controla a interação entre os potenciais e suas medidas de Hessian.

2. Metodologia

O autor emprega uma combinação de técnicas de aproximação, estimativas de energia uniforme e argumentos de capacidade refinados adaptados da teoria de Cegrell e dos métodos de Kołodziej. Os passos metodológicos centrais incluem:

• Aproximação de Dados: O dado $L^1$ $f$ é aproximado por uma sequência crescente de funções limitadas $f_j = \min(f, j)$. Para cada $f_j$, existe uma solução única $u_j$ na classe de energia $\mathcal{E}_m^0(\Omega)$.
• Controle de Massa Uniforme: O autor estabelece que a massa total de Hessian $\int_\Omega H_m(u_j)$ é uniformemente limitada por $\int_\Omega f \beta^n$, independentemente de $j$.
• Estimativas de Capacidade: Usando a estimativa de capacidade $\text{Cap}_m(\{u < -t\}) \le t^{-m} \int_\Omega H_m(u)$, o autor prova que a sequência de soluções $\{u_j\}$ é uniformemente apertada (tight) em relação à capacidade $m$-Hessiana. Isso garante compacidade e convergência em capacidade para um limite $u$.
• Truncamento e Continuidade Absoluta: Um ingrediente técnico fundamental é o Lema 2.1, que fornece uma forma quantitativa da continuidade absoluta da medida de Hessian em relação à capacidade $m$-Hessiana. Especificamente, para qualquer conjunto de Borel $E$ e $t > 0$:
  $$H_m(u)(E) \le \int_{\{u < -t\}} H_m(u) + t^m \text{Cap}_m(E, \Omega)$$
  Esta desigualdade permite o controle da medida em conjuntos onde a diferença de potencial é grande, dividindo o domínio em um "conjunto de nível inferior profundo" (controlado pela massa) e um "conjunto de capacidade" (controlado pela convergência em capacidade).

3. Contribuições Principais e Resultados

A. Existência e Unicidade (Seção 4)

O artigo recorda e formaliza a existência de uma solução fraca única $u \in \mathcal{F}_m(\Omega)$ para o problema de Dirichlet com dados $L^1$. Isso é alcançado tomando o limite da sequência aproximante $u_j$ e utilizando o teorema da convergência monótona para o operador de Hessian complexa.

B. Estabilidade em Capacidade (Seção 4)

O autor confirma que, se $f_j \to f$ em $L^1(\Omega)$, as soluções correspondentes $u_j$ convergem para $u$ em capacidade $m$-Hessiana. Este resultado baseia-se no princípio de comparação e na convergência $L^1$ das densidades, evitando a necessidade de funções de teste não admissíveis.

C. Convergência Forte em Energia (Seção 5 - Resultado Principal)

A contribuição central do artigo é o Teorema 5.1, que estabelece um resultado de estabilidade forte na topologia natural da energia. O autor prova que, se $f_j \to f$ em $L^1(\Omega)$, então:
$$\int_\Omega |u_j - u| H_m(u_j) \longrightarrow 0$$
Esta convergência é significativamente mais forte do que a convergência em capacidade. Ela implica que as medidas não lineares $H_m(u_j)$ interagem bem com a convergência dos potenciais.

A estratégia de prova envolve dividir a integral $\int |u_j - u| H_m(u_j)$ em duas partes baseadas em um limiar $\delta$:

1. Região de diferença pequena: Controlada pelo limite superior da massa total.
2. Região de diferença grande: Controlada pela combinação da convergência de capacidade (que torna a capacidade do conjunto $\{|u_j - u| > \delta\}$ pequena) com o lema de continuidade absoluta quantitativa (Lema 2.1) e o controle uniforme dos conjuntos de nível inferior (Lema 3.2).

D. Extensão para Dados de Medida (Seção 6)

O resultado de convergência forte é estendido para sequências de medidas de Radon não negativas $\mu_j$ com massa uniformemente limitada que convergem fracamente para $\mu$. A mesma convergência forte $\int_\Omega |u_j - u| H_m(u_j) \to 0$ ocorre neste cenário.

4. Significância e Alegações

O artigo posiciona seu principal resultado como uma extensão de caso limite das teorias de estabilidade conhecidas:

• Comparação com Monge–Ampère: No caso de Monge–Ampère complexa ($m=n$), resultados de estabilidade forte para dados $L^1$ são conhecidos (por exemplo, por Benelkourchi–Guedj–Zeriahi, Liu–Zhang). Este artigo estabelece o análogo de Hessian desses resultados para $1 \le m < n$.
• Superação de Limitações Estruturais: O autor observa que o operador de Hessian carece da total monotonicidade e do quadro de comparação forte disponíveis no caso de Monge–Ampère ($m=n$). Consequentemente, os argumentos usados no cenário $m=n$ não se transferem diretamente. O artigo demonstra que a convergência forte ainda pode ser alcançada combinando cuidadosamente a convergência de capacidade, o controle uniforme de conjuntos de nível inferior e a continuidade absoluta quantitativa das medidas de Hessian.
• Novidade: Tanto quanto é do conhecimento do autor, um resultado de convergência de energia forte para equações de Hessian complexa com lados direitos meramente integráveis não havia sido explicitamente estabelecido na literatura antes deste trabalho.

O artigo conclui que este resultado fornece um "fortalecimento substancial" da convergência conhecida em capacidade, oferecendo um arcabouço mais robusto para analisar o comportamento das soluções quando os dados de origem estão apenas em $L^1$.