On Hardy-Littlewood-Sobolev estimates for degenerate Laplacians

Aquí presento un resumen técnico detallado del artículo "Hardy-Littlewood-Sobolev estimates for degenerate Laplacians" de Pascal Auscher y Khalid Baadi, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda la falta de conocimiento sobre las estimaciones de tipo Hardy-Littlewood-Sobolev (HLS) para potencias fraccionarias de operadores Laplacianos degenerados en espacios ponderados.

• Contexto: Los operadores elípticos degenerados, donde la degeneración está controlada por pesos de la clase de Muckenhoupt $A_2(\mathbb{R}^n)$, han sido estudiados extensamente (desde [FKS82]). Se sabe que el semigrupo asociado al Laplaciano ponderado $-\Delta_\omega$ es acotado en $L^p_\omega$ y posee un cálculo funcional $H^\infty$.
• La Brecha: En el caso no ponderado ($\omega=1$), las estimaciones HLS para potencias fraccionarias $(-\Delta)^{-\alpha}$ se derivan de las cotas $L^p-L^q$ del semigrupo del calor. Sin embargo, en el caso ponderado, el semigrupo no es acotado de $L^p_\omega$ a $L^q_\omega$ si $q > p$. Esto impide aplicar directamente la estrategia clásica de representación de Calderón e interpolación de Marcinkiewicz.
• Objetivo: Establecer desigualdades de inmersión de Sobolev ponderadas para las potencias fraccionarias $(-\Delta_\omega)^{-\alpha}$, identificando las condiciones correctas sobre el peso $\omega$ y los espacios de llegada.

2. Metodología

La estrategia principal del artículo se basa en el análisis del núcleo del calor (heat kernel) asociado al operador degenerado y en el uso de interpolación real.

• Estimaciones del Núcleo del Calor: Se utilizan cotas gaussianas superiores e inferiores para el núcleo del calor $K_t(x, y)$ del operador $-\Delta_\omega$. Estas cotas dependen de la medida ponderada $\omega_t(x) = \omega(B(x, \sqrt{t}))$.
• Condiciones de Hölder Inverso (Reverse Hölder): La clave del método es asumir que el peso $\omega$ pertenece a la clase de Hölder inverso $RH_{q/p}(\mathbb{R}^n)$. Bajo esta condición, los autores demuestran que el semigrupo satisface una cota de tipo $L^p-L^q$ con un cambio específico de medida:
  $$\|e^{t\Delta_\omega} f\|_{L^q_{\omega^{q/p}}} \leq C t^{-\alpha} \|f\|_{L^p_\omega}$$
  donde $\alpha = \frac{n}{2}(\frac{1}{p} - \frac{1}{q})$.
• Representación de Calderón: Se utiliza la fórmula de representación de potencias fraccionarias mediante el semigrupo:
  $$(-\Delta_\omega)^{-\alpha} f = \frac{1}{\Gamma(\alpha)} \int_0^\infty t^\alpha e^{t\Delta_\omega} f \frac{dt}{t}$$
• Interpolación Real: Para manejar los casos extremos y mejorar las estimaciones a espacios de Lorentz, se emplea el teorema de interpolación real de Stein-Weiss y fórmulas de Lizorkin-Freitag, permitiendo trabajar con diferentes tripletas de exponentes $(p, q, \varepsilon)$.

3. Contribuciones Clave y Resultados Principales

A. Teorema Principal (Estimaciones HLS Ponderadas)

El resultado central (Teorema 1.1) establece que si $\omega \in A_2(\mathbb{R}^n) \cap RH_{q/p}(\mathbb{R}^n)$, entonces la potencia fraccionaria $(-\Delta_\omega)^{-\alpha}$ define un operador acotado:

• De $L^p_\omega(\mathbb{R}^n)$ a $L^q_{\omega^{q/p}}(\mathbb{R}^n)$ para $1 < p < q < \infty$.
• De $L^1_\omega(\mathbb{R}^n)$ a $L^{q,\infty}_{dx}(\mathbb{R}^n)$ (tipo débil) para $p=1$.

Esto se expresa como:
$$\|\omega^{1/p} f\|_{L^q_{dx}} \leq C \|(-\Delta_\omega)^\alpha f\|_{L^p_\omega}$$
donde $\alpha = \frac{n}{2}(\frac{1}{p} - \frac{1}{q})$.

B. Agudeza de la Condición del Peso

Los autores demuestran que la condición $\omega \in RH_{q/p}$ es óptima (aguda). Si se cumple la estimación de tipo débil o fuerte para el semigrupo o para las potencias fraccionarias, entonces necesariamente $\omega$ debe pertenecer a la clase $RH_{q/p}$. Esto contrasta con las estimaciones ponderadas clásicas de Muckenhoupt-Wheeden, donde la condición es sobre un peso diferente ($\tilde{\omega} \in A_{p,q}$).

C. Extensiones a Espacios de Lorentz

El método permite refinar las estimaciones a espacios de Lorentz ponderados y no ponderados (Teoremas 3.15 y 3.17):

• $(-\Delta_\omega)^{-\alpha}$ es acotado de $L^p_\omega$ a $L^{q,p}_{\omega}(\omega^{1/p-1/q})$.
• $\omega^{1/p}(-\Delta_\omega)^{-\alpha}$ es acotado de $L^p_\omega$ a $L^{q,p}_{dx}$.
  Estos resultados mejoran las estimaciones en $L^q$ estándar, aprovechando la estructura de interpolación real.

D. Cálculo Funcional y Generalización

• Cálculo Funcional: Los resultados se extienden a funciones holomorfas en sectores que se comportan como $z^{-\alpha}$ en el origen y el infinito (Corolario 3.22).
• Operadores Elípticos Degenerados con Coeficientes: En la Sección 5, los resultados se generalizan a operadores de segundo orden $L_\omega = -\text{div}(A \nabla \cdot)$ con coeficientes reales. Si los coeficientes son complejos, las estimaciones se mantienen en rangos limitados de $p$ y $q$, sustituyendo las cotas gaussianas puntuales por estimaciones "off-diagonal".

4. Significado e Impacto

• Novedad Teórica: El trabajo resuelve un problema abierto sobre la existencia de estimaciones HLS en el contexto de Laplacianos degenerados con pesos $A_2$. Proporciona una teoría de "inmersión de Sobolev" funcional para estos operadores, distinta de las inmersiones geométricas previas.
• Diferenciación con Resultados Existentes: A diferencia de las estimaciones de Muckenhoupt-Wheeden para el Laplaciano no ponderado en espacios ponderados, este trabajo trata al peso $\omega$ como parte intrínseca de la definición del operador (el Laplaciano degenerado), no solo como un peso en la medida de integración. La condición $RH_{q/p}$ es más débil y natural en este contexto que las condiciones $A_{p,q}$ clásicas.
• Aplicaciones Futuras: Los autores mencionan que estas cotas son fundamentales para:
  1. Construir soluciones a ecuaciones parabólicas degeneradas de segundo orden con términos de orden inferior no acotados.
  2. Establecer resultados de acotación para transformadas de Riesz parabólicas degeneradas.
• Herramientas: El enfoque basado en estimaciones de núcleos de calor y cálculo funcional ofrece un marco robusto que puede adaptarse a otros operadores degenerados que satisfagan cotas gaussianas, incluso con coeficientes complejos (aunque con restricciones).

En resumen, el artículo establece un marco teórico sólido para el análisis de potencias fraccionarias de operadores elípticos degenerados, identificando la condición precisa de regularidad del peso necesaria para que se cumplan las inmersiones de Sobolev y generalizando las estimaciones clásicas de Hardy-Littlewood-Sobolev a este contexto ponderado.