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

Resumen Técnico: Flujo de Curvatura Media Inversa Débil e Desigualdades de Tipo Minkowski en el Espacio Hiperbólico

Planteamiento del Problema
El artículo aborda el comportamiento a largo plazo y la regularidad del Flujo de Curvatura Media Inversa (IMCF, por sus siglas en inglés) en el espacio hiperbólico $\mathbb{H}^n$ ($3 \le n \le 7$). Si bien el IMCF es una herramienta poderosa para demostrar desigualdades geométricas (como las desigualdades de Minkowski y Penrose), su aplicación en el espacio hiperbólico se ve obstaculizada por la falta de un "lema de blow-down" que existe en el espacio euclídeo. En $\mathbb{R}^n$, se sabe que las soluciones débiles al IMCF se aproximan asintóticamente a esferas redondas, una propiedad crucial para establecer la monotonicidad de los funcionales geométricos. En $\mathbb{H}^n$, las soluciones suaves pueden no volverse redondas cuando $t \to \infty$, y la topología asintótica de las soluciones débiles era previamente incierta. Además, las desigualdades de Minkowski existentes en $\mathbb{H}^n$ estaban restringidas a dominios suaves, estrellados o convexos en media, dejando sin resolver el caso de dominios suaves arbitrarios (que pueden no ser estrellados inicialmente).

Metodología
El autor emplea una combinación de técnicas de análisis geométrico, centradas principalmente en un método de reflexión de Alexandrov adaptado al entorno hiperbólico.

1. Reflexión de Alexandrov mediante Inversión Esférica:
   A diferencia del método de planos móviles euclídeos que utiliza reflexiones a través de hiperplanos, el autor utiliza inversiones a través de esferas en el modelo de la bola de Poincaré de $\mathbb{H}^n$. Al establecer un principio de comparación para las soluciones débiles bajo estas inversiones, el artículo demuestra que si el dominio inicial $\Omega_0$ está contenido dentro de una bola de radio $r_+$, las superficies de flujo débil evolutivas $\Sigma_t$ eventualmente escapan de una región específica y se vuelven estrelladas (star-shaped).

2. Regularidad mediante Aproximación:
   La prueba aprovecha el hecho de que, para $3 \le n \le 7$, las superficies de IMCF débil son hipersuperficies $C^{1,\alpha}$ con curvatura media débil acotada. El autor invoca un teorema de Li y Wei [25], el cual establece que un dominio $C^1$ estrellado con curvatura media débil no negativa puede servir como datos iniciales para un IMCF clásico (suave). Esto cierra la brecha entre la solución débil (que puede tener saltos o singularidades inicialmente) y una solución suave para tiempos grandes.

3. Monotonicidad de Funcionales Geométricos:
   Para derivar las desigualdades de Minkowski, el artículo analiza la evolución de funcionales específicos bajo el flujo débil.

   • Desigualdad de Heintze-Karcher: El autor extiende la desigualdad de Heintze-Karcher a hipersuperficies $C^1$ con curvatura media débil acotada mediante la aproximación vía Flujo de Curvatura Media (MCF).
   • Estimaciones de Volumen y Superficie: El crecimiento del término de volumen ($\int_{\Omega_t} f d\Omega$) y el término de integral de superficie ($\int_{\Sigma_t} fH d\sigma$) se estiman por separado. El crecimiento del término de volumen se maneja mediante la fórmula de coárea para funciones Lipschitz, mientras que el término de superficie se analiza utilizando aproximaciones elípticamente regularizadas ($u_\epsilon$) y técnicas de Freire-Schwartz y Wei.

Contribuciones Clave y Resultados

1. Teorema de Regularidad (Teorema 1.1):
   El artículo demuestra que para cualquier dominio inicial acotado $\Omega_0 \subset \mathbb{H}^n$ ($3 \le n \le 7$), la solución de IMCF débil propia $\{\Omega_t\}$ se vuelve estrellada y suave después de un tiempo explícito $T$:
   $$T = (n-1) \log \left( \frac{\sinh(r_+)}{\sinh(r_-)} \right)$$
   donde $r_+$ y $r_-$ son el radio exterior geodésico y el radio interior de $\Omega_0$, respectivamente. Más allá del tiempo $T$, el flujo está libre de "saltos" y constituye una solución clásica. Esto resuelve la incertidumbre respecto a la topología asintótica del IMCF débil en el espacio hiperbólico.

2. Desigualdades de Minkowski Óptimas (Teorema 1.2):
   Utilizando el resultado de regularidad, el autor deriva desigualdades de Minkowski óptimas para dominios suaves arbitrarios en $\mathbb{H}^n$ ($3 \le n \le 7$). Estas desigualdades generalizan resultados previos de Brendle-Hung-Wang y De Lima-Girao, los cuales requerían que el dominio fuera estrellado o convexo en media:
   $$\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$$
   La igualdad se cumple si y solo si la frontera es una esfera geodésica (una sección de $\mathbb{H}^n$).

3. Rigidez de Soluciones Antiguas (Teorema 1.4):
   Las estimaciones de gradiente derivadas para el flujo estrellado implican un resultado de rigidez: la única solución débil propia al IMCF en $\mathbb{H}^n \setminus \{0\}$ es la solución de la esfera en expansión. Consecuentemente, la esfera en expansión es la única solución suave embebida antigua que converge a un punto cuando $t \to -\infty$.

4. Desigualdad de Penrose para Gráficos Balanceados (Corolario 1.3):
   Los resultados extienden la Desigualdad de Penrose Riemanniana a gráficos asintóticamente hiperbólicos balanceados sobre los exteriores de dominios minimizantes externos en $\mathbb{H}^n$. El artículo elimina el requisito previo de que el dominio subyacente sea estrellado, requiriendo únicamente que sea minimizante externo.

Significancia
El artículo afirma que su principal significancia radica en superar la obstrucción planteada por la falta de un lema de blow-down en el espacio hiperbólico. Al demostrar que las soluciones de IMCF débil eventualmente se vuelven suaves y estrelladas, el autor permite la aplicación de argumentos de monotonicidad (previamente restringidos a casos suaves o estrellados) a dominios suaves arbitrarios. Esto permite la extensión de desigualdades geométricas fundamentales (Minkowski y Penrose) a una clase mucho más amplia de datos iniciales en la geometría hiperbólica, específicamente para dimensiones $3 \le n \le 7$. El trabajo también proporciona una clasificación completa del IMCF débil propio en $\mathbb{H}^n \setminus \{0\}$, caracterizando a las esferas en expansión como la solución única de este tipo.