[논문 리뷰] Right and Left Joint System Representation of a Rational Matrix Function in General Position (System Representation Theory for Dummies)

Victor Katsnelson|ArXiv.org|2007. 06. 12.

Matrix Theory and Algorithms참고 문헌 28인용 수 7

한 줄 요약

이 논문은 일반 위치에 있는 유리 행렬 함수에 대해 극점과 영점 행렬, 그리고 반잔여 행렬을 사용하여 이변수 함수 $ R(x)R^{-1}(y) $ 및 $ R^{-1}(x)R(y) $ 를 위한 새로운 통합 右 및 左 시스템 표현을 제안한다. 주요 기여는 상호 역행인 커플링 행렬 $ S^r $ 와 $ S^l $ 에 대해 실현 가능한 표현을 얻기 위해 실시된 실수형 실현의 명시적 유도이다. 이는 실수형 분해 및 변형 이론에 대한 새로운 프레임워크를 제공한다.

ABSTRACT

For a rational matrix function R of one variable in general position, the matrix functions R(x)/R(y) and R(y)\R(x) of two variables are considered. For these matrix functions of two variables, representations which are analogous to the system representations (or realizations) of a rational matrix function of one variable are constructed. This representation is called the joint right [the joint left] system representation.

연구 동기 및 목표

• 일般 위치에 있는 유리 행렬 함수를 위한 새로운 시스템 표현 이론을 개발하여 스칼라 유리 함수 분해를 행렬의 경우로 확장한다.
• 단일 변수 유리 함수의 표준 시스템 실현과 유사하게, 두 변수 행렬 함수 $ R(x)R^{-1}(y) $ 및 $ R^{-1}(x)R(y) $ 의 명시적 실현을 구성한다.
• 극점과 영점 행렬, 반잔여 행렬, 그리고 커플링 행렬 $ S^r $ 과 $ S^l $ 을 사용하여 右 및 左 통합 시스템 표현을 도입하고 분석한다.
• 상호 역행성 $ S^r S^l = S^l S^r = I $ 을 통한 右 및 左 표현 간의 이중성 관계를 확립하여 구조적 대칭성을 강조한다.
• 푸크시안 시스템의 변형 이론 및 유리 행렬 함수의 스펙트럼(위너-홉프) 분해에 응용을 위한 기초를 마련한다.

제안 방법

• 이 방법은 극점과 영점 행렬 $ A_{/cal P} $, $ A_{/cal N} $ 과 반잔여 행렬 $ F_{/cal P}, G_{/cal P}, F_{/cal N}, G_{/cal N} $ 을 사용하여 $ R(z) $ 와 $ R^{-1}(z) $ 의 덧셈 분해를 구성한다.
• 통합 右 시스템 표현은 $ R(x)R^{-1}(y) = I + (x-y)F_{/cal P}(xI - A_{/cal P})^{-1}(S^r)^{-1}(yI - A_{/cal N})^{-1}G_{/cal N} $ 로 유도되며, 여기서 $ S^r $ 은 실시-리아푸노프 방정식을 만족한다.
• 통합 左 시스템 표현은 $ R^{-1}(x)R(y) = I + (x-y)F_{/cal N}(xI - A_{/cal N})^{-1}(S^l)^{-1}(yI - A_{/cal P})^{-1}G_{/cal P} $ 로 주어지며, $ S^l $ 은 쌍대 실시-리아푸노프 방정식을 만족한다.
• 커플링 행렬 $ S^r $ 과 $ S^l $ 이 시스템 방정식에서 유도된 항등식 $ S^r S^l = S^l S^r = I $ 를 통해 상호 역행임을 보였다.
• 이 접근법은 고전적 실현 이론을 기반으로 하지만, 특히 영점-극점 커플링의 맥락에서 右 및 左 표현 간의 이중성에 새로운 중점을 두었다.
• 이 프레임워크는 스펙트럼 분해에 적용되었으며, 실현 표현에서 유도된 명시적 공식이 도출되었고, 사크노비치, 고흐버그, 리브시크의 문헌에서 알려진 결과들과 연결되었다.

실험 결과

연구 질문

• RQ1 두 변수 행렬 함수 $ R(x)R^{-1}(y) $ 와 $ R^{-1}(x)R(y) $ 는 표준 유리 함수 실현과 유사한 시스템 이론적 형태로 어떻게 표현할 수 있는가?
• RQ2 극점과 영점 행렬 $ A_{/cal P} $, $ A_{/cal N} $ 과 반잔여 행렬 $ F_{/cal P}, G_{/cal P}, F_{/cal N}, G_{/cal N} $ 이 통합 시스템 표현을 구성하는 데 어떤 역할을 하는가?
• RQ3 우측 및 좌측 커플링 행렬 $ S^r $ 과 $ S^l $ 은 어떻게 정의되며, 유리 행렬 함수의 맥락에서 그 구조적 관계는 무엇인가?
• RQ4 통합 시스템 표현을 통해 유리 행렬 함수의 스펙트럼(위너-홉프) 분해에 대한 명시적 공식을 도출할 수 있는가?
• RQ5 상호 역행성 $ S^r S^l = S^l S^r = I $ 의 의미는 무엇이며, 이는 우측 및 좌측 표현 간의 이중성을 어떻게 반영하는가?

주요 결과

• 행렬 함수 $ R(x)R^{-1}(y) $ 의 통합 右 시스템 표현은 $ I + (x-y)F_{/cal P}(xI - A_{/cal P})^{-1}(S^r)^{-1}(yI - A_{/cal N})^{-1}G_{/cal N} $ 로 명시적으로 구성되었으며, 여기서 $ S^r $ 은 실시-리아푸노프 방정식을 만족한다.
• 행렬 함수 $ R^{-1}(x)R(y) $ 의 통합 左 시스템 표현은 $ I + (x-y)F_{/cal N}(xI - A_{/cal N})^{-1}(S^l)^{-1}(yI - A_{/cal P})^{-1}G_{/cal P} $ 로 주어지며, $ S^l $ 은 쌍대 방정식을 만족한다.
• 커플링 행렬 $ S^r $ 과 $ S^l $ 이 상호 역행임을 입증하였다: $ S^r S^l = S^l S^r = I $ 로서, 이는 右 및 左 표현 간의 일관성을 보장한다.
• 이 방법은 기존의 유리 행렬 함수 실현에 대한 결과를 새로운 방식으로 자립적으로 유도하며, 실현 이론에 대한 사전 지식이 없이도 이중성과 구조적 대칭성을 강조한다.
• 이 프레임워크는 커플링 행렬을 통해 요소를 표현함으로써 유리 행렬 함수의 스펙트럼 분해를 지원하며, 명시적 공식이 실현 표현에서 도출된다.
• 논문은 시스템 표현과 고전적 모멘트 문제 및 구조적 행렬 역행렬 이론 간의 연결 고리를 확립하였으며, 리브시크와 사크노비치가 이론 발전에 핵심적인 역할을 했다는 점을 부각시켰다.