[论文解读] Boundedness of Lusin-area and $g_\lambda^\ast$ Functions on Localized BMO Spaces over Doubling Metric Measure Spaces

Haibo Lin, Eiichi Nakai+1 more|arXiv (Cornell University)|Mar 26, 2009

Advanced Harmonic Analysis Research参考文献 24被引用 6

一句话总结

该论文在具有 δ-环形衰减性质的双倍度量测度空间上，建立了从局部化 BMO 空间到局部化 BLO 空间的 Lusin-area 函数与 $g^*_\lambda$ 函数的有界性。论文引入了弱和单调测地线性质，证明其与 Buckley 的链球性质等价，并构造了一个反例，表明 $\mathrm{bmo}(\mathbb{R}) \not\subset \mathrm{blo}(\mathbb{R})$，从而改进了在 $\mathbb{R}^d$ 和 Heisenberg 群上的已有结果。

ABSTRACT

Let ${\mathcal X}$ be a doubling metric measure space. If ${\mathcal X}$ has the $\delta$-annular decay property for some $\delta\in (0,\,1]$, the authors then establish the boundedness of the Lusin-area function, which is defined via kernels modeled on the semigroup generated by the Schr\"odinger operator, from localized spaces ${ m BMO}_ ho({\mathcal X})$ to ${ m BLO}_ ho({\mathcal X})$ without invoking any regularity of considered kernels. The same is true for the $g^\ast_\labda$ function and unlike the Lusin-area function, in this case, ${\mathcal X}$ is not necessary to have the $\delta$-annular decay property. Moreover, for any metric space, the authors introduce the weak geodesic property and the monotone geodesic property, which are proved to be respectively equivalent to the chain ball property of Buckley. Recall that Buckley proved that any length space has the chain ball property and, for any metric space equipped with a doubling measure, the chain ball property implies the $\delta$-annular decay property for some $\delta\in (0,1]$. Moreover, using some results on pointwise multipliers of ${ m bmo}({\mathbb R})$, the authors construct a counterexample to show that there exists a nonnegative function which is in ${ m bmo}({\mathbb R})$, but not in ${ m blo}({\mathbb R})$; this further indicates that the above boundedness of the Lusin-area and $g^\ast_\lambda$ functions even in ${\mathbb R}^d$ with the Lebesgue measure or the Heisenberg group also improves the existing results.

研究动机与目标

• 在具有 $\delta$-环形衰减性质的双倍度量测度空间上，建立从局部化 BMO 空间到局部化 BLO 空间的 Lusin-area 函数与 $g^*_\lambda$ 函数的有界性。
• 研究仅具有双倍性质是否足以保证 Lusin-area 函数的有界性，并识别必要的几何条件。
• 引入并分析弱与单调测地线性质，证明其与 Buckley 的链球性质等价。
• 构造一个反例，表明 $\mathrm{bmo}(\mathbb{R}) \not\subset \mathrm{blo}(\mathbb{R})$，说明该结果改进了现有定理。
• 将有界性结果推广至一般情形，包括 $\mathbb{R}^d$ 上的 Schr"odinger 算子与退化 Schr"odinger 算子，以及幂零李群上的次 Laplace 算子。

提出的方法

• 通过由 Schr"odinger 算子生成的半群所决定的核来定义 Lusin-area 函数与 $g^*_\lambda$ 函数。
• 引入 $\delta$-环形衰减性质，并证明该性质可保证 Lusin-area 函数从 $\mathrm{BMO}_\rho(X)$ 到 $\mathrm{BLO}_\rho(X)$ 的有界性，而无需假设核的正则性。
• 证明 $g^*_\lambda$ 函数从 $\mathrm{BMO}_\rho(X)$ 到 $\mathrm{BLO}_\rho(X)$ 的有界性，且无需 $\delta$-环形衰减性质或核的正则性。
• 为度量空间引入弱与单调测地线性质，并证明其与 Buckley 的链球性质等价。
• 利用 $\mathrm{bmo}(\mathbb{R})$ 的点乘子结果，构造一个非负函数属于 $\mathrm{bmo}(\mathbb{R})$ 但不属于 $\mathrm{blo}(\mathbb{R})$ 的反例。
• 应用测地线性质的等价性，证明任意赋予双倍测度的长度空间均满足某个 $\delta \in (0,1]$ 的 $\delta$-环形衰减性质。

实验结果

研究问题

• RQ1 仅具有度量测度空间的双倍性质是否足以保证局部化 BMO 空间上 Lusin-area 函数的有界性？
• RQ2 在双倍性质之外，哪些几何条件是 Lusin-area 函数有界性的必要或充分条件？
• RQ3 Lusin-area 函数与 $g^*_\lambda$ 函数在对核正则性与几何结构的依赖性上存在哪些差异？
• RQ4 在一般度量空间中，弱与单调测地线性质是否与链球性质等价？
• RQ5 包含关系 $\mathrm{blo}(\mathbb{R}) \subset \mathrm{bmo}(\mathbb{R})$ 是否严格成立，这对奇异积分有界性有何影响？

主要发现

• 在具有 $\delta$-环形衰减性质的双倍度量测度空间上，即使不假设核的正则性，Lusin-area 函数也从 $\mathrm{BMO}_\rho(X)$ 有界映射到 $\mathrm{BLO}_\rho(X)$。
• $g^*_\lambda$ 函数从 $\mathrm{BMO}_\rho(X)$ 到 $\mathrm{BLO}_\rho(X)$ 的有界性不依赖于 $\delta$-环形衰减性质或核的正则性，凸显了这两个算子之间的关键差异。
• 弱与单调测地线性质被证明与 Buckley 的链球性质等价，提供了新的几何刻画。
• 任意赋予双倍测度的长度空间均满足某个 $\delta \in (0,1]$ 的 $\delta$-环形衰减性质，从而推广了已知的度量测度空间结果。
• 构造了一个反例，表明存在一个非负函数属于 $\mathrm{bmo}(\mathbb{R})$ 但不属于 $\mathrm{blo}(\mathbb{R})$，从而证明 $\mathrm{blo}(\mathbb{R}) \cap \{f \geq 0\}$ 是 $\mathrm{bmo}(\mathbb{R})$ 的真子空间。
• 该结果改进了在 $\mathbb{R}^d$ 上赋予 Lebesgue 测度以及在 Heisenberg 群上的已有有界性定理，即使在这些经典情形下亦然。