An isoperimetric inequality for lower order Neumann eigenvalues in Gauss space

Résumé technique : Une inégalité isopérimétrique pour les valeurs propres de Neumann d'ordre inférieur dans l'espace gaussien

Énoncé du problème
Cet article traite de l'optimisation des valeurs propres de Neumann pour le Laplacien de Witten (ou l'opérateur d'Ornstein-Uhlenbeck) dans le contexte de la mesure gaussienne. Plus précisément, les auteurs étudient la moyenne harmonique des $m-1$ premières valeurs propres de Neumann non nulles, notées $\mu_1(\Omega), \dots, \mu_{m-1}(\Omega)$, pour un domaine lipschitzien connexe $\Omega \subset \mathbb{R}^m$. Le problème central est de déterminer quel domaine maximise cette moyenne harmonique sous la contrainte d'un volume gaussien fixé.

Alors que la classique inégalité de Szegö-Weinberger établit que la boule maximise de manière unique la première valeur propre de Neumann non nulle ($\mu_1$) dans l'espace euclidien, et que son analogue gaussien a été prouvé par Chiacchio et Di Blasio pour les domaines symétriques par rapport à l'origine, le comportement des valeurs propres d'ordre inférieur (spécifiquement la somme de leurs inverses) dans l'espace de Gauss est resté une question ouverte. L'article cherche à généraliser le résultat de Szegö-Weinberger à la moyenne harmonique des $m-1$ premières valeurs propres pour les domaines symétriques par rapport à l'origine.

Méthodologie
La preuve du théorème principal repose sur une approche variationnelle combinée à des techniques de symmetrisation adaptées à la mesure gaussienne. La méthodologie procède selon les étapes suivantes :

1. Caractérisation variationnelle : Les auteurs utilisent la formulation standard du quotient de Rayleigh pour les valeurs propres de Neumann dans l'espace de Sobolev pondéré $H^1(\Omega, d\gamma_m)$. Les valeurs propres sont caractérisées comme des infima sur des sous-espaces orthogonaux aux fonctions propres d'ordre inférieur.
2. Analyse de la boule : Une analyse spectrale détaillée de la première valeur propre non nulle $\mu_1(B_R)$ pour une boule $B_R$ centrée à l'origine est effectuée. Les auteurs établissent que :
   • $\mu_1(B_R)$ possède une multiplicité $m$.
   • Les fonctions propres correspondantes prennent la forme $u_i(x) = g(r)\psi_i(\theta)$, où $\psi_i$ sont des fonctions de coordonnées linéaires.
   • La partie radiale $g(r)$ satisfait une équation de Sturm-Liouville spécifique.
   • Crucialement, le Lemme 2.3 prouve que la fonction propre radiale $g(r)$ est strictement croissante et satisfait l'inégalité $g'(r) \leq g(r)/r$ pour $r \in (0, R]$.
3. Construction de fonctions d'essai : Pour borner les valeurs propres d'un domaine symétrique quelconque $\Omega$, les auteurs construisent des fonctions d'essai $v_i(x)$ basées sur les fonctions propres de la boule de comparaison $B$. Ces fonctions sont définies par $v_i(x) = G(|x|) \frac{x_i}{|x|}$, où $G(r)$ est une extension de la fonction propre radiale $g(r)$ qui reste constante à l'extérieur du rayon de la boule.
4. Orthogonalité et factorisation QR : Puisque $\Omega$ est symétrique par rapport à l'origine, les fonctions d'essai $v_i$ ont une moyenne nulle. Les auteurs emploient un argument de factorisation QR pour faire pivoter le système de coordonnées, garantissant que les fonctions d'essai satisfont les conditions d'orthogonalité nécessaires par rapport aux $i-1$ premières fonctions propres de $\Omega$. Cela permet à $v_i$ de servir de fonctions de test valides pour la caractérisation variationnelle de $\mu_i(\Omega)$.
5. Symmetrisation gaussienne : La preuve utilise un lemme de monotonicité (Lemme 3.1) concernant le réarrangement gaussien. Ce lemme stipule que, pour une fonction radiale décroissante $h(r)$, l'intégrale sur $\Omega$ est bornée par l'intégrale sur la boule $B$ de même volume gaussien. Ceci est appliqué aux termes impliquant $G(r)$ et ses dérivées.
6. Synthèse de l'inégalité : En sommant les inégalités variationnelles de $i=1$ à $m$, et en utilisant les propriétés de monotonicité de $g(r)$ et l'ordre des valeurs propres $\mu_1 \leq \dots \leq \mu_m$, les auteurs dérivent une borne inférieure pour la somme des inverses.

Contributions et résultats clés
Le résultat principal est le Théorème 1.1, qui établit une inégalité isopérimétrique forte pour la moyenne harmonique des $m-1$ premières valeurs propres de Neumann dans l'espace de Gauss.

Soit $\Omega \subset \mathbb{R}^m$ un domaine lipschitzien symétrique par rapport à l'origine, et soit $B$ la boule centrée à l'origine ayant le même volume gaussien que $\Omega$. Alors :
$$\sum_{i=1}^{m-1} \frac{1}{\mu_i(\Omega)} \geq \frac{m-1}{\mu_1(B)}$$
L'égalité est vérifiée si et seulement si $\Omega = B$.

Signification et affirmations
L'article affirme que ce résultat généralise le type d'inégalité de Szegö-Weinberger dans l'espace de Gauss précédemment établi par Chiacchio et Di Blasio (spécifiquement le Théorème 4.1 dans [12]), qui ne traitait que de la première valeur propre $\mu_1$. En prouvant l'inégalité pour la moyenne harmonique des $m-1$ premières valeurs propres, les auteurs fournissent une contrainte plus forte qui implique le résultat original (puisque $\mu_1(\Omega) \leq \mu_1(B)$ est une conséquence directe de l'inégalité de la moyenne harmonique compte tenu de l'ordre des valeurs propres).

Les auteurs notent que bien que ce résultat soutienne la conjecture plus large d'Ashbaugh-Benguria concernant la somme des inverses des $m$ premières valeurs propres dans l'espace euclidien, la question de savoir si la conjecture est vérifiée dans l'espace de Gauss sans l'hypothèse de symétrie demeure ouverte. L'hypothèse de symétrie dans ce travail est essentielle pour garantir la validité des conditions d'orthogonalité requises pour les fonctions d'essai.

L'article ne propose pas de nouvelles applications ou de propositions expérimentales mais se concentre strictement sur l'extension du cadre théorique de la géométrie spectrale dans les espaces gaussiens.