[论文解读] Two Weight Inequalities for Iterated Commutators with Calder\'on-Zygmund Operators

Irina Holmes, Brett D. Wick|arXiv (Cornell University)|Sep 12, 2015

Advanced Harmonic Analysis Research参考文献 10被引用 16

一句话总结

本文建立了 Calderón-Zygmund 算子与 BMO 符号的高阶迭代交换子的两权范数不等式，将 Bloom 关于一阶交换子的两权结果推广至更高阶交换子。通过使用 dyadic 表示和外推技术，证明了从 $ L^p( u) $ 到 $ L^p( u) $ 的 $ k $ 阶迭代算子 $ C^k_b(T) $ 的算子范数被 $ \|b\|^{k-1}_{BMO} \|b\|_{BMO(\nu)} $ 控制，其中 $ \nu = \mu^{1/p}\lambda^{-1/p} $，且对权函数和维数有显式依赖关系。该结果在 $ \mu = \lambda = w \in A_2 $ 时恢复了 Chung-Pereyra-Pérez 的单权估计，并回答了关于迭代交换子 dyadic 证明的开放问题。

ABSTRACT

Given a Calder\'on-Zygmund operator $T$, a classic result of Coifman-Rochberg-Weiss relates the norm of the commutator $[b, T]$ with the BMO norm of $b$. We focus on a weighted version of this result, obtained by Bloom and later generalized by Lacey and the authors, which relates $\| [b, T] : L^p(\mathbb{R}^n; \mu) o L^p(\mathbb{R}^n; \lambda) \|$ to the norm of $b$ in a certain weighted BMO space determined by $A_p$ weights $\mu$ and $\lambda$. We extend this result to higher iterates of the commutator and recover a one-weight result of Chung-Pereyra-Perez in the process.

研究动机与目标

• 将 Bloom 关于 Calderón-Zygmund 算子一阶交换子的两权不等式推广至更高阶迭代交换子。
• 解决 Chung、Pereyra 和 Pérez 提出的关于迭代交换子范数 dyadic 证明的开放问题。
• 建立算子范数对符号的 BMO 范数及所涉及权函数的精确依赖关系。
• 在 $ \mu = \lambda = w \in A_2 $ 时，将 Chung-Pereyra-Pérez 的单权估计作为特例恢复。

提出的方法

• 利用 Hytönen 表示定理，将问题约化为对 dyadic 移位 $ S_{ij} $ 的范数估计，这些是 Calderón-Zygmund 类型的模型算子。
• 应用递归的 dyadic 分解，并通过 dyadic 方体上的平均定义迭代交换子算子 $ \Theta^k_b(S_{ij}) $。
• 建立迭代交换子的二项式型恒等式：$ \Theta^k_b(ST) = \sum_{m=0}^k \binom{k}{m} \Theta^{k-m}_b(S) \Theta^m_b(T) $，从而实现归纳控制。
• 利用外推理论将 $ L^2 $-范数估计推广至 $ 1 < p < \infty $ 的 $ L^p $-范数估计，利用权函数的 $ A_p $-特征。
• 定义关于 $ \nu = \mu^{1/p}\lambda^{-1/p} $ 的加权 BMO 范数 $ \|b\|_{BMO(\nu)} $，其控制两权行为。
• 通过关于 $ k $ 的强归纳法证明关键估计，依赖于对模型算子 $ \Pi_a, \Lambda_{a,b} $ 的 $ \Theta^k_b(P_a) $ 和 $ \Theta^k_b(\Lambda) $ 的控制，使用加权 BMO 范数和 $ A_2 $-特征。

实验结果

研究问题

• RQ1 对于 Calderón-Zygmund 算子 $ T $ 的 $ k $ 阶交换子迭代 $ [b, T] $，其两权算子范数的最优界是什么？
• RQ2 能否用 $ b $ 的 BMO 范数以及权函数 $ \mu, \lambda \in A_p $ 来控制 $ k $ 阶迭代交换子 $ C^k_b(T) $ 的范数？
• RQ3 是否存在一个 dyadic 证明，用于迭代交换子的范数界，如 Chung、Pereyra 和 Pérez 所猜想的那样？
• RQ4 随着迭代次数 $ k $ 的增加，对 $ b $ 的 BMO 范数以及权函数 $ \mu, \lambda $ 的依赖关系如何变化？
• RQ5 Chung-Pereyra-Pérez 的单权结果能否作为本文所发展的两权理论的特例被恢复？

主要发现

• 从 $ L^p(\mu) $ 到 $ L^p(\lambda) $ 的 $ k $ 阶迭代交换子 $ C^k_b(T) $ 的范数被 $ c \|b\|^{k-1}_{BMO} \|b\|_{BMO(\nu)} $ 控制，其中 $ \nu = \mu^{1/p}\lambda^{-1/p} $，且常数 $ c $ 依赖于 $ n, k, T, \mu, \lambda, p $。
• 当 $ \mu = \lambda = w \in A_2 $ 时，该界简化为 $ \|C^k_b(T)\|_{L^2(w) \to L^2(w)} \lesssim c \|b\|_{BMO}^k [w]^{k+1}_{A_2} $，从而恢复了 Chung、Pereyra 和 Pérez 的单权结果。
• 证明建立了 $ \Theta^k_b(S_{ij}) $ 的递归结构，表明 $ k $ 阶迭代满足涉及低阶交换子的二项式型展开。
• 归纳步骤依赖于对模型 dyadic 算子 $ \Pi_a, \Lambda_{a,b} $ 的 $ \Theta^k_b(\Pi_a) $ 和 $ \Theta^k_b(\Lambda_{a,b}) $ 的控制，使用加权 BMO 范数和外推技术。
• 结果证实，两权理论可自然地推广至高阶交换子，其中 $ b $ 在加权空间 $ BMO(\nu) $ 中的 BMO 范数起着核心作用。
• 本文提供了迭代交换子范数的完整 dyadic 证明，回答了 Chung、Pereyra 和 Pérez 关于此类证明的开放问题。