Hölder regularity for the parabolic perturbed fractional 1-Laplace equations

1. Problème Étudié

L'article se concentre sur l'étude de la régularité des solutions faibles d'une classe d'équations paraboliques non locales, spécifiquement l'équation perturbée du 1-Laplacien fractionnaire :

$$\partial_t u + (-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0$$

où :

• $p \in (1, +\infty)$ est l'exposant de croissance.
• $s_1, s_p \in (0, 1)$ sont les indices de différentiabilité fractionnaire.
• L'opérateur $(-\Delta_1)^{s_1}$ représente le 1-Laplacien fractionnaire (défini via une intégrale au sens de la valeur principale de Cauchy avec un noyau singulier de type $1/|x-y|^{N+s_1}$).
• L'opérateur $(-\Delta_p)^{s_p}$ est le $p$-Laplacien fractionnaire standard.

Ce modèle combine deux structures de marche aléatoire distinctes, conduisant à une croissance non homogène de type $(1, p)$. Le défi principal réside dans la nature non différentiable du terme de croissance 1 (associé au 1-Laplacien), qui empêche l'utilisation directe des techniques classiques de régularité (comme les approximations par mollification locale) et introduit une fonction auxiliaire $Z$ (élément du sous-différentiel) dont la régularité ponctuelle est difficile à contrôler.

2. Méthodologie

Les auteurs développent une théorie de régularité nouvelle pour ces équations non locales paraboliques, en combinant plusieurs techniques avancées :

• Quotients Différentiels et Estimations Énergétiques : La méthode repose sur l'analyse des quotients différentiels $\tau_h u(x) = u(x+h) - u(x)$. Les auteurs dérivent des inégalités de type Caccioppoli pour ces quotients, permettant d'extraire des informations sur la régularité de Sobolev.
• Décomposition Locale/Non Locale : Une étape clé consiste à décomposer les intégrales non locales en composantes locales et non locales. Cela permet de traiter séparément les contributions du terme singulier du 1-Laplacien et du terme $p$-Laplacien, en particulier pour gérer la fonction auxiliaire $Z \in \text{sgn}(u(x,t)-u(y,t))$.
• Mollification Temporelle : Pour traiter la dérivée temporelle $\partial_t u$ dans le cadre des solutions faibles, les auteurs utilisent une technique de mollification dans la direction du temps. Ils établissent une convergence robuste (Lemme 2.10) pour garantir la stabilité de la formulation faible lors de l'utilisation de la solution elle-même comme fonction test.
• Arguments Itératifs (Bootstrap) :
  • Pour le cas super-quadratique ($p \ge 2$) et sous-quadratique ($1 < p < 2$), ils utilisent des schémas itératifs pour améliorer progressivement l'intégrabilité et la différentiabilité de Sobolev des solutions.
  • Ils établissent des inégalités de récurrence sur les normes de Sobolev fractionnaires pour montrer que la régularité spatiale peut être améliorée jusqu'à atteindre un seuil critique.
• Estimation de la Queue (Tail) : L'analyse intègre soigneusement la « queue » non locale (Tail) de la solution, qui est essentielle pour les équations fractionnaires, en supposant une borne locale sur l'énergie de la queue.

3. Résultats Principaux

Le résultat central est l'établissement de la continuité Hölder locale des solutions faibles dans le domaine parabolique.

Théorème 1.3 (Régularité Hölderienne) :
Soit $u$ une solution faible localement bornée. Alors $u$ est localement Hölderienne, avec :

• Continuité spatiale : $u$ est $\alpha$-Hölderienne en espace, où l'exposant $\alpha$ satisfait :
  $$0 < \alpha < \min\left\{1, \frac{s_p p}{p-1}\right\}$$
  Cette borne supérieure reflète l'influence restrictive du terme de croissance 1. Sans ce terme, l'exposant serait plus élevé (notamment $\alpha < 1$ pour $p \ge 2$).
• Continuité temporelle : $u$ est $\gamma$-Hölderienne en temps, où $\gamma$ dépend des paramètres structurels $s_1, s_p$ et $p$. L'exposant optimal $\Gamma$ est donné par :
  $$\Gamma = \begin{cases} \frac{1}{\max\{s_1, s_p p\} + 1} & \text{si } s_p \ge \frac{p-1}{p} \\ \frac{s_p p}{(p-1)\max\{s_1, s_p p\} + s_p p} & \text{si } 0 < s_p < \frac{p-1}{p} \end{cases}$$

Régularité de Sobolev :
Avant d'obtenir la continuité Hölderienne, les auteurs prouvent la régularité de Sobolev des solutions :

• Pour $p \ge 2$ et $s_p < \frac{p-1}{p}$, $u \in L^q_{loc}(I; W^{\alpha, q}_{loc}(\Omega))$ pour tout $\alpha < \frac{s_p p}{p-1}$.
• Pour $s_p > \frac{p-1}{p}$, la solution possède une dérivée spatiale faible ($u \in W^{1, q}_{loc}$).
  Ces résultats sont valables pour les cas super-quadratiques et sous-quadratiques, avec des constantes quantitatives dépendant uniquement des paramètres structurels de l'équation.

4. Contributions Clés et Innovations

1. Première théorie de régularité pour ce modèle : À la connaissance des auteurs, c'est la première tentative de développer une théorie de régularité complète pour les équations paraboliques de type 1-Laplacien fractionnaire perturbé.
2. Gestion de la non-différentiabilité du terme 1 : L'article surmonte l'obstacle majeur posé par la non-différentiabilité du 1-Laplacien (qui empêche l'usage direct des méthodes de différence finie classiques) en introduisant une décomposition astucieuse des termes non locaux et en contrôlant la fonction auxiliaire $Z$ via des inégalités algébriques spécifiques.
3. Optimalité des exposants : Les auteurs démontrent que leurs estimations sont essentiellement optimales par rapport aux exposants de Hölder. Ils expliquent que toute amélioration supplémentaire est limitée par la représentation imparfaite de la fonction $Z$ via les quotients différentiels et son comportement potentiellement discontinu.
4. Distinction des régimes de croissance : L'article met en lumière comment la présence du terme de croissance 1 modifie fondamentalement la régularité par rapport aux modèles classiques de croissance $(p, q)$, réduisant significativement l'intervalle admissible pour l'exposant de Hölder spatial.

5. Signification et Impact

Ce travail comble un vide important dans la théorie des équations aux dérivées partielles non locales.

• Théorique : Il étend la théorie de la régularité de De Giorgi-Nash-Moser et des méthodes de différences finies à un cadre hybride complexe combinant croissance 1 et croissance $p$ dans un contexte non local et parabolique.
• Applications potentielles : Ces équations apparaissent dans des modèles de mécanique des fluides et de science des matériaux (comme mentionné dans l'introduction, liées au modèle parabolique perturbé du 1-Laplacien classique). La compréhension de la régularité des solutions est cruciale pour la simulation numérique et l'analyse physique de ces phénomènes.
• Méthodologique : Les techniques développées, notamment la gestion des termes non locaux via la décomposition et la mollification temporelle adaptée aux solutions faibles, offrent un cadre robuste qui pourrait être appliqué à d'autres équations non locales avec des structures de croissance singulières.

En résumé, cet article établit des fondations solides pour l'analyse qualitative des solutions d'équations paraboliques non linéaires et non locales avec des singularités de croissance, en fournissant des estimations précises et quantitatives de leur régularité.