Fujita-type blow-up for inhomogeneous semilinear heat equations with regularly varying forcing

Résumé Technique : Explosion de type Fujita pour les équations de la chaleur semi-linéaires inhomogènes à forçage à variation régulière

Énoncé du Problème
L'article étudie la non-existence de solutions faibles non négatives globales pour l'équation de la chaleur semi-linéaire inhomogène :
$$\partial_t u - \Delta u = |u|^p + w(x), \quad (t, x) \in (0, \infty) \times \mathbb{R}^N,$$
avec des données initiales $u(0, \cdot) = u_0$. L'accent est mis sur le phénomène d'« explosion » (blow-up), défini ici comme la non-existence de solutions faibles globales dans le temps. Alors que la théorie de Fujita classique ($w \equiv 0$) établit un exposant critique $p_F = 1 + 2/N$, et que le cas forcé avec un forçage intégrable ($w \in L^1$) a été traité par Bandle, Levine et Zhang, ces cadres échouent lorsque le terme de forçage est non intégrable, anisotrope ou croît à l'infini. Les auteurs visent à remplacer l'hypothèse classique d'intégrabilité par une condition quantitative sur la masse spatiale du terme de forçage.

Méthodologie
Le moteur technique central est la méthode de la fonction de test Mitidieri–Pohozaev, combinée à la théorie de la variation régulière (théorie de Karamata).

1. Construction de la Fonction de Test : Les auteurs emploient une famille spécifique de fonctions de test $\psi_T(t, x) = f(t/T)^{p'} g(|x|^2/T)^{2p'}$ (et des variantes anisotropes) pour dériver des inégalités intégrales. En appliquant l'inégalité de Young et en absorbant les termes, ils établissent une borne supérieure sur l'intégrale du terme de forçage par rapport à la fonction de test, dont l'échelle est $T^{1 + N/2 - p'}$.
2. Cadre de la Variation Régulière : Au lieu de supposer $w \in L^1$, les auteurs analysent la fonction de masse spatiale $F(R) = \int_{|x| \le R} w(x) \, dx$. Ils remplacent les bornes inférieures qualitatives par l'hypothèse que $F$ appartient à la classe des fonctions à variation régulière ($RV_\gamma$), ce qui signifie que $F(R) = R^\gamma L(R)$ où $L$ est une fonction variant lentement.
3. Mécanisme de Contradiction : La preuve procède par contradiction. Si une solution globale existe, la borne inférieure dérivée de la condition de masse (d'échelle $T^{\gamma/2} L(\sqrt{T})$) doit être compatible avec la borne supérieure. Les auteurs montrent que pour un $p$ sous-critique, les exposants de $T$ mènent à une contradiction lorsque $T \to \infty$. Au niveau de l'exposant critique, le facteur de variation lente $L(R)$ détermine le résultat ; si $L(R) \to \infty$, une contradiction survient, tandis que si $L(R)$ est borné ou décroissant, la méthode reste « silencieuse ».

Contributions Clés et Résultats

1. Théorème Maître sur l'Explosion (Théorème 3.4)
L'article établit un critère d'explosion unifié basé sur l'indice $\gamma$ de la masse à variation régulière $F(R)$.

• Domaine Sous-critique : Si $F(R)$ satisfait une borne inférieure quantitative (soit $\liminf R^{-\gamma}F(R) > 0$, soit $F \in RV_\gamma$), aucune solution globale n'existe pour $1 < p < p_F(\gamma)$, où :
  $$p_F(\gamma) = \begin{cases} \frac{N-\gamma}{N-\gamma-2} & \text{si } \gamma < N-2, \\ \infty & \text{si } \gamma \ge N-2. \end{cases}$$
• Cas Critique : Si $F \in RV_\gamma$ avec un facteur de variation lente $L(R) \to \infty$, l'explosion se produit même à l'exposant critique $p = p_F(\gamma)$.
• Généralité : Ce cadre récupère le résultat classique $L^1$ ($\gamma=0$) et l'étend aux forçages à masse infinie (ex: $w(x) \sim |x|^{-(N-\gamma)}$).

2. Netteté des Hypothèses (Proposition 4.1)
Les auteurs démontrent que la condition de $\liminf$ dans l'hypothèse de croissance de la masse ne peut pas être remplacée par $\limsup$. Ils construisent un terme de forçage dont la masse est concentrée sur des anneaux séparés par des échelles super-exponentielles de telle sorte que $\limsup R^{-\gamma}F(R) > 0$ mais $\liminf R^{-\gamma}F(R) = 0$. Pour de tels forçages, la condition de variation régulière échoue, et le résultat d'explosion ne tient pas dans l'ensemble du domaine sous-critique, soulignant la nécessité de la structure de variation régulière.

3. Variation Régulière d'Opérateur et Anisotropie (Théorème 7.1)
Pour traiter les forçages ayant des taux de mise à l'échelle différents selon les directions, l'article introduit la variation régulière d'opérateur en utilisant une matrice d'exposant symétrique définie positive $E$.

• L'exposant critique est généralisé à $p_F^E = \frac{q}{q - 2\lambda_{\min}}$, où $q = |E| - \gamma_E$ et $\lambda_{\min}$ est la plus petite valeur propre de $E$.
• Les auteurs fournissent un exemple (Exemple 7.5) où le critère anisotrope est strictement plus fort que tout énoncé isotrope, prouvant que la géométrie du forçage peut modifier de manière significative le seuil d'explosion.

4. Forçages à Changement de Signe et Critères Tauberiens (Théorème 6.7)
Le cadre est étendu à des forçages $w$ qui changent de signe.

• Critère de Masse Nette : L'explosion dépend de la masse nette $F(R) = \int_{|x|\le R} w$.
• Transformée de Gauss-Laplace : Un théorème taubérien permet de vérifier la variation régulière de $F(R)$ via le comportement asymptotique de la transformée de Gauss-Laplace $\Lambda_w(s) = \int e^{-s|x|^2}w(x)dx$ quand $s \to 0^+$. Si la partie négative de $w$ est d'un ordre strictement plus petit, les critères d'explosion s'appliquent à la masse nette.

5. Extensions aux Contextes Non Locaux et Fractionnaires (Section 8)
La méthodologie est adaptée à :

• Les forçages de type potentiel de Riesz : où la source est une convolution $I_\sigma g$.
• Le Laplacien fractionnaire : $\partial_t u + (-\Delta)^s u = |u|^p + w$.
• Le Fonctionnel de Forçage Cumulé ($\Phi$) : Un formalisme unifié (Théorème 8.7) est introduit où la dichotomie d'explosion est déterminée par la comparaison de l'indice de variation régulière $\alpha$ du fonctionnel de forçage cumulé $\Phi(T)$ contre un exposant de fonction de test $\beta(p)$.

Signification et Revendications
L'article affirme fournir un cadre unifié qui transcende les hypothèses classiques d'intégrabilité de la théorie de Bandle–Levine–Zhang. En exploitant la variation régulière, les auteurs :

• Identifient une famille continue d'exposants critiques $p_F(\gamma)$ dépendant du taux de croissance de la masse du forçage.
• Établissent des résultats de netteté, montrant que les conditions de croissance qualitative (comme $\limsup$) sont insuffisantes sans le contrôle structurel de la variation régulière.
• Étendent la théorie aux contextes anisotropes et non locaux, offrant une description des seuils d'explosion qui prend en compte l'échelle directionnelle et la diffusion fractionnaire.
• Clarifient le rôle du facteur de variation lente, montrant que l'amplification ($L(R) \to \infty$) est suffisante pour forcer l'explosion à l'exposant critique, un résultat inaccessible via l'hypothèse $\liminf$ classique seule.

Les auteurs notent que bien que la méthode de la fonction de test fournisse des conditions suffisantes de non-existence, l'optimalité des exposants dérivés (spécifiquement concernant l'existence de solutions globales pour de petites données dans le régime supercritique) reste une question ouverte dans le contexte de ces forçages généralisés.