[论文解读] A note on dyadic coverings and nondoubling Calder\'on-Zygmund theory

Jose M. Conde|arXiv (Cornell University)|Jan 17, 2012

Advanced Harmonic Analysis Research参考文献 11被引用 6

一句话总结

本文在 $\mathbb{R}^n$ 中构造了一个由 $n+1$ 个二元滤子组成的最优族，使得每个欧几里得球都包含在一个直径至多为该球直径 $c_n$ 倍的立方体中。利用该覆盖，作者发展了一种避免使用贝西科维奇覆盖的非加倍测度的二元 Calderón-Zygmund 分解，并通过 Hyt€–nen 和 Kairema 的覆盖结果将结果推广至上加倍度量空间。

ABSTRACT

We construct a family of n+1 dyadic filtrations in R^n, so that every Euclidean ball B is contained in some cube Q of our family satisfying diam(Q) \\le c_n diam(B) for some dimensional constant c_n. Our dyadic covering is optimal on the number of filtrations and improves previous results of Christ and Garnett/Jones by extending a construction of Mei for the n-torus. Based on this covering and motivated by applications to matrix-valued functions, we provide a dyadic nondoubling Calder\\'on-Zygmund decomposition which avoids Besicovitch type coverings in Tolsa's decomposition. We also use a recent result of Hyt\\"onen and Kairema to extend our dyadic nondoubling decomposition to the more general setting of upper doubling metric spaces.

研究动机与目标

• 在 $\mathbb{R}^n$ 中构造一个由 $n+1$ 个二元滤子组成的族，使得每个欧几里得球都包含在一个直径至多为自身 $c_n$ 倍的立方体中。
• 提供一种避免依赖贝西科维奇型覆盖的二元非加倍 Calderón-Zygmund 分解，其动机源于矩阵值函数的应用。
• 通过 Hyt€–nen 和 Kairema 的覆盖结果，将二元分解推广至更一般的上加倍度量空间设置。
• 在多项式增长和上加倍测度条件下，建立 Calderón-Zygmund 算子的弱型 $(1,1)$ 有界性。

提出的方法

• 通过在 $\{0,1\}^n$ 中使用向量平移标准二元网格，构造 $n+1$ 个二元滤子，确保每个球都包含在一个直径至多为自身 $c_n$ 倍的立方体中。
• 使用极大函数 $\mathcal{M}_{\mathcal{A},\mu}f(x) = \sup_{x\in Q\in\mathcal{A}} \frac{1}{\mu(2Q)}\int_Q |f|\,d\mu$ 定义水平集 $\Omega_{\mathcal{A},\mu}^\lambda$，其为最大立方体 $Q_j$ 的几乎不相交并集。
• 在 $R_j \in \mathcal{A}$ 上定义函数 $\varphi_j$，满足 $3Q_j \subset R_j$，且 $\|\varphi_j\|_\infty \lesssim \frac{1}{\mu(R_j)}\int_{Q_j} f\,d\mu$，以及 $\|\sum_j \varphi_j\|_\infty \lesssim \lambda$。
• 确保 $\int \varphi_j\,d\mu = \int_{Q_j} f w_j\,d\mu \sim \int_{Q_j} f\,d\mu$，其中 $w_j = \chi_{Q_j}/\sum_k \chi_{Q_k}$，从而实现分解 $f = g + b$。
• 通过使用 Hyt€–nen 和 Kairema 的覆盖结果，将构造适配至上加倍度量空间，其中立方体 $Q_{jk}^m$ 满足 $B(z_{jk},\delta^k) \subset Q_{jk}^m \subset 48B(z_{jk},\delta^k)$，并被划分为 $K(n,\delta)$ 个滤子。
• 定义一个修改后的极大函数 $\mathcal{M}_{\mathcal{A},\mu}f(x) = \sup_{x\in Q\in\mathcal{A}} \sup_{B\subset Q\subset C_\delta B} \frac{1}{\mu(2C_\delta B)}\int_Q |f|\,d\mu$，以定义水平集和最大立方体 $Q_j$。

实验结果

研究问题

• RQ1 能否仅使用 $n+1$ 个滤子在 $\mathbb{R}^n$ 中构造一个二元覆盖，使得每个球都包含在一个直径至多为该球直径 $c_n$ 倍的立方体中？
• RQ2 在非加倍设定下，能否构造一种不依赖于贝西科维奇或 Vitali 覆盖的二元 Calderón-Zygmund 分解？
• RQ3 能否使用有限个滤子和类似 Hyt€–nen-Kairema 的覆盖结果，将二元分解推广至上加倍度量空间？
• RQ4 在度量空间中，为确保每个球都包含在一个具有受控直径的立方体中，所需的最少滤子数量是多少？

主要发现

• 本文在 $\mathbb{R}^n$ 中构造了 $n+1$ 个二元滤子，使得每个欧几里得球 $B$ 都包含在滤子族的并集中的某个立方体 $Q$ 中，且满足 $\mathrm{diam}(Q) \leq c_n \mathrm{diam}(B)$，且该滤子数量为最优。
• 该二元覆盖使得能够构造一种避免使用贝西科维奇型覆盖的 Calderón-Zygmund 分解，为非加倍理论提供了新方法。
• 对于满足 $\mu(B(x,r)) \leq c_\mu r^k$ 多项式增长的测度，分解可表示为 $f = g + b$，其中 $g = f\chi_{\mathbb{R}^n \setminus \cup Q_j} + \sum_j \varphi_j$，$b = \sum_j (f w_j - \varphi_j)$，且满足 $\|\sum_j \varphi_j\|_\infty \lesssim \lambda$。
• 通过 Hyt€–nen 和 Kairema 的覆盖，该分解可推广至上加倍度量空间，使用 $K(n,\delta) \lesssim (4/\delta)^{3n}$ 个滤子，尽管本文认为该界可能并非最优。
• 该构造表明，在满足标准核条件且在 $L_2(\mu)$ 上有界的 Calderón-Zygmund 算子，在多项式或上加倍测度假设下具有弱型 $(1,1)$ 有界性。
• 本文证明了存在 $(\alpha,\beta)$-加倍立方体 $R_j$，满足 $3C_\delta B_j \subset R_j$ 且 $B_j$ 落在 $Q_j$ 内，其中 $\alpha,\beta$ 仅依赖于 $C_\delta$，从而可构造满足所需 $L^\infty$ 和积分范数的 $\varphi_j$。