De Giorgi-Nash-Moser theory for kinetic equations with nonlocal diffusions

Résumé Technique : Théorie de De Giorgi-Nash-Moser pour les Équations Cinétiques à Diffusions Non Locales

Énoncé du Problème
L'article traite de la théorie de la régularité pour une classe d'équations hypoelliptiques non locales issues de la théorie cinétique, spécifiquement des équations de Kolmogorov intégro-différentielles de la forme :
$$(\partial_t + v \cdot \nabla_x)f = L_v f + h$$
où $L_v$ est un opérateur de diffusion non local agissant uniquement sur la variable de vitesse $v$, impliquant typiquement des dérivées fractionnaires (par exemple, un Laplacien fractionnaire $(-\Delta_v)^s$ avec des coefficients irréguliers). Le noyau $K$ satisfait des conditions standard d'ellipticité/coercivité mais peut être dégénéré.

Une difficulté centrale dans ce cadre est l'échec des estimations classiques de De Giorgi-Nash-Moser (DGNM). De récents contre-exemples de Kaßmann et Weidner [45] démontrent que pour de telles équations cinétiques non locales, l'inégalité de Harnack classique et les estimations locales $L^2-L^\infty$ échouent généralement, même pour des solutions stationnaires. Cet échec provient de l'interaction entre la non-localité de la diffusion et le terme de transport anisotrope ($v \cdot \nabla_x$), qui empêche la compensation standard des effets non locaux via les queues de supremum utilisées dans les contextes purement elliptiques ou paraboliques non locaux.

Méthodologie
Les auteurs développent une théorie DGNM affinée, adaptée à la géométrie spécifique des équations cinétiques, régie par une structure de groupe de Lie homogène (transformations galiléennes) et un échelonnage non euclidien. La méthodologie comprend :

1. Cadre Géométrique : L'analyse est menée sur des « cylindres obliques » $Q_r(z_0)$ adaptés à l'échelonnage cinétique $\delta_r(t, x, v) = (r^{2s}t, r^{1+2s}x, rv)$. Cela respecte l'échelonnage intrinsèque de l'opérateur de transport.
2. Contrôle de la Queue : Au lieu d'assumer une bornitude globale ou d'utiliser des queues de supremum, les auteurs introduisent une condition basée sur la sommabilité $L^p$ de la « queue non locale » de la solution le long des variables de dérive. La queue est définie par :
   $$\text{Tail}(f; B_r(v_0)) := r^{2s} \int_{\mathbb{R}^n \setminus B_r(v_0)} \frac{|f(v)|}{|v_0 - v|^{n+2s}} \, dv$$
   L'hypothèse clé est que cette quantité de queue appartient à $L^p_{loc}$ par rapport aux variables de transport $(t, x)$, où $p > N_s/2s$ et $N_s$ est la dimension homogène.
3. Gain d'Intégrabilité (Estimations de Caccioppoli) : La preuve repose sur une nouvelle estimation cinétique de Caccioppoli incorporant le terme de queue. En exploitant la nature hypoelliptique de l'équation et la solution fondamentale de l'équation de Kolmogorov fractionnaire (via une approche de paramétrix), les auteurs établissent un gain local d'intégrabilité pour les sous-solutions faibles. Cela leur permet de contourner l'absence d'une inégalité de Sobolev directe dans l'espace temps-vitesse.
4. Schéma Itératif : Un argument itératif de type De Giorgi est employé, modifié pour gérer la queue non locale. L'itération équilibre les contributions locales avec la contribution de la queue non locale, contrôlée par un paramètre $\delta$.

Contributions et Résultats Clés

• Théorème 1.1 (Estimation $L^2-L^\infty$ $\delta$-interpolative) : Les auteurs prouvent une estimation de bornitude locale pour les sous-solutions faibles. La norme $L^\infty$ de la solution sur un cylindre plus petit est bornée par sa norme $L^2$ sur un cylindre plus grand, la norme $L^p$ du terme source $h$, et, de manière cruciale, la norme $L^p$ de la queue non locale. L'estimation inclut un paramètre $\delta$ permettant un équilibre quantitatif entre les effets locaux et non locaux.
  $$\text{ess sup}_{Q_{r/2}} f \leq c(\delta) \langle v_0 \rangle^{\dots} \|f\|_{L^2} + \dots + \delta \|\text{Tail}(f^+)\|_{L^p}$$
  Ce résultat résout la question soulevée par le contre-exemple dans [45] en montrant que l'échec de l'estimation classique est dû au manque de contrôle sur l'intégrabilité de la queue.

• Théorème 1.4 (Gain Local d'Intégrabilité) : L'article établit que les sous-solutions faibles appartiennent à $L^q_{loc}$ pour un intervalle spécifique de $q$, à condition que la queue et les termes sources satisfont la condition $L^p$. C'est une étape fondamentale pour l'estimation $L^2-L^\infty$.

• Théorème 1.5 (Inégalité de Harnack Forte) : Une nouvelle formulation de l'inégalité de Harnack forte est prouvée pour les solutions faibles non négatives. Contrairement aux versions classiques, cette inégalité inclut un terme de reste non local impliquant la norme $L^p$ de la queue.
  $$\sup_{Q^-_{r_0}} f \leq c \inf_{Q^+_{r_0}} f + c \|\text{Tail}(f)\|_{L^p}$$
  Cette formulation est montrée comme étant cohérente avec le contre-exemple dans [45], car le terme de queue empêche le rapport des valeurs de diverger lorsque la queue est contrôlée.

• Caractérisation Géométrique (Théorème 4.7) : En étendant le travail d'Aronson et Serrin [7] au cadre cinétique non local, les auteurs fournissent une caractérisation géométrique de l'inégalité de Harnack. Ils définissent des « chaînes de Harnack non locales » reliant des points via des courbes admissibles dans le groupe de Lie sous-jacent, montrant que le maximum de la solution sur un ensemble compact est contrôlé par la valeur en un point de départ plus les contributions de queue accumulées le long de la chaîne.

Portée et Revendications
L'article revendique de compléter le tableau DGNM non local pour les équations de Kolmogorov dans la classe considérée. Sa signification principale réside dans :

1. Résolution du Contre-exemple : Il identifie la contribution non locale précise (la queue sommable $L^p$) requise pour restaurer les estimations de régularité qui échouent sous leur forme classique.
2. Suppression des Hypothèses A Priori : Les résultats permettent de prouver la continuité Hölderienne et les inégalités de Harnack sans supposer a priori la bornitude globale des solutions, une hypothèse courante dans la littérature cinétique précédente.
3. Unification : Le travail aligne la théorie cinétique sur les estimations disponibles dans les contextes elliptiques et paraboliques fractionnaires, fournissant des contreparties intégro-différentielles aux résultats récents pour les équations cinétiques locales à coefficients irréguliers.
4. Précision : Les auteurs soutiennent que la condition $L^p$ sur la queue est précise (ou presque précise) dans le contexte des contre-exemples fournis par Kaßmann et Weidner, car une intégrabilité inférieure conduit à l'échec des estimations.

L'article conclut en notant que ces techniques pourraient servir de base à de futurs développements, tels que des opérateurs de type $p$-Laplacien non linéaires, des approches de viscosité et des applications aux jeux à champ moyen, bien que ceux-ci soient présentés comme des directions futures potentielles plutôt que comme des résultats établis dans le texte.