[论文解读] A note on interpolation in the generalized Schur class

Daniel Alpay, T. Constantinescu+2 more|ArXiv.org|Aug 7, 2000

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

一句话总结

本文建立了庞特里亚金空间上算子耦合的实现理论，用于研究广义施瓦茨类中的插值与因式分解问题。它提出了函数为广义施瓦茨函数限制的判别准则，将再生核中的负平方数与系数矩阵的惯性联系起来，并利用谱理论与核分解方法解决了不定的卡拉西奥多里-费杰插值问题。

ABSTRACT

Realization theory for operator colligations on Pontryagin spaces is used to study interpolation and factorization in generalized Schur classes. Several criteria are derived which imply that a given function is almost the restriction of a generalized Schur function. The role of realization theory in coefficient problems is also discussed.

研究动机与目标

• 发展庞特里亚金空间上算子耦合的实现理论，以分析广义施瓦茨类中的插值与因式分解问题。
• 推导出定义在单位圆盘子集上的函数为广义施瓦茨函数限制的充要条件。
• 将规范实现中再生核的负（正）平方数与由泰勒系数导出的矩阵惯性联系起来。
• 在广义施瓦茨类框架下，利用实现理论求解不定的卡拉西奥多里-费杰插值问题。
• 将经典关于Blaschke序列与核非负性的结果推广至不定（庞特里亚金空间）情形。

提出的方法

• 利用庞特里亚金空间上算子耦合的实现理论，通过等距、共等距与酉耦合表示广义施瓦茨函数。
• 应用谱定理将核算子 $ P $ 分解为正、负与零谱子空间，以分析负平方数的个数。
• 通过 $ H^2_{\mathfrak{F}}/\ker P $ 的商与完备化，从核 $ K(w,z) = \sum_{m,n=0}^\infty C_{mn} z^m \bar{w}^n $ 构造一个再生核庞特里亚金空间 $ \mathfrak{K} $。
• 利用柯西型表示 $ K(w,z) = A(w)^* A(z) $ 表示核，其中 $ A(z) = \sum_{m=0}^\infty A_m z^m $，且 $ A_m $ 取值于一个指标为 $ \kappa $ 的庞特里亚金空间。
• 利用核的负平方数在子区域上限制下保持不变的性质，将问题约化为原点附近的局部邻域分析。
• 应用 [3, 定理 1.1.3] 确保矩阵核 $ C(m,n) = C_{mn} $ 存在唯一的再生核庞特里亚金空间 $ \mathfrak{H}_C $，从而实现对系数矩阵的谱分析。

实验结果

研究问题

• RQ1 在何种条件下，定义在子集 $ \Omega \subset \mathbb{D} $ 上的函数是广义施瓦茨类 $ \mathbf{S}_\kappa $ 中某函数的限制？
• RQ2 再生核 $ K_S(w,z) = \frac{1 - S(z)S(w)^*}{1 - z\bar{w}} $ 的负平方数个数如何与 $ S $ 的泰勒展开所导出的系数矩阵的惯性相关？
• RQ3 能否在广义施瓦茨类框架下，利用实现理论求解不定的卡拉西奥多里-费杰插值问题？
• RQ4 Blaschke序列在刻画具有一个负平方核的函数是否为 $ \mathbf{S}_1 $ 函数限制时起何作用？
• RQ5 广义施瓦茨函数的规范实现（共等距、等距、酉）如何反映其关联再生核中负（正）平方数的个数？

主要发现

• 定义在子集 $ \Omega \subset \mathbb{D} $ 上的函数 $ S(z) $ 是 $ \mathbf{S}_1 $ 中某函数的限制，当且仅当 $ \Omega \setminus \{w_0\} $ 是一个Blaschke序列。
• 核 $ K_S $ 的负平方数个数恰好为 $ \kappa $，当且仅当对所有充分大的 $ r $，矩阵 $ (C_{mn})_{m,n=0}^r $ 恰好有 $ \kappa $ 个负特征值，且对所有 $ r $ 至多有 $ \kappa $ 个负特征值。
• 广义施瓦茨函数的规范共等距、等距与酉实现，其再生核的负（正）平方数个数等于系数矩阵 $ (C_{mn}) $ 的负（正）特征值个数。
• 通过谱分解与核实现方法，构造出泰勒系数与给定数据匹配的广义施瓦茨函数，从而求解了不定的卡拉西奥多里-费杰插值问题。
• 核 $ K_S $ 的负平方数个数在限制到子区域时保持不变，这使得问题可约化为原点附近的局部分析。
• 将 $ K(w,z) $ 实现为 $ A(w)^* A(z) $，其中 $ A(z) = \sum A_m z^m $，且 $ A_m $ 是指标为 $ \kappa $ 的庞特里亚金空间上的算子，可保证 $ \mathrm{sq}_- K = \kappa $。