Characterisation of homogenisation for nonlocal diffusion by local topologies

Resumo Técnico: Caracterização da Homogeneização para Difusão Não Local por Topologias Locais

Enunciado do Problema
O artigo aborda a homogeneização de problemas de forma de divergência fracionária caracterizados por coeficientes locais altamente oscilatórios e operadores diferenciais não locais. Especificamente, os autores consideram equações da forma $-\text{div}_s(A \nabla_s u) = f$, onde $\nabla_s$ e $\text{div}_s$ denotam o gradiente e a divergência fracionária de Riesz de ordem $s \in (0, 1)$. Um desafio central neste cenário é que, embora os coeficientes $A$ sejam locais (funções matriciais), a natureza não local dos operadores exige que esses coeficientes sejam definidos em todo o espaço $\mathbb{R}^d$, e não apenas em um domínio limitado $\Omega$. Trabalhos anteriores [16] introduziram a convergência $H^s$ para lidar com tais problemas, mas impuseram a restrição de que os coeficientes fossem fixos fora do domínio $\Omega$ (ou seja, $A|_{\mathbb{R}^d \setminus \Omega} = A_0$). Este artigo busca caracterizar plenamente a convergência $H^s$ para sequências de coeficientes definidas em todo o espaço $\mathbb{R}^d$ sem tais restrições, e relacionar essa convergência com as clássicas topologias locais e estruturas operatórias não locais.

Metodologia
Os autores empregam uma combinação de cálculo fracionário, análise funcional e teoria da homogeneização. Os principais componentes metodológicos incluem:

• Operadores Fracionários: A análise baseia-se no gradiente e na divergência fracionária de Riesz, definidos via integrais singulares ou multiplicadores de Fourier, e seus espaços de Sobolev fracionários associados $H^s_0(\Omega)$ e $H^{-s}(\Omega)$.
• Compacidade Compensada: Uma versão fracionária do lema div-curl (Proposição 2.14) é estabelecida usando a regra de Leibniz fracionária e integração por partes. Esta ferramenta é crucial para lidar com a convergência fraca de produtos de sequências no cenário não local.
• Compacidade e Imersões: A estratégia de prova utiliza a compacidade do gradiente fracionário no complemento do domínio (Teorema 2.11) e a imersão compacta de $H^s_0(\Omega)$ em $L^2(\Omega)$ (Teorema 2.10).
• Topologias de Schur: O artigo conecta a convergência $H^s$ à noção abstrata de convergência $H$-não local, identificando-a como uma topologia de Schur específica em operadores lineares limitados.
• Análise Unidimensional: Os autores estendem os resultados para o caso unidimensional ($d=1$), abordando dificuldades específicas relativas ao núcleo do operador de derivada fracionária, que difere significamente do caso local clássico.

Principais Contribuições e Resultados

1. Caracterização da Convergência $H^s$ (Teorema 1.3):
   O resultado principal fornece uma caracterização completa da convergência $H^s$ para sequências $(A_n)_n$ em $M(\alpha, \beta; \mathbb{R}^d)$ (coeficientes matriciais admissíveis). O teorema afirma que $A_n \xrightarrow{H^s} A$ se, e somente se:

   • A restrição da sequência ao domínio $\Omega$ converge $H$ (no sentido clássico de Murat-Tartar) para a restrição do limite: $A_n|_\Omega \xrightarrow{H} A|_\Omega$.
   • A restrição da sequência ao complemento do fechamento de $\Omega$ converge fraca-$\ast$ em $L^\infty$: $A_n|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega} \xrightarrow{\ast} A|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega}$.
     Este resultado remove a exigência anterior de que os coeficientes fossem fixos fora de $\Omega$, mostrando que o limite de homogeneização é determinado pela convergência $H$ local dentro do domínio e pela convergência fraca-$\ast$ fora dele.

2. Extensão para Uma Dimensão:
   Os autores generalizam os resultados de compacidade e unicidade de [16] para o caso $d=1$. Eles demonstram que, embora o limite $H$ em 1D corresponda à média harmônica, a natureza não local da derivada fracionária impede a convergência forte de fluxos em $L^2$ que caracteriza o caso clássico. Eles provam que o núcleo do operador de derivada fracionária em 1D é de dimensão infinita, complicando a derivação da convergência forte de fluxos.

3. Propriedades Métricas e Topológicas:
   O artigo estabelece que o espaço de coeficientes admissíveis, equipado com a convergência $H^s$, é metrizável e compacto. Uma métrica específica é construída combinando a métrica $H$ clássica em $\Omega$ e uma métrica fraca-$\ast$ no complemento.

4. Conexão com Topologias de Schur (Teorema 7.4):
   Os autores mostram que a convergência $H^s$ pode ser interpretada como uma topologia de Schur no espaço de operadores lineares limitados. Eles identificam duas topologias de Schur distintas — uma derivada do alcance do gradiente fracionário e outra da decomposição de $L^2(\mathbb{R}^d)$ — que induzem a mesma estrutura de espaço métrico no conjunto de coeficientes. Isso coloca o problema da homogeneização fracionária dentro do quadro mais amplo da convergência $H$-não local introduzida em [45, 46].

5. Coeficientes Simétricos e Convergência $G^s$ (Seção 8):
   Para coeficientes simétricos, o artigo introduz a convergência $G^s$ (baseada na convergência de energia) e prova sua equivalência com a convergência $H^s$. Isso estende a relação clássica entre convergência $G$- e $H$- para o cenário fracionário.

6. Aplicação a Equações de Calor Fracionárias (Teorema 1.4):
   Utilizando os resultados de convergência estabelecidos e a teoria das equações evolucionárias, os autores resolvem um problema de homogeneização para uma equação do tipo calor fracionária $\partial_t u - \text{div}_s(A \nabla_s u) = f$. Eles provam que, se os coeficientes $A_n$ convergem $H^s$ para $A$, as soluções $u_n$ convergem fortemente em $L^2(0, T; L^2(\Omega))$ para a solução $u$ da equação homogeneizada.

Significância e Alegações
O artigo afirma fornecer uma caracterização rigorosa e completa da homogeneização para problemas de difusão não local com coeficientes locais altamente oscilatórios. Ao vincular a convergência $H^s$ à convergência $H$ local clássica e à convergência fraca-$\ast$, os autores demonstram que o complexo problema não local pode ser compreendido através de topologias locais bem estabelecidas, desde que o comportamento dos coeficientes no complemento do domínio seja considerado.

O trabalho é significativo para:

• Generalização: Remove a restrição artificial de coeficientes fixos fora do domínio, permitindo oscilações em todo o espaço $\mathbb{R}^d$.
• Completude Dimensional: Resolve o caso unidimensional, que era anteriormente restrito na literatura devido a pressupostos técnicos sobre a dimensão.
• Unificação Teórica: Preenche a lacuna entre a homogeneização fracionária e a teoria abstrata da convergência $H$-não local via topologias de Schur.
• Aplicações Dependentes do Tempo: Aplica com sucesso estes resultados de homogeneização estática a equações de calor fracionárias dependentes do tempo, respondendo a uma questão específica aberta sobre a convergência de soluções neste contexto.

Os autores observam que, embora os resultados sejam robustos para a classe definida de operadores, o comportamento dessas topologias para coeficientes não locais gerais (elementos de $L(L^2)$ em vez de $L^\infty$) permanece uma questão em aberto.