New characterizations of BLO spaces by heat semigroups and applications

Resumen Técnico: Nuevas Caracterizaciones de los Espacios BLO mediante Semigrupos de Calor y Aplicaciones

Planteamiento del Problema
El artículo aborda la caracterización del espacio de funciones con oscilación inferior acotada (BLO) en el espacio euclidiano $\mathbb{R}^n$. Si bien la teoría de los espacios de Hardy ($H^1$) y de Oscilación Media Acotada (BMO) está bien establecida, los espacios BLO —introducidos por Coifman y Rochberg como un subconjunto de BMO— han recibido una atención creciente en relación con los pesos de Muckenhoupt $A_1$ y los operadores integrales singulares. Las caracterizaciones existentes incluyen el resultado clásico que vincula BLO con los pesos $A_1$ (vía $e^{\epsilon f} \in A_1$) y una caracterización de C. Bennett utilizando una variante del operador de la función maximal de Hardy-Littlewood. Los autores pretenden proporcionar nuevas caracterizaciones de los espacios BLO utilizando el semigrupo de calor gaussiano y explorar las propiedades de regularidad de las soluciones de la ecuación de calor con datos de contorno en BLO.

Metodología
La metodología principal implica el uso del semigrupo de calor clásico $W_t$ y su núcleo asociado $W_t(x, y) = (4\pi t)^{-n/2} e^{-|x-y|^2/4t}$. Los autores emplean técnicas de semigrupos para establecer equivalencias entre la norma BLO y cantidades derivadas de la evolución térmica de una función.

Las herramientas técnicas clave incluyen:

1. Caracterización por el Semigrupo de Calor: Establecer que una función $f$ pertenece a BLO si y solo si la oscilación de su evolución térmica $W_t f$ sobre bolas de radio $\sqrt{t}$ está uniformemente acotada en $L^\infty$.
2. Caracterización de Pesos: Utilizar la relación entre el semigrupo de calor y el operador maximal de Hardy-Littlewood para derivar una nueva condición que involucra la desigualdad $W_t(e^{\epsilon f}) \leq C e^{\epsilon f}$.
3. Descomposición y Estimaciones del Núcleo: Para probar la acotación de la función $g$ de Littlewood-Paley, los autores descomponen las funciones en partes "cercanas" y "lejanas" respecto a una bola, utilizando la desigualdad de John-Nirenberg para funciones BMO y estimaciones precisas del gradiente del núcleo de calor.
4. Contraejemplos y Estabilidad: El artículo construye ejemplos específicos para demostrar la no linealidad del espacio BLO y prueba la estabilidad bajo perturbaciones de $L^\infty$.

Contribuciones Clave y Resultados

1. Nueva Caracterización por el Semigrupo de Calor (Teorema 1.2):
   Los autores demuestran que una función localmente integrable $f$ pertenece a $BLO(\mathbb{R}^n)$ si y solo si:
   $$\sup_{t>0} \left\| W_t f(\cdot) - \inf_{z \in B(\cdot, \sqrt{t})} W_t f(z) \right\|_{L^\infty(\mathbb{R}^n)} < \infty.$$
   Además, la norma BLO es equivalente a este supremo. Esto proporciona un vínculo directo entre la oscilación geométrica del flujo de calor y la propiedad BLO.

2. Regularidad de las Soluciones de la Ecuación de Calor (Teoremas 2.1 y 2.2):
   Aplicando la nueva caracterización, el artículo establece estimaciones de regularidad para las soluciones $u(x, t)$ de la ecuación de calor $\partial_t u = \Delta u$ con datos iniciales $f \in BLO(\mathbb{R}^n)$. Específicamente, la solución satisface:
   $$u(x, t) \leq \inf_{z \in B(x, \sqrt{t})} u(z, t) + C\|f\|_{BLO}.$$
   Esto implica una oscilación local controlada de la solución, acotada por la norma BLO de los datos iniciales. Los autores señalan que estos resultados se extienden a ecuaciones parabólicas generales con coeficientes uniformemente elípticos.

3. Caracterización de Calor vía Pesos $A_1$ (Teorema 1.5):
   El artículo restablece la equivalencia entre $f \in BLO$ y $e^{\epsilon f} \in A_1$ introduciendo una condición basada en el semigrupo de calor:
   $$W_t(e^{\epsilon f})(x) \leq C e^{\epsilon f}(x) \quad \text{para todo } t > 0 \text{ y casi todo } x.$$
   Esto ofrece una versión cuantitativa del teorema de Coifman-Rochberg, proporcionando una equivalencia de norma que involucra el ínfimo de las constantes $\epsilon$ y $C_0$ que satisfacen la desigualdad de calor.

4. Acotación BMO-BLO de la Función $g$ de Littlewood-Paley (Teorema 2.4):
   Los autores vuelven a probar el resultado de que el cuadrado de la función $g$ de Littlewood-Paley, $[g(f)]^2$, mapea de forma acotada $BMO(\mathbb{R}^n)$ en $BLO(\mathbb{R}^n)$. La prueba utiliza la caracterización de BLO por el semigrupo de calor y estimaciones del núcleo, evitando métodos previos. En consecuencia, $g(f) \in BLO$ con una estimación de norma correspondiente.

5. No Linealidad y Estabilidad (Sección 4):
   El artículo proporciona un ejemplo concreto ($f(x) = -\ln|x|$) para demostrar que BLO no es un espacio lineal (específicamente, si $f \in BLO$, $-f$ puede no estar en $BLO$). Sin embargo, demuestra que el espacio es estable bajo perturbaciones de $L^\infty$: si $f \in BLO$ y $g \in L^\infty$, entonces $f-g \in BLO$.

Significancia
El artículo afirma su importancia al proporcionar un marco unificado para analizar los espacios BLO a través de la lente del semigrupo de calor. Al caracterizar BLO mediante el flujo de calor, los autores facilitan el estudio de la regularidad de las ecuaciones de difusión con valores de contorno en BLO. Además, el enfoque del semigrupo de calor ofrece una prueba alternativa y simplificada para la acotación de la función $g$ de Littlewood-Paley de BMO a BLO, reforzando la utilidad de los métodos de semigrupos en el análisis armónico. La relación cuantitativa establecida entre la norma BLO y las constantes de peso $A_1$ a través del semigrupo de calor profundiza aún más la comprensión de las propiedades estructurales de estos espacios de funciones.