Elliptic Harnack inequality and Poincaré inequality for $p$-energies on metric measure spaces

Technische Samenvatting: Elliptische Harnack-ongelijkheid en Poincaré-ongelijkheid voor $p$-energieën op Metrische Metrische Ruimten

Probleemstelling
Het artikel behandelt de structurele relatie tussen functionele ongelijkheden in de context van nietlineaire $p$-energieën op metrische metrische ruimten $(X, d, m)$. Terwijl de equivalentie tussen de elliptische Harnack-ongelijkheid (EHI), tweezijdige capaciteitsgrenzen, de Poincaré-ongelijkheid (PI) en de cutoff Sobolev-ongelijkheid (CS) goed gevestigd is voor lineaire Dirichlet-vormen ($p=2$), ontbreekt in het nietlineaire geval ($p > 1$) een lineair semi-groep of hittekern, waardoor dergelijke equivalenties moeilijker te bewijzen zijn.

Specifiek streeft de auteur naar het voltooien van de nietlineaire analogon van de klassieke equivalentie:
$$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
waarbij $\Psi$ een geschikte schaalingsfunctie is. Vorig werk van de auteur [28] had reeds de implicaties $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{CS}(\Psi)$ en $\text{PI}(\Psi) + \text{CS}(\Psi) \Rightarrow \text{EHI} + \text{cap}(\Psi)$ vastgesteld. De resterende open stap, die dit artikel oplost, is het afleiden van de Poincaré-ongelijkheid $\text{PI}(\Psi)$ uit de elliptische Harnack-ongelijkheid en tweezijdige capaciteitsgrenzen.

Methodologie
De bewijsstrategie combineert technieken uit het eerdere werk van de auteur [28] met recente methoden geïntroduceerd in [11] betreffende parabolische Harnack-ongelijkheden op ruimten met upper gradient-structuren. Het argument verloopt in twee hoofdstappen:

1. Reductie tot de Faber–Krahn-ongelijkheid:
   Volgens de strategie in [11] reduceert de auteur het bewijs van $\text{PI}(\Psi)$ tot het vaststellen van een Faber–Krahn-ongelijkheid, aangeduid als $\text{FK}(\Psi)$. Deze ongelijkheid biedt een ondergrens voor de eerste eigenwaarde van de $p$-Laplace op een domein in termen van de maat van het domein en de schaalingsfunctie $\Psi$.
   De auteur bewijst dat $\text{PI}(\Psi)$ volgt indien men een schatting van de vorm kan vaststellen:
   $$\left( \fint_{B(x_0, R)} |f - c|^p dm \right)^{1/p} \lesssim \left( \frac{\Psi(R)}{V(x_0, R)} \int_{B(x_0, AR)} d\Gamma(f) \right)^{1/p} + \epsilon \fint_{B(x_0, R)} |f| dm$$
   voor een geschikte constante $\epsilon$. Dit wordt bereikt door de functie $f$ te deconstrueren in een harmonisch deel en een restant, gebruikmakend van de oscillatie-schattingen afgeleid uit EHI.

2. Vaststellen van Faber–Krahn via Wolff-potentialen:
   Om $\text{FK}(\Psi)$ te bewijzen, maakt de auteur gebruik van een standaard Maz'ya-decompositietechniek, die het probleem reduceert tot het schatten van de maat van een verzameling $K$ in termen van zijn relatieve capaciteit:
   $$m(K) \lesssim \Psi(R) \, \text{cap}(K, X \setminus B(x_0, AR)).$$
   Deze schatting wordt afgeleid met behulp van Wolff-potentiaalschattingen vastgesteld in [28]. Het bewijs omvat:

   • Het construeren van een capacitaire potentiaal $u$ geassocieerd met de verzameling $K$.
   • Het benutten van de Riesz-maat $\mu$ geassocieerd met de superharmonische functie $u$.
   • Het toepassen van Wolff-potentiaalschattingen om $u(x_0)$ van onderaf te begrenzen, waarbij de potentiaal wordt gekoppeld aan de maat $\mu$ en de capaciteit.
   • Het gebruiken van de volume doubling (VD) en capaciteitsgrenzen om de Wolff-potentiaalreeks te beheersen.
   • Het toepassen van de 5B-dekkinglemma om de maten van disjuncte bollen die $K$ dekken op te tellen, waardoor $m(K)$ door de capaciteit wordt begrensd.

Kernveronderstellingen
De resultaten gelden onder de volgende structurele veronderstellingen op de metrische metrische ruimte $(X, d, m)$ en de $p$-energie $(\mathcal{E}, \mathcal{F})$:

• Geometrisch: Volume Doubling (VD) en de Chain Condition (CC).
• Analytisch:
  • EHI: De Elliptische Harnack-ongelijkheid houdt stand.
  • cap($\Psi$): Tweezijdige capaciteitsgrenzen houden stand.
  • BSP: Bottom Spectrum Positivity (positiviteit van de eerste eigenwaarde op begrensde domeinen).
  • LSC: Lower Semi-Continuity conditie voor superharmonische functies.
  • Aanvullende conditie: Ofwel de Linearly Locally Connected (LLC) conditie houdt stand, ofwel de Annulus Elliptic Harnack Inequality (EHI$_{\text{ann}}$) houdt stand.

Hoofdresultaten

1. Stelling 1.1: Onder de aannames van VD, LSC, BSP, EHI en cap($\Psi$), geldt dat indien ofwel LLC ofwel EHI$_{\text{ann}}$ standhoudt, dan de Poincaré-ongelijkheid $\text{PI}(\Psi)$ standhoudt.
2. Corollaria 1.3 en 1.4: Door Stelling 1.1 te combineren met eerdere resultaten uit [28], vestigt het artikel de volledige equivalentie:
   $$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
   Deze equivalentie houdt stand onder dezelfde structurele aannames (VD, LSC, BSP en ofwel LLC ofwel EHI$_{\text{ann}}$).

Betekenis en Claims
Het artikel claimt de "resterende stap" te leveren naar de volledige nietlineaire analogon van de klassieke equivalentie die bekend is in de lineaire setting ($p=2$).

• Structurele Unificatie: Het resultaat toont aan dat de nietlineaire theorie van $p$-energieën dezelfde structurele vorm bezit als de klassieke Dirichlet-vormtheorie op elliptisch niveau. Specifiek zijn de "Harnack–capaciteit zijde" en de "Poincaré–cutoff zijde" equivalent.
• Robuustheid: Bij afwezigheid van hittekernen (die over het algemeen niet bestaan voor nietlineaire $p$-energieën), biedt deze equivalentie een robuust substituut voor de klassieke equivalenties die bekend zijn in de lineaire setting.
• Technische Bijdrage: Het werk past argumenten uit [11] (oorspronkelijk voor parabolische Harnack-ongelijkheden op ruimten met upper gradients) aan aan de meer algemene setting van metrische metrische ruimten, inclus\ie fractals, door de noodzakelijke Faber–Krahn-ongelijkheid via Wolff-potentiaalschattingen te vestigen.

De auteur merkt op dat voor het specifieke geval $p=2$, de implicatie $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{PI}(\Psi)$ reeds bekend is onder VD alleen. Echter, voor algemene $p > 1$, zijn de aanvullende aannames van LSC, BSP en ofwel LLC ofwel EHI$_{\text{ann}}$ vereist vanwege de nietlineariteit en de beperkingen van de huidige technieken.