Sharp and Endpoint Two-Weight Fractional Integral Estimates for Schr"odinger Operators with Inverse-Square Potentials

Resumen Técnico: Estimaciones de Integrales Fraccionarias de Pesos Dobles Agudas y en el Límite para Operadores de Schrödinger con Potenciales de Inverso Cuadrático

Planteamiento del Problema
El artículo aborda las propiedades de mapeo del operador de integral fraccionaria $H_a^{-s/2}$ asociado al operador de Schrödinger $H_a = -\Delta + a|x|^{-2}$ en $L^2(\mathbb{R}^d)$, donde $d \ge 3$ y el parámetro del potencial $a$ se encuentra en el rango atractivo de Hardy $-(d-2)^2/4 \le a < 0$. Específicamente, los autores buscan determinar el rango completo y agudo de exponentes para los cuales se cumple la desigualdad de dos pesos
$$\||x|^{-\beta} H_a^{-s/2} f\|_{L^q} \lesssim \||x|^{\alpha} f\|_{L^p}$$
donde $1 < p, q < \infty$. El operador involucra un núcleo con singularidades en el origen y una estructura de decaimiento no gaussiana debido al potencial de inverso cuadrático, lo que lo distingue del potencial de Riesz clásico.

Metodología
El análisis se basa en una comparación positiva de dos lados conocida para el núcleo de $H_a^{-s/2}$ establecida por Killip et al., que relaciona el operador con un núcleo modelo $K_{s,\sigma}$ que involucra tres mecanismos distintos: una singularidad de Riesz casi diagonal, una singularidad de salida en el origen y una singularidad de entrada en el origen. El parámetro $\sigma$ se define como $\sigma = d - 2 - \frac{\sqrt{(d-2)^2 + 4a}}{2}$.

Para establecer el rango de mapeo agudo, los autores emplean las siguientes técnicas:

1. Descomposición del Núcleo: El núcleo modelo se descompone en tres regiones disjuntas ($\Omega_0, \Omega_x, \Omega_y$) basadas en las distancias relativas de $x$ y $y$ respecto al origen y entre sí. Esto permite que el operador esté acotado por una suma de tres operadores de tipo Stein–Weiss clásicos.
2. Pruebas de Necesidad: Se derivan condiciones necesarias mediante funciones de prueba específicas:
   • Escalamiento: Argumentos de homogeneidad.
   • Concentración en el Origen: Pruebas con funciones concentradas cerca del origen para derivar límites superiores estrictos sobre los pesos $\alpha$ y $\beta$.
   • Traslación: Uso de funciones de prueba trasladadas (moviendo bolas hacia el infinito) para derivar la condición de la suma $\alpha + \beta \ge 0$, una condición invisible en los análisis puramente radiales.
   • Orden de Exponentes: Una construcción de bloques múltiples para probar que $p \le q$.
3. Suficiencia: La prueba de suficiencia reduce el problema a la aplicación del teorema de Stein–Weiss clásico a las tres piezas descompuestas del núcleo, verificando que las condiciones derivadas satisfacen los requisitos para cada pieza.
4. Análisis de Límite (Endpoint): En los límites críticos donde la estimación fuerte $L^p \to L^q$ falla, los autores utilizan técnicas de espacios de Lorentz (específicamente $L^{p,1} \to L^{q,\infty}$) y argumentos de emparejamiento para establecer las correctas estimaciones de tipo débil.

Contribuciones Clave y Resultados
El artículo establece las siguientes condiciones precisas para que se cumpla la estimación fuerte $\||x|^{-\beta} H_a^{-s/2} f\|_{L^q} \lesssim \||x|^{\alpha} f\|_{L^p}$ para $1 < p, q < \infty$:

1. Orden: $p \le q$.
2. Escalamiento: $\frac{1}{q} = \frac{1}{p} + \frac{\alpha + \beta - s}{d}$.
3. Condición de la Suma: $\alpha + \beta \ge 0$.
4. Condiciones de Origen (Estrictas): $\alpha + \sigma < \frac{d}{p'}$ y $\beta + \sigma < \frac{d}{q}$.

Los autores demuestran que si cualquiera de las condiciones de origen estrictas se convierte en una igualdad, la estimación fuerte falla. Sin embargo, en estos límites, la estimación se mantiene en el entorno de los espacios de Lorentz:
$$\||x|^{-\beta} H_a^{-s/2} f\|_{L^{q,\infty}} \lesssim \||x|^{\alpha} f\|_{L^{p,1}}.$$
Por el contrario, la estimación falla si el espacio de entrada se restringe a $L^p$ (en lugar de $L^{p,1}$) o si la salida se restringe a $L^q$ (en lugar de $L^{q,\infty}$).

El artículo también deriva consecuencias de Sobolev con pesos, incluyendo una estimación de Sobolev de dos pesos y una familia de Hardy–Sobolev de mismo exponente con peso. Se proporciona un análisis separado para el caso crítico de Hardy ($a = -(d-2)^2/4$), señalando que, aunque la comparación de núcleos sigue siendo válida, las inserciones de energía no ponderadas estándar pueden caer exactamente en el límite excluido.

Significancia y Reivindicaciones
Los autores posicionan este trabajo como una "nota" que proporciona una clasificación explícita y completa del rango de mapeo de pesos de potencia para un núcleo ya conocido en la literatura.

• Comparación con Resultados Radiales: El trabajo mejora los resultados radiales agudos de Nowak y Stempak para potenciales de Hankel. Si bien las condiciones individuales de origen coinciden, el análisis de espacio completo revela una condición de suma más fuerte ($\alpha + \beta \ge 0$) necesaria debido a las funciones de prueba no radiales y trasladadas.
• Comparación con la Teoría General: A diferencia de los teoremas de prueba de dos pesos abstractos (por ejemplo, Sawyer, Kairema), este artículo proporciona condiciones explícitas de forma cerrada para el operador de inverso cuadrático específico.
• Modestia de las Reivindicaciones: Los autores declaran explícitamente que no pretenden presentar nuevos resultados respecto a núcleos de calor, multiplicadores espectrales, desigualdades de Bernstein o teoría de Littlewood–Paley. No abordan $p=1$, $q=\infty$, constantes óptimas, extremantes u otras extensiones autoadjuntas. La contribución principal es la resolución del problema específico de dos pesos para el potencial de inverso cuadrático utilizando la estructura de núcleo conocida.