Two new universal inequalities for Neumann eigenvalues of the Laplacian on a planar convex domain

1. Problématique et Contexte

L'article s'intéresse aux valeurs propres de Neumann du laplacien sur un domaine borné $\Omega$ dans l'espace euclidien $\mathbb{R}^n$. Le problème spectral est défini par :
$$\begin{cases} -\Delta u = \mu u & \text{dans } \Omega, \\ \partial_n u = 0 & \text{sur } \partial\Omega, \end{cases}$$
où $\partial_n$ désigne la dérivée directionnelle selon le vecteur normal unitaire sortant. Les valeurs propres, notées $0 = \mu_0(\Omega) < \mu_1(\Omega) \le \mu_2(\Omega) \le \dots$, forment une suite croissante tendant vers l'infini.

L'objectif principal de l'auteur est d'établir des inégalités universelles reliant deux valeurs propres quelconques $\mu_k$ et $\mu_l$ (avec $k \ge l$) spécifiquement pour les domaines convexes plans ($n=2$). Une inégalité est dite « universelle » si la constante de proportionnalité ne dépend ni de la dimension, ni de l'indice $k$, ni de la géométrie spécifique du domaine (au-delà de la convexité).

2. Méthodologie

La stratégie de preuve repose sur une réduction géométrique et l'utilisation de résultats préexistants en analyse spectrale et en géométrie convexe :

1. Réduction aux domaines rectangulaires :
   L'auteur utilise une variante de la monotonie du domaine (Théorème 2.2, basé sur [4]) combinée à un résultat d'approximation de Hatcher (Proposition 2.1). Ces outils permettent de montrer que pour un domaine convexe $\Omega$, les valeurs propres sont contrôlées par celles d'un domaine rectangulaire englobant (ou contenu) avec des constantes dépendant uniquement de la dimension. Ainsi, le problème se ramène à prouver les inégalités pour des rectangles.

2. Partitionnement du domaine :
   Pour établir les relations entre $\mu_k$ et $\mu_l$, l'auteur décompose le domaine rectangulaire $\Omega$ en un nombre fini de sous-domaines convexes $\{\Omega_i\}$.

   • Il définit un rayon $R$ proportionnel à la valeur propre cible (par exemple $R \sim \sqrt{\mu_k}$).
   • Il construit une partition telle que le diamètre de chaque sous-domaine soit borné par $R$ et que le nombre de sous-domaines soit contrôlé par l'indice spectral ($l$ ou $k$).

3. Outils analytiques clés :

   • Théorème de Buser (Théorème 2.6) : Fournit une borne inférieure pour $\mu_k(\Omega)$ en fonction du minimum des premières valeurs propres des sous-domaines de la partition : $\mu_k(\Omega) \ge \min_i \mu_1(\Omega_i)$.
   • Inégalité de Payne-Weinberger (Théorème 2.3) : Relie la première valeur propre d'un domaine convexe à son diamètre : $\mu_1(\Omega) \ge \frac{\pi^2}{(\text{Diam } \Omega)^2}$.
   • Inégalités de Kröger (Théorèmes 2.4 et 2.5) : Fournissent des bornes supérieures pour les valeurs propres en fonction du diamètre ou du volume, utilisées pour estimer la taille des partitions nécessaires.
   • Partition de Voronoi : Dans le cas où le domaine est « grand » par rapport au rayon $R$, l'auteur utilise des points séparés et les cellules de Voronoi associées pour créer une partition convexe.

3. Résultats Principaux

L'article établit deux nouveaux théorèmes majeurs pour tout domaine convexe borné $\Omega \subset \mathbb{R}^2$ :

Théorème 1.1 (Inégalité de croissance supérieure) :
Pour tout $k \ge l \ge 1$, on a :
$$\mu_k(\Omega) \lesssim \left(\frac{k}{l}\right)^2 \mu_l(\Omega)$$
Cela signifie que la croissance des valeurs propres est au plus quadratique par rapport au rapport des indices. Ce résultat unifie et généralise des inégalités connues (comme celle de Liu pour $l=1$) au cas plan.

Théorème 1.2 (Inégalité de croissance inférieure / Inverse) :
Pour tout $k \ge l \ge 1$, on a :
$$\mu_k(\Omega) \gtrsim \frac{k}{l} \mu_l(\Omega)$$
Ce théorème fournit une borne inférieure, généralisant un résultat antérieur de l'auteur (basé sur Milman et Cheng-Li) qui était valable pour $l=1$ en dimension $n$.

Théorème 4.1 (Preuve simplifiée d'une inégalité faible) :
En annexe, l'auteur propose une preuve courte et nouvelle (bien que donnant une constante moins optimale) de l'inégalité $\mu_{k+1}(\Omega) \lesssim n^7 \mu_k(\Omega)$ pour tout domaine convexe en dimension $n$. Cette preuve utilise la comparaison avec un tore plat et le théorème de P. Li sur les variétés homogènes.

4. Signification et Contribution

• Unification des résultats : Les théorèmes 1.1 et 1.2 unifient plusieurs inégalités dispersées dans la littérature (Liu, Kröger, Milman, Cheng-Li) en fournissant des relations directes entre deux indices arbitraires $k$ et $l$ dans le cas bidimensionnel.
• Optimalité des puissances : Les puissances de $k/l$ obtenues (quadratique pour la borne supérieure, linéaire pour la borne inférieure) sont considérées comme des comportements typiques pour les opérateurs elliptiques sur des domaines convexes, suggérant que ces inégalités sont proches de l'optimalité.
• Nouvelle approche géométrique : L'utilisation combinée de la monotonie du domaine, de l'approximation par des rectangles et de la partition de Voronoi offre une méthode robuste et élégante pour traiter les problèmes spectraux sur des domaines convexes, évitant des calculs analytiques lourds.
• Simplicité de la preuve : La section 4 démontre que des résultats profonds peuvent être obtenus par des arguments géométriques et de comparaison avec des tores, offrant une alternative plus accessible aux preuves techniques existantes.

En résumé, cet article consolide la compréhension du comportement asymptotique des valeurs propres de Neumann sur les domaines convexes plans, en établissant des bornes universelles précises reliant n'importe quelle paire de valeurs propres.