[论文解读] Maximal function characterizations for Hardy spaces associated to nonnegative self-adjoint operators on spaces of homogeneous type

Liang Song, Lixin Yan|arXiv (Cornell University)|May 25, 2016

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

一句话总结

该论文在仅假设高斯热核上界且不需核在空间变量上具有正则性的情况下，建立了齐次度量空间上非负自伴算子相关联的极大与原子 Hardy 空间之间的等价性。证明了当 $ 0 < p \leq 1 $，$ q > p $，且 $ M > \frac{n}{2}(\frac{1}{p} - 1) $ 时，有 $ H^p_{L,\text{max}}(X) \simeq H^p_{L,\text{at},q,M}(X) $，方法基于 Calderón 型分解与极大函数估计。

ABSTRACT

Let $X$ be a metric measure space with a doubling measure and $L$ be a nonnegative self-adjoint operator acting on $L^2(X)$. Assume that $L$ generates an analytic semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ satisfy Gaussian upper bounds but without any assumptions on the regularity of space variables $x$ and $y$. In this article we continue a study in \cite{SY} to give an atomic decomposition for the Hardy spaces $ H^p_{L,max}(X)$ in terms of the nontangential maximal function associated with the heat semigroup of $L$, and hence we establish characterizations of Hardy spaces associated to an operator $L$, via an atomic decomposition or the nontangential maximal function. We also obtain an equivalence of $ H^p_{L, max}(X)$ in terms of the radial maximal function.

研究动机与目标

• 建立非负自伴算子在齐次度量空间上关联的极大与原子 Hardy 空间之间的等价性。
• 消除先前工作中对热核空间变量 Hölder 正则性假设的需求。
• 证明在高斯上界条件下，$ H^p_L(X) $ 的极大函数刻画与原子分解等价。
• 将等价性扩展至径向极大函数，完整刻画基于算子的 Hardy 空间。
• 将先前在欧氏空间中的结果推广至具有加倍测度的更广泛齐次度量空间设定。

提出的方法

• 将 Calderón 型分解技术适配于直接从极大函数范数构造原子分解。
• 以非切向极大函数 $ f^*_L(x) = \sup_{d(x,y)<t} |e^{-t^2L}f(y)| $ 为核心工具，定义极大 Hardy 空间 $ H^p_{L,\text{max}}(X) $。
• 利用热核的高斯上界 $ p_t(x,y) \leq \frac{C}{V(x,t)} \exp\left(-\frac{d(x,y)^2}{ct}\right) $ 控制算子范数与积分估计。
• 通过单位分解与具有紧致傅里叶支撑的函数 $ \Psi $，实现频率与时间尺度的 dyadic 分解。
• 利用 Calderón 重构公式与极大函数技术，估计涉及 $ \Psi(t\sqrt{L}) $ 与 $ t^2Le^{-t^2L} $ 的积分算子。
• 通过弱型估计与 John-Nirenberg 不等式，借助加倍测度结构建立极大函数的 $ L^p $ 估计。

实验结果

研究问题

• RQ1 能否在不假设热核空间变量正则性的前提下，证明非负自伴算子相关 Hardy 空间的极大函数刻画与原子分解等价？
• RQ2 在仅具有高斯热核上界时，等价性 $ H^p_{L,\text{max}}(X) \simeq H^p_{L,\text{at},q,M}(X) $ 是否在齐次度量空间上成立？
• RQ3 在基于算子的 Hardy 空间设定中，径向极大函数是否与非切向极大函数等价？
• RQ4 Calderón 型分解能否被适配于具有加倍测度且核无光滑性假设的齐次度量空间？
• RQ5 原子与极大 Hardy 空间重合的参数 $ p, q, M $ 的最优范围为何？

主要发现

• 在高斯上界假设下，对所有 $ 0 < p \leq 1 $，$ q > p $，以及整数 $ M > \frac{n}{2}(\frac{1}{p} - 1) $，极大 Hardy 空间 $ H^p_{L,\text{max}}(X) $ 与原子 Hardy 空间 $ H^p_{L,\text{at},q,M}(X) $ 等价。
• 该等价性无需假设热核在空间变量上的 Hölder 连续性，扩展了此前需此类正则性假设的结果。
• 径向极大函数 $ f^*_{L,\text{rad}}(x) = \sup_{t>0} |e^{-t^2L}f(x)| $ 与非切向极大函数等价，因此 $ H^p_{L,\text{rad}}(X) \simeq H^p_{L,\text{max}}(X) $。
• 面积函数刻画 $ H^p_{L,S}(X) $ 与极大函数及原子空间等价，完整构建了刻画链：$ H^p_{L,\text{at},q,M} \simeq H^p_{L,S} \simeq H^p_{L,\text{max}} \simeq H^p_{L,\text{rad}} $。
• 证明依赖于修正的 Calderón 重构公式与涉及 $ \Psi(t\sqrt{L}) $ 的积分算子的 $ L^p $ 估计，且在时间和空间上具有统一有界性。
• 等价性中的常数仅依赖于加倍常数与高斯参数，而不依赖于核的正则性。