[论文解读] The L^p-to-L^q boundedness of commutators with applications to the Jacobian operator

Tuomas Hytönen|arXiv (Cornell University)|Apr 30, 2018

Advanced Harmonic Analysis Research参考文献 28被引用 24

一句话总结

本文完成了对点乘与Calderón–Zygmund算子的换位子 $[b,T]$ 的 $L^p$-到-$L^q$ 有界性的完整刻画，在 $T$ 的核满足最小非退化性假设的前提下，对所有 $1 < p,q < \infty$ 建立了其有界性的精确必要与充分条件。关键结果表明，当 $T$ 为非零齐次奇异积分时，$b \in \mathrm{BMO}$ 是 $[b,T]$ 在 $L^p$ 上有界的必要条件，从而解决了 Lerner、Ombrosi 与 Rivera-Ríos 最近提出的问题。

ABSTRACT

Supplying the missing necessary conditions, we complete the characterisation of the $L^p o L^q$ boundedness of commutators $[b,T]$ of pointwise multiplication and Calderón-Zygmund operators, for arbitrary pairs of $1q$, our results are new even for special classical operators with smooth kernels. As an application, we show that every $f\in L^p(R^d)$ can be represented as a convergent series of normalised Jacobians $Ju=\det abla u$ of $u\in \dot W^{1,dp}(R^d)^d$. This extends, from $p=1$ to $p&gt;1$, a result of Coifman, Lions, Meyer and Semmes about $J:\dot W^{1,d}(R^d)^d o H^1(R^d)$, and supports a conjecture of Iwaniec about the solvability of the equation $Ju=f\in L^p(R^d)$.

研究动机与目标

• 完成对所有 $1 < p,q < \infty$ 的点乘与Calderón–Zygmund算子换位子 $[b,T]$ 的 $L^p$-到-$L^q$ 有界性的完整刻画。
• 建立有界性的精确必要条件，特别是解决非零齐次奇异积分情形下 $b \in \mathrm{BMO}$ 的必要性问题。
• 将理论推广至迭代换位子及带有 $A_p$ 权的加权 $L^p$ 空间。
• 将有界性结果应用于雅可比行列式算子，证明每个 $f \in L^p(\mathbb{R}^d)$ 可表示为 $u \in \dot{W}^{1,dp}(\mathbb{R}^d)^d$ 的归一化雅可比行列式 $Ju = \det \nabla u$ 的收敛级数。

提出的方法

• 利用换位子 $T_b^k$ 的弱型测试条件 (4.7)，推导出 $b$ 关于权 $\nu^{1/k}$ 的 BMO 型范数估计。
• 应用关键引理 (引理 4.3.3)，将 $A_p$ 权 $\mu$、$\lambda$ 与权 $\nu = (\mu/\lambda)^{1/p}$ 关联，从而通过 $\langle \nu^{1/k} \rangle_B^k$ 控制测度乘积。
• 采用 dyadic 分解，并在半径相等且正距离分离的球 $B$、$\tilde{B}$ 上进行测试，以局部化换位子的作用。
• 在核 $K$ 的最小非退化性假设下，改编并扩展了经典的 Coifman–Rochberg–Weiss 论证以证明 $\mathrm{BMO}$ 必要性。
• 通过换位子结构，将有界性理论应用于雅可比算子，构造出 $f \in L^p(\mathbb{R}^d)$ 作为归一化雅可比行列式 $Ju$ 的级数表示。
• 利用 $L^p$ 与 $L^{p'}$ 之间的对偶性及换位子的有界性，推导出 $L^p$ 中的收敛性。

实验结果

研究问题

• RQ1 对于任意 $1 < p,q < \infty$ 及非退化的 Calderón–Zygmund 算子 $T$，换位子 $[b,T]$ 的 $L^p(\mathbb{R}^d) \to L^q(\mathbb{R}^d)$ 有界性的必要与充分条件是什么？
• RQ2 当 $T$ 为非零齐次奇异积分时，$b \in \mathrm{BMO}(\mathbb{R}^d)$ 是否为 $[b,T]$ 在 $L^p$ 上有界的必要条件？
• RQ3 迭代换位子 $T_b^k$ 的有界性性质如何推广至带有 $A_p$ 权的加权 $L^p$ 空间？
• RQ4 每个 $f \in L^p(\mathbb{R}^d)$ 是否可表示为归一化雅可比行列式 $Ju = \det \nabla u$（$u \in \dot{W}^{1,dp}(\mathbb{R}^d)^d$）的收敛级数？
• RQ5 即使在核 $K$ 的非退化性假设最小化时，$[b,T]$ 的 $L^p$-有界性是否仍蕴含对 $b$ 的精确 BMO 条件？

主要发现

• 换位子 $[b,T]$ 的 $L^p$-到-$L^q$ 有界性成立当且仅当：$p = q$ 且 $b \in \mathrm{BMO}$，或 $p < q \leq p^*$ 且 $b$ 为 $\alpha$-Hölder 连续（$\alpha = (1/p - 1/q)d$），或 $q > p^*$ 且 $b$ 为常数，或 $p > q$ 且 $b = a + c$，其中 $a \in L^r$，$1/r = 1/q - 1/p$，$c$ 为常数。
• 对于任意非零齐次奇异积分 $T$，$b \in \mathrm{BMO}(\mathbb{R}^d)$ 是 $[b,T]$ 在 $L^p(\mathbb{R}^d)$ 上有界的必要条件，从而解决了 Lerner、Ombrosi 与 Rivera-Ríos 最近提出的开放问题。
• 在最小非退化性假设及 $A_p$ 权条件下，确立了 $b \in \mathrm{BMO}(\nu^{1/k})$ 对 $k$ 阶迭代换位子 $T_b^k$ 的 $L^p(\mu) \to L^p(\lambda)$ 有界性的必要性。
• 不等式 $\|b\|_{\mathrm{BMO}(\nu^{1/k})} \lesssim \Theta^{1/k}$ 成立，其中 $\Theta$ 控制弱型测试条件 (4.7)，证实了其对换位子范数的精确依赖关系。
• 每个 $f \in L^p(\mathbb{R}^d)$，$p > 1$，可表示为归一化雅可比行列式 $Ju = \det \nabla u$（$u \in \dot{W}^{1,dp}(\mathbb{R}^d)^d$）的收敛级数，将此前在 $p=1$ 时的结果推广至 $p>1$。
• 该表示形式支持 Iwaniec 关于 $Ju = f$ 在 $L^p(\mathbb{R}^d)$ 中可解性的猜想，为 $p > 1$ 提供了构造性框架。