[论文解读] Frames and operators in Schatten classes

Bingyang Hu, Lê Hải Khôi+1 more|arXiv (Cornell University)|Feb 11, 2013

Mathematical Analysis and Transform Methods参考文献 8被引用 11

一句话总结

本文通过与框架 $ \{f_n\} $ 关联的序列 $ \{\|Tf_n\|\} $ 的 $ \ell^p $-可求和性，对可分希尔伯特空间上的施瓦茨类算子 $ S_p $ 建立了精确表征。当 $ p \geq 2 $ 时，$ T \in S_p $ 当且仅当对每个框架都有 $ \|Tf_n\| \in \ell^p $；当 $ 0 < p \leq 2 $ 时，该条件成立当且仅当存在某个框架使得 $ \|Tf_n\| \in \ell^p $。结果可推广至内积 $ \langle Tf_n, f_n \rangle $ 和双下标序列 $ \langle Tf_n, f_m \rangle $，其范数公式依赖于 $ p $，通过框架上的上确界或下确界表达。关键贡献在于以清晰、最优的条件，实现了对施瓦茨类的完整、基于框架的表征，明确区分了临界情形 $ p = 2 $。

ABSTRACT

Let $T$ be a compact operator on a separable Hilbert space $H$. We show that, for $2\le p\}$ and the double-indexed sequence $\{\}$.

研究动机与目标

• 使用框架序列 $ \{\|Tf_n\|\} $ 表征施瓦茨类算子 $ S_p $，将已知的正交基结果推广至一般框架。
• 在 $ p = 2 $ 处建立精确的二分性：当 $ p \geq 2 $ 时，条件必须对所有框架成立；当 $ p \leq 2 $ 时，存在某个框架满足条件即可。
• 通过框架上的上确界（$ p \geq 2 $ 时上界 $ \leq 1 $）或下确界（$ p \leq 2 $ 时下界 $ \geq 1 $）给出 $ \|T\|_p^p $ 的范数公式。
• 在额外假设（如正定性或自伴性）下，将表征推广至序列 $ \{\langle Tf_n, f_n \rangle\} $ 和 $ \{\langle Tf_n, f_m \rangle\} $。
• 提供一种自包含、简化的基于框架的施瓦茨类准则证明，与以往工作不同，且可应用于再生核希尔伯特空间（如伯格曼空间）。

提出的方法

• 当 $ p \geq 2 $ 时，利用施瓦茨 $ p $-范数是所有正交基上 $ \sum \|Te_n\|^p $ 的上确界的事实，并将其推广至上框架界 $ \leq 1 $ 的所有框架，证明 $ T \in S_p $ 当且仅当对每个框架都有 $ \|Tf_n\| \in \ell^p $，该结果依赖于框架界与算子范数之间的对偶性。
• 当 $ 0 < p \leq 2 $ 时，证明 $ T \in S_p $ 当且仅当存在某个框架 $ \{f_n\} $ 使得 $ \|Tf_n\| \in \ell^p $，且 $ p $-范数由所有帕塞瓦尔框架上 $ \sum \|Tf_n\|^p $ 的下确界给出，反映了 $ \ell^p $-范数行为中的对偶性。
• 利用 $ w \mapsto \|TK_w\|^p $ 在单位圆盘上的次调和性，推导出伯格曼空间 $ A^2 $ 中 $ S_p $-成员资格的积分条件，将类似框架的采样序列与施瓦茨范数联系起来。
• 建立涉及 $ \sum \|Te_n\|^p $、$ \sum \|Tf_n\|^p $ 和 $ \sum \|f_n\|^{2-p}\|Tf_n\|^p $ 的范数公式，表明 $ p $-范数通过特定框架类上的上确界或下确界实现。
• 通过贝雷津变换和谱分解，将理论应用于再生核希尔伯特空间，特别是伯格曼空间 $ A^2 $，证明当 $ p \geq 2 $ 时 $ \int_\mathbb{D} \|Tk_w\|^p \, d\lambda(w) < \infty $ 是 $ T \in S_p $ 的必要条件，当 $ p \leq 2 $ 时是充分条件。
• 构造例子以证明 $ p = 2 $ 处的阈值是精确的，表明若将 $ p $-范围超出此点，表征将不再成立。

实验结果

研究问题

• RQ1 能否使用框架 $ \{f_n\} $ 的 $ \|Tf_n\| $ 的 $ \ell^p $-可求和性来表征施瓦茨类成员资格 $ T \in S_p $，而非仅限于正交基？
• RQ2 框架 $ \{f_n\} $ 的框架界与由此产生的 $ \|Tf_n\| $ 的 $ \ell^p $-可求和性在表征 $ S_p $ 时有何精确关系？这种关系如何依赖于 $ p $？
• RQ3 框架上的上确界与下确界如何与施瓦茨 $ p $-范数 $ \|T\|_p $ 相关联？为何在 $ p = 2 $ 处发生从上确界到下确界的转变？
• RQ4 基于框架的表征能否推广至对角序列 $ \{\langle Tf_n, f_n \rangle\} $ 和完整矩阵序列 $ \{\langle Tf_n, f_m \rangle\} $？在何种算子假设下成立？
• RQ5 次调和性在推导再生核希尔伯特空间中 $ S_p $-成员资格的积分条件时起何作用？它如何支持基于框架的表征？

主要发现

• 当 $ 2 \leq p < \infty $ 时，紧算子 $ T $ 属于施瓦茨类 $ S_p $ 当且仅当对希尔伯特空间 $ H $ 中的每个框架 $ \{f_n\} $ 都有 $ \|Tf_n\| \in \ell^p $，且 $ p $-范数由所有上框架界 $ \leq 1 $ 的此类框架上的上确界给出。
• 当 $ 0 < p \leq 2 $ 时，$ T \in S_p $ 当且仅当存在某个框架 $ \{f_n\} $ 使得 $ \|Tf_n\| \in \ell^p $，且 $ p $-范数为所有帕塞瓦尔框架上 $ \sum \|Tf_n\|^p $ 的下确界。
• 范数公式 $ \|T\|_p^p = \sup_{\text{框架满足 } C_2 \leq 1} \sum \|Tf_n\|^p $ 对 $ p \geq 2 $ 成立，而 $ \|T\|_p^p = \inf_{\text{帕塞瓦尔框架}} \sum \|Tf_n\|^p $ 对 $ p \leq 2 $ 成立，反映出在 $ p = 2 $ 处的精确对偶性。
• 在伯格曼空间 $ A^2 $ 中，当 $ p \geq 2 $ 时 $ \int_\mathbb{D} \|Tk_w\|^p \, d\lambda(w) < \infty $ 是 $ T \in S_p $ 的必要条件，当 $ p \leq 2 $ 时是充分条件，其中 $ d\lambda(w) = \frac{1}{(1-|w|^2)^2} dA(w) $。
• $ w \mapsto \|TK_w\|^p $ 在单位圆盘上的次调和性使得能够推导出基于框架的积分准则，将采样序列与面积积分联系到施瓦茨类成员资格。
• 例子表明 $ p = 2 $ 处的阈值是最优的：若将 $ p $-范围超出此点，表征将不再成立，从而确认了该二分性的精确性。