Nonlocal degenerate Isaacs operators: Hölder regularity

Technische Samenvatting: Niet-lokale Degenerat Isaacs-operatoren: Hölder-regulariteit

Probleemstelling
Het artikel behandelt de regulariteit van begrensde viscosusoplossingen van een klasse volledig niet-lineaire, niet-lokale en sterk degeneratieve vergelijkingen van orde $2s$ (waarbij $s \in (0, 1)$). De specifieke operator die wordt onderzocht, is een niet-lokale tegenhanger van de som van de kleinste en grootste eigenwaarden van de Hessiaan-matrix, $\lambda_1(D^2u) + \lambda_N(D^2u)$.

De operator $I$ wordt gedefinieerd via een "inf-sup"-structuur over richtingen op de eenheidssfeer $S^{N-1}$:
$$Iu(x) = \inf_{\xi \in S^{N-1}} I_\xi u(x) + \sup_{\xi \in S^{N-1}} I_\xi u(x)$$
waarbij $I_\xi$ een eendimensionale fractale Laplaciaan langs de richting $\xi$ voorstelt. In tegenstelling tot standaard fractale Laplacia true of niet-lokale operatoren met ruwe kernen (die doorgaans Hölder-regulariteit herstellen voor het volledige bereik $s \in (0, 1)$), is deze operator "zeer degenerat" omdat het onderliggende Lévy-proces alleen wordt ondersteund op een verzameling richtingen die de extreme richtingen bevat, maar geen volledige elliptische eigenschappen heeft in alle richtingen.

De centrale vraag is of begrensde viscosusoplossingen van $Iu = f(x)$ Hölder-continuïteit bezitten, en zo ja, onder welke voorwaarden op de orde $s$.

Methodologie
De auteurs maken gebruik van viscosusoplossingstechnieken, specifiek leunend op het maximumprincipe en barrière-argumenten volgens de methode van Ishii-Lions, in plaats van variatiemethoden of De Giorgi-Nash-Moser theorie. De kern van het bewijs betreft een "doubling of variables"-argument om de Hölder-schattingen vast te stellen.

Belangrijke technische componenten zijn:

1. Doubling of Variables: De auteurs construeren een testfunctie $\phi(x, y) = u(x) - u(y) - M|x-y|^\alpha - L|x-z_0|^2$ om de oscillatie van de oplossing te analyseren. Ze nemen aan dat het supremum van deze functie positief is en leiden een tegenspraak af door de operator toe te passen op de oplossing in het maximumpunt $(\bar{x}, \bar{y})$.
2. Directionele Analyse: Een cruciale stap is het schatten van de operator $I$ door specifieke richtingen te kiezen. Het bewijs maakt gebruik van het feit dat de operator de extreme richtingen "ziet". De auteurs selecteren de richting $\bar{\xi} = \frac{\bar{x}-\bar{y}}{|\bar{x}-\bar{y}|}$ om de infimum- en supremumtermen te begrenzen.
3. Integrale Schattingen: Het bewijs steunt zwaar op precieze schattingen van singuliere integralen met betrekking tot de verschilquotiënten van de testfuncties. De auteurs definiëren hulpfuncties (bijv. $h_c(s)$ en $g_c(\alpha)$) die integralen van logaritmische en machtstermen bevatten om het teken van de resulterende ongelijkheden te bepalen.
4. Randregulariteit: Voor globale regulariteit vestigen de auteurs rand-schattingen met behulp van de afstandfunctie $d(x)$. Ze bewijzen dat oplossingen zich nabij de rand gedragen als $d(x)^\alpha$ door de werking van de operator op $d(x)^\alpha$ te analyseren en gebruik te maken van de eigenschappen van de getekende afstandfunctie nabij $C^2$-randen.
5. Liouville-stelling: De Liouville-stelling wordt afgeleid door de binnenste Hölder-schattingen te combineren met een schaalargument. Door de oplossing te herschalen en de straal van het domein naar oneindig te laten gaan, dwingt de Hölder-modulus van continuïteit de oplossing tot een constante.

Belangrijkste Bijdragen en Resultaten

• Binnenste Hölder-regulariteit (Stelling 1.1): Het hoofdbestanddeel stelt vast dat er een drempelwaarde $s_0 \in (1/2, 1)$ bestaat, zodanig dat voor elke $s \in (s_0, 1)$ begrensde viscosusoplossingen van $Iu = f$ lokaal Hölder-continu zijn ($C^{0, \alpha}_{loc}$). Dit is significant omdat, in tegen tegenstelling tot operatoren met singuliere Lévy-maten die ondersteund worden op verzamelingen van positieve maat (waar regulariteit geldt voor alle $s \in (0, 1)$), deze degeneratieve operator vereist dat $s$ voldoende dicht bij 2 ligt (d.w.z. $s > 1/2$) om regulariteit te herstellen.
• Globale Hölder-regulariteit (Stelling 1.2): Voor een begrensde $C^2$-domein $\Omega$ met nul Dirichlet-randvoorwaarden, is de oplossing globaal Hölder-continu in $\Omega$, mits $s > s_0$.
• Liouville-stelling (Stelling 1.3): Als gevolg van de regulariteit bewijzen de auteurs dat elke begrensde viscosusoplossing van de homogene vergelijking $Iu = 0$ in de gehele ruimte $\mathbb{R}^N$ constant is, mits $s > s_0$.
• Tegenvoorbeeld voor Supersoluties: Het artikel benadrukt een onderscheid tussen oplossingen en supersoluties. Terwijl de Liouville-eigenschap geldt voor oplossingen wanneer $s > s_0$, tonen de auteurs aan (door verwijzing naar argumenten uit [BGT22]) dat er voor dezelfde vergelijking in elke dimensie $N \ge 2$ niet-triviaal begrensde supersoluties bestaan. Dit contrasteert met het lokale geval ($s=1$) waar de Liouville-eigenschap ook voor supersoluties geldt.

Betekenis en Claims
Het artikel claimt dat de "extreme richting"-structuur van de operator voldoende is om Hölder-regulariteit te herstellen, maar alleen wanneer de niet-lokale orde dicht genoeg bij het lokale tweede-orde geval ligt. Dit staat in contrast met eerder werk over degeneratieve niet-lokale operatoren waarbij regulariteit vaak werd vastgesteld voor het gehele bereik van $s$.

De auteurs merken op dat hun benadering verschilt van de variatiemethoden gebruikt door Ros-Oton en Serra voor ruwe kernen; hun op viscosus gebaseerde benadering maakt het mogelijk om de specifieke "inf + sup"-structuur van de Isaacs-operator aan te pakken. De restrictie $s > s_0$ is inherent aan de methode en de specifieke geometrie van de degeneratie van de operator; het artikel claimt geen regulariteit voor $s \le 1/2$.

Het werk breidt het begrip van niet-lokale volledig niet-lineaire vergelijkingen uit, specifiek die voortvloeiend uit optimale controleproblemen met degeneratieve diffusie, door de eerste regulariteitsresultaten te bieden voor deze specifieke klasse van "niet-lokale getrunceerde Laplacia true" in de degeneratieve setting.