[论文解读] Orlicz-Hardy Spaces Associated with Operators Satisfying Davies-Gaffney Estimates

Renjin Jiang, Dachun Yang|arXiv (Cornell University)|Mar 26, 2009

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

一句话总结

本文引入了与度量测度空间 $ \mathcal{X} $ 上满足 Davies-Gaffney 估计的非负自伴算子 $ L $ 相关的 Orlicz-Hardy 空间 $ H_{\omega,L}(\mathcal{X}) $，利用与热半群相关的 Lusin 面积函数。建立了 $ H_{\omega,L} $ 与一类 BMO 型空间 $ \mathrm{BMO}_{\rho,L} $ 之间的对偶性，推导出原子与分子表征，并证明了 Riesz 变换 $ \nabla L^{-1/2} $ 从 $ H_{\omega,L}(\mathbb{R}^n) $ 到 $ L(\omega) $ 的有界性，将经典 Hardy 空间理论推广至 Orlicz 与算子设定，且对 Orlicz 函数 $ \omega $ 给出了精确的条件。

ABSTRACT

Let ${\mathcal X}$ be a metric space with doubling measure, $L$ a nonnegative self-adjoint operator in $L^2({\mathcal X})$ satisfying the Davies-Gaffney estimate, $ω$ a concave function on $(0,\infty)$ of strictly lower type $p_ω\in (0, 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for all $t\in (0,\infty).$ The authors introduce the Orlicz-Hardy space $H_{ω,L}({\mathcal X})$ via the Lusin area function associated to the heat semigroup, and the BMO-type space ${\mathop\mathrm{BMO}_{ρ,L}(\mathcal X)}$. The authors then establish the duality between $H_{ω,L}({\mathcal X})$ and $\mathrm{BMO}_{ρ,L}({\mathcal X})$; as a corollary, the authors obtain the $ρ$-Carleson measure characterization of the space ${\mathop\mathrm{BMO}_{ρ,L}(\mathcal X)}$. Characterizations of $H_{ω,L}({\mathcal X})$, including the atomic and molecular characterizations and the Lusin area function characterization associated to the Poisson semigroup, are also presented. Let ${\mathcal X}={\mathbb R}^n$ and $ L=-Δ+V$ be a Schrödinger operator, where $V\in L^1_{\mathrm{\,loc\,}}({\mathbb R}^n)$ is a nonnegative potential. As applications, the authors show that the Riesz transform $ abla L^{-1/2}$ is bounded from $H_{ω,L}({{\mathbb R}^n})$ to $L(ω)$; moreover, if there exist $q_1,\,q_2\in (0,\infty)$ such that $q_1<1

研究动机与目标

• 为满足 Davies-Gaffney 估计的非负自伴算子 $ L $ 在具有加倍测度的度量测度空间 $ \mathcal{X} $ 上建立 Orlicz-Hardy 空间 $ H_{\omega,L}(\mathcal{X}) $ 的实变量理论。
• 建立 $ H_{\omega,L}(\mathcal{X}) $ 与一类 BMO 型空间 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $ 之间的对偶性，其中 $ \rho(t) = t^{-1}/\omega^{-1}(t^{-1}) $，以实现通过 $ \rho $-Carleson 测度表征 $ \mathrm{BMO}_{\rho,L} $。
• 提供 $ H_{\omega,L}(\mathcal{X}) $ 的多种表征，包括原子、分子以及与热半群和 Poisson 半群相关的 Lusin 面积函数表征。
• 将理论推广至 $ \mathbb{R}^n $ 上的 Schrödinger 算子 $ L = -\Delta + V $，其中 $ V \geq 0 $ 局部可积，并在 $ \omega $ 满足适当凸性条件时，证明 Riesz 变换 $ \nabla L^{-1/2} $ 在 $ H_{\omega,L}(\mathbb{R}^n) $ 上有界。

提出的方法

• 通过与热半群 $ e^{-tL} $ 相关的 Lusin 面积函数定义 Orlicz-Hardy 空间 $ H_{\omega,L}(\mathcal{X}) $，其中使用严格下类型 $ p_\omega \in (0,1] $ 的凹 Orlicz 函数 $ \omega $。
• 引入 BMO 型空间 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $，其中 $ \rho(t) = t^{-1}/\omega^{-1}(t^{-1}) $，并证明通过 tent 空间中的对偶配对，$ H_{\omega,L}(\mathcal{X}) $ 与 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $ 构成对偶空间。
• 建立 tent 空间 $ T_\omega(\mathcal{X}) $ 的原子分解，从而可将 $ T_2^2(\mathcal{X}) $ 中的原子分解传递至 $ T_\omega(\mathcal{X}) $，实现 $ H_{\omega,L}(\mathcal{X}) $ 的原子表征。
• 利用算子 $ \pi_{\Psi,L} $ 从 $ T_\omega(\mathcal{X}) $ 到 $ H_{\omega,L}(\mathcal{X}) $ 的有界性，结合最大函数与平方函数估计，推导出通过非切向与径向最大函数的表征。
• 证明 Riesz 变换 $ \nabla L^{-1/2} $ 从 $ H_{\omega,L}(\mathbb{R}^n) $ 到 $ L(\omega) $ 有界，利用分布估计及 $ L^{1/q_1} $ 上最大函数 $ \mathcal{M} $ 的有界性，条件为 $ [\omega(t^{q_2})]^{q_1} $ 是凸函数。
• 将理论应用于 $ \mathbb{R}^n $ 上的 Schrödinger 算子 $ L = -\Delta + V $，证明在 $ \omega $ 满足凸性条件时，所有标准表征（Lusin 面积、非切向最大、径向最大、原子、分子）在 $ H_{\omega,L}(\mathbb{R}^n) $ 中等价。

实验结果

研究问题

• RQ1 如何为满足 Davies-Gaffney 估计的非负自伴算子 $ L $ 在具有加倍测度的度量测度空间 $ \mathcal{X} $ 上定义 Orlicz-Hardy 空间 $ H_{\omega,L}(\mathcal{X}) $，并如何通过热半群实现其表征？
• RQ2 如何建立 $ H_{\omega,L}(\mathcal{X}) $ 与 BMO 型空间 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $ 之间的对偶性，这种对偶性对 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $ 的 $ \rho $-Carleson 测度表征有何含义？
• RQ3 如何获得 $ H_{\omega,L}(\mathcal{X}) $ 的原子与分子表征，它们与 Poisson 半群相关的 Lusin 面积函数有何关联？
• RQ4 Riesz 变换 $ \nabla L^{-1/2} $ 在 $ H_{\omega,L}(\mathbb{R}^n) $ 上的行为如何，其在何种 $ \omega $ 条件下有界映射到 $ L(\omega) $？
• RQ5 当 $ L = -\Delta + V $ 是 $ \mathbb{R}^n $ 上的 Schrödinger 算子且 $ V \geq 0 $ 时，在 $ [\omega(t^{q_2})]^{q_1} $ 为凸函数的假设下，$ H_{\omega,L}(\mathbb{R}^n) $ 的等价表征是什么？

主要发现

• 建立了 $ H_{\omega,L}(\mathcal{X}) $ 与 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $ 之间的对偶性，其中 $ \rho(t) = t^{-1}/\omega^{-1}(t^{-1}) $，且该对偶性意味着 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $ 允许通过 $ \rho $-Carleson 测度表征。
• 获得了 $ H_{\omega,L}(\mathcal{X}) $ 的原子与分子表征，表明该空间中的函数可分解为满足特定大小、取消与光滑性条件的原子或分子，这些条件与算子 $ L $ 相关。
• 与 Poisson 半群相关的 Lusin 面积函数在 $ H_{\omega,L}(\mathcal{X}) $ 上给出等价范数，将经典理论推广至 Orlicz 与算子自适应设定。
• Riesz 变换 $ \nabla L^{-1/2} $ 从 $ H_{\omega,L}(\mathbb{R}^n) $ 到 $ L(\omega) $ 有界，这将经典结果推广至 Orlicz-Hardy 空间，并确认了该框架下奇异积分的有界性。
• 当 $ L = -\Delta + V $ 在 $ \mathbb{R}^n $ 上且 $ V \geq 0 $，且 $ [\omega(t^{q_2})]^{q_1} $ 为凸函数（$ q_1 < 1 < q_2 $）时，所有标准表征——Lusin 面积、非切向最大、径向最大、原子与分子——在 $ H_{\omega,L}(\mathbb{R}^n) $ 中等价，从而建立了完整的实变量理论。
• 即使在经典情形 $ \omega(t) = t^p $（$ p \in (0,1] $）下，所有结果均为新成果，将先前关于算子相关 Hardy 空间的理论推广至 Orlicz-Hardy 设定，并对 Orlicz 函数给出了精确条件。