Weakly stable solutions of Serrin's problem

Résumé Technique : Solutions Faiblement Stables du Problème de Serrin

Énoncé du Problème
L'article traite du problème surdéterminé de Serrin, qui cherche un domaine $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) et une fonction $u \in C^\infty(\bar{\Omega})$ satisfaisant :
$$\begin{cases} -\Delta u = n & \text{dans } \Omega, \\ u > 0 & \text{dans } \Omega, \\ u = 0 & \text{sur } \partial\Omega, \\ |Du| = 1 & \text{sur } \partial\Omega. \end{cases}$$
Alors que J. Serrin (1971) et H. Weinberger (1971) ont établi que les solutions compactes sont des boules unitaires, des solutions non compactes existent (par exemple, des cylindres). H. Berestycki, L. Caffarelli et L. Nirenberg ont conjecturé que toute solution non compacte doit être soit une boule unité, soit congrue à un cylindre de la forme $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$. Cependant, des contre-exemples à cette conjecture existent pour des problèmes semi-linéaires généraux. Cet article étudie spécifiquement la conjecture pour le cas $f(u) = n$ sous l'hypothèse supplémentaire de faible stabilité.

Méthodologie et Approche
Les auteurs emploient une approche variationnelle combinée à l'analyse géométrique et aux estimations asymptotiques. La méthodologie centrale comprend :

1. Caractérisation Variationnelle : Les solutions sont vues comme des points critiques du fonctionnel $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (où $F' = f = n$) sous une contrainte de volume relatif.
2. Définitions de la Stabilité :
   • Faible Stabilité : Le domaine satisfait le test de la dérivée seconde pour $J$ parmi les perturbations compactes préservant le volume relatif de $\{u > 0\}$. Cela est formalisé par l'inégalité :
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     pour toutes fonctions $\phi \in C^\infty_c(\bar{\Omega})$ telles que $\int_{\partial\Omega} \phi = 0$.
   • Stabilité : La même inégalité est vérifiée pour toutes fonctions $\phi \in C^\infty_c(\bar{\Omega})$ sans la contrainte de moyenne nulle.
3. Estimations de Gradient et Asymptotiques : Les auteurs établissent des estimations cruciales du gradient de $u$ (spécifiquement $|Du| < 1$ dans $\Omega$ et $H \le n$ sur $\partial\Omega$) et analysent le comportement asymptotique du volume $V(\lambda)$ et de l'aire de la frontière $A(\lambda)$ de $\Omega$ intersectés avec de grandes boules $B_\lambda(0)$.
4. Argument de Contradiction : La preuve procède en supposant que $\Omega$ possède un volume infini. En utilisant la relation asymptotique $A(\lambda) \approx n V(\lambda)$ dérivée du théorème de la divergence, les auteurs démontrent qu'un volume infini implique que le domaine est pleinement stable. En testant l'inégalité de stabilité avec des fonctions de coupure spécifiques et en utilisant la sous-harmonicité d'une fonction auxiliaire $\phi = u + \frac{1}{2}|Du|^2$, ils dérivent une contradiction entre le signe de l'intégrale de bord et la condition de stabilité.
5. Analyse du Volume Fini : Une fois le volume infini écarté, les auteurs adaptent l'argument de Weinberger au cadre non compact pour montrer que les composantes de volume fini doivent être des boules unitaires. La faible stabilité est ensuite utilisée pour prouver que le domaine est connexe, excluant ainsi les unions disjointes de boules.

Résultats Clés

• Théorème 2 (Résultat Principal) : Pour toute dimension $n \ge 2$, si $\Omega$ est une solution faiblement stable du problème de Serrin, alors $\Omega$ est une boule de rayon 1. Par conséquent, aucune solution non compacte faiblement stable n'existe.
• Bornes de Gradient : L'article prouve que pour toute solution, $|Du| < 1$ dans $\Omega$ et la courbure moyenne $H$ satisfait $H \le n$ sur $\partial\Omega$.
• Implication de Stabilité : Si une solution possède un volume infini, la faible stabilité implique la pleine stabilité.
• Indépendance de la Dimension : Contrairement à des résultats précédents pour des problèmes connexes (par exemple, le problème de Bernoulli à une phase) qui dépendent fortement de la dimension (par exemple, $n \le 3$ vs $n \ge 7$), ce résultat est valable pour tout $n \ge 2$.

Signification et Revendications
L'article affirme prouver que les solutions faiblement stables du problème de Serrin sont nécessairement compactes (spécifiquement, des boules rondes). Ce résultat résout efficacement la conjecture de Berestycki-Caffarelli-Nirenberg pour le cas $f=n$ sous l'hypothèse de faible stabilité en démontrant que les alternatives non compactes (cylindres) ne sont pas faiblement stables. Cette hypothèse est décrite comme étant « naturelle d'un point de vue variationnel ».

Les auteurs soulignent que leur résultat généralise un théorème précédent (Théorème 1 dans [12]) qui était restreint à la dimension $n=2$ et exigeait une courbure bornée de $\partial\Omega$. Le présent travail lève la restriction de dimension et l'hypothèse de courbure bornée. La technique de preuve est distincte des travaux précédents ; elle évite le théorème de Gauss-Bonnet (spécifique à $n=2$) et les arguments propres aux basses dimensions qui échouent dans les dimensions supérieures en raison de contre-exemples connus dans des problèmes de stabilité connexes.

Le résultat s'inscrit dans le contexte de la théorie des surfaces minimales, où les solutions faiblement stables du problème de Serrin apparaissent comme des limites de blow-up de surfaces capillaires minimales faiblement stables. Le résultat de rigidité établi ici sert d'élément fondamental pour caractériser ces surfaces capillaires avec des angles de contact proches de $0$ ou $\pi$.