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

1. Problématique et Contexte

L'article s'inscrit dans l'étude des inégalités universelles pour les valeurs propres du Laplacien de Dirichlet sur des variétés riemanniennes. Soit $(M^n, g)$ une variété riemannienne complète et $\Omega \subset M$ un domaine borné connexe. Le problème aux valeurs propres est défini par :
$$\begin{cases} \Delta u = -\lambda u & \text{dans } \Omega \\ u|_{\partial \Omega} = 0 \end{cases}$$
où $0 < \lambda_1 < \lambda_2 \le \lambda_3 \le \dots$ sont les valeurs propres successives.

Le contexte historique inclut les travaux fondateurs de Payne, Pólya et Weinberger (1956), Hile et Protter (1980), et surtout l'inégalité universelle tranchante de Yang (1991) pour les domaines de l'espace euclidien $\mathbb{R}^n$. Pour l'espace hyperbolique $\mathbb{H}^n(-1)$, Cheng et Yang (2009) ont établi une inégalité similaire, mais avec un coefficient de 4 devant le terme de somme, alors que la conjecture de Cheng (2017) postule que ce coefficient devrait être optimisé à $4/n$, ce qui correspondrait à la limite asymptotique de Weyl.

Le problème central abordé par l'auteur est de vérifier la conjecture de Cheng pour l'espace hyperbolique, en particulier de réduire le coefficient de l'inégalité de 4 vers $4/n$ pour certains types de domaines, en utilisant de nouvelles fonctions tests.

2. Méthodologie

L'auteur utilise une approche basée sur la géométrie conforme et l'inégalité générale de Cheng-Yang pour les valeurs propres du Laplacien.

• Cadre géométrique : L'espace hyperbolique $\mathbb{H}^n(-1)$ est modélisé par le demi-espace de Poincaré $\mathbb{R}^n_+$ avec la métrique $g = \frac{1}{x_n^2}(dx_1^2 + \dots + dx_n^2)$.
• Outil principal : L'inégalité de Cheng-Yang (Proposition 3.1) qui relie les écarts de valeurs propres à des intégrales impliquant une fonction test $f$ et les fonctions propres $u_i$ :
  $$\sum_{i=1}^k (\lambda_{k+1} - \lambda_i)^2 \|\nabla f \cdot u_i\|^2 \le \sum_{i=1}^k (\lambda_{k+1} - \lambda_i) \|2\nabla f \cdot \nabla u_i + u_i \Delta f\|^2$$
• Stratégie des fonctions tests : La nouveauté réside dans le choix astucieux de fonctions tests $f$ adaptées à la métrique hyperbolique pour minimiser les termes d'erreur et optimiser les coefficients.
  • Pour le Théorème 1.2, l'auteur choisit des fonctions linéaires $f_p = x_p$ ($p=1, \dots, n-1$) et une fonction logarithmique $f_n = \ln x_n$.
  • Pour le Théorème 1.4, afin d'approcher davantage la conjecture, l'auteur introduit des fonctions non linéaires $f_p = \text{arcsinh}(x_p/x_n)$ pour $p=1, \dots, n-1$, combinées à $f_n = \ln x_n$.

3. Résultats Principaux

L'article établit deux théorèmes majeurs et un corollaire :

A. Amélioration de l'inégalité existante (Théorème 1.2)

En utilisant les fonctions tests $x_p$ et $\ln x_n$, l'auteur prouve que pour tout domaine borné $\Omega \subset \mathbb{H}^n(-1)$, les valeurs propres satisfont :
$$\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)$$
où $\rho_{\max} = \max_{\Omega} \frac{1}{x_n^2}$ et $\rho_{\min} = \min_{\Omega} \frac{1}{x_n^2}$.

• Amélioration : Ce résultat améliore le théorème précédent de Luo et Zheng (2026) qui contenait un terme constant moins favorable ($\frac{n^2-2n-4}{4}$ au lieu de $\frac{(n-1)^2}{4}$).

B. Vérification de la conjecture de Cheng avec perte $\epsilon$ (Corollaire 1.3)

Si le domaine $\Omega$ est tel que le rapport $\frac{\rho_{\max}}{\rho_{\min}} \le 1 + \epsilon$ (c'est-à-dire que le domaine est "presque" homogène par rapport à la coordonnée $x_n$), alors l'inégalité devient :
$$\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)$$
Ceci confirme la conjecture de Cheng (coefficient $4/n$) à un facteur $(1+\epsilon)$ près pour une classe de domaines.

C. Vérification pour une autre classe de domaines (Théorème 1.4)

En utilisant les fonctions tests $f_p = \text{arcsinh}(x_p/x_n)$, l'auteur démontre que pour tout $\epsilon > 0$ (avec des contraintes sur $\epsilon$ selon la dimension $n$), si le domaine satisfait une condition géométrique spécifique impliquant les rapports $\frac{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}$$
alors la même inégalité avec le coefficient $4(1+\epsilon)/n$ est vérifiée. Cela élargit la classe de domaines pour lesquels la conjecture est presque vraie.

4. Signification et Impact

• Optimisation des bornes spectrales : Ce travail représente une avancée significative dans la théorie spectrale des variétés à courbure négative. Il rapproche les inégalités universelles connues pour l'espace hyperbolique de la borne optimale conjecturée (analogue à celle de l'espace euclidien).
• Raffinement de la conjecture de Cheng : Bien que la conjecture ne soit pas prouvée dans sa forme absolue pour tous les domaines, l'article la valide pour des classes importantes de domaines avec une erreur arbitrairement petite ($\epsilon$), ce qui est un résultat fort en analyse spectrale.
• Innovation technique : L'utilisation de fonctions tests non triviales (comme l'arcsinus hyperbolique) combinée à des estimations fines via l'inégalité de Cauchy-Schwarz pondérée démontre une nouvelle méthode puissante pour traiter les problèmes de valeurs propres sur les variétés conformes.
• Référence pour les travaux futurs : Les résultats fournissent un cadre plus précis pour l'étude du spectre du Laplacien sur l'espace hyperbolique et ouvrent la voie à de nouvelles recherches sur la géométrie des domaines optimisant ces inégalités.

En résumé, Yong Luo parvient à améliorer les inégalités existantes pour le Laplacien de Dirichlet sur l'espace hyperbolique et apporte une preuve quasi-complète de la conjecture de Cheng pour des domaines spécifiques, consolidant ainsi le lien entre la géométrie du domaine et le comportement asymptotique de son spectre.