[论文解读] Weak type (1,1) bound criterion for singular integral with rough kernel and its applications

Yong Ding, Xudong Lai|arXiv (Cornell University)|Sep 11, 2015

Advanced Harmonic Analysis Research参考文献 23被引用 5

一句话总结

本文建立了一类具有粗糙齐次核的奇异积分算子的广义弱型(1,1)有界性准则，使得在核满足 $ L\text{log}^+L $ 可积性与取消性条件时，能够证明包括 Calderón 交换子、高阶交换子以及 Muckenhoupt 型奇异积分在内的一类广泛算子的弱型(1,1)有界性。该准则推广了已知结果，并为粗糙奇异积分理论中的弱型(1,1)分析提供了一个统一框架。

ABSTRACT

In this paper, a weak type (1,1) bound criterion is established for singular integral operator with rough kernel. As some applications of this criterion, we prove some important operators with rough kernel in harmonic analysis, such as Calderón commutator, higher order Calderón commutator, general Calderón commutator, Calderón commutator of Bajsanski-Coifman type and general singular integral of Muckenhoupt type, are all of weak type (1,1).

研究动机与目标

• 为不满足经典 Calderón-Zygmund 理论所要求光滑性的粗糙核奇异积分算子，发展一个广义的弱型(1,1)有界性准则，特别是在标准 Calderón-Zygmund 分解因缺乏光滑性而失效的情况下。
• 通过建立弱型(1,1)有界性作为 $ L^1 $ 有界性的替代，将奇异积分的 $ L^{1} $ 理论拓展至 $ L^{p} $ 有界性之外。
• 统一并推广先前关于特定算子（如 Calderón 交换子和 Muckenhoupt 型算子）的弱型(1,1)有界性结果。
• 解决调和分析中关于振荡型、交换子型及具有粗糙核的极大奇异积分算子的弱型(1,1)有界性方面的开放问题。

提出的方法

• 提出一种基于核大小与光滑性条件的新弱型(1,1)有界性准则，特别要求满足 $ |K(x,y)| \thickapprox |x-y|^{-d} $ 以及当 $ |x_1 - y| > 2|x_1 - x_2| $ 时，有 $ |K(x_1,y) - K(x_2,y)| \thickapprox |x_1 - x_2| |x_1 - y|^{-d-1} $，该条件推广了 Calderón-Zygmund 分解框架。
• 将该准则应用于形如 $ K(x,y) = \frac{\text{sign}(x-y)}{|x-y|^d} $ 或 $ K(x,y) = \frac{e^{i r \text{ln}|x-y|}}{|x-y|^d} $ 的核，验证其满足所需的大小与 Hölder 型光滑性条件。
• 利用插值与对偶性论证，从弱型(1,1)有界性推导出 $ L^p $ 有界性（$ 1 < p < \infty $），因为此类算子通常不满足 $ L^1 $ 有界性。
• 通过在齐次核 $ \theta \to \frac{\text{Re}(e^{i r \text{ln}|x-y|})}{|x-y|^d} $ 上施加 $ L\text{log}^+L(\text{S}^{d-1}) $ 条件，确保核满足所需的大小与光滑性估计。
• 通过验证其核满足论文中条件 (1.8) 与 (1.9)，确认该准则适用于特定算子。
• 将该准则应用于极大奇异积分算子 $ T_* $，表明即使当 $ \theta \to \frac{1}{|x-y|^d} $ 与 $ \theta \to \frac{A(x)-A(y)}{|x-y|^{d+1}} $ 时，其弱型(1,1)有界性仍为开放问题，尽管已知其 $ L^p $ 有界性。

实验结果

研究问题

• RQ1 能否为不满足经典 Calderón-Zygmund 理论所要求光滑性的粗糙核奇异积分算子，建立一个广义的弱型(1,1)有界性准则？
• RQ2 当核 $ \theta \to \theta $ 属于 $ L\text{log}^+L(\text{S}^{d-1}) $ 且满足取消性时，Bajsanski-Coifman 型 Calderón 交换子是否为弱型(1,1)有界？
• RQ3 当核 $ K(x,y) = \frac{e^{i r \text{ln}|x-y|}}{|x-y|^d} $ 且 $ \theta \to \theta \in L\text{log}^+L(\text{S}^{d-1}) $ 时，Muckenhoupt 型一般奇异积分算子是否满足弱型(1,1)有界性？
• RQ4 当相位为多项式且核属于 $ L\text{log}^+L $ 时，能否建立具有粗糙核的振荡奇异积分算子的弱型(1,1)有界性？
• RQ5 当核 $ \theta \to \theta \text{ 属于 } L\text{log}^+L(\text{S}^{d-1}) $ 且 $ K(x,y) = \frac{1}{|x-y|^d} $ 时，粗糙核极大奇异积分算子 $ T_* $ 是否为弱型(1,1)有界？

主要发现

• 本文为粗糙核奇异积分算子建立了一个广义的弱型(1,1)有界性准则，该准则在条件 (1.8) 与 (1.9) 所定义的大小与光滑性条件下成立，推广了经典 Calderón-Zygmund 分解框架。
• 当 $ \theta \to \theta \text{ 属于 } L\text{log}^+L(\text{S}^{1}) $ 时，证明了 Calderón 交换子 $ T_{\theta,A} $ 在 $ d \to 2 $ 时为弱型(1,1)有界，将先前结果推广至更高维。
• 在 $ L\text{log}^+L(\text{S}^{d-1}) $ 条件与适当取消性下，高阶 Calderón 交换子与一般 Calderón 交换子均被证明为弱型(1,1)有界。
• 对于核为 $ K(x,y) = \frac{e^{i r \text{ln}|x-y|}}{|x-y|^d} $ 的 Muckenhoupt 型一般奇异积分算子，当 $ \theta \to \theta \in L\text{log}^+L(\text{S}^{d-1}) $ 时，通过验证准则，证明其为弱型(1,1)有界。
• 对于核为 $ K(x,y) = \frac{1}{|x-y|^d} $ 且 $ \theta \to \theta \in L\text{log}^+L(\text{S}^{d-1}) $ 的极大奇异积分算子 $ T_* $，其弱型(1,1)有界性尚未被证明，但本文表明该准则适用于其相关算子。
• 该准则被应用于证明 Christ-Journ\'e 型交换子 $ T_{a,k} $ 在 $ k=1 $ 时的弱型(1,1)有界性，同时指出了 $ k \to 2 $ 时的开放问题。