ABP estimate and Harnack inequality for a class of degenerate fully nonlinear pseudo-$p$-Laplacian equations

Technische Samenvatting: ABP-schatting en Harnack-ongelijkheid voor een klasse van gedegenereerde volledig nietlineaire pseudo-$p$-Laplace-vergelijkingen

Probleemstelling
Dit artikel onderzoekt de fundamentele regulariteitstheorie voor viscositeitoplossingen van een specifieke klasse gedegenereerde volledig nietlineaire pseudo-$p$-Laplace-vergelijkingen in niet-divergentievorm. Het primaire object van studie is het ongelijkheidssysteem:
$$\begin{cases} M^{-}_{\lambda,\Lambda}\left(\left[|D_i u|^{p/2}\right] D^2 u \left[|D_i u|^{p/2}\right]\right) - \Lambda|Du|^{p+1} \leq f(x), \\ M^{+}_{\lambda,\Lambda}\left(\left[|D_i u|^{p/2}\right] D^2 u \left[|D_i u|^{p/2}\right]\right) + \Lambda|Du|^{p+1} \geq f(x), \end{cases}$$
gedefinieerd in de eenheidsbal $B_1$, waarbij $p \geq 0$, $0 < \lambda \leq \Lambda$, $f \in L^n(B_1)$, en $[\cdot]$ een diagonale matrix aanduidt.

De centrale moeilijkheid die wordt aangepakt, is de coördinaatwijze degeneratie die inherent is aan deze operatoren. In tegenstelling tot de standaard $p$-Laplace-operator, die alleen degradeert wanneer de volledige gradiënt $|Du|$ nul is, verliest de pseudo-$p$-Laplace-operator zijn ellipticiteit zodra enkele partiële afgeleide $D_j u$ nul is. Dit creëert een degeneratieset die veel groter is dan $\{|Du|=0\}$. Bovendien kan de tweede afgeleide $D_{jj}u$ op punten waar $D_j u = 0$ onbegrenkt worden, terwijl afgeleiden in niet-gedegenereerde richtingen wel gecontroleerd blijven. Deze anisotropie voorkomt de directe toepassing van standaard regulariteitsresultaten (zoals die van Imbert-Silvestre of Mooney) die vertrouwen op uniforme ellipticiteit of degeneratie enkel waar de gradiënt groot is.

Methodologie
De auteurs ontwikkelen een regulariteitstheorie die is aangepast aan deze specifieke anisotrope degeneratie via twee belangrijke technische innovaties:

1. Aangepaste Aleksandrov-Bakelman-Pucci (ABP) Schatting:
   In plaats van de standaard gradiënt $Du$ te mappen, maakt het bewijs gebruik van de oppervlakteformule op de afbeelding $G(z) = (|z_i|^p z_i)$. Deze keuze wordt gemotiveerd door de structuur van de operator, wat effectief de afbeelding van $(|D_i u|^p D_i u)$ in plaats van $Du$ schat. Dit stelt de auteurs in staat om de specifieke schalingseigenschappen van de pseudo-$p$-Laplace-operator te behandelen.

2. Glijdende Paraboloïde met Anisotrope Functies:
   Om de Harnack-ongelijkheid vast te stellen, passen de auteurs de methode van de glijdende paraboloïde aan (oorspronkelijk door Caffarelli en Savin). Standaard paraboloïden ($|x|^2$) falen bij het behandelen van de coördinaatwijze degeneratie. In plaats daarvan introduceren de auteurs een anisotrope "paraboloïde" functie:
   $$\phi(x) = -1 + \frac{p}{2+p} \left( |x_1|^{1+\frac{1}{1+p}} + \cdots + |x_n|^{1+\frac{1}{1+p}} \right).$$
   Deze functie voldoet aan een cruciale identiteit: $-(1+p)[|D_i \phi|^{p/2}] D^2 \phi [|D_i \phi|^{p/2}] = I_n$.

   Een aanzienlijke technische hindernis is dat $\phi(x)$ niet $C^2$ is op de hypervlakken $\{z_i = 0\}$, waar de degeneratie optreedt. Om dit te overwinnen, hanteren de auteurs een dimensiereductie-argument:

   • Zij ontleden de verzameling van raakpunten op basis van welke coördinaatrichtingen gedegenereerd zijn ($D_i u = 0$) en welke niet-gedegenereerd zijn.
   • Op deze snijvlakken beperken zij de analyse tot lager-dimensionale snijvlakken (hypervlakken) waar de resterende richtingen niet-gedegenereerd zijn.
   • Op deze snijvlakken is de beperkte paraboloïde glad, wat de toepassing van de oppervlakteformule en standaard maat-schattingen mogelijk maakt.
   • De resultaten worden vervolgens samengevoegd met behulp van de Fubini-stelling.

   Een vergelijkbare strategie wordt toegepast om een barrièrefunctie $\Phi(x) = |\phi(x)|^{-a}$ te construeren om de verdubbelingseigenschap (doubling property) te bewijzen, die essentieel is voor de Harnack-ongelijkheid.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de volgende fundamentele resultaten vast voor de gedegenereerde vergelijkingen:

1. Aleksandrov-Bakelman-Pucci (ABP) Schatting (Theorem 1.1):
   De auteurs bewijzen een ABP-schatting die de supremum van de oplossing $u$ begrenst in termen van zijn randwaarden en de $L^n$-norm van de bronterm $f$: specifiek:
   $$\sup_{\Omega} u \leq \sup_{\partial \Omega} u^+ + C \|f^-\|_{L^n(\Gamma^+(u))}^{\frac{1}{1+p}},$$
   waarbij $\Gamma^+(u)$ de bovenste contactverzameling is. Deze schatting wordt afgeleid met behulp van de gewijzigde oppervlakteformule met de afbeelding $G$.

2. Harnack-ongelijkheid (Theorem 1.2):
   Voor niet-negatieve oplossingen $u$ met $f \in L^n$, bewijst het artikel een Harnack-ongelijkheid:
   $$\sup_{B_{1/2}} u \leq C \left( \inf_{B_{1/2}} u + \|f\|_{L^n(B_1)}^{\frac{1}{1+p}} \right).$$
   Dit resultaat wordt bereikt door de maat-schatting (Lemma 4.1), afgeleid uit de glijdende anisotrope paraboloïde, te combineren met de verdubbelingseigenschap (Lemma 5.1), afgeleid van de anisotrope barrière.

3. Hölder-regulariteit (Corollary 1.1):
   Als direct gevolg van de Harnack-ongelijkheid vestigen de auteurs de lokale Hölder-continuïteit van de oplossingen:
   $$\|u\|_{C^\alpha(B_{1/2})} \leq C \left( \|u\|_{L^\infty(B_1)} + \|f\|_{L^n(B_1)}^{\frac{1}{1+p}} \right).$$

Betekenis en Omvang
Het artikel beweert de eerste fundamentele regulariteitstheorie (ABP-schattingen en Harnack-ongelijkheden) te bieden voor deze specifieke klasse van gedegenereerde volledig nietlineaire pseudo-$p$-Laplace-vergelijkingen in niet-divergentievorm. De auteurs merken op dat hoewel regulariteit voor divergentievorm goed gevestigd is (via de Moser-iteratie), de niet-divergentiegevallen unieke uitdagingen presenteren vanwege het gebrek aan equivalentie tussen de operator en de standaard $p$-Laplace-operator in de niet-divergentie-setting.

De betekenis ligt in het behandelen van de onbegrensde coördinaatwijze degeneratie. De auteurs stellen expliciet dat eerdere resultaten voor vergelijkingen die enkel degenereren waar $|Du|$ groot is, hier niet van toepassing zijn omdat de degeneratieset veel groter is. De bijdrage van het artikel is de ontwikkeling van een op maat gemaakte methode voor de glijdende paraboloïde, gebruikmakend van anisotrope functies en een dimensiereductie-techniek om de singulariteiten bij $D_i u = 0$ te beheren.

Het werk wordt gekaderd als een fundamentele stap in de analyse van partiële differentiaalvergelijkingen die voortkomen uit anisotrope diffusie, orthotrope modellen en transportverschijnselen in gelaagde media, waarbij de respons afhankelijk is van individuele coördinaatrichtingen. De resultaten zijn gepresenteerd als het vestigen van de "basis-regulariteit" die nodig is voor verdere analyse, zonder hoger-orde regulariteit of specifieke fysieke toepassingen uit te breiden buiten het vastgestelde wiskundige kader.