Riesz transform and its related inequalities for degenerate elliptic operators of Grushin type

Resumen Técnico: Transformada de Riesz e Desigualdades Relacionadas para Operadores Elípticos Degenerados de Tipo Grushin

Planteamiento del Problema
Este artículo investiga la acotación en $L^p$ de la transformada de Riesz y la validez de la desigualdad inversa de Riesz para una clase de operadores elípticos degenerados de tipo Grushin. El operador $L$ se define en $\mathbb{R}^{n+m}$ como:
$$L = -\nabla_x \cdot (|x|^{2\alpha}\nabla_x) + |x|^{2\beta}\Delta_y,$$
donde $n, m \ge 1$, $0 < \alpha < 1$, y $\beta \ge 0$. El gradiente intrínseco asociado es $\nabla_L = (|x|^\alpha \nabla_x, |x|^\beta \nabla_y)$. La degeneración ocurre en el conjunto singular $\{x=0\}$.

Las cuestiones centrales son:

1. Acotación de la Transformada de Riesz: ¿Para qué $p \in (1, \infty)$ se cumple la desigualdad $\|\nabla_L L^{-1/2} f\|_p \le C_p \|f\|_p$?
2. Desigualdad Inversa de Riesz: ¿Para qué $p$ se cumple la desigualdad inversa $\|L^{1/2} f\|_p \le C_p \|\nabla_L f\|_p$?

El análisis se complica por la geometría anisotrópica del espacio de Grushin y el comportamiento de la realización de Friedrichs cerca del conjunto singular, que varía significativamente según la dimensión $n$ y el parámetro de degeneración $\alpha$.

Metodología
La estrategia de la prueba se basa en establecer desigualdades de Hölder inversas para los gradientes de funciones $L$-armónicas, aprovechando la equivalencia abstracta entre estas desigualdades y la acotación de la transformada de Riesz (Coulhon, Jiang, Koskela, Sikora). La metodología se divide en distintos regímenes basados en la dimensión y el parámetro de degeneración:

1. Construcciones de Núcleos y Análisis Explícito:

   • Realización de Friedrichs: Los autores caracterizan rigurosamente las condiciones de contorno admisibles en el conjunto singular $\{x=0\}$. Para $0 < \alpha < 1/2$, el dominio de la forma admite una traza común, lo que conduce a condiciones de emparejamiento de flujo. Para $1/2 \le \alpha < 1$, el conjunto singular tiene capacidad cero, separando el dominio en dos semirrectas con condiciones de flujo cero en cada una.
   • Núcleos de Poisson y de Green: Los autores construyen núcleos de Poisson y de Green explícitos adaptados a la extensión de Friedrichs. Esto implica la transformada de Fourier en la variable $y$ y la descomposición en armónicos esféricos (para $n \ge 2$) o la separación de partes pares/impares (para $n=1$).
   • Funciones de Bessel Modificadas: La parte radial del operador se reduce a ecuaciones de Bessel modificadas. El análisis requiere estimaciones precisas de las razones de las funciones de Bessel modificadas ($I_\nu$ y $K_\nu$).
     • En el caso $n \ge 2$, el orden $\nu_\ell$ de las funciones de Bessel depende de la frecuencia angular $\ell$ y tiende a infinito. Los autores desarrollan estimaciones uniformes en el orden para estas razones de Bessel, las cuales son críticas para controlar la interacción con el conjunto singular.
     • En el caso $n=1$, el problema se reduce al análisis de Bessel de orden fijo en semirrectas, pero con distintas condiciones de contorno (flujo cero para las componentes pares, traza cero para las impares).

2. Desigualdad Inversa de Riesz mediante Aniquilación Armónica:

   • Para la desigualdad inversa, particularmente en el régimen fuertemente degenerado ($n=1, \alpha \ge 1/2$) donde las desigualdades de Poincaré globales fallan, los autores emplean un método de aniquilación armónica.
   • Esta técnica aísla el término armónico principal en el núcleo de la transformada de Riesz (que causa la falta de acotación en ciertos regímenes) y lo elimina mediante integración por partes en la forma bilineal. El término restante se controla utilizando una desigualdad de Hardy adaptada a Grushin.

3. Argumento del Proyector de Hodge:

   • En el caso unidimensional fuertemente degenerado ($n=1, 1/2 \le \alpha < 1$), la falta de una desigualdad de Poincaré global impide la aplicación directa de las caracterizaciones estándar de Hölder inverso. Los autores combinan la desigualdad inversa de Riesz con un resultado de acotación del proyector de Hodge (criterio de Shen) para recuperar el rango completo de la acotación de la transformada de Riesz.

Contribuciones Clave y Resultados

• Acotación de Rango Completo para $n \ge 2$:
  El Teorema 1.1 establece que para $n \ge 2$ y $0 < \alpha < 1$, la transformada de Riesz es acotada en $L^p$ para todo el rango $1 < p < \infty$. Esto se logra demostrando la estimación de Hölder inverso en el extremo $(RH_\infty)$ cerca del conjunto singular usando estimaciones uniformes de Bessel.

• Rango Agudo y Obstrucción en el Extremo para $n=1$ Débilmente Degenerado:
  Para $n=1$ y $0 < \alpha < 1/2$, el Teorema 1.2 demuestra que la transformada de Riesz es acotada si y solo si $1 < p < \alpha^{-1}$.

  • Mecanismo: La componente impar de la solución satisface una condición de traza cero en el origen, comportándose como $\text{sgn}(x)|x|^{1-2\alpha}$. Su gradiente intrínseco escala como $|x|^{-\alpha}$, creando una singularidad que obstruye la acotación para $p \ge \alpha^{-1}$.
  • Nitidez: El artículo construye un contraejemplo que demuestra el fallo de la desigualdad de Hölder inverso en el extremo.

• Desigualdad Inversa de Riesz para Todos los Regímenes:
  El Teorema 1.3 establece la desigualdad inversa de Riesz para todos $n, m \ge 1$.

  • Para $n \ge 2$, se cumple para todo $1 < p < \infty$.
  • Para $n=1$, se cumple para $p \in (1, (1-\alpha)^{-1}) \cup ((1-\alpha)^{-1}, \infty)$. El exponente excluido $p = (1-\alpha)^{-1}$ corresponde al umbral de Hardy.
  • Crucialmente, en el caso fuertemente degenerado ($n=1, \alpha \ge 1/2$), la desigualdad inversa se cumple para todo $1 < p < \infty$ a pesar del fallo de la desigualdad de Poincaré global, gracias a la técnica de aniquilación armónica.

• Acotación de Rango Completo para $n=1$ Fuertemente Degenerado:
  El Teorema 1.4 demuestra que para $n=1$ y $1/2 \le \alpha < 1$, la transformada de Riesz es acotada para el rango completo $1 < p < \infty$.

  • Mecanismo: La realización de Friedrichs separa las dos semirrectas, seleccionando la rama de flujo cero en cada una. Aunque la desigualdad de Poincaré global falla, la estructura separada permite una estimación de Hölder inverso local fortalecida. Combinar esto con la desigualdad inversa de Riesz y la acotación del proyector de Hodge produce el resultado de rango completo.

Significado y Reivindicaciones
El artículo afirma proporcionar una descripción completa de la acotación en $L^p$ de la transformada de Riesz para operadores de Grushin a través de todos los regímenes de parámetros.

• Transición en el Comportamiento: Un hallazgo clave es la "transición sorprendente" en el comportamiento del conjunto singular. En el caso de unidimensional débilmente degenerado, el conjunto singular actúa como una barrera que crea una obstrucción específica ($p < \alpha^{-1}$). En el caso fuertemente degenerado, el conjunto singular efectivamente separa el espacio, pero la condición de flujo cero en los componentes separados restaura la acotación de rango completo.
• Novedad Técnica: El trabajo introduce estimaciones uniformes en el orden de las funciones de Bessel modificadas en el contexto de los operadores de Grushin, las cuales son necesarias para el caso de mayor dimensión. Además, adapta el método de aniquilación armónica para manejar operadores degenerados donde el conjunto singular tiene capacidad cero, evitando la necesidad de desigualdades de Poincaré globales en el análisis de la Riesz inversa.
• Limitaciones: El artículo señala que los casos límite $p = \alpha^{-1}$ (para $n=1, \alpha < 1/2$) y $p = (1-\alpha)^{-1}$ (para la desigualdad inversa) permanecen abiertos o son conocidos como los umbrales exactos de fallo, pero el artículo no resuelve la acotación en esos puntos exactos.

Los resultados resaltan que la acotación de la transformada de Riesz es sensible no solo a la geometría del núcleo de calor, sino específicamente al comportamiento local en el extremo de las funciones armónicas en el conjunto singular y la interacción entre la realización de Friedrichs y el gradiente intrínseco.