마코프·공분산 보간 일반화와 입력‑상태 필터 활용

초록

본 논문은 전통적인 마코프·공분산 보간 문제를 확장하여, 복소 단위 원판 내 여러 점에서 전이함수 W와 스펙트럼 밀도 WW*의 테일러·라우렌트 계수를 동시에 맞추는 새로운 보간 프레임워크를 제시한다. 핵심은 입력‑상태 필터를 도입해 문제를 선형 대수식으로 변환하고, Lyapunov 방정식 및 일반화 고유값 문제를 풀어 해를 구한다.

상세 분석

이 연구는 기존 마코프·공분산 보간이 “원점 주변”에서 전이함수 W와 그 스펙트럼 S(ω)=WW*의 초기 계수를 맞추는 제한된 형태에 머물렀던 점을 비판한다. 저자들은 이를 “다중 중심 보간”으로 일반화한다. 구체적으로, 복소 단위 원판 𝔻 내 임의의 n개의 점 {z₁,…,zₙ}을 선택하고, 각 점에서 W(z)와 S(z)=W(z)W(z)★의 테일러(또는 라우렌트) 전개 계수를 사전 지정된 값과 일치시키도록 요구한다. 이러한 제약은 전통적인 순간 매칭보다 훨씬 풍부한 주파수 영역 정보를 제공한다.

핵심 아이디어는 입력‑상태 필터(ISTF)를 이용해 보간 조건을 선형 시스템 형태로 재구성하는 것이다. ISTF는 입력 u(k)와 상태 x(k) 사이의 관계 x(k+1)=Ax(k)+Bu(k)와 출력 y(k)=Cx(k)로 정의되며, 여기서 A는 선택된 보간점들의 위치를 반영하는 대각 행렬, B와 C는 자유 변수이다. 전이함수 W(z)=C(zI−A)^{-1}B는 바로 ISTF의 전달 함수와 동일하므로, W와 S의 계수 제약을 A, B, C에 대한 선형/이차식으로 변환할 수 있다.

이때, 공분산 제약은 상태 공분산 P가 Lyapunov 방정식 A P A★ + B B★ = P 를 만족한다는 형태로 나타난다. 또한, W의 테일러 계수 매칭은 C A^{k} B 형태의 선형식과 연결된다. 따라서 전체 보간 문제는 다음 두 단계로 해결된다. 첫째, 주어진 매칭 조건을 만족하도록 B와 C를 선택하고, 둘째, Lyapunov 방정식을 풀어 P를 구한다. P가 양정정인 경우에만 실현 가능성이 보장된다.

해의 존재와 유일성은 일반화 고유값 문제 det(λ M₁−M₂)=0 형태로 귀결된다. 여기서 M₁, M₂는 B, C, A 및 제약 행렬을 조합해 만든 대칭 행렬이며, 최소 양의 고유값이 해의 안정성을 판단한다. 이 접근법은 기존의 “최소 차수” 혹은 “최소 에너지” 해를 찾는 복잡한 비선형 최적화와 달리, 단순한 선형 대수 연산과 고유값 분해만으로 해를 구할 수 있다는 실용적 장점을 제공한다.

또한, 저자들은 해가 존재할 경우 전이함수 W가 내부-안정(모든 극점이 𝔻 안에 존재)임을 보이며, 이는 시스템 구현 시 물리적 안정성을 보장한다. 마지막으로, 논문은 수치 예시를 통해 여러 보간점 선택이 스펙트럼 근사에 미치는 영향을 시각화하고, 기존 방법 대비 오차 감소와 계산 효율성을 입증한다.