Banach 대수에서 H∞ 리카티 방정식의 안정해 존재 조건

초록

본 논문은 복소수 계수의 가환 반단순 Banach 대수 R에 대해, 행렬 데이터가 R에 속할 때 H∞ 알제브라식 리카티 방정식의 안정적인 양의 반정치 해가 존재하는 충분조건을 제시한다. Gelfand 변환과 Banach 대수의 암시적 함수 정리를 이용해 해의 연속 의존성을 보이고, 이를 공간적으로 분산된 시스템에 적용한다.

상세 분석

논문은 먼저 표준 H∞ 제어 문제를 복소수 행렬이 아닌 Banach 대수 R의 원소로 구성된 시스템으로 일반화한다. 여기서 R은 가환, 단위, 복소수, 반단순이며 별연산(·★)을 가진다. 핵심은 (A,B,C,D₁,D₂,E)∈Rⁿˣⁿ×Rⁿˣᵐ×Rᵖˣⁿ×Rᵖˣᵐ×Rᵖˣˡ×Rⁿˣˡ 라는 데이터가 각 Gelfand 점 ϕ∈M(R)에서 전통적인 복소수 행렬 형태로 평가될 때, 기존 H∞ 리카티 방정식의 안정해 존재 조건을 만족한다는 점이다.

주요 가정(A1)–(A6)은 Gelfand 변환 후 얻어지는 복소수 행렬들이 (i) 별연산과 일치, (ii) (A,B,C,D₁) 가 왼쪽 가역, (iii) 적절한 피드백 행렬 F₁,F₂가 존재해 폐루프 시스템이 지수적으로 안정하고 H∞ 노름이 γ보다 작으며, (iv) 허수축에 영점이 없고 (v) D₁의 핵이 영집합이라는 전통적인 H∞ 조건을 그대로 반영한다.

이러한 가정 하에 Proposition 2.1을 통해 복소수 경우에 존재하고 유일한 최소 양의 반정치 해 P(ϕ) 가 연속적으로 ϕ에 의존함을 보인다. 이어서 Banach 대수 버전의 암시적 함수 정리(Proposition 2.2)를 적용, 연속적인 Gelfand 변환값 집합 {P(ϕ)}₍ϕ₎이 실제로 R에 속하는 행렬 P 로 구현될 수 있음을 증명한다. 핵심은 Jacobian 행렬이 전역적으로 가역이며, 이는 A_cl(ϕ) 가 지수적으로 안정함을 이용해 λ+μ의 실수부가 음수임을 이용해 보인다.

또한 Definition 1.4에서 제시한 “지수적으로 안정”의 정의를 Banach 대수의 연산자 노름 관점에서 명확히 하고, Proposition 1.6을 통해 A_cl가 모든 Gelfand 점에서 스펙트럼의 실수부가 음수이면 Banach 대수 내에서도 지수적 안정성을 갖는다고 정리한다.

마지막으로 이러한 이론을 공간적으로 불변인 시스템에 적용한다. Fourier 변환을 이용해 시스템을 L^∞(𝕋) 위의 곱연산자로 표현하고, Wiener 대수와 같은 하위 대수에서 해가 존재하면 공간적 감쇠 특성을 갖는 피드백 게인 연산자를 설계할 수 있음을 제시한다. 이는 분산 제어 설계에서 구현 가능한 구조를 제공한다는 실용적 의미를 가진다.