[논문 리뷰] A note on interpolation in the generalized Schur class

Daniel Alpay, T. Constantinescu외 2명|ArXiv.org|2000. 08. 07.

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.

연구 동기 및 목표

• 펀트리아긴 공간 위의 연산자 콜리게이션에 대한 실현 이론을 개발하여 일반화된 슈어 클래스에서의 보간과 인수분해를 분석한다.
• 단위 원판의 부분집합에서 정의된 함수가 일반화된 슈어 함수의 제한임이 되는 필요 및 충분 조건을 도출한다.
• 표준 실현에서 재생핵의 음의(양의) 제곱 수를 타일러 계수에서 유도된 행렬의 관성과 연결한다.
• 실현 이론을 활용하여 일반화된 슈어 클래스 프레임워크 내에서 부정확한 카라테오도리-페지어 보간 문제를 해결한다.
• 클래식한 블라시크 수열과 핵의 비음성에 관한 결과를 부정확한(펀트리아긴 공간) 설정으로 확장한다.

제안 방법

• 펀트리아긴 공간 위의 연산자 콜리게이션에 대한 실현 이론을 활용하여 일반화된 슈어 함수를 등거리, 코등거리, 유니터리 콜리게이션을 통해 표현한다.
• 스펙트럼 정리를 적용하여 핵 연산자 $ P $를 양의, 음의, 영 스펙트럼 부분공간으로 분해하여 음의 제곱 수를 분석한다.
• 완비화 및 몫을 통한 $ H^2_{\mathfrak{F}}/\ker P $를 이용해 핵 $ K(w,z) = \sum_{m,n=0}^\infty C_{mn} z^m \bar{w}^n $ 로부터 재생핵 펀트리아긴 공간 $ \mathfrak{K} $ 를 구성한다.
• Cauchy 유사 표현을 사용하여 핵을 $ K(w,z) = A(w)^* A(z) $ 로 표현하며, 여기서 $ A(z) = \sum_{m=0}^\infty A_m z^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}} $ 의 음의 제곱 수는 타일러 전개에서 유도된 계수 행렬의 관성과 어떻게 관련이 있는가?
• RQ3 실현 이론을 활용하여 일반화된 슈어 클래스 프레임워크 내에서 부정확한 카라테오도리-페지어 보간 문제를 해결할 수 있는가?
• RQ4 한 개의 음의 제곱 핵을 가진 함수가 $ \mathbf{S}_1 $ 함수의 제한임을 특징짓는 데서 블라시크 수열의 역할은 무엇인가?
• RQ5 일반화된 슈어 함수의 표준 실현(코등거리, 등거리, 유니터리)은 관련된 재생핵의 음의(양의) 제곱 수를 어떻게 반영하는가?

주요 결과

• 집합 $ \Omega \subset \mathbb{D} $ 에서 정의된 함수 $ S(z) $ 가 $ \mathbf{S}_1 $ 의 원소의 제한임과 동치인 조건은 $ \Omega \setminus \{w_0\} $ 가 블라시크 수열임이다.
• 핵 $ K_S $ 의 음의 제곱 수가 정확히 $ \kappa $ 인 것은 모든 충분히 큰 $ r $ 에 대해 행렬 $ (C_{mn})_{m,n=0}^r $ 이 정확히 $ \kappa $ 개의 음의 고유값을 가지며, 모든 $ r $ 에 대해 최대 $ \kappa $ 개의 음의 고유값을 가짐과 동치이다.
• 일반화된 슈어 함수의 표준 코등거리, 등거리, 유니터리 실현은 재생핵의 음의(양의) 제곱 수가 계수 행렬 $ (C_{mn}) $ 의 음의(양의) 고유값 수와 정확히 일치함을 보여준다.
• 부정확한 카라테오도리-페지어 문제는 스펙트럼 분해와 핵 실현을 이용하여 주어진 데이터와 일치하는 타일러 계수를 가진 일반화된 슈어 함수를 구성함으로써 해결된다.
• 핵 $ K_S $ 의 음의 제곱 수는 부분영역으로의 제한에 대해 불변이므로, 문제를 원점 근처의 국소 분석으로 축소할 수 있다.
• 행렬 $ A_m $ 가 인덱스 $ \kappa $ 를 가진 펀트리아긴 공간에서 정의된 연산자인 $ A(z) = \sum A_m z^m $ 를 사용하여 $ K(w,z) $ 를 $ A(w)^* A(z) $ 로 실현하면 $ \mathrm{sq}_- K = \kappa $ 가 보장된다.