[论文解读] p-Summing Multiplication Operators, dyadic Hardy Spaces and atomic Decomposition

Paul F. X. Müller, Johanna Penteker|arXiv (Cornell University)|Oct 16, 2013

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

一句话总结

本文通过哈尔系数与原子分解，构造性地确定了 dyadic Hardy 空间 $H^p$（$0 < p \leq 2$）上 $p$-求和乘法算子的 Pietsch 测度。它给出了因子分解 $ \|\mathcal{M}_u\varphi\|_{H^p} \leq C\|u\|_{H^p} \left(\sum |\varphi_I|^2 \omega_I\right)^{1/2}$ 中权序列 $\omega_I$ 的显式公式，从而为 Pisier 的外推公式 $H^p = (X_0)^{1-\theta}(H^2)^\theta$ 提供了构造性证明，其中 $X_0$ 是外推格点。

ABSTRACT

We constructively determine the Pietsch measure of the 2-summing multiplication operator \[\mathcal{M}_u:\ell^{\infty} ightarrow H^p, \quad (φ_I) \mapsto \sum φ_Ix_Ih_I. \] Our construction of the Pietsch measure for the multiplication operator $\mathcal{M}_u$ involves the Haar coefficients of $u$ and its atomic decomposition.

研究动机与目标

• 为 $0 < p \leq 2$ 的 dyadic Hardy 空间 $H^p$ 上的 $p$-求和乘法算子提供 Pietsch 测度的构造性确定。
• 为 Pisier 的外推公式 $H^p = (X_0)^{1-\theta}(H^2)^\theta$ 提供构造性证明，其中 $X_0$ 是与 $H^p$ 和 $H^2$ 相关的外推格点。
• 将该构造方法扩展至向量值 Hardy 空间 $H^p_X$ 和 Triebel-Lizorkin 空间 $f^q_p$。
• 推导出权序列 $\omega_I$ 的显式公式，其表达式以 $u \in H^p$ 的哈尔系数 $x_I$ 表示。

提出的方法

• 该方法通过原子分解技术，从 $u \in H^p$ 的哈尔系数 $x_I$ 显式构造 Pietsch 测度 $\omega = (\omega_I)_{I \in \mathcal{D}}$。
• 它利用 Kahane 不等式与压缩原理，控制 dyadic martingale 背景下 Rademacher 和的 $L^p$-范数。
• 证明利用 dyadic 区间结构以及函数在 dyadic 方块上支撑的原子分解，以估计乘子输出的 $H^p$-范数。
• 它应用 $p$-求和算子理论及通过带权 $\ell^2$-序列的算子因子分解理论，推导出显式的权序列 $\omega_I$。
• 通过将相同原理应用于 $X$-值哈尔级数并使用 $X$-值版本的 $\mathbb{S}^p$-泛函，将该构造方法扩展至向量值 $H^p_X$ 空间。
• 对于 Triebel-Lizorkin 空间，该方法通过外推格点 $X_0$ 应用 Calderón 乘积构造，使用相同的基于权的因子分解。

实验结果

研究问题

• RQ1 能否从 $u \in H^p$ 的哈尔系数显式构造 $2$-求和乘法算子 $\mathcal{M}_u: \ell^\infty \to H^p$ 的 Pietsch 测度？
• RQ2 该构造是否能为 Pisier 的外推公式 $H^p = (X_0)^{1-\theta}(H^2)^\theta$ 提供构造性证明？
• RQ3 该方法能否扩展至向量值 Hardy 空间 $H^p_X$ 和 Triebel-Lizorkin 空间 $f^q_p$？
• RQ4 权序列 $\omega_I$ 的显式形式为何，使得 $\|\mathcal{M}_u\varphi\|_{H^p} \leq C\|u\|_{H^p} \left(\sum |\varphi_I|^2 \omega_I\right)^{1/2}$ 成立？
• RQ5 如何利用 $u \in H^p$ 的原子分解推导出权序列 $\omega$ 的 $\ell^1$-范数的上界？

主要发现

• 本文通过涉及 $u \in H^p$ 的哈尔系数 $x_I$ 的显式公式，构造性地确定了 $2$-求和乘法算子 $\mathcal{M}_u: \ell^\infty \to H^p$ 的 Pietsch 测度 $\omega = (\omega_I)_{I \in \mathcal{D}}$。
• 权序列 $\omega_I$ 满足 $\sum_{I \in \mathcal{D}} \omega_I \leq 1$，从而确保因子分解 $\|\mathcal{M}_u\varphi\|_{H^p} \leq C\|u\|_{H^p} \left(\sum |\varphi_I|^2 \omega_I\right)^{1/2}$ 成立。
• 该构造为 Pisier 的外推公式 $H^p = (X_0)^{1-\theta}(H^2)^\theta$ 提供了构造性证明，其中 $X_0$ 是 $H^p$ 与 $H^2$ 的外推格点，且 $\theta = 2/p$。
• 对于向量值 Hardy 空间 $H^p_X$，该方法扩展至 $X$-值哈尔级数，其中权序列 $\omega_I$ 依赖于 $X$-值 $\mathbb{S}^p$-泛函。
• 在 Triebel-Lizorkin 空间 $f^q_p$ 的情形下，该方法通过相同的基于权的因子分解构造了 Calderón 乘积 $f^q_p = (X_0)^{1-\theta}(f^q_q)^\theta$。
• 该方法通过求和 $\left(1 + 4^{1/p} \sum_{\ell=1}^\infty 2^{-2\ell / (p(4\llbracket\mathcal{E}\rrbracket + 1)))}\right)$ 提供了算子范数的定量控制，该求和控制了原子和的 $H^p_X$-范数。