[论文解读] Schur multipliers and de Branges-Rovnyak spaces: the multiscale case

Daniel Alpay, Aad Dijksma+1 more|ArXiv.org|May 12, 2006

Advanced Operator Algebra Research参考文献 20被引用 10

一句话总结

本文通过使用齐次树，将施瓦茨乘子和德布兰斯-罗夫尼亚克空间推广到多尺度设置，引入了非交换点值评估和一个柯西公式成立的再生核希尔伯特空间。它建立了施瓦茨乘子作为多尺度输入-状态-输出系统中转移算子的共等距实现，通过库恩茨关系和基于树的移位算子，将经典单尺度结果推广到非平稳、非交换设置。

ABSTRACT

We consider bounded linear operators acting on the $\ell_2$ space indexed by the nodes of a homogeneous tree. Using the Cuntz relations between the primitive shifts on the tree, we generalize the notion of the single-scale time-varying point evaluation and introduce the corresponding reproducing kernel Hilbert space in which Cauchy's formula holds. These notions are then used in the study of the Schur multipliers and of the associated de Branges-Rovnyak spaces. As an application we obtain realization of Schur multipliers as transfer operators of multiscale input-state-output systems.

研究动机与目标

• 将施瓦茨乘子和德布兰斯-罗夫尼亚克空间的理论从单尺度（例如单位圆盘上的 Hardy 空间）推广到使用齐次树的多尺度设置。
• 在再生核希尔伯特空间中，引入一种基于树的非交换点值评估和柯西公式的非交换推广。
• 通过共等距实现，将施瓦茨乘子实现为多尺度输入-状态-输出系统的转移算子。
• 利用树上原始移位算子之间的库恩茨关系，建立一个用于非平稳、非交换系统的框架。
• 通过 Blaschke 因子构造和核表示，为树上的施瓦茨函数提供一个函数模型。

提出的方法

• 利用齐次树上原始移位算子之间的库恩茨关系，定义非交换时变点值评估。
• 通过非交换幂级数和核公式，在树上构造一个再生核希尔伯特空间，使得柯西积分公式成立。
• 通过满足特定交换关系的算子 A、B、C、D 的共等距实现，定义德布兰斯-罗夫尼亚克空间。
• 将 Blaschke 因子 $ B_c $ 引入为 $ \mathbf{H}_2(\mathcal{T})^q $ 上的酉算子，满足 $ B_c^\wedge(c) = 0 $，以建模函数的零点集。
• 推导出核表示 $ K_s(z,w) = C(I-zA)^{-1}(I-wA)^{-*}C^* $，将经典公式推广到树设置。
• 使用算子 $ R_c = \sum_{n=0}^\infty (c\alpha)^n(\alpha^*c^*)^n $ 定义 Blaschke 因子，并证明其酉性。

实验结果

研究问题

• RQ1 如何将施瓦茨乘子和德布兰斯-罗夫尼亚克空间的经典理论推广到齐次树上的多尺度设置？
• RQ2 在此基于树的框架中，点值评估和柯西公式的适当非交换类比是什么？
• RQ3 在非平稳、非交换设置中，施瓦茨乘子能否被实现为输入-状态-输出系统的转移函数？
• RQ4 Blaschke 因子在基于树的 Hardy 空间中插值函数零点集时起什么作用？
• RQ5 树上原始移位算子之间的库恩茨关系如何促成施瓦茨函数的共等距实现？

主要发现

• 本文在齐次树上构造了一个再生核希尔伯特空间，通过非交换幂级数和核表示，使得柯西公式成立。
• 证明了与施瓦茨函数 $ s $ 相关的德布兰斯-罗夫尼亚克空间共形等距同构于空间 $ \sqrt{\mathcal{B}_s}\mathbf{H}_2 $，其中 $ \mathcal{B}_s = I - M_sM_s^* $。
• 施瓦茨函数 $ s(z) $ 允许共等距实现 $ s(z) = D + zC(I-zA)^{-1}B $，其中算子矩阵 $ \begin{pmatrix} A & B \\ C & D \end{pmatrix} $ 是一个共等距算子。
• Blaschke 因子 $ B_c $ 是酉算子，且满足 $ B_c^\wedge(c) = 0 $，为在 $ c \in \mathbb{B}(\mathcal{T}) $ 处为零的函数提供了函数模型。
• 当且仅当存在某个 $ G \in \mathbf{H}_2(\mathcal{T})^q $ 满足 $ \|G\|_2 = \|F\|_2 $ 时，函数 $ F \in \mathbf{H}_2(\mathcal{T}) $ 满足 $ F^\wedge(c) = 0 $，即 $ F = B_c \cdot G $。
• 算子 $ R_c = \sum_{n=0}^\infty (c\alpha)^n(\alpha^*c^*)^n $ 严格正定，且满足 $ R_c = I + c(\alpha R_c \alpha^*)c^* $，从而支持 Blaschke 因子的构造。