The doubling property of the elliptic measure, for elliptic operators with drifts satisfying an average diverging condition

Technische Samenvatting: De Verdubbelingseigenschap van de Elliptische Maat met Gemiddelde Divergerende Driften

Probleemstelling
Dit artikel onderzoekt de verdubbelingseigenschap (doubling property) van de elliptische maat geassocieerd met een lineaire elliptische operator $L$ in divergentievorm met een driftterm, gedefinieerd op een 1-zijdige chord-arc domein $\Omega \subset \mathbb{R}^n$ ($n \geq 3$):
$$Lu = -\nabla \cdot (A\nabla u) + B \cdot \nabla u$$
De centrale uitdaging die wordt aangepakt, is het gedrag van de elliptische maat wanneer de driftterm $B$ voldoet aan een "kleinheidstoestand" in een gemiddelde zin over Whitney-kubussen, in plaats van de striktere puntgewijze kleinheidstoestand die voorheen in de literatuur werd aangenomen. Specifiek beschouwt dit artikel driften die kunnen divergeren zoals de inverse afstand tot de rand ($\delta(x)^{-1}$), maar die een gemiddelde begrenzing voldoen:
$$\int_{U_Q} |B|^2 \delta(X) \, dV \leq \beta^2 l(Q)^{n-1}$$
waarbij $U_Q$ een opgevette Whitney-kubus is die geassocieerd wordt met een randkubus $Q$, en $\beta$ een kleine constante is. Dit generaliseert eerdere resultaten (bijv. Hofmann-Lewis [HL01]) die een puntgewijze schatting $|B(x)| \leq \beta/\delta(x)$ vereisten. Het artikel behandelt ook het bestaan van oplossingen voor de geadjungeerde operator $L^*$, wat noodzakelijk is voor het vaststellen van ondergrenzen op de Green-functie.

Methodologie
De bewijsstrategie steunt op het vaststellen van twee hoofdbestanddelen: puntgewijze schattingen voor de Green-functie en een Bourgain-type schatting voor de elliptische maat.

1. Bestaan en Regulariteit: De auteur schetst eerst het bestaan van zwakke oplossingen voor zowel $L$ als zijn geadjungeerde $L^*$ met behulp van het Lax-Milgram lemma. Een cruciale stap is het bewijzen van de coërciviteit van de bijbehorende bilineaire vormen. Voor de geadjungeerde operator is een aanvullende voorwaarde op de divergentie van de drift, $-\frac{M}{\delta(x)^2} \leq (\nabla \cdot B) \leq 0$, vereist om coërciviteit te waarborgen.
2. Hardy-ongelijkheden: Het artikel bewijst een lokale en globale Hardy-ongelijkheid in 1-zijdige chord-arc domeinen met Ahlfors-David regelmatige (ADR) randen. In tegenstelling tot eerdere afleidingen die vertrouwden op globale versies, biedt dit werk een direct bewijs met behulp van een stopping time argument op dyadische kubussen, wat als een nieuw bijdrage aan de literatuur wordt beschouwd.
3. Rand Hölder-regulariteit: Door technieken van Hofmann-Lewis [HL01] aan te passen, stelt de auteur rand Hölder-continuïteit vast voor oplossingen die nul worden op een oppervlaktebal. Dit vereist het behandelen van de driftterm $B$ via een decompositie van Whitney-kubussen. Het bewijs splitst kubussen in twee categorieën op basis van de ondersteuning van een testfunctie en gebruikt de gemiddelde kleinheidstoestand (Eq. 2) samen met de puntgewijze begrenzing (Eq. 4) om de term $\int |B|^2 u^2 \psi^2$ te beheersen.
4. Green-functie Schattingen:
   • Ondergrenzen: Volgens de aanpak van Grüter en Widman [GW82] leidt het artikel puntgewijze ondergrenzen af voor de Green-functie $G(x,y)$, uitgaande van het bestaan van de geadjungeerde Green-functie.
   • Bovengrenzen: Het afleiden van bovengrenzen is gevoeliger vanwege het gebrek aan puntgewijze kleinheid. De auteur hanteert een Calderón-Zygmund decompositie van de driftterm $|B|^2$ binnen een Whitney-kubus. Dit maakt het mogelijk om een "slechte verzameling" van kubussen te isoleren waar de drift groot kan zijn, terwijl de drift op de "goede verzameling" puntgewijs klein blijft. Door een testfunctie te construeren die ondersteund is op de goede verzameling en gebruik te maken van de globale Hardy-ongelijkheid, stelt de auteur de noodzakelijke bovengrenzen vast.
5. Bourgain-schatting en Verdubbeling: Door de rand Hölder-regulariteit te combineren met de Green-functie schattingen, leidt het artikel een Bourgain-type schatting af (een uniforme ondergrens op de elliptische maat van oppervlakteballen). Ten slotte worden deze ingrediënten, volgens het argument in Aikawa [Ai06], gecombineerd om de verdubbelingseigenschap van de elliptische maat te bewijzen.

Kernbijdragen en Resultaten

• Generalisatie van Driftcondities: Het primaire resultaat (Stelling 3) stelt de verdubbelingseigenschap van de elliptische maat vast onder de aanname dat de drift voldoet aan een gemiddelde kleinheidstoestand (Eq. 2), in plaats van de puntgewijze conditie (Eq. 3). Dit is een significante versoepeling van de hypothesen, zelfs voor de half-ruimte.
• Nieuw Bewijs voor Hardy-ongelijkheid: Het artikel biedt een direct bewijs voor lokale en globale Hardy-ongelijkheden in 1-zijdige chord-arc domeinen met behulp van een stopping time argument, dat verschilt van eerdere indirecte bewijzen.
• Green-functie Grenzen: Het artikel stelt zowel puntgewijze boven- als ondergrenzen vast voor de Green-functie onder de gemiddelde driftconditie. Het bewijs voor de boven grens maakt opvallend genoeg gebruik van een Calderón-Zygmund decompositie om het gebrek aan puntgewijze controle op de drift te beheersen.
• Bestaan van de Geadjungeerde: Het werk verheldert de voorwaarden die nodig zijn voor het bestaan van oplossingen voor de geadjungeerde vergelijking, waarbij specif het belang van de divergentieconditie op $B$ voor de bilineaire vorm van de geadjungeerde wordt benadrukt.

Betekenis en Claims
Het artikel beweert dat deze resultaten nieuw zijn, zelfs voor de half-ruimte, en breidt de perturbatietheorie van ruwe Dirichlet-oplosbaarheid uit. Het werk sluit aan bij recente ontwikkelingen in de oplosbaarheid voor operatoren met Carleson-maat condities op lagere-orde termen (bijv. Hofmann-Lewis, Kenig-Pipher, en recent werk door de auteur en anderen).

De auteur positioneert dit werk als een fundamentele stap naar het uitbreiden van de resultaten van [HP24] (die $L^p$ Dirichlet-oplosbaarheid vaststelden) naar operatoren waarbij de supremumconditie binnen de Carleson-maat integraal wordt verwijderd. Het artikel stelt expliciet dat hoewel de verdubbelingseigenschap hier wordt vastgesteld, de volledige adaptatie van methoden om Dirichlet-oplosbaarheid te bewijzen onder deze meer algemene Carleson-maat conditie op de drift het onderwerp van toekomstig werk zal zijn.

De betekenis ligt in het vermogen om driften te behandelen die niet puntgewijs klein zijn, maar "gemiddeld klein" zijn, waardoor de klasse van elliptische operatoren wordt vergroot waarvoor de verdubbelingseigenschap van de elliptische maat — en daarmee de oplosbaarheid van randwaardeproblemen — gegarandeerd kan worden.