[论文解读] Hardy spaces associated with non-negative self-adjoint operators

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

Advanced Harmonic Analysis Research参考文献 10被引用 4

一句话总结

该论文在具有非负自伴算子的加倍度量测度空间中，建立了在热核满足高斯界、霍尔德连续性及马尔可夫性质的条件下，对 $0 < p \leq 1$，极大与原子 Hardy 空间 $H^p$ 和 $H^p_A$ 的等价性。关键贡献是一种新颖的原子分解方法，避免了经典 Calderón-Zygmund 分解，证明了在一般几何与分析条件下，$H^p = H^p_A$ 且具有等价的准范数。

ABSTRACT

Maximal and atomic Hardy spaces Hp and HAp , are considered in the setting of a doubling metric measure space in the presence of a non-negative self-adjoint operator whose heat kernel has Gaussian localization and the Markov property. It is shown that Hp = HAp with equivalent norms.

研究动机与目标

• 在一般几何设定下，建立极大 Hardy 空间 $H^p$ 与原子 Hardy 空间 $H^p_A$ 的等价性。
• 发展一种避免经典 Calderón-Zygmund 分解的新原子分解方法。
• 将 Littlewood-Paley 理论与函数空间理论推广至具有非负自伴算子的一般度量测度空间。
• 验证该新方法不仅适用于抽象设定，还能在 $\mathbb{R}^n$ 上恢复经典结果。
• 为具有多项式体积增长的度量空间、黎曼流形以及加权区域中的 Hardy 空间提供统一框架。

提出的方法

• 通过算子 $\sup_{t>0}|e^{-t^2L}f(x)|$ 定义极大 Hardy 空间 $H^p$，并赋予 $L^p$ 准范数。
• 通过由 $L^n b$ 生成的原子定义原子 Hardy 空间 $H^p_A$，其中 $b \in D(L^n)$，并对 $k=0,\dots,n$ 的 $L^k b$ 施加其支撑与大小条件。
• 采用基于函数演算与热核估计的新分解技术，避免使用 Calderón-Zygmund 分解。
• 通过依赖热核界与霍尔德连续性的新方法，证明 $H^p \subset H^p_A$，从而建立等价性。
• 利用加倍条件、反加倍条件与非坍塌条件，控制测度增长与球体包含关系。
• 通过基于内在度量 $\rho(x)$ 的半径相关球体的最大不相交覆盖，控制分解中的重叠与一致性。

实验结果

研究问题

• RQ1 在具有非负自伴算子的加倍度量测度空间中，能否证明极大 Hardy 空间 $H^p$ 与原子 Hardy 空间 $H^p_A$ 的一致？
• RQ2 是否存在一种避免使用 Calderón-Zygmund 分解，但仍能证明 $H^p$ 与 $H^p_A$ 等价的新原子分解方法？
• RQ3 经典 Hardy 空间结果在 $\mathbb{R}^n$ 上的结论，能在多大程度上推广至更一般的空间，如李群、具有下界 Ricci 曲率的流形或加权区域？
• RQ4 热核性质——高斯界、霍尔德连续性与马尔可夫性质——在构造等价 Hardy 空间范数的过程中起到何种作用？
• RQ5 加倍、反加倍与非坍塌条件在确保原子分解中所用覆盖的有限性与一致性方面发挥何种作用？

主要发现

• 在指定设定下，对 $0 < p \leq 1$，极大 Hardy 空间 $H^p$ 与原子 Hardy 空间 $H^p_A$ 作为集合完全相等。
• 两空间配备等价的准范数，即 $\|f\|_{H^p} \asymp \|f\|_{H^p_A}$。
• $H^p \subset H^p_A$ 的证明依赖于一种新颖的分解方法，该方法不使用 Calderón-Zygmund 分解，标志着方法论上的重要进展。
• 该方法在广泛类别的空间中具有统一适用性，包括 $\mathbb{R}^n$、具有下界 Ricci 曲率的黎曼流形以及具有多项式体积增长的齐次空间。
• 对球体 $B(x, \rho(x)/5)$ 的覆盖引理给出了重叠球体数的统一上界 $K \leq 70^d c_0^2$，确保了原子分解中的一致性。
• 通过差分算子与傅里叶反演构造函数 $\varphi$，确保其为具有零矩的施瓦茨函数且在原点处非零，这对原子分解至关重要。