Comparison methods for semilinear elliptic problems on Riemannian manifolds with a Ricci lower bound

1. Problématique et Contexte

L'article s'intéresse à l'étude qualitative et quantitative des solutions positives du problème de Dirichlet semi-linéaire sur un domaine $\Omega$ d'une variété riemannienne $(M^n, g)$ :
$$\begin{cases} \Delta u + f(u) = 0 & \text{dans } \Omega, \\ u > 0 & \text{dans } \Omega, \\ u = 0 & \text{sur } \partial\Omega, \end{cases}$$
où $\Delta$ est l'opérateur de Laplace-Beltrami et $f$ est une fonction localement lipschitzienne.

Le cadre géométrique impose une borne inférieure sur la courbure de Ricci :
$$\text{Ric}_g \geq (n-1)k g,$$
où $k \in \mathbb{R}$. Ce cadre généralise les résultats connus dans l'espace euclidien ($k=0$) et sphérique ($k>0$) aux variétés riemanniennes générales.

L'objectif principal est d'établir des comparaisons ponctuelles du gradient entre une solution générale $u$ et des solutions modèles radiales, d'en déduire des inégalités isopérimétriques, de localiser les « points chauds » (maxima de $u$), et d'explorer la construction de domaines extrémaux non rotationnels sur la sphère.

2. Méthodologie : La Méthode de Comparaison

L'approche repose sur une extension de la méthode de comparaison introduite par Agostiniani, Borghini et Mazzieri, adaptée aux variétés avec une borne de Ricci.

A. Construction des Modèles

Les auteurs construisent des variétés modèles $(M^n_k(F), g_k)$ qui sont des produits warps :
$$(I_k \times F, dr^2 + s_k(r)^2 g_F),$$
où $F$ est une variété compacte de dimension $n-1$ (la fibre), et $s_k(r)$ est la fonction de warping ($\sinh, r, \sin$ selon le signe de $k$).
Sur ces modèles, le problème se réduit à une EDO radiale pour une fonction $U(r)$ :
$$U''(r) + (n-1)\cot_k(r)U'(r) + f(U(r)) = 0.$$

B. Admissibilité et Profils Modèles

Une notion clé est l'admissibilité $k$ de la non-linéarité $f$. Une fonction $f$ est $k$-admissible si, pour des données de Cauchy appropriées (rayon du cœur $R$ et valeur maximale $M$), la solution radiale $U_{R,M,k,f}$ :

1. Est strictement positive entre ses zéros.
2. Est strictement monotone en dehors du lieu des maxima.
3. S'annule aux bords du domaine modèle.

Cela permet de définir une famille à deux paramètres de solutions modèles $(U_{R,M,k,f}, \Omega_{R,M,k,f})$.

C. Paramétrisation par les Conditions aux Limites

Pour comparer une solution réelle $(\Omega, u)$ avec un modèle, les auteurs introduisent un paramètre de réponse au bord $\tau$. Ce paramètre est défini à partir du gradient normal au bord :
$$\tau(\Gamma) = \frac{\max_{p \in \Gamma} |\nabla u(p)|^2}{c(M, k, f)},$$
où $c(M, k, f)$ est le gradient au bord de la solution modèle centrée ($R=0$).
Ce paramètre permet de sélectionner, dans la famille des modèles, un couple de comparaison $(\bar{U}, \bar{u})$ tel que la réponse au bord du modèle domine ou égale celle de la solution réelle.

D. Outil de Comparaison : La Fonction Pseudo-Radiale

En utilisant le théorème des fonctions implicites, on définit une fonction $\Psi: U \to \mathbb{R}$ (où $U$ est une composante connexe de $\Omega \setminus \text{Max}(u)$) telle que $u = \bar{U} \circ \Psi$. Cette application permet de transporter la géométrie du modèle vers le domaine réel pour effectuer les estimations.

3. Résultats Principaux

A. Estimation du Gradient (Théorème A)

Sous des hypothèses structurelles sur $f$ (notamment $f'(x) \geq nk$), les auteurs prouvent une inégalité de gradient ponctuelle :
$$|\nabla u(p)|^2 \leq |\nabla \bar{u}(\Psi(p))|^2 \quad \forall p \in U.$$
Rigidité : Si l'égalité est atteinte en un point, alors :

1. La métrique sur $U$ est isométrique au modèle (produit warp).
2. La courbure de Ricci est exactement $(n-1)k$.
3. La solution est congruente au modèle radial.

B. Inégalité Isopérimétrique (Théorème B)

En combinant l'estimation du gradient avec la formule de coaire, les auteurs obtiennent une borne inférieure pour le rapport entre le volume du domaine et l'aire de la partie régulière du lieu des maxima :
$$\frac{\text{Vol}_n(U)}{\text{Area}_{n-1}(\Gamma_M)} \geq \frac{\text{Vol}_n^k(\bar{U})}{\text{Area}_{n-1}^k(\bar{\Gamma}_M)}.$$
L'égalité force la rigidité géométrique (le domaine est un modèle).

C. Localisation des Points Chauds (Théorème C)

Sous des hypothèses supplémentaires (convexité de $\Omega$, condition de pincement sur $f$), les auteurs déduisent une estimation quantitative de la distance entre le lieu des maxima (hot spots) et le bord :
$$\text{dist}(\text{Max}(u), \partial\Omega) \geq C(n, k, M, \text{rayon inscrit}).$$
L'égalité caractérise le cas où $\Omega$ est une boule géodésique dans un espace de courbure constante et $f$ est affine (problème de torsion de Serrin).

D. Solutions Exotiques sur la Sphère (Partie 2)

La seconde partie de l'article explore la construction de solutions non rotationnelles sur la sphère $S^n$ via les foliations isoparamétriques.

• En utilisant les polynômes de Cartan-Münzner, les auteurs montrent que les feuilles d'une foliation isoparamétrique peuvent servir de niveaux de solutions pour des non-linéarités adaptées (« Iso-admissibles »).
• Cela génère des domaines $f$-extrémaux (problèmes surdéterminés) dont les niveaux ne sont pas des sphères (ex: hypersurfaces de Cartan).
• Ces solutions descendent vers des quotients lisses $S^n/G$ (comme les espaces projectifs ou les espaces lenticulaires) lorsque le groupe d'isométrie $G$ préserve la foliation et agit librement.

4. Contributions Clés et Signification

1. Généralisation Géométrique : L'article étend la puissante méthode de comparaison (initialement développée pour $\mathbb{R}^n$ et $S^2$) à des variétés riemanniennes de dimension $n$ arbitraire sous une hypothèse de courbure de Ricci, un cadre beaucoup plus large et techniquement complexe.
2. Rigidité et Caractérisation : Les résultats fournissent des caractérisations rigides : si les bornes sont atteintes, la géométrie et la solution doivent être exactement celles du modèle radial. Cela généralise le célèbre théorème de Serrin sur la symétrie des domaines.
3. Nouvelles Inégalités : L'établissement d'inégalités isopérimétriques et de localisation de points chauds pour des équations semi-linéaires générales sur des variétés courbes est une avancée significative pour l'analyse géométrique.
4. Construction de Solutions Non-Rotationnelles : La partie sur la sphère démontre que l'existence de domaines extrémaux n'est pas limitée aux boules géodésiques. En exploitant la richesse des foliations isoparamétriques, les auteurs construisent une nouvelle classe de solutions « exotiques » et montrent leur stabilité sous passage au quotient, enrichissant la théorie des problèmes elliptiques surdéterminés.

En résumé, cet article unifie des techniques d'analyse non linéaire, de géométrie riemannienne et de théorie des équations aux dérivées partielles pour fournir un cadre robuste d'analyse des solutions semi-linéaires, tout en ouvrant de nouvelles voies pour la construction de domaines géométriques complexes.