An isoperimetric inequality for the second Robin eigenvalue of the Weighted Laplacian

1. Problème Étudié

L'article s'intéresse à un problème d'optimisation de forme concernant le deuxième eigenvalue (valeur propre) de Robin pour l'opérateur Laplacien pondéré sur des domaines bornés de l'espace euclidien $\mathbb{R}^m$.

Le problème spectral est défini par l'équation suivante sur un domaine borné $\Omega$ à frontière lipschitzienne :
$$\begin{cases} -\text{div}(e^{h(|x|)}\nabla u) = \lambda e^{h(|x|)}u & \text{dans } \Omega, \\ \frac{\partial u}{\partial \nu} + \alpha u = 0 & \text{sur } \partial\Omega, \end{cases}$$
où :

• $\nu$ est la normale unitaire extérieure.
• $\alpha \in \mathbb{R}$ est le paramètre de Robin.
• $h(r)$ est une fonction $C^2$ sur $[0, +\infty)$.
• La mesure pondérée est définie par $d\gamma_h = e^{h(|x|)} dx$.

L'objectif est de déterminer quelle forme de domaine $\Omega$, parmi ceux ayant une mesure pondérée fixe ($\int_\Omega d\gamma_h = \text{constante}$) et qui sont symétriques par rapport à l'origine, maximise la deuxième valeur propre $\lambda_{2,\alpha}(\Omega; \gamma_h)$.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse spectrale, les inégalités isopérimétriques et la méthode de symétrisation.

A. Hypothèses sur le poids

La fonction de poids $h(r)$ satisfait les conditions de convexité et de croissance :

• $h'(r) \ge 0$
• $h''(r) \ge 0$
  Ces hypothèses sont cruciales pour établir les propriétés de monotonie nécessaires à la preuve.

B. Analyse sur la boule

La première étape consiste à étudier le problème sur une boule centrée à l'origine $B(R)$.

• Séparation des variables : Les auteurs montrent que la deuxième fonction propre sur la boule est de la forme $u_i(x) = g(r) \frac{x_i}{r}$, où $g(r)$ est une fonction radiale solution d'une équation différentielle ordinaire spécifique.
• Propriétés de la fonction $g$ : Ils prouvent que pour $\alpha \le 0$, la fonction $g(r)$ est strictement croissante et satisfait certaines inégalités de dérivée (Lemme 2.2).
• Comparaison spectrale : Ils établissent que la deuxième valeur propre de Robin sur la boule correspond à la première valeur propre d'un problème radial avec condition aux limites $g(0)=0$ (et non pas la deuxième valeur propre du problème radial avec $g'(0)=0$).

C. Construction de fonctions tests (La méthode de Weinberger)

Pour prouver l'inégalité isopérimétrique pour un domaine général $\Omega$, les auteurs construisent des fonctions tests pour la caractérisation variationnelle de $\lambda_{2,\alpha}(\Omega; \gamma_h)$.

• Ils utilisent les fonctions propres de la boule $B$ (qui sont de la forme $g(|x|)\frac{x_i}{|x|}$) comme fonctions tests pour $\Omega$.
• Grâce à la symétrie de $\Omega$ et de la mesure $d\gamma_h$, ces fonctions sont orthogonales à la première fonction propre de $\Omega$ (qui est radiale), rendant ainsi ces fonctions admissibles pour le problème de la deuxième valeur propre.

D. Inégalités de Monotonie et Symétrisation

Un point clé de la preuve est l'établissement d'une fonction auxiliaire $F(r)$ (définie dans le Lemme 3.1) qui est monotone décroissante sous les hypothèses données.

• En utilisant le lemme de symétrisation de Hardy-Littlewood (adapté à la mesure pondérée, Lemme 3.2), ils comparent les intégrales sur $\Omega$ et sur la boule $B$ de même volume pondéré.
• Puisque $g(r)$ est croissante et $F(r)$ décroissante, ils peuvent majorer le numérateur et minorer le dénominateur du quotient de Rayleigh sur $\Omega$ par les valeurs correspondantes sur $B$.

3. Résultats Principaux

Théorème Principal (Théorème 1.1)

Soit $\Omega \subset \mathbb{R}^m$ un domaine borné lipschitzien symétrique par rapport à l'origine. Soit $B$ la boule centrée à l'origine ayant la même mesure pondérée que $\Omega$.
Si le paramètre de Robin $\alpha$ appartient à l'intervalle $[-\sigma_1(B; \gamma_h), 0]$, où $\sigma_1(B; \gamma_h)$ est la première valeur propre non nulle de Steklov sur la boule, alors :
$$\lambda_{2,\alpha}(\Omega; \gamma_h) \le \lambda_{2,\alpha}(B; \gamma_h)$$
L'égalité est atteinte si et seulement si $\Omega$ est isométrique à la boule $B$.

Conséquences et Corollaires

1. Cas de Neumann ($\alpha = 0$) : Le théorème implique que la boule maximise la deuxième valeur propre de Neumann (première valeur propre non nulle) pour la mesure pondérée. Ce résultat généralise des travaux antérieurs de Brock, Chiacchio et di Blasio.
2. Inégalité de Brock-Weinstock (Corollaire 1.2) : En prenant $\alpha = -\sigma_1(B; \gamma_h)$, les auteurs déduisent une inégalité isopérimétrique pour la première valeur propre de Steklov pondérée :
   $$\sigma_1(\Omega; \gamma_h) \le \sigma_1(B; \gamma_h)$$
   Ce résultat redémontre et généralise des résultats connus pour la mesure gaussienne et d'autres poids.
3. Cas de la mesure gaussienne : Bien que l'article se concentre sur $h'(r) \ge 0$, les auteurs notent que leur résultat fournit des informations pour des problèmes liés à l'opérateur $-\Delta u - x \cdot \nabla u = \lambda u$, bien que la question de la validité pour la mesure gaussienne $e^{-|x|^2/2}$ (où $h'(r) < 0$) reste ouverte dans ce contexte spécifique de symétrie.

4. Contributions et Signification

• Généralisation : L'article étend les inégalités de type Szegö-Weinberger (classiquement pour le Laplacien standard et la mesure de Lebesgue) au cadre des opérateurs Laplaciens pondérés avec des conditions aux limites de Robin.
• Nouvelle plage de paramètres : Il identifie une plage spécifique de paramètres de Robin négatifs ($\alpha \in [-\sigma_1, 0]$) pour lesquels la boule reste l'optimiseur, comblant ainsi un vide théorique entre les résultats connus pour $\alpha=0$ et les conjectures pour $\alpha < 0$.
• Technique robuste : La démonstration combine avec succès la méthode de Weinberger (construction de fonctions tests basées sur la géométrie de la boule) avec des propriétés fines de monotonie des fonctions propres radiales dans un cadre pondéré.
• Impact : Ces résultats renforcent la compréhension de la stabilité géométrique des spectres d'opérateurs elliptiques sous des mesures de probabilité ou des poids non uniformes, avec des applications potentielles en physique mathématique (diffusion, mécanique quantique) et en théorie des probabilités (processus de diffusion).

En résumé, ce papier établit rigoureusement que, sous des conditions de convexité du poids et de symétrie du domaine, la géométrie sphérique est l'optimiseur pour le deuxième eigenvalue de Robin pondéré, généralisant ainsi des classiques de la théorie spectrale.