최대 강인 양의 불변 집합의 경계와 최대 원리

초록

본 논문은 상태 제약을 가진 연속시간 비선형 시스템에 대해, 유한한 교란이 존재할 때 최대 강인 양의 불변 집합(MRPI)의 존재와 폐집합성을 증명한다. MRPI의 경계는 제약면에 접하는 사용가능 부분과 내부에 존재하는 불변 장벽으로 나뉘며, 후자는 포인티아코프 최대 원리를 만족하는 궤적으로 구성된다. 이를 이용한 계산 절차와 두 가지 예시(이중 적분기와 펜듈럼)를 제시한다.

상세 분석

논문은 먼저 시스템 모델을 (\dot x = f(x,d)) 와 제약 (g_i(x)\le 0) 으로 정의하고, 교란 집합 (D) 가 콤팩트하고 볼록함을 가정한다(A1‑A5). 이러한 가정 하에, 모든 초기 상태가 MRPI에 속하면 어떤 교란이 발생하더라도 상태가 제약 집합 (G) 내에 영원히 머무른다. 저자는 MRPI를 “모든 강인 양의 불변 집합의 합집합”으로 정의하고, 이를 등가적으로 “시간에 대해 모든 교란에 대해 (G) 내에 머무는 초기 상태 집합” (R) 으로 표현한다. 이 등가성은 집합 포함 관계와 교란 연결 연산을 이용한 귀류법으로 증명된다.

다음으로 MRPI가 닫힌 집합임을 보이기 위해, (A1‑A4)에서 얻어지는 해의 연속 의존성 및 곡선들의 균등 수렴성을 활용한다. 즉, 초기 조건이 MRPI 안에서 수열적으로 수렴하면, 대응하는 해들의 균등 수렴을 통해 극한점도 MRPI에 포함된다는 점을 보인다. 이는 기존의 “허용 집합”(admissible set) 폐집합성 결과를 최대화(max) 형태로 전환한 것이다.

경계 구조에 대한 핵심 결과는 MRPI의 경계를 (\partial M) 를 두 부분으로 분리한다. 하나는 제약면 (G_0) 에 접하는 “사용가능 부분” (