Harnack inequality for non-uniformly elliptic equations in non-divergence form

Resumo Técnico: Desigualdade de Harnack para Equações Elípticas Não Uniformes em Forma Não-Divergente

1. O Problema e o Contexto

O artigo investiga as propriedades de regularidade para soluções de equações elípticas degeneradas em forma não-divergente na bola unitária $B_1 \subset \mathbb{R}^d$:
$$a_{ij}(x) \partial_{ij} u = 0$$
onde os coeficientes satisfazem a condição de elipticidade não uniforme:
$$\lambda(x) I \le a_{ij}(x) \le I$$
A principal inovação e desafio deste trabalho residem na hipótese sobre o coeficiente de elipticidade $\lambda(x)$. Diferente do caso uniformemente elíptico (onde $\lambda \ge \lambda_0 > 0$), aqui assume-se apenas que a inversa do coeficiente decai em um sentido integral:
$$\lambda^{-1} \in L^p(B_1)$$
para algum $p > d - 1$. O caso $p = \infty$ recupera o caso clássico uniformemente elíptico. O objetivo é determinar quais resultados da teoria de regularidade clássica (como a Desigualdade de Harnack e o Teorema de Liouville) permanecem válidos quando a elipticidade pode deteriorar-se em conjuntos pequenos, controlados apenas pela norma $L^p$.

2. Metodologia e Abordagem

O autor trabalha com o conceito de soluções de viscosidade (especificamente $C$-viscosidade), assumindo que $\lambda(\cdot)$ é contínua e estritamente positiva para evitar contra-exemplos patológicos. A metodologia combina técnicas de análise não-linear com geometria de barreiras singulares:

• Operadores Extremos de Pucci: As estimativas são formuladas em termos dos operadores de Pucci $P^+_{\lambda,1}$ e $P^-_{\lambda,1}$, que generalizam a equação linear para o caso não-linear e degenerado.
• Quantidade Invariante de Escala ($\Gamma$): Introduz-se uma quantidade $\Gamma(B)$ que captura a degenerescência média da elipticidade em uma bola $B$:
  $$\Gamma(B) := \left( \frac{1}{|B|} \int_B \lambda^{-p} \right)^{1/p}$$
  Todas as estimativas dependem exponencialmente de $\Gamma(B)$.
• Técnicas de "Touching" (Aproximação):
  • Para supersoluções, o autor utiliza paraboloides (seguido de Savin) e, crucialmente, cúspides singulares da forma $|x|^{-\beta}$ (inspirado em Smart e Armstrong) para obter estimativas de duplicação.
  • Para subsoluções, é introduzida uma nova técnica de "touching" de cima utilizando barreiras de explosão duplamente exponencial da forma $U(x) = c \exp(\exp((1-|x|^2)^{-1}))$.
• Argumentos de "Ink-Spots" (Manchas de Tinta): O autor adapta o clássico argumento de Krylov-Safonov, mas enfrenta dificuldades significativas devido à degenerescência. Em bolas com baixa elipticidade, a constante de controle cresce exponencialmente com $\Gamma(B)$, enquanto a medida do conjunto de controle decai polinomialmente, quebrando a iteração geométrica padrão.

3. Principais Contribuições e Resultados

A. Desigualdade Fraca de Harnack (Log-$L^\varepsilon$)
O autor prova uma desigualdade fraca de Harnack para supersoluções, mas com uma perda significativa em relação ao caso uniformemente elíptico:

• Resultado: Para $p > d-1$, existe um expoente $\varepsilon > 0$ tal que:
  $$\int_{B_1} \left( \log \frac{u}{\inf_{B_1} u} \right)^\varepsilon \le C \Gamma(B_5)^{\varepsilon \gamma}$$
• Limitação: O artigo demonstra que nenhuma desigualdade do tipo $L^\varepsilon$ (potência) vale para supersoluções quando $p < \infty$. O momento logarítmico é o melhor possível.
• Limiar Crítico: Se $p < d-1$, nenhuma desigualdade de Harnack fraca é possível.

B. Melhoria de Oscilação e Teorema de Liouville

• Melhoria de Oscilação: É provada uma melhoria de oscilação unitária para soluções:
  $$\text{osc}_{B_1} u \le (1 - \theta) \text{osc}_{B_5} u$$
  onde $\theta$ depende exponencialmente de $\Gamma(B_5)$. Isso implica continuidade Hölder em grande escala, mas não necessariamente em pequena escala.
• Teorema de Liouville: Sob a condição de que $\lambda^{-1} \in L^p$ globalmente (com $p > d-1$), toda solução limitada em $\mathbb{R}^d$ é constante.

C. Princípio do Máximo Local Logarítmico

• Um novo princípio do máximo local é estabelecido para subsoluções, obtido ao tocar a solução com barreiras duplamente exponenciais.
• Resultado: O máximo de uma subsolução é controlado por seus momentos logarítmicos de ordem superior a $d-1$. Este resultado é novo mesmo no caso uniformemente elíptico.

D. Desigualdade de Harnack (Resultado Principal)

• Teorema 1.5: Para $p$ suficientemente grande (dependendo da dimensão $d$), uma Desigualdade de Harnack completa é válida:
  $$\sup_{B_1} u \le C \inf_{B_1} u$$
• Condição para $p$: O autor define um limiar $p(d) = \frac{d-1}{2} \left( d + 2 + \sqrt{d(d+4)} \right)$. Para $p > p(d)$, a desigualdade vale.
• Conjectura: O autor conjectura que o limiar ótimo seja $p > d-1$, sugerindo que a dificuldade técnica atual reside na compatibilidade entre a estimativa fraca (logarítmica) e o princípio do máximo, e não na impossibilidade física do resultado para $d-1 < p \le p(d)$.

E. Contra-Exemplos e Otimalidade

• O artigo constrói exemplos explícitos mostrando que:
  1. Para $p < d-1$, a Desigualdade de Harnack falha (e até mesmo a versão fraca).
  2. Para qualquer $p < \infty$, não existem estimativas do tipo $L^\varepsilon$ (potência) para supersoluções; apenas momentos logarítmicos são possíveis.
  3. A estimativa obtida é essencialmente afiada devido às restrições geométricas impostas pelas barreiras convexas que explodem na fronteira.

4. Discussão sobre Tipos de Solução (Seção 6)

O autor discute a importância da continuidade e positividade estrita de $\lambda$.

• Para soluções de viscosidade $C$, a continuidade e positividade são necessárias para evitar contra-exemplos como $u(x) = |x|$ em dimensão 1 com $\lambda(x) = |x|^\alpha$.
• Para soluções fortes $L^s$ (com $s > d$), os resultados podem ser estendidos para elipticidades que podem anular-se em conjuntos de medida zero, pois a classe de soluções exclui automaticamente comportamentos patológicos como cúspides não diferenciáveis.
• Para soluções de viscosidade $L^s$, a situação é mais complexa e depende da relação entre $s$ e a integrabilidade de $\lambda^{-1}$.

5. Significado e Impacto

Este trabalho preenche uma lacuna significativa na teoria de equações elípticas não uniformes em forma não-divergente. Enquanto o caso divergente foi bem estudado (com limiares como $p > (d-1)/2$), o caso não-divergente era menos compreendido.

• Avanço Teórico: Estabelece que a regularidade de Hölder e a Desigualdade de Harnack são robustas mesmo sob degenerescência severa, desde que controlada em $L^p$ com $p > d-1$.
• Novas Técnicas: A introdução de barreiras duplamente exponenciais e a análise detalhada da interação entre a geometria das barreiras e a integrabilidade de $\lambda^{-1}$ abrem novas vias para o estudo de equações degeneradas.
• Aplicações Futuras: Os resultados fornecem estimativas de Hölder em grande escala, que são fundamentais para problemas de homogeneização estocástica de equações com coeficientes degenerados.

Em resumo, o artigo demonstra que, embora a degenerescência destrua as estimativas clássicas de potência ($L^\varepsilon$), a estrutura da equação ainda preserva a regularidade essencial (Harnack e Liouville) para um intervalo de integrabilidade $p$ suficientemente alto, com $d-1$ sendo o limiar crítico teórico.