[논문 리뷰] Cascade Connections of Linear Systems and Factorizations of Holomorphic Operator Functions Around a Multiple Zero in Several Variables

Dmitriy S. Kalyuzhniy|ArXiv.org|2000. 02. 04.

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

한 줄 요약

이 논문은 여러 복소변수에서 원점에서 다重영점을 가진 해석적 연산자값 함수의 인수분해 기준을 수립한다. 특히 다항체 위의 Agler–Schur 클래스 내에서 이루어진다. 인수분해 문제의 가역성은 보존적 다매개변수 선형 시스템에서의 캐스케이드 분해의 존재성과 연결되며, 이러한 인수분해가 존재하는 것은 유일하고 필요충분 조건으로, 시스템의 주 연산자들에 대한 특정 스펙트럼 및 쌍대 조건을 만족하는 감소 불변 부분공간의 존재성과 관련이 있다.

ABSTRACT

We show that the factorization problem $θ(z)=θ_2(z)θ_1(z)$ is solvable in the class of Hilbert space operator-valued functions holomorphic on some neighbourhood of $z=0$ in $ space{C}{N}$ and having a zero at $z=0$ (here $θ(z)$ has a multiple zero at $z=0$). Such a factorization problem becomes more complicated if we demand for $θ(z), θ_1(z)$ and $θ_2(z)$ to be Agler--Schur-class functions on the polydisk $ space{D}{N}$ and for the factorization identity to hold in $ space{D}{N}$. In this case we reduce it to the problem on the existence of a cascade decomposition for certain multiparametric linear system $α$--a conservative realization of $θ(z)$, and give the criterion for its solvability in terms of common invariant subspaces for the $N$-tuple of main operators of $α$.

연구 동기 및 목표

• 원점에서 다중 영점을 가지며 복소수 N차원에서 정칙인 연산자값 함수에 대해 인수분해 문제 $\theta(z) = \theta_2(z)\theta_1(z)$ 의 가역성을 조사한다.
• 이 인수분해를 다항체 $\mathbb{D}^N$ 위의 Agler–Schur 클래스로 확장하여 도메인 전역에서 성립하도록 요구한다.
• 인수분해 문제를 보존적 다매개변수 선형 시스템에서의 캐스케이드 분해의 존재성으로 환원한다.
• 이 시스템의 $N$-튜플 주 연산자들에 대한 공통 불변 부분공간을 통해 가역성 조건을 특성화한다.
• 시스템의 유니터리 콜리게이션의 스펙트럼 및 쌍대 성질을 이용해 이러한 인수분해를 위한 필요충분 조건을 수립한다.

제안 방법

• 논문은 보존적 다매개변수 선형 시스템 $\alpha = (N; \mathbf{A}, \mathbf{B}, \mathbf{C}, \mathbf{D}; \mathcal{X}, \mathcal{U}, \mathcal{Y})$ 를 사용하여 해석적 연산자 함수를 전달 함수 $\theta_\alpha(z) = z\mathbf{D} + z\mathbf{C}(I - z\mathbf{A})^{-1}z\mathbf{B}$ 로 실현한다.
• Agler–Schur 클래스 $S_N^0(\mathcal{U}, \mathcal{Y})$ 는 $\mathbb{D}^N$ 에서 정칙이며, $z=0$ 에서 0이 되며, 모든 가환 수축 $\mathbf{T}$ 와 $r < 1$ 에 대해 $\|\theta(r\mathbf{T})\| \leq 1$ 을 만족하는 함수들의 집합이다.
• 핵심 방법은 보존적 시스템 $\alpha$ 를 두 개의 하위시스템 $\alpha^{(1)}$ 과 $\alpha^{(2)}$ 로 캐스케이드 분해할 수 있는지 여부로 인수분해 문제를 환원하는 것이다. 이때 $\theta = \theta_{\alpha^{(2)}} \theta_{\alpha^{(1)}}$ 이 성립한다.
• 논문은 상태공간 $\mathcal{X}_{cc}$ 가 시스템의 연산자들이 입력 및 출력 공간에 작용하여 생성하는 모든 벡터들의 닫힌 선형 생성물인, 서로 밀접하게 연결된 보존적 실현 $\alpha_{cc}$ 의 개념을 도입한다.
• 핵심 기술 도구는 주어진 $N$-튜플의 모든 $A_k^{(cc)}$ 에 대해 불변이면서, 콜리게이션 연산자 $\zeta\mathbf{G}_{\alpha_{cc}}$ 의 수반과 관련된 쌍대 조건을 만족하는 감소 불변 부분공간 $\mathcal{X}_{cc}^{(2)} \subset \mathcal{X}_{cc}$ 를 식별하는 것이다.
• 논문은 이러한 부분공간 $\mathcal{X}_{cc}^{(2)}$ 가 존재하는 것과 Agler–Schur 클래스 내에서 인수분해가 성립하는 것이 필요충분 조건임을 증명한다. 이를 위해 토러스 $\mathbb{T}^N$ 에서의 유니터리 콜리게이션의 구조와 스펙트럼 성질을 활용한다.

실험 결과

연구 질문

• RQ1 복소수 $N$차원에서 원점에서 다중 영점을 가지는 해석적 연산자값 함수 $\theta(z)$ 가 $\theta(z) = \theta_2(z)\theta_1(z)$ 로 인수분해될 수 있는 조건은 무엇인가? 이때 $\theta_1, \theta_2$ 는 다항체 $\mathbb{D}^N$ 에서의 Agler–Schur 클래스에 속해야 한다.
• RQ2 인수분해 문제는 보존적 다매개변수 선형 시스템의 구조와 어떻게 관련이 있는가?
• RQ3 이러한 인수분해가 존재하기 위해 만족해야 할 스펙트럼 및 불변 부분공간 조건은 무엇인가?
• RQ4 이러한 인수분해는 시스템의 상태공간의 캐스케이드 분해를 통해 실현될 수 있는가?
• RQ5 밀접하게 연결된 보존적 실현은 이러한 인수분해의 존재를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 다항체 $\mathbb{D}^N$ 에서의 Agler–Schur 클래스 내에서 인수분해 $\theta(z) = \theta_2(z)\theta_1(z)$ 가 가능할 조건은, $\theta(z)$ 의 보존적 실현 $\alpha_{cc}$ 가 주 연산자들 $\mathbf{A}_{cc}$ 에 대해 감소 불변 부분공간 $\mathcal{X}_{cc}^{(2)} \subset \mathcal{X}_{cc}$ 를 가진다 하는 것과 필요충분 조건이다.
• 부분공간 $\mathcal{X}_{cc}^{(2)}$ 는 모든 $A_k^{(cc)}$ 에 대해 불변이어야 하며, $\mathcal{V}_{cc} = (\zeta\mathbf{G}_{\alpha_{cc}})^*\mathcal{Y} \ominus \mathcal{X}_{cc}^{(2)}$ 라는 쌍대 조건도 만족해야 한다. 여기서 $\mathcal{V}_{cc}$ 는 $\mathcal{X}_{cc}^{(2)}$ 의 이미지에 대해 수반 콜리게이션의 여부공간이다.
• 이러한 부분공간 $\mathcal{X}_{cc}^{(2)}$ 의 존재성은 인수분해가 Agler–Schur 클래스 내에서 성립하기 위해 필수적이며 충분하다.
• 논문은 $\mathcal{X}_{cc}^{(2)} = \{0\}$ 인 경우에도 인수분해가 비자명할 수 있음을 보여주며, 이는 왼쪽 인수 $\theta_1$ 이 0이 아닌 선형 동차 함수일 수 있기 때문이다.
• 이 기준은 $\mathcal{X}_{cc}^{(2)} = \mathcal{X}_{cc} \cap \mathcal{X}^{(2)}$ 와 같은 $\mathcal{X}_{cc}^{(2)}$ 의 다양한 구성 방식에 대해 불변이며, 동일한 스펙트럼 및 쌍대 조건 하에서 여전히 유효하다.
• 이 결과는 유니터리 콜리게이션의 구조와 스펙트럼 성질을 활용하여 고전적 인수분해 이론을 다변수 설정으로 일반화한다.