선형 무한 차원 시스템의 적분 노름 입력‑상태 안정성 연구

초록

본 논문은 무한 차원 선형 시스템에서 입력과 상태 궤적을 (L^{p})‑공간에 두고, 적분‑대‑적분 형태의 입력‑상태 안정성(ISS)을 정의·분석한다. 기존의 지수 안정성·유한 시간 적합성(Admissibility)과의 관계를 재검토하고, 해석적 반시멧(analytic semigroup)에서는 최대 정규성(maximal regularity) 이론을 이용해 정확한 동등조건을 제시한다. 또한, Lyapunov 함수 기반의 충분조건과 직접적인 구성법을 제시하며, 대각 시스템과 확산 방정식 예제로 결과를 검증한다.

상세 분석

논문은 먼저 무한 차원 선형 시스템 (\dot x(t)=Ax(t)+Bu(t))에 대해 입력 연산자 (B)가 비유계일 수 있음을 인정하고, 이를 다루기 위해 (L^{p})‑admissibility 개념을 일반화한다. 기존 ISS 이론에서는 지수 안정성과 유한 시간 (L^{p})‑admissibility가 동등함을 이용했지만, 적분‑대‑적분 ISS((L^{p})–(L^{q})‑ISS)에서는 이러한 동등성이 깨진다. 특히 (p>q)인 경우, 지수 안정성만으로는 무한 시간 (L^{p})–(L^{q})‑admissibility를 보장하지 못한다는 반례를 제시한다.

핵심 기술은 해석적 반시멧에 대해 최대 정규성 이론을 적용하는 것이다. 저자는 (A)가 해석적 반시멧을 생성하고, (B\in\mathcal L(U,X_{-1}))일 때, 시스템이 (L^{p})–(L^{p})‑admissible임을 최대 정규성의 등가조건과 연결한다. 구체적으로, (A)가 bounded interval에서 최대 (L^{p})‑정규성을 갖는다면 (\Sigma_{A,B})는 모든 (p,q)에 대해 (유한·무한 시간) (L^{p})–(L^{q})‑admissible가 된다. 이는 기존의 (L^{p})‑admissibility 결과를 크게 확장한다.

다음으로 (L^{p})–(L^{q})‑ISS의 정의와 기본 성질을 정리한다. 여기서는 상태 궤적의 (L^{q})‑노름이 입력의 (L^{p})‑노름에 의해 선형적으로 제한되는 형태를 보이며, (q\le p)와 (q>p) 경우를 각각 별도로 분석한다. 특히 (q<p)일 때는 최대 정규성에 의해 충분조건이 쉽게 얻어지지만, (q>p)일 때는 추가적인 구조적 가정이 필요함을 보여준다.

Lyapunov 접근법에서는 두 종류의 결과를 제시한다. 첫째, 유계 입력 연산자에 대해서는 비강제(non‑coercive) ISS Lyapunov 함수를 구성하여 (L^{p})–(L^{q})‑ISS를 충분히 보장한다. 둘째, 비유계 연산자와 해석적 반시멧을 가정하면, 분수 Sobolev 공간을 이용한 역 Lyapunov 정리를 증명한다. 이는 기존의 강제형 Lyapunov 방법이 적용되지 않는 경우에도 안정성을 평가할 수 있게 한다.

마지막으로 대각 시스템과 디리클레 경계 입력을 갖는 확산 방정식 두 예제를 통해 이론을 구체화한다. 대각 시스템에서는 스펙트럼이 실수축을 이루는 경우 최대 정규성이 자동으로 성립함을 확인하고, 확산 방정식에서는 관측 연산자와 입력 연산자의 적합성을 분석해 (L^{p})–(L^{q})‑ISS가 성립함을 보인다. 전체적으로 논문은 적분 노름 기반 ISS를 무한 차원 시스템에 체계적으로 확장하고, 최대 정규성 및 Lyapunov 방법을 통해 실용적인 검증 도구를 제공한다.