New inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space

A continuación presento un resumen técnico detallado del artículo "New inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space" (Nuevas desigualdades para los valores propios del Laplaciano de Dirichlet en el espacio hiperbólico), escrito por Yong Luo.

1. Planteamiento del Problema

El artículo se centra en el estudio de las desigualdades universales para los valores propios del Laplaciano de Dirichlet en variedades Riemannianas. Específicamente, el autor aborda el problema en el espacio hiperbólico $H^n(-1)$.

• Contexto: Dado un dominio acotado $\Omega$ en una variedad Riemanniana completa $(M^n, g)$, se consideran los valores propios $\lambda_i$ del problema:
  $$\begin{cases} \Delta u = -\lambda u & \text{en } \Omega \\ u|_{\partial \Omega} = 0 \end{cases}$$
  donde $0 < \lambda_1 < \lambda_2 \le \lambda_3 \le \dots$ son los valores propios sucesivos.
• Antecedentes: Se conoce la fórmula asintótica de Weyl y diversas desigualdades universales en el espacio euclidiano ($\mathbb{R}^n$) y en la esfera ($S^n$). En 2009, Cheng y Yang establecieron una desigualdad para el espacio hiperbólico, pero el coeficiente en el lado derecho no era óptimo (era 4 en lugar de $4/n$).
• La Conjetura: Cheng propuso una conjetura que sugiere que para el espacio hiperbólico, los valores propios deberían satisfacer una desigualdad con el coeficiente óptimo $4/n$, similar al caso euclidiano, pero ajustada por el término geométrico característico del espacio hiperbólico:
  $$\sum_{i=1}^k (\lambda_{k+1} - \lambda_i)^2 \le \frac{4}{n} \sum_{i=1}^k (\lambda_{k+1} - \lambda_i) \left( \lambda_i - \frac{(n-1)^2}{4} \right)$$
  El objetivo del artículo es verificar esta conjetura, o al menos acercarse a ella, para ciertos tipos de dominios.

2. Metodología

El autor emplea un enfoque analítico basado en la geometría conforme y la técnica de funciones de prueba desarrollada por Cheng y Yang.

• Modelo de Espacio: Se utiliza el modelo del semiespacio superior de Poincaré para $H^n(-1)$, con la métrica:
  $$g = \frac{dx_1^2 + \dots + dx_n^2}{x_n^2}$$
• Herramientas Principales:
  1. Transformación Conforme: Se utilizan fórmulas para cómo cambian el gradiente y el Laplaciano bajo una transformación de métrica $g = e^{2h}g_0$.
  2. Desigualdad General de Cheng-Yang: Se parte de una desigualdad fundamental que relaciona los valores propios con funciones de prueba $f \in C^3(M)$:
     $$\sum_{i=1}^k (\lambda_{k+1} - \lambda_i)^2 \|\nabla f\|^2 \le \sum_{i=1}^k (\lambda_{k+1} - \lambda_i) \|2\nabla f \cdot \nabla u_i + u_i \Delta f\|^2$$
• Estrategia de Prueba:
  • El autor selecciona nuevas funciones de prueba específicas para la geometría hiperbólica.
  • Para el Teorema 1.2, se eligen funciones lineales en las coordenadas horizontales ($f_p = x_p$) y una función logarítmica en la vertical ($f_n = \ln x_n$).
  • Para el Teorema 1.4, se introducen funciones basadas en el seno hiperbólico inverso ($f_p = \text{arcsinh}(x_p/x_n)$) para manejar dominios con formas geométricas más específicas.
  • Se realizan cálculos directos de los términos $\nabla f$, $\Delta f$ y sus productos escalares con las funciones propias $u_i$, integrando sobre el dominio $\Omega$.
  • Se aplican desigualdades de Cauchy-Schwarz y estimaciones sobre los máximos y mínimos de ciertas funciones en el dominio para acotar los términos residuales.

3. Contribuciones Clave y Resultados

El artículo presenta dos teoremas principales y una consecuencia directa que avanzan significativamente en la comprensión de las desigualdades espectrales en espacios hiperbólicos.

Teorema 1.2 (Mejora General)

El autor demuestra que para cualquier dominio acotado $\Omega$ en $H^n(-1)$, los valores propios satisfacen:
$$\sum_{i=1}^k (\lambda_{k+1} - \lambda_i)^2 \le \frac{\rho_{\max}}{\rho_{\min}} \frac{4}{n} \sum_{i=1}^k (\lambda_{k+1} - \lambda_i) \left( \lambda_i - \frac{(n-1)^2}{4} \right)$$
donde $\rho_{\max} = \max_{\Omega} \frac{1}{x_n^2}$ y $\rho_{\min} = \min_{\Omega} \frac{1}{x_n^2}$.

• Mejora: Este resultado mejora el trabajo anterior de Luo y Zheng (2023), que tenía un término constante incorrecto dentro del paréntesis ($n^2-2n-4$ en lugar de $(n-1)^2$). Al corregir este término, la desigualdad es más precisa y se acerca más a la conjetura de Cheng.

Corolario 1.3 (Verificación de la Conjetura con $\epsilon$)

Si el dominio $\Omega$ es tal que la relación entre el máximo y mínimo de la métrica es cercana a 1 (es decir, $\frac{\rho_{\max}}{\rho_{\min}} \le 1 + \epsilon$), entonces se verifica la conjetura de Cheng con una pérdida de un factor $(1+\epsilon)$:
$$\sum_{i=1}^k (\lambda_{k+1} - \lambda_i)^2 \le \frac{4(1+\epsilon)}{n} \sum_{i=1}^k (\lambda_{k+1} - \lambda_i) \left( \lambda_i - \frac{(n-1)^2}{4} \right)$$
Esto confirma la conjetura para dominios "casi homogéneos" en la dirección vertical del modelo de Poincaré.

Teorema 1.4 (Otra Clase de Dominios)

Mediante el uso de funciones de prueba diferentes (basadas en $\text{arcsinh}$), el autor verifica la conjetura con pérdida de $\epsilon$ para otra clase de dominios acotados que satisfacen una condición geométrica específica sobre la relación de las coordenadas $x_p/x_n$:
$$\max_{x \in \Omega} \sum_{p=1}^{n-1} \frac{(x_p/x_n)^2}{1 + (x_p/x_n)^2} \le \frac{\epsilon^2}{1+\epsilon}$$
Bajo esta condición, se obtiene la misma desigualdad óptima con el factor $(1+\epsilon)$.

4. Significado e Impacto

• Avance en la Conjetura de Cheng: El trabajo representa un paso crucial hacia la resolución de la conjetura de Cheng sobre las desigualdades universales en el espacio hiperbólico. Aunque no prueba la desigualdad exacta para todos los dominios, la demuestra para clases importantes de dominios con una desviación controlable ($\epsilon$).
• Optimalidad del Coeficiente: El artículo logra recuperar el coeficiente $4/n$, que es el esperado por analogía con el caso euclidiano y la fórmula asintótica de Weyl, corrigiendo el coeficiente subóptimo de trabajos previos.
• Corrección de Términos Geométricos: La corrección del término constante dentro de la desigualdad (de $n^2-2n-4$ a $(n-1)^2$) es fundamental, ya que $(n-1)^2/4$ es el valor propio del Laplaciano en el espacio hiperbólico completo, lo que da sentido geométrico a la desigualdad.
• Metodología: La introducción de nuevas funciones de prueba ($\text{arcsinh}$) demuestra la flexibilidad del método de Cheng-Yang y abre nuevas vías para estudiar espectros en variedades con curvatura negativa.

En resumen, el artículo proporciona nuevas cotas superiores más precisas para los valores propios del Laplaciano en el espacio hiperbólico, acercándose significativamente a la conjetura óptima propuesta por Cheng, y establece condiciones geométricas bajo las cuales dicha conjetura se cumple casi exactamente.