Characterisation of homogenisation for nonlocal diffusion by local topologies

Sintesi Tecnica: Caratterizzazione dell'omogeneizzazione per la diffusione non locale tramite topologie locali

Enunciato del Problema
Il documento affronta l'omogeneizzazione di problemi in forma di divergenza frazionaria caratterizzati da coefficienti locali altamente oscillanti e operatori differenziali non locali. Nello specifico, gli autori considerano equazioni della forma $-\text{div}_s(A \nabla_s u) = f$, dove $\nabla_s$ e $\text{div}_s$ denotano il gradiente e la divergenza frazionaria di Riesz di ordine $s \in (0, 1)$. Una sfida centrale in questo contesto è che, mentre i coefficienti $A$ sono locali (funzioni matriciali), la natura non locale degli operatori richiede che questi coefficienti siano definiti su tutto lo spazio $\mathbb{R}^d$, e non solo su un dominio limitato $\Omega$. Il lavoro precedente [16] ha introdotto la convergenza $H^s$ per gestire tali problemi, ma imponeva la restrizione che i coefficienti fossero fissi all'esterno del dominio $\Omega$ (ovvero $A|_{\mathbb{R}^d \setminus \Omega} = A_0$). Questo articolo mira a caratterizzare pienamente la convergenza $H^s$ per sequenze di coefficienti definite su tutto lo spazio $\mathbb{R}^d$ senza tali restrizioni, e a relazionare tale convergenza alle classiche topologie locali e ai quadri teorici degli operatori non locali.

Metodologia
Gli autori impiegano una combinazione di calcolo frazionario, analisi funzionale e teoria dell'omogeneizzazione. I componenti metodologici chiave includono:

• Operatori Frazionari: L'analisi si basa sul gradiente e sulla divergenza frazionaria di Riesz, definiti tramite integrali singolari o moltiplicatori di Fourier, e sulle relative spazi di Sobolev frazionari $H^s_0(\Omega)$ e $H^{-s}(\Omega)$.
• Compensata Compattezza: Viene stabilita una versione frazionaria del lemma div-curl (Proposizione 2.14) utilizzando la regola di Leibniz frazionaria e l'integrazione per parti. Questo strumento è cruciale per gestire la convergenza debole di prodotti di sequenze nel contesto non locale.
• Compattezza ed Embedding: La strategia di dimostrazione utilizza la compattezza del gradiente frazionario sul complemento del dominio (Teorema 2.11) e l'embedding compatto di $H^s_0(\Omega)$ in $L^2(\Omega)$ (Teorema 2.10).
• Topologie di Schur: Il documento connette la convergenza $H^s$ all'astrazione della convergenza $H$-non locale, identificandola come una specifica topologia di Schur su operatori lineari limitati.
• Analisi Unidimensionale: Gli autori estendono i risultati al caso monodimensionale ($d=1$), affrontando le specifiche difficoltà riguardanti il nucleo dell'operatore di derivata frazionaria, che differisce significativamente dal caso classico locale.

Contributi Chiave e Risultati

1. Caratterizzazione della Convergenza $H^s$ (Teorema 1.3):
   Il risultato primario fornisce una caratterizzazione completa della convergenza $H^s$ per sequenze $(A_n)_n$ in $M(\alpha, \beta; \mathbb{R}^d)$ (coefficienti matriciali ammissibili). Il teorema afferma che $A_n \xrightarrow{H^s} A$ se e solo se:

• La restrizione della sequenza al dominio $\Omega$ converge $H$ (nel senso classico di Murat-Tartar) alla restrizione del limite: $A_n|_\Omega \xrightarrow{H} A|_\Omega$.
• La restrizione della sequenza al complemento del chiuso di $\Omega$ converge debolmente-$\ast$ in $L^\infty$: $A_n|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega} \xrightarrow{\ast} A|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega}$.
  Questo risultato rimuove il precedente requisito che i coefficienti siano fissi all'esterno di $\Omega$, mostrando che il limite di omogeneizzazione è determinato dalla convergenza $H$ locale all'interno del dominio e dalla convergenza debole-$\ast$ all'esterno.

2. Estensione in Una Dimensione:
   Gli autori generalizzano i risultati di compattezza e unicità di [16] al caso $d=1$. Dimostrano che, sebbene il limite $H$ in 1D corrisponda alla media armonica, la natura non locale della derivata frazionaria impedisce la convergenza forte $L^2$ dei flussi che caratterizza il caso classico. Provano che il nucleo dell'operatore di derivata frazionaria in 1D è a dimensione infinita, complicando la derivazione della convergenza forte dei flussi.

3. Proprietà Metriche e Topologiche:
   Il documento stabilisce che lo spazio dei coefficienti ammissibili, equipaggiato con la convergenza $H^s$, è metrizzabile e compatto. Viene costruita una metrica specifica combinando la metrica $H$ classica su $\Omega$ e una metrica debole-$\ast$ sul complemento.

4. Connessione alle Topologie di Schur (Teorema 7.4):
   Gli autori mostrano che la convergenza $H^s$ può essere interpretata come una topologia di Schur sullo spazio degli operatori lineari limitati. Identificano due distinte topologie di Schur — una derivata dal range del gradiente frazionario e un'altra dalla decomposizione di $L^2(\mathbb{R}^d)$ — che inducono la stessa struttura di spazio metrico sull'insieme dei coefficienti. Ciò inserisce il problema dell'omogeneizzazione frazionaria nel quadro più ampio della convergenza $H$-non locale introdotta in [45, 46].

5. Coefficienti Simmetrici e Convergenza $G^s$ (Sezione 8):
   Per i coefficienti simmetrici, il documento introduce la convergenza $G^s$ (basata sulla convergenza dell'energia) e ne prova l'equivalenza con la convergenza $H^s$. Ciò estende la classica relazione tra convergenza $G$ e $H$ al contesto frazionario.

6. Applicazione alle Equazioni del Calore Frazionarie (Teorema 1.4):
   Utilizzando i risultati di convergenza stabiliti e la teoria delle equazioni evolutive, gli autori risolvono un problema di omogeneizzazione per un'equazione di tipo calore frazionario $\partial_t u - \text{div}_s(A \nabla_s u) = f$. Dimostrano che se i coefficienti $A_n$ convergono in $H^s$ a $A$, le soluzioni $u_n$ convergono fortemente in $L^2(0, T; L^2(\Omega))$ alla soluzione $u$ dell'equazione omogeneizzata.

Significato e Rivendicazioni
Il documento sostiene di fornire una caratterizzazione rigorosa e completa dell'omogeneizzazione per problemi di diffusione non locale con coefficienti locali altamente oscillanti. Collegando la convergenza $H^s$ alla classica convergenza $H$ locale e alla convergenza debole-$\ast$, gli autori dimostrano che il complesso problema non locale può essere compreso attraverso le ben consolidate topologie locali, a condizione che il comportamento dei coefficienti sul complemento del dominio sia tenuto in considerazione.

Il lavoro è significativo per:

• Generalizzazione: Rimuove il vincolo artificiale dei coefficienti fissi all'esterno del dominio, permettendo oscillazioni attraverso l'intero spazio $\mathbb{R}^d$.
• Completezza Dimensionale: Risolve il caso monodimensionale, precedentemente limitato nella letteratura a causa di assunzioni tecniche sulla dimensione.
• Unificazione Teorica: Colma il divario tra l'omogeneizzazione frazionaria e la teoria astratta della convergenza $H$-non locale tramite le topologie di Schur.
• Applicazioni Tempo-Dipendenti: Applica con successo questi risultati di omogeneizzazione statica alle equazioni del calore frazionarie tempo-dipendenti, rispondendo a una specifica questione aperta riguardante la convergenza delle soluzioni in questo contesto.

Gli autori osservano che, sebbene i risultati siano robusti per la classe definita di operatori, il comportamento di queste topologie per coefficienti non locali generali (elementi di $L(L^2)$ piuttosto che di $L^\infty$) rimane una questione aperta.