[논문 리뷰] Multiparametric Dissipative Linear Stationary Dynamical Scattering Systems: Discrete Case

Dmitriy S. Kalyuzhniy|ArXiv.org|1998. 04. 28.

Spectral Theory in Mathematical Physics참고 문헌 18인용 수 25

한 줄 요약

이 논문은 이산 시간 $ t \in \mathbb{Z}^N $ 에서 다중매개변수 분산성 및 보존성 선형 정적 산란 시스템을 도입하며, 다중매개변수 Lax-Phillips 반군을 통해 일차원 시스템을 일반화한다. 또한 다항체 $ \mathbb{D}^N $ 에서 유계 연산자 값을 갖는 해석적 연산자 값 함수가 보존성 다중매개변수 산란 시스템의 전이 함수임을 보여주는 Agler 유형의 정리를 수립한다.

ABSTRACT

We propose the new generalization of linear stationary dynamical systems with discrete time $t\in\mathbb{Z}$ to the case $t\in space{Z}{N}$. The dynamics of such a system can be reproduced by means of its associated multiparametric Lax-Phillips semigroup. We define multiparametric passive, and conservative scattering systems and interpret them in terms of operator colligations, of the associated semigroup and of "energetic" relations for system data. We prove the Agler's type theorem describing the class of holomorphic operator-valued functions on the polydisc $ space{D}{N}$ that are the transfer functions of multiparametric conservative scattering systems. Keywords: Passive systems, multiparametric Lax-Phillips semigroup, generalized Schur class, conservative realizations

연구 동기 및 목표

• 일차원 선형 정적 동적 시스템(LSDS)을 이산적 $ N $-차원 시간 $ t \in \mathbb{Z}^N $ 로 일반화한다.
• 연산자 결합과 에너지 관계를 이용하여 다중매개변수 분산성 및 보존성 산란 시스템을 정의한다.
• 보존성 시스템의 전이 함수로 나타나는 다항체 $ \mathbb{D}^N $ 상의 해석적 연산자 값 함수의 집합을 특성화한다.
• 다중매개변수 시스템의 맥락에서 일반화된 Schur 클래스에 대해 Agler의 정리의 다차원 해석을 수립한다.

제안 방법

• 시간 진동수 $ N $-튜플에 따른 시스템 방정식을 통해 다중매개변수 LSDS를 도입한다: $ x(t + e_k) = A_k x(t) + B_k u(t) $, $ y(t) = C_k x(t) + D_k u(t) $, $ k = 1, \dots, N $.
• 상태공간 $ \mathcal{X} \oplus \mathcal{N}^- $ 에서 작용하는 시스템 행렬 $ G = \begin{pmatrix} A & B \\ C & D \end{pmatrix} $ 를 정의하고, 분산성 시스템에 대해 수축성 조건($ G^*G \leq I $)과 보존성 시스템에 대해 유니터리 조건($ G^*G = I, GG^* = I $)을 부과한다.
• 다중매개변수 Lax-Phillips 반군을 도입하여 $ N $개의 가환 연산자 $ A_k $ 의 공동 작용을 통해 동역학을 표현하며, 고전적 경우의 일매개변수 반군을 일반화한다.
• 연산자 결합 이론을 활용하여 시스템 데이터를 해석하고 에너지 보존/소산 항등식을 유도한다.
• 일반화된 Schur 클래스 프레임워크를 적용하여 다항체 $ \mathbb{D}^N $ 상의 해석적 연산자 값 함수를 특성화하고, 전이 함수 $ \theta(z) = D + zC(I - zA)^{-1}B $ 로 식별한다.
• 모든 함수가 일반화된 Schur 클래스 $ S_N^0(\mathcal{N}^-, \mathcal{N}^+) $ 에 속하는 경우, 밀접하게 연결된 유니터리 결합을 통해 보존적 실현이 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 일차원 선형 정적 동적 시스템을 이산적 $ N $-차원 시간 $ \mathbb{Z}^N $ 로 일반화할 수 있는가?
• RQ2 연산자 결합과 에너지 균형을 기반으로 다중매개변수 분산성 및 보존성 산란 시스템을 정의하는 조건은 무엇인가?
• RQ3 다항체 $ \mathbb{D}^N $ 상에서 어떤 해석적 연산자 값 함수가 보존성 다중매개변수 시스템의 전이 함수로 나타나는가?
• RQ4 주어진 함수에 대해 일반화된 Schur 클래스 내에서 보존적 실현이 얼마나 유일한가?
• RQ5 다중매개변수 Lax-Phillips 반군의 구조는 산란 이론에서 고전적 일매개변수 반군을 어떻게 일반화하는가?

주요 결과

• 다항체 $ \mathbb{D}^N $ 상에서 $ \mathcal{N}^- $ 에서 $ \mathcal{N}^+ $ 로의 유계 연산자 값을 갖는 모든 해석적 연산자 값 함수 $ \theta(z) $ 는 보존성 다중매개변수 산란 시스템의 전이 함수이다.
• 모든 이러한 $ \theta $ 에 대해 보존적 실현이 존재하며, 이를 밀접하게 연결된 형태로 선택할 수 있다. 즉, 상태공간은 시스템 연산자에 의해 입력 및 출력 공간의 공동 궤도의 닫힌 선형 생성물로 구성된다.
• 보존적 실현의 상태공간 차원은 유일하지 않다: 논문은 동일한 함수 $ \theta(z) = z_1 z_2 $ 에 대해 상태공간 차원이 1인 실현과 차원이 3인 실현을 각각 구성한다.
• 최소 보존적 실현은 유니터리 동치를 제외하고 유일하며, 동일한 전이 함수를 갖는 보존 시스템을 지지할 수 있는 진부분공간은 존재하지 않는다.
• 시스템 행렬 $ G $ 는 $ N $-토러스 $ \mathbb{T}^N $ 에서 유니터리이며, 다중매개변수 설정에서 에너지 보존을 보장한다.
• 전이 함수는 $ \theta(z) = D + zC(I - zA)^{-1}B $ 의 공식으로 주어지며, 여기서 $ z = (z_1, \dots, z_N) $ 이고, $ z \in \mathbb{D}^N $ 에서 리졸베이트는 잘 정의되어 있다.