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

Sintesi Tecnica: Energie $p$-locali e non locali su spazi metrici di misura

Enunciato del Problema
Questo articolo investiga la relazione tra energie $p$-regolari locali e non locali su spazi metrici di misura $(X, d, m)$ per $p > 1$. Nello specifico, affronta il fenomeno della "subordinazione": in quali condizioni geometriche e analitiche un'energia $p$-regolare locale, che soddisfa specifiche disuguaglianze funzionali, induce un'energia $p$-regolare non locale tramite un nucleo di salto (jumping kernel)?

Lo studio è motivato dal classico framework dei forme di Dirichlet ($p=2$), dove i principi di subordinazione collegano il moto browniano (locale) a processi di tipo stabile (non locale). Nel caso lineare, è noto che se una forma di Dirichlet locale soddisfa una disuguaglianza di Poincaré e una disuguaglianza di Sobolev con cutoff, la forma non locale associata (definita da un nucleo con una specifica scalatura) soddisfa analoghe disuguaglianze non locali. La sfida centrale affrontata qui è estendere questi risultati al contesto non lineare ($p \neq 2$) su spazi metrici di misura generali, in particolare sui frattali dove le strutture di gradiente potrebbero essere assenti.

L'articolo pone i seguenti quesiti fondamentali:

1. Data un'energia $p$-regolare fortemente locale che soddisfa una disuguaglianza di Poincaré $PI(L)(\Psi)$ e una disuguaglianza di Sobolev con cutoff $CS(L)(\Psi)$, per quali funzioni di scalatura $\Upsilon$ l'energia $p$-non locale indotta (definita da un nucleo di salto $K^{(\Upsilon)}$) costituisce un'energia $p$-regolare?
2. Tale forma non locale soddisfa disuguaglianze funzionali non locali ($PI(J)$e$CS(J)$) e, in tal caso, quale sarà la funzione di scalatura risultante $\Xi$?
3. È possibile derivare questi risultati direttamente dalle disuguaglianze funzionali locali senza fare affidamento sulle stime del kernel del calore?

Metodologia
L'autore adotta un approccio puramente analitico, evitando l'uso di stime del kernel del calore o rappresentazioni probabilistiche. La metodologia si basa sui seguenti componenti chiave:

• Equivalenza delle Disuguaglianze: L'articolo stabilisce innanzitutto l'equivalenza tra varie versioni della disuguaglianza dell'energia con cutoff ($CE$) e della disuguaglianza di Sobolev con cutoff ($CS$) sia in contesti locali che non locali. Fondamentalmente, dimostra che le versioni "deboli" (senza assunzioni di continuità sulle funzioni di cutoff) implicano le versioni "forti" (dove le funzioni di cutoff sono Hölder continue). Questa equivalenza è vitale perché l'esistenza di funzioni di cutoff Hölder continue è necessaria per stabilire la regolarità dello spazio dell'energia.
• Regolarità delle Soluzioni: Per dimostrare le versioni forti delle disuguaglianze, l'autore utilizza la regolarità interiore e al bordo delle soluzioni di equazioni di tipo $p$-Laplaciano ($-\Delta_p u = f$). Ciò comporta l'instaurazione di disuguaglianze di oscillazione e disuguaglianze deboli di Harnack. Nel contesto non locale, si presta particolare attenzione alla gestione dei "termini di coda" (tail terms) derivanti dalla natura non locale dell'operatore.
• Partizione dell'Unità e Convoluzione Discreta: Per derivare le disuguaglianze non locali da quelle locali, l'articolo costruisce partizioni dell'unità con energia controllata. Un nuovo argomento analitico basato sulla convoluzione discreta viene utilizzato per trasferire la disuguaglianza di Poincaré locale al contesto non locale.
• Analisi della Scalatura: La relazione tra le funzioni di scalatura dell'energia locale ($\Psi$), il nucleo di salto ($\Upsilon$) e l'energia non locale risultante ($\Xi$) viene analizzata attraverso condizioni di convergenza di serie e stime integrali.

Contributi Chiave e Risultati

1. Equivalenza delle Condizioni di Cutoff:
   Il Teorema 2.1 e il Teorema 2.2 stabiliscono che, per entrambe le energie $p$-regolari locali e non locali, le versioni forti, continue e deboli della disuguaglianza dell'energia con cutoff ($CE$) e della disuguaglianza di Sobolev con cutoff ($CS$) sono equivalenti, a condizione che valga la condizione di raddoppamento del volume (VD). Ciò risolve un vuoto tecnico riguardante la regolarità delle funzioni di cutoff nel contesto non lineare.

2. Regolarità delle Energie $p$-non Locali:
   La Proposizione 2.6 dimostra che una forma $p$-non locale che soddisfa la disuguaglianza di Poincaré non locale e la disuguaglianza di Sobolev con cutoff continua è effettivamente un'energia $p$-regolare. Ciò conferma che le disuguaglianze funzionali sono sufficienti per garantire che lo spazio contenga funzioni sufficientemente numerose per la teoria del potenziale.

3. Il Teorema di Subordinazione (Risultato Principale):
   Il Teorema 2.9 fornisce il principale risultato di "subordinazione". Esso afferma che, se un'energia $p$-regolare fortemente locale soddisfa $PI(L)(\Psi)$ e $CE(L)_{strong}(\Psi)$, e se la funzione di scalatura $\Upsilon$ del nucleo di salto soddisfa una condizione di crescita superiore stretta alle piccole scale rispetto a $\Psi$:
   $$\sum_{n=0}^{\infty} \frac{\Psi(2^{-n})}{\Upsilon(2^{-n})} < +\infty$$
   allora l'energia $p$-non locale indotta è un'energia $p$-regolare. Inoltre, essa soddisfa le disuguaglianze di Poincaré e di Sobolev con cutoff non locali con una nuova funzione di scalatura $\Xi$ determinata esplicitamente da:
   $$\Xi(r) = \Psi(r) \int_0^r \frac{d\Psi(t)}{\Upsilon(t)}$$
   L'articolo dimostra che questa condizione di crescita non è solo sufficiente, ma anche necessaria affinché lo spazio non locale contenga funzioni non costanti.

4. Generalizzazione di Esempi Classici:
   Il Corollario 2.11 applica questi risultati a specifiche funzioni di scalatura (funzioni di potenza a tratti), recuperando i risultati noti per i processi di tipo stabile sui frattali ed estendendoli a casi con code polinomiali leggere all'infinito. Il Corollario 2.12 stabilisce una disuguaglianza di Poincaré di tipo BBM (Bourgain-Brezis-Mironescu) per le energie non locali derivate da quelle locali, fornendo un ponte tra le energie $p$ non locali e locali nel limite.

Significato e Rivendicazioni
L'articolo sostiene di fornire un'estensione non lineare del classico principio di subordinazione oltre il framework delle forme di Dirichlet ($p=2$). La sua importanza risiede nel:

• Derivazione Diretta: Risponde alla domanda se le disuguaglianze funzionali non locali possano essere derivate direttamente da quelle locali senza ricorrere alle stime del kernel del calore, affermando che ciò è possibile attraverso gli argomenti analitici costruiti.
• Applicabilità ai Frattali: I risultati sono formulati per spazi metrici di misura generali, inclusi i frattali dove non è disponibile alcuna struttura di gradiente o di gradiente superiore, basandosi invece sull'esistenza di energie $p$-locali e disuguaglianze funzionali.
• Novità Tecnica: La dimostrazione dell'implicazione dalle disuguaglianze di cutoff deboli a quelle forti tramite la regolarità delle PDE, e l'uso della convoluzione discreta per trasferire le disuguaglianze locali al contesto non locale, sono presentati come nuove tecniche analitiche, anche nel caso lineare.

L'autore osserva che questi risultati coprono esempi in cui i nuclei di salto presentano code polinomiali leggere all'infinito, un regime in cui i metodi precedenti basati sulle stime del kernel del calore potrebbero essere meno diretti. Il lavoro si pone come un passo fondamentale per comprendere l'interazione tra energie $p$-locali e non locali su spazi generali.