Elementary Brezis-Browder type results and Representation formulae for s-harmonic functions

1. Problema e Contesto

Il paper affronta due questioni fondamentali nell'analisi degli operatori frazionari, in particolare il Laplaciano frazionario $(-\Delta)^s$ con $s > 0$ definito su $\mathbb{R}^d$:

1. Rappresentazione delle soluzioni: La caratterizzazione delle soluzioni distribuzionali dell'equazione di Poisson frazionaria $(-\Delta)^s u = T$ e delle funzioni $s$-armoniche ($(-\Delta)^s u = 0$). A causa della natura non locale dell'operatore, le funzioni $s$-armoniche non sono necessariamente a supporto compatto e richiedono condizioni di crescita controllata all'infinito per essere ben definite nel senso delle distribuzioni.
2. Risultati di tipo Brezis–Browder: L'estensione dei classici teoremi di Brezis e Browder (originariamente formulati per operatori differenziali locali di ordine intero $m$) agli spazi di Sobolev frazionari. Il problema centrale è stabilire quando il pairing duale $\langle T, u \rangle$ tra un funzionale lineare $T$ e una funzione $u$ coincide con l'integrale puntuale $\int T(x)u(x) dx$, sotto opportune condizioni di integrabilità locale.

2. Metodologia

L'autore utilizza un approccio analitico che combina:

• Stime quantitative e regolarità: Dimostrazione di stime interne per funzioni $s$-armoniche su sfere, estendendo risultati noti dal caso $s \in (0,1)$ a $0 < s < d/2$.
• Potenziali di Riesz e Teoremi di Liouville: Sfruttamento delle proprietà dei potenziali di Riesz $I_{2s}$ e della loro relazione con l'inverso del Laplaciano frazionario. Viene utilizzato un argomento di tipo Liouville per mostrare che le soluzioni dell'equazione omogenea sono polinomi di grado limitato.
• Approssimazione e Troncamento: Per i risultati di tipo Brezis–Browder, l'autore adatta le tecniche di troncamento (introdotte da Hedberg per il caso locale). Poiché le sequenze di approssimazione standard negli spazi di Sobolev omogenei frazionari non sono necessariamente limitate ($L^\infty$), l'autore introduce condizioni di integrabilità locale aggiuntive sul funzionale $T$ (appartenenza a $L^{\bar{q}}_{loc}$) per superare questo ostacolo.
• Casi a ordine basso ($0 < s < 1$): Per il caso $0 < s < 1$, viene utilizzato il seminormale di Gagliardo-Slobodeckij per costruire sequenze di approssimazione limitate e a supporto compatto senza richiedere condizioni aggiuntive su $T$.

3. Risultati Chiave

A. Funzioni $s$-armoniche e Stime Quantitative (Sezione 3)

• Lemma 3.1: Viene stabilita la regolarità interna $C^\infty$ per le soluzioni distribuzionali di $(-\Delta)^s u = 0$ in una sfera, fornendo stime quantitative sulle derivate in termini dell'integrale ponderato della funzione su tutto lo spazio.
• Teorema 1.1 (Teorema di Liouville): Se $u \in L^1_{2s}(\mathbb{R}^d)$ (spazio delle funzioni con decadimento polinomiale controllato) soddisfa $(-\Delta)^s u = 0$ in $\mathbb{R}^d$, allora $u$ è un polinomio di grado strettamente inferiore a $2s$. Questo estende risultati precedenti dal caso $s \in (0,1)$ a $0 < s < d/2$.

B. Formula di Rappresentazione per l'Equazione di Poisson (Sezione 3)

• Teorema 1.2: Vengono fornite condizioni necessarie e sufficienti affinché una soluzione distribuzionale $u$ di $(-\Delta)^s u = T$ (con $T \geq 0$) ammetta la rappresentazione esplicita:
  $$u(x) = A_{2s} \int_{\mathbb{R}^d} \frac{T(y)}{|x-y|^{d-2s}} dy + l$$
  dove $l \in \mathbb{R}$ è una costante. La condizione chiave è un limite inferiore sulla media integrale di $u$ su anelli all'infinito, che esclude la presenza di termini polinomiali non costanti.

C. Risultati di Tipo Brezis–Browder (Sezione 4)

• Teorema 1.3 e Teorema 4.1 (Caso generale $s > 0$): Per spazi di Sobolev omogenei $\dot{H}^{s,p}$ o non omogenei $H^{s,p}$, se $T \in X' \cap L^{\bar{q}}_{loc}(\mathbb{R}^d)$ e $u \in X$ soddisfano $Tu \geq -|f|$ con $f \in L^1$, allora $Tu \in L^1(\mathbb{R}^d)$ e vale l'identità:
  $$\langle T, u \rangle_{X', X} = \int_{\mathbb{R}^d} T(x)u(x) dx$$
  L'esponente critico $\bar{q}$ dipende da $d, s, p$ e garantisce l'integrabilità necessaria per l'approssimazione.
• Teorema 4.2 (Caso $0 < s < 1$): Per $0 < s < 1$, utilizzando gli spazi definiti tramite il seminormale di Gagliardo, il risultato vale senza richiedere condizioni aggiuntive di integrabilità locale su $T$ (oltre a quelle intrinseche dello spazio duale). Questo rappresenta un miglioramento rispetto al caso generale, poiché sfrutta la possibilità di costruire sequenze di approssimazione limitate e a supporto compatto direttamente negli spazi di Gagliardo.

4. Contributi e Significatività

• Generalizzazione dei Teoremi di Liouville: Il lavoro estende la classificazione delle funzioni $s$-armoniche a un intervallo più ampio di $s$ ($0 < s < d/2$), dimostrando che sotto condizioni di decadimento appropriate, le uniche soluzioni globali sono polinomi di grado limitato.
• Unificazione delle rappresentazioni: Fornisce una formula di rappresentazione univoca per le soluzioni dell'equazione di Poisson frazionaria, collegando direttamente le soluzioni distribuzionali ai potenziali di Riesz, generalizzando risultati noti per operatori poliarmonici interi.
• Estensione dei Risultati di Brezis–Browder: Questo è il contributo principale. L'autore risolve la difficoltà tecnica legata alla mancanza di limitatezza ($L^\infty$) delle sequenze di approssimazione negli spazi di Sobolev frazionari omogenei.
  • Introduce condizioni di integrabilità locale precise su $T$ per il caso generale.
  • Dimostra che per $s \in (0,1)$ tali condizioni possono essere rimosse, ottenendo un risultato più forte e "ottimale" in quel regime.
• Applicabilità: I risultati sono rilevanti per lo studio di equazioni integrali di tipo Thomas-Fermi, problemi variazionali non locali e per la comprensione della struttura delle soluzioni deboli in contesti non locali, offrendo strumenti tecnici per trattare termini di sorgente singolari o misure.

In sintesi, il paper fornisce un quadro rigoroso e quantitativo per la teoria delle funzioni $s$-armoniche e per l'analisi funzionale degli spazi di Sobolev frazionari, colmando lacune tra la teoria classica locale e quella frazionaria non locale.