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

Technische Samenvatting: De Giorgi-Nash-Moser-theorie voor kinetische vergelijkingen met niet-lokale diffusie

Probleemstelling
Het artikel behandelt de regulariteitstheorie voor een klasse van niet-lokale hypo-elliptische vergelijkingen die voortkomen uit de kinetische theorie, specifiek integro-differentiële Kolmogorov-vergelijkingen van de vorm:
$$(\partial_t + v \cdot \nabla_x)f = L_v f + h$$
waarbij $L_v$ een niet-lokale diffusieoperator is die alleen werkt op de snelheidsvariabele $v$, typisch met inbegrip van fractionele afgeleiden (bijvoorbeeld een fractionele Laplaciaan $(-\Delta_v)^s$ met ruwe coëfficiënten). De kern $K$ voldoet aan standaard ellipticiteits/coerciviteitsvoorwaarden, maar kan degenereren.

Een centraal probleem in deze setting is het falen van klassieke De Giorgi-Nash-Moser (DGNM)-schattingen. Recente tegenvoorbeelden door Kaßmann en Weidner [45] tonen aan dat voor dergelijke niet-lokale kinetische vergelijkingen de klassieke Harnack-ongelijkheid en lokale $L^2-L^\infty$-schattingen over het algemeen falen, zelfs voor stationaire oplossingen. Dit falen vloeit voort uit de wisselwerking tussen de niet-lokale aard van de diffusie en de anisotrope transportterm ($v \cdot \nabla_x$), wat de standaardcompensatie van niet-lokale effecten via supremumstaarten, zoals gebruikt in puur elliptische of parabolische niet-lokale settings, verhindert.

Methodologie
De auteurs ontwikkelen een verfijnde DGNM-theorie die is toegespitst op de specifieke geometrie van kinetische vergelijkingen, die wordt gedicteerd door een homogene Lie-groepstructuur (Galileïsche transformaties) en niet-Euclidische schaling. De methodologie omvat:

1. Geometrisch Kader: De analyse wordt uitgevoerd op "schuine cilinders" $Q_r(z_0)$ die zijn aangepast aan de kinetische schaling $\delta_r(t, x, v) = (r^{2s}t, r^{1+2s}x, rv)$. Dit respecteert de intrinsieke schaling van de transportoperator.
2. Staartcontrole: In plaats van globale begrensdheid aan te nemen of supremumstaarten te gebruiken, introduceren de auteurs een voorwaarde gebaseerd op de $L^p$-sommeerbaarheid van de "niet-lokale staart" van de oplossing langs de driftvariabelen. De staart wordt gedefinieerd als:
   $$\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$$
   De belangrijkste aanname is dat deze staartgrootheid behoort tot $L^p_{loc}$ met betrekking tot de transportvariabelen $(t, x)$, waarbij $p > N_s/2s$ en $N_s$ de homogene dimensie is.
3. Integreerbaarheidswinst (Caccioppoli-schattingen): Het bewijs rust op een nieuwe kinetische Caccioppoli-schatting die de staartterm incorporateert. Door gebruik te maken van de hypo-elliptische aard van de vergelijking en de fundamentele oplossing van de fractionele Kolmogorov-vergelijking (via een parametrix-benadering), stellen de auteurs een lokale winst in integreerbaarheid vast voor zwakke subsoluties. Dit stelt hen in staat het ontbreken van een directe Sobolev-ongelijkheid in de tijd-snelheidsruimte te omzeilen.
4. Iteratief Schema: Een iteratief argument van het type De Giorgi wordt toegepast, gewijzigd om de niet-lokale staart te behandelen. De iteratie balanceert lokale bijdragen met de bijdrage van de niet-lokale staart, gecontroleerd door een parameter $\delta$.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 ($\delta$-interpolerende $L^2-L^\infty$-schatting): De auteurs bewijzen een lokale begrensdheidsschatting voor zwakke subsoluties. De $L^\infty$-norm van de oplossing op een kleinere cilinder wordt begrensd door de $L^2$-norm op een grotere cilinder, de $L^p$-norm van de bronterm $h$, en cruciaal, de $L^p$-norm van de niet-lokale staart. De schatting omvat een parameter $\delta$ die een kwantitatieve balans tussen lokale en niet-lokale effecten mogelijk maakt.
  $$\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}$$
  Dit resultaat lost het probleem op dat werd opgeworpen door het tegenvoorbeeld in [45] door aan te tonen dat het falen van de klassieke schatting te wijten is aan het ontbreken van controle op de integreerbaarheid van de staart.

• Stelling 1.4 (Lokale Winst in Integreerbaarheid): Het artikel stelt vast dat zwakke subsoluties behoren tot $L^q_{loc}$ voor een specifiek bereik van $q$, mits de staart- en brontermen voldoen aan de $L^p$-voorwaarde. Dit is een fundamentele stap voor de $L^2-L^\infty$-schatting.

• Stelling 1.5 (Sterke Harnack-ongelijkheid): Een nieuwe formulering van de sterke Harnack-ongelijkheid wordt bewezen voor niet-negatieve zwakke oplossingen. In tegenstelling tot klassieke versies omvat deze ongelijkheid een niet-lokale restterm die de $L^p$-norm van de staart bevat.
  $$\sup_{Q^-_{r_0}} f \leq c \inf_{Q^+_{r_0}} f + c \|\text{Tail}(f)\|_{L^p}$$
  Deze formulering wordt aangetoond consistent te zijn met het tegenvoorbeeld in [45], aangezien de staartterm voorkomt dat de verhouding van waarden onbeperkt groeit wanneer de staart gecontroleerd is.

• Geometrische Karakterisering (Stelling 4.7): Door het werk van Aronson en Serrin [7] uit te breiden naar de niet-lokale kinetische setting, bieden de auteurs een geometrische karakterisering van de Harnack-ongelijkheid. Zij definiëren "niet-lokale Harnack-ketens" die punten verbinden via toelaatbare krommen in de onderliggende Lie-groep, en tonen aan dat het maximum van de oplossing op een compacte verzameling wordt gecontroleerd door de waarde in een startpunt plus de geaccumuleerde staartbijdragen langs de keten.

Betekenis en Beweringen
Het artikel beweert het beeld van de niet-lokale DGNM-theorie voor Kolmogorov-vergelijkingen binnen de beschouwde klasse te voltooien. De primaire betekenis ligt in:

1. Oplossen van het Tegenvoorbeeld: Het identificeert de precieze niet-lokale bijdrage (de $L^p$-sommeerbare staart) die nodig is om regulariteitsschattingen te herstellen die in klassieke vorm falen.
2. Verwijderen van A-priori Aannames: De resultaten maken het mogelijk Hölder-continuïteit en Harnack-ongelijkheden te bewijzen zonder a priori globale begrensdheid van oplossingen aan te nemen, een gebruikelijke aanname in eerdere kinetische literatuur.
3. Unificatie: Het werk brengt de kinetische theorie in overeenstemming met de schattingen die beschikbaar zijn in fractionele elliptische en parabolische settings, en biedt integro-differentiële tegenhangers voor recente resultaten voor lokale kinetische vergelijkingen met ruwe coëfficiënten.
4. Scherpte: De auteurs betogen dat de $L^p$-voorwaarde op de staart scherp (of bijna scherp) is in de context van de tegenvoorbeelden van Kaßmann en Weidner, aangezien lagere integreerbaarheid leidt tot het falen van de schattingen.

Het artikel concludeert met de opmerking dat deze technieken kunnen dienen als basis voor verdere ontwikkelingen, zoals niet-lineaire $p$-Laplacian-achtige operatoren, viscositeitsbenaderingen en toepassingen op mean field games, hoewel deze worden gepresenteerd als potentiële toekomstige richtingen en niet als gevestigde resultaten binnen de tekst.