A priori estimates for solutions of degenerate fully nonlinear elliptic equations with $L^p$ data

Technische Samenvatting: A priori-schattingen voor oplossingen van gedegenereerde volledig niet-lineaire elliptische vergelijkingen met $L^p$-data

Probleemstelling
Dit artikel onderzoekt de interieurregulariteit van viscositeitsoplossingen $u$ voor gedegenereerde volledig niet-lineaire elliptische vergelijkingen van de vorm:
$$|Du|^\gamma F(D^2u, x) = f \quad \text{in } B_1 \subset \mathbb{R}^n,$$
waarbij $\gamma > 0$, $F$ een uniform elliptische volledig niet-lineaire operator is, en de rechterkant $f$ behoort tot integreerbare ruimten. De degeneratie ontstaat doordat de coëfficiënt $|Du|^\gamma$ verdwijnt in kritieke punten van $u$, waardoor de vergelijking zijn uniform elliptische eigenschap verliest. Het primaire doel is het vaststellen van a priori-schattingen voor $u$ uitsluitend op basis van de integreerbaarheidsnormen van $f$, met name voor de gevallen waarbij $f \in L^p$ voor $p > n$ (supercritisch) en $f \in L^{n,1}$ (de kritieke Lorentz-ruimte).

Methodologie
De auteurs maken gebruik van een combinatie van perturbatietechnieken, compactheidsargumenten en meetkundig maattheoretische methoden die zijn aangepast aan de gedegenereerde structuur.

1. Uniforme Hölder-schattingen via schuifmethoden:
   Een centrale technische stap bestaat uit het vaststellen van uniforme Hölder-schattingen voor vergelijkingen die slechts uniform elliptisch zijn in specifieke gradiëntregimes. Door een affiene functie af te trekken en te schalen, analyseren de auteurs vergelijkingen van de vorm $|Du - q|^\gamma F(D^2u, x) = f$. Zij maken gebruik van een dichotomie gebaseerd op de grootte van de gradiënt:

   • Kleine gradiënten ($|Du - q| \leq A_0$): De vergelijking gedraagt zich als een uniform elliptische vergelijking. De auteurs passen de schuivende paraboloid-methode toe (geïnspireerd door Savin, Mooney en Imbert–Silvestre) om schattingen van het type maat te verkrijgen.
   • Grote gradiënten ($|Du - q| > A_0$): De degeneratie is minder ernstig. Hier gebruiken de auteurs een schuivende kussp-methode om vergelijkbare maatschattingen te verkrijgen.
     Deze schattingen worden gecombineerd met behulp van een "groeiende inktvlekken"-lemma om aan te tonen dat oplossingen voldoen aan een uniforme Hölder-schatting die onafhankelijk is van het verschuivingsvector $q$, mits $f \in L^n$.

2. Approximatielemma en compactheid:
   Om de kloof te overbruggen tussen de uniforme Hölder-schattingen en hogere regulariteit ($C^{1,\alpha}$ of Log-Lipschitz), ontwikkelen de auteurs een approximatielemma. Dit lemma stelt dat als de oscillatie van de operator $F$ (gemeten door $\beta_F$) en de norm van $f$ voldoende klein zijn in de Lorentz-ruimte $L^{n,1}$, de oplossing $u$ dicht bij een oplossing $h$ ligt van een bevroren, homogene, uniform elliptische vergelijking $F(D^2h) = 0$.

   • Corrector-argument: Een kritieke moeilijkheid ontstaat bij het bewijzen van de stabiliteit van deze approximatie wanneer $f$ slechts integreerbaar is. De auteurs construeren correctorfuncties $\psi_j$ om de perturbatie te behandelen. Om te waarborgen dat deze correctoren naar nul convergeren in de $C^1$-zin (specifiek $D\psi_j \to 0$), maken zij gebruik van grenswaarde-potentialschattingen voor de Lorentz-ruimte $L^{n,1}$ ontwikkeld door Daskalopoulos–Kuusi–Mingione. Deze stap wordt aangegeven als de reden waarom de $L^{n,1}$-voorwaarde noodzakelijk is in plaats van de zwakkere $L^n$-voorwaarde voor het approximatielemma.

3. Iteratieschema's:

   • Voor $p > n$: Een iteratieschema wordt gebruikt om $u$ te benaderen door affiene functies $l_k(x) = a_k + b_k \cdot x$. Het vervaltempo van de foutterm wordt gecontroleerd om $C^{1,\alpha}$-regulariteit vast te stellen.
   • Voor $p = n$ (Kritiek geval): Een vergelijkbare iteratie wordt uitgevoerd, maar de convergentie van de gradiëntcoëfficiënten $b_k$ is niet gegarandeerd. In plaats daarvan wordt de groei van $b_k$ lineair gecontroleerd met de iteratiestap $k$, wat leidt tot een logaritmisch continuïteitsmodulus.

Belangrijkste bijdragen en resultaten

1. Optimale $C^{1,\alpha}$-regulariteit voor $p > n$:
   Het artikel stelt vast dat als $f \in L^p(B_1)$ met $p > n$, de viscositeitsoplossing $u$ behoort tot $C^{1,\alpha}_{loc}(B_1)$ voor elke $\alpha$ in het bereik:
   $$\alpha \in (0, \alpha_0) \cap \left(0, \frac{1 - n/p}{1 + \gamma}\right],$$
   waarbij $\alpha_0$ de exponent is uit de klassieke Krylov–Safonov-theorie. De auteurs bieden een heuristisch model ($u(x) = |x|^{1+\alpha}$) om aan te tonen dat deze exponent scherp is en niet kan worden verbeterd onder de enige aanname $f \in L^p$. De schatting heeft de vorm:
   $$\|u\|_{C^{1,\alpha}(B_{1/2})} \leq C(\|u\|_{L^\infty(B_1)} + \|f\|_{L^p(B_1)}^{\frac{1}{1+\gamma}}).$$

2. Log-Lipschitz-regulariteit voor het kritieke geval ($f \in L^{n,1}$):
   In het kritieke geval waarbij $p=n$, wordt $C^{1,\alpha}$-regulariteit over het algemeen niet verwacht. In plaats daarvan bewijzen de auteurs dat als $f \in L^{n,1}(B_1)$ (de Lorentz-ruimte iets sterker dan $L^n$), de oplossing $u$ lokaal Log-Lipschitz is. Specifiek, voor $x, y \in B_{1/2}$:
   $$|u(x) - u(y)| \leq C(\|u\|_{L^\infty} + \|f\|_{L^{n,1}}^{\frac{1}{1+\gamma}}) \cdot (-|x-y|\log|x-y|).$$
   Dit resultaat is gebaseerd op de specifieke eigenschappen van de Lorentz-ruimte om de correctorfuncties in het approximatielemma te controleren.

3. Robuustheid ten opzichte van degeneratie:
   Het werk breidt de regulariteitstheorie uit tot vergelijkingen waarbij ellipticiteit degeneratie in kritieke punten, een setting waar klassieke methoden (zoals de Ishii–Lions-methode) falen voor louter integreerbare data. De auteurs vervangen puntsgewijze methoden door maattheoretische benaderingen (schuivende paraboloiden en kussps) die robuust blijven onder $L^n$-aannames voor de intermediaire uniforme Hölder-schattingen.

Betekenis en reikwijdte
Het artikel claimt de eerste optimale interieurregulariteitsschattingen te bieden voor deze klasse van gedegenereerde vergelijkingen in termen van de integreerbaarheid van de bronterm $f$. Het verduidelijkt de precieze drempel van regulariteit ($C^{1,\alpha}$ versus Log-Lipschitz) die wordt bepaald door de integreerbaarheid van $f$ en de degeneratieparameter $\gamma$.

De auteurs merken expliciet op dat hun resultaten a priori-schattingen zijn; de bewijzen veronderstellen a priori Hölder-continuïteit van $f$ en de operatorcoëfficiënten om de constructie van testfuncties en correctoren te rechtvaardigen, maar de uiteindelijke constanten hangen uitsluitend af van de $L^p$- of $L^{n,1}$-normen.

Het artikel claimt niet randwaardeproblemen op te lossen (hoewel het verwijst naar bestaande literatuur over randregulariteit) of parabolische tegenhangers. Het richt zich strikt op de interieurregulariteit van viscositeitsoplossingen. De auteurs erkennen dat het subkritieke bereik $p < n$ (waar gradiënt-Hölder-regulariteit niet wordt verwacht) een open vraag blijft voor toekomstig werk, met de opmerking dat oplossingen in dat regime mogelijk nog steeds uniforme Hölder-schattingen voldoen.