[論文レビュー] Abstract interpolation problem in generalized Schur classes

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

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

ひとこと要約

本稿は一般化されたシュールクラスにおける抽象的補間問題の不定的バージョンを導入し、モデルのポントリャーギン空間等長作用素 $V$ の拡張問題に還元する。解と $\mathfrak{L}$-正則ユニタリ拡張 $U$ の部分クラスの間の一対一対応を確立し、不定的デブランジュ＝ロブニャク空間 $\mathcal{D}(s)$ を状態空間とするユニタリコリゲーションとして実現することで、特性関数を用いた解の完全なパrametrizationを提供する。

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.

研究の動機と目的

• 一般化されたシュールクラスを用いた不定的設定への抽象的補間フレームワークの拡張を目的とする。
• ポントリャーギン空間における等長作用素 $V$ のユニタリ拡張の観点から、抽象的補間問題 $AIP(\kappa)$ の解を特徴づけること。
• $AIP(\kappa)$ のすべての解をパラメータ化する $\mathfrak{L}$-正則ユニタリ拡張の部分クラスを同定すること。
• ユニタリコリゲーションとして、状態空間としての不定的デブランジュ＝ロブニャク空間 $\mathcal{D}(s)$ を用いてこれらのユニタリ拡張を実現すること。
• 特性関数と作用素論的構成を用いて、解の完全なパラメータ化を提供すること。

提案手法

• 不定的抽象的補間問題 $AIP(\kappa)$ を、ポントリャーギン空間におけるモデル等長作用素 $V$ の拡張問題に還元する。
• 解を $V$ の $\mathfrak{L}$-正則ユニタリ拡張 $U$ を通じて特定し、$C(M - \lambda N)^{-1}$ を含むカーネル条件によって特徴づける。
• ユニタリ拡張 $U$ を、状態空間 $\mathcal{D}(s)$（不定的デブランジュ＝ロブニャク空間）を用いたユニタリコリゲーション $\Delta = (\mathcal{H}, \mathfrak{L}_2, \mathfrak{L}_1; U)$ として実現する。
• コリゲーションの特性関数 $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 古典的なシュールクラスにおける抽象的補間問題を、負のインデックス $\kappa$ を持つ不定的設定にどのように一般化できるか？
• RQ2 モデル等長作用素 $V$ のどのクラスのユニタリ拡張が、不定的 $AIP(\kappa)$ の解にちょうど一致するか？
• RQ3 $AIP(\kappa)$ の解集合を、ポントリャーギン空間における作用素コリゲーションと特性関数の観点からどのようにパラメータ化できるか？
• RQ4 不定的デブランジュ＝ロブニャク空間 $\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)$ が可逆である。
• $\mathcal{H} \to \mathcal{D}(s)$ の写像 $\Phi$ は、$t \in \mathbb{T}$ に対して $\Phi(t) = \begin{bmatrix} I & -s(t) \\ -s^*(t) & I \end{bmatrix} C(M - tN)^{-1}$ で一意に定義される。
• 特性関数 $s(\lambda)$ が $\mathcal{P}_\kappa(J)$ に属するための必要十分条件は、$\bigcap_{\lambda \in \rho(M,N)} \ker C(M - \lambda N)^{-1} = \{0\}$ である。
• $\sigma(M,N)$ と $\mathbb{T}$ の交わりの測度 $m(\sigma(M,N) \cap \mathbb{T}) = 0$ ならば、$W(\lambda)$ は $\mathbb{T}$ 上 almost everywhere で $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)$-正則である。