[论文解读] Abstract interpolation problem in generalized Schur classes

Dmytro Baidiuk|arXiv (Cornell University)|Mar 17, 2014

Holomorphic and Operator Theory参考文献 6被引用 3

一句话总结

本文引入了广义 Schur 类中抽象插值问题的不定变体，将其约化为模型 Pontryagin 空间等距算子 $V$ 的扩展问题。它建立了解与 $\mathfrak{L}$-正则酉扩展 $U$ 的一个子类之间的一一对应关系，这些扩展通过不定 de Branges-Rovnyak 空间 $\mathcal{D}(s)$ 上的酉共轭实现，利用特征函数对解进行了完全参数化。

ABSTRACT

An indefinite variant of the abstract interpolation problem is considered. Associated to this problem is a model Pontryagin space isometric operator V. All the solutions of the problem are shown to be in a one-to-one correspondence with a subset of the set of all unitary extenions U of V. These unitary extension U of V are realized as unitary colligations with the indefinite de Branges-Rovnyak space as a state space.

研究动机与目标

• 将抽象插值框架扩展到使用广义 Schur 类的不定设定。
• 在 Pontryagin 空间中，通过等距算子 $V$ 的酉扩展表征抽象插值问题 $AIP(\kappa)$ 的解。
• 识别出参数化 $AIP(\kappa)$ 所有解的 $\mathfrak{L}$-正则酉扩展的子类。
• 将这些酉扩展实现为以不定 de Branges-Rovnyak 空间 $\mathcal{D}(s)$ 为状态空间的酉共轭。
• 利用特征函数和算子理论构造，提供解的完全参数化。

提出的方法

• 将不定抽象插值问题 $AIP(\kappa)$ 约化为 Pontryagin 空间中模型等距算子 $V$ 的扩展问题。
• 通过涉及 $C(M - \lambda N)^{-1}$ 的核条件，表征解为 $\mathfrak{L}$-正则酉扩展 $U$ 的形式。
• 将酉扩展 $U$ 实现为状态空间为 $\mathcal{D}(s)$ 的酉共轭 $\Delta = (\mathcal{H}, \mathfrak{L}_2, \mathfrak{L}_1; U)$，即不定 de Branges-Rovnyak 空间。
• 利用共轭的特征函数 $s(\lambda)$ 通过 $s(\lambda) = (w_{11}\varepsilon + w_{12})(w_{21}\varepsilon + w_{22})^{-1}$ 参数化解，其中 $\varepsilon \in S(\mathfrak{L}_2, \mathfrak{L}_1)$。
• 应用酉共轭理论和再生核空间的结果，确保解集被完整描述。
• 利用 $W(\lambda)$ 在单位圆上的 $J$-酉性质及谱条件，确保 $s(\lambda) \in \mathcal{P}_\kappa(J)$。

实验结果

研究问题

• RQ1 如何将经典 Schur 类中的抽象插值问题推广到具有负指标 $\kappa$ 的不定设定？
• RQ2 哪类等距算子 $V$ 的酉扩展恰好对应于不定 $AIP(\kappa)$ 的解？
• RQ3 如何在 Pontryagin 空间中，通过算子共轭和特征函数参数化 $AIP(\kappa)$ 的解集？
• RQ4 不定 de Branges-Rovnyak 空间 $\mathcal{D}(s)$ 在实现酉共轭和表征解中起什么作用？
• RQ5 在什么条件下，共轭的特征函数 $W(\lambda)$ 确保 $s(\lambda) \in \mathcal{U}_\kappa(J)$？

主要发现

• 问题 $AIP(\kappa)$ 的解与模型等距算子 $V$ 的 $\mathfrak{L}$-正则酉扩展 $U$ 之间存在一一对应关系。
• 解集由 $s(\lambda) = (w_{11}\varepsilon + w_{12})(w_{21}\varepsilon + w_{22})^{-1}$ 参数化，其中 $\varepsilon$ 取遍 $S(\mathfrak{L}_2, \mathfrak{L}_1)$，且 $w_{21}(0)\varepsilon(0) + w_{22}(0)$ 可逆。
• 映射 $\Phi: \mathcal{H} \to \mathcal{D}(s)$ 由 $\Phi(t) = \begin{bmatrix} I & -s(t) \\ -s^*(t) & I \end{bmatrix} C(M - tN)^{-1}$ 唯一定义，对所有 $t \in \mathbb{T}$ 成立。
• 当且仅当 $\bigcap_{\lambda \in \rho(M,N)} \ker C(M - \lambda N)^{-1} = \{0\}$ 时，特征函数 $s(\lambda)$ 属于 $\mathcal{P}_\kappa(J)$。
• 若 $m(\sigma(M,N) \cap \mathbb{T}) = 0$，则 $W(\lambda)$ 几乎处处在 $\mathbb{T}$ 上为 $J$-酉，从而保证 $s(\lambda) \in \mathcal{U}_\kappa(J)$。
• 解 $s(\lambda)$ 在 $0$ 的邻域内全纯，且属于 $S_\kappa(\mathfrak{L}_2, \mathfrak{L}_1)$，其中酉算子 $U$ 为 $({\mathfrak{L}}_2,{\mathfrak{L}}_1)$-正则。