Characterisation of homogenisation for nonlocal diffusion by local topologies

Technische Samenvatting: Karakterisering van Homogenisatie voor Nietlokale Diffusie door Lokale Topologieën

Probleemstelling
Het artikel behandelt de homogenisatie van fractionele divergentievormige problemen die worden gekenmerkt door sterk oscillerende lokale coëfficiënten en nietlokale differentiaaloperatoren. Specifiek beschouwen de auteurs vergelijkingen van de vorm $-\text{div}_s(A \nabla_s u) = f$, waarbij $\nabla_s$ en $\text{div}_s$ de Riesz fractionele gradiënt en divergentie zijn van orde $s \in (0, 1)$. Een centrale uitdaging in deze setting is dat, hoewel de coëfficiënten $A$ lokaal zijn (matrix-waardige functies), het nietlokale karakter van de operatoren vereist dat deze coëfficiënten gedefinieerd zijn op de gehele ruimte $\mathbb{R}^d$, en niet alleen op een begrensd domein $\Omega$. Voorgaand werk [16] introduceerde $H^s$-convergentie om dergelijke problemen aan te pakken, maar legde de restrictie op dat de coëfficiënten vaststaan buiten het domein $\Omega$ (d.w.z. $A|_{\mathbb{R}^d \setminus \Omega} = A_0$). Dit artikel beoogt de $H^s$-convergentie volledig te karakteriseren voor sequenties van coëfficiënten die gedefinieerd zijn op de gehele ruimte $\mathbb{R}^d$ zonder dergelijke restricties, en deze convergentie te relateren aan klassieke lokale topologieën en nietlokale operator-theoretische kaders.

Methodologie
De auteurs maken gebruik van een combinatie van fractionele calculus, functionele analyse en homogenisatietheorie. Belangrijke methodologische componenten zijn onder meer:

• Fractionele Operatoren: De analyse steunt op de Riesz fractionele gradiënt en divergentie, gedefinieerd via singular integralen of Fourier-multipliers, en de bijbehorende fractionele Sobolev-ruimten $H^s_0(\Omega)$ en $H^{-s}(\Omega)$.
• Compensated Compactness: Een fractionele versie van de div-curl lemma (Propositie 2.14) wordt vastgesteld met behulp van de fractionele Leibniz-regel en integratie door delen. Dit instrument is cruciaal voor het behandelen van de zwakke convergentie van producten van sequenties in de nietlokale setting.
• Compactheid en Inbeddingen: De bewijsstrategie maakt gebruik van de compactheid van de fractionele gradiënt op het complement van het domein (Stelling 2.11) en de compacte inbedding van $H^s_0(\Omega)$ in $L^2(\Omega)$ (Stelling 2.10).
• Schur Topologieën: Het artikel verbindt $H^s$-convergentie met het abstracte begrip van nietlokale $H$-convergentie, waarbij het wordt geïdentificeerd als een specifieke Schur-topologie op begrensde lineaire operatoren.
• Eendimensionale Analyse: De auteurs breiden de resultaten uit naar het eendimensionale geval ($d=1$), waarbij zij specifieke moeilijkheden aanpakken met betrekking tot de kern van de fractionele afgeleide-operator, die aanzienlijk verschilt van het klassieke lokale geval.

Belangrijkste Bijdragen en Resultaten

1. Karakterisering van $H^s$-Convergentie (Stelling 1.3):
   Het primaire resultaat biedt een volledige karakterisering van $H^s$-convergentie voor sequenties $(A_n)_n$ in $M(\alpha, \beta; \mathbb{R}^d)$ (toelaatbare matrix-waardige coëfficiënten). De stelling stelt dat $A_n \xrightarrow{H^s} A$ dan en slechts als:

   • De restrictie van de sequentie tot het domein $\Omega$ $H$- convergeert (in de klassieke Murat-Tartar zin) naar de restrictie van de limiet: $A_n|_\Omega \xrightarrow{H} A|_\Omega$.
   • De restrictie van de sequentie tot het complement van de sluiting van $\Omega$ zwak-$\ast$ convergeert in $L^\infty$: $A_n|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega} \xrightarrow{\ast} A|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega}$.
     Dit resultaat verwijdert de eerdere vereiste dat coëfficiënten vaststaan buiten $\Omega$, en toont aan dat de homogenisatielimiet wordt bepaald door lokale $H$-convergentie binnen het domein en zwak-$\ast$ convergentie buiten het domein.

2. Uitbreiding naar Eén Dimensie:
   De auteurs generaliseren de compactheids- en uniciteitsresultaten van [16] naar het geval $d=1$. Zij demonstreren dat hoewel de $H$-limiet in 1D overeenkomt met het harmonisch gemiddelde, de nietlokale natuur van de fractionele afgeleide de sterke $L^2$-convergentie van fluxen verhindert die het klassieke geval kenmerkt. Zij bewijzen dat de kern van de fractionele afgeleide-operator in 1D oneindig dimensioneel is, wat de afleiding van sterke flux-convergentie bemoeilijkt.

3. Metrische en Topologische Eigenschappen:
   Het artikel stelt vast dat de ruimte van toelaatbare coëfficiënten, uitgerust met $H^s$-convergentie, metriseerbaar en compact is. Er wordt een specifieke metriek geconstrueerd die de klassieke $H$-metriek op $\Omega$ combineert met een zwak-$\ast$ metriek op het complement.

4. Verbinding met Schur Topologieën (Stelling 7.4):
   De auteurs tonen aan dat $H^s$-convergentie geïnterpreteerd kan worden als een Schur-topologie op de ruimte van begrensde lineaire operatoren. Zij identificeren twee verschillende Schur-topologieën—één afgeleid van het bereik van de fractionele gradiënt en een andere van de decompositie van $L^2(\mathbb{R}^d)$—die dezelfde metriekruimte-structuur induceren op de verzameling coëfficiënten. Dit plaatst het fractionele homogenisatieprobleem binnen het bredere kader van nietlokale $H$-convergentie geïntroduceerd in [45, 46].

5. Symmetrische Coëfficiënten en $G^s$-Convergentie (Sectie 8):
   Voor symmetrische coëfficiënten introduceert het artikel $G^s$-convergentie (gebaseerd op energieconvergentie) en bewijst zij de equivalentie met $H^s$-convergentie. Dit breidt de klassieke relatie tussen $G$- en $H$-convergentie uit naar de fractionele setting.

6. Toepassing op Fractionele Warmtevergelijkingen (Stelling 1.4):
   Door gebruik te maken van de vastgestelde convergentieresultaten en de theorie van evolutionaire vergelijkingen, lossen de auteurs een homogenisatieprobleem op voor een fractionele warmtevergelijking van het type $\partial_t u - \text{div}_s(A \nabla_s u) = f$. Zij bewijzen dat als de coëfficiënten $A_n$ $H^s$-convergeren naar $A$, de oplossingen $u_n$ sterk convergeren in $L^2(0, T; L^2(\Omega))$ naar de oplossing $u$ van de gehomogeniseerde vergelijking.

Betekenis en Claims
Het artikel claimt een rigoureuze en volledige karakterisering te bieden voor de homogenisatie van nietlokale diffusieproblemen met lokale, sterk oscillerende coëfficiënten. Door $H^s$-convergentie te koppelen aan klassieke lokale $H$-convergentie en zwak-$\ast$ convergentie, demonstreren de auteurs dat het complexe nietlokale probleem begrepen kan worden via goed gevestigde lokale topologieën, mits het gedrag van de coëfficiënten op het complement van het domein wordt meegenomen.

Het werk is significant voor:

• Generalisatie: Het verwijdert de kunstmatige beperking van vaste coëfficiënten buiten het domein, waardoor oscillaties over de gehele ruimte $\mathbb{R}^d$ mogelijk zijn.
• Dimensionale Volledigheid: Het lost het eendimensionale geval op, dat in de literatuur voorheen beperkt was door technische aannames over de dimensie.
• Theoretische Unificatie: Het overbrugt de kloof tussen fractionele homogenisatie en de abstracte theorie van nietlokale $H$-convergentie via Schur-topologieën.
• Tijdafhankelijke Toepassingen: Het past deze statische homogenisatieresultaten succesvol toe op tijdafhankelijke fractionele warmtevergelijkingen, waarmee een specifiek openstaand vraagstuk met betrekking tot de convergentie van oplossingen in deze context wordt beantwoord.

De auteurs merken op dat hoewel de resultaten robuust zijn voor de gedefinieerde klasse van operatoren, het gedrag van deze topologieën voor algemene nietlokale coëfficiënten (elementen van $L(L^2)$ in plaats van $L^\infty$) een open vraag blijft.