Nonlocal parabolic De Giorgi classes

Technische Samenvatting: Niet-lokale parabolische De Giorgi-classes

Probleemstelling
Dit artikel onderzoekt de lokale regulariteitstheorie voor functies die behoren tot een specifieke energieklasse, bekend als de niet-lokale parabolische (p-homogene) De Giorgi-klasse, aangeduid als $PDG^{s,p}_{\pm}(\Omega_T, \gamma_{DG}, \varepsilon)$. De studie richt zich op het lokale gedrag van elementen binnen deze klasse, die fungeert als een natuurlijk kader voor zwakke oplossingen van niet-lokale parabolische vergelijkingen, waaronder de fractionele warmtevergelijking en de niet-lokale Trudinger-vergelijking.

De primaire uitdaging die wordt aangepakt, is de uitbreiding van de klassieke De Giorgi–Nash–Moser-theorie naar de niet-lokale parabolische setting. In tegenstelling tot het lokale geval omvatten niet-lokale problemen langeafstandsinteracties die worden vastgelegd door "tail"-termen, en introduceert de parabolische setting een "time-gap"-fenomeen waarbij regulariteitsschattingen vaak een wachttijd vereisen tussen ruimtelijke en temporele schalen. De auteurs beogen lokale begrensdheid, zwakke en volledige Harnack-ongelijkheden, en lokale Hölder-continuïteit te vestigen onder optimale tail-condities, specifiek door de $L^{p-1+\varepsilon}$-integreerbaarheid van de tail te hanteren.

Methodologie
De auteurs ontwikkelen een reeks iteraties van het De Giorgi-type en maattheoretische hulpmiddelen die zijn aangepast aan de niet-lokale parabolische setting. De methodologie vermijdt de complexe Krylov–Safonov-overdekingsargumenten die vaak worden gebruikt in parabolische regulariteit, en vertrouwt in plaats daarvan op puur maattheoretische technieken die doen denken aan de oorspronkelijke aanpak van De Giorgi.

Belangrijke methodologische componenten zijn:

1. Verfijnde lokale begrensdheid: De auteurs vestigen eerst een $L^\infty$–$L^\nu$-lokale schatting voor $0 < \nu \le p$. Dit wordt bereikt via een tijdsafhankelijke truncatiemethode en een iteratie van het Moser-type, waarbij zorgvuldig rekening wordt gehouden met de interactie tussen lokale energietermen en niet-lokale tail-termen.
2. Uitbreiding van positiviteit: Een kernonderdeel van de analyse bestaat uit het bewijzen van lemma's over "uitbreiding van positiviteit". Deze omvatten een lemma van het De Giorgi-type (Critical Mass Lemma), een krimplemma, en een "power-achtige uitbreiding van positiviteit". Deze lemma's propageren maattheoretische informatie (positiviteit op een verzameling met positief maat) naar puntsgewijze ondergrenzen, waarbij rekening wordt gehouden met de invloed van verre waarden via de tail.
3. Tail-beheersing: De bewijzen beheersen strikt de niet-lokale tail-term, gedefinieerd als $Tail(u; B_\rho)$. De auteurs leggen een optimale $L^{p-1+\varepsilon}$-conditie op aan de tail, wat cruciaal is voor het afleiden van de Harnack-ongelijkheden en de Hölder-continuïteit.
4. Inductie voor Hölder-continuïteit: Om Hölder-continuïteit te bewijzen, hanteren de auteurs een inductieschema voor oscillatieschattingen. Zij maken gebruik van een "twee-alternatieven"-argument (concentratie van maat versus reductie van oscillatie) en schatten zorgvuldig het verval van de oscillatie in, waarbij de tail-bijdragen bij elke stap worden meegenomen.

Belangrijkste bijdragen en resultaten

• Lokale begrensdheid (Stelling 1.1): Het artikel biedt een verfijnde $L^\infty$–$L^\nu$-lokale schatting. In tegenstelling tot eerdere resultaten die leunden op $L^\infty$-tails, maakt dit resultaat gebruik van een $L^{p-1}$-type tail-gemiddelde, wat een meer kwantitatieve en optimale schatting biedt. De auteurs tonen aan dat de $L^\infty$-tail-aanname in eerdere werken niet zomaar kan worden vervangen door een $L^{p-1}$-tail zonder aanpassing, en leveren een tegenvoorbeeld voor een naïeve uitbreiding.
• Zwakke Harnack-ongelijkheden (Stellingen 1.3 & 1.4): Er worden twee versies van niet-lokale zwakke Harnack-ongelijkheden bewezen.
  • De eerste (Stelling 1.3) vestigt een schatting die een $L^\beta$-gemiddelde van de oplossing en een $L^{p-1+\varepsilon}$-tail omvat.
  • De tweede (Stelling 1.4) biedt een sterkere schatting, waarbij het infimum van de oplossing wordt gecontroleerd door een integraalgemiddelde van een hogere macht ($p-1$) en de tail van het positieve deel van de oplossing. Deze versie verbetert eerdere resultaten door beter om te gaan met langeafstandinvloeden.
• Volledige Harnack-ongelijkheid (Stelling 1.6): Door de lokale begrensdheid (Stelling 1.1) te koppelen aan de zwakke Harnack-ongelijkheid (Stelling 1.4), leiden de auteurs een volledige niet-lokale Harnack-ongelijkheid af. Deze schatting relateert het supremum van een niet-negatieve oplossing in een kleinere cilinder aan het infimum ervan in een latere cilinder, plus een tail-term.
• Hölder-continuïteit (Stelling 1.8): Het artikel vestigt de lokale Hölder-continuïteit van functies in de niet-lokale parabolische De Giorgi-klasse. Dit is een significant resultaat, aangezien Hölder-continuïteit voor niet-lokale parabolische De Giorgi-classes voor dit werk grotendeels niet was vastgesteld (en voornamelijk bekend was voor het elliptische geval). Het bewijs construeert expliciet een continuïteitsmodulus die afhankelijk is van de optimale $L^{p-1+\varepsilon}$-tail-conditie.
• Liouville-type rigiditeit (Corollarium 1.9): Als gevolg van de Hölder-continuïteit bewijzen de auteurs dat begrende globale oplossingen van de vergelijking in de gehele ruimte $\mathbb{R}^{N+1}$ constant moeten zijn.
• Toepassing op de niet-lokale Trudinger-vergelijking (Bijlage D): De methodologie wordt toegepast op de niet-lokale Trudinger-vergelijking, $\partial_t(|u|^{p-2}u) + L_t u = 0$. De auteurs bewijzen dat dezelfde regulariteitsresultaten (lokale begrensdheid, Harnack-ongelijkheden) gelden voor niet-negatieve oplossingen van deze dubbel niet-lineaire vergelijking, wat een state-of-the-art resultaat markeert voor deze specifieke klasse van vergelijkingen.

Betekenis en Nieuwheid
Het artikel claimt verschillende nieuwigheden en significante bijdragen aan het vakgebied:

• Vermijding van overdekingsargumenten: Een belangrijke nieuwheid is de afleiding van zwakke Harnack-schattingen en Hölder-continuïteit zonder te vertrouwen op Krylov–Safonov-type overdekingsargumenten. In plaats daarvan maken de auteurs gebruik van een De Giorgi–Nash–Moser-kader dat is aangepast voor niet-lokale parabolische settings, wat zij als veelzijdiger beschouwen voor toekomstige ontwikkelingen in niet-lineaire settings.
• Optimale tail-condities: De resultaten worden vastgesteld onder optimale $L^{p-1+\varepsilon}$ tail-condities. De auteurs merken op dat hun resultaten zelfs nieuw zijn voor het lineaire geval, en aantonen dat recente prestaties van Kassmann en Weidner structurele eigenschappen zijn die geldig zijn ongeacht de specifieke vergelijking.
• Parabolisch versus elliptisch onderscheid: Het werk adresseert de specifieke moeilijkheden van het parabolische geval, met name het "time-gap"-fenomeen, dat niet voorkomt in het elliptische setting. De auteurs ontwikkelen een strategie die verschilt van het elliptische geval om de impasse veroorzaakt door dit fenomeen te doorbreken.
• Dubbel niet-lineaire uitbreiding: De uitbreiding van deze regulariteitsresultaten naar de niet-lokale Trudinger-vergelijking vormt een belangrijke stap voorwaarts, aangezien de dubbel niet-lineaire aard van de tijdsafgeleide ($\partial_t(|u|^{p-2}u)$) een zorgvuldige hantering van de energieschattingen vereist, wat de auteurs succesvol weten te navigeren.

Kortom, het artikel biedt een uitgebreide regulariteitstheorie voor niet-lokale parabolische De Giorgi-classes, vestigt fundamentele eigenschappen zoals begrensdheid, Harnack-ongelijkheden en Hölder-continuïteit, en demonstreert hun toepasbaarheid op belangrijke niet-lineaire modellen zoals de niet-lokale Trudinger-vergelijking.