Regularity for the fractional logarithmic $p$-Laplacian

Sintesi Tecnica: Regolarità per il $p$-Laplaciano Logaritmico Frazionario

Configurazione del Problema e Motivazione
Questo lavoro investiga la teoria della regolarità locale per le soluzioni deboli dell'equazione non locale:
$$(-\Delta_p)^{s+\log} u = f \quad \text{in } \Omega,$$
dove $\Omega \subset \mathbb{R}^d$ è un insieme aperto limitato, $f \in L^q_{loc}(\Omega)$ con $q > 1$, e l'operatore $(-\Delta_p)^{s+\log}$ è definito come la derivata del primo ordine del $p$-Laplaciano frazionario $(-\Delta_p)^t$ rispetto all'ordine $t$, valutata in $t=s \in (0,1)$. In particolare:
$$(-\Delta_p)^{s+\log} u(x) := \frac{d}{dt}(-\Delta_p)^t u(x) \Big|_{t=s}.$$
L'operatore sorge naturalmente nello studio del comportamento asintotico degli operatori frazionari al variare dell'ordine. Il caso limite $s=0$ (il Laplaciano logaritmico) è stato studiato ampiamente (ad es. Chen-Weth, Dyda-Jarohs-Sk), ma il caso interno $s \in (0,1)$, in particolare per l'impostazione quasilineare $p \neq 2$, rappresenta una nuova direzione avviata da Chen-Chen-Hauer.

Il nucleo di questo operatore, $K_{s+\log}(r)$, presenta due caratteristiche critiche che lo distinguono dal $p$-Laplaciano frazionario standard:

1. Singolarità Accentuata: Vicino alla diagonale ($r \to 0$), il nucleo si comporta come $r^{-d-sp} \log(1/r)$, ovvero è più singolare del termine $r^{-d-sp}$ standard.
2. Cambio di Segno: Alle grandi scale, il nucleo cambia segno. Nello specifico, $K_{s+\log}(r) \leq 0$ per $r \geq e^{B_{d,s,p}/p}$. Questa natura con cambio di segno complica l'analisi delle interazioni non locali, poiché i termini di "coda" (tail) standard utilizzati nella teoria frazionaria non sono più sufficienti a controllare i contributi di campo lontano.

Metodologia
Gli autori adattano la classica teoria De Giorgi-Nash-Moser a questo specifico contesto non locale. La strategia prevede alcune modifiche non banali per gestire il peso logaritmico e il nucleo con cambio di segno:

1. Decomposizione del Nucleo e delle Code (Tails):
   A causa del cambio di segno, una singola coda non locale è insufficiente. Il nucleo viene decomposto in una parte frazionaria e due parti logaritmiche definite dal segno: $K_{s+\log} \sim r^{-d-sp} + K^+_{s+\log} - K^-_{s+\log}$. Di conseguenza, gli autori introducono due termini di coda distinti per catturare gli effetti di campo lontano:

• $Tail_+(u; x_0, R)$: Cattura le interazioni dove il peso logaritmico è positivo (scale intermedie).
• $Tail_-(u; x_0, R)$: Cattura le interazioni dove il peso logaritmico è negativo (campo lontano).
  L'analisi rivela una specifica dualità: per le sottosoluzioni, la parte positiva della soluzione si accoppia con la parte negativa del nucleo, e viceversa. Ciò richiede un accoppiamento delle code nelle stime, specificamente $Tail_+(u^-) + Tail_-(u^+)$.

2. Stime di Energia e Iterazione:
   La dimostrazione si basa sull'instaurazione di una disuguaglianza di Caccioppoli e di una stima di energia logaritmica. Un ostacolo tecnico chiave è la crescita logaritmica del nucleo, che introduce fattori di $(1 - \log r)$ nelle stime di energia locale. Per gestire ciò, gli autori utilizzano una disuguaglianza di Poincaré logaritmica frazionaria (Proposizione 2.5) che fornisce un fattore di decadimento corrispondente, permettendo all'iterazione di De Giorgi di procedere in modo invariante per scala.

3. Gestione del Termine Sorgente:
   La presenza di $f \in L^q_{loc}$ con $q > d/sp$ (subcritico per scaling) richiede una gestione attenta dell'esponente di integrabilità. Gli autori introducono un parametro $\sigma$ per garantire le disuguaglianze strette necessarie per la convergenza dei lemmi di iterazione, prevenendo il collasso che avviene nel caso critico.

Contributi Chiave e Risultati

1. Disuguaglianza di Harnack con Code (Teorema 1.2):
   Il lavoro stabilisce una disuguaglianza di Harnack per soluzioni deboli non negative. A differenza del $p$-Laplaciano frazionario, dove la non negatività globale elimina il termine di coda, il nucleo con cambio di segno qui presente assicura che i termini di coda persistano anche se $u \geq 0$ globalmente. La disuguaglianza assume la forma:
   $$\text{ess sup}_{B_{r/2}} u \leq C \left( \text{ess inf}_{B_r} u + \text{Termini di Coda} + \text{Termini Sorgente} \right).$$
   Crucialmente, i termini di coda coinvolgono il particolare accoppiamento $Tail_+(u^-) + Tail_-(u^+)$, riflettendo la struttura con cambio di segno del nucleo. Gli autori dimostrano che questi termini di coda non possono essere rimossi in generale, anche per soluzioni non negative, costruendo un controesempio in cui la soluzione è supportata al di fuori del dominio di interesse.

2. Regolarità Hölder Locale (Teorema 1.4):
   Gli autori dimostrano che le soluzioni deboli sono localmente Hölder continue. L'esponente di Hölder $\alpha$ dipende dalla dimensione $d$, dall'ordine $s$, dall'esponente $p$ e dall'integrabilità $q$ del termine sorgente $f$. La stima include un modulo di continuità che decade con il raggio $r$, scalato da fattori logaritmici e dai termini di coda.

3. Controesempio alla Harnack Senza Code:
   Nella Sezione 7, gli autori costruiscono un esempio specifico (per $p=2$) dimostrando che se una soluzione è supportata al di fuori della palla $B_R$, il termine di coda nella disuguaglianza di Harnack è inevitabile. Ciò conferma che la disuguaglianza di Harnack "senza coda" (tail-free), nota per il Laplaciano frazionario standard sotto non negatività globale, non è valida per l'operatore logaritmico frazionario a causa del cambio di segno del nucleo.

Significato e Rivendicazioni
Il lavoro sostiene che questi risultati sono nuovi anche nel caso lineare $p=2$. Lo studio estende la teoria della regolarità a una classe di operatori che sono "di ordine zero" in un certo senso asintotico, ma che possiedono un nucleo più singolare del Laplaciano frazionario standard vicino alla diagonale e con cambio di segno all'infinito.

Gli autori sottolineano che la presenza del fattore logaritmico e il cambio di segno alterano fondamentalmente la struttura delle stime di regolarità, richiedendo l'introduzione di termini di coda duali e specifici fattori di decadimento logaritmico nei limiti. I risultati forniscono una sistematica teoria della regolarità locale per questa classe di equazioni non locali, rispondendo affermativamente alle questioni riguardanti l'esistenza di disuguaglianze di Harnack e la continuità Hölder per le soluzioni deboli. Il lavoro non pretende di stabilire la regolarità al bordo o la continuità globale, osservando che queste richiedono argomenti di barriera separati al di fuori dell'attuale ambito di ricerca.