A note on relativistic kinetic Schauder estimates

Resumo Técnico: Uma Nota sobre Estimativas de Schauder Cinéticas Relativísticas

Enunciado do Problema
Esta nota aborda a teoria de regularidade para equações cinéticas lineares com transporte relativístico, investigando especificamente se as estimativas de Schauder podem ser formuladas utilizando apenas normas de Hölder de momento, omitindo requisitos de regularidade espacial. A equação sob estudo é:
$$\partial_t f + \frac{p}{\langle p \rangle} \cdot \nabla_x f = \text{tr}(A(p)D^2_p f) + B(p) \cdot \nabla_p f + s,$$
onde $\langle p \rangle = (1 + |p|^2)^{1/2}$.

O trabalho recente de Henderson, Snelson, Tarfulea e Tasković [4] estabeleceu regularidade condicional e decaimento para a equação de Landau relativística, baseando-se em uma estimativa de Schauder formulada em espaços de Hölder cinéticos lorentzianos. Esta estimativa assume um módulo de Hölder intrínseco em todas as variáveis não triviais, incluindo um módulo espacial. No cenário galileano (não relativístico), a questão do limite — se a regularidade espacial poderia ser inteiramente removida para que o Hessiano de momento fosse controlado unicamente pelas normas de Hölder de velocidade dos coeficientes e do termo de forçamento — foi respondida negativamente recentemente por Dong e o autor em [2] para a equação de Kolmogorov. O propósito desta nota é resolver a mesma questão de limite para o transporte relativístico.

Metodologia
A construção de contraexemplos baseia-se em uma conjugação exata entre o operador de transporte relativístico e o operador de Kolmogorov galileano de coeficientes constantes.

1. Mapa de Conjugação: O autor utiliza o difeomorfismo $\Phi(p) = p/\langle p \rangle$, que mapeia o espaço de momento $\mathbb{R}^3$ sobre a bola de velocidade unitária $B_1$. Sua inversa é $\Psi(v) = v/\sqrt{1-|v|^2}$.
2. Seleção de Coeficientes: São escolhidos coeficientes suaves específicos $A(p)$ e $B(p)$ (definidos na Eq. 2.1) de tal forma que, sob a mudança de variáveis $v = \Phi(p)$, a equação relativística se transforma exatamente na equação de Kolmogorov de coeficientes constantes:
   $$\partial_t u + v \cdot \nabla_x u = \Delta_v u + s(t, x).$$
   Crucialmente, os termos de primeira ordem induzidos se cancelam, e a difusão torna-se o Laplaciano padrão.
3. Construção do Contraexemplo: Aproveitando a construção de "uma frequência" de [2], o autor define uma família de soluções estacionárias suaves $f_N$ impulsionadas por um forçamento $s_N = \cos(Nx_1)$. A solução é construída via uma representação integral explícita envolvendo a função $I_N(\eta)$, que resolve a equação de Kolmogorov transformada.
4. Análise de Escalonamento: A análise foca no comportamento do Hessiano de momento $D^2_p f_N$ em um cilindro cinético unitário. A construção explora o fato de que o forçamento $s_N$ é independente do momento (seminorma de Hölder de momento nula), mas possui alta frequência espacial $N$.

Principais Resultados
O artigo estabelece os seguintes resultados principais:

• Teorema 3.1 (Contraexemplo de Momento-Apenas Relativístico): Para os coeficientes fixos suaves e uniformemente elípticos $A$ e $B$, existe uma família de soluções estacionárias suaves $f_N$ e forçamentos $s_N$ tais que:

  • A norma da solução é pequena: $\|f_N\|_{L^\infty} \leq C N^{-2/3}$.
  • O forçamento tem seminorma de Hölder de momento zero: $[s_N]_{C^\alpha_p} = 0$.
  • O Hessiano de momento exibe grande crescimento: $[D^2_p f_N]_{C^\alpha_p} \geq c N^{\alpha/3}$.

  Consequentemente, nenhuma estimativa de Schauder local da forma $[D^2_p f]_{C^\alpha_p} \leq C(\|f\|_{L^\infty} + [s]_{C^\alpha_p})$ pode ser válida. A falha é uniforme para um único par de coeficientes fixos, em vez de exigir uma família de coeficientes dependente da frequência.

• Corolário 3.4: A falha persiste mesmo se a estimativa for permitida a depender das normas de Hölder de momento dos coeficientes e do forçamento de qualquer ordem, desde que nenhum módulo espacial seja incluído.

• Proposição 3.5 (Variante de Fonte Zero): A obstrução permanece mesmo quando o forçamento externo é zero. O autor constrói soluções onde a oscilação espacial "oculta" é codificada em um coeficiente de ordem zero limitado $c_N(x, p)$. Para esta variante, a seminorma de Hölder de momento do coeficiente $[c_N]_{C^\alpha_p}$ tende a zero quando $N \to \infty$, contudo, o Hessiano de momento da solução ainda cresce como $N^{\alpha/3}$.

Significância e Alegações
O artigo alega demonstrar que o controle de Hölder lorentziano completo usado em [4] não pode, em geral, ser substituído pelo controle de Hölder apenas de momento.

• Identificação da Quantidade Ausente: A construção identifica precisamente o módulo espacial como o componente necessário. O forçamento $s_N = \cos(Nx_1)$ é invisível a todas as seminormas de momento, mas sua seminorma de Hölder espacial no expoente cinético escala como $N^{\alpha/3}$, correspondendo exatamente ao crescimento do Hessiano.
• Consistência com a Teoria Existente: Os resultados são consistentes com a estimativa de Schauder em [4, Teorema 6.5], que retém um módulo espacial lorentziano. O contraexemplo mostra que a remoção dessa regularidade espacial leva a uma quebra da estimativa.
• Insight Estrutural: A falha é realizada através de uma compatibilidade estrutural entre o mapa não linear momento-velocidade e um único par fixo de coeficientes, em vez de argumentos perturbativos ou famílias dependentes da frequência.

Em resumo, a nota resolve a questão de limite para o transporte relativístico ao provar que a regularidade espacial é indispensável para controlar o Hessiano de momento em equações cinéticas lineares, mesmo quando os coeficientes e o forçamento são suaves e uniformemente elípticos.