[论文解读] Characterization of parabolic Hardy spaces by Littlewood-Paley functions

Shūichi Satō|arXiv (Cornell University)|Jul 13, 2016

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

一句话总结

本文通过与矩阵 $ P $ 生成的非各向同性膨胀相关的 Littlewood-Paley 函数，建立了抛物 Hardy 空间 $ H^p $ 的刻画。通过将向量值不等式和原子分解推广至抛物设置，作者证明了在核 $ \varphi $ 满足非退化条件时，对于 $ 0 < p \leq 1 $，Littlewood-Paley 函数 $ g_\varphi(f) $ 的 $ L^p $-范数与 $ f $ 的 $ H^p $-范数等价。

ABSTRACT

We consider Littlewood-Paley functions associated with non-isotropic dilations. We prove that they can be used to characterize the parabolic Hardy spaces of Calderón-Torchinsky.

研究动机与目标

• 将经典 Hardy 空间通过 Littlewood-Paley 函数进行刻画的方法，推广至由非各向同性膨胀控制的抛物设置。
• 在 $ 0 < p \leq 1 $ 时，建立抛物 Hardy 范数 $ \|f\|_{H^p} $ 与 Littlewood-Paley 函数 $ g_\varphi(f) $ 的 $ L^p $-范数之间的等价性。
• 通过加权估计和 Peetre 极大函数，将各向同性情形下的向量值不等式推广至抛物设置。
• 证明该刻画对满足 $ \int \varphi = 0 $ 及 $ \widehat{\varphi}(A_t^*\xi) $ 的非退化条件的广义核 $ \varphi \in \mathscr{S}(\mathbb{R}^n) $ 类成立。
• 将结果推广至离散参数化版本及 $ H^p $-原子和 $ L^p $-有界性的加权范数不等式。

提出的方法

• 定义与膨胀群 $ \{A_t = t^P\} $ 相关的范数函数 $ \rho(x) $，满足齐次性与次可加性性质。
• 引入 Littlewood-Paley 函数 $ g_\varphi(f)(x) = \left( \int_0^\infty |f * \varphi_t(x)|^2 \frac{dt}{t} \right)^{1/2} $，其中 $ \varphi_t(x) = t^{-\gamma} \varphi(A_t^{-1}x) $，且 $ \gamma = \text{trace}(P) $。
• 在抛物设置中证明加权向量值不等式（定理 2.4），使用 Peetre 极大函数 $ F^{**}_{N,R} $ 和极大算子的 $ L^p $-有界性。
• 利用抛物 Hardy 空间的原子分解，将 $ \|f\|_{H^p} $ 与 $ g_\varphi(f) $ 的 $ L^p $-范数关联，借助非退化条件 $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $（对 $ \xi \neq 0 $）。
• 采用实分析方法，受 Uchiyama [19] 启发，避免依赖 Poisson 核的调和或半群性质。
• 通过 dyadic 尺度 $ b^j $ 建立主要结果的离散版本，并推广至具有 $ A_\infty $ 权的加权 $ L^p $-空间。

实验结果

研究问题

• RQ1 与非各向同性膨胀相关的 Littlewood-Paley 函数能否刻画 $ 0 < p \leq 1 $ 时的抛物 Hardy 空间 $ H^p $？
• RQ2 核 $ \varphi $ 需满足何种条件，才能在抛物设置中保证 $ \|f\|_{H^p} \asymp \|g_\varphi(f)\|_p $ 的等价性？
• RQ3 如何将向量值不等式推广至抛物框架，以支持该刻画？
• RQ4 该结果在多大程度上可推广至离散参数化和加权 $ L^p $-空间？
• RQ5 非退化条件 $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $（对 $ \xi \neq 0 $）是否足以保证刻画成立？

主要发现

• 本文证明了，对于满足 $ \int \varphi = 0 $ 且对所有 $ \xi \neq 0 $ 有 $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $ 的核 $ \varphi \in \mathscr{S}(\mathbb{R}^n) $，Littlewood-Paley 函数 $ g_\varphi(f) $ 能刻画抛物 Hardy 空间 $ H^p $，其中 $ 0 < p \leq 1 $。
• 对所有 $ f \in H^p \cap \mathscr{S}(\mathbb{R}^n) $，存在与 $ f $ 无关的正常数 $ c_1, c_2 $，使得 $ c_1 \|f\|_{H^p} \leq \|g_\varphi(f)\|_p \leq c_2 \|f\|_{H^p} $ 成立。
• 该证明依赖于抛物设置中的广义向量值不等式（定理 2.4），结合 Peetre 极大函数与加权 $ L^p $-界。
• 结果被推广至离散参数化：对 $ 0 < p \leq 1 $，有 $ \left\| \left( \sum_{j=-\infty}^\infty |f * \varphi_{b^j}|^2 \right)^{1/2} \right\|_p \asymp \|f\|_{H^p} $。
• 建立了加权版本：对 $ 0 < p,q < \infty $，$ w \in A_\infty $，且核满足假设条件，有 $ \left\| \left( \sum_j |f * \psi_{b^j}|^q \right)^{1/q} \right\|_{p,w} \lesssim \left\| \left( \sum_j |f * \varphi_{b^j}|^q \right)^{1/q} \right\|_{p,w} $。
• 通过稠密性论证，该刻画具有鲁棒性，因为 $ H^p \cap \mathscr{S}(\mathbb{R}^n) $ 在 $ H^p $ 中稠密，从而可将结果延拓至整个空间 $ H^p $。