Isolated Singularities and Measure Data Problems for Semilinear Equations Driven by Stable Lévy Operators

Sintesi Tecnica: Singolarità Isolate e Problemi con Dati di Misura per Equazioni Semilineari Guidate da Operatori di Lévy Stabili

Enunciato del Problema
Il saggio investiga le soluzioni positive di equazioni semilineari guidate da operatori di Lévy strettamente $2s$-stabili e uniformemente ellittici ($s \in (0, 1)$) in un dominio limitato $D \subset \mathbb{R}^d$ ($d \ge 1$). Lo studio si concentra su due problemi interconnessi:

1. Il Problema della Singolarità Isolata: Analisi delle soluzioni positive distribuzionali di $-Lu = u^p$ nel dominio bucato $D \setminus \{0\}$, dove $L$ è il generatore di un processo di Lévy strettamente $2s$-stabile. L'operatore $L$ è definito tramite una misura di Lévy $\nu$ che non è necessariamente simmetrica e soddisfa una condizione di non-degenerazione uniforme.
2. Il Problema di Dirichlet con Dati di Misura: Studio del problema di Dirichlet esterno $-Lu = u^p + k\mu$ in $D$ con $u=0$ in $D^c$, dove $\mu$ è una misura di Borel positiva limitata e $k > 0$ è un parametro.

L'obiettivo primario è stabilire l'esistenza, le proprietà qualitative e la rimovibilità delle singolarità, nonché l'esistenza di un parametro critico $k_\mu$ che governa la solvibilità, sotto assunzioni strutturali generali che includono generatori stabili anisotropi e non simmetrici.

Metodologia e Novità
Gli autori distinguono esplicitamente il loro approccio dalla letteratura esistente sul Laplaciano frazionario $(-\Delta)^s$. Le tecniche standard per il Laplaciano frazionario si basano pesantemente su:

• L'estensione di Caffarelli–Silvestre (localizzazione dell'operatore non locale).
• Formule esplicite e stime puntuali strette per la funzione Green (ad esempio, $G_D(x,y) \asymp G(x,y)(\delta_D(x)/|x-y|)^s (\delta_D(y)/|x-y|)^s$).
• Regolarità della densità della misura di salto e specifiche disuguaglianze di Harnack.

Il saggio nota che tali proprietà specifiche non sono disponibili per operatori di Lévy stabili generalmente anisotropi e non simmetrici. Di conseguenza, gli autori sviluppano una metodologia basata sulla teoria del potenziale probabilistica e su tecniche operatore-teoriche, evitando il metodo di estensione e le stime puntuali della funzione Green.

Le caratteristiche metodologiche chiave includono:

• Spazi di Coda ($T_\nu(V)$): Per gestire la natura non locale di $L$, gli autori introducono uno spazio di funzioni $T_\nu(V)$ che garantisce che $Lu$ sia ben definito come distribuzione. Questo spazio tiene conto dell'integrabilità della soluzione al di fuori del supporto della funzione di prova.
• Decomposizione di Riesz e Formula di Dynkin: L'analisi delle singolarità isolate si basa sulla formula di Dynkin e sul teorema di decomposizione di Riesz per le funzioni eccessive, piuttosto che sui classici argomenti di regolarità delle PDE.
• Compattezza tramite il Teorema di Deny: Per costruire le soluzioni per il problema con dati di misura senza supersoluzioni esplicite (che sono indisponibili a causa della mancanza di limiti puntuali della Green), gli autori combinano il teorema di Deny con argomenti probabilistici per stabilire la compattezza dell'operatore Green non lineare.
• Metodi di Punto Fisso e Variazionali: L'esistenza per parametri piccoli è derivata tramite il teorema del punto fisso di Schauder. La molteplicità e i risultati di stabilità nel caso simmetrico utilizzano metodi variazionali, specificamente il teorema del Passo Montuoso e funzionali di energia che coinvolgono le divergenze di Bregman.

Risultati Chiave

1. Rimovibilità e Struttura della Singolarità:

   • Ogni soluzione distributiva positiva $u$ di $-Lu = u^p$ in $D \setminus \{0\}$ appartiene allo spazio di coda $T_\nu(D)$ e soddisfa $-Lu = u^p + k\delta_0$ in $D$ per qualche $k \ge 0$.
   • Soglia di Rimovibilità: Se $p \ge d/(d-2s)$, allora necessariamente $k=0$. La singolarità è rimovibile.
   • Comportamento Asintotico: Se $p < d/(d-2s)$ e $k > 0$, la soluzione si comporta asintoticamente come la funzione Green $G_D(x, 0)$ vicino all'origine ($k G_D(x, 0) \le u(x) \le c k G_D(x, 0)$). Gli autori osservano che, a differenza del caso del Laplaciano frazionario isotropo, il profilo singolare non è necessariamente isotropo ($|x|^{2s-d}$) ma dipende dalla misura spettrale e dalla direzione di approccio.

2. Parametro Critico e Solvibilità:

   • Per il problema $-Lu = u^p + k\mu$, esiste un parametro critico $k_\mu \in (0, \infty)$.
   • Subcritico ($k < k_\mu$): Esiste una soluzione minima positiva $u_k$.
   • Supercritico ($k > k_\mu$): Non esiste alcuna soluzione positiva.
   • Critico ($k = k_\mu$): Esiste al massimo una soluzione positiva.

3. Caso Simmetrico (Molteplicità e Stabilità):

   • Assumendo che $L$ sia simmetrico, la soluzione minima $u_k$ per $k < k_\mu$ è stabile.
   • Molteplicità: Per ogni $k < k_\mu$, esiste una seconda soluzione positiva $v_k > u_k$.
   • Esistenza alla Soglia: Una soluzione esiste a $k = k_\mu$, il che implica l'unicità al parametro critico.

Significatività e Rivendicazioni
Il saggio sostiene che il suo contributo principale risieda non solo nei risultati stessi, ma anche nei metodi sviluppati per stabilirli sotto ampie assunzioni strutturali. Gli autori affermano che la loro analisi dimostra che i principali fenomeni di rimovibilità e soglia persistono anche quando l'operatore manca delle specifiche proprietà analitiche (funzioni Green esplicite, regolarità delle densità) tipicamente richieste nella letteratura sul Laplaciano frazionario.

Utilizzando il risolvente ucciso e la teoria del potenziale probabilistica, gli autori forniscono un quadro sistematico per le equazioni semilineari non locali guidate da generali operatori stabili di Lévy. Il lavoro estende la teoria classica delle singolarità isolate (sviluppata per il Laplaciano e il Laplaciano frazionario da autori quali Lions, Brezis, Véron e Chen-Quaas) al contesto anisotropo e non simmetrico, superando la mancanza di stime puntuali attraverso argomenti di compattezza funzionale-analitica e probabilistica.

Il saggio conclude che i "principali fenomeni di rimovibilità e soglia persistono sotto queste ampie assunzioni strutturali", validando l'uso di strumenti probabilistici come un'alternativa robusta ai metodi di estensione e alle stime puntuali nella analisi non locale.