[论文解读] Characterizations of BMO through commutators of bilinear singular integral operators

Lucas Chaffee|arXiv (Cornell University)|Oct 16, 2014

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

一句话总结

本文建立了有界平均震荡（BMO）空间可通过与双线性奇异积分算子相关的换位子有界性来表征，包括双线性Calderón-Zygmund算子和分数次积分算子。通过分析形如 $[b,T]_j(f,g) = bT(f,g) - T(bf,g)$ 或 $T(f,bg)$ 的换位子，作者证明了在 $1/K$ 的傅里叶级数具有适度正则性的条件下，此类换位子从 $L^{p_1} \times L^{p_2}$ 到 $L^q$ 有界当且仅当符号 $b$ 属于 BMO。这将经典的线性换位子表征推广到了多线性情形。

ABSTRACT

In this paper we characterize BMO in terms of the boundedness of commutators of various bilinear singular integral operators with pointwise multiplication. In particular, we study commutators of a wide class of bilinear operators of convolution type, including bilinear Calderón-Zygmund operators and the bilinear fractional integral operators.

研究动机与目标

• 将经典的通过线性换位子表征BMO的方法推广到多线性情形。
• 建立卷积型双线性奇异积分算子的双线性换位子 $[b,T]_j$ 有界性蕴含 $b \in \text{BMO}$ 的结论。
• 在适度的核正则性假设下，证明换位子有界性条件对 $b$ 属于BMO而言既是必要也是充分的。
• 通过证明在双线性分数次积分情形下，$b \in \text{BMO}$ 的必要性无需假设 $n - \alpha$ 为偶数，从而填补了文献中长期存在的空白。
• 将表征结果推广到 $m$-线性算子，并探讨该方法的极限，特别是当 $q < 1$ 时的情形。

提出的方法

• 将Janson（1976）和Coifman-Rochberg-Weis（1976）的技术适配到双线性情形，采用 dyadic 分解并在原子上进行测试。
• 将双线性换位子定义为 $[b,T]_1(f,g) = bT(f,g) - T(bf,g)$ 和 $[b,T]_2(f,g) = bT(f,g) - T(f,bg)$，并分析其从 $L^{p_1} \times L^{p_2}$ 到 $L^q$ 的有界性。
• 使用共轭指标 $q$ 和 $q'$ 的 Hölder 不等式，以 BMO 半范数 $\|b\|_*$ 控制换位子的 $L^q$ 范数。
• 对函数 $b$ 进行 dyadic 分解，并在支撑于立方体 $Q_j$ 上的原子 $a_j$ 上测试换位子，其中 $\|a_j\|_{L^{p_1}} \sim |Q_j|^{-1/p_1}$。
• 建立换位子的 $L^q$ 范数由 $\|b\|_*$ 控制的估计式 $\| [b,T] \| \lesssim \|b\|_* \sum |a_j|$，从而导出对平均震荡的统一有界性。
• 要求 $1/K$ 的傅里叶级数在 $\mathbb{R}^{2n}$ 的某个球面上绝对收敛，该条件对光滑核（如 $I_\alpha$ 或 Calderón-Zygmund 算子的核）成立。

实验结果

研究问题

• RQ1 经典的通过有界线性换位子表征BMO的方法能否推广到双线性情形？
• RQ2 卷积型双线性奇异积分算子的双线性换位子 $[b,T]_j$ 有界性是否足以推出 $b \in \text{BMO}$？
• RQ3 对于双线性分数次积分算子 $I_\alpha$，换位子有界性是否蕴含 $b \in \text{BMO}$，尤其当 $n - \alpha$ 不是偶数时？
• RQ4 该表征结果能否推广到具有齐次核、次数为 $-mn + \alpha$ 的 $m$-线性算子？
• RQ5 当目标空间为 $L^q$ 且 $q < 1$ 时，是否能通过换位子有界性来表征BMO？

主要发现

• 对于具有齐次核次数为 $-2n + \alpha$ 的卷积型双线性算子 $T$，换位子 $[b,T]_j$ 从 $L^{p_1} \times L^{p_2}$ 到 $L^q$ 有界当且仅当 $b \in \text{BMO}$，其中 $\frac{1}{q} = \frac{1}{p_1} + \frac{1}{p_2} - \frac{\alpha}{n}$，且 $1/K$ 的傅里叶级数在某球面上绝对收敛。
• 该表征结果对卷积型双线性Calderón-Zygmund算子成立，如推论3.2所示，其中 $[b,T]_j: L^{p_1} \times L^{p_2} \to L^p$ 有界当且仅当 $b \in \text{BMO}$，在相同的核条件下成立。
• 对于双线性分数次积分算子 $I_\alpha$，换位子 $[b,I_\alpha]_j$ 从 $L^{p_1} \times L^{p_2}$ 到 $L^q$ 有界当且仅当 $b \in \text{BMO}$，如推论3.4所证，其中 $\frac{1}{q} = \frac{1}{p_1} + \frac{1}{p_2} - \frac{\alpha}{n} < 1$。
• 该证明方法可推广至具有齐次核次数为 $-mn + \alpha$ 的 $m$-线性算子，从而将表征结果推广到 $m$-线性情形。
• 在无需假设 $n - \alpha$ 为偶数的条件下，证明了对 $I_\alpha$，$b \in \text{BMO}$ 是换位子有界性的必要条件，从而解决了Chanillo早期工作中存在的空白。
• 该方法依赖于在原子上测试换位子，并利用 Hölder 不等式以 BMO 半范数控制 $L^q$ 范数，表明 $\|b\|_* \lesssim \|[b,T]\|_{L^{p_1} \times L^{p_2} \to L^q}$，从而推出 $b \in \text{BMO}$。