Equivalence of Sobolev norms in Lebesgue spaces for Hardy operators in a half-space

Aquí presento un resumen técnico detallado del artículo "Equivalence of Sobolev Norms in Lebesgue Spaces for Hardy Operators in a Half-Space" de The Anh Bui y Konstantin Merz.

1. Problema y Contexto

El artículo aborda el estudio de operadores de Schrödinger homogéneos en un semiespacio $\mathbb{R}^d_+ = \mathbb{R}^{d-1} \times (0, \infty)$. Específicamente, se analizan los operadores de Hardy definidos como:
$$L_\lambda^{(\alpha)} := (-\Delta)_{\mathbb{R}^d_+}^{\alpha/2} + \lambda x_d^{-\alpha}$$
donde:

• $(-\Delta)_{\mathbb{R}^d_+}^{\alpha/2}$ es el Laplaciano fraccional regional (o Laplaciano de Dirichlet si $\alpha=2$).
• $\lambda x_d^{-\alpha}$ es un potencial de Hardy singular que depende de la distancia al borde del semiespacio.
• $\lambda$ es una constante de acoplamiento.

El Problema Central:
Determinar bajo qué condiciones las escalas de espacios de Sobolev homogéneos generados por el operador con potencial ($L_\lambda$) son equivalentes a las generadas por el operador sin potencial ($L_0$). Es decir, se busca probar la equivalencia de normas:
$$\| (L_\lambda)^{s/2} u \|_{L^p(\mathbb{R}^d_+)} \simeq \| (L_0)^{s/2} u \|_{L^p(\mathbb{R}^d_+)}$$
para $s > 0$ y $p \in (1, \infty)$.

Este problema es crucial en física matemática (sistemas cuánticos de muchas partículas con interacciones críticas, átomos relativistas) y análisis armónico. Trabajos previos (como [FM23]) habían resuelto este caso para $p=2$, pero la extensión a $p \neq 2$ presenta dificultades significativas debido a la falta de herramientas estándar como el teorema de multiplicadores de Mikhlin-Hörmander cuando el potencial es singular o atractivo ($\lambda < 0$).

2. Metodología

Los autores emplean una combinación sofisticada de análisis armónico, teoría de semigrupos y estimaciones de núcleos de calor. La metodología se estructura en los siguientes pilares:

A. Estimaciones del Núcleo de Calor

Se utilizan cotas puntuales y promediadas espacialmente para el núcleo de calor $e^{-tL_\lambda}(x, y)$.

• Para $\lambda \ge 0$, se aprovechan cotas conocidas que muestran un decaimiento controlado cerca del borde ($x_d \to 0$) y en el infinito.
• Se extienden estas cotas a tiempos complejos mediante argumentos de Phragmén-Lindelöf, lo cual es esencial para definir funciones de operadores mediante cálculo funcional.
• Se introducen pesos singulares en las estimaciones para manejar el comportamiento del potencial cerca del borde.

B. Estimaciones de Funciones Cuadradas (Square Function Estimates)

Dado que para $p \neq 2$ la definición del dominio de $(L_\lambda)^{s/2}$ no es trivial, los autores evitan los multiplicadores espectrales tradicionales y utilizan funciones cuadradas continuas basadas en el núcleo de calor:
$$(S_{L_\lambda, \gamma} f)(x) := \left( \int_0^\infty |(tL_\lambda)^\gamma e^{-tL_\lambda} f|^2 \frac{dt}{t} \right)^{1/2}$$
Demuestran que $\| S_{L_\lambda, \gamma} f \|_{L^p} \simeq \| f \|_{L^p}$. Esta equivalencia permite caracterizar los espacios de Sobolev homogéneos sin necesidad de asumir la acotabilidad de multiplicadores espectrales directos.

C. Desigualdades de Hardy Reversas y Generalizadas

Para comparar $L_\lambda$ con $L_0$, descomponen la diferencia de sus potencias utilizando la identidad:
$$(L_0)^{s/2} - (L_\lambda)^{s/2}$$
Esto requiere probar dos tipos de desigualdades clave:

1. Desigualdad de Hardy Reversa (Theorem 1.6): Proporciona una cota inferior para el potencial de Hardy en términos de una función cuadrática que mide la diferencia entre los semigrupos de $L_0$ y $L_\lambda$.
2. Desigualdad de Hardy Generalizada (Theorem 1.8): Proporciona una cota superior para potencias del potencial de Hardy en términos de potencias del operador $L_\lambda$.

Estas desigualdades se prueban utilizando tests de Schur ponderados sobre los núcleos de las diferencias de operadores, aprovechando las estimaciones de decaimiento obtenidas en la sección 4.

D. Densidad

Se prueba que el conjunto $(L_\lambda)^{s/2} C_c^\infty(\mathbb{R}^d_+)$ es denso en $L^p(\mathbb{R}^d_+)$ bajo ciertas condiciones de $p$ y $s$, lo cual es necesario para extender los resultados de funciones suaves a todo el espacio $L^p$.

3. Contribuciones Clave y Resultados Principales

El resultado principal se resume en el Teorema 1.1, que establece la equivalencia de normas de Sobolev bajo condiciones explícitas sobre los parámetros $d, \alpha, \lambda, p, s$.

• Parámetro de Acoplamiento: Se introduce un parámetro $\sigma$ relacionado con $\lambda$ mediante la función $C(\sigma)$. El rango de validez depende de $\sigma$.
• Condiciones de Equivalencia:
  • La norma $\| (L_0)^{s/2} u \|_p$ está acotada por $\| (L_\lambda)^{s/2} u \|_p$ si $1/p > \frac{\alpha s}{2} - \sigma$.
  • La norma $\| (L_\lambda)^{s/2} u \|_p$ está acotada por $\| (L_0)^{s/2} u \|_p$ si $1/p > \frac{\alpha s}{2} - (\alpha-1)_+$.
  • Si ambas condiciones se cumplen, las normas son equivalentes.

Resultados Específicos:

1. Generalización a $p \neq 2$: Se extienden los resultados de Frank y Merz (2023) que solo cubrían el caso $L^2$.
2. Potenciales Repulsivos y Atractivos:
   • Para potenciales repulsivos ($\lambda > 0$), los resultados son completos.
   • Para potenciales atractivos ($\lambda < 0$), los resultados se mantienen bajo la hipótesis de que las cotas superiores del núcleo de calor conocidas para $\lambda \ge 0$ se extienden al rango $\lambda \in [\lambda^*, 0)$. Los autores notan que esto es una conjetura razonable y ya probada en dimensión $d=1$.
3. Transformadas de Riesz: Como corolario, se establece la acotabilidad de las transformadas de Riesz asociadas a estos operadores en $L^p$.
4. Nuevas Estimaciones de Núcleos: Se derivan nuevas cotas para las diferencias de núcleos de calor y sus derivadas temporales ($tL_0 e^{-tL_0} - tL_\lambda e^{-tL_\lambda}$), que son de interés independiente.

4. Significado e Impacto

• Avance Teórico: El trabajo resuelve un problema abierto en la caracterización de los dominios de potencias de operadores de Schrödinger con singularidades en dominios no acotados con frontera. Proporciona una herramienta robusta para trabajar con operadores de Hardy en espacios $L^p$, superando las limitaciones del caso Hilbertiano ($L^2$).
• Aplicaciones en Física Matemática: La equivalencia de normas permite reemplazar operadores de Hardy complejos (que modelan interacciones críticas en átomos relativistas o sistemas de muchas partículas) por Laplacianos fraccionales más manejables. Esto es fundamental para probar la conjetura de Scott en modelos de átomos relativistas y en el modelo de Furry (electrón en campo Coulomb-Dirac).
• Ecuaciones No Lineales: Los autores sugieren que estos resultados serán útiles para estudiar la existencia global y el scattering de soluciones a ecuaciones de Schrödinger no lineales que involucran operadores de Hardy, un área activa de investigación en ecuaciones diferenciales parciales.
• Herramientas Nuevas: El desarrollo de estimaciones de funciones cuadradas para operadores con núcleos de calor que decaen lentamente y tienen pesos singulares abre nuevas vías para el análisis de operadores no autoadjuntos o con coeficientes singulares.

En resumen, el artículo proporciona un marco analítico completo para entender la estructura de los espacios de Sobolev asociados a operadores de Hardy en un semiespacio, unificando y extendiendo resultados previos a un rango mucho más amplio de parámetros físicos y analíticos.