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

Sintesi Tecnica: Disuguaglianza di Harnack Ellittica e Disuguaglianza di Poincaré per le $p$-energie su spazi metrici-misurabili

Enunciato del Problema
Il saggio affronta la relazione strutturale tra le disuguaglianze funzionali nel contesto delle $p$-energie non lineari su spazi metrici-misurabili $(X, d, m)$. Mentre l'equivalenza tra la disuguaglianza di Harnack ellittica (EHI), i limiti di capacità a due sensi, la disuguaglianza di Poincaré (PI) e la disuguaglianza di Sobolev di cutoff (CS) è ben stabilita per i forme di Dirichlet lineari ($p=2$), il caso non lineare ($p > 1$) manca di un semigruppo lineare o di un kernel del calore, rendendo tali equivalenze più difficili da dimostrare.

Nello specifico, l'autore mira a completare l'analogo non lineare della classica equivalenza:
$$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
dove $\Psi$ è una funzione di scaling adeguata. Il lavoro precedente dell'autore [28] aveva già stabilito le implicazioni $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{CS}(\Psi)$ e $\text{PI}(\Psi) + \text{CS}(\Psi) \Rightarrow \text{EHI} + \text{cap}(\Psi)$. Il passaggio aperto rimanente, che questo saggio risolve, è la derivazione della disuguaglianza di Poincaré $\text{PI}(\Psi)$ dalla disuguaglianza di Harnack ellittica e dai limiti di capacità a due sensi.

Metodologia
La strategia di dimostrazione combina le tecniche del lavoro precedente dell'autore [28] con metodi recenti introdotti in [11] riguardanti le disuguaglianze di Harnack paraboliche su spazi con strutture di gradiente superiore. L'argomento procede in due fasi principali:

1. Riduzione alla Disuguaglianza di Faber–Krahn:
   Seguendo la strategia in [11], l'autore riduce la dimostrazione di $\text{PI}(\Psi)$ all'instaurazione di una disuguaglianza di Faber–Krahn, indicata come $\text{FK}(\Psi)$. Questa disuguaglianza fornisce un limite inferiore per il primo autovalore del $p$-Laplaciano su un dominio in termini della misura del dominio e della funzione di scaling $\Psi$.
   L'autore dimostra che $\text{PI}(\Psi)$ segue se si può stabilire una stima del tipo:
   $$\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$$
   per una costante $\epsilon$ adeguata. Ciò viene ottenuto decomponendo la funzione $f$ in una parte armonica e un resto, utilizzando le stime di oscillazione derivate da EHI.

2. Stabilire la Faber–Krahn tramite i Potenziali di Wolff:
   Per dimostrare $\text{FK}(\Psi)$, l'autore impiega una tecnica di decomposizione di Maz'ya standard, che riduce il problema alla stima della misura di un insieme $K$ in termini della sua capacità relativa:
   $$m(K) \lesssim \Psi(R) \, \text{cap}(K, X \setminus B(x_0, AR)).$$
   Questa stima è derivata dalle stime dei potenziali di Wolff stabilite in [28]. La dimostrazione prevede:

   • La costruzione di un potenziale capacitario $u$ associato all'insieme $K$.
   • L'utilizzo della misura di Riesz $\mu$ associata alla funzione superarmonica $u$.
   • L'applicazione delle stime del potenziale di Wolff per limitare $u(x_0)$ dal basso, collegando il potenziale alla misura $\mu$ e alla capacità.
   • L'uso della raddoppiabilità del volume (VD) e dei limiti di capacità per controllare la serie del potenziale di Wolff.
   • L'applicazione del lemma di copertura 5B per sommare le misure delle sfere disgiunte che coprono $K$, limitando così $m(K)$ dalla capacità.

Assunzioni Chiave
I risultati valgono sotto le seguenti assunzioni strutturali sullo spazio metrico-misurabile $(X, d, m)$ e sulla $p$-energia $(\mathcal{E}, \mathcal{F})$:

• Geometriche: Raddoppiabilità del volume (VD) e Condizione di Catena (CC).
• Analitiche:
  • EHI: La disuguaglianza di Harnack ellittica è soddisfatta.
  • cap($\Psi$): Sono soddisfatti i limiti di capacità a due sensi.
  • BSP: Positività dello Spettro Inferiore (positività del primo autovalore su domini limitati).
  • LSC: Condizione di semi-continuità inferiore per le funzioni superarmoniche.
  • Condizione Aggiuntiva: O è soddisfatta la condizione di Connettività Locale Lineare (LLC), o è soddisfatta la disuguaglianza di Harnack ellittica sull'anello (EHI$_{\text{ann}}$).

Risultati Principali

1. Teorema 1.1: Sotto le assunzioni di VD, LSC, BSP, EHI e cap($\Psi$), se è soddisfatta o LLC o EHI$_{\text{ann}}$, allora la disuguaglianza di Poincaré $\text{PI}(\Psi)$ è soddisfatta.
2. Corollari 1.3 e 1.4: Combinando il Teorema 1.1 con i risultati precedenti di [28], il saggio stabilisce la piena equivalenza:
   $$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
   Questa equivalenza è valida sotto le stesse assunzioni strutturali (VD, LSC, BSP e o LLC o EHI$_{\text{ann}}$).

Significato e Rivendicazioni
Il saggio rivendica di fornire il "passaggio rimanente" verso la piena analogia non lineare della classica equivalenza nota nel setting lineare ($p=2$).

• Unificazione Strutturale: Il risultato dimostra che la teoria non lineare delle $p$-energie possiede la stessa forma strutturale della classica teoria delle forme di Dirichlet al livello ellittico. Nello specifico, il "lato Harnack-capacità" e il "lato Poincaré-cutoff" sono equivalenti.
• Robustezza: In assenza di kernel del calore (che generalmente non esistono per le $p$-energie non lineari), questa equivalenza fornisce un sostituto robusto per le classiche equivalenze note nel setting lineare.
• Contributo Tecnico: Il lavoro adatta gli argomenti di [11] (originariamente per le disuguaglianze di Harnack paraboliche su spazi con gradienti superiori) al setting più generale degli spazi metrici-misurabili, inclusi i frattali, stabilendo la necessaria disuguaglianza di Faber–Krahn tramite stime del potenziale di Wolff.

L'autore osserva che per il caso specifico $p=2$, l'implicazione $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{PI}(\Psi)$ è già nota sotto VD da sola. Tuttavia, per $p > 1$ generico, le assunzioni aggiuntive di LSC, BSP e o LLC o EHI$_{\text{ann}}$ sono necessarie a causa della non linearità e delle limitazioni delle tecniche attuali.