Uniform Calderón-Zygmund estimates in multiscale elliptic homogenization

Resumo Técnico: Estimativas de Calderón-Zygmund Uniformes em Homogeneização Elíptica Multiescala

Enunciado do Problema
Este artigo aborda a regularidade uniforme de soluções para equações elípticas lineares em forma divergente em um domínio limitado $C^1$ $\Omega \subset \mathbb{R}^d$:
$$-\text{div}(A_\varepsilon \nabla u_\varepsilon) = \text{div} f,$$
onde a matriz de coeficientes $A_\varepsilon(x)$ exibe $n$ escalas distintas de oscilação:
$$A_\varepsilon(x) = A\left(\frac{x}{\varepsilon_1}, \frac{x}{\varepsilon_2}, \dots, \frac{x}{\varepsilon_n}\right).$$
Aqui, $A(y_1, \dots, y_n)$ é 1-periódico em cada variável $y_i$, e os parâmetros $(\varepsilon_1, \dots, \varepsilon_n) \in (0, 1]^n$ são pequenos. O desafio principal é estabelecer limites $L^p$ uniformes para o gradiente $\nabla u_\varepsilon$ (a estimativa de Calderón-Zygmund) onde a constante é independente dos pequenos parâmetros, mesmo quando as escalas não estão bem separadas (ou seja, quando as razões $\varepsilon_{i+1}/\varepsilon_i$ não satisfazem necessariamente uma condição de separação de lei de potência).

Trabalhos anteriores estabeleceram estimativas de Hölder ($C^\alpha$) uniformes para tais sistemas sem separação de escala usando métodos de compacidade. No entanto, estimativas de gradiente (limites $L^p$) tipicamente requerem taxas de convergência quantitativas ou propriedades finas de corretores, que anteriormente não estavam disponíveis na ausência de separação de escala.

Metodologia
Os autores desenvolvem uma estratégia de prova inovadora que combina teoria dos números com técnicas de homogeneização para superar a falta de separação de escala. A metodologia central envolve três componentes principais:

1. Teorema de Dirichlet e Reperiodização:
   Os autores utilizam o teorema de Dirichlet sobre aproximação diofantina simultânea para separar quantitativamente a menor escala das demais. Dada uma sequência de escalas e um parâmetro grande $Q$, eles constroem uma nova matriz 1-periódica $A^\sharp$ via uma técnica de "reperiodização". Esta transformação reescreve o coeficiente original $A_\varepsilon$ como:
   $$A\left(\frac{x}{\varepsilon_1}, \dots, \frac{x}{\varepsilon_n}\right) = A^\sharp\left(\frac{x}{\varepsilon'_1}, \dots, \frac{x}{\varepsilon'_n}\right),$$
   onde as novas escalas satisfazem uma condição de separação: a menor escala $\varepsilon'_n$ é $Q$-separada das outras $n-1$ escalas (ou seja, $\varepsilon'_i \ge Q \varepsilon'_n$). Embora este processo possa degradar a regularidade de $A^\sharp$ na última variável, ele permite a aplicação de homogeneização reiterada.

2. Redução de Escala Quantitativa:
   Utilizando a propriedade de separação estabelecida acima, os autores realizam uma redução de escala quantitativa. Eles provam que a solução para o problema de $n$-escalas pode ser uniformemente aproximada pela solução de um problema com no máximo $n-1$ escalas. Esta aproximação envolve um termo corretor derivado da teoria de homogeneização reiterada. O erro nesta aproximação é controlado por potências de $Q^{-1}$ e pela razão entre a menor escala e o tamanho do domínio.

3. Argumento de Variável Real com Dupla Média:
   Para estabelecer as estimativas de gradiente $L^p$, os autores empregam um argumento de variável real refinado (baseado no arcabouço de Caffarelli e Peral). Uma inovação crítica é o uso de uma técnica de "dupla média":

   • A primeira média é tomada em uma grande escala para lidar com o erro de aproximação da redução de escala.
   • A segunda média é tomada na escala da célula periódica (dependente de $Q$) para explorar a estrutura periódica dos corretores.
     Esta abordagem dual permite que os autores contornem a necessidade de limites $L^p$ uniformes nos gradientes dos corretores na matriz reperiodizada (que de outra forma dependeriam de $Q$ e explodiriam), baseando-se, em vez disso, em estimativas de energia $L^2$ e na periodicidade dos corretores.

Principais Resultados

• Teorema 1.1 (Resultado Principal): Para qualquer $p \in (1, \infty)$, o gradiente $\nabla u_\varepsilon$ satisfaz a estimativa uniforme:
  $$\|\nabla u_\varepsilon\|_{L^p(\Omega)} \le C \|f\|_{L^p(\Omega)},$$
  onde a constante $C$ depende apenas da dimensão $d$, do número de escalas $n$, da constante de elipticidade $\Lambda$, de $p$, dos parâmetros de continuidade de Hölder $(\tau, L)$ e do domínio $\Omega$. Crucialmente, $C$ é independente dos parâmetros $(\varepsilon_1, \dots, \varepsilon_n)$. Este resultado aplica-se tanto para condições de contorno de Dirichlet quanto para condições de Neumann compatíveis.

• Corolário 1.2 (Homogeneização Quasiperiódica): O teorema principal implica estimativas de Calderón-Zygmund uniformes para coeficientes quasiperiódicos $A(x/\varepsilon) = B(Mx/\varepsilon)$ sem exigir a condição diofantina na matriz $M$. Isso resolve uma lacuna na literatura onde tais estimativas eram conhecidas apenas sob condições diofantinas estritas.

• Estimativas de Lipschitz de Grande Escala: O artigo também deriva estimativas de Lipschitz de grande escala ou de escala mesoscópica. Para duas escalas ($n=2$), uma estimativa de Lipschitz é válida para raios $r \ge \varepsilon_2^{1-\alpha}$. Para $n \ge 3$, estimativas semelhantes são obtidas perto de qualquer escala dada, embora uma estimativa de Lipschitz uniforme de escala total sem separação de escala permaneça um problema em aberto.

Significância e Alegações
Os autores afirmam que este trabalho fornece a primeira prova de estimativas de gradiente $L^p$ uniformes para equações elípticas com coeficientes multiescala arbitrários sem quaisquer suposições de separação de escala.

• Novidade: A introdução do teorema de Dirichlet na teoria de homogeneização é apresentada como uma nova ferramenta que permite a separação quantitativa de escalas onde a separação geométrica tradicional falha.
• Superação de Limitações: O artigo observa explicitamente que métodos de compacidade "suaves" (suficientes para estimativas $C^\alpha$) são insuficientes para estimativas de gradiente $L^p$. A abordagem quantitativa proposta, que calcula explicitamente as constantes e utiliza corretores, é necessária para preencher essa lacuna.
• Generalidade: Os resultados ampliam significativamente o escopo da teoria de homogeneização para incluir meios quasiperiódicos com células periódicas degeneradas e frequências de ressonância (ex: números de Liouville) sem impor condições aritméticas restritivas sobre as frequências.
• Mecanismo: O trabalho sugere que o "efeito de média" em meios multiescala ocorre de forma estável através de todas as escalas mesoscópicas, mesmo na ausência de um limite homogeneizado determinístico com uma taxa fixa, proporcionando uma compreensão mais profunda da regularidade das soluções em meios complexos.