[论文解读] Commutators of singular integrals on generalized $L^p$ spaces with variable exponent

Alexei Yu. Karlovich, Andrei K. Lerner|ArXiv.org|Jan 26, 2004

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

一句话总结

本文将经典的 Coifman-Rochberg-Weiss 定理从 Calderón-Zygmund 奇异积分的换位子推广到具有变指数的广义 Lebesgue 空间 $L^{p(\bullet)}(\mathbb{R}^n)$。证明了当 $p$ 及其共轭指数 $p'$ 满足 Hardy-Littlewood 极大算子有界性的 Muckenhaupt 型条件时，函数 $b$ 属于 $BMO(\mathbb{R}^n)$ 当且仅当换位子 $[b,T]$ 在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上有界。

ABSTRACT

A classical theorem of Coifman, Rochberg, and Weiss on commutators of singular integrals is extended to the case of generalized $L^p$ spaces with variable exponent.

研究动机与目标

• 将经典的 Coifman-Rochberg-Weiss 定理从奇异积分的换位子推广至具有变指数的广义 $L^p$ 空间。
• 通过 $L^{p(\cdot)}(\mathbb{R}^n)$ 上换位子 $[b,T]$ 的有界性，建立 $BMO(\mathbb{R}^n)$ 的刻画。
• 解决 $L^{p(\cdot)}(\mathbb{R}^n)$ 空间不具备平移不变性或重排不变性所带来的挑战，需要超越经典调和分析的新技术。
• 将对偶性与精确极大函数方法推广至变指数空间，特别是利用局部精确极大函数和对偶不等式。

提出的方法

• 采用近期由 Diening 和 Růžička 得出的结果，将 Fefferman-Stein 精确极大函数不等式的局部化版本适配至 $L^{p(\cdot)}(\mathbb{R}^n)$ 空间。
• 利用 Lerner [15, 定理 1] 提出的对偶不等式，将换位子的范数与 $b$ 的 BMO 半范数联系起来。
• 在变指数设定下使用 Strömberg [11] 和 Pérez [22, 引理 3.1] 的换位子精确函数不等式。
• 通过紧支集有界函数的逼近与范数连续性延拓，证明 $[b,T]$ 在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上的有界性。
• 证明若 $[b,T]$ 在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上有界且 $\Omega$ 为奇函数，则 $[b,T]$ 在 $L^{p'(\cdot)}(\mathbb{R}^n)$ 上也有界，从而支持对偶性论证。
• 应用 Janson 定理在 $L^2(\mathbb{R}^n)$ 上的有界性，通过插值与范数估计推导出 $b \in BMO(\mathbb{R}^n)$。

实验结果

研究问题

• RQ1 经典的 $BMO(\mathbb{R}^n)$ 通过换位子在 $L^p(\mathbb{R}^n)$ 上有界性的刻画是否可推广至变指数 Lebesgue 空间 $L^{p(\cdot)}(\mathbb{R}^n)$？
• RQ2 当 $L^{p(\cdot)}(\mathbb{R}^n)$ 缺乏平移不变性时，$[b,T]$ 在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上有界是否仍能推出 $b \in BMO(\mathbb{R}^n)$？
• RQ3 变指数 $p(\cdot)$ 需满足何种条件，才能保证 Hardy-Littlewood 极大算子在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上有界，从而实现经典结果的推广？
• RQ4 如何将对偶性与精确极大函数技术适配至标准重排方法与好-$\lambda$ 方法失效的变指数空间？
• RQ5 $[b,T]$ 在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上有界是否足以推出其在 $L^{p'(\cdot)}(\mathbb{R}^n)$ 上有界？核 $\Omega$ 的奇性在此过程中起什么作用？

主要发现

• 若 $b \in BMO(\mathbb{R}^n)$ 且 $p, p' \in \mathcal{M}(\mathbb{R}^n)$，则换位子 $[b,T]$ 在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上有界，且其算子范数满足 $\|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})} \leq C_p \|b\|_*$。
• 反之，若 $\Omega$ 为奇函数，$b \in L\log L(Q)$ 对每个立方体 $Q$ 成立，且 $[b,T]$ 在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上有界，则 $b \in BMO(\mathbb{R}^n)$，且 $\|b\|_* \leq C_p' \|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})}$。
• 在 $\Omega$ 为奇函数的条件下，$[b,T]$ 在 $L^{p(\cdot)}(\mathbb{R}^n)$ 上有界可推出其在 $L^{p'(\cdot)}(\mathbb{R}^n)$ 上有界，且 $\|[b,T]\|_{\mathcal{B}(L^{p'(\cdot)})} \leq r_p \|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})}$。
• 换位子 $[b,T]$ 在 $L^2(\mathbb{R}^n)$ 上有界，由此通过 Janson 定理可推出 $b \in BMO(\mathbb{R}^n)$，且 $\|b\|_* \leq c_2(K) \|[b,T]\|_{\mathcal{B}(L^2)}$。
• 反向不等式中的常数 $C_p'$ 显式满足 $2r_p c_2(K)$ 的上界，其中 $r_p$ 依赖于 $p$，而 $c_2(K)$ 是与核相关的常数。
• 由于近期结果表明 $p \in \mathcal{M}(\mathbb{R}^n)$ 可推出 $p' \in \mathcal{M}(\mathbb{R}^n)$，因此条件 $p' \in \mathcal{M}(\mathbb{R}^n)$ 可被移除，使结果更具普适性。