[论文解读] Weighted Endpoint Estimates for Commutators of Calderón-Zygmund Operators

Yiyu Liang, Luong Dang Ky+1 more|arXiv (Cornell University)|Oct 20, 2015

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

一句话总结

本文通过引入 BMO 函数的一个新子空间 $\mathcal{BMO}_w(\mathbb{R}^n)$，建立了 Calderón-Zygmund 算子的共轭算子在加权端点估计下的结果。证明了若 $b \in \mathcal{BMO}_w(\mathbb{R}^n)$，则共轭算子 $[b,T]$ 从加权 Hardy 空间 $H_w^1(\mathbb{R}^n)$ 有界映射到加权 Lebesgue 空间 $L_w^1(\mathbb{R}^n)$，反之，若 Riesz 变换的共轭算子有界，则必有 $b \in \mathcal{BMO}_w(\mathbb{R}^n)$，从而在 Muckenhoupt 权下完全刻画了此类有界性成立的最优函数空间。

ABSTRACT

Let $δ\in(0,1]$ and $T$ be a $δ$-Calderón-Zygmund operator. Let $w$ be in the Muckenhoupt class $A_{1+δ/n}({\mathbb R}^n)$ satisfying $\int_{{\mathbb R}^n}\frac {w(x)}{1+|x|^n}\,dx

研究动机与目标

• 确定 BMO(ℝⁿ) 的最大子空间，使得对任意 $w \in A_{1+\delta/n}(\mathbb{R}^n)$，共轭算子 $[b,T]$ 从 $H_w^1(\mathbb{R}^n)$ 有界映射到 $L_w^1(\mathbb{R}^n)$。
• 建立共轭算子 $[b,T]$ 在加权 Hardy 与 Lebesgue 空间上有界性的充要条件。
• 定义并刻画新空间 $\mathcal{BMO}_w(\mathbb{R}^n)$，作为此类加权端点估计的最优函数空间。
• 通过引入依赖于权的 BMO 型空间，将已知的无权结果推广到加权情形。

提出的方法

• 将空间 $\mathcal{BMO}_w(\mathbb{R}^n)$ 定义为 BMO(ℝⁿ) 的子空间，专用于 Muckenhoupt 权 $w \in A_{1+\delta/n}(\mathbb{R}^n)$ 下的加权估计。
• 利用 Riesz 变换对 $H_w^1(\mathbb{R}^n)$ 的表征，将共轭算子有界性与 $b$ 在原子和分子上的行为联系起来。
• 对 $T$ 为 $\delta$-Calderón-Zygmund 算子且 $a$ 为 $H_w^1$-原子的情形，应用 $Ta$ 的分子分解以控制 $[b,T](a)$ 的加权范数。
• 建立双线性分解 $[b,T](f) = \mathfrak{R}(f,b) + T(\mathfrak{S}(f,b))$ 以分析共轭算子的结构。
• 利用 John-Nirenberg 不等式和球上的测试条件，通过共轭算子的加权 $L^1$-范数控制 $\mathcal{BMO}_w$ 半范数。
• 利用 $w \in A_{1+\delta/n}(\mathbb{R}^n)$ 蕴含 $w \in A_q(\mathbb{R}^n)$ 对某个 $q \in (1, 1+\delta/n)$ 的事实，应用标准 Calderón-Zygmund 理论。

实验结果

研究问题

• RQ1 在 Muckenhoupt 权 $w \in A_{1+\delta/n}(\mathbb{R}^n)$ 下，BMO(ℝⁿ) 的最大子空间是什么，使得共轭算子 $[b,T]$ 从 $H_w^1(\mathbb{R}^n)$ 有界映射到 $L_w^1(\mathbb{R}^n)$？
• RQ2 能否以依赖于权 $w$ 的新 BMO 型空间来刻画共轭算子 $[b,T]$ 在加权 Hardy 空间上有界的条件？
• RQ3 空间 $\mathcal{BMO}_w(\mathbb{R}^n)$ 是否最优？即，若对所有 $j=1,\dots,n$，$[b,R_j]$ 在 $H_w^1(\mathbb{R}^n)$ 上有界，则必有 $b \in \mathcal{BMO}_w(\mathbb{R}^n)$？
• RQ4 共轭算子的加权 $L^1$-有界性与加权 Hardy 空间中分子和原子的结构有何关联？

主要发现

• 空间 $\mathcal{BMO}_w(\mathbb{R}^n)$ 被定义为最优函数空间，使得对任意 $\delta$-Calderón-Zygmund 算子 $T$ 和满足 $\int_{\mathbb{R}^n} \frac{w(x)}{1+|x|^n} dx < \infty$ 的权 $w \in A_{1+\delta/n}(\mathbb{R}^n)$，共轭算子 $[b,T]$ 从 $H_w^1(\mathbb{R}^n)$ 有界映射到 $L_w^1(\mathbb{R}^n)$。
• 若 $b \in \mathcal{BMO}_w(\mathbb{R}^n)$，则 $[b,T]$ 从 $H_w^1(\mathbb{R}^n)$ 有界映射到 $L_w^1(\mathbb{R}^n)$，且算子范数受 $\|b\|_{\mathcal{BMO}_w(\mathbb{R}^n)}$ 控制。
• 反之，若 $b \in \text{BMO}(\mathbb{R}^n)$ 且对所有 $j=1,\dots,n$，$[b,R_j]$ 从 $H_w^1(\mathbb{R}^n)$ 有界映射到 $L_w^1(\mathbb{R}^n)$，则必有 $b \in \mathcal{BMO}_w(\mathbb{R}^n)$，从而确立了该空间的最优性。
• 证明依赖于 $\delta$-Calderón-Zygmund 算子 $T$ 和 $H_w^1$-原子 $a$ 的 $Ta$ 的分子分解，表明 $Ta$ 是具有衰减 $2^{-j\varepsilon}$（其中 $\varepsilon = n + \delta - nq > 0$）的分子，从而保证分解中的可和性。
• $\|b\|_{\mathcal{BMO}_w(\mathbb{R}^n)}$ 与 $\|b\|_{\text{BMO}(\mathbb{R}^n)} + \sum_{j=1}^n \|[b,R_j]\|_{H_w^1 \to L_w^1}$ 等价，提供了定量刻画。
• 该结果将经典无权理论推广：在无权情形下，仅当 $b$ 为常数时 $[b,T]$ 才从 $H^1$ 有界映射到 $L^1$；而本文识别出一个非平凡的、依赖于权的子空间，使得有界性成立。