$\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$

Resumo Técnico: Limites $L^p$ para Transformadas de Riesz Parabólicas com Coeficientes Rugosos

Enunciado do Problema
O artigo aborda a limitação de transformadas de Riesz associadas a operadores diferenciais parabólicos de segunda ordem não autônomos em forma divergente em $\mathbb{R}^{n+1}$. O operador é definido como $H = \partial_t - \text{div}_x(A(x,t)\nabla_x)$, onde a matriz de coeficientes $A$ é limitada, mensurável e elíptica, dependendo de todas as variáveis espaço-temporais. A transformada de Riesz associada é definida como $R_H = D H^{-1/2}$, onde $D = (\nabla_x, D_t^{1/2})$ é o gradiente parabólico envolvendo uma derivada temporal de ordem fracionária $1/2$.

Embora a limitação em $L^2$ para tais operadores tenha sido estabelecida via a solução do problema de Kato parabólico, a extensão para espaços $L^p$ para $p \neq 2$ permanece um desafio significativo. No cenário elíptico com coeficientes rugosos, os limites $L^p$ são tipicamente restritos a um subintervalo de expoentes $1 < p < 2$ devido à falta de suavidade, e argumentos de dualidade falham para $p > 2$. Para operadores parabólicos, a situação é complicada pela natureza não local da derivada temporal de ordem fracionária $D_t^{1/2}$ e pelo acoplamento das variáveis espaço e tempo pelos coeficientes mensuráveis, o que impede o uso de técnicas clássicas de multiplicadores de Fourier que separam as variáveis.

Metodologia e Ideias Principais
Os autores desenvolvem um novo arcabouço de extrapolação que se baseia em duas geometrias complementares para lidar com o decaimento limitado no espaço-tempo do núcleo do operador:

1. Pequenas Escalas: Cubos parabólicos $\Delta_r(x,t) = Q_r(x) \times I_r(t)$, refletindo a geometria local do operador.
2. Grandes Escalas: Regiões modeladas após os conjuntos de nível da derivada de ordem fracionária temporal de um potencial de Bessel parabólico. Estas são anuletas "esticadas no tempo", onde a dimensão temporal é esticada por um fator de $N^2$ em relação à dimensão espacial.

A estratégia técnica central envolve estabelecer estimativas fora da diagonal espaço-temporal para a família de operadores $(\lambda D E_\lambda)_{\lambda > 0}$, onde $E_\lambda = (1 + \lambda^2 H)^{-1}$ é o resolvente. Diferente de abordagens anteriores que dependiam da interpolação de estimativas de energia $L^2$ com limites $L^p$, os autores derivam estimativas fora da diagonal genuínas em $L^p$. Isso é crucial porque a derivada fracionária não local $D_t^{1/2}$ significa que mesmo as estimativas $L^2$ subjacentes não fornecem decaimento suficiente para $p$ abaixo do conjugado de Sobolev parabólico inferior de 2 usando interpolação padrão.

A prova procede via um argumento de bootstrapping ao longo dos conjugados de Sobolev parabólicos. Aplicando iterativamente critérios de extrapolação (especificamente uma versão de duas escalas do critério de Blunck–Kunstmann e um novo critério para operadores com decaimento limitado), os autores estendem o intervalo de limitação de $p=2$ para baixo até um expoente crítico.

Contribuições Principais e Resultados

1. Identificação do Intervalo Máximo: O artigo estabelece os primeiros limites $L^p$ para transformadas de Riesz parabólicas com coeficientes dependendo mensuravelmente de todas as variáveis. Ele identifica o intervalo aberto máximo de expoentes $1 < p \leq 2$ para os quais $R_H$ é limitado. Este intervalo é determinado pelo expoente crítico $p_-(H)$, definido como o ínfimo de $p$ para o qual a família de resolventes $(E_\lambda)$ é limitada em $L^p$.

   • Teorema 1.3: Para coeficientes complexos, $R_H$ é limitado em $L^p$ para todo $p \in (p_-(H), 2]$. Os autores provam que $p_-(H) = q_-(H)$ (onde $q_-(H)$ é o ínfimo para a família do gradiente) e que este valor reside no intervalo $[1, 2^\star)$, onde $2^\star = \frac{2(n+2)}{n+4}$ é o conjugado de Sobolev parabólico inferior de 2.

2. Coeficientes Reais: No caso em que os coeficientes $A$ são de valores reais, os autores provam que $p_-(H) = 1$. Consequentemente, a transformada de Riesz é limitada no intervalo total $L^p$ para todo $1 < p \leq 2$. Além disso, mostra-se que o componente do gradiente espacial $\nabla_x H^{-1/2}$ é de tipo fraco $(1,1)$.

3. Nitidez (Sharpness): Os resultados mostram-se nítidos dentro da classe de operadores parabólicos para dimensões espaciais $n \geq 2$. Usando soluções fracas irregulares construídas por Mooney, os autores demonstram que para qualquer $\epsilon > 0$, existem coeficientes tais que $p_-(H) \geq 2^\star - \epsilon$. Isso confirma que o limite inferior do intervalo de extrapolação não pode ser melhorado para 1 no caso geral complexo sem suposições adicionais.

4. Novo Arcabouço de Extrapolação: O artigo introduz um critério de limitação (Teorema 5.1) adaptado para operadores com "decaimento espaço-temporal limitado" que não se enquadram nos espaços padrão de tipo homogêneo. Este arcabouço permite a extensão iterativa da limitação de $L^2$ para baixo até o expoente crítico, reiniciando o argumento de extrapolação a partir de qualquer expoente $q$ conhecido como limitado.

Significância e Alegações
O artigo afirma fornecer os primeiros resultados sobre limites $L^p$ para transformadas de Riesz associadas a operadores parabólicos não autônomos com meramente coeficientes mensuráveis dependendo de todas as variáveis. A significância reside em superar o acoplamento das variáveis espaço e tempo e a não localidade da derivada temporal, que anteriormente obstruíam a aplicação da teoria de Calderón–Zygmund padrão.

Os autores enfatizam que sua visão geométrica — combinando cubos parabólicos com regiões esticadas no tempo — permite recuperar o decaimento fora da diagonal suficiente para substituir argumentos clássicos de coordenadas. O resultado é nítido em dimensões $n \geq 2$, identificando a limitação precisa imposta pela rugosidade dos coeficientes. Para coeficientes reais, o resultado recupera o intervalo total $1 < p \leq 2$, estendendo resultados anteriores que eram limitados a operadores autônomos ou exigiam maior regularidade.

O artigo conclui observando que as técnicas desenvolvidas devem ser aplicáveis a outros operadores não locais, como operadores de Stokes generalizados, e lista vários problemas abertos, incluindo a limitação de tipo fraco $(1,1)$ para a transformada de Riesz completa com coeficientes reais e o comportamento na dimensão $n=1$.