[论文解读] From Stinespring dilation to Sz.-Nagy dilation on the symmetrized bidisc and operator models

Sourav Pal|arXiv (Cornell University)|Oct 15, 2013

Holomorphic and Operator Theory参考文献 18被引用 11

一句话总结

本文基于Stinespring扩张构造了$ Gamma$-收缩$(S,P)$的显式正常$b\Gamma$-扩张（Sz.-Nagy扩张），并证明该扩张空间等于$P$的最小酉扩张空间。文章建立了$(S,P)$的显式函数模型，将模型空间识别为$H^2(\mathcal{D}_V)$，模型算子为具有Toeplitz型结构的算子，其中$(S^*,P^*)$的基本算子在构造中起关键作用。

ABSTRACT

We provide an explicit normal distinguished boundary dilation to a pair of commuting operators $(S,P)$ having the closed symmetrized bidisc $Γ$ as a spectral set. This is called Sz.-Nagy dilation of $(S,P)$. The operator pair that dilates $(S,P)$ is obtained by an application of Stinespring dilation of $(S,P)$ given by Agler and Young. We further prove that the dilation is minimal and the dilation space is no bigger than the dilation space of the minimal unitary dilation of the contraction $P$. We also describe model space and model operators for such a pair $(S,P)$.

研究动机与目标

• 基于Stinespring扩张框架，为$\Gamma$-收缩$(S,P)$显式构造一个正常$b\Gamma$-扩张（Sz.-Nagy扩张）
• 证明该扩张空间不大于$P$的最小酉扩张空间，从而实现扩张空间的最小化
• 通过明确定义模型空间与模型算子，为$\Gamma$-收缩提供显式函数模型
• 通过将扩张空间正交分解为$\Gamma$-酉部分与纯$\Gamma$-共等距部分，刻画扩张的结构
• 建立模型的纯部分与$H^2(\mathcal{D}_V)$上Toeplitz算子之间的酉等价关系，其中$\mathcal{D}_V$的维数与$\mathcal{D}_P$相同

提出的方法

• 利用Agler与Young的刻画方法，通过$\mathcal{K} = \ell^2(\mathcal{D}_P) \oplus \mathcal{H} \oplus \ell^2(\mathcal{D}_{P^*})$的算子矩阵形式，对$(S,P)$应用Stinespring扩张
• 通过求解基本算子方程$S - S^*P = D_P X D_P$与$S^* - S P^* = D_{P^*} X_* D_{P^*}$，显式构造扩张算子$\tilde{S}$与$\tilde{P}$
• 识别$\tilde{P}$为$P$的最小酉扩张，确保其最小性，并与$P$的最小酉扩张空间一致
• 利用$P^*$的等距扩张，定义模型空间$\mathcal{K}_* = \mathcal{H} \oplus \mathcal{D}_{P^*} \oplus \mathcal{D}_{P^*} \oplus \cdots$，该空间酉等价于$H^2(\mathcal{D}_V)$
• 在$\mathcal{K}_*$上定义模型算子$T$与$V$为无限块矩阵，其中$(S^*,P^*)$的基本算子$F_*$决定其右上角块
• 应用$\Gamma$-等距与$\Gamma$-共等距理论，将模型空间分解为可约不变子空间，从而分离出酉部分与纯部分

实验结果

研究问题

• RQ1 能否以Stinespring扩张为起点，为任意$\Gamma$-收缩$(S,P)$显式构造一个最小化的正常$b\Gamma$-扩张？
• RQ2 是否$\Gamma$-收缩$(S,P)$的扩张空间不大于$P$的最小酉扩张空间？
• RQ3 $\Gamma$-收缩的函数模型的精确结构是什么？如何显式描述模型空间与算子？
• RQ4 $(S^*,P^*)$的基本算子如何影响函数模型中模型算子的构造？
• RQ5 模型的纯部分是否酉等价于$H^2(\mathcal{D}_V)$上的Toeplitz算子？$\mathcal{D}_V$在此等价关系中起什么作用？

主要发现

• $(S,P)$的扩张空间$\mathcal{K}$被显式实现为$\ell^2(\mathcal{D}_P) \oplus \mathcal{H} \oplus \ell^2(\mathcal{D}_{P^*})$，该空间与$P$的最小酉扩张空间一致，从而保证了扩张的最小性。
• $\tilde{P}$在扩张中正是$P$的最小酉扩张，确认了扩张空间的最小性与最优性。
• $(S^*,P^*)$的基本算子$F_*$被用于构造函数模型中的模型算子$T$与$V$，且$F_*$唯一满足算子方程$S^* - S P^* = D_{P^*} F_* D_{P^*}$。
• 模型空间$\mathcal{K}_*$允许正交分解为$\Gamma$-酉部分与纯$\Gamma$-共等距部分，其中后者酉等价于$H^2(\mathcal{D}_V)$。
• 模型的纯部分酉等价于$H^2(\mathcal{D}_V)$上的Toeplitz算子$T_{B + B^* \bar{z}}$与$T_{\bar{z}}$，其中$B$为模型的基本算子。
• 缺陷空间$\mathcal{D}_V$与$\mathcal{D}_P$具有相同的维数，确保了模型与原始收缩之间的一致性。