Another look at elliptic homogenization

Resumo Técnico de "Another Look at Elliptic Homogenization"

Enunciado do Problema
O artigo investiga o comportamento assintótico de uma sequência de funcionais não locais definidos por semínormas de Gagliardo $(s, 2)$ normalizadas com coeficientes oscilantes, à medida que o parâmetro fracionário $s$ se aproxima de 1 e a escala de oscilação $\varepsilon$ se aproxima de 0. Especificamente, os autores analisam o funcional:
$$F_{\varepsilon, s}(u) = (1 - s) \iint_{\Omega \times \Omega} a\left(\frac{x}{\varepsilon}\right) \frac{|u(x) - u(y)|^2}{|x - y|^{d+2s}} \, dx \, dy$$
onde $\Omega \subset \mathbb{R}^d$ é um conjunto aberto limitado, $a$ é uma função contínua 1-periódica limitada longe de zero e do infinito, e $s = s_\varepsilon \in (0, 1)$.

A questão central é determinar o limite $\Gamma$ de $F_{\varepsilon, s}$ quando $\varepsilon \to 0$ e $s \to 1^-$ simultaneamente. Embora se saiba que, para um coeficiente constante, o limite quando $s \to 1$ resulta no integral de Dirichlet (Bourgain, Brezis, Mironescu; Ponce), e para um $s=1$ fixo, o limite quando $\varepsilon \to 0$ resulta no integral de Dirichlet homogeneizado, a interação entre esses dois limites é não trivial. O artigo foca no regime "subcrítico", onde a convergência de $s$ para 1 é suficientemente rápida em relação à escala de oscilação $\varepsilon$.

Metodologia
Os autores empregam a teoria da $\Gamma$-convergência com relação à convergência $L^2(\Omega)$. A prova é dividida no estabelecimento das desigualdades $\Gamma$-liminf e $\Gamma$-limsup sob a suposição:
$$\lim_{\varepsilon \to 0} \frac{1 - s_\varepsilon}{\varepsilon^2} = 0.$$

1. Localização e Discretização (Liminf):

   • Lema 3 (Localização): Os autores mostram primeiro que as interações entre pontos $x, y$ com $|x-y| > r_\varepsilon$ são desprezíveis se $r_\varepsilon$ for escolhido de tal forma que $(1-s_\varepsilon)/r_\varepsilon^2 \to 0$. Isso permite a redução do integral não local para um intervalo de interação local.
   • Decomposição Geométrica: Para lidar com o termo não local dentro do pequeno intervalo de interação, os autores utilizam um argumento de discretização baseado na decomposição de Kuhn de cubos em simpléx. Eles introduzem uma parametrização sobre o conjunto de bases ortonormais $V$ em $\mathbb{R}^d$, empregando técnicas de Solci.
   • Funções Auxiliares: Eles constroem funções auxiliares em partes lineares (piecewise-affine) $u^\rho_\varepsilon$ sobre reticulados definidos por essas bases. Ao realizar a média dessas funções sobre o conjunto de bases e o raio de interação, eles recuperam uma função em $W^{1,2}(\Omega)$.
   • Homogeneização: O limite inferior é derivado mostrando que a energia dessas funções auxiliares converge para o integral de Dirichlet homogeneizado, aproveitando os resultados conhecidos de homogeneização para energias elípticas locais.

2. Sequência de Recuperação (Limsup):

   • Casos Afim e em Partes Lineares: Para funções afins $u(x) = \langle z, x \rangle$, os autores constroem uma sequência de recuperação da forma $u_\varepsilon(x) = \langle z, x \rangle + \varepsilon \phi(x/\varepsilon)$, onde $\phi$ é um corretor periódico que resolve o problema da célula para a matriz homogeneizada $A_{\text{hom}}$.
   • Expansão de Taylor: A prova depende de uma expansão de Taylor de primeira ordem do corretor $\phi$. A condição $1-s \ll \varepsilon^2$ é crucial aqui para garantir que os termos de resto na expansão, que escalam com $1/\varepsilon^2$, desapareçam quando multiplicados pelo fator $(1-s)$.
   • Densidade: O resultado é estendido para funções gerais em $W^{1,2}(\Omega)$ via um argumento de densidade usando funções em partes lineares e um argumento diagonal.

Resultados Principais
O teorema principal (Teorema 1) afirma que, se $\lim_{\varepsilon \to 0} (1 - s_\varepsilon)/\varepsilon^2 = 0$, então a sequência de funcionais $\Gamma$-converge para o integral de Dirichlet homogeneizado:
$$\Gamma\text{-}\lim_{\varepsilon \to 0} F_{\varepsilon, s_\varepsilon}(u) = \frac{\sigma_{d-1}}{2d} \int_\Omega \langle A_{\text{hom}} \nabla u, \nabla u \rangle \, dx$$
onde $\sigma_{d-1}$ é a medida de superfície da esfera unitária e $A_{\text{hom}}$ é a matriz homogeneizada definida pela fórmula padrão de homogeneização periódica.

O artigo estabelece que, neste regime subcrítico, os efeitos do parâmetro fracionário $s$ e da escala de oscilação $\varepsilon$ "se separam". O limite é equivalente a tomar $s \to 1$ primeiro (recuperando a energia oscilante local) e depois $\varepsilon \to 0$ (homogeneizando essa energia).

Significância e Escopo
O artigo fornece uma justificativa rigorosa para a intuição formal de que separar os limites $s \to 1$ e $\varepsilon \to 0$ é válido quando o parâmetro fracionário se aproxima de 1 suficientemente rápido. Os autores observam explicitamente que a condição $1-s \ll \varepsilon^2$ é um caso subcrítico. Eles afirmam que o caso crítico ($1-s \sim \varepsilon^2$) e os casos supercríticos requerem técnicas diferentes e mais complexas envolvendo procedimentos de homogeneização não local-para-local e não são tratados neste trabalho.

A contribuição reside em preencher a lacuna entre as aproximações de Sobolev não locais e a homogeneização elíptica clássica, demonstrando que, sob relações de escala específicas, a natureza não local da semínorma de Gagliardo não altera o limite homogeneizado em comparação ao caso local padrão. O trabalho também oferece uma técnica de prova inovadora para o limite inferior usando a decomposição de Kuhn e a integração sobre bases ortogonais, que os autores observam fornecer uma prova alternativa para o resultado clássico de Bourgain, Brezis e Mironescu no caso de coeficiente constante.