[논문 리뷰] Abstract interpolation problem in generalized Schur classes

Dmytro Baidiuk|arXiv (Cornell University)|2014. 03. 17.

Holomorphic and Operator Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 일반화된 슈어 클래스에서의 추상적 보간 문제의 무한정 변종을 제안하며, 이를 모델 폰트리아진 공간 등급 등급 연산자 $V$의 확장 문제로 환원한다. 해와 $\mathfrak{L}$-정규 유니터리 확장 $U$의 부분류 사이에 일대일 대응을 수립하며, 이는 무한정 드 브랑지-로브니악 공간 $\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.

연구 동기 및 목표

• 일반화된 슈어 클래스를 활용해 추상적 보간 프레임워크를 무한정 설정으로 확장하는 것.
• 폰트리아진 공간 내에서 등급 등급 연산자 $V$의 유니터리 확장에 따라 추상적 보간 문제 $AIP(\kappa)$의 해를 특성화하는 것.
• $AIP(\kappa)$의 모든 해를 매개변수화하는 $\mathfrak{L}$-정규 유니터리 확장의 부분류를 식별하는 것.
• 이러한 유니터리 확장을 무한정 드 브랑지-로브니악 공간 $\mathcal{D}(s)$를 상태 공간으로 사용하는 유니터리 콜리게이션 형태로 실현하는 것.
• 특성 함수와 연산 이론적 구성 수단을 통해 해의 완전한 매개변수화를 제공하는 것.

제안 방법

• 무한정 추상적 보간 문제 $AIP(\kappa)$를 폰트리아진 공간 내 모델 등급 등급 연산자 $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 무한정 $AIP(\kappa)$의 해와 정확히 일치하는 모델 등급 등급 연산자 $V$의 유니터리 확장의 클래스는 무엇인가?
• 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$는 $\Phi(t) = \begin{bmatrix} I & -s(t) \\ -s^*(t) & I \end{bmatrix} C(M - tN)^{-1}$로 $t \in \mathbb{T}$에서 유일하게 정의된다.
• 특성 함수 $s(\lambda)$가 $\mathcal{P}_\kappa(J)$에 속하는 것은 $\bigcap_{\lambda \in \rho(M,N)} \ker C(M - \lambda N)^{-1} = \{0\}$과 동치이다.
• $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)$-정규이다.