On the fractional logarithmic $p$-Laplacian

Sintesi Tecnica: Sul p-Laplaciano Logaritmico Frazionario

Enunciato del Problema e Motivazione
Questo articolo introduce e investiga il p-Laplaciano logaritmico frazionario, denotato come $(-\Delta)^{s+\log}_p$. L'operatore è definito come la derivata prima rispetto al parametro di ordine $t$ del p-Laplaciano frazionario $(-\Delta)^t_p$, valutata in un punto arbitrario $s \in (0, 1)$. Mentre il caso lineare ($p=2$) e il caso limite $s \to 0$ (che porta al Laplaciano logaritmico $L_\Delta$) sono stati recentemente studiati da Chen et al. e Dyda et al., questo lavoro estende la teoria al contesto non lineare e quasilineare dove $1 < p < \infty$.

La motivazione principale deriva dalla necessità di comprendere il comportamento asintotico degli operatori frazionari e di sviluppare un rigoroso quadro funzionale per problemi guidati da questo nuovo operatore non locale. Una sfida significativa affrontata è la differenziazione del nucleo integrale non locale sotto il segno di integrale, che introduce una singolarità logaritmica $|x-y|^{-N-sp} \ln|x-y|$. Questo fattore logaritmico altera la struttura della singolarità, in particolare nell'intervallo $1 < p < 2$, e cambia il segno del nucleo per $|x-y| > 1$, complicando gli argomenti variazionali standard riguardanti la coercività e la positività.

Metodologia e Quadro Funzionale
Gli autori stabiliscono un quadro analitico funzionale completo basato interamente su metodi di variabile reale, evitando tecniche di trasformata di Fourier che non sono disponibili per $p \neq 2$.

1. Definizione e Rappresentazione dell'Operatore:
   L'articolo dimostra che per $u \in C^2_c(\mathbb{R}^N)$, la mappa $t \mapsto (-\Delta)^t_p u(x)$ è $C^1$ su $(0, 1)$. La derivata fornisce la rappresentazione integrale esplicita:
   $$(-\Delta)^{s+\log}_p u(x) = B(N, s, p)(-\Delta)^s_p u(x) - p C(N, s, p) \text{P.V.} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y)) \ln|x-y|}{|x-y|^{N+sp}} dy$$
   dove $C(N, s, p)$ è una costante di normalizzazione specifica che garantisce i limiti corretti quando $s \to 0$ e $s \to 1$, e $B(N, s, p) = \frac{d}{ds} \ln C(N, s, p)$. Si dimostra che il nucleo $K^{s+\log}_p$ cambia segno, decomponendosi in parti positive e negative.

2. Spazi Energetici:
   Viene introdotto lo spazio energetico naturale $W^{s+\log,p}_0(\Omega)$, definito tramite una seminorma di tipo Gagliardo che coinvolge la parte positiva del nucleo logaritmico. Gli autori dimostrano che questo spazio è uno spazio di Banach separabile, uniformemente convesso e riflessivo. Stabiliscono che questo spazio si colloca strettamente tra gli spazi di Sobolev frazionari standard $W^{s+\epsilon,p}_0(\Omega)$ e $W^{s,p}_0(\Omega)$.

3. Disuguaglianze Chiave:
   L'articolo deriva diverse disuguaglianze fondamentali essenziali per l'analisi:

   • Disuguaglianza di tipo Poincaré: Stabilisce il controllo della norma $L^p$ tramite la seminorma logaritmica frazionaria.
   • Disuguaglianza di tipo Hardy: Una disuguaglianza di Hardy al bordo con un peso logaritmico vicino al bordo.
   • Disuguaglianza di Díaz-Saa: Dimostrata sotto la condizione geometrica $\text{diam}(\Omega) < e^{-1/sp}$, portando a risultati di unicità.
   • Disuguaglianza di Gagliardo-Nirenberg: Interpolazione tra $L^p$ e la norma logaritmica frazionaria.
   • Identità di Pohozaev: Viene derivata un'identità di Pohozaev modificata, rivelando una "misura di difetto" strettamente positiva $\Gamma_{s,p}(u)$ che nasce dal peso logaritmico che rompe l'omogeneità del nucleo classico.

Risultati Chiave

• Proprietà di Immersione: L'articolo stabilisce immersioni continue di $W^{s+\log,p}_0(\Omega)$ in $L^q(\Omega)$ per $1 \le q \le p^*_s$ (dove $p^*_s = Np/(N-sp)$). Crucialmente, gli autori dimostrano l'immersione compatta all'esponente critico $p^*_s$. Questo distingue il contesto logaritmico frazionario dagli spazi di Sobolev frazionari classici, dove la compattezza fallisce all'esponente critico. Questo risultato implica che non si formano concentrazioni di massa di Dirac, rendendo superflui gli argomenti di concentrazione-compattezza su domini limitati.

• Problema agli Autovalori di Dirichlet: Gli autori investigano il problema agli autovalori non lineare:
  $$(-\Delta)^{s+\log}_p u = \lambda |u|^{p-2}u \quad \text{in } \Omega, \quad u = 0 \quad \text{in } \mathbb{R}^N \setminus \Omega.$$
  Sotto l'assunzione geometrica $\text{diam}(\Omega) < e^{-1/sp}$ (che garantisce che il nucleo rimanga strettamente positivo su $\Omega \times \Omega$) e $B(N, s, p) \ge 0$, dimostrano:

  1. Esistenza: Il primo autovalore $\lambda^{s+\log}_{1,p}$ è raggiunto tramite il metodo diretto del calcolo delle variazioni.
  2. Positività e Semplicità: Il primo autovalore è strettamente positivo, e la corrispondente autofunzione $\phi^{s+\log}_{1,p}$ è semplice (unica a meno di un multiplo scalare) e strettamente positiva quasi ovunque in $\Omega$.
  3. Limitatezza: Le autofunzioni sono globalmente limitate ($L^\infty(\Omega)$).
  4. Principio di Minimo Forte: Viene stabilito un principio di minimo forte per sovrassoluzioni deboli, estendendo risultati precedenti per operatori frazionari.

• Non-Esistenza di Pohozaev vs. Esistenza: L'identità di Pohozaev derivata include un termine di difetto $\Gamma_{s,p}(u) > 0$. Gli autori notano che, a differenza del p-Laplaciano frazionario classico, dove l'identità di Pohozaev porta spesso a risultati di non-esistenza per esponenti critici su domini a stella, la presenza della misura di difetto positiva nel caso logaritmico permette la possibilità di soluzioni critiche e supercritiche.

Significato e Affermazioni
L'articolo afferma di fornire il primo quadro variazionale rigoroso per il p-Laplaciano logaritmico frazionario nel regime non lineare ($p \neq 2$). Il suo significato risiede in:

1. Estensione della Teoria Lineare: Generalizzazione riuscita della teoria del Laplaciano logaritmico lineare al contesto quasilineare, superando le difficoltà poste dalla mancanza di moltiplicatori di Fourier.
2. Compattezza Critica: Dimostrazione che la correzione logaritmica induce una proprietà di compattezza più forte all'esponente critico di Sobolev, una caratteristica non presente negli spazi di Sobolev frazionari standard.
3. Intuizioni Strutturali: Rivelazione di come il peso logaritmico rompa l'invarianza di scala, portando a un'identità di Pohozaev modificata con una misura di difetto che altera fondamentalmente la teoria dell'esistenza per problemi critici.
4. Proprietà Spettrali: Stabilimento dell'esistenza, semplicità e positività del primo autovalore sotto specifiche vincoli geometrici, fornendo una base per ulteriori analisi spettrali di operatori non locali con singolarità logaritmiche.

Il lavoro è presentato come un passo fondazionale, sviluppando gli strumenti necessari (spazi funzionali, disuguaglianze e stime di regolarità) per studiare problemi ai valori al bordo guidati da questo operatore, senza proporre applicazioni fisiche specifiche oltre al contesto matematico dei fenomeni non locali.