[论文解读] Logarithmic bump conditions and the two weight boundedness of Calder\'on-Zygmund operators

David Cruz-Uribe, Alexander Reznikov+1 more|arXiv (Cornell University)|Dec 3, 2011

Advanced Harmonic Analysis Research参考文献 29被引用 15

一句话总结

本文证明了对数 bump 条件——特别是涉及迭代对数权的精确 Ap-bump 条件——蕴含所有 Calderón-Zygmund 算子（包括 Hilbert 变换）的两权有界性。通过结合 A² 猜想和 Bellman 函数方法的技术，作者证明了 Haar 移位算子将 $L^p(v)$ 映射到 $L^p(u)$，其复杂度常数为二次型，该结果可推广至一般 Calderón-Zygmund 算子。作为副产品，他们否定了 Muckenhoupt 和 Wheeden 长期以来关于 Hilbert 变换弱型不等式的猜想。

ABSTRACT

We prove that if a pair of weights $(u,v)$ satisfies a sharp $A_p$-bump condition in the scale of log bumps and certain loglog bumps, then Haar shifts map $L^p(v)$ into $L^p(u)$ with a constant quadratic in the complexity of the shift. This in turn implies the two weight boundedness for all Calder\'on-Zygmund operators. This gives a partial answer to a long-standing conjecture. We also give a partial result for a related conjecture for weak-type inequalities. To prove our main results we combine several different approaches to these problems; in particular we use many of the ideas developed to prove the $A_2$ conjecture. As a byproduct of our work we also disprove a conjecture by Muckenhoupt and Wheeden on weak-type inequalities for the Hilbert transform. This is closely related to the recent counterexamples of Reguera, Scurry and Thiele.

研究动机与目标

• 解决关于在 Ap bump 条件下 Calderón-Zygmund 算子两权范数不等式的长期猜想。
• 将 A² 猜想的技术扩展至具有对数 bump 的两权情形。
• 否定了 Muckenhoupt-Wheeden 关于 Hilbert 变换弱型不等式的猜想。
• 建立 Haar 移位算子以及由此推广的 Calderón-Zygmund 算子在加权 Lebesgue 空间之间有界的精确条件。

提出的方法

• 使用 Orlicz 范数和形如 $A(t) = t^p \log(e + t)^{p-1+\delta}$ 的对数 bump 函数来定义精确的 Ap-bump 条件。
• 应用 Bellman 函数技术来控制 dyadic paraproduct 和 Haar 移位算子，扩展了 A² 猜想中的方法。
• 采用停止时间论证和 dyadic sparse 控制技术来控制弱型和强型范数。
• 结合测试条件与对偶性，将 Hilbert 变换的有界性与极大算子联系起来。
• 利用 Reguera、Scurry 和 Thiele 的反例来否证 Muckenhoupt-Wheeden 猜想。
• 证明弱型不等式 $H_\sigma : L^2(\sigma) \to L^{2,\infty}(u)$ 即使在 $M_u : L^2(u) \to L^2(\sigma)$ 成立时也未必成立。

实验结果

研究问题

• RQ1 在对数权的 Ap bump 条件下，是否蕴含所有 Calderón-Zygmund 算子的强型两权有界性？
• RQ2 A² 猜想的技术能否推广至具有对数 bump 的两权情形？
• RQ3 在极大算子测试条件成立下，Muckenhoupt-Wheeden 关于 Hilbert 变换弱型不等式的猜想是否成立？
• RQ4 能否通过两权情形下的反例否证弱型猜想？
• RQ5 Bellman 函数在构造两权弱型不等式反例中起什么作用？

主要发现

• 本文证明：若权重对 $(u, v)$ 满足具有对数权的精确 Ap-bump 条件，则所有 Calderón-Zygmund 算子有界映射 $L^p(v)$ 到 $L^p(u)$，且算子范数为 Haar 移位复杂度的二次型。
• 当 $p=2$ 时，若 $\sup_Q \|u^{1/2}\|_{A,Q} \|v^{-1/2}\|_{B,Q} < \infty$ 成立，其中 $A$ 和 $B$ 为对数 Young 函数，则强型不等式成立。
• 作者通过构造反例否定了 Muckenhoupt-Wheeden 关于 Hilbert 变换弱型不等式的猜想：存在权重对使得 $M_u : L^2(u) \to L^2(\sigma)$ 成立，但 $H_\sigma : L^2(\sigma) \to L^{2,\infty}(u)$ 不成立。
• 进一步构造更强的反例：存在权重对 $(u, \sigma)$ 同时满足 $M_u : L^2(u) \to L^2(\sigma)$ 和 $M_\sigma : L^2(\sigma) \to L^2(u)$，但 $H_\sigma$ 仍不满足弱型不等式。
• 证明依赖于定理 6.1，该定理将 Hilbert 变换的弱型范数与测试条件和极大算子联系起来，表明测试条件不成立即意味着弱型有界性不成立。
• 该结果间接证明了一权弱 (1,1) 猜想的错误性，因为 [35] 中的反例被推广至两权情形。