On weak inverse mean curvature flow and Minkowski-type inequalities in hyperbolic space

Resumo Técnico: Fluxo de Curvatura Média Inversa Fraco e Desigualdades do Tipo Minkowski no Espaço Hiperbólico

Enunciado do Problema
O artigo aborda o comportamento de longo prazo e a regularidade do Fluxo de Curvatura Média Inversa (IMCF) no espaço hiperbólico $\mathbb{H}^n$ ($3 \le n \le 7$). Embora o IMCF seja uma ferramenta poderosa para provar desigualdades geométricas (como as desigualdades de Minkowski e Penrose), sua aplicação no espaço hiperbólico é obstruída pela falta de um "lema de blow-down" que existe no espaço euclidiano. Em $\mathbb{R}^n$, soluções fracas para o IMCF são conhecidas por se aproximarem assintoticamente de esferas redondas, uma propriedade crucial para estabelecer a monotonicidade de funcionais geométricos. Em $\mathbb{H}^n$, soluções suaves podem não se tornar redondas conforme $t \to \infty$, e a topologia assintótica das soluções fracas era anteriormente incerta. Além disso, as desigualdades de Minkowski existentes em $\mathbb{H}^n$ eram restritas a domínios suaves, estrelados ou convexos em média, deixando sem resolução o caso de domínios suaves arbitrários (que podem não ser inicialmente estrelados).

Metodologia
O autor utiliza uma combinação de técnicas de análise geométrica, centradas principalmente em um método de reflexão de Alexandrov adaptado ao cenário hiperbólico.

1. Reflexão de Alexandrov via Inversão Esférica:
   Ao contrário do método do plano móvel euclidiano, que utiliza reflexões através de hiperplanos, o autor utiliza inversões através de esferas no modelo do balão de Poincaré em $\mathbb{H}^n$. Ao estabelecer um princípio de comparação para soluções fracas sob essas inversões, o artigo demonstra que, se o domínio inicial $\Omega_0$ estiver contido dentro de uma bola de raio $r_+$, as superfícies do fluxo fraco evoluídas $\Sigma_t$ eventualmente escapam de uma região específica e tornam-se estreladas.

2. Regularidade via Aproximação:
   A prova aproveita o fato de que, para $3 \le n \le 7$, superfícies de IMCF fraco são hipersuperfícies $C^{1,\alpha}$ com curvatura média fraca limitada. O autor invoca um teorema de Li e Wei [25], que afirma que um domínio $C^1$ estrelado com curvatura média não negativa pode servir como dados iniciais para um IMCF clássico (suave). Isso preenche a lacuna entre a solução fraca (que pode ter saltos ou singularidades inicialmente) e uma solução suave para tempos longos.

3. Monotonicidade de Funcionais Geométricos:
   Para derivar desigualdades de Minkowski, o artigo analisa a evolução de funcionais específicos sob o fluxo fraco.

   • Desigualdade de Heintze-Karcher: O autor estende a desigualdade de Heintze-Karcher para hipersuperfícies $C^1$ com curvatura média fraca limitada, aproximando-as via Fluxo de Curvatura Média (MCF).
   • Estimativas de Volume e Superfície: O crescimento do termo de volume ($\int_{\Omega_t} f d\Omega$) e do termo de integral de superfície ($\int_{\Sigma_t} fH d\sigma$) são estimados separadamente. O crescimento do termo de volume é tratado via fórmula de coárea para funções Lipschitz, enquanto o termo de superfície é analisado usando aproximações elipticamente regularizadas ($u_\epsilon$) e técnicas de Freire-Schwartz e Wei.

Principais Contribuições e Resultados

1. Teorema de Regularidade (Teorema 1.1):
   O artigo prova que, para qualquer domínio inicial limitado $\Omega_0 \subset \mathbb{H}^n$ ($3 \le n \le 7$), a solução de IMCF fraca própria $\{\Omega_t\}$ torna-se estrelada e suave após um tempo explícito $T$:
   $$T = (n-1) \log \left( \frac{\sinh(r_+)}{\sinh(r_-)} \right)$$
   onde $r_+$ e $r_-$ são o raio externo e o raio interno geodésicos de $\Omega_0$. Além do tempo $T$, o fluxo está livre de "saltos" e constitui uma solução clássica. Isso resolve a incerteza em relação à topologia assintótica do IMCF fraco no espaço hiperbólico.

2. Desigualdades de Minkowski Ótimas (Teorema 1.2):
   Usando o resultado de regularidade, o autor deriva desigualdades de Minkowski ótimas para domínios suaves arbitrários em $\mathbb{H}^n$ ($3 \le n \le 7$). Essas desigualdades generalizam resultados anteriores de Brendle-Hung-Wang e De Lima-Girao, que exigiam que o domínio fosse estrelado ou convexo em média:
   $$\frac{1}{(n-1)w_{n-1}} \int_{\Sigma_0} |fH| d\sigma \ge \left( \frac{|\Sigma_0^+|}{w_{n-1}} \right)^{\frac{n-2}{n-1}} + \frac{n}{w_{n-1}} \int_{\Omega_0^+} f d\Omega$$
   A igualdade ocorre se, e somente se, a fronteira for uma esfera geodésica (uma fatia de $\mathbb{H}^n$).

3. Rigidez de Soluções Antigas (Teorema 1.4):
   As estimativas de gradiente derivadas para o fluxo estrelado implicam um resultado de rigidez: a única solução fraca própria para o IMCF em $\mathbb{H}^n \setminus \{0\}$ é a solução da esfera em expansão. Consequentemente, a esfera em expansão é a única solução suave antiga embebida que converge para um ponto conforme $t \to -\infty$.

4. Desigualdade de Penrose para Gráficos Balanceados (Corolário 1.3):
   Os resultados estendem a Desigualdade de Penrose Riemanniana para gráficos assintoticamente hiperbólicos balanceados sobre os exteriores de domínios minimizantes externos em $\mathbb{H}^n$. O artigo remove o requisito anterior de que o domínio subjacente deva ser estrelado, exigindo apenas que seja minimizante externo.

Significância
O artigo afirma que sua principal significância reside em superar a obstrução causada pela falta de um lema de blow-down no espaço hiperbólico. Ao provar que as soluções de IMCF fraco eventualmente se tornam suaves e estreladas, o autor permite a aplicação de argumentos de monotonicidade (previamente restritos a casos suaves ou estrelados) a domínios suaves arbitrários. Isso permite a extensão de desigualdades geométricas fundamentais (Minkowski e Penrose) para uma classe muito mais ampla de dados iniciais na geometria hiperbólica, especificamente para dimensões $3 \le n \le 7$. O trabalho também fornece uma classificação completa do IMCF fraco próprio em $\mathbb{H}^n \setminus \{0\}$, caracterizando as esferas em expansão como a solução única deste tipo.