[论文解读] A maximal function characterization for Hardy spaces associated to nonnegative self-adjoint operators satisfying Gaussian estimates

Liang Song, Lixin Yan|arXiv (Cornell University)|Mar 12, 2015

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

一句话总结

本文通过热半群的非切向极大函数，建立了满足高斯估计的非负自伴算子相关哈代空间的最大函数表征。关键贡献在于证明了通过面积函数定义的哈代空间与通过原子分解定义的哈代空间之间的等价性，利用卡拉比隆技术（Calderón's technique）的修改版本，将经典哈代空间理论推广至拉普拉斯算子以外的算子。

ABSTRACT

Let $L$ be a nonnegative, self-adjoint operator satisfying Gaussian estimates on $L^2(\RR^n)$. In this article we give an atomic decomposition for the Hardy spaces $ H^p_{L,max}(\R)$ in terms of the nontangential maximal functions associated with the heat semigroup of $L$, and this leads eventually to characterizations of Hardy spaces associated to $L$, via atomic decomposition or the nontangential maximal functions. The proofs are based on a modification of technique due to A. Calderón \cite{C}.

研究动机与目标

• 将经典的哈代空间理论推广至拉普拉斯算子以外的算子 L，特别是满足高斯估计的算子。
• 为与这类算子相关的哈代空间 $ H^p_{L,\text{max}}(\mathbb{R}^n) $ 建立最大函数表征。
• 证明 $ H^p_L $ 的面积函数定义与原子分解定义之间的等价性，将经典结果推广至算子设定。
• 通过热半群与非切向极大函数，为与算子相关的哈代空间提供统一框架。

提出的方法

• 将卡拉比隆技术适配至满足高斯估计的非负自伴算子设定。
• 通过热半群 $ e^{-t^2L}f $ 的非切向极大函数定义哈代空间 $ H^p_{L,\text{max}} $。
• 利用与算子 $ L $ 相关的 $ (p,q,M) $-原子，通过 $ L^M b $ 的取消条件，建立 $ H^p_{L,\text{max}} $ 的原子分解。
• 证明面积函数 $ S_L f $ 在 $ L^p $ 上的有界性（$ 1 < p < \infty $），并通过 dyadic 分解与核估计将其与最大函数关联。
• 利用空间的 dyadic 分解与核估计，控制算子 $ \Psi(t\sqrt{L}) $ 的支集与衰减，从而实现最大函数的控制。
• 应用热半群理论与高斯估计，验证原子表征与最大函数表征之间的等价性。

实验结果

研究问题

• RQ1 能否将经典哈代空间的最大函数表征推广至满足高斯估计的非负、自伴算子 L？
• RQ2 通过非切向极大函数定义的哈代空间 $ H^p_{L,\text{max}}(\mathbb{R}^n) $ 是否与原子哈代空间 $ H^p_{L,\text{at},q,M}(\mathbb{R}^n) $ 等价（$ 0 < p \leq 1 $）？
• RQ3 算子 L 需满足何种条件，才能使面积函数 $ S_L f $ 与最大函数在定义 $ H^p_L $ 时等价？
• RQ4 哈代空间 $ H^p_L $ 的原子分解如何依赖于取消阶数 $ M $ 与可积性 $ q $ 的选择？
• RQ5 该理论能否应用于具体算子，如具有卡托类势能的电磁薛定谔算子？

主要发现

• 当 $ M > \frac{n}{2}\left(\frac{1}{p} - 1\right) $ 时，通过热半群的非切向极大函数定义的哈代空间 $ H^p_{L,\text{max}}(\mathbb{R}^n) $ 与原子哈代空间 $ H^p_{L,\text{at},\infty,M}(\mathbb{R}^n) $ 等价（$ 0 < p \leq 1 $）。
• 面积函数 $ S_L f $ 在 $ L^p(\mathbb{R}^n) $ 上有界（$ 1 < p < \infty $），且满足 $ \|S_L f\|_{L^p} \simeq \|f\|_{L^p} $，将经典结果推广至满足高斯估计的一般算子。
• 对于电磁薛定谔算子 $ L = (i\nabla - A(x))^2 + V(x) $，若 $ V_+ $ 属于卡托类且 $ \|V_-\|_K < c_n $，则空间 $ H^p_{L,\text{max}} $ 与 $ H^p_{L,\text{at},\infty,M} $ 重合。
• 证明依赖于卡拉比隆技术的修改版本，通过 dyadic 分解与核估计控制 $ \Psi(t\sqrt{L}) $ 的支集与衰减，从而实现最大函数的控制。
• 原子分解在热半群下保持稳定，且 $ L^M b $ 上的取消条件确保原子与算子 $ L $ 自适应。
• 对所有 $ 1 < q \leq \infty $ 与 $ M > \frac{n}{2}(\frac{1}{p} - 1) $，有包含关系 $ H^p_{L,\text{at},q,M} \subseteq H^p_{L,\text{rad}} $，但反向包含关系仍为开放问题。