Weinstock inequality in hyperbolic space II

Resumen Técnico: Desigualdad de Weinstock en el Espacio Hiperbólico II

Planteamiento del Problema
Este artículo aborda el problema de optimización de la forma para el primer autovalor de Steklov no nulo, $\sigma_1(\Omega)$, en dominios acotados dentro del espacio hiperbólico $\mathbb{H}^n$ para dimensiones $n \ge 3$. Específicamente, los autores investigan la validez de una desigualdad de tipo Weinstock con restricción de perímetro. La cuestión central, formulada como la Conjetura 1 (Pregunta Abierta 4.27 en [13]), pregunta si, para un dominio convexo acotado $\Omega \subset \mathbb{H}^n$, el autovalor $\sigma_1(\Omega)$ es maximizado por una bola geodésica $\Omega^*$ que tenga la misma área de frontera ($\left|\partial \Omega^*\right| = \left|\partial \Omega\right|$). Mientras que se sabía que la conjetura se cumplía para $n=2$ (mediante técnicas de mapeo conforme de Fraser y Schoen [15]) y para el caso de restricción de volumen en dimensiones superiores (Binoy y Santhanam [5]), el caso de restricción de perímetro para $n \ge 3$ permanecía abierto. Los autores resolvieron previamente esto para $n \ge 4$ en [23]; este artículo extiende el resultado al caso crítico $n=3$ y proporciona una prueba unificada para todo $n \ge 3$ bajo la suposición de fronteras de curvatura media estrelladas.

Metodología
La estrategia de la prueba sintetiza varias herramientas geométricas y analíticas avanzadas:

1. Flujo de Curvatura Media Inversa (IMCF): Los autores utilizan el IMCF, introducido por Gerhardt [21], para evolucionar la frontera del dominio $\Sigma_t$. Este flujo preserva las propiedades de ser estrellado y de curvatura media positiva mientras expande el área de la superficie exponencialmente. Las ecuaciones de evolución para las cantidades geométricas a lo largo de este flujo se utilizan para establecer fórmulas de monotonicidad.
2. Trasplante de Masa Ponderada: Una innovación central de este trabajo es el desarrollo de un método de "trasplante de masa ponderada". El trasplante de masa estándar (Weinberger [44]) compara integrales sobre un dominio $\Omega$ y una bola geodésica $B(R)$ de igual volumen. Sin embargo, para dimensiones menores ($n=3, 4$), las funciones auxiliares específicas requeridas para la prueba carecen de monotonicidad global. Para superar esto, los autores introducen una variante ponderada (Teorema 4.8) inspirada en el principio de la Bañera (Bathtub principle), permitiendo la comparación de integrales que involucran funciones de peso no monótonas.
3. Funciones Auxiliares y Análisis Geométrico: Los autores definen una función específica de razón volumen-área $g(r)$ asociada con bolas geodésicas. Analizan rigurosamente las propiedades analíticas de $g(r)$ y sus derivadas, estableciendo que ciertas combinaciones de estas funciones (como $\lambda^2 g'/g$) son monótonas. Se construye una función auxiliar $h$, definida mediante la inversa de la integral de volumen de un término radial específico, para cerrar la brecha entre las integrales de frontera y la energía interior.
4. Caracterización Variacional: La cota superior para $\sigma_1(\Omega)$ se deriva del cociente de Rayleigh utilizando funciones de prueba cuidadosamente elegidas que involucran el centro de masa y la función $g(r)$.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.2): Los autores demuestran que para cualquier dominio acotado suave $\Omega \subset \mathbb{H}^n$ ($n \ge 3$) con una frontera estrellada de curvatura media positiva, y para una bola geodésica $\Omega^*$ con $\left|\partial \Omega^*\right| = \left|\partial \Omega\right|$, la desigualdad
  $$\sigma_1(\Omega) \le \sigma_1(\Omega^*)$$
  se cumple. La igualdad ocurre si y solo si $\Omega$ es una bola geodésica. Este resultado proporciona una respuesta afirmativa a la Conjetura 1 para dominios convexos (Corolario 1.4).
• Resolución del Caso $n=3$: El artículo aborda específicamente las dificultades analíticas que surgen en la dimensión $n=3$ (y $n=4$), donde los argumentos de monotonicidad estándar fallan. Al introducir el método de trasplante de masa ponderada, los autores extienden con éxito la desigualdad a estas dimensiones menores, completando la prueba para todo $n \ge 3$.
• Extensión a Autovalores Superiores (Corolario 1.6): Como subproducto de sus estimaciones, los autores establecen una desigualdad de tipo isoperimétrico para la media armónica de los primeros $n-1$ autovalores de Steklov no nulos. Demuestran que para dominios estrellados de curvatura media positiva,
  $$\sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega)} \ge \sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega^*)}$$
  con igualdad si y solo si $\Omega$ es una bola geodésica. Esto extiende la desigualdad isoperimétrica de Verma [42] al entorno hiperbólico.

Significancia y Reivindicaciones
El artículo afirma "resolver completamente" el problema de la desigualdad de Weinstock con restricción de perímetro en el espacio hiperbólico para dimensiones $n \ge 3$. Al cerrar la brecha para $n=3$ mediante la novedosa técnica de trasplante de masa ponderada, los autores proporcionan un marco unificado que confirma la rigidez de la bola geodésica como el único maximizador del primer autovalor de Steklov bajo restricciones de perímetro fijo en la geometría hiperbólica. El trabajo resuelve una pregunta abierta específica en geometría espectral (Pregunta Abierta 4.27 en [13]) y demuestra que, a diferencia de los espacios de curvatura positiva donde la rigidez suele fallar, los espacios de curvatura negativa como $\mathbb{H}^n$ exhiben una fuerte rigidez espectral para dominios convexos. La metodología, particularmente el trasplante de masa ponderada, se presenta como una herramienta para superar las obstrucciones analíticas causadas por la falta de monotonicidad global en dimensiones menores.