Weinstock inequality in hyperbolic space II

Résumé Technique : Inégalité de Weinstock dans l'espace hyperbolique II

Énoncé du Problème
Cet article traite du problème d'optimisation de la forme pour la première valeur propre de Steklov non nulle, $\sigma_1(\Omega)$, sur des domaines bornés au sein de l'espace hyperbolique $\mathbb{H}^n$ pour les dimensions $n \ge 3$. Plus précisément, les auteurs étudient la validité d'une inégalité de type Weinstock sous contrainte de périmètre. La question centrale, formulée comme la Conjecture 1 (Question Ouverte 4.27 dans [13]), demande si, pour un domaine convexe borné $\Omega \subset \mathbb{H}^n$, la valeur propre $\sigma_1(\Omega)$ est maximisée par une boule géodésique $\Omega^*$ ayant la même aire de bord ($\lvert\partial \Omega^*\rvert = \lvert\partial \Omega\rvert$). Alors que la conjecture était connue pour être vraie pour $n=2$ (via les techniques de cartographie conforme de Fraser et Schoen [15]) et pour le cas sous contrainte de volume dans les dimensions supérieures (Binoy et Santhanam [5]), le cas sous contrainte de périmètre pour $n \ge 3$ restait ouvert. Les auteurs ont précédemment résolu ce problème pour $n \ge 4$ dans [23] ; cet article étend le résultat au cas critique $n=3$ et fournit une preuve unifiée pour tout $n \ge 3$ sous l'hypothèse de frontières étoilées et de convexité moyenne.

Méthodologie
La stratégie de preuve synthétise plusieurs outils géométriques et analytiques avancés :

1. Flux de Courbure Moyenne Inverse (IMCF) : Les auteurs utilisent l'IMCF, introduit par Gerhardt [21], pour faire évoluer la frontière du domaine $\Sigma_t$. Ce flux préserve les propriétés d'étoilée et de convexité moyenne tout en augmentant exponentiellement l'aire de la surface. Les équations d'évolution des quantités géométriques le long de ce flux sont utilisées pour établir des formules de monotonie.
2. Transplantation de Masse Pondérée : Une innovation centrale de ce travail est le développement d'une méthode de « transplantation de masse pondérée ». La transplantation de masse standard (Weinberger [44]) compare des intégrales sur un domaine $\Omega$ et une boule géodésique $B(R)$ de volume égal. Cependant, pour les dimensions inférieures ($n=3, 4$), les fonctions auxiliaires spécifiques requises pour la preuve manquent de monotonie globale. Pour surmonter cela, les auteurs introduisent une variante pondérée (Théorème 4.8) inspirée du principe de la baignoire, permettant la comparaison d'intégrales impliquant des fonctions de poids non monotones.
3. Fonctions Auxiliaires et Analyse Géométrique : Les auteurs définissent une fonction de rapport volume-aire spécifique $g(r)$ associée aux boules géodésiques. Ils analysent rigoureusement les propriétés analytiques de $g(r)$ et de ses dérivées, établissant que certaines combinaisons de ces fonctions (telles que $\lambda^2 g'/g$) sont monotones. Une fonction auxiliaire $h$, définie via l'inverse de l'intégrale de volume d'un terme radial spécifique, est construite pour combler le fossé entre les intégrales de bord et l'énergie intérieure.
4. Caractérisation Variationnelle : La borne supérieure pour $\sigma_1(\Omega)$ est dérivée du quotient de Rayleigh en utilisant des fonctions de test soigneusement choisies impliquant le centre de masse et la fonction $g(r)$.

Contributions Principales et Résultats

• Théorème Principal (Théorème 1.2) : Les auteurs prouvent que pour tout domaine borné lisse $\Omega \subset \mathbb{H}^n$ ($n \ge 3$) avec une frontière étoilée et de convexité moyenne, et pour une boule géodésique $\Omega^*$ telle que $\lvert\partial \Omega^*\rvert = \lvert\partial \Omega\rvert$, l'inégalité
  $$\sigma_1(\Omega) \le \sigma_1(\Omega^*)$$
  est vérifiée. L'égalité se produit si et seulement si $\Omega$ est une boule géodésique. Ce résultat apporte une réponse affirmative à la Conjecture 1 pour les domaines convexes (Corollaire 1.4).
• Résolution du Cas $n=3$ : L'article traite spécifiquement des difficultés analytiques émergeant dans la dimension $n=3$ (et $n=4$), où les arguments de monotonie standard échouent. En introduisant la méthode de transplantation de masse pondérée, les auteurs parviennent à étendre l'inégalité à ces dimensions inférieures, complétant ainsi la preuve pour tout $n \ge 3$.
• Extension aux Valeurs Propres Supérieures (Corollaire 1.6) : Comme sous-produit de leurs estimations, les auteurs établissent une inégalité de type isopérimétrique pour la moyenne harmonique des $n-1$ premières valeurs propres de Steklov non nulles. Ils prouvent que pour les domaines étoilés et de convexité moyenne,
  $$\sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega)} \ge \sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega^*)}$$
  avec égalité si et seulement si $\Omega$ est une boule géodésique. Cela étend l'inégalité isopérimétrique de Verma [42] au cadre hyperbolique.

Signification et Revendications
L'article prétend « régler complètement » le problème de l'inégalité de Weinstock sous contrainte de périmètre dans l'espace hyperbolique pour les dimensions $n \ge 3$. En comblant le fossé pour $n=3$ grâce à la nouvelle technique de transplantation de masse pondérée, les auteurs fournissent un cadre unifié qui confirme la rigidité de la boule géodésique comme l'unique maximiseur de la première valeur propre de Steklov sous contraintes de périmètre fixes en géométrie hyperbolique. Le travail résout une question ouverte spécifique en géométrie spectrale (Question Ouverte 4.27 dans [13]) et démontre que, contrairement aux espaces à courbure positive où la rigidité échoue souvent, les espaces à courbure négative comme $\mathbb{H}^n$ présentent une forte rigidité spectrale pour les domaines convexes. La méthodologie, particulièrement la transplantation de masse pondérée, est présentée comme un outil pour surmonter les obstructions analytiques causées par l'absence de monotonie globale dans les dimensions inférieures.