[论文解读] Characterization of the atomic space $H^1$ for non doubling measures in terms of a grand maximal operator

Xavier Tolsa|ArXiv.org|May 6, 2000

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

一句话总结

本文通过一个广义极大算子 $M_{\Phi}$，建立了非加倍测度下原子 Hardy 空间 $H^{1}(\mu)$ 的刻画。证明了函数 $f$ 属于 $H^{1}(\mu)$ 当且仅当 $f \in L^1(\mu)$，$\int f\,d\mu = 0$，且 $M_{\Phi}f \in L^1(\mu)$，将经典 $H^1$ 理论推广至满足增长条件 $\mu(B(x,r)) \leq C_0 r^n$ 的非加倍情形。该结果确保了 Calderón-Zygmund 算子在 $L^p(\mu)$ 上的有界性，而无需假设测度为加倍。

ABSTRACT

Let $μ$ be a Radon measure on $R^d$, which may be non doubling. The only condition that $μ$ must satisfy is $μ(B(x,r))\leq C r^n$, for all $x,r$ and for some fixed $0

研究动机与目标

• 将经典 $H^1$ 理论推广至满足增长条件 $\mu(B(x,r)) \leq C_0 r^n$ 的非加倍测度。
• 解决当 $\mu$ 为非加倍时，标准 $H^1$ 与 $BMO$ 空间无法保持 Calderón-Zygmund 算子有界性的缺陷。
• 通过广义极大算子 $M_{\Phi}$ 刻画原子 Hardy 空间 $H^{1,\infty}_{atb}(\mu)$，其形式与加倍情形下的经典刻画相一致。
• 建立 $RBMOM(\mu)$ 与 $H^{1,\infty}_{atb}(\mu)$ 之间的对偶关系，从而实现 Calderón-Zygmund 算子在 $L^p(\mu)$ 上的有界性结果。

提出的方法

• 引入广义极大算子 $M_{\Phi}f(x) = \sup_{{\varphi} \sim x} \left| \int f(y) {\varphi}(y) \, d\mu(y) \right|$，其中 $\Phi$ 是一类具有受控衰减性的光滑紧支函数。
• 将原子块 $b$ 定义为在立方体 $Q_j \subset R$ 上有界的支持的原子 $a_j$ 的无穷级数和，满足 $\|a_j\|_{L^\infty(\mu)} \leq (\mu(2Q_j) K_{Q_j,R})^{-1}$，其中 $K_{Q,R}$ 编码了几何与测度论的复杂性。
• 使用截断技术，结合在 dyadic 立方体 $Q_k$ 上有紧支的截断函数 $w_k$，并将 $f - f_k$ 分解为 $(1 - w_k)f + w_k f - f_k$ 以控制极大函数的行为。
• 应用 dyadic 分解与极大函数估计，证明在 $k \to \infty$ 时有 $\|M_{\Phi}(f - f_k)\|_{L^1(\mu)} \to 0$，利用控制收敛定理。
• 采用关键估计：$M_{\Phi}f_k(x) \leq C M_{\Phi}f(x) + C |c_k| \mu(Q_k) \frac{\ell(Q_k)}{|y_0 - x|^{n+1}}$，利用 $\varphi$-函数的衰减性。
• 证明 $\chi_{4Q_k} M_{\Phi}((1 - w_k)f)(x) \to 0$ 几乎处处点态收敛，且被 $C M_{\Phi}f(x)$ 控制，从而在 $L^1$ 中收敛。

实验结果

研究问题

• RQ1 能否通过广义极大算子，类似经典 $H^1$ 理论，刻画非加倍测度下的原子 Hardy 空间 $H^{1,\infty}_{atb}(\mu)$？
• RQ2 在增长条件 $\mu(B(x,r)) \leq C_0 r^n$ 下，条件 $M_{\Phi}f \in L^1\left(\mu\right)$，加上 $f \in L^1(\mu)$ 与 $\int f\,d\mu = 0$，是否能完全刻画 $H^{1,\infty}_{atb}(\mu)$ 中的成员资格？
• RQ3 在无加倍条件时，广义极大算子 $M_{\Phi}$ 如何控制原子块分解？
• RQ4 即使在无加倍假设下，能否通过 $L^1$ 控制收敛定理，建立截断极大函数 $M_{\Phi}(f - f_k)$ 在 $L^1(\mu)$ 中的收敛性？
• RQ5 系数 $K_{Q,R}$ 在定义原子块范数及确保极大算子有界性方面起什么作用？

主要发现

• 空间 $H^{1,\infty}_{atb}(\mu)$ 由条件 $f \in L^1(\mu)$，$\int f\,d\mu = 0$，且 $M_{\Phi}f \in L^1(\mu)$ 所刻画，将经典 $H^1$ 刻画推广至非加倍测度。
• 广义极大算子 $M_{\Phi}$ 控制原子块分解，确保在所述条件下有 $\|M_{\Phi}(f - f_k)\|_{L^1(\mu)} \to 0$ 当 $k \to \infty$。
• 截断极大函数 $M_{\Phi}(f_k)$ 被控制为 $C M_{\Phi}f(x) + C |c_k| \mu(Q_k) \frac{\ell(Q_k)}{|y_0 - x|^{n+1}}$，且其在 $\mathbb{R}^d \setminus 4Q_k$ 上的积分趋于零。
• $\chi_{4Q_k} M_{\Phi}((1 - w_k)f)(x)$ 几乎处处点态收敛于零，且被 $C M_{\Phi}f(x)$ 控制，因此其 $L^1$-范数在 $k \to \infty$ 时趋于零。
• 证明依赖于 $\|f\|_{L^1(\mu)}$ 与 $\|M_{\Phi}f\|_{L^1(\mu)}$ 的有限性，从而可应用控制收敛定理以得出 $L^1$ 收敛性。
• 该刻画对 $K_{Q,R}$ 定义中 $\rho > 1$ 的选择具有鲁棒性，不同 $\rho$ 对应的范数等价，因此结果与具体使用的 $\rho$ 无关（例如，为明确起见，固定 $\rho = 2$）。