Improved lower bounds for Dirichlet eigenvalues of the Laplacian and poly-Laplacian on bounded Euclidean domains

1. Énoncé du problème

L'article aborde le problème de l'établissement de bornes inférieures précises pour les sommes moyennes des valeurs propres de Dirichlet de deux opérateurs fondamentaux sur des domaines bornés $\Omega \subset \mathbb{R}^n$ :

1. Le Laplacien ($\Delta$) : Résolution de $-\Delta u = \lambda u$ avec des conditions aux limites de Dirichlet ($u=0$ sur $\partial\Omega$).
2. Le Poly-Laplacien ($(-\Delta)^l$) : Résolution de $(-\Delta)^l \bar{u} = \Lambda \bar{u}$ avec des conditions aux limites de Dirichlet d'ordre supérieur ($\bar{u} = \partial_\nu \bar{u} = \dots = \partial_\nu^{l-1} \bar{u} = 0$ sur $\partial\Omega$).

L'objectif est d'améliorer les inégalités existantes, notamment l'inégalité de Berezin-Li-Yau et ses affinements ultérieurs par Melas, Ji-Xu, et d'autres. Les auteurs visent à dériver des bornes qui capturent davantage de termes positifs dans le développement asymptotique, se rapprochant ainsi de la Conjecture de Pólya (qui postule que $\lambda_k \geq C_n k^{2/n}$).

2. Méthodologie

Les auteurs emploient une version affinée de la méthode de Li-Yau, qui utilise l'analyse de Fourier et les inégalités de réarrangement. La méthodologie centrale implique :

• Transformée de Fourier et théorème de Plancherel : Transformation du problème de valeurs propres dans le domaine fréquentiel. La somme des valeurs propres est liée à l'intégrale de $|\xi|^2$ (ou $|\xi|^{2l}$) pondérée par la fonction spectrale $F(\xi) = \sum |f_j(\xi)|^2$.
• Réarrangement radial : Remplacement de la fonction spectrale $F(\xi)$ par son réarrangement radial décroissant $F^*(\xi) = \phi(|\xi|)$. Cela permet de réduire le problème à l'estimation d'intégrales de la forme $\int s^{n-1}\phi(s) ds$ et $\int s^{n+1}\phi(s) ds$.
• Innovation clé : Développements de polynômes binaires :
  La contribution technique centrale est la dérivation d'développements exacts pour des polynômes binaires spécifiques qui surgissent dans le processus d'estimation. Les travaux antérieurs (par exemple, Melas, Ji-Xu) fournissaient des bornes inférieures pour ces polynômes en ne capturant qu'un sous-ensemble de leurs termes positifs.
  • Pour le Laplacien, les auteurs analysent $P(s, \tau) = n s^{n+2} - (n+2)\tau^2 s^n + 2\tau^{n+2}$.
  • Pour le Poly-Laplacien, ils analysent $P_1(s, \tau, d) = n s^{n+l} - (n+l)\tau^l s^n + l \tau^{n+l}$.
  • Au lieu de borner ces expressions par une seule terme, les auteurs prouvent des identités exactes (Lemmes 2.2 et 3.3) qui décomposent ces polynômes en sommes de termes non négatifs impliquant $(\tau-s)^2$.
• Optimisation : En utilisant le développement complet de ces polynômes, les auteurs dérivent des bornes inférieures plus précises pour les intégrales impliquant la fonction réarrangée $\phi(s)$, conduisant à des estimations de valeurs propres améliorées.

3. Contributions clés

A. Avancée théorique en analyse polynomiale

L'article établit que les bornes inférieures précédentes pour les polynômes binaires critiques étaient sous-optimales car elles ignoraient certains termes positifs dans le développement. Les auteurs prouvent que :
$$n s^{n+2} - (n+2)\tau^2 s^n + 2\tau^{n+2} = \sum_{k=1}^n 2k s^{k-1}\tau^{n-k+1}(\tau-s)^2 + n(\tau-s)^2 s^n$$
Cette identité permet de capturer tous les termes positifs, rendant les bornes de valeurs propres résultantes « optimales » dans le sens de cette approche analytique spécifique.

B. Bornes inférieures améliorées pour le Laplacien

Les auteurs prouvent le Théorème 2.1, qui fournit une nouvelle borne inférieure pour la somme moyenne des valeurs propres du Laplacien :
$$\frac{1}{k}\sum_{i=1}^k \lambda_i \geq \frac{4\pi^2}{(\omega_n V)^{2/n}} k^{2/n} - \frac{S_{n+1}}{(n+1)\rho^n} \omega_n^{\frac{n-2}{n}} \alpha^{\frac{(n+2)(n-1)}{n}} k^{\frac{2-n}{n}} + c_1 \frac{n S_{n+3}}{(n+2)(n+3)\rho^{n+2}} \omega_n \alpha^{n+3} k^{-1}$$

• Signification : Cela améliore le résultat de 2020 de Ji et Xu (Éq. 1.8) et l'inégalité de Melas (Éq. 1.4).
• Corollaire 2.4 : Ils dérivent une version plus précise de l'inégalité de Melas avec une constante $\bar{c}_n$ plus grande, prouvant $\bar{c}_n > \frac{1}{24(n+2)}$.

C. Bornes inférieures améliorées pour le Poly-Laplacien

Les auteurs étendent leur méthode au Poly-Laplacien, prouvant le Théorème 3.1. Cela fournit une borne inférieure plus précise pour la somme des valeurs propres $\Lambda_i$ du Poly-Laplacien d'ordre $l$ :
$$\frac{1}{k}\sum_{i=1}^k \Lambda_i \geq \text{Terme de Weyl} + \text{Terme de correction}_1 - \text{Terme de correction}_2$$

• Signification : Ce résultat améliore le Théorème 4.1 dans [19] et le Théorème 1.2 dans [20] (Ji et Xu, 2025).
• Corollaire 3.5 : Ils fournissent une borne simplifiée spécifique impliquant un polynôme $Q(s)$, montrant que leur constante est strictement meilleure que les estimations précédentes (par exemple, $Q(1/5) \geq 5l/2$).

4. Résumé des principaux résultats

5. Importance

• Affinement de la Conjecture de Pólya : Bien que la conjecture de Pólya reste non prouvée pour des domaines généraux, ce travail rapproche les bornes inférieures de la limite asymptotique conjecturée. L'inclusion de plus de termes positifs dans le développement réduit l'« écart » entre la borne inférieure prouvée et la vraie somme des valeurs propres.
• Rigueur méthodologique : L'article démontre que la « méthode de Li-Yau » peut être poussée plus loin par une manipulation algébrique rigoureuse des polynômes sous-jacents, plutôt que de se fier uniquement à des inégalités grossières.
• Applications : Ces bornes améliorées sont cruciales pour comprendre la géométrie spectrale des domaines, avec des implications en physique (par exemple, la vibration de plaques modélisée par le Poly-Laplacien) et en physique mathématique.
• Généralisation : Les résultats unifient et améliorent une décennie de littérature (de 2010 à 2025) concernant les estimations de valeurs propres pour le Laplacien et les opérateurs d'ordre supérieur.

En conclusion, Ji et Luo ont optimisé avec succès les mécanismes analytiques utilisés pour dériver des bornes inférieures de valeurs propres, aboutissant aux inégalités les plus précises connues de type Berezin-Li-Yau pour le Laplacien et le Poly-Laplacien sur des domaines euclidiens bornés.