[论文解读] Iterated commutators under a joint condition on the tuple of multiplying functions

Tuomas Hytönen, Kangwei Li+1 more|arXiv (Cornell University)|Jan 1, 2019

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

一句话总结

本文引入了两个函数 $b_1, b_2$ 的一种新联合条件，该条件通过两种双线性平均振荡范数 $S_p$ 和 $T_p$ 刻画了与 Calderón-Zygmund 算子 $T$ 伴随的迭代交换子 $[b_2, [b_1, T]]$ 的 $L^2$ 有界性。证明了当且仅当 $S_2(b_1,b_2) + T_2(b_1,b_2) < ∞$ 时，该交换子在 $L^2$ 上有界，并表明该条件是精确的，优于经典的 $BMO$ 条件。

ABSTRACT

We present a pair of joint conditions on the two functions $b_1,b_2$ strictly weaker than $b_1,b_2\\in \\operatorname{BMO}$ that almost characterize the $L^2$ boundedness of the iterated commutator $[b_2,[b_1,T]]$ of these functions and a Calder\\'on-Zygmund operator $T.$ Namely, we sandwich this boundedness between two bisublinear mean oscillation conditions of which one is a slightly bumped up version of the other.

研究动机与目标

• 识别出弱于各自属于 $BMO$ 的联合条件，以刻画迭代交换子 $[b_2, [b_1, T]]$ 的 $L^2$ 有界性。
• 在联合条件下将稀疏控制原理推广至迭代交换子，改进经典基于 $BMO$ 的估计。
• 通过精确例子和加权范数估计，证明 $S_2 + T_2$ 条件对 $L^2$ 有界性是必要且充分的。
• 表明更强的条件如 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 并非必要，并提出一个涉及 Young 函数的猜想，以实现对有界性的完整刻画。

提出的方法

• 引入两种联合平均振荡范数：$S_p(b_1,b_2) = \sup_Q \left( \frac{1}{|Q|}\int_Q |b_1 - \langle b_1\rangle_Q|^p \right)^{1/p} \left( \frac{1}{|Q|}\int_Q |b_2 - \langle b_2\rangle_Q|^p \right)^{1/p}$ 和 $T_p(b_1,b_2) = \sup_Q \left( \frac{1}{|Q|}\int_Q |b_1 - \langle b_1\rangle_Q|^p |b_2 - \langle b_2\rangle_Q|^p \right)^{1/p}$。
• 建立双侧估计：对 Calderón-Zygmund 算子有 $C_d(S_2(b_1,b_2) + T_2(b_1,b_2)) \lesssim \|[b_2,[b_1,T]]\|_{L^2 \to L^2} \lesssim C_{T,\varepsilon}(S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2))$。
• 利用 Lerner [9] 提出的稀疏控制原理，通过 dyadic 稀疏算子控制交换子，从而实现精确的加权估计。
• 通过构造具有对数增长的奇函数 $b_1, b_2$ 的显式反例，证明对任意 $\varepsilon > 0$，$S_{2+\varepsilon} + T_{2+\varepsilon}$ 均无法刻画有界性，从而证明 $S_2 + T_2$ 的最优性。
• 提出一个猜想：若 Young 函数 $A, B, C$ 满足 $\bar{A}, \bar{B}, \bar{C} \in B_2$，则 $S_{A,B}(b_1,b_2) + T_C(b_1,b_2) < \infty$ 能刻画 $L^2$ 有界性。

实验结果

研究问题

• RQ1 是否存在弱于 $b_1, b_2 \in \operatorname{BMO}$ 的 $b_1, b_2$ 联合条件，以刻画迭代交换子 $[b_2, [b_1, T]]$ 的 $L^2$ 有界性？
• RQ2 经典的 $BMO$ 条件能否被一个更精确的联合条件替代，以捕捉有界性的真正临界点？
• RQ3 为何 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 条件即使充分，也无法刻画有界性？
• RQ4 稀疏控制原理能否被推广至在联合条件而非单个 $BMO$ 有界性下处理迭代交换子？
• RQ5 是否存在一个利用 Young 函数的完整刻画，以插值方式连接 $S_2 + T_2$ 与 $S_{2+\varepsilon} + T_{2+\varepsilon}$？

主要发现

• 迭代交换子 $[b_2, [b_1, T]]$ 的 $L^2$ 算子范数有下界，其下界为 $S_2(b_1,b_2) + T_2(b_1,b_2)$ 的常数倍，从而证明了该联合条件的必要性。
• 对任意 $\varepsilon > 0$，$L^2$ 范数有上界 $C_{T,\varepsilon}(S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2))$，表明在稍强条件下该条件充分。
• 作者构造了一对函数 $b_1, b_2$，使得 $S_2(b_1,b_2) + T_2(b_1,b_2) < \infty$，但对所有 $\varepsilon > 0$ 有 $S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2) = \infty$，从而证明 $S_2 + T_2$ 严格弱于任何 $S_{2+\varepsilon} + T_{2+\varepsilon}$。
• 迭代交换子 $[b_2, [b_1, H]]$ 在 $L^2$ 上有界，但在 $L^p$ 上无界（$p \neq 2$），表明 $L^2$ 有界性是精确的，无法推广至其他 $L^p$ 空间。
• 本文证明 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 条件不足以刻画 $L^2$ 有界性，反例显示交换子有界但范数发散。
• 作者猜想 $L^2$ 有界性等价于存在 Young 函数 $A,B,C$ 满足 $\bar{A}, \bar{B}, \bar{C} \in B_2$，使得 $S_{A,B}(b_1,b_2) + T_C(b_1,b_2) < \infty$，暗示可通过对数凹函数实现完整刻画。