[论文解读] Boundedness of Calder\'on-Zygmund Operators on Non-homogeneous Metric Measure Spaces

Tuomas Hytönen, Suile Liu+2 more|arXiv (Cornell University)|Nov 12, 2010

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

一句话总结

本文建立了在满足上加倍和几何加倍条件的非齐次度量测度空间上，Calderón-Zygmund 算子在 $L^p(\mu)$ 上有界的等价性。它证明了 $L^2(\mu)$ 有界性蕴含对所有 $p \in (1, \infty)$ 的 $L^p(\mu)$ 有界性，以及从 $L^1(\mu)$ 到弱 $L^1(\mu)$ 的有界性，将经典结果推广到更广泛的测度空间类。同时，也证明了该算子的极大算子在 $L^p(\mu)$ 上有界，且从复 Borel 测度空间到弱 $L^1(\mu)$ 有界。

ABSTRACT

Let $({\mathcal X}, d, \mu)$ be a separable metric measure space satisfying the known upper doubling condition, the geometrical doubling condition and the non-atomic condition that $\mu(\{x\})=0$ for all $x\in{\mathcal X}$. In this paper, we show that the boundedness of a Calder\'on-Zygmund operator $T$ on $L^2(\mu)$ is equivalent to that of $T$ on $L^p(\mu)$ for some $p\in (1, \infty)$, and that of $T$ from $L^1(\mu)$ to $L^{1,\,\infty}(\mu).$ As an application, we prove that if $T$ is a Calder\'on-Zygmund operator bounded on $L^2(\mu)$, then its maximal operator is bounded on $L^p(\mu)$ for all $p\in (1, \infty)$ and from the space of all complex-valued Borel measures on ${\mathcal X}$ to $L^{1,\,\infty}(\mu)$. All these results generalize the corresponding results of Nazarov et al. on metric spaces with measures satisfying the so-called polynomial growth condition.

研究动机与目标

• 将经典的 Calderón-Zygmund 理论推广到非齐次度量测度空间，这些空间不一定是加倍的。
• 建立 $L^2(\mu)$ 有界性与 $L^p(\mu)$ 有界性（$p \in (1, \infty)$）以及弱型 $(1,1)$ 有界性之间的等价性。
• 证明若 Calderón-Zygmund 算子在 $L^2(\mu)$ 上有界，则其极大算子在所有 $p \in (1, \infty)$ 上在 $L^p(\mu)$ 上有界，且从 $M(X)$ 到 $L^{1,\infty}(\mu)$ 有界。

提出的方法

• 引入了一类满足上加倍和几何加倍条件的度量测度空间，其中支配函数 $\lambda$ 满足 $\lambda(x,r) \leq C_\lambda \lambda(x,r/2)$。
• 通过独立同分布的随机点构造初等测度 $\nu_N = \|\nu\|_N \sum_{i=1}^N \delta_{x_i}$，采用随机化方法来控制极大函数。
• 利用切比雪夫不等式和方差估计控制截断极大算子 $T_R^\sharp \nu$ 的尾部行为，借助加倍条件中的对数增长特性。
• 通过概率论和极大函数技术，证明了极大算子的弱型 $(1,1)$ 估计：$\mu(\{x : T^\sharp \nu(x) > t\}) \lesssim \|\nu\|/t$。
• 利用 John-Nirenberg 不等式和适用于非齐次设定的 dyadic 分解技术，控制 BMO 范数。
• 结合 $T(b)$ 定理框架和 dyadic paraproduct 分解，将问题约化为在 dyadic cube 上的测试条件。

实验结果

研究问题

• RQ1 在非齐次空间中，Calderón-Zygmund 算子在 $L^2(\mu)$ 上的有界性是否等价于其在某个 $p \in (1, \infty)$ 上的 $L^p(\mu)$ 有界性？
• RQ2 在该设定下，$L^2(\mu)$ 有界性是否蕴含从 $L^1(\mu)$ 到 $L^{1,\infty}(\mu)$ 的弱型 $(1,1)$ 有界性？
• RQ3 若 Calderón-Zygmund 算子在 $L^2(\mu)$ 上有界，则其极大算子是否在所有 $p \in (1, \infty)$ 上在 $L^p(\mu)$ 上有界，且从 $M(X)$ 到 $L^{1,\infty}(\mu)$ 有界？
• RQ4 Nazarov 等人关于多项式增长测度的经典结果能否推广到具有几何加倍的上加倍空间？

主要发现

• 在满足上加倍和几何加倍条件的度量测度空间中，Calderón-Zygmund 算子 $T$ 在 $L^2(\mu)$ 上有界，当且仅当其在任意 $p \in (1, \infty)$ 上有界，且从 $L^1(\mu)$ 到 $L^{1,\infty}(\mu)$ 有界。
• 若 $T$ 在 $L^2(\mu)$ 上有界，则其极大算子 $T^\sharp$ 在所有 $p \in (1, \infty)$ 上在 $L^p(\mu)$ 上有界，且从复 Borel 测度空间 $M(X)$ 到 $L^{1,\infty}(\mu)$ 有界。
• 对所有有限复 Borel 测度 $\nu$，弱型 $(1,1)$ 估计 $\mu(\{x : T^\sharp \nu(x) > t\}) \lesssim \|\nu\|/t$ 成立，且隐含常数与 $\nu$ 和 $t > 0$ 无关。
• 该证明依赖于使用随机初等测度 $\nu_N$ 的概率方法，其中 $T_R \nu_N(x)$ 的方差被控制为 $\|\nu\|^2 / N \cdot C_\lambda^{2(1+\log_2(M/R))} / \lambda(x_0,M)^2$，从而实现切比雪夫型尾部估计。
• 该结果将 Nazarov 等人关于多项式增长测度的结果推广到了更广泛的上加倍空间类（具有几何加倍）。
• 即使将 $L^2(\mu)$ 有界性假设替换为对某个 $q \in (1,\infty)$ 的 $L^q(\mu)$ 有界性，$L^p$ 有界性（$p \in (1,\infty)$）与弱型 $(1,1)$ 有界性之间的等价性依然成立。