Comparison Results for a class of Neumann Problems of the $p$-Laplace Equation on Riemannian Manifolds

Résumé technique : Résultats de comparaison pour une classe de problèmes de Neumann du $p$-Laplacien sur des variétés riemanniennes

Énoncé du problème
L'article étudie des problèmes de valeurs limites de Neumann non homogènes pour l'équation du $p$-Laplacien sur des variétés riemanniennes à courbure de Ricci non négative. Plus précisément, les auteurs considèrent une variété non compacte complète $(M, g)$ avec un ratio de volume asymptotique positif, ou une variété compacte satisfaisant $\text{Ric} \geq (n-1)$. L'équation principale étudiée est :
$$\begin{cases} -\text{div}(|\nabla u|^{p-2}\nabla u) = f, & \text{dans } \Omega, \\ |\nabla u|^{p-2} \frac{\partial u}{\partial \nu} + \beta^{p-1} = 0, & \text{sur } \partial\Omega, \end{cases}$$
où $\Omega \subset M$ est un domaine borné à frontière Lipschitzienne. Un défi central abordé est l'ambiguïté intrinsèque des problèmes de Neumann, où les solutions sont déterminées uniquement à une constante additive près. Contrairement aux problèmes de Dirichlet ou de Robin, l'établissement de principes de comparaison significatifs nécessite des conditions de normalisation spécifiques pour fixer cette ambiguïté.

Méthodologie
Les auteurs emploient des techniques de symétrisation sphérique (réarrangement) adaptées aux variétés riemanniennes. La méthodologie procède comme suit :

1. Cadre de symétrisation : La solution $u$ sur la variété $\Omega$ est comparée à une solution symétrisée $v$ définie sur un espace modèle $\Omega^\sharp$.

   • Pour le cas non compact ($\kappa=0$), l'espace modèle est l'espace euclidien $\mathbb{R}^n$, et $\Omega^\sharp$ est une boule euclidienne.
   • Pour le cas compact ($\kappa=1$), l'espace modèle est la sphère standard $S^n$, et $\Omega^\sharp$ est un cal de sphère géodésique.
   • La symétrisation est normalisée par un facteur $\theta_\kappa$ (lié au ratio de volume asymptotique ou au volume total de la sphère) pour assurer la compatibilité avec les inégalités isopérimétriques sur la variété.

2. Condition de normalisation : Pour gérer la non-unicité des solutions de Neumann, les auteurs imposent une condition de compatibilité spécifique liant les moments $L^q$ de la frontière de la solution originale $u$ et de la solution symétrisée $v$ :
   $$\frac{\beta^\sharp}{\beta} \int_{\partial \Omega} u^q d\sigma = \theta_\kappa \int_{\partial \Omega^\sharp} v^q d\sigma$$
   où $q \geq 1$ est un paramètre arbitraire. Les auteurs notent que cette flexibilité dans le choix de $q$ est une caractéristique distinctive du cadre de Neumann, contrastant avec les contraintes plus strictes trouvées dans les problèmes de Robin.

3. Outils analytiques :

   • Inégalités isopérimétriques : La preuve repose sur l'inégalité isopérimétrique sur les variétés à courbure de Ricci non négative (l'inégalité de Brendle pour le cas non compact et de Lévy-Gromov pour le cas compact), qui relie la mesure de la frontière de $\Omega$ à celle de la boule symétrisée $\Omega^\sharp$.
   • Inégalités différentielles : Les auteurs dérivent des inégalités différentielles impliquant les fonctions de distribution $\mu(t) = |\{x \in \Omega : u(x) > t\}|$ et $\phi(t) = |\{x \in \Omega^\sharp : v(x) > t\}|$.
   • Inégalité de Gronwall : Une étape cruciale consiste à appliquer une inégalité de Gronwall généralisée aux inégalités différentielles dérivées de la formulation faible de l'équation du $p$-Laplacien, permettant la comparaison des normes intégrales.

Principales contributions et résultats
L'article établit des résultats de comparaison de type Talenti dans les espaces de Lorentz $L^{\lambda, q}$. Les théorèmes principaux fournissent des comparaisons ponctuelles et basées sur les normes entre la solution $u$ sur la variété et la solution $v$ sur l'espace modèle.

• Terme source général ($f$) : Pour un terme source non négatif général $f$, les auteurs prouvent que sous la condition de normalisation (1.7), les normes de Lorentz de $u$ sont bornées par celles de $v$ (mises à l'échelle par $\theta_\kappa$). Spécifiquement :
  $$\|u\|_{L^{\lambda, 1}(\Omega)} \leq \theta_\kappa^{1/\lambda} \|v\|_{L^{\lambda, 1}(\Omega^\sharp)}$$
  et des estimations similaires sont valables pour les normes $L^{\lambda, q}$, à condition que les paramètres $\lambda$ et $p$ satisfassent des contraintes spécifiques dépendant de la dimension $n$ et du cas de courbure ($\kappa=0$ ou $1$).

• Terme source constant ($f \equiv 1$) : Dans le cas particulier où $f \equiv 1$, les auteurs dérivent une comparaison ponctuelle plus forte :
  $$u^\sharp(x) \leq \theta_\kappa v(x), \quad \forall x \in \Omega^\sharp$$
  Ceci est vrai lorsque $1 \leq p \leq \frac{n}{n-1}$. Pour $p > \frac{n}{n-1}$, le résultat ponctuel est remplacé par des estimations de norme de Lorentz optimales.

• Relâchement des contraintes : Une conclusion significative est que le cadre de Neumann admet des contraintes plus faibles sur les paramètres de normalisation par rapport au cas de Robin. Les auteurs démontrent que l'argument de comparaison n'est pas restreint à des choix spécifiques de l'exposant $q$, soulignant une flexibilité caractéristique des problèmes de Neumann due à l'invariance par translation additive.

Signification et affirmations
L'article affirme étendre la théorie classique de la comparaison de Talenti, initialement développée pour les problèmes de Dirichlet dans l'espace euclidien, aux problèmes de Neumann sur des variétés riemanniennes à courbure de Ricci non négative.

• Nouveauté de la normalisation : Les auteurs soulignent que leur approche résout l'ambiguïté des solutions de Neumann grâce à une condition de normalisation flexible impliquant les moments de frontière. Ils soutiennent que cette flexibilité est une caractéristique unique du cadre de Neumann, distinguant ce dernier du cas de Robin où les conditions aux limites imposent des contraintes plus strictes.
• Optimalité des hypothèses : L'article suggère que les contraintes dérivées sur les paramètres (telles que la plage de $\lambda$) sont probablement optimales pour la méthode actuelle, tout en notant que l'identification de l'ensemble minimal absolu d'hypothèses pour de tels résultats de comparaison reste un problème ouvert.
• Contexte : Ce travail s'appuie sur les extensions antérieures des idées de Talenti aux variétés (cas de Dirichlet et de Robin) et généralise le $p$-Laplacien aux conditions de Neumann, fournissant un cadre unifié pour les variétés compactes et non compactes à courbure de Ricci non négative.

En résumé, l'article fournit un cadre rigoureux pour comparer les solutions des problèmes de Neumann du $p$-Laplacien sur des espaces courbes à leurs contreparties symétriques dans des espaces modèles, produisant des inégalités fonctionnelles nettes dans les espaces de Lorentz sous des hypothèses géométriques et de normalisation appropriées.