[논문 리뷰] Almost Global Convergence in Singular Perturbations of Strongly Monotone Systems

Liming Wang, Eduardo D. Sontag|ArXiv.org|2006. 04. 17.

Nonlinear Differential Equations Analysis참고 문헌 10인용 수 3

한 줄 요약

이 논문은 감쇠된 시스템에서 감쇠된(느린) 시스템이 강하게 단조롭고 빠른 부분계가 입력-상태 안정성 성질을 갖는 경우, 거의 전역 수렴을 증명한다. 기하학적 섭동 이론을 사용하여, 충분히 작은 $\varepsilon > 0$ 에서 거의 모든 궤적이 평형점으로 수렴함을 증명하며, 시간 스케일 분리에 의해 비단조적 시스템의 광범위한 클래스로 히르슈의 일반 수렴 정리의 적용 범위를 확장한다.

ABSTRACT

This paper deals with global convergence to equilibria, and in particular Hirsch's generic convergence theorem for strongly monotone systems, for singular perturbations of monotone systems.

연구 동기 및 목표

• 강하게 단조로운 시스템에 대한 히르슈의 일반 수렴 정리를, 전체 시스템이 반드시 단조적이지 않은 감쇠된 시스템으로 확장하는 것.
• 느린 변수와 빠른 변수가 존재하는 시스템의 수렴 행동을 분석하며, 빠른 부분계가 느린 변수에 따라 결정되는 정적 상태 다각형에 수렴함을 고려하는 것.
• 원래 시스템이 단조적이지 않더라도 전체 시스템이 감쇠된 시스템의 거의 전역 수렴 성질을 상속할 수 있는 조건을 확립하는 것.
• 시간 스케일 분리가 기존에 비단조적인 시스템에 단조성을 유도할 수 있음을 보여주며, 불변 다각형 이론을 통해 수렴 결과를 도출하는 것.
• 피드백 루프와 리랙세이션 오실레이션을 포함하는 생화학적 및 제어 시스템과 같은 다중 시간 스케일을 갖는 시스템을 분석하기 위한 엄밀한 프레임워크를 제공하는 것.

제안 방법

• 기하학적 섭동 이론을 적용하여, $\varepsilon = 0$ 에서의 빠른 부분계의 정규 섭동으로서, 전체 시스템에 대해 국소적으로 안정된 불변 다각형 $M_{\varepsilon}$ 를 구성하는 것.
• 감쇠된 시스템 $\dot{x} = f(x, h(x))$ 가 강하게 단조롭고(최종적으로 양수인 도함수를 갖는) 불변 다각형 상에서 일반 수렴을 보장하기 위해 이를 활용하는 것.
• 기술적 조건을 도입: 빠른 부분계 $\varepsilon \dot{y} = Ay + h(x)$ 는 허리츠 행렬 $A$ 를 가지며, 전역적으로 안정된 정적 상태 $y = h(x)$ 를 갖으며, 입력-상태 안정성 성질을 갖는다.
• 점점 가까워지는 단계 성질을 활용하여, 근처의 모든 궤적이 $M_{\varepsilon}$ 상의 해를 임의로 정확하게 따라가며, 수렴 행동을 이어받음을 보이는 것.
• 수렴하는 초기 조건의 집합이 도메인 내에서 잔여 집합(일반적인 집합)임을 증명하며, 불변 다각형의 구조와 감쇠된 시스템의 단조성에 기반한다.
• 주로 정규 코너 콘에 대해 협동적 시스템을 고려하지만, 향후 논문에서 유사한 추론을 통해 일반 콘으로의 확장이 가능함을 언급한다.

실험 결과

연구 질문

• RQ1 감쇠된 시스템이 감쇠된(느린) 시스템의 거의 전역 수렴 성질을 어떤 조건에서 상속하는가?
• RQ2 비단조적 시스템이 시간 스케일 분리에 의해 효과적으로 단조적이게 될 수 있으며, 이러한 경우 어떤 조건에서 평형점으로 수렴하는가?
• RQ3 기하학적 섭동 이론은 느린 동역학과 빠른 동역학을 갖는 시스템으로 히르슈의 일반 수렴 정리를 어떻게 확장하는가?
• RQ4 빠른 부분계의 입력-상태 안정성이 전체 시스템의 동역학이 느린 다각형을 따라가며 일반적으로 수렴하도록 하는 데 어떤 역할을 하는가?
• RQ5 수렴 결과는 협동적 시스템을 초월하여 임의의 단조성 콘을 갖는 시스템으로 얼마나 일반화될 수 있는가?

주요 결과

• 충분히 작은 $\varepsilon > 0$ 에서, 컴acts 도메인 내 거의 모든 초기 조건에서 출발하는 감쇠된 시스템의 궤적은 모두 평형점으로 수렴한다.
• 감쇠된 시스템 $\dot{x} = f(x, h(x))$ 는 컴팩트하고 볼록한 집합 $\widetilde{K}$ 상에서 최종적으로 양수인 도함수를 갖는 것으로 가정하여, 느린 다각형 상에서 일반 수렴을 보장한다.
• 불변 다각형 $M_{\varepsilon}$ 는 존재하며, 근처의 모든 해를 끌어당기며, 점점 가까워지는 단계 성질을 갖기 때문에 궤적이 $M_{\varepsilon}$ 상의 해를 임의로 정확하게 따라간다.
• 수렴은 거의 전역적이다: 평형점으로 수렴하지 않는 초기 조건의 집합은 측도가 0이며 도메인 내에서 잔여 집합이다.
• 원래 시스템이 어떤 정규 코너 콘에 대해서도 단조적이지 않더라도, 빠른 부분계가 허리츠 행렬을 가지며 느린 동역학이 강하게 단조로울 경우 결과는 성립한다.
• 역사례를 통해 $\varepsilon$ 가 크면 수렴이 실패함을 보여주며, $\varepsilon > 1$ 일 때 평형점이 반발력을 띠게 되고, 푸앵카레-베니크손 정리에 의해 리미트 사이클이 발생한다.