On the Fujita Phenomenon for a Forced Spatio-Temporal Fractional Diffusion Equation

Résumé Technique : Sur le phénomène de Fujita pour une équation de diffusion fractionnaire spatio-temporelle forcée

Énoncé du Problème
Cet article étudie le problème de Cauchy pour une équation de diffusion spatio-temporelle fractionnaire semi-linéaire soumise à un terme de forçage externe dépendant du temps. L'équation est donnée par :
$$\partial_t^\alpha u + (-\Delta)^s u = |u|^p + t^\sigma w(x), \quad (t, x) \in (0, \infty) \times \mathbb{R}^N,$$
avec la condition initiale $u(0, x) = u_0(x) \geq 0$. Ici, $\partial_t^\alpha$ désigne la dérivée fractionnaire de Caputo d'ordre $\alpha \in (0, 1)$, $(-\Delta)^s$ est le Laplacien fractionnaire d'ordre $s \in (0, 1)$, $p > 1$ est l'exposant de non-linéarité, et $\sigma > -\alpha$ caractérise la croissance ou la décroissance temporelle du terme de forçage $w(x)$. L'objectif principal est de caractériser le « phénomène de Fujita » — spécifiquement, d'identifier l'exposant critique $p_F$ qui sépare le régime d'explosion en temps fini du régime d'existence globale.

Méthodologie
Les auteurs emploient une combinaison d'analyse fonctionnelle, de calcul fractionnaire et d'arguments d'échelle pour analyser le problème :

1. Cadre de Solution Douce (Mild Solution) : L'étude utilise la formule de représentation de Duhamel, exprimant la solution $u$ comme la somme de trois composantes : l'évolution linéaire des données initiales ($Lu_0$), le terme de réaction non linéaire ($Nu$), et le terme de forçage ($Sw$). Cela repose sur les noyaux de solutions fondamentales $Z(t, x)$ et $Y(t, x)$ associés à l'opérateur linéaire $\partial_t^\alpha + (-\Delta)^s$.
2. Estimations de Noyaux : Une analyse rigoureuse des propriétés d'échelle, d'intégrabilité et de régularité des noyaux $Z$ et $Y$ est menée. Ces estimations, dérivées de la structure auto-similaire des solutions fondamentales, sont essentielles pour établir des contractions dans des espaces de Lebesgue appropriés.
3. Arguments de Point Fixe : Les résultats d'existence locale et globale sont prouvés en utilisant le théorème du point fixe de Banach dans des espaces de fonctions appropriés (spécifiquement $L^\infty(0, T; L^q(\mathbb{R}^N))$ et des espaces pondérés impliquant une décroissance temporelle).
4. Méthode de la Fonction de Test (Non-existence) : Pour prouver les résultats d'explosion, les auteurs adaptent la méthode de la fonction de test. Ils construisent une fonction de test redimensionnée $\psi_R(t, x)$ et appliquent des formules d'intégration par parties fractionnaires (impliquant la dérivée de Riemann-Liouville à droite) pour dériver des inégalités intégrales. En analysant le comportement asymptotique de ces inégalités lorsque le paramètre d'échelle $R \to \infty$, ils dérivent des contradictions pour les exposants sous-critiques.
5. Critères de Moyenne Locale : Pour l'existence globale, l'article introduit un critère basé sur les moyennes locales des données initiales et du terme de forçage sur des boules, plutôt que de s'appuyer uniquement sur la petitesse des normes globales.

Contributions Clés et Résultats

• Bien-posé Localement : L'article établit l'existence et l'unicité locale dans le temps de solutions douces dans $L^q(\mathbb{R}^N)$ pour des données initiales $u_0$ et un forçage $w$ dans $L^q$, à condition que $q$ se situe dans un intervalle spécifique par rapport à l'exposant critique.
• Explosion en Temps Fini (Régime Sous-critique) : Sous l'hypothèse que le terme de forçage possède une masse totale positive ($\int_{\mathbb{R}^N} w(x) dx > 0$), les auteurs prouvent qu'aucune solution faible globale n'existe si l'exposant $p$ est inférieur à un certain seuil critique.
  • Pour $-\alpha < \sigma \leq 0$ et $2s < N$, l'exposant critique est identifié comme :
    $$p^* = \frac{N\alpha - 2s\sigma}{N\alpha - 2s(\alpha + \sigma)}.$$
    Si $1 < p < p^*$, les solutions explosent en temps fini.
  • Si $\sigma > 0$, l'explosion se produit pour tout $p > 1$.
• Existence Globale (Régime Supercritique) :
  • Résultat de Petites Données : Pour $p \geq p^*$, il est prouvé que des solutions globales existent si les données initiales $u_0$ et le terme de forçage $w$ sont suffisamment petits dans leurs normes critiques respectives ($L^{p_c}$ et $L^{r_c}$).
  • Critère d'Existence Robuste : Un résultat d'existence globale plus général est établi pour la plage supercritique. Ce résultat assouplit l'exigence de petitesse globale, exigeant seulement que les moyennes locales de $u_0$ et $w$ sur de grandes boules satisfassent des conditions spécifiques de décroissance et de petitesse. Cela permet des données qui peuvent être grandes dans les normes globales mais qui décroissent de manière appropriée à l'infini.
• Identification de l'Exposant Critique : L'article dérive explicitement le seuil de type Fujita net pour l'équation de diffusion fractionnaire spatio-temporelle complète avec un forçage croissant dans le temps. Les auteurs notent que ce seuil diffère du cas non forcé ($p_F = 1 + \frac{2s\alpha}{N\alpha + 2s(1-\alpha)}$), démontant que le forçage externe accélère le mécanisme d'explosion en abaissant effectivement l'exposant critique.

Signification et Revendications
L'article affirme fournir le premier seuil de type Fujita net pour les équations de diffusion fractionnaire spatio-temporelles complètes avec un forçage externe croissant dans le temps. La signification réside dans :

1. Généralisation : Étendre le phénomène de Fujita classique (originellement pour l'équation de la chaleur) à des modèles combinant des effets de mémoire (temps fractionnaire) et des interactions spatiales à longue portée (Laplacien fractionnaire) avec des sources externes.
2. Impact du Forçage : Quantifier comment la loi de puissance temporelle du terme de forçage ($t^\sigma$) interagit avec les paramètres de diffusion fractionnaire ($\alpha, s$) pour modifier l'exposant critique. Les résultats indiquent que les termes de forçage peuvent contrebalancer les effets régularisateurs de la diffusion fractionnaire, élargissant la plage d'exposants menant à l'explosion.
3. Critères d'Existence Raffinés : Dépasser les hypothèses standard de petitesse dans les normes globales pour fournir des critères d'existence basés sur la distribution spatiale et les moyennes locales des données, offrant une compréhension plus nuancée de la solvabilité globale.

Les auteurs concluent que leurs découvertes analytiques sont soutenues par des simulations numériques en une dimension, qui confirment visuellement la transition prédite entre l'explosion et le comportement borné au niveau de l'exposant critique dérivé.