De Giorgi-Nash-Moser theory for kinetic equations with nonlocal diffusions

Resumo Técnico: Teoria de De Giorgi-Nash-Moser para Equações Cinéticas com Difusões Não Locais

Enunciado do Problema
O artigo aborda a teoria de regularidade para uma classe de equações hipoelelíticas não locais que surgem na teoria cinética, especificamente equações de Kolmogorov integro-diferenciais da forma:
$$(\partial_t + v \cdot \nabla_x)f = L_v f + h$$
onde $L_v$ é um operador de difusão não local atuando apenas sobre a variável de velocidade $v$, tipicamente envolvendo derivadas fracionárias (por exemplo, um Laplaciano fracionário $(-\Delta_v)^s$ com coeficientes irregulares). O núcleo $K$ satisfaz condições padrão de elipticidade/coercividade, mas pode ser degenerado.

Uma dificuldade central neste contexto é a falha das estimativas clássicas de De Giorgi-Nash-Moser (DGNM). Contraintuitivos recentes de Kaßmann e Weidner [45] demonstram que, para tais equações cinéticas não locais, a desigualdade de Harnack clássica e as estimativas locais $L^2-L^\infty$ geralmente falham, mesmo para soluções estacionárias. Essa falha decorre da interação entre a não localidade da difusão e o termo de transporte anisotrópico ($v \cdot \nabla_x$), que impede a compensação padrão dos efeitos não locais por meio de caudas de supremo utilizadas em contextos puramente elípticos ou parabólicos não locais.

Metodologia
Os autores desenvolvem uma teoria DGNM refinada, adaptada à geometria específica das equações cinéticas, governada por uma estrutura de grupo de Lie homogêneo (transformações de Galileu) e escalonamento não euclidiano. A metodologia envolve:

1. Estrutura Geométrica: A análise é conduzida em "cilindros inclinados" $Q_r(z_0)$ adaptados ao escalonamento cinético $\delta_r(t, x, v) = (r^{2s}t, r^{1+2s}x, rv)$. Isso respeita o escalonamento intrínseco do operador de transporte.
2. Controle da Cauda: Em vez de assumir limitação global ou utilizar caudas de supremo, os autores introduzem uma condição baseada na somabilidade $L^p$ da "cauda não local" da solução ao longo das variáveis de deriva. A cauda é definida como:
   $$\text{Tail}(f; B_r(v_0)) := r^{2s} \int_{\mathbb{R}^n \setminus B_r(v_0)} \frac{|f(v)|}{|v_0 - v|^{n+2s}} \, dv$$
   A suposição chave é que esta quantidade de cauda pertence a $L^p_{loc}$ em relação às variáveis de transporte $(t, x)$, onde $p > N_s/2s$ e $N_s$ é a dimensão homogênea.
3. Ganho de Integrabilidade (Estimativas de Caccioppoli): A prova baseia-se em uma nova estimativa cinética de Caccioppoli que incorpora o termo de cauda. Ao utilizar a natureza hipoelelítica da equação e a solução fundamental da equação de Kolmogorov fracionária (via uma abordagem de paramatriz), os autores estabelecem um ganho local de integrabilidade para subsoluções fracas. Isso permite contornar a falta de uma desigualdade de Sobolev direta no espaço tempo-velocidade.
4. Esquema Iterativo: Emprega-se um argumento iterativo do tipo De Giorgi, modificado para lidar com a cauda não local. A iteração equilibra contribuições locais com a contribuição da cauda não local, controlada por um parâmetro $\delta$.

Principais Contribuições e Resultados

• Teorema 1.1 (Estimativa $L^2-L^\infty$ Interpolativa $\delta$): Os autores provam uma estimativa de limitação local para subsoluções fracas. A norma $L^\infty$ da solução em um cilindro menor é limitada por sua norma $L^2$ em um cilindro maior, a norma $L^p$ do termo fonte $h$ e, crucialmente, a norma $L^p$ da cauda não local. A estimativa inclui um parâmetro $\delta$ que permite um equilíbrio quantitativo entre efeitos locais e não locais.
  $$\text{ess sup}_{Q_{r/2}} f \leq c(\delta) \langle v_0 \rangle^{\dots} \|f\|_{L^2} + \dots + \delta \|\text{Tail}(f^+)\|_{L^p}$$
  Este resultado resolve a questão levantada pelo contraexemplo em [45], mostrando que a falha da estimativa clássica deve-se à falta de controle sobre a integrabilidade da cauda.

• Teorema 1.4 (Ganho Local de Integrabilidade): O artigo estabelece que as subsoluções fracas pertencem a $L^q_{loc}$ para um intervalo específico de $q$, desde que a cauda e os termos fonte satisfaçam a condição $L^p$. Este é um passo fundamental para a estimativa $L^2-L^\infty$.

• Teorema 1.5 (Desigualdade de Harnack Forte): Uma nova formulação da desigualdade de Harnack forte é provada para soluções fracas não negativas. Diferentemente das versões clássicas, esta desigualdade inclui um termo de resto não local envolvendo a norma $L^p$ da cauda.
  $$\sup_{Q^-_{r_0}} f \leq c \inf_{Q^+_{r_0}} f + c \|\text{Tail}(f)\|_{L^p}$$
  Demonstra-se que esta formulação é consistente com o contraexemplo em [45], pois o termo de cauda impede que a razão de valores exploda quando a cauda é controlada.

• Caracterização Geométrica (Teorema 4.7): Estendendo o trabalho de Aronson e Serrin [7] para o contexto cinético não local, os autores fornecem uma caracterização geométrica da desigualdade de Harnack. Eles definem "cadeias de Harnack não locais" conectando pontos por meio de curvas admissíveis no grupo de Lie subjacente, mostrando que o máximo da solução em um conjunto compacto é controlado pelo valor em um ponto inicial mais as contribuições acumuladas da cauda ao longo da cadeia.

Significado e Alegações
O artigo alega completar o quadro DGNM não local para equações de Kolmogorov dentro da classe considerada. Seu significado principal reside em:

1. Resolução do Contraexemplo: Identifica a contribuição não local precisa (a cauda somável em $L^p$) necessária para restaurar estimativas de regularidade que falham na forma clássica.
2. Remoção de Suposições A Priori: Os resultados permitem a prova de continuidade de Hölder e desigualdades de Harnack sem assumir a priori a limitação global das soluções, uma suposição comum na literatura cinética anterior.
3. Unificação: O trabalho alinha a teoria cinética com as estimativas disponíveis em contextos elípticos e parabólicos fracionários, fornecendo contrapartes integro-diferenciais para resultados recentes sobre equações cinéticas locais com coeficientes irregulares.
4. Afiamento: Os autores argumentam que a condição $L^p$ sobre a cauda é afiada (ou quase afiada) no contexto dos contraexemplos fornecidos por Kaßmann e Weidner, pois uma integrabilidade inferior leva à falha das estimativas.

O artigo conclui observando que essas técnicas poderiam servir de base para desenvolvimentos futuros, como operadores do tipo $p$-Laplaciano não lineares, abordagens de viscosidade e aplicações a jogos de campo médio, embora estes sejam apresentados como direções futuras potenciais e não como resultados estabelecidos no texto.