[논문 리뷰] Overdetermined 2D Systems Invariant in One Direction and Their Transfer Functions

Andrey Melnikov, Victor Vinnikov|ArXiv.org|2008. 12. 19.

Nonlinear Waves and Solitons참고 문헌 13인용 수 9

한 줄 요약

이 논문은 한 변수(시간)에 대해 불변인 과다정의 2차원 시스템에 대한 선형 시스템 이론을 개발한다. 고전적인 1차원 시스템 이론을 일반화하며, 스펙트럼 매개변수를 포함하는 미분방정식의 해를 연결하는 전이 함수의 클래스 $\boldsymbol{\mathcal{I}}$를 도입한다. 이 전이 함수는 그의 극 삼중과 연결 조건으로부터 재구성 가능하며, Mittag-Leffler 유형의 실현 정리가 성립함을 보이며, 시간에 따라 변하는 2차원 시스템에 대한 인수분해 및 실현 이론을 확장한다.

ABSTRACT

In this work we develop a theory of Vessels. This object arises in the study of overdetermined 2D systems invariant in one of the variables, which are usually called time invariant. To each overdetermined time invariant 2D systems there is associated a vessel, which is a collection of system operators satisfying certain relations and vise versa. Such an invariance forces the theory of vessels to resemble a constant (classical) 1D case and as a result many notions are naturally redefined and most theorems are reproved in this setting. The notion of transfer function and its connection to the overdetermined 2D time invariant system (and the corresponding vessel) is one of the topics of this work. It is well known that multiplicative structure of a transfer function of a 1D system is closely connected to the decomposition of the state space into invariant subspaces of the state operator and we generalize this result to a wider class of functions. This class (denoted by $\boldsymbol {\mathcal I}$) arises as a class of transfer functions, which intertwine solutions of ODEs with spectral parameters. At the end we present solution of factorization problems for finite dimensional case.

연구 동기 및 목표

• 시간에 대해 불변인 과다정의 2차원 시스템에 대한 선형 시스템 이론 틀을 구축하여 고전적인 1차원 시스템 이론을 일반화한다.
• 스펙트럼 매개변수를 포함하는 미분방정식의 해를 연결하는 전이 함수의 클래스 $\boldsymbol{\mathcal{I}}$를 정의하고 특성화하며, 1차원 시스템의 곱셈적 성질을 일반화한다.
• 스펙트럼 매개변수를 포함하는 극 삼중과 미분방정식을 이용하여 $\boldsymbol{\mathcal{I}}$에 속하는 해석적 행렬 함수에 대한 실현 정리를 수립한다.
• 유한차원 경우에 인수분해 문제를 해결하기 위해 전이 함수를 그의 극 데이터와 연결 조건으로부터 재구성한다.

제안 방법

• 2차원 시스템의 통합 형태에 기반하여, 연속적인 힐버트 공간과 콤팩트 반군의 가닥을 도입함으로써 연산자에 대한 더 약한 가정을 가능하게 한다.
• 선형 시스템의 연산자 집합이 특정 대수적 및 미분적 관계를 만족하는 것으로 선형 시스템을 정의하며, 이는 호환성 조건과 게이지 준유사성 조건을 포함한다.
• 전이 함수 $S(\lambda, t_2)$는 $D(t_2) + C(t_2)(\lambda I - A_1(t_2))^{-1}B_1(t_2)\sigma_1(t_2)$로 정의되며, 여기서 $A_1(t_2)$, $C(t_2)$, $B_1(t_2)$, $D(t_2)$는 스펙트럼 매개변수 $\lambda$를 포함하는 미분방정식을 만족한다.
• 클래스 $\boldsymbol{\mathcal{I}}$는 스펙트럼 매개변수를 포함하는 미분방정식의 해를 연결하는 함수들로 구성되며, 1차원 시스템에서 관찰되는 곱셈적 성질을 일반화한다.
• 해의 일관성을 확보하기 위해, 전이 함수 $S(\lambda, t_2)$가 동일한 스펙트럼 매개변수 $\lambda$를 가진 다른 미분방정식의 해를 보존하도록 보장하는 연결 조건 (2.10.Link) 이 도출된다.
• Mittag-Leffler 유형 실현 정리가 증명된다: 상수 스펙트럼 행렬 $A$가 주어지고, $C(t_2)$, $B(t_2)\sigma_1(t_2)$, 해석적 $D(t_2)$가 미분방정식과 연결 조건을 만족할 경우, 전이 함수 $S(\lambda, t_2)$는 완전히 재구성된다.

실험 결과

연구 질문

• RQ1 스펙트럼 매개변수 $\lambda$와 시간 변수 $t_2$에 의존하는 2차원 시간 불변 시스템의 전이 함수는 어떻게 특성화할 수 있는가?
• RQ2 스펙트럼 매개변수 $\lambda$를 포함하는 ODE의 해를 다른 ODE의 해로 매핑하는 전이 함수 $S(\lambda, t_2)$가 성립하기 위한 조건은 무엇인가?
• RQ3 클래스 $\boldsymbol{\mathcal{I}}$에 속하는 전이 함수는 그의 극 삼중과 관련된 미분방정식으로부터 재구성될 수 있는가?
• RQ4 연결 조건이 시스템 연산자들의 진화와 전이 함수의 동역학 간 일관성을 확보하는 데 어떤 역할을 하는가?
• RQ5 이 이론은 고전적인 1차원 시스템 실현 및 인수분해 정리들을 시간에 따라 변하지 않는 2차원 시스템과 스펙트럼 매개변수 의존성의 설정으로 어떻게 일반화하는가?

주요 결과

• 시간에 대해 불변인 2차원 시스템의 전이 함수 $S(\lambda, t_2)$는 $D(t_2) + C(t_2)(\lambda I - A_1(t_2))^{-1}B_1(t_2)\sigma_1(t_2)$로 정의되며, $A_1(t_2)$, $C(t_2)$, $B_1(t_2)$, $D(t_2)$는 스펙트럼 매개변수 $\lambda$를 포함하는 미분방정식을 만족한다.
• 클래스 $\boldsymbol{\mathcal{I}}$는 스펙트럼 매개변수를 포함하는 미분방정식의 해를 연결함으로써 1차원 곱셈적 성질을 일반화하며, 고전적인 인수분해 이론을 확장한다.
• Mittag-Leffler 유형 실현 정리가 수립된다: 상수 스펙트럼 행렬 $A$가 주어지고, $C(t_2)$, $B(t_2)\sigma_1(t_2)$, 해석적 $D(t_2)$가 출력 및 역입력 미분방정식을 만족할 경우, 전이 함수 $S(\lambda, t_2)$는 완전히 결정된다.
• 연결 조건 (2.10.Link)은 $S(\lambda, t_2)$가 ODE 매핑에서 스펙트럼 매개변수 $\lambda$를 유지함을 보장하며, 시간 진화 동안 일관성을 확보하는 데 필수적이고 충분하다.
• 전이 함수는 $\sigma_1$, $\sigma_2$, $\gamma$, $\gamma_*$를 포함하는 미분방정식 (8.7)을 만족하며, 이는 시스템의 호환성 및 게이지 준유사성의 구조와 동치이다.
• 시스템 연산자가 미분방정식과 연결 조건을 만족할 경우, 전이 함수 $S(\lambda, t_2)$는 그의 극 삼중으로부터 재구성 가능하며, 이는 2차원 시간 불변 경우에 대해 유한차원 실현 및 인수분해를 일반화한다.