Blow-up exponents and a semilinear elliptic equation for the fractional Laplacian on hyperbolic spaces

1. Problema e Contesto

Il paper si occupa dello studio delle equazioni di evoluzione non lineari e delle equazioni ellittiche semilineari associate all'operatore di Laplace-Beltrami frazionario $\Delta^\sigma$ (con $\sigma \in (0,1)$) sullo spazio iperbolico reale $H^n$ ($n \ge 2$).

Il lavoro affronta due problemi principali strettamente collegati:

1. L'esponente di Fujita per l'equazione del calore frazionaria: Si studia l'equazione
   $$\partial_t u + \Delta^\sigma u = e^{\beta t}|u|^{\gamma-1}u$$
   su $H^n$, con $\beta > 0$. L'obiettivo è determinare il valore critico $\gamma^*$ che separa l'esistenza di soluzioni globali per dati iniziali piccoli dal fenomeno di "blow-up" (esplosione in tempo finito) per ogni dato non banale.
2. Esistenza di soluzioni per un'equazione ellittica semilineare: Si studia l'equazione
   $$\Delta^\sigma v - \lambda^\sigma v - v^\gamma = 0$$
   per $0 \le \lambda \le \lambda_0$ (dove $\lambda_0 = (n-1)^2/4$ è il fondo dello spettro di $\Delta$ su $H^n$) e $1 < \gamma < \frac{n+2\sigma}{n-2\sigma}$.

La motivazione risiede nel fatto che, a differenza dello spazio euclideo, sullo spazio iperbolico il fenomeno di Fujita classico (con termine di reazione costante) non si verifica per $\gamma > 1$ a causa del gap spettrale e della curvatura negativa. Tuttavia, introducendo un termine di reazione esponenziale nel tempo ($e^{\beta t}$), il fenomeno di Fujita riemerge. Il caso critico richiede una profonda analisi delle soluzioni dell'equazione ellittica associata.

2. Metodologia

Gli autori utilizzano un approccio che combina analisi armonica su spazi simmetrici, teoria degli operatori non locali e metodi variazionali.

• Analisi Armonica su $H^n$: Sfruttano la struttura di spazio simmetrico non compatto di rango uno per utilizzare la trasformata di Fourier di Helgason e le funzioni sferiche $\phi_\xi$. Vengono stimate con precisione i kernel del calore frazionario $P^\sigma_t$ e le loro proprietà di decadimento spaziale e temporale.
• Nuova Scala di Spazi di Sobolev: Viene introdotto uno spazio di Hilbert $H_{\lambda, \sigma}$ definito come il completamento di $C^\infty_c$ rispetto alla norma $\|u\|_{\lambda, \sigma} = \|(\Delta^\sigma - \lambda^\sigma)^{1/2}u\|_2$. Un punto cruciale è che per $\lambda = \lambda_0$, questo spazio è strettamente più grande dello spazio di Sobolev frazionario standard $H^\sigma$, ma mantiene proprietà utili come la chiusura rispetto alla radiazione e al valore assoluto.
• Disuguaglianza di Poincaré Frazionaria: Il cuore tecnico del lavoro è la dimostrazione di una nuova disuguaglianza di Poincaré che coinvolge l'operatore spostato $(\Delta^\sigma - \lambda_0^\sigma)$. Questa disuguaglianza permette di ottenere immersioni di Sobolev in $L^q$ per $q \in (2, \frac{2n}{n-2\sigma}]$.
• Teoremi di Immersione Compatta: Viene dimostrato un teorema di tipo Rellich-Kondrachov per la sottomatrice radiale di $H_{\lambda, \sigma}$. La prova richiede tecniche diverse per le basse e alte frequenze e si basa su un analogo iperbolico di un risultato di Lions, sfruttando il decadimento esponenziale delle funzioni sferiche.
• Metodi Variazionali e Principio di Confronto: Per l'equazione ellittica, si usa il metodo del variazionale sul varietà di Nehari, combinato con argomenti di compattezza. Per l'equazione parabolica, si utilizzano principi di confronto per supersoluzioni e stime puntuali del kernel del calore.

3. Risultati Principali

A. Esponente di Fujita (Teorema A)

Per l'equazione del calore frazionaria con termine sorgente $e^{\beta t}|u|^{\gamma-1}u$:

• Si definisce l'esponente critico $\gamma^* = 1 + \frac{\beta}{\lambda_0^\sigma}$.
• Caso Subcritico ($1 < \gamma < \gamma^*$): Ogni soluzione non banale non negativa di classe debole (mild solution) esplode in tempo finito, indipendentemente dalla grandezza del dato iniziale.
• Caso Sovracritico e Critico ($\gamma \ge \gamma^*$): Esistono soluzioni globali non negative per dati iniziali sufficientemente piccoli.
  • Per $\gamma > \gamma^*$, l'esistenza è garantita da stime sul kernel del calore.
  • Per il caso critico $\gamma = \gamma^*$, l'esistenza dipende da $\beta$. Se $\beta > \frac{2}{3}\lambda_0^\sigma$, l'esistenza è diretta. Se $\beta \le \frac{2}{3}\lambda_0^\sigma$, l'esistenza è dimostrata costruendo una supersoluzione globale per l'equazione ellittica associata.

B. Esistenza di Soluzioni Ellittiche (Teorema B)

Per l'equazione $\Delta^\sigma v - \lambda^\sigma v - v^\gamma = 0$:

• Esiste almeno una soluzione non banale, non negativa, radiale e limitata.
• La soluzione appartiene a $L^q(H^n)$ per ogni $q \in (2, \infty]$ e ha energia finita definita da $\int_{H^n} (|\Delta^{\sigma/2}v|^2 - \lambda^\sigma v^2) d\mu$.
• La regolarità è classica: $v \in C^{0, 2\sigma+\varepsilon}$ se $\sigma < 1/2$ e $v \in C^{1, 2\sigma-1+\varepsilon}$ se $\sigma \ge 1/2$.

C. Disuguaglianza di Poincaré e Immersioni (Teorema C)

• Viene stabilita la disuguaglianza:
  $$\int_{H^n} (|\Delta^{\sigma/2}\phi|^2 - \lambda_0^\sigma \phi^2) d\mu \ge C \|\phi\|_q^2$$
  per $\phi \in C^\infty_c$ e $2 < q \le \frac{2n}{n-2\sigma}$.
• Questa disuguaglianza è più forte di quelle note in letteratura per operatori frazionari spostati.
• Viene dimostrato che l'immersione della sottomatrice radiale $H^{\text{rad}}_{\lambda, \sigma} \hookrightarrow L^q$ è compatta per $2 < q < \frac{2n}{n-2\sigma}$.

4. Contributi Chiave e Innovazioni

1. Generalizzazione Frazionaria su $H^n$: Il lavoro estende i risultati classici di Bandle, Pozio, Tesei e Wang-Yin (che riguardavano il caso $\sigma=1$) al caso frazionario, rivelando come la non-località e il gap spettrale interagiscano in modo nuovo.
2. Nuova Disuguaglianza di Poincaré: La disuguaglianza (Teorema C) è lo strumento fondamentale che permette di trattare il caso critico $\lambda = \lambda_0$, dove lo spazio di Sobolev standard fallisce nel fornire immersioni compatte a causa della mancanza di compattezza dell'azione del gruppo di traslazioni.
3. Analisi del Caso Critico: La risoluzione completa del caso critico $\gamma = \gamma^*$ per $\beta$ piccoli, che richiede la costruzione di supersoluzioni per l'equazione ellittica, rappresenta un avanzamento significativo rispetto alla letteratura precedente.
4. Struttura degli Spazi di Sobolev: La definizione e lo studio delle proprietà dello spazio $H_{\lambda_0, \sigma}$ (più grande di $H^\sigma$ ma con buone proprietà di immersione per funzioni radiali) offrono un nuovo quadro analitico per problemi su spazi a curvatura negativa.

5. Significato e Implicazioni

Questo lavoro fornisce una comprensione completa del fenomeno di Fujita per operatori frazionari su spazi iperbolici, colmando un vuoto nella letteratura tra i casi euclidei e quelli iperbolici non frazionari.

• Teoria delle EDP Non Lineari: Dimostra che la curvatura negativa e il gap spettrale possono essere "bilanciati" da una non linearità temporale esponenziale per recuperare un comportamento tipo Fujita.
• Analisi Funzionale: I risultati sulle immersioni compatte per funzioni radiali in spazi di Sobolev frazionari su spazi simmetrici sono di interesse indipendente e potrebbero essere applicati ad altri problemi variazionali su varietà non compatte.
• Generalizzabilità: Gli autori notano che i risultati si estendono, con modifiche minime, agli spazi simmetrici di rango uno, e che la disuguaglianza di Poincaré vale per spazi simmetrici di rango arbitrario (sebbene il caso critico richieda ulteriori analisi per rango superiore).

In sintesi, il paper unisce tecniche sofisticate di analisi armonica, teoria degli operatori non locali e metodi variazionali per risolvere problemi aperti sulla dinamica delle equazioni di reazione-diffusione in geometrie non euclidee.