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

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio delle disuguaglianze universali per gli autovalori del Laplaciano di Dirichlet su varietà Riemanniane.
Sia $(M^n, g)$ una varietà Riemanniana completa e $\Omega \subset M$ un dominio limitato e connesso. Si consideri il problema agli autovalori:
$$\begin{cases} \Delta u = -\lambda u & \text{in } \Omega \\ u|_{\partial \Omega} = 0 \end{cases}$$
con autovalori $0 < \lambda_1 < \lambda_2 \le \lambda_3 \le \dots$.

L'obiettivo è trovare disuguaglianze che legano gli autovalori consecutivi (in particolare $\lambda_{k+1}$ e $\lambda_1, \dots, \lambda_k$) senza fare ipotesi specifiche sulla geometria del dominio $\Omega$ oltre alla sua dimensione.

• Storia: Il campo è stato avviato da Payne, Pólya e Weinberger (1956) per lo spazio euclideo $\mathbb{R}^n$. Successivamente, Yang (1991) ha stabilito una disuguaglianza universale sharp per $\mathbb{R}^n$.
• Spazio Iperbolico: Per lo spazio iperbolico $\mathbb{H}^n(-1)$, Cheng e Yang (2009) hanno dimostrato una disuguaglianza con un coefficiente di 4 a destra. Tuttavia, basandosi sulla formula asintotica di Weyl e su formule di ricorsione, si sospetta che il coefficiente ottimale dovrebbe essere $4/n$.
• La Congettura: Cheng ha formulato la congettura che per $\mathbb{H}^n(-1)$ valga:
  $$\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)$$
  Il paper mira a verificare questa congettura, o almeno a migliorarne i risultati esistenti, per specifici tipi di domini.

2. Metodologia

L'autore utilizza un approccio basato sulla geometria conforme e sulla costruzione di nuove funzioni di prova all'interno della disuguaglianza generale di Cheng-Yang.

• Strumenti Matematici:

  • Disuguaglianza di Cheng-Yang: Si parte da una disuguaglianza fondamentale che lega gli autovalori a funzioni di prova $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$$
  • Metrica Conforme: Lo spazio iperbolico è trattato come una varietà conformemente piatta (modello del semispazio superiore di Poincaré): $g = \frac{1}{x_n^2}(dx_1^2 + \dots + dx_n^2)$.
  • Trasformazioni: Vengono utilizzate le formule di trasformazione del gradiente e del Laplaciano sotto una trasformazione conforme $g = e^{2h}g_0$.

• Strategia delle Funzioni di Prova:
  L'autore sceglie funzioni di prova specifiche per sfruttare la struttura della metrica iperbolica:

  1. Per il Teorema 1.2: Si scelgono $f_p = x_p$ (per $p=1, \dots, n-1$) e $f_n = \ln x_n$.
  2. Per il Teorema 1.4: Si scelgono funzioni più complesse $f_p = \text{arcsinh}(x_p/x_n)$ per gestire domini con condizioni geometriche diverse, permettendo di controllare i termini di errore tramite una costante $\epsilon$.

3. Risultati Principali

Il paper presenta tre risultati fondamentali:

A. Miglioramento del Teorema precedente (Teorema 1.2)

Luo dimostra una nuova disuguaglianza per domini limitati nello spazio iperbolico $\mathbb{H}^n(-1)$:
$$\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)$$
dove $\rho_{\max} = \max_{\Omega} \frac{1}{x_n^2}$ e $\rho_{\min} = \min_{\Omega} \frac{1}{x_n^2}$.

• Significato: Questo risultato migliora il lavoro precedente di Luo e Zheng (2026), che aveva un termine costante interno errato ($n^2-2n-4$ invece di $(n-1)^2$). Il nuovo termine costante $(n-1)^2/4$ è quello previsto dalla congettura di Cheng.

B. Verifica della Congettura di Cheng con perdita $\epsilon$ (Corollario 1.3)

Se il dominio $\Omega$ è tale che il rapporto tra il massimo e il minimo della funzione di scala $\frac{1}{x_n^2}$ è vicino a 1 (cioè $\frac{\rho_{\max}}{\rho_{\min}} \le 1+\epsilon$), allora la disuguaglianza di Cheng è verificata con un fattore $(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)$$
Ciò conferma la congettura per domini "quasi omogenei" rispetto alla coordinata $x_n$.

C. Verifica per una seconda classe di domini (Teorema 1.4)

Utilizzando le funzioni di prova basate su $\text{arcsinh}$, l'autore verifica la congettura (con perdita $\epsilon$) per un'altra classe di domini limitati che soddisfano una condizione geometrica specifica:
$$\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}$$
Sotto questa condizione, vale la disuguaglianza con il coefficiente $4(1+\epsilon)/n$.

4. Contributi Chiave e Significato

1. Ottimizzazione del termine costante: Il lavoro corregge e migliora i risultati precedenti sostituendo il termine costante errato con quello corretto $(n-1)^2/4$, che è essenziale per la coerenza con la formula asintotica di Weyl e la congettura di Cheng.
2. Avanzamento verso la Congettura di Cheng: Sebbene non dimostri la congettura per tutti i domini limitati, il paper la verifica per due classi significative di domini (quelli con variazione limitata della metrica conforme e quelli con una specifica restrizione geometrica delle coordinate), riducendo il divario verso la prova generale.
3. Nuove Tecniche di Prova: L'uso di funzioni di prova non lineari ($\ln x_n$ e $\text{arcsinh}(x_p/x_n)$) dimostra una nuova strategia efficace per gestire le complessità della curvatura negativa nello spazio iperbolico, offrendo strumenti potenzialmente applicabili ad altri problemi spettrali su varietà non euclidee.
4. Impatto sulla Ricerca: Il risultato è un passo fondamentale nella teoria degli autovalori universali, chiudendo il gap tra le stime note e la congettura ottimale per lo spazio iperbolico, un caso di studio cruciale nella geometria differenziale e nell'analisi spettrale.

In sintesi, il paper fornisce un avanzamento tecnico sostanziale nella comprensione dello spettro del Laplaciano nello spazio iperbolico, confermando parzialmente una congettura aperta e fornendo nuove disuguaglianze più precise per domini specifici.