Regularity for monotone Operators and applications to homogenization of $p$-Laplace type equations

Resumo Técnico: Regularidade para Operadores Monótonos e Aplicações à Homogeneização de Equações do Tipo $p$-Laplace

Enunciado do Problema
O manuscrito aborda a teoria da regularidade para soluções de equações elípticas quasilineares em forma de divergência com coeficientes periódicos rapidamente oscilantes. Especificamente, investiga equações da forma:
$$\nabla \cdot a\left(\frac{x}{\varepsilon}, \nabla u\right) = \nabla \cdot F$$
onde $\varepsilon \in (0, 1]$ é um parâmetro pequeno, e o operador $a(x, \xi)$ satisfaz condições de crescimento e monotonicidade modeladas no operador $p$-Laplace. O foco principal é estabelecer estimativas de regularidade em grande escala uniformes (especificamente estimativas $L^q$ para o gradiente e estimativas de Lipschitz) para soluções quando $p \neq 2$.

Uma dificuldade central identificada é que, embora a teoria de homogeneização clássica permita que a equação oscilante convirja para uma equação homogênea autônoma $\nabla \cdot \bar{a}(\nabla u) = \nabla \cdot F$, as propriedades estruturais do operador homogeneizado $\bar{a}$ não são garantidas de corresponderem às do operador original quando $p \neq 2$. No caso linear ($p=2$) ou quando $p=2$ em configurações não lineares, o operador homogeneizado retém monotonicidade forte e elipticidade uniforme, permitindo a aplicação da teoria de regularidade clássica. No entanto, para $p \neq 2$, o operador $\bar{a}$ tipicamente satisfaz condições de monotonicidade mais fracas (especificamente, a condição de monotonicidade forte (1.3) pode falhar, sendo substituída pela condição mais fraca (1.7)). Consequentemente, resultados de regularidade clássicos não podem ser aplicados diretamente à equação homogeneizada, criando uma barreira para derivar estimativas uniformes para o problema oscilante original.

Metodologia
Os autores empregam uma estratégia de múltiplas etapas combinando argumentos de perturbação, teoria de homogeneização e uma análise inovadora de equações não uniformemente elípticas:

1. Regularidade Local para Operadores Degenerados: Os autores primeiro estabelecem estimativas do tipo Calderón-Zygmund locais para equações autônomas $\nabla \cdot a(\nabla u) = \nabla \cdot F$ sob uma suposição de monotonicidade mais fraca (Suposição 2) do que a monotonicidade forte padrão (Suposição 1). Isso é alcançado via uma variante do método de iteração de Moser adaptada para operadores não uniformemente elípticos, utilizando diferenciações de quociente e imersões de Sobolev fracionárias. Esta etapa prova que as soluções da equação homogeneizada possuem a regularidade necessária, apesar das condições estruturais mais fracas.
2. Homogeneização e Corretores: O artigo constrói corretores e corretores de fluxo para o problema oscilante. Uma contribuição teórica crítica é a prova de que o operador homogeneizado $\bar{a}$ satisfaz a Suposição 2 mais fraca (e a Suposição 3 no caso não degenerado), mesmo se o operador original $a$ satisfizer a Suposição 1 mais forte. Essa estabilidade sob homogeneização é estabelecida usando fórmulas de célula e propriedades de operadores monótonos.
3. Perturbação de Grande Escala: Para transferir a regularidade da equação homogeneizada de volta para a equação oscilante, os autores utilizam uma expansão de duas escalas e um argumento de perturbação. Eles comparam a solução $u$ da equação oscilante com uma solução $v$ da equação homogeneizada. Ao estabelecer taxas de convergência quantitativas (via estimativas sobre os termos de resto envolvendo corretores), eles mostram que a regularidade da solução homogeneizada se eleva para a solução oscilante em grandes escalas.
4. Técnicas de Função Máxima: A derivação de estimativas globais $L^q$ baseia-se em técnicas de função máxima (especificamente funções máximas truncadas) e uma teoria de Calderón-Zygmund generalizada adaptada ao cenário $p$-Laplace, seguindo o espírito dos trabalhos de Avellaneda e Lin, mas estendida para o caso não linear e degenerado.

Principais Contribuições e Resultados

• Teorema 1.1 (Regularidade Local): Os autores provam estimativas locais $L^q$ para o gradiente de soluções de equações autônomas que satisfazem a condição de monotonicidade mais fraca (Suposição 2). Este resultado é significativo porque remove o requisito de monotonicidade forte (1.3), que é frequentemente perdida na homogeneização para $p \neq 2$. A estimativa mantém-se para todo $q \in [p, \infty)$.
• Teorema 1.2 (Estimativas $L^q$ Uniformes de Grande Escala): Para a equação oscilante com coeficientes periódicos, os autores estabelecem estimativas de Calderón-Zygmund uniformes. Crucialmente, a constante $C$ na estimativa é independente de $\varepsilon$. Este resultado é novo para equações do tipo $p$-Laplace com coeficientes oscilantes onde $p \neq 2$.
• Teorema 1.3 (Estimativas de Lipschitz Uniformes): No caso não degenerado ($\mu = 1$), os autores derivam estimativas de Lipschitz uniformes para soluções da equação homogênea ($F \equiv 0$). Isso estende os resultados seminais de Avellaneda e Lin de sistemas lineares para equações elípticas não lineares e não degeneradas.
• Estabilidade de Suposições: O artigo demonstra que a classe de operadores que satisfaz a Suposição 2 mais fraca (e a Suposição 3) é fechada sob homogeneização. Isso justifica as suposições de regularidade exigidas para a solução homogeneizada em trabalhos anteriores (ex: [23]) e permite a aplicação da teoria de regularidade desenvolvida a uma classe mais ampla de operadores, incluindo $p$-Laplacianos de Finsler e operadores $p$-Laplace ortotrópicos.

Significância e Alegações
O artigo afirma fornecer os primeiros resultados gerais incondicionais de regularidade de grande escala/uniforme do tipo Calderón-Zygmund para equações do tipo $p$-Laplace com coeficientes oscilantes quando $p \neq 2$. Antes deste trabalho, tais resultados eram ou restritos ao caso linear ($p=2$) ou exigiam suposições condicionais (por exemplo, assumindo que o operador homogeneizado retém a monotonicidade forte, o que não é geralmente verdadeiro).

Os autores enfatizam que sua abordagem supera a falta de monotonicidade forte no operador homogeneizado ao desenvolver uma teoria de regularidade para equações não uniformemente elípticas que não depende de técnicas de linearização. Isso permite recuperar resultados de regularidade de grande escala obtidos anteriormente em [59] sob suposições condicionais, mas agora sem essas restrições adicionais. Os resultados são aplicáveis a uma ampla gama de operadores degenerados, incluindo o operador $p$-Laplace ortotrópico, que satisfaz as suposições mais fracas, mas não a monotonicidade forte padrão.

O manuscrito não pretende resolver o problema para coeficientes aleatórios no caso geral $p \neq 2$ sem suposições adicionais, observando que tais resultados (ex: em [23]) dependem atualmente de restrições de modelos específicos. No entanto, ele estabelece o arcabouço determinístico necessário (regularidade do operador homogeneizado) que seria requerido para tais extensões estocásticas.