Harnack inequality for non-uniformly elliptic equations in non-divergence form

1. Probleemstelling en Context

Het artikel onderzoekt de regulariteitseigenschappen van oplossingen voor niet-uniforme elliptische vergelijkingen in niet-divergentievorm. De centrale vergelijking is:
$$a_{ij}(x) \partial_{ij} u = 0 \quad \text{in } B_1 \subset \mathbb{R}^d$$
waarbij de coëfficiënten voldoen aan de ellipticiteitsvoorwaarde:
$$\lambda(x) I \leq a_{ij}(x) \leq I$$
De kern van het probleem is dat de ellipticiteit $\lambda(x)$ niet uniform onderbounded is door een positieve constante. In plaats daarvan wordt aangenomen dat de inverse $\lambda^{-1}$ behoort tot de ruimte $L^p(B_1)$ voor zekere $p > d-1$.

Dit model vertegenwoordigt vergelijkingen met nakedly degenerate (naakt gedegenereerde) ellipticiteit, waarbij de ellipticiteit op kleine verzamelingen kan "instorten" (dicht bij nul gaan), maar gecontroleerd wordt in een $L^p$-zin. De vraag is of klassieke regulariteitsresultaten, zoals de Harnack-ongelijkheid en de Liouville-stelling, nog steeds gelden onder deze zwakkere voorwaarden.

2. Methodologie

Bowman gebruikt een combinatie van viscositeit-oplossingen (viscosity solutions) en meetkundige argumenten die specifiek zijn ontworpen om de variabiliteit van $\lambda$ te hanteren. De belangrijkste methodologische pijlers zijn:

• Viscositeit-oplossingen: De resultaten worden bewezen voor de breedste klasse van viscositeit-oplossingen. Om pathologische tegenvoorbeelden uit te sluiten (zoals $u(x)=|x|$ bij $a_{ij}$ die nul wordt), wordt aangenomen dat $\lambda$ continu en strikt positief is.
• Pucci-extremale operatoren: De analyse wordt geformuleerd in termen van de boven- en onder-Pucci-operatoren ($P^+_{\lambda,1}$ en $P^-_{\lambda,1}$), wat toelaat om lineaire vergelijkingen te behandelen binnen een bredere niet-lineaire context.
• Schaal-invariante grootheid $\Gamma(B)$: Een cruciale nieuwe grootheid is geïntroduceerd:
  $$\Gamma(B) := \left( \frac{1}{|B|} \int_B \lambda^{-p} \right)^{1/p}$$
  Deze grootheid meet de gemiddelde degeneratie van de ellipticiteit op een bal $B$. Alle schattingen hangen af van $\Gamma(B)$, wat kan groeien naarmate de straal van de bal afneemt.
• Contact met Barrières (Touching):
  • Voor superoplossingen (supersolutions) wordt beneden geraakt met parabolen (gevolgd door Savin) en singuliere "cusp"-functies van het type $|x|^{-\beta}$ (gevolgd door Smart en Armstrong).
  • Voor suboplossingen (subsolutions) wordt boven geraakt met dubbel-exponentiële barrières van de vorm $U(x) = c \exp(\exp((1-|x|^2)^{-1}))$. Dit is een innovatieve stap die nodig is om lokale maximumprincipes te verkrijgen in dit gedegenereerde regime.
• Ink-spots argumenten: De bewijzen voor de Harnack-ongelijkheid gebruiken een verfijnd ink-spot argument, waarbij rekening wordt gehouden met het feit dat in gebieden met slechte ellipticiteit de constante $M$ in de schattingen exponentieel groeit met $\Gamma(B)$.

3. Belangrijkste Resultaten

De paper levert de volgende fundamentele bijdragen:

A. Log-$L^\varepsilon$ Zwakke Harnack-ongelijkheid (Propositie 1.1)

Voor $p > d-1$ wordt een nieuwe ongelijkheid bewezen voor niet-negatieve superoplossingen. In plaats van de klassieke macht-ongelijkheid (die hier faalt), geldt:
$$\int_{B_1} \left( \log \frac{u}{\inf_{B_1} u} \right)^\varepsilon \leq C \Gamma(B_5)^\varepsilon \gamma$$
voor zekere $\varepsilon > 0$.

• Significantie: Dit toont aan dat log-momenten de beste mogelijke schatting zijn voor superoplossingen in dit regime. De paper bewijst bovendien dat voor $p < d-1$ zelfs een zwakke Harnack-ongelijkheid onmogelijk is.

B. Verbetering van Oscillatie en Liouville-stelling (Propositie 1.2 & Theorema 1.3)

Op basis van de log-schatting wordt een unitaire schaal-verbetering van oscillatie bewezen:
$$\text{osc}_{B_1} u \leq (1-\theta) \text{osc}_{B_5} u$$
waarbij $\theta$ afhangt van $\Gamma(B_5)$. Dit leidt direct tot een Liouville-stelling: elke begrensde oplossing op $\mathbb{R}^d$ is constant, mits $\lambda^{-1}$ voldoet aan de $L^p$-voorwaarde voor $p > d-1$.

C. Logaritmisch lokaal maximumprincipe (Propositie 1.4)

Voor suboplossingen wordt een nieuw lokaal maximumprincipe bewezen dat de maximumwaarde relateert aan de log-momenten. Dit wordt bereikt door contact te maken met de dubbel-exponentiële barrières.
$$\sup_{B_1} u \leq 2 \exp \left( C \Gamma(B_3)^{\dots} \left( \int_{\{u>1\}} (\log u)^\tau \right)^{\dots} \right)$$
Dit resultaat is nieuw, zelfs voor uniform elliptische vergelijkingen, en is essentieel voor het bewijzen van de Harnack-ongelijkheid.

D. De Harnack-ongelijkheid (Theorema 1.5)

De paper bewijst dat een volledige Harnack-ongelijkheid geldt voor $p$ voldoende groot, specifiek:
$$p > p(d) := \frac{d-1}{2} \left( d + 2 + \sqrt{d(d+4)} \right)$$
Voor deze $p$ geldt:
$$\sup_{B_1} u \leq C \inf_{B_1} u$$
De constante $C$ hangt exponentieel af van $\Gamma(B_5)$.

E. Optimaliteit en Tegenvoorbeelden (Sectie 2)

De auteur construeert expliciete tegenvoorbeelden om te tonen dat:

1. Er geen $L^\varepsilon$-ongelijkheid geldt voor superoplossingen voor enige $p < \infty$ (behalve in het uniform elliptische geval).
2. Er geen Harnack- of zwakke Harnack-ongelijkheid geldt voor $p < d-1$.
   Dit bevestigt dat $p = d-1$ een kritieke drempel is.

4. Significatie en Conclusie

• Drempelwaarde: De paper identificeert $p = d-1$ als de kritieke drempel voor regulariteit. Hoewel de Harnack-ongelijkheid momenteel alleen bewezen is voor $p > p(d)$ (waarbij $p(d) > d-1$), vermoedt de auteur dat de stelling geldt voor alle $p > d-1$. De resultaten voor $p < d-1$ tonen aan dat de theorie faalt als de ellipticiteit te sterk kan degenereren.
• Nieuwe Technieken: De introductie van de dubbel-exponentiële barrières voor suboplossingen en de specifieke behandeling van de "ink-spot" argumenten in een omgeving met exponentieel groeiende constanten vormen een methodologische doorbraak.
• Toepassingen: Hoewel de resultaten geen lokale Hölder-continuïteit garanderen (in tegenstelling tot het uniform elliptische geval), bieden ze grote-schaal Hölder-schattingen die nuttig kunnen zijn voor homogenisatieproblemen.
• Noties van Oplossing: De paper bespreekt ook dat de resultaten kunnen worden uitgebreid naar $L^s$-sterke oplossingen (zonder de continuïteitsvereiste van $\lambda$) als $s > d$, maar waarschuwt dat de klassieke viscositeit-oplossingen falen als $\lambda$ nul wordt op punten.

Samenvattend biedt dit werk een grondige analyse van de grenzen van regulariteitstheorie voor gedegenereerde elliptische vergelijkingen, waarbij het de relatie tussen de integrabiliteit van de ellipticiteit en de geldigheid van fundamentele ongelijkheden zoals die van Harnack kwantificeert.