[논문 리뷰] Relaxation Oscillations and the Entry-Exit Function in Multi-Dimensional Slow-Fast Systems

Ting-Hao Hsu, Shigui Ruan|arXiv (Cornell University)|2019. 10. 14.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 52인용 수 5

한 줄 요약

이 논문은 안정도가 전환점에서 변화하는 다차원 슬로우-패스트 시스템과 불변 다양체를 고려하여 기존의 입출 함수(entry-exit function)를 일반화하며, 전환점에서 안정도가 변화할 경우 리프랙션 진동의 존재성과 안정성에 대한 기준을 도출한다. 이 방법은 급속한 진화 역학을 포함하는 생태 모델에서 주기적 궤도를 엄밀하게 예측할 수 있게 하며, 특성 진화를 고려한 포식자-피식자 시스템에서 기존의 수치적 결과를 확인하고 확장한다.

ABSTRACT

For a slow-fast system of the form $\dot{p}=εf(p,z,ε)+h(p,z,ε)$, $\dot{z}=g(p,z,ε)$ for $(p,z)\in \mathbb R^n imes \mathbb R^m$, we consider the scenario that the system has invariant sets $M_i=\{(p,z): z=z_i\}$, $1\le i\le N$, linked by a singular closed orbit formed by trajectories of the limiting slow and fast systems. Assuming that the stability of $M_i$ changes along the slow trajectories at certain turning points, we derive criteria for the existence and stability of relaxation oscillations for the slow-fast system. Our approach is based on a generalization of the entry-exit relation to systems with multi-dimensional fast variables. We then apply our criteria to several predator-prey systems with rapid ecological evolutionary dynamics to show the existence of relaxation oscillations in these models.

연구 동기 및 목표

• 고전적인 입출 함수를 다차원 빠른 변수를 가진 시스템으로 확장하여, 복잡한 슬로우-패스트 시스템에서 리프랙션 진동의 분석을 가능하게 한다.
• 한계 슬로우 및 빠른 시스템의 궤도로 구성된 특이 폐쇄 궤도 근처의 주기적 궤도의 존재성과 궤도 안정성에 대한 충분조건을 설정한다.
• 빠른 생태 및 진화 역학을 포함하는 포식자-피식자 모델에 일반화된 프레임워크를 적용하여, 수치적으로 예측된 리프랙션 진동의 존재성을 확인한다.
• 특성 진화에 의해 유도되는 급속한 제도 전환을 이해하기 위한 엄밀한 분석적 기반을 제공한다.
• 단조성 지도(monodromy maps)와 전이 지도(transition maps)를 사용하여, 특이 섭동 설정에서 주기적 궤도의 안정성을 결정하는 명시적 기준을 도출한다.

제안 방법

• 안정도가 전환점에서 변화하는 다차원 빠른 변수를 가진 시스템에서 전이 지도를 분석함으로써, 1차원에서 다차원 빠른 변수로의 입출 함수 일반화를 수행한다.
• 기하학적 특이 섭동 이론(GSPT)을 사용하여 시스템을 한계 슬로우 및 빠른 하위시스템으로 분해하고, 이석성 연결(heteroclinic connections)을 통해 특이 폐쇄 궤도를 구성한다.
• 전이 지도 $ D ilde{Q}_i $ 를 통한 단조성 지도 접근법을 적용하여, 푸앵카레 지도의 도함수를 계산하고 주기적 궤도의 안정성 분석을 가능하게 한다.
• 전이 지도의 복합 함수 도함수의 절댓값 로그를 포함하는 핵심 기준을 도출하며, 이 때 $ ext{trace} $ 의 부호가 궤도 안정성 결정에 기여한다.
• 점근 전개와 은둔 함수 정리(implicit function theorems)를 활용하여 전이 지도 $ Q $ 를 정의하고 평형점에서의 도함수를 계산한다.
• 수치적 근사치를 사용한 자이아코비안(Jacobians) 계산을 통해 두 생태 모델에 대해 방법을 검증한다: 하나는 공진화하는 피식자와 포식자의 특성(코르테즈-위츠 시스템), 다른 하나는 피식자만의 진화(코르테즈-엘러너 시스템).

실험 결과

연구 질문

• RQ1 안정도가 전환점에서 변화하는 다차원 슬로우-패스트 시스템과 불변 다원체를 고려할 때, 리프랙션 진동이 존재하는 조건은 무엇인가?
• RQ2 고전적인 입출 함수는 어떻게 다차원 빠른 변수를 가진 시스템으로 일반화될 수 있는가?
• RQ3 슬로우 및 빠른 세그먼트로 이루어진 특이 폐쇄 궤도 근처의 주기적 궤도의 궤도 안정성을 결정하는 기준은 무엇인가?
• RQ4 일반화된 프레임워크는 생태진화 모델에서 수치적으로 관측된 리프랙션 진동의 존재성을 엄밀하게 확인할 수 있는가?
• RQ5 전이 지도로부터 유도된 단조성 지도는 특이 섭동 시스템에서 주기적 궤도의 안정성과 어떻게 관련이 있는가?

주요 결과

• 일반화된 입출 함수는 안정도가 전환점에서 변화하는 다차원 슬로우-패스트 시스템에서 리프랙션 진동의 존재성을 성공적으로 예측한다.
• 네 개의 다원체($ \beta = 0,1 $, $ \beta = 0,1 $)를 가진 코르테즈-위츠 모델에서 단조성 지도의 고유값은 $ \rho_1 \to 0.39 $, $ \rho_2 \to -6.14 \times 10^{-5} $, $ \rho_3 \to -5.11 \times 10^{-11} $ 로, 모두 크기가 1 미만이므로 궤도 점근적 안정성이 확인된다.
• 두 개의 다원체($ \beta = 0,1 $)를 가진 코르테즈-엘러너 모델에서는 조건 $ \rho = \text{trace}(D\tilde{P}) < 1 $ 를 통해 안정한 리프랙션 진동의 존재성을 확인하였으며, 이는 수치 시뮬레이션과 일치한다.
• 유도된 기준 $ \text{sign}(\text{trace}(D\tilde{P})) $ 는 궤도 안정성을 결정한다: $ \text{trace} < 0 $ 이면 점근적 안정성, $ \text{trace} > 0 $ 이면 불안정성이다.
• 이 방법은 히우-월코비츠 정리에서의 수치적 증거에 대한 엄밀한 대체 방법을 제공하며, 이전에 요구되었던 더 약한 조건 하에서도 리프랙션 진동의 존재성을 증명한다.
• 푸앵카레 지도의 단조성 지도 고유값 분석을 통해, 단조성 지도의 모든 고유값의 크기가 1 미만일 경우 주기적 궤도는 궤도적으로 국소적으로 점근적으로 안정적임을 확인한다.