Local and non-local $p$-energies on metric measure spaces

Technische Samenvatting: Lokale en niet-lokale $p$-energieën op metrische maatruimten

Probleemstelling
Dit artikel onderzoekt de relatie tussen lokale en niet-lokale reguliere $p$-energieën op metrische maatruimten $(X, d, m)$ voor $p > 1$. Specifiek wordt het "subordinatie"-fenomeen behandeld: onder welke geometrische en analytische condities induceert een lokale reguliere $p$-energie, die voldoet aan specifieke functionele ongelijkheden, een niet-lokale reguliere $p$-energie via een springende kernel.

De studie wordt gemotiveerd door het klassieke Dirichlet-vormenkader ($p=2$), waarbij subordinatieprincipes de link leggen tussen Brownse beweging (lokaal) en stabiel-achtige processen (niet-lokaal). In het lineaire geval is bekend dat als een lokale Dirichlet-vorm een Poincaré-ongelijkheid en een cutoff Sobolev-ongelijkheid vervult, de geassocieerde niet-lokale vorm (gedefinieerd door een kernel met specifieke schaling) analoge niet-lokale ongelijkheden vervult. De centrale uitdaging die hier wordt aangepakt, is het uitbreiden van deze resultaten naar de niet-lineaire setting ($p \neq 2$) op algemene metrische maatruimten, met name fractals waar gradiëntstructuren afwezig kunnen zijn.

Het artikel stelt de volgende kernvragen:

1. Gegeven een sterk lokale reguliere $p$-energie die een Poincaré-ongelijkheid $PI(L)(\Psi)$ en een cutoff Sobolev-ongelijkheid $CS(L)(\Psi)$ vervult, voor welke schalingsfuncties $\Upsilon$ vormt de geïnduceerde niet-lokale $p$-vorm (gedefinieerd door een springende kernel $K^{(\Upsilon)}$) een reguliere $p$-energie?
2. Voldoet deze niet-lokale vorm aan niet-lokale functionele ongelijkheden ($PI(J)$ en $CS(J)$), en zo ja, wat is de resulterende schalingsfunctie $\Xi$?
3. Kunnen deze resultaten direct worden afgeleid uit de lokale functionele ongelijkheden zonder te vertrouven op heat kernel-schattingen?

Methodologie
De auteur hanteert een puur analytische benadering en vermijdt het vertrouwen op heat kernel-schattingen of probabilistische representaties. De methodologie berust op de volgende kerncomponenten:

• Equivalentie van ongelijkheden: Het artikel stelt eerst de equivalentie vast tussen verschillende versies van de cutoff energie-ongelijkheid ($CE$) en de cutoff Sobolev-ongelijkheid ($CS$) in zowel lokale als niet-lokale settings. Cruciaal is dat bewezen wordt dat de "zwakke" versies (zonder continuïteitsaannames voor cutoff-functies) de "sterke" versies impliceren (waarbij cutoff-functies Hölder-continu zijn). Deze equivalentie is essentieel omdat het bestaan van Hölder-continue cutoff-functies noodzakelijk is om de regulariteit van de energieruimte vast te stellen.
• Regulariteit van oplossingen: Om de sterke versies van de ongelijkheden te bewijzen, maakt de auteur gebruik van de binnenste en rand-regulariteit van oplossingen van $p$-Laplace type vergelijkingen ($-\Delta_p u = f$). Dit houdt het vaststellen van oscillatie-ongelijkheden en zwakke Harnack-ongelijkheden in. In de niet-lokale setting wordt speciale zorg besteed aan het behandelen van "staarttermen" die voortvloeien uit het niet-lokale karakter van de operator.
• Partitie van eenheid en discrete convolutie: Om niet-lokale ongelijkheden uit lokale ongelijkheden af te leiden, construeert het artikel partities van eenheid met gecontroleerde energie. Een nieuwsoortig analytisch argument met behulp van discrete convolutie wordt gebruikt om de lokale Poincaré-ongelijkheid over te dragen naar de niet-lokale setting.
• Schalingsanalyse: De relatie tussen de schalingsfuncties van de lokale energie ($\Psi$), de springende kernel ($\Upsilon$) en de resulterende niet-lokale energie ($\Xi$) wordt geanalyseerd via convergentievoorwaarden van reeksen en integraal-schattingen.

Belangrijkste bijdragen en resultaten

1. Equivalentie van Cutoff-condities:
   Theorem 2.1 en Theorem 2.2 stellen vast dat voor zowel lokale als niet-lokale reguliere $p$-energieën, de sterke, continue en zwakke versies van de cutoff energie-ongelijkheid ($CE$) en de cutoff Sobolev-ongelijkheid ($CS$) equivalent zijn, mits de volume doubling conditie (VD) geldt. Dit lost een technische lacune op met betrekking tot de regulariteit van cutoff-functies in de niet-lineaire setting.

2. Regulariteit van niet-lokale $p$-energieën:
   Proposition 2.6 toont aan dat een niet-lokale $p$-vorm die de niet-lokale Poincaré-ongelijkheid en de continue cutoff Sobolev-ongelijkheid vervult, inderdaad een reguliere $p$-energie is. Dit bevestigt dat de functionele ongelijkheden voldoende zijn om te garanderen dat de ruimte voldoende veel continue functies bevat voor potentiaaltheorie.

3. Het Subordinatie-theorema (Hoofdresultaat):
   Theorem 2.9 biedt het belangrijkste "subordinatie"-resultaat. Het stelt dat als een sterk lokale reguliere $p$-energie voldoet aan $PI(L)(\Psi)$ en $CE(L)_{strong}(\Psi)$, en als de schalingsfunctie $\Upsilon$ van de springende kernel een strikte bovenste groeisconditie heeft op kleine schalen relatief aan $\Psi$:
   $$\sum_{n=0}^{\infty} \frac{\Psi(2^{-n})}{\Upsilon(2^{-n})} < +\infty$$
   dan de geïnduceerde niet-lokale $p$-vorm een reguliere $p$-energie is. Bovendien voldoet deze aan niet-lokale Poincaré en cutoff Sobolev ongelijkheden met een nieuwe schalingsfunctie $\Xi$ die expliciet wordt bepaald door:
   $$\Xi(r) = \Psi(r) \int_0^r \frac{d\Psi(t)}{\Upsilon(t)}$$
   Het artikel bewijst dat deze groeisconditie niet alleen voldoende, maar ook noodzakelijk is voor de niet-lokale ruimte om niet-constante functies te bevatten.

4. Generalisatie van Klassieke Voorbeelden:
   Corollary 2.11 past deze resultaten toe op specifieke schalingsfuncties (stuksgewijs machtsfuncties), waarbij bekende resultaten voor stabiel-achtige processen op fractals worden teruggewonnen en uitgebreid naar gevallen met lichte polynomiale staarten in het oneindige. Corollary 2.12 vestigt een BBM-type (Bourgain-Brezis-Mironescu) Poincaré-ongelijkheid voor niet-lokale energieën afgeleid van lokale energieën, wat een brug slaat tussen niet-lokale en lokale $p$-energieën in de limiet.

Betekenis en Claims
Het artikel claimt een niet-lineaire uitbreiding van het klassieke subordinatieprincipe te bieden buiten het Dirichlet-vormenkader ($p=2$). De betekenis ligt in:

• Directe Afleiding: Het beantwoordt de vraag of niet-lokale functionele ongelijkheden direct uit lokale ongelijkheden kunnen worden afgeleid zonder heat kernel-schattingen, en bevestigt dat dit mogelijk is via de geconstrueerde analytische argumenten.
• Toepasbaarheid op Fractals: De resultaten zijn geformuleerd voor algemene metrische maatruimten, inclus inclusief fractals waar geen gradiënt of upper gradient structuur beschikbaar is, waarbij in plaats daarvan wordt vertrouwd op de existentie van lokale $p$-energieën en functionele ongelijkheden.
• Technische Vernieuwing: De bewijsvoering van de implicatie van zwakke naar sterke cutoff ongelijkheden via PDE-regulariteit, en het gebruik van discrete convolutie om lokale ongelijkheden naar de niet-lokale setting over te dragen, worden gepresenteerd als nieuwe analytische technieken, zelfs in het lineaire geval.

De auteur merkt op dat deze resultaten voorbeelden dekken waarbij springende kernels lichte polynomiale staarten in het oneindige hebben, een regime waarin eerdere methoden die rusten op heat kernel-schattingen minder direct zouden zijn. Het werk is gepositioneerd als een fundamentele stap in het begrijpen van de interactie tussen lokale en niet-lokale $p$-energieën op algemene ruimten.