콘 내부에서 확산적 해를 이용한 Lyapunov Riccati 부등식의 새로운 접근

초록

본 논문은 자기-쌍대적 적합한 원뿔 위에서 정의되는 quasi‑monotone(QM) 매핑에 대해, 확산적(difussive) 선형 변환을 대각 행렬의 일반화로 사용하여 Lyapunov 및 Riccati 부등식의 대각 해 존재성을 확장한다. 기존의 Metzler 행렬·비음성 시스템 결과를 원뿔 이론으로 일반화하고, D‑안정성, 대각 Lyapunov 안정성, 대각 Riccati 안정성을 각각 제시한다. 또한 대칭 원뿔에 대한 Jordan 대수적 접근과의 관계를 논의한다.

상세 분석

논문은 먼저 자기‑쌍대적이고 폐쇄·점성·생성성을 갖는 적합한 원뿔 K 를 정의하고, K‑에 대해 quasi‑monotone(QM)인 선형 매핑 A 를 “Metzler 행렬”의 일반화로 설정한다. QM 조건은 ⟨x,y⟩=0, x,y∈K ⇒ ⟨x,Ay⟩≥0 로, 이는 원뿔의 경계에서의 비음성성을 보장한다. 저자는 이러한 매핑의 안정성을 “∃ v≫0 : Av≪0”이라는 내부점 조건으로 등가화하는 명제 2.1을 인용한다.

핵심 기여는 “확산적(difussive) 매핑” D 를 도입하여 대각 행렬을 대체한다는 점이다. D 가 K 를 보존하고 ⟨x,y⟩=0 ⇒ ⟨x,Dy⟩=0 을 만족하면, D는 원뿔 내부의 직교 성분을 그대로 유지하면서 스칼라 배율만을 적용한다. 이는 특히 다면체 원뿔이나 O‑변환을 적용한 정규 직교 원뿔에서 구체적인 예시를 제공한다.

Lemma 3.3‑3.5를 통해 QM 매핑과 확산적 매핑의 조합이 다시 QM이 되며, 가역인 확산적 매핑은 내부점(int K)을 내부점으로 보낸다는 사실을 증명한다. 이를 바탕으로 Proposition 3.6은 “D‑안정성”을 일반 원뿔 상황으로 확장한다: 가역인 확산적 D 를 곱한 EA 역시 QM이며 안정성을 유지한다.

다음으로 Assumption D 를 도입한다. 이는 int K 안의任意 두 점 v,w에 대해, v를 w로 보내는 자기‑수반 확산적 매핑 D 가 존재한다는 가정이다. 이 가정은 원뿔이 대칭이 아니더라도 충분히 성립할 수 있음을 예시(O Rⁿ⁺)로 보여준다. Assumption D 하에서 Proposition 3.7은 “대각 Lyapunov 안정성”을 증명한다. 구체적으로, 안정한 QM 매핑 A 에 대해 D≻0 (자기‑수반, 확산적) 가 존재하여 AᵀD+DA≺0 를 만족한다. 이는 기존의 Metzler 행렬에 대한 대각 Lyapunov 해 존재성 결과를 원뿔 일반화로 옮긴다.

Riccati 안정성 부분에서는 A가 QM, B가 K‑비음성, A+B가 안정일 때, 두 개의 확산적 매핑 D, Q 가 존재하여
AᵀD+DA+Q BᵀD D B−Q ≺ 0
을 만족한다는 Proposition 3.8을 제시한다. 증명은 (A+B)ᵀD+ D(A+B)≺0 를 먼저 확보하고, 이를 블록 연산자 M에 적용해 M가 QM이면서 자기‑수반이므로 M≺0 임을 보인다.

마지막으로 저자는 Euclidean Jordan 대수와 quadratic representation Pₐ 를 이용한 기존 연구(