[论文解读] On pointwise and weighted estimates for commutators of Calder\'on-Zygmund operators

Andrei K. Lerner, Sheldy Ombrosi+1 more|arXiv (Cornell University)|Apr 5, 2016

Advanced Harmonic Analysis Research参考文献 20被引用 18

一句话总结

本文建立了 Calderón-Zygmund 算子 $T$ 的换位子 $[b, T]$ 的点态稀疏控制，通过涉及 BMO 函数 $b$ 的有限个稀疏算子，从而得到精确的加权弱型与强型估计。关键贡献在于通过 $T_{S,b}^s$ 及其共轭算子对 $[b, T]$ 实现稀疏控制，使得 $b \in \text{BMO}$ 和加权 BMO 情况下的加权范数估计得到量化，改进了以往结果，并解决了 Bloom 型两权不等式中的定量问题。

ABSTRACT

In recent years, it has been well understood that a Calder\'on-Zygmund operator $T$ is pointwise controlled by a finite number of dyadic operators of a very simple structure (called the sparse operators). We obtain a similar pointwise estimate for the commutator $[b,T]$ with a locally integrable function $b$. This result is applied into two directions. If $b\in BMO$, we improve several weighted weak type bounds for $[b,T]$. If $b$ belongs to the weighted $BMO$, we obtain a quantitative form of the two-weighted bound for $[b,T]$ due to Bloom-Holmes-Lacey-Wick.

研究动机与目标

• 建立 Calderón-Zygmund 算子 $T$ 与局部可积函数 $b$ 的换位子 $[b, T]$ 的点态稀疏控制。
• 当 $b \in \text{BMO}$ 时，推导 $[b, T]$ 的改进加权弱型与强型估计。
• 当 $b$ 属于加权 BMO 空间时，建立 $[b, T]$ 的 Bloom 型两权不等式的定量形式，扩展 Bloom 的结果。
• 统一并改进现有涉及 Orlicz 范数与 $A_\infty$ 权的弱型估计。

提出的方法

• 引入稀疏算子 $T_{S,b}f(x) = \sum_{Q \in S} |b(x) - b_Q| f_Q \chi_Q(x)$ 及其共轭算子 $T^{\star}_{S,b}$，以点态控制 $[b, T]f(x)$。
• 证明对于任意紧支紧致的 $f \in L^\infty$，存在 $3^n$ 个 dyadic 格点与 $\frac{1}{2 \cdot 9^n}$-稀疏族，使得几乎处处有 $|[b, T]f(x)| \leq c_n C_T \sum_{j=1}^{3^n} \left( T_{S_j,b}|f|(x) + T^{\star}_{S_j,b}|f|(x) \right)$。
• 通过 $b$ 的振荡的 dyadic 分解与 Calderón-Zygmund 分解，构造一个增强的稀疏族 $\widehat{S}$，其稀疏性提升至 $\frac{\gamma}{2(1+\gamma)}$。
• 应用稀疏算子范数界 $\|A_S\|_{L^p(w)} \leq c_{\gamma,n,p} [w]_{A_p}^{\max(1, \frac{1}{p-1})}$，以控制 $T_{S,b}$ 与 $T^{\star}_{S,b}$ 的加权范数。
• 利用对偶性与加权范数不等式，以 $[\mu]_{A_p}$、$[\lambda]_{A_p}$ 与 $\|b\|_{\text{BMO}_\nu}$ 表达 $[b, T]$ 的两权强型估计。
• 应用增强过程与迭代分解，将 $|b(x) - b_Q|$ 控制为嵌套稀疏立方体上均值振荡的和。

实验结果

研究问题

• RQ1 Calderón-Zygmund 算子的换位子 $[b, T]$ 能否被涉及 $b$ 的有限个稀疏算子点态控制？
• RQ2 当 $b \in \text{BMO}$ 时，$[b, T]$ 的精确加权弱型估计是什么？它如何改进现有的 Orlicz 型界？
• RQ3 当 $b$ 属于加权 BMO 空间时，能否建立 $[b, T]$ 的 Bloom 型两权不等式的定量形式？
• RQ4 对 $[b, T]$ 的稀疏控制如何反映其弱型 (1,1) 失败的性质，以及为何 $T_{S,b}$ 与 $T^{\star}_{S,b}$ 两项均不可或缺？

主要发现

• 换位子 $[b, T]$ 被有限个 $T_{S_j,b}|f|$ 与 $T^{\star}_{S_j,b}|f|$ 项点态控制，其界依赖于 $C_T = \|T\|_{L^2 \to L^2} + C_K + [\omega]_{\text{Dini}}$。
• 当 $b \in \text{BMO}$ 时，弱型估计 $w[b,T]f(\lambda) \leq c(n,T) \frac{\|b\|_{\text{BMO}}}{\varepsilon} \int |f(x)| M_{L(\log L)^{1+\varepsilon}} w(x) dx$ 对 $0 < \varepsilon \leq 1$ 成立，优于以往结果。
• 强型两权估计 $\|[b,T]\|_{L^p(\mu) \to L^p(\lambda)} \lesssim [\mu]_{A_p}^{\max(1, \frac{1}{p-1})} [\lambda]_{A_p}^{\max(1, \frac{1}{p-1})} \|b\|_{\text{BMO}_\nu}$ 成立，其中 $\nu = (\mu/\lambda)^{1/p}$。
• 确认了 $T_{S,b}$ 与 $T^{\star}_{S,b}$ 两项的必要性：$T^{\star}_{S,b}$ 不能省略，因为 $[b,T]$ 不满足弱型 (1,1)；$T_{S,b}$ 也不能省略，因为 $L \log L$-稀疏控制不成立。
• 稀疏控制意味着 $\|T_{S,b}\|_{L^1 \to L^{1,\infty}} \lesssim \|b\|_{\text{BMO}}$，但 $[b,T]$ 无法被任何 $L \log L$-稀疏算子控制。
• 确认了对 $A_p$ 特征的依赖关系的最优性：当 $\varepsilon = 1/\log(e + [w]_{A_\infty})$ 时，界 $\|T_{S,b}\|_{L^1 \to L^{1,\infty}} \lesssim [w]_{A_\infty}^{1+\varepsilon}$ 是最优的。