New characterizations of BLO spaces by heat semigroups and applications

技术摘要：利用热半群对 BLO 空间进行的新刻画及其应用

问题陈述
本文研究了欧几里得空间 $\mathbb{R}^n$ 上有界下振荡（BLO）函数空间的刻画问题。虽然 Hardy 空间 ($H^1$) 和有界平均振荡（BMO）空间的理论已非常成熟，但由 Coifman 和 Rochberg 引入的作为 BMO 子集的 BLO 空间，因其与 $A_1$ Muckenhoupt 权重以及奇异积分算子的关系而受到了越来越多的关注。现有的刻画包括将 BLO 与 $A_1$ 权重联系起来的经典结果（通过 $e^{\epsilon f} \in A_1$），以及 C. Bennett 使用 Hardy-Littlewood 极大算子的变体所做的刻画。作者旨在利用高斯热半群对 BLO 空间提供新的刻画，并探讨具有 BLO 边界条件的热方程解的正则性性质。

方法论
主要方法涉及使用经典热半群 $W_t$ 及其相关的核 $W_t(x, y) = (4\pi t)^{-n/2} e^{-|x-y|^2/4t}$。作者利用半群技术来建立 BLO 范数与源自函数热演化的量之间的等价关系。

关键技术工具包括：

1. 热半群刻画： 建立函数 $f$ 属于 BLO 的充要条件是其热演化 $W_t f$ 在半径为 $\sqrt{t}$ 的球上的振荡在 $L^\infty$ 中一致有界。
2. 权重刻画： 利用热半群与 Hardy-Littlewood 极大算子的关系，推导出一个涉及不等式 $W_t(e^{\epsilon f}) \leq C e^{\epsilon f}$ 的新条件。
3. 分解与核估计： 在证明 Littlewood-Paley $g$-函数的有界性时，作者利用 John-Nirenberg 不等式（针对 BMO 函数）和热核的精确梯度估计，将函数分解为相对于球的“近处”部分和“远处”部分。
4. 反例与稳定性： 文中构建了特定的例子来展示 BLO 空间的非线性，并证明了其在 $L^\infty$ 扰动下的稳定性。

主要贡献与结果

1. 新的热半群刻画 (Theorem 1.2)：
   作者证明了局部可积函数 $f$ 属于 $BLO(\mathbb{R}^n)$ 的充分必要条件是：
   $$\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.$$
   此外，BLO 范数与该上确界等价。这在热流的几何振荡与 BLO 性质之间建立了直接联系。

2. 热方程解的正则性 (Theorems 2.1 & 2.2)：
   通过应用新的刻画，本文建立了具有 $f \in BLO(\mathbb{R}^n)$ 初始数据的热方程 $\partial_t u = \Delta u$ 解 $u(x, t)$ 的正则性估计。具体而言，解满足：
   $$u(x, t) \leq \inf_{z \in B(x, \sqrt{t})} u(z, t) + C\|f\|_{BLO}.$$
   这意味着解的局部振荡受到控制，其大小受限于初始数据的 BLO 范数。作者指出，这些结果可推广到具有一致椭圆系数的一般抛物型方程。

3. 通过 $A_1$ 权重的热刻画 (Theorem 1.5)：
   本文通过引入基于热半群的条件，重新确立了 $f \in BLO$ 与 $e^{\epsilon f} \in A_1$ 之间的等价关系：
   $$W_t(e^{\epsilon f})(x) \leq C e^{\epsilon f}(x) \quad \text{对于所有 } t > 0 \text{ 及几乎处处的 } x.$$
   这提供了一个关于 Coifman-Rochberg 定理的定量版本，给出了涉及满足热不等式的 $\epsilon$ 与 $C_0$ 下确界的范数等价关系。

4. Littlewood-Paley $g$-函数的 BMO-BLO 有界性 (Theorem 2.4)：
   作者重新证明了 Littlewood-Paley $g$-函数的平方 $[g(f)]^2$ 将 $BMO(\mathbb{R}^n)$ 有界地映射到 $BLO(\mathbb{R}^n)$ 的结论。该证明利用了 BLO 的热半群刻画和核估计，避免了以往的方法。因此，$g(f) \in BLO$ 且具有相应的范数估计。

5. 非线性与稳定性 (Section 4)：
   文中提供了一个具体的例子（$f(x) = -\ln|x|$）来展示 BLO 不是一个线性空间（具体而言，如果 $f \in BLO$，则 $-f$ 可能不在 $BLO$中）。然而，作者证明了该空间在$L^\infty$扰动下是稳定的：若$f \in BLO$且$g \in L^\infty$，则$f-g \in BLO$。

意义
本文声称其意义在于通过热半群的视角为分析 BLO 空间提供了一个统一的框架。通过利用热流来刻画 BLO，作者促进了对具有 BLO 边界值的扩散方程正则性的研究。此外，热半群方法为证明 Littlewood-Paley $g$-函数从 BMO 到 BLO 的有界性提供了一种替代性的、更简练的证明方式，强化了半群方法在调和分析中的实用性。文中建立的 BLO 范数与通过热半群得到的 $A_1$ 权重常数之间的定量关系，进一步深化了对这些函数空间结构性质的理解。