[논문 리뷰] Backwards theory supports modelling via invariant manifolds for non-autonomous dynamical systems

A. J. Roberts|arXiv (Cornell University)|2018. 04. 19.

Nonlinear Dynamics and Pattern Formation참고 문헌 45인용 수 13

한 줄 요약

이 논문은 비자기 동역계에서 불변 다변량을 구성하기 위한 후행 이론을 제안하며, 주어진 시스템을 정규형으로 공액시켜 유한 도메인 내에서 중심 다변량의 정확한 존재성과 기원을 가능하게 한다. 주요 기여는 유효 도메인에 대한 엄밀한 하한을 제시하여 원래 시스템에 임의로 가까운 시스템에서도 다변량으로의 지수적 영향을 보장함으로써, 느린-빠른 및 비자기 설정에서의 강력한 모델링을 가능하게 한다.

ABSTRACT

This article establishes the foundation for a new theory of invariant/integral manifolds for non-autonomous dynamical systems. Current rigorous support for dimensional reduction modelling of slow-fast systems is limited by the rare events in stochastic systems that may cause escape, and limited in many applications by the unbounded nature of PDE operators. To circumvent such limitations, we initiate developing a backward theory of invariant/integral manifolds that complements extant forward theory. Here, for deterministic non-autonomous ODE systems, we construct a conjugacy with a normal form system to establish the existence, emergence and exact construction of center manifolds in a finite domain for systems `arbitrarily close' to that specified. A benefit is that the constructed invariant manifolds are known to be exact for systems `close' to the one specified, and hence the only error is in determining how close over the domain of interest for any specific application. Built on the base developed here, planned future research should develop a theory for stochastic and/or PDE systems that is useful in a wide range of modelling applications.

연구 동기 및 목표

• 비자기 및 확률적 시스템에서 차원 축소의 전방 이론의 한계를 해결하며, 특히 희귀 사건과 연산자 제약에 대해 다룬다.
• 주어진 시스템에 대해 근사가 아니라 정확한 불변 다변량을 보증하는 보완적 후행 이론을 개발한다.
• 비자기 상미분방정식에서 중심 다변량의 유한 도메인 존재 결과를 확립하고, 도메인 크기의 명시적 하한을 제공한다.
• 이전의 섭동 방법에서 부족했던 정량적 도메인 추정을 보완하기 위해 라그랑주 나머지 정리를 사용하여 유한한 경계를 유도한다.
• 물리적 모델링에서 더 넓은 적용성을 지닌 확률적 및 PDE 시스템으로 이론을 확장하기 위한 기반을 마련한다.

제안 방법

• 원래의 비자기 상미분방정식 시스템을 근사 항등 다항식 변환을 통해 정규형 시스템으로 공액시키는 좌표 변환을 구축한다.
• 전방 접근의 반대 방식으로, 주어진 시스템에 대해 다변량을 근사하는 것이 아니라, 다변량을 구성하고 이것이 원래 시스템에 가까운 시스템에서 정확하다는 것을 증명한다.
• 라그랑주 나머지 정리를 사용하여 불변 다변량이 존재하고 지수적으로 영향을 받는 도메인의 하한을 유도한다.
• 특수 섭동 매개변수 ε과 시간 스케일 θ에 대한 의존성을 분석하여 도메인 내에서 좌표 변환이 C^p- diffeomorphism임을 보장한다.
• 변환에서의 컘브로이드 적분의 존재를 활용하여 비자기 동역계를 처리하며, 시스템의 시간 의존성에 대해 약한 제약을 둔다.
• 정규형에서 원래 변수로 동역계를 다시 변환하여, 유효 도메인과 지수적 영향 속도의 유지 보장을 한다.

실험 결과

연구 질문

• RQ1 비자기 시스템에서 불변 다변량의 존재를 검증할 수 있는 후행 이론을 개발할 수 있는가? 이는 전방 근사 오차와 독립적이어야 한다.
• RQ2 비자기 시스템에서 구성된 불변 다변량의 유한 도메인 유효성은 무엇이며, 이를 정량적으로 경계할 수 있는가?
• RQ3 지구물리유체역학에서의 시스템과 같이 느린 다변량 존재에 대한 모호성을 후행 접근이 어떻게 해결하는가?
• RQ4 전방 이론보다 선형 연산자에 대한 제약이 덜한 조건에서 후행 이론을 확률적 및 PDE 시스템으로 확장할 수 있는가?
• RQ5 구성된 다변량의 도메인과 물리적 모델의 관련성 사이의 관계는 무엇인가? 특히 특수 섭동 설정에서의 관계를 다룬다.

주요 결과

• 원래 시스템에 임의로 가까운 시스템에서 불변 다변량이 정확한 해로 존재함을 증명하는 후행 이론이 확립되었으며, 오직 가까움 매개변수의 오차 외에는 오차가 없다.
• 라그랑주 나머지 정리를 사용하여 구성된 중심 다변량의 유효 도메인에 하한을 제시하여, 이전 섭동 이론에서 확보되지 않았던 명시적이고 유한한 하한을 제공한다.
• 원래 변수에서의 해들이 유한 도메인 내에서 𝒪(e^{-μt/√ε})의 속도로 중심 다변량으로 지수적으로 영향을 받는 것으로 밝혀졌으며, 이는 빠른 기원을 확인한다.
• 좌표 변환이 도메인 d_μ 내에서 C^p-diffeomorphism임을 보장하여 ε → 0 및 θ = 1일 때에도 부드러운 역전환성과 물리적 관련성을 확보한다.
• 이 방법은 비자기 연산자를 갖는 시스템에 적용 가능하며, 스트라토노비치 또는 마르쿠스 해석 하에 확률적 시스템으로도 확장 가능하며, 표준 미적분 법칙이 성립하는 조건을 충족해야 한다.
• 전방 이론의 한계를 극복하기 위해 선형 연산자에 대한 제약 조건을 완화함으로써, 향후 더 넓은 범위의 PDE 시스템에 대한 이론 확장이 가능해진다.