Fredholm alternative for a general class of nonlocal operators

1. Il Problema e il Contesto

L'articolo affronta l'estensione del Teorema dell'Alternativa di Fredholm al contesto degli operatori ellittici non locali di tipo frazionario.

• Contesto Classico: In dimensione finita e per operatori ellittici locali (di secondo ordine), l'alternativa di Fredholm stabilisce che per un'equazione lineare $Ax = \lambda x + b$, o esiste una soluzione unica (se $\lambda$ non è un autovalore), o esistono infinite soluzioni o nessuna (se $\lambda$ è un autovalore, a condizione che $b$ sia ortogonale al nucleo dell'operatore aggiunto). Neil Trudinger ([Tru73]) ha generalizzato questo risultato a operatori ellittici con coefficienti misurabili e non necessariamente limitati.
• La Sfida Non Locale: L'obiettivo è estendere questa teoria a operatori che coinvolgono il gradiente frazionario $D^s$, permettendo una sovrapposizione di operatori di ordini frazionari diversi ($s \in (0, 1]$). Questi operatori modellano fenomeni fisici e biologici complessi, come la diffusione di specie con strategie di dispersione eterogenee (es. voli di Lévy con esponenti diversi), dove la distribuzione degli individui non segue un unico modello di diffusione.
• Difficoltà Tecniche: La principale sfida risiede nella costruzione di un quadro funzionale analitico adeguato. L'operatore considerato pesa il parametro frazionario $s$ rispetto a una misura $\mu$ (che può essere continua, discreta o mista) e include coefficienti che possono essere illimitati, discontinui o dipendenti da $s$. Questo rende difficile l'applicazione diretta delle teorie classiche degli spazi di Sobolev.

2. Metodologia e Strumenti Matematici

Gli autori sviluppano un approccio basato su spazi funzionali personalizzati e analisi fine delle proprietà di compattezza.

A. L'Operatore $L$

L'operatore principale è definito formalmente come:
$$Lu := \int_{(0,1]} \left( -D^s_i (a_{ij}(s, x) D^s_j u + a_i(s, x) u) + b_i(s, x) D^s_i u \right) d\mu(s) + a(x)u$$
dove $D^s$ è il gradiente frazionario. Se $\mu$ è una delta di Dirac in $s=1$, si recupera l'operatore classico di Trudinger.

B. Spazi Funzionali

Per gestire la non località e la variabilità dell'ordine, gli autori introducono lo spazio di Hilbert $H_0(A, g, \Omega)$, definito come il completamento di $C_c^\infty(\Omega)$ rispetto alla norma indotta dal prodotto scalare:
$$\langle u, v \rangle_{H_0(A,g,\Omega)} = \int_{\mathbb{R}^n} \int_{(0,1]} a_{ij}^S(s, x) D^s_i u D^s_j v \, d\mu(s) dx + \int_{\Omega} g(x) uv \, dx$$
Dove $A^S$ è la parte simmetrica della matrice dei coefficienti.

C. Concetto Chiave: Limitatezza Compatta (Compact Boundedness)

Un contributo metodologico fondamentale è l'introduzione della nozione di limitatezza compatta per una funzione $f$ sullo spazio $H_0(A, g, \Omega)$. Una funzione $f \ge 0$ è "compattamente limitata" se, per ogni $\epsilon > 0$, esiste una costante $K_\epsilon$ tale che:
$$\| \phi \|_{L^2(f, \Omega)}^2 \le \epsilon \| \phi \|_{H_0(A,g,\Omega)}^2 + K_\epsilon \| \phi \|_{L^1(\Omega)}^2$$
Questa proprietà è cruciale per garantire l'immersione compatta dello spazio $H_0(A, g, \Omega)$ nello spazio $L^2(f, \Omega)$, condizione necessaria per applicare la teoria degli operatori compatti di Riesz-Schauder.

D. Analisi del Gradiente Frazionario

Il lavoro include una trattazione approfondita del gradiente frazionario, delle sue proprietà di convergenza verso il gradiente classico quando $s \to 1$, e della sua relazione con il potenziale di Riesz. Vengono stabiliti risultati di embedding e disuguaglianze (tipo Poincaré frazionario) che controllano esplicitamente la dipendenza dal parametro $s$.

3. Risultati Principali

Il risultato centrale è il Teorema 1.5, che stabilisce l'alternativa di Fredholm per l'operatore $L_\sigma(f) = L + \sigma I(f)$, dove $I(f)$ è l'operatore di moltiplicazione per $f$.

1. Esistenza di Autovalori: Esiste un insieme numerabile e isolato $\Sigma \subset (-\infty, \sigma_0)$ di autovalori reali per l'operatore $L$.
2. Caso Non Risuonante ($\sigma \notin \Sigma$): Il problema $L_\sigma(f)u = T$ ammette un'unica soluzione $u \in H_0(A, \Omega)$ per ogni dato $T$ nel duale.
3. Caso Risuonante ($\sigma \in \Sigma$):
   • Il nucleo di $L_\sigma(f)$ e quello dell'operatore aggiunto $L^*_\sigma(f)$ coincidono e hanno dimensione finita positiva.
   • Il problema ammette soluzioni se e solo se il dato $T$ è ortogonale al nucleo dell'operatore aggiunto (condizione di compatibilità di Fredholm).

Ipotesi Tecniche:

• I coefficienti possono essere illimitati e discontinui, purché soddisfino condizioni di ellitticità controllata da funzioni $\lambda(x)$ e $\Lambda(x)$ con specifiche proprietà di integrabilità locale e crescita all'infinito.
• La funzione $f$ (che appare nei termini di ordine inferiore e nel termine di moltiplicazione) deve essere "compattamente limitata" su $H_0(A, \Omega)$.

4. Contributi Chiave e Innovazioni

• Unificazione Teorica: Il lavoro fornisce un quadro unificato che tratta simultaneamente operatori locali (caso $s=1$) e non locali (caso $s<1$), inclusi operatori di ordine misto (somme infinite o integrali su misure continue di operatori frazionari).
• Gestione della Non Omogeneità: A differenza di molti lavori precedenti che trattano operatori di ordine frazionario fisso, questo studio gestisce la sovrapposizione di ordini diversi, permettendo di modellare sistemi con eterogeneità strutturale.
• Analisi Funzionale Ad Hoc: Gli autori costruiscono spazi di Hilbert specifici ($H_0(A, g, \Omega)$) e dimostrano proprietà di compattezza non banali, superando le difficoltà legate alla mancanza di invarianza di scala e alla natura non locale degli operatori.
• Generalizzazione dei Coefficienti: Si lavora con coefficienti misurabili, non necessariamente limitati, estendendo significativamente il lavoro di Trudinger al contesto non locale.

5. Significato e Applicazioni

• Modellazione Biologica: L'approccio è direttamente applicabile alla biologia matematica, in particolare per modellare la diffusione di popolazioni in cui gli individui adottano strategie di dispersione diverse (es. alcuni si muovono come cammini casuali gaussiani, altri come voli di Lévy). La misura $\mu$ descrive la proporzione della popolazione che segue ciascuna strategia.
• Teoria delle Equazioni alle Derivate Parziali (PDE): Il lavoro colma un divario teorico significativo, fornendo gli strumenti analitici per studiare problemi di autovalori e risolubilità per una vasta classe di operatori non locali che appaiono in fisica, finanza e scienze dei materiali.
• Fondamenti Matematici: La definizione di "limitatezza compatta" e l'analisi degli spazi associati offrono nuovi strumenti per lo studio di operatori integrali e differenziali non locali con coefficienti irregolari.

In sintesi, il paper rappresenta un avanzamento sostanziale nella teoria degli operatori non locali, estendendo uno dei pilastri dell'analisi funzionale (l'alternativa di Fredholm) a un contesto estremamente generale e fisicamente rilevante, caratterizzato da ordini differenziali variabili e coefficienti irregolari.