Sharp bounds and geometric properties of the first non trivial Steklov Neumann Eigenvalue

1. Problématique et Contexte

L'article étudie le problème aux valeurs propres mixtes de Steklov-Neumann sur des domaines doubly connected (doubly connexes) dans $\mathbb{R}^n$ et sur des variétés riemanniennes.

Le problème est formulé comme suit pour un domaine $\Omega$ avec une frontière $\partial\Omega = \Gamma_1 \cup \Gamma_2$ (où $\Gamma_1$ et $\Gamma_2$ sont disjoints) :
$$\begin{cases} \Delta u = 0 & \text{dans } \Omega, \\ \frac{\partial u}{\partial \nu} = 0 & \text{sur } \Gamma_1 \quad (\text{condition de Neumann}), \\ \frac{\partial u}{\partial \nu} = \mu u & \text{sur } \Gamma_2 \quad (\text{condition de Steklov}), \end{cases}$$
où $\nu$ est la normale unitaire sortante.

L'objectif principal est d'analyser la première valeur propre non nulle, notée $\mu_1(\Omega)$, et de déterminer ses propriétés géométriques, ses bornes optimales et son comportement asymptotique lorsque la géométrie du domaine varie (notamment la taille du trou intérieur).

2. Méthodologie

Les auteurs utilisent une combinaison d'outils d'analyse spectrale, de calcul variationnel et de géométrie riemannienne :

• Formulation Variationnelle : La valeur propre $\mu_1$ est caractérisée par le principe de Rayleigh :
  $$\mu_1(\Omega) = \inf \left\{ \frac{\int_\Omega |\nabla u|^2 dV}{\int_{\Gamma_2} u^2 dS} : u \in H^1(\Omega), \int_{\Gamma_2} u dS = 0 \right\}.$$
• Fonctions Test et Symétrie : Pour les problèmes d'optimisation de forme, les auteurs construisent des fonctions test spécifiques basées sur les harmoniques sphériques et les coordonnées polaires, en exploitant les propriétés de symétrie des anneaux concentriques.
• Paramétrisation Radiale et Géométrie : Dans le cadre riemannien (variétés de révolution), ils utilisent des coordonnées polaires géodésiques et comparent les domaines étoilés à des anneaux concentriques via des inégalités intégrales.
• Analyse Asymptotique : Pour l'étude de la limite lorsque le rayon du trou tend vers zéro, ils utilisent des extensions harmoniques à l'intérieur du trou et des estimations de convergence forte/faible dans les espaces $H^1$.
• Théorie des Nœuds (Nodal Domains) : L'analyse du nombre de domaines nodaux repose sur des arguments par l'absurde utilisant la linéarité des solutions et les conditions aux limites.

3. Contributions et Résultats Clés

L'article présente quatre résultats principaux (Théorèmes 1.1 à 1.4) :

A. Optimisation de forme : L'anneau concentrique est optimal

Théorème 1.1 : Parmi tous les anneaux excentriques $\Omega_d = B_{R_2}(d) \setminus B_{R_1}$ (où deux boules de rayons fixes sont décalées d'une distance $d$), la première valeur propre non nulle $\mu_1$ est maximisée lorsque les boules sont concentriques ($d=0$).

• Méthode : Utilisation d'une fonction test construite à partir de la solution radiale pour l'anneau concentrique, appliquée au cas excentrique, couplée à des lemmes d'intégration montrant que le numérateur de la quotient de Rayleigh diminue et le dénominateur augmente avec l'excentricité.
• Signification : Cela établit un analogue du résultat classique pour les problèmes de Dirichlet et de Steklov-Dirichlet, confirmant que la symétrie concentrique est la configuration extrême pour ce problème mixte.

B. Bornes pour les domaines étoilés en géométrie riemannienne

Théorème 1.2 : Pour un domaine étoilé $\tilde{\Omega}$ plongé dans une hypersurface de révolution $M$ (avec métrique de révolution), les auteurs établissent des bornes explicites pour $\mu_1(\tilde{\Omega})$.
$$C_1 \mu_1(B_{R_m} \setminus B_{R_1}) \leq \mu_1(\tilde{\Omega}) \leq C_2 \mu_1(B_{R_M} \setminus B_{R_1})$$
où $B_{R_m}$ et $B_{R_M}$ sont les plus grands et plus petits anneaux concentriques contenus dans et contenant $\tilde{\Omega}$ respectivement.

• Signification : Cela permet de contrôler quantitativement le spectre de domaines géométriquement complexes en les comparant à des anneaux concentriques, étendant les résultats connus pour Steklov-Dirichlet au cas Neumann.

C. Comportement asymptotique (Trou tendant vers zéro)

Théorème 1.3 : Lorsque le rayon $r$ d'un trou sphérique $B_r$ à l'intérieur d'un domaine borné $\Omega_{out}$ tend vers 0, la première valeur propre de Steklov-Neumann sur le domaine perforé $\Omega_r = \Omega_{out} \setminus B_r$ converge vers la première valeur propre de Steklov (classique) sur le domaine plein $\Omega_{out}$ :
$$\lim_{r \to 0} \mu_1(\Omega_r) = \sigma_1(\Omega_{out}).$$
De plus, les fonctions propres correspondantes convergent fortement dans $H^1$.

• Signification : Ce résultat justifie que le problème mixte sur un domaine perforé petit est une perturbation stable du problème de Steklov classique. Il permet de déduire des inégalités isopérimétriques pour les domaines avec de petits trous (Corollaires 5.1 et 5.2), reliant $\mu_1$ aux contraintes de volume ou de périmètre via les inégalités de Brock et Weinstock.

D. Nombre de domaines nodaux

Théorème 1.4 : Pour tout domaine doublement connexe $\Omega$ dans $\mathbb{R}^n$, les fonctions propres associées à $\mu_1(\Omega)$ possèdent exactement 2 domaines nodaux.

• Méthode : Une preuve par l'absurde montrant que si le nombre de domaines nodaux était supérieur à 2, on pourrait construire une fonction test orthogonale aux constantes qui violerait la définition variationnelle de $\mu_1$.
• Différence notable : Contrairement au problème de Steklov-Dirichlet où le trou impose des nœuds (la fonction s'annule sur le trou), la condition de Neumann sur le trou intérieur permet aux fonctions propres de ne pas s'annuler sur la frontière intérieure, modifiant la topologie des lignes nodales.

4. Signification et Impact

Cet article comble plusieurs lacunes dans la théorie spectrale des problèmes mixtes :

1. Complétude théorique : Il fournit les premières bornes optimales et des résultats d'asymptotique précis pour le problème de Steklov-Neumann, un domaine moins exploré que les problèmes de Dirichlet ou de Steklov pur.
2. Géométrie et Symétrie : Il confirme le rôle prépondérant de la symétrie concentrique comme configuration maximisante, même dans des métriques riemanniennes complexes.
3. Stabilité : Il établit la stabilité du spectre lors de la fermeture d'un trou, ce qui est crucial pour les applications en physique mathématique et en ingénierie où les défauts (trous) sont petits.
4. Topologie des solutions : La caractérisation exacte du nombre de domaines nodaux (toujours 2) offre une compréhension fondamentale de la structure des modes de vibration fondamentaux dans les domaines annulaires.

En résumé, ce travail établit un cadre rigoureux pour l'analyse des valeurs propres de Steklov-Neumann, reliant l'analyse fonctionnelle, la géométrie différentielle et la théorie spectrale, avec des applications potentielles en optimisation de forme et en physique des matériaux perforés.