[论文解读] A new proof of the atomic decomposition of Hardy spaces

Shai Dekel, G. Kerkyacharian+2 more|arXiv (Cornell University)|Sep 1, 2014

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

一句话总结

本文提出了一种新的证明方法，用于 $$H^p$$ 空间在 $$\mathbb{R}^n$$ 上的原子分解，适用于 $$0 < p \leq 1$$，避免使用经典的 Calderón-Zygmund 分解和逼近恒等式。相反，该方法基于具有消失矩的光滑紧支集函数与二进制频率局部化，提出了一种稳健的新分解方法，适用于具有加倍性质和高斯热核估计的一般度量测度空间。

ABSTRACT

A new proof is given of the atomic decomposition of Hardy spaces Hp, in the classical setting of Rn. The new method can be used to establish atomic decomposition of maximal Hardy spaces in general setting and non classical settings.

研究动机与目标

• 为 $$\mathbb{R}^n$$ 上的 $H^p$ 空间（$0 < p \leq 1$）提供一种新的、替代性的经典原子分解证明，避免依赖 Calderón-Zygmund 分解。
• 开发一种可推广至非经典和抽象度量测度空间的方法。
• 在具有加倍测度和具有高斯热核的算子的广义设定下，建立极大函数与原子 Hardy 空间之间的等价性。
• 证明新方法可产生具有统一控制的原子分解，其原子范数在极大函数范数下有统一控制。
• 提供一种简化原子分解过程的框架，通过使用具有消失矩的光滑紧支集函数与频率局部化。

提出的方法

• 通过在对称的 bump 函数上使用差分算子，构造一个光滑紧支集函数 $$\varphi$$，满足 $$\widehat{\varphi}(0) = 1$$ 且 $$\partial^\alpha \widehat{\varphi}(0) = 0$$ 对所有 $0 < |\alpha| \leq m$ 成立。
• 通过 $$\psi_k(x) = 2^{kn}\psi(2^k x)$$ 定义二进制频率分解，其中 $$\psi$$ 是具有紧支集傅里叶支撑且具有至阶 $K$ 消失矩的光滑函数。
• 引入极大函数 $$M^*_{\varphi,a}f(x)$$ 和广义极大算子 $$\mathcal{M}_N f(x)$$，并证明其在 $$L^p$$-范数下与 Poisson 极大函数等价。
• 定义集合 $$\Omega_r = \{x : \sup_{t>0} |P_t * f(x)| > 2^r\}$$，并将 $$f$$ 分解为 $$f = \sum_r F_r$$，其中 $$F_r$$ 局域化于 $$\Omega_r$$。
• 对每个二进制层级 $$r$$，通过 $$\Omega_r$$ 的 Whitney 型覆盖，将 $$F_r$$ 分解为局域于二进制球 $$B \in \mathcal{B}_r$$ 的部分 $$F_B$$。
• 通过 $$a_B(x) = c_\sharp^{-1} |B^\star|^{-1/p} 2^{-r} F_B(x)$$ 构造原子 $$a_B$$，其中 $$B^\star = 7B$$，并设系数 $$\lambda_B = c_\sharp |B^\star|^{1/p} 2^r$$，以确保 $$L^\infty$$ 和矩条件成立。

实验结果

研究问题

• RQ1 是否可以在不依赖 Calderón-Zygmund 分解或逼近恒等式的情况下建立 $H^p$ 空间的原子分解？
• RQ2 该分解的哪些结构特性使其可推广至非经典设定（如具有加倍性质和高斯热核的度量测度空间）？
• RQ3 如何通过基于频率局部化和矩条件的构造，控制原子范数 $$\|f\|_{H^p_A}$$ 与极大函数范数 $$\|f\|_{H^p}$$ 的关系？
• RQ4 是否可以使用具有消失矩的光滑紧支集函数，构造出具有统一 $L^\infty$ 和矩条件的原子？
• RQ5 广义极大算子 $$\mathcal{M}_N f$$ 在刻画 $H^p$ 空间并在广义设定下实现原子分解中起什么作用？

主要发现

• 新证明在不使用 Calderón-Zygmund 分解或逼近恒等式的情况下，建立了 $$H^p$$（$0 < p \leq 1$）的原子分解。
• 该方法导出不等式 $$\|f\|_{H^p_A} \leq c \|f\|_{H^p}$$，其中 $$c > 0$$ 仅依赖于 $$p$$ 和 $$n$$，从而证明了连续嵌入 $$H^p \subset H^p_A$$。
• 原子 $$a_B$$ 的构造确保 $$\|a_B\|_{L^\infty} \leq |B^\star|^{-1/p}$$ 且 $$\int x^\alpha a_B(x) dx = 0$$ 对所有 $$|\alpha| \leq n(p^{-1} - 1)$$ 成立，满足标准原子条件。
• 分解 $$f = \sum_{r} \sum_{B \in \mathcal{B}_r} \lambda_B a_B$$ 在 $$\mathcal{S}'$$ 中收敛，且 $$\sum_{r} \sum_{B \in \mathcal{B}_r} |\lambda_B|^p \leq c \|f\|_{H^p}^p$$ 成立，确认了原子范数的控制。
• 该方法足够稳健，可推广至具有加倍性质和具有高斯热核及马尔可夫性质的算子的一般度量测度空间，如后续工作 [2] 所示。
• 该证明避免使用基于 $L^2$ 的技术，转而依赖频率局部化和矩条件，使其可适应非光滑或非黎曼几何设定。