Degenerate parabolic equations in divergence form: fundamental solution and Gaussian bounds

Resumo Técnico: Equações Parabólicas Degeneradas em Forma de Divergência

1. Problema Investigado

O artigo foca no estudo de operadores parabólicos de segunda ordem na forma de divergência, definidos por:
$$Hu := \partial_t u - \omega^{-1} \text{div}_x(A(t, \cdot)\nabla_x u)$$
onde:

• $A(t, x)$ é uma matriz com coeficientes mensuráveis e complexos (ou reais), dependendo do tempo e do espaço.
• $\omega(x)$ é um peso espacial fixo, pertencente à classe de Muckenhoupt $A_2(\mathbb{R}^n)$.
• A degenerescência do operador é ditada pelo peso $\omega$: a condição de elipticidade uniforme é satisfeita por $\omega^{-1}A$, e não por $A$ diretamente.

O objetivo central é estabelecer a existência, unicidade e propriedades de ponto (bounds) da solução fundamental (ou núcleo de calor) $\Gamma(t, x; s, y)$ associada a este operador, especialmente no contexto de coeficientes complexos e variáveis no tempo, onde a regularidade clássica não se aplica.

2. Metodologia e Estrutura Teórica

O autor utiliza uma abordagem baseada em análise funcional e teoria de formas bilineares, evitando a necessidade de regularidade prévia dos coeficientes (como continuidade de Hölder).

• Espaços de Funções e Pesos: O trabalho é desenvolvido em espaços de Sobolev ponderados $H^1_\omega$ e $L^2_\omega$. A classe $A_2$ garante propriedades de dobramento (doubling property) e desigualdades de Poincaré/Sobolev ponderadas, essenciais para as estimativas.
• Existência via Teoria de Semigrupos: A existência e unicidade da família de soluções fundamentais $\Gamma(t, s)$ são garantidas aplicando resultados de [AB25] (trabalho anterior do autor e Auscher), que utilizam a teoria de formas sesquilineares coercivas e o teorema de Lions sobre embeddings. O operador é tratado como um gerador de um semigrupo de contração em $L^2_\omega$.
• Técnicas de Corte (Cut-off) e Desigualdades: Para obter propriedades locais, o autor emprega técnicas de corte suave e a Desigualdade de Caccioppoli para soluções fracas locais.
• Equivalência de Estimativas: O núcleo da metodologia é provar a equivalência entre o comportamento assintótico do núcleo (limites gaussianos) e a regularidade das soluções (estimativas de Moser).

3. Principais Contribuições e Resultados

O teorema central (Teorema 1.2) estabelece os seguintes resultados fundamentais:

A. Existência e Unicidade da Solução Fundamental
O operador $H$ possui uma única família de soluções fundamentais $\Gamma(t, s)$, que são operadores limitados em $L^2_\omega(\mathbb{R}^n)$. Esta família satisfaz propriedades de adjunção, identidade de Chapman-Kolmogorov e conservação de massa (preserva constantes).

B. Equivalência Crítica (Coeficientes Complexos)
O resultado mais significativo é a demonstração de que a existência de um limitante superior Gaussiano para o núcleo $\Gamma$ é equivalente à validade das estimativas de Moser $L^2-L^\infty$ para soluções fracas locais de $Hu=0$ e sua adjunta $H^*v=0$.

• Limitante Superior: $|\Gamma(t, x; s, y)| \leq \frac{K_0}{\sqrt{\omega(B(x, \sqrt{t-s}))\omega(B(y, \sqrt{t-s}))}} e^{-k_0 \frac{|x-y|^2}{t-s}}$.
• Implicação: Se as soluções fracas satisfazem o princípio de máxima local (estimativas de Moser), então o núcleo decai Gaussianamente. Inversamente, se o núcleo tem decaimento Gaussiano, as soluções são localmente limitadas.

C. Caso de Coeficientes Reais
Quando os coeficientes de $A$ são reais, o trabalho demonstra que:

1. As estimativas de Moser $L^2-L^\infty$ são automaticamente satisfeitas (baseado na teoria de regularidade de Nash/Moser para equações degeneradas).
2. Consequentemente, o limitante superior Gaussiano é sempre válido.
3. Utilizando a Desigualdade de Harnack (válida para coeficientes reais), o autor deriva também um limitante inferior Gaussiano para o núcleo, completando a estimativa bilateral (bounds de cima e de baixo).

D. Generalização de Resultados Anteriores
O artigo generaliza resultados clássicos de Aronson (coeficientes reais mensuráveis) e Auscher/Hofmann/Kim (coeficientes complexos, mas independentes do tempo ou perturbações pequenas) para o caso de coeficientes complexos dependentes do tempo e ambientes ponderados, sem assumir suavidade nos coeficientes.

4. Significado e Impacto

• Unificação Teórica: O trabalho fornece uma ponte rigorosa entre a teoria de regularidade de soluções fracas (Moser) e a teoria de núcleos de calor (Gaussian bounds) no contexto degenerado e complexo.
• Aplicações em Física e Análise: Equações deste tipo surgem naturalmente na análise de potências fracionárias de operadores parabólicos, difusão anômala e na teoria de kernels de calor para equações de Schrödinger com potenciais singulares.
• Remoção de Hipóteses de Suavidade: Ao provar que a regularidade das soluções (Moser) implica diretamente nos limites do núcleo, o autor elimina a necessidade de métodos de parametrix que exigem coeficientes suaves, tornando a teoria aplicável a problemas com coeficientes apenas mensuráveis.
• Extensão para Coeficientes Complexos: A prova da equivalência para coeficientes complexos é um avanço importante, pois a teoria de Harnack (que fornece limites inferiores) falha para coeficientes complexos, deixando apenas os limites superiores como o resultado principal garantido neste caso geral.

Em suma, o artigo consolida a teoria de soluções fundamentais para uma classe ampla de operadores parabólicos degenerados, estabelecendo que o comportamento de decaimento do núcleo de calor é intrinsecamente ligado à regularidade local das soluções, independentemente da complexidade dos coeficientes, desde que o peso pertença à classe $A_2$.