Blow-up of solutions to semilinear parabolic equations driven by mixed local-nonlocal operators with large initial data

Résumé technique : Explosion des solutions d'équations paraboliques semi-linéaires pilotées par des opérateurs mixtes locaux-non locaux avec de grandes données initiales

Énoncé du problème
L'article étudie l'explosion en temps fini des solutions non négatives du problème de Cauchy pour des équations paraboliques semi-linéaires pilotées par un opérateur mixte local–non local $L$. L'équation est donnée par :
$$\begin{cases} \partial_t u + Lu = f(u) & \text{dans } \mathbb{R}^N \times (0, +\infty), \\ u(\cdot, 0) = u_0 & \text{dans } \mathbb{R}^N, \end{cases}$$
où l'opérateur est défini par $L = -a\Delta + b(-\Delta)^s$ avec des paramètres $a \ge 0$ et $b > 0$. Le terme de réaction $f$ satisfait des hypothèses structurelles incluant la continuité lipschitzienne locale, la convexité, une croissance sur-linéaire à l'infini et la condition d'Osgood ($\int_1^\infty \frac{dz}{f(z)} < \infty$). Le cas prototype est $f(u) = u^p$ avec $p > 1$.

Alors que la littérature couvre extensivement le cas purement local ($a=1, b=0$) et le cas purement non local ($a=0, b=1$), et que des travaux antérieurs (spécifiquement [8]) ont établi l'explosion pour de petites valeurs de $p$ ($p \le 1 + 2s/N$) avec des données non triviales arbitraires, cette étude se concentre sur le régime où la donnée initiale $u_0$ est suffisamment grande. L'objectif principal est de prouver que pour tout $p > 1$, si la donnée initiale est suffisamment grande, la solution explose en temps fini, même en présence de l'opérateur mixte.

Méthodologie
Les auteurs adaptent la méthode de Kaplan (développée à l'origine pour l'équation de la chaleur) au cadre des opérateurs mixtes. Le cœur de la méthodologie comprend trois étapes principales :

1. Construction d'une fonction de Kaplan : Les auteurs définissent une « fonction de Kaplan » $\kappa$ comme une fonction positive, lisse et intégrable satisfaisant l'inégalité de sous-solution $-L\kappa + \lambda\kappa \ge 0$ ponctuellement dans $\mathbb{R}^N$ pour un certain $\lambda > 0$.

   • Contrairement au cas purement local où la fonction de Kaplan est une gaussienne ($e^{-k|x|^2}$), les auteurs construisent explicitement une fonction de Kaplan adaptée à l'opérateur mixte. La fonction construite prend la forme :
     $$\kappa(x) = C \varepsilon^{N/2} (1 + \varepsilon|x|^2)^{-\beta}$$
     où $C, \varepsilon, \beta$ sont des constantes positives.
   • La construction nécessite une manipulation attentive de la partie non locale $(-\Delta)^s$. Les auteurs utilisent les propriétés de la fonction hypergéométrique et des arguments d'échelle pour estimer l'action de $L$ sur $\kappa$, garantissant que l'inégalité est vérifiée pour $\lambda$ suffisamment grand.

2. Dérivation d'une inégalité différentielle : Pour une solution $u(t)$, les auteurs définissent une fonctionnelle $\Phi(t) = \int_{\mathbb{R}^N} \kappa(x) u(x,t) \, dx$. En multipliant l'EDP par $\kappa$ et en intégrant, ils dérivent l'inégalité différentielle ordinaire :
   $$\Phi'(t) + \lambda \Phi(t) \ge f(\Phi(t))$$
   Cette dérivation repose sur l'intégration par parties pour la partie locale et sur des identités intégrales spécifiques (impliquant la forme bilinéaire $B(f,g)$) pour la partie non locale. Crucialement, ils emploient des fonctions de coupure et des arguments de limite ($R \to \infty$) pour traiter les termes de queue non locaux, en s'appuyant sur les propriétés d'intégrabilité du $\kappa$ construit.

3. Analyse de l'explosion : Les auteurs montrent que si la donnée initiale satisfait $\Phi(0) > s_f(\lambda)$ (où $s_f(\lambda)$ est un seuil dérivé du terme de réaction), la solution de l'inégalité différentielle explose en temps fini. Cela implique la non-existence de solutions classiques globales pour l'EDP originale.

Résultats clés

• Critère général d'explosion (Théorème 3.4) : L'article établit une condition générale pour l'explosion en temps fini. Si une fonction de Kaplan $\kappa$ existe satisfaisant des bornes spécifiques de régularité et de décroissance, et si la donnée initiale $u_0$ satisfait $\int_{\mathbb{R}^N} \kappa u_0 \, dx > s_f(\lambda)$, alors aucune solution classique globale n'existe.
• Construction explicite (Théorème 3.7) : Les auteurs construisent explicitement la fonction de Kaplan $\kappa_\varepsilon(x) \propto (1 + \varepsilon|x|^2)^{-\beta}$ pour l'opérateur mixte $L = -a\Delta + b(-\Delta)^s$. Ils prouvent que pour $\beta > N/2$, cette fonction satisfait l'inégalité de sous-solution requise pour une plage spécifique de $\lambda$ dépendant du paramètre d'échelle $\varepsilon$.
• Théorème principal (Théorème 3.9) : En combinant le critère général avec la construction explicite, les auteurs prouvent que pour l'opérateur mixte, si la donnée initiale est suffisamment grande (quantifiée par l'inégalité 3.32), la solution explose en temps fini.
• Récupération de résultats connus (Théorème 3.10) : En corollaire, les auteurs appliquent leur résultat principal au cas $f(u) = u^p$ avec $1 < p < 1 + 2s/N$. Ils démontrent que pour cette plage de $p$, l'explosion se produit pour toute donnée initiale non triviale (pas seulement les grandes), récupérant ainsi le résultat précédemment établi dans [8] par des méthodes différentes.

Portée et affirmations
Les auteurs affirment que leur résultat est nouveau même dans le cas particulier du laplacien fractionnaire ($a=0, b=1$). Alors que l'explosion pour de grandes données initiales est bien connue pour l'équation de la chaleur classique, étendre cela au cas fractionnaire et au cadre des opérateurs mixtes a nécessité de surmonter des obstacles techniques significatifs liés à la nature non locale de l'opérateur.

Plus spécifiquement, l'article met en évidence :

• La nécessité d'une forme différente pour la fonction de Kaplan dans le cadre mixte/non local par rapport au cadre local classique.
• L'adaptation réussie de la méthode de Kaplan aux opérateurs impliquant des laplaciens fractionnaires, ce qui est non trivial en raison de l'absence de formules locales explicites pour l'action de l'opérateur sur les fonctions tests.
• La fourniture d'une condition explicite et vérifiable sur la donnée initiale garantissant l'explosion pour tout $p > 1$ dans le contexte de l'opérateur mixte.

Ce travail contribue à la théorie qualitative des équations paraboliques mixtes locales-non locales, un domaine d'intérêt croissant en raison de ses applications en dynamique stochastique (combinant diffusion et processus de saut) et dans les modèles de recherche optimale de nourriture. L'article ne propose pas de nouvelles applications mais consolide plutôt le fondement théorique pour comprendre le comportement à long terme des solutions dans ce cadre d'opérateur spécifique.