The fractional $p$-Laplacian on hyperbolic spaces

Sintesi Tecnica: Il $p$-Laplaciano Frazionale sugli Spazi Iperbolici

Enunciato del Problema
Il saggio affronta la definizione e l'analisi del $p$-laplaciano frazionario, denotato con $(−\Delta_{\mathbb{H}^n})^s_p$, sugli spazi iperbolici $\mathbb{H}^n$ per $n \in \mathbb{N}$, $0 < s < 1$ e $p > 1$. Sebbene gli operatori frazionari siano ampiamente studiati negli spazi euclidei $\mathbb{R}^n$ e in vari altri contesti geometrici (varietà riemanniane, spazi di misura metrica, ecc.), la mancanza di una trasformata di Fourier in contesti non lineari e la specifica struttura geometrica dello spazio iperbolico impediscono l'applicazione diretta delle definizioni standard. Nello specifico, gli autori osservano che le definizioni basate sulla trasformata di Fourier non sono disponibili per operatori non lineari, e che non tutte le definizioni di laplaciani frazionari (ad esempio, regionali rispetto a spettrali) sono equivalenti in varietà riemanniane generali. La sfida principale è stabilire un insieme rigoroso di definizioni equivalenti per il $p$-laplaciano frazionale non lineare su $\mathbb{H}^n$ con costanti di normalizzazione esplicite che permettano lo studio della convergenza puntuale al $p$-laplaciano standard per $s \to 1^-$.

Metodologia
Gli autori impiegano un approccio multifasico che combina la geometria iperbolica, l'analisi del kernel del calore e le proprietà asintotiche delle funzioni speciali:

1. Framework Geometrico: Lo studio utilizza il modello a iperboloide di $\mathbb{H}^n$ dotato di metrica lorentziana. La funzione distanza $d(x, \xi)$ e l'elemento di volume $\sinh^{n-1} r \, dr \, d\omega$ sono centrali nelle formulazioni integrali.
2. Rappresentazione del Semigruppo del Calore: Gli autori relazionano l'operatore frazionario al semigruppo del calore $\{e^{t\Delta_{\mathbb{H}^n}}\}_{t \geq 0}$ generato dal Laplaciano su $\mathbb{H}^n$. Essi utilizzano formule esplicite per il kernel del calore $h(t, \rho)$ sugli spazi iperbolici, distinguendo tra dimensioni dispari e pari, che coinvolgono derivate del kernel del calore rispetto alla distanza $\rho$.
3. Funzioni di Bessel Modificate: I kernel degli operatori sono espressi utilizzando le funzioni di Bessel modificate del secondo tipo, $K_\nu$. Gli autori sfruttano le rappresentazioni integrali e i comportamenti asintotici di $K_\nu$ (per $\rho \to 0^+$ e $\rho \to \infty$) per analizzare i kernel singolari.
4. Estensione di Caffarelli–Silvestre: Il saggio investiga il problema di estensione su $\mathbb{H}^n \times (0, \infty)$, relazionando l'operatore frazionario a una mappa di Dirichlet-to-Neumann. Ciò comporta la costruzione di un kernel di Poisson $P(\rho, y)$ e di un operatore di estensione $E_{s,p}$.
5. Analisi Asintotica per la Convergenza: Per provare la convergenza di $(−\Delta_{\mathbb{H}^n})^s_p$ al $p$-laplaciano per $s \to 1^-$, gli autori eseguono un'analisi asintotica dettagliata degli integrali che coinvolgono le costanti di normalizzazione $c_{n,s,p}$ e i kernel $K_{n,s,p}$. Utilizzano espansioni di Taylor e il teorema della convergenza dominata, gestendo con cura l'elemento di volume $\sinh^{n-1} \rho$ che differisce dal $\rho^{n-1}$ euclideo.

Contributi Chiave e Risultati

1. Tre Definizioni Equivalenti: Il saggio stabilisce tre definizioni equivalenti del $p$-laplaciano frazionario su $\mathbb{H}^n$, fornendo costanti di normalizzazione esplicite per ciascuna:

   • Definizione di Integrale Singolare (Definizione 1.1): Una rappresentazione integrale puntuale che coinvolge un kernel singolare $K_{n,s,p}(\rho)$. Il kernel è definito esplicitamente usando funzioni di Bessel modificate e derivate rispetto alla distanza, con formule distinte per dimensioni dispari e pari.
   • Definizione del Semigruppo del Calore (Teorema 1.3): L'operatore è rappresentato come un integrale nel tempo del semigruppo del calore applicato a una funzione non lineare $\Phi_p(u(x) - u(\cdot))$. La costante $C_2$ è derivata esplicitamente.
   • Definizione del Problema di Estensione (Teorema 1.4): L'operatore è realizzato come il limite di una derivata normale pesata di una soluzione a un problema di estensione ellittico degenere nel semispazio superiore $\mathbb{H}^n \times (0, \infty)$. La costante $C_3$ è fornita esplicitamente.

2. Costanti di Normalizzazione Esplicite: Un contributo critico è la derivazione delle precise costanti di normalizzazione ($c_{n,s,p}, C_1, C_2, C_3, C_4$) che coinvolgono funzioni Gamma e potenze di 2 e $\pi$. Queste costanti sono scelte specificamente per garantire il corretto comportamento limite per $s \to 1^-$.

3. Asintotica del Kernel (Proposizione 1.2 & Teorema 1.2): Gli autori caratterizzano il comportamento del kernel $K_{n,s,p}(\rho)$. Mostrano che vicino all'origine ($\rho \to 0^+$), il kernel si comporta come il kernel singolare euclideo $\rho^{-n-sp}$, mentre all'infinito ($\rho \to \infty$), esso esibisce un decadimento esponenziale dovuto alla geometria iperbolica ($\sim \rho^{-1-sp/2} e^{-(n-1)\rho}$). Ciò conferma la ben definita natura dell'operatore per funzioni $C^2$ limitate.

4. Convergenza Puntuale (Teorema 1.5): Il principale risultato di convergenza afferma che per $u \in C^2_b(\mathbb{H}^n)$ e $x \in \mathbb{H}^n$ dove $\nabla u(x) \neq 0$,
   $$\lim_{s \to 1^-} (-\Delta_{\mathbb{H}^n})^s_p u(x) = (-\Delta_{\mathbb{H}^n})_p u(x)$$
   dove $(-\Delta_{\mathbb{H}^n})_p$ è il $p$-laplaciano standard su spazio iperbolico. La prova si basa sulle costanti esplicite e sull'analisi asintotica degli integrali del kernel rispetto all'elemento di volume, dimostrando che il fattore di volume non euclideo non impedisce la convergenza all'operatore locale.

Significatività
Il saggio rivendica la sua significatività principalmente nell'estensione delle formule di rappresentazione per gli operatori frazionari dal caso lineare ($p=2$) stabilito in lavori precedenti (ad esempio, [2]) al regime non lineare ($p > 1$) su spazi iperbolici. Fornendo costanti di normalizzazione esplicite, gli autori consentono lo studio rigoroso del limite $s \to 1^-$, una proprietà essenziale per connettere i modelli frazionari ai modelli locali nella analisi geometrica. Il lavoro evidenzia come, sebbene i metodi basati sulla trasformata di Fourier falliscano in questo contesto non lineare, la ricca struttura dello spazio iperbolico (specificamente le rappresentazioni del kernel del calore e del kernel di Poisson) consenta una definizione robusta del $p$-laplaciano frazionario. Le costanti esplicite sono note come cruciali per le applicazioni nella teoria della regolarità. Gli autori non propongono nuove applicazioni sperimentali o direzioni future oltre all'istituzione matematica di queste definizioni e delle loro proprietà di convergenza.