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

Resumen Técnico: Cotas $L^p$ para Transformadas de Riesz Parabólicas con Coeficientes Rugosos

Planteamiento del Problema
El artículo aborda la acotación de las transformadas de Riesz asociadas a operadores diferenciales parabólicos de segundo orden no autónomos en forma divergente sobre $\mathbb{R}^{n+1}$. El operador está definido como $H = \partial_t - \text{div}_x(A(x,t)\nabla_x)$, donde la matriz de coeficientes $A$ es acotada, medible y elíptica, dependiendo de todas las variables espacio-temporales. La transformada de Riesz asociada se define como $R_H = D H^{-1/2}$, donde $D = (\nabla_x, D_t^{1/2})$ es el gradiente parabólico que involucra una derivada temporal fraccionaria de orden $1/2$.

Si bien la acotación en $L^2$ para tales operadores fue establecida mediante la solución al problema de Kato parabólico, la extensión a espacios $L^p$ para $p \neq 2$ sigue siendo un desafío significativo. En el entorno elíptico con coeficientes rugosos, las cotas $L^p$ suelen estar restringidas a un sub-rango de exponentes $1 < p < 2$ debido a la falta de suavidad, y los argumentos de dualidad fallan para $p > 2$. Para los operadores parabólicos, la situación se complica por la naturaleza no local de la derivada temporal de orden medio $D_t^{1/2}$ y el acoplamiento de las variables espaciales y temporales mediante los coefores medibles, lo que impide el uso de las técnicas clásicas de multiplicadores de Fourier que separan las variables.

Metodología e Ideas Clave
Los autores desarrollan un novedoso marco de extrapolación que se basa en dos geometrías complementarias para manejar la limitada decaimiento espacio-temporal de los núcleos del operador:

1. Escalas Pequeñas: Cubos parabólicos $\Delta_r(x,t) = Q_r(x) \times I_r(t)$, que reflejan la geometría local del operador.
2. Escalas Grandes: Regiones modeladas tras los conjuntos de nivel de la derivada temporal de orden medio de un potencial de Bessel parabólico. Estos son anillos "estirados en el tiempo" donde la dimensión temporal se estira por un factor de $N^2$ respecto a la dimensión espacial.

La estrategia técnica central consiste en establecer estimaciones fuera de la diagonal espacio-temporales para la familia de operadores $(\lambda D E_\lambda)_{\lambda > 0}$, donde $E_\lambda = (1 + \lambda^2 H)^{-1}$ es el resolvente. A diferencia de enfoques previos que dependían de la interpolación de estimaciones de energía en $L^2$ con cotas en $L^p$, los autores derivan genuinas estimaciones fuera de la diagonal en $L^p$. Esto es crucial porque la derivada fraccionaria no local $D_t^{1/2}$ implica que incluso las estimaciones subyacentes en $L^2$ no proporcionan un decaimiento suficiente para $p$ por debajo del conjugado de Sobolev parabólico inferior de 2 utilizando la interpolación estándar.

La demostración procede mediante un argumento de bootstrapping a lo largo de los conjugados de Sobolev parabólicos. Aplicando iterativamente criterios de extrapolación (específicamente una versión de dos escalas del criterio de Blunck–Kunstmann y un nuevo criterio para operadores con decaimiento limitado), los autores extienden el rango de acotación desde $p=2$ hacia abajo hasta un exponente crítico.

Contribuciones Clave y Resultados

1. Identificación del Rango Máximo: El artículo establece las primeras cotas $L^p$ para las transformadas de Riesz parabólicas con coeficientes que dependen mediblemente de todas las variables. Identifica el rango abierto máximo de exponentes $1 < p \leq 2$ para los cuales $R_H$ es acotada. Este rango está determinado por el exponente crítico $p_-(H)$, definido como el ínfimo de $p$ para el cual la familia de resolventes $(E_\lambda)$ es acotada en $L^p$.

   • Teorema 1.3: Para coeficientes complejos, $R_H$ es acotada en $L^p$ para todo $p \in (p_-(H), 2]$. Los autores prueban que $p_-(H) = q_-(H)$ (donde $q_-(H)$ es el ínfimo para la familia del gradiente) y que este valor se encuentra en el intervalo $[1, 2^\star)$, donde $2^\star = \frac{2(n+2)}{n+4}$ es el conjugado de Sobolev parabólico inferior de 2.

2. Coeficientes Reales: En el caso donde los coeficientes $A$ son de valores reales, los autores prueban que $p_-(H) = 1$. En consecuencia, la transformada de Riesz es acotada en el rango completo $L^p$ para todo $1 < p \leq 2$. Además, se muestra que el componente del gradiente espacial $\nabla_x H^{-1/2}$ es de tipo débil $(1,1)$.

3. Nitidez (Sharpness): Se demuestra que los resultados son nítidos dentro de la clase de operadores parabólicos para dimensiones espaciales $n \geq 2$. Utilizando soluciones débiles irregulares construidas por Mooney, los autores demuestran que para cualquier $\epsilon > 0$, existen coeficientes tales que $p_-(H) \geq 2^\star - \epsilon$. Esto confirma que el límite inferior del rango de extrapolación no puede mejorarse a 1 en el caso general complejo sin supuestos adicionales.

4. Nuevo Marco de Extrapolación: El artículo introduce un criterio de acotación (Teorema 5.1) diseñado para operadores con "decaimiento espacio-temporal limitado" que no encajan en los espacios estándar de tipo homogéneo. Este marco permite la extensión iterativa de la acotación desde $L^2$ hacia abajo hasta el exponente crítico mediante el reinicio del argumento de extrapolación desde cualquier exponente $q$ conocido que sea acotado.

Significado y Reivindicaciones
El artículo afirma proporcionar los primeros resultados sobre cotas $L^p$ para transformadas de Riesz asociadas a operadores parabólicos no autónomos con meramente coeficientes medibles que dependen de todas las variables. La significancia radica en superar el acoplamiento de las variables espacio y tiempo y la no localidad de la derivada temporal, lo que anteriormente obstruía la aplicación de la teoría clásica de Calderón–Zygmund.

Los autores enfatizan que su visión geométrica —combinando cubos parabólicos con regiones estiradas en el tiempo— permite recuperar un decaimiento fuera de la diagonal suficiente para reemplazar los argumentos clásicos de coordenadas. El resultado es nítido en dimensiones $n \geq 2$, identificando la limitación precisa impuesta por la rugosidad de los coeficientes. Para coeficientes reales, el resultado recupera el rango completo $1 < p \leq 2$, extendiendo resultados previos que estaban limitados a operadores autónomos o requerían más regularidad.

El artículo concluye señalando que se espera que las técnicas desarrolladas sean aplicables a otros operadores no locales, como los operadores de Stokes generalizados, y enumera varios problemas abiertos, incluyendo la acotación de tipo débil $(1,1)$ para la transformada de Riesz completa con coeficientes reales y el comportamiento en dimensión $n=1$.