The fractional $p$-Laplacian on hyperbolic spaces

Résumé Technique : Le $p$-laplacien fractionnaire sur les espaces hyperboliques

Énoncé du Problème
L'article traite de la définition et de l'analyse du $p$-laplacien fractionnaire, noté $(−\Delta_{\mathbb{H}^n})^s_p$, sur les espaces hyperboliques $\mathbb{H}^n$ pour $n \in \mathbb{N}$, $0 < s < 1$, et $p > 1$. Bien que les opérateurs fractionnaires soient largement étudiés dans les espaces euclidiens $\mathbb{R}^n$ et divers autres contextes géométriques (variétés riemanniennes, espaces de mesure métriques, etc.), l'absence de transformée de Fourier dans les contextes non linéaires et la structure géométrique spécifique de l'espace hyperbolique empêchent l'application directe des définitions standards. Plus précisément, les auteurs notent que les définitions reposant sur la transformée de Fourier sont indisponibles pour les opérateurs non linéaires, et que toutes les définies de laplaciens fractionnaires (par exemple, régionaux vs spectraux) ne sont pas équivalentes sur les variétés riemanniennes générales. Le défi principal consiste à établir un ensemble rigoureux de définitions équivalentes pour le $p$-laplacien fractionnaire non linéaire sur $\mathbb{H}^n, avec des constantes de normalisation explicites permettant l'étude de la convergence ponctuelle vers le$p$-laplacien standard lorsque $s \to 1^-$.

Méthodologie
Les auteurs emploient une approche multidimensionnelle combinant la géométrie hyperbolique, l'analyse du noyau de la chaleur et les propriétés asymptotiques des fonctions spéciales :

1. Cadre Géométrique : L'étude utilise le modèle de l'hyperboloïde de $\mathbb{H}^n$ équipé de la métrique lorentzienne. La fonction de distance $d(x, \xi)$ et l'élément de volume $\sinh^{n-1} r \, dr \, d\omega$ sont centraux dans les formulations intégrales.
2. Représentation par Semi-groupe de la Chaleur : Les auteurs relient l'opérateur fractionnaire au semi-groupe de la chaleur $\{e^{t\Delta_{\mathbb{H}^n}}\}_{t \geq 0}$ généré par le laplacien sur $\mathbb{H}^n$. Ils utilisent des formules explicites pour le noyau de la chaleur $h(t, \rho)$ sur les espaces hyperboliques, en distinguant les dimensions impaires et paires, lesquelles impliquent des dérivées du noyau de la chaleur par rapport à la distance $\rho$.
3. Fonctions de Bessel Modifiées : Les noyaux des opérateurs fractionnaires sont exprimés à l'aide de fonctions de Bessel modifiées de seconde espèce, $K_\nu$. Les auteurs exploitent les représentations intégrales et les comportements asymptotiques de $K_\nu$ (lorsque $\rho \to 0^+$ et $\rho \to \infty$) pour analyser les noyaux singuliers.
4. Extension de Caffarelli–Silvestre : L'article étudie le problème d'extension sur $\mathbb{H}^n \times (0, \infty)$, reliant l'opérateur fractionnaire à une application de Dirichlet-à-Neumann. Cela implique la construction d'un noyau de Poisson $P(\rho, y)$ et d'un opérateur d'extension $E_{s,p}$.
5. Analyse Asymptotique pour la Convergence : Pour prouver la convergence de $(−\Delta_{\mathbb{H}^n})^s_p$ vers le $p$-laplacien quand $s \to 1^-$, les auteurs effectuent une analyse asymptotique détaillée des intégrales impliquant les constantes de normalisation $c_{n,s,p}$ et les noyaux $K_{n,s,p}$. Ils utilisent des développements de Taylor et le théorème de la convergence dominée, en manipulant soigneusement l'élément de volume $\sinh^{n-1} \rho$ qui diffère du facteur euclidien $\rho^{n-1}$.

Contributions Clés et Résultats

1. Trois Définitions Équivalentes : L'article établit trois définitions équivalentes du $p$-laplacien fractionnaire sur $\mathbb{H}^n$, fournissant des constantes de normalisation explicites pour chacune :

   • Définition par Intégrale Singulière (Définition 1.1) : Une représentation intégrale ponctuelle impliquant un noyau singulier $K_{n,s,p}(\rho)$. Le noyau est défini explicitement à l'aide de fonctions de Bessel modifiées et de dérivées par rapport à la distance, avec des formules distinctes pour les dimensions impaires et paires.
   • Définition par Semi-groupe de la Chaleur (Théorème 1.3) : L'opérateur est représenté comme une intégrale sur le temps du semi-groupe de la chaleur appliqué à une fonction non linéaire $\Phi_p(u(x) - u(\cdot))$. La constante $C_2$ est explicitement dérivée.
   • Définition par Problème d'Extension (Théorème 1.4) : L'opérateur est réalisé comme une limite d'une dérivée normale pondérée d'une solution à un problème d'extension elliptique dégénéré dans le demi-espace $\mathbb{H}^n \times (0, \infty)$. La constante $C_3$ est explicitement fournie.

2. Constantes de Normalisation Explicites : Une contribution critique est la dérivation des constantes de normalisation précises ($c_{n,s,p}, C_1, C_2, C_3, C_4$) impliquant des fonctions Gamma et des puissances de 2 et $\pi$. Ces constantes sont choisies spécifiquement pour assurer le comportement limite correct lorsque $s \to 1^-$.

3. Asymptotique du Noyau (Proposition 1.2 & Théorème 1.2) : Les auteurs caractérisent le comportement du noyau $K_{n,s,p}(\rho)$. Ils montrent que près de l'origine ($\rho \to 0^+$), le noyau se comporte comme le noyau singulier euclidien $\rho^{-n-sp}$, tandis qu'à l'infini ($\rho \to \infty$), il présente une décroissance exponentielle due à la géométrie hyperbolique ($\sim \rho^{-1-sp/2} e^{-(n-1)\rho}$). Cela confirme la bien-définition de l'opérateur pour les fonctions $C^2$ bornées.

4. Convergence Ponctuelle (Théorème 1.5) : Le principal résultat de convergence stipule que pour $u \in C^2_b(\mathbb{H}^n)$ et $x \in \mathbb{H}^n$ où $\nabla u(x) \neq 0$,
   $$\lim_{s \to 1^-} (-\Delta_{\mathbb{H}^n})^s_p u(x) = (-\Delta_{\mathbb{H}^n})_p u(x)$$
   où $(-\Delta_{\mathbb{H}^n})_p$ est le $p$-laplacien standard sur l'espace hyperbolique. La preuve repose sur les constantes explicites et l'analyse asymptotique des intégrales du noyau par rapport à l'élément de volume, montrant que le facteur de volume non euclidien n'empêche pas la convergence vers l'opérateur local.

Signification
L'article revendique sa signification principalement par l'extension des formules de représentation pour les opérateurs fractionnaires du cas linéaire ($p=2$) établies dans des travaux précédents (par exemple, [2]) au régime non linéaire ($p > 1$) sur les espaces hyperboliques. En fournissant des constantes de normalisation explicites, les auteurs permettent l'étude rigoureuse de la limite $s \to 1^-$, une propriété essentielle pour connecter les modèles fractionnaires aux modèles locaux en analyse géométrique. Ce travail souligne que, bien que les méthodes basées sur la transformée de Fourier échouent dans ce cadre non linéaire, la structure riche de l'espace hyperbolique (spécifiquement les représentations du noyau de la chaleur et du noyau de Poisson) permet une définition robuste du $p$-laplacien fractionnaire. Les constantes explicites sont notées comme cruciales pour les applications en théorie de la régularité. Les auteurs ne proposent pas de nouvelles applications expérimentales ou de directions futures au-delà de l'établissement mathématique de ces définitions et de leurs propriétés de convergence.