Blow-up exponents and a semilinear elliptic equation for the fractional Laplacian on hyperbolic spaces

1. Problématique et Contexte

L'article s'intéresse à l'analyse de deux problèmes interconnectés sur l'espace hyperbolique réel $H^n$ ($n \ge 2$), en présence de l'opérateur Laplacien fractionnaire $\Delta^\sigma$ ($\sigma \in (0,1)$) :

1. Le problème de Fujita fractionnaire : L'étude de l'équation de la chaleur fractionnaire semi-linéaire avec un terme de réaction exponentiel dans le temps :
   $$\partial_t u + \Delta^\sigma u = e^{\beta t}|u|^{\gamma-1}u$$
   L'objectif est de déterminer l'exposant critique de Fujita $\gamma^*$ qui sépare le comportement des solutions : explosion en temps fini (blow-up) pour les petites données initiales si $\gamma < \gamma^*$, et existence de solutions globales pour des données suffisamment petites si $\gamma \ge \gamma^*$.

2. L'équation elliptique fractionnaire semi-linéaire : L'étude de l'équation stationnaire associée :
   $$\Delta^\sigma v - \lambda^\sigma v - v^\gamma = 0$$
   où $0 \le \lambda \le \lambda_0$ et $\lambda_0 = (n-1)^2/4$ est le fond du spectre de $\Delta$ sur $H^n$. La résolution de cette équation est cruciale pour traiter le cas critique du problème de Fujita.

Contexte spécifique : Contrairement à l'espace euclidien où l'effet Fujita se manifeste pour $\gamma \le 1 + 2/n$, sur l'espace hyperbolique (à courbure négative constante), le phénomène Fujita classique n'existe pas pour l'équation de la chaleur standard (les solutions globales existent pour tout $\gamma > 1$ avec de petites données). Cependant, l'introduction d'un terme source exponentiel $e^{\beta t}$ rétablit une dichotomie de type Fujita. Cet article généralise ces résultats au cadre fractionnaire $\Delta^\sigma$.

2. Méthodologie

Les auteurs développent une approche analytique sophistiquée combinant l'analyse harmonique sur les espaces symétriques, la théorie des semi-groupes et les méthodes variationnelles.

• Estimations du noyau de la chaleur fractionnaire : Une partie centrale du travail repose sur des estimations précises (bornes supérieures et inférieures) du noyau de la chaleur fractionnaire $P^\sigma_t(x)$ sur $H^n$. Ces estimations diffèrent significativement du cas euclidien et sont essentielles pour contrôler le comportement asymptotique des solutions.
• Inégalité de Poincaré fractionnaire nouvelle : Le cœur théorique de l'article est l'établissement d'une nouvelle inégalité de type Poincaré. Les auteurs définissent une nouvelle échelle d'espaces de Sobolev fractionnaires $H_{\lambda, \sigma}$ basée sur la norme $\|(\Delta^\sigma - \lambda^\sigma)^{1/2} u\|_2$. Ils prouvent que pour $\lambda = \lambda_0$, cet espace est strictement plus grand que l'espace de Sobolev standard $H^\sigma$, mais admet tout de même des plongements continus et compacts.
• Théorème de plongement compact (Radialité) : Pour surmonter le manque de compacité inhérent aux espaces non compacts comme $H^n$, les auteurs restreignent leur analyse aux fonctions radiales. Ils établissent un théorème de type Rellich-Kondrachov pour le plongement $H_{\lambda, \sigma}^{rad} \hookrightarrow L^q$ dans la plage critique $2 < q < \frac{2n}{n-2\sigma}$. La preuve utilise des techniques d'analyse harmonique (fonctions sphériques, transformée de Fourier sur les groupes) et des estimations de décroissance exponentielle à l'infini.
• Méthodes variationnelles et principe de comparaison : Pour l'équation elliptique, ils utilisent le théorème du point critique sur la variété de Nehari pour obtenir des solutions faibles, puis établissent leur régularité et leur bornitude via des arguments de régularité bootstrap et des estimations de noyaux de convolution. Pour le problème d'évolution, ils utilisent un principe de comparaison basé sur des sur/sous-solutions.

3. Résultats Principaux

A. Exposant de Fujita Fractionnaire (Théorème A)

Les auteurs déterminent l'exposant critique $\gamma^*$ pour l'équation (1.3) :
$$\gamma^* = 1 + \frac{\beta}{\lambda_0^\sigma}$$
où $\lambda_0 = (n-1)^2/4$.

• Cas sous-critique ($1 < \gamma < \gamma^*$) : Toute solution non triviale et non négative explose en temps fini, quelle que soit la taille de la donnée initiale.
• Cas sur-critique et critique ($\gamma \ge \gamma^*$) : Il existe des solutions globales classiques non négatives pour des données initiales $f$ suffisamment petites.
  • Pour $\gamma > \gamma^*$, l'existence est prouvée par des méthodes de point fixe et des estimations de noyaux.
  • Pour le cas critique $\gamma = \gamma^*$, la preuve nécessite la construction d'une sur-solution globale, ce qui ramène au problème elliptique (Théorème B).

B. Existence de solutions pour l'équation elliptique (Théorème B)

Pour $0 \le \lambda \le \lambda_0$ et $1 < \gamma < \frac{n+2\sigma}{n-2\sigma}$, l'équation $\Delta^\sigma v - \lambda^\sigma v - v^\gamma = 0$ admet au moins une solution non triviale, non négative, radiale et bornée.

• La solution appartient à $L^q(H^n)$ pour tout $q \in (2, \infty]$.
• L'énergie associée $\int_{H^n} (|\Delta^{\sigma/2}v|^2 - \lambda^\sigma v^2) d\mu$ est finie.
• La régularité est classique : $v \in C^{0, 2\sigma+\epsilon}$ si $\sigma < 1/2$ et $v \in C^{1, 2\sigma-1+\epsilon}$ si $\sigma \ge 1/2$.

C. Inégalité de Poincaré Fractionnaire (Théorème C)

C'est le résultat technique fondamental. Pour $\sigma \in (0,1)$ et $2 < q \le \frac{2n}{n-2\sigma}$, il existe $C > 0$ tel que pour tout $\phi \in C_c^\infty(H^n)$ :
$$\int_{H^n} (|\Delta^{\sigma/2}\phi|^2 - \lambda_0^\sigma \phi^2) d\mu \ge C \|\phi\|_q^2$$
Cette inégalité définit une norme sur un espace $H_{\lambda_0, \sigma}$ qui n'est pas équivalent à l'espace de Sobolev standard $H^\sigma$, mais qui possède des propriétés de plongement similaires.

D. Généralisation aux espaces symétriques

Les résultats, notamment l'inégalité de Poincaré et les résultats de Fujita (hors cas critique très spécifique), s'étendent aux espaces symétriques riemanniens de type non compact de rang 1, et partiellement aux rangs supérieurs.

4. Contributions Clés et Innovation

1. Détermination complète de l'exposant de Fujita fractionnaire sur $H^n$ : C'est la première fois que le problème de Fujita est résolu de manière complète pour l'opérateur fractionnaire sur un espace de courbure négative, incluant le cas critique.
2. Nouvelle échelle d'espaces de Sobolev : La définition et l'étude de l'espace $H_{\lambda_0, \sigma}$ associé à l'opérateur $(\Delta^\sigma - \lambda_0^\sigma)^{1/2}$ constituent une avancée analytique majeure. Les auteurs montrent que bien que cet espace soit plus grand que $H^\sigma$, il conserve des propriétés de compacité cruciales pour les fonctions radiales.
3. Inégalité de Poincaré renforcée : L'inégalité démontrée est plus forte que les inégalités de Poincaré fractionnaires connues précédemment (comme celles basées sur $(\Delta - \lambda_0)^{\sigma/2}$), car elle exploite la structure spectrale spécifique de $\Delta^\sigma$ près du fond du spectre.
4. Techniques hybrides : L'article combine avec succès l'analyse microlocale (estimations de noyaux), l'analyse harmonique sur les groupes de Lie (transformée de Fourier sphérique, phénomène Kunze-Stein) et les méthodes variationnelles non linéaires.

5. Signification et Impact

Ce travail comble un vide important dans la théorie des équations aux dérivées partielles non locales sur les variétés riemanniennes. Il démontre que la géométrie hyperbolique (courbure négative) et le spectre du Laplacien jouent un rôle déterminant dans la dynamique des solutions, modifiant radicalement les seuils d'explosion par rapport au cas euclidien.

La méthodologie développée, en particulier l'usage de l'inégalité de Poincaré adaptée et des espaces de Sobolev fractionnaires modifiés, offre un cadre robuste pour étudier d'autres problèmes non linéaires sur les espaces symétriques de type non compact. Les résultats ouvrent également la voie à l'étude de problèmes similaires sur des variétés plus générales de courbure négative.