[논문 리뷰] Generic Properties of Koopman Eigenfunctions for Stable Fixed Points and Periodic Orbits

Matthew D. Kvalheim, Hong, David외 1명|arXiv (Cornell University)|2020. 10. 07.

Model Reduction and Neural Networks참고 문헌 86인용 수 57

한 줄 요약

이 논문은 안정한 초구형 고정점 또는 주기 궤도를 가진 '일반적인'(typical) 매끄러운(C∞) 벡터장에 대해, C∞ 쿠퍼만 고유함수의 완전한 분류가 가능하다는 것을 증명한다. 이전의 존재성 및 유일성 결과를 바탕으로, 저자들은 일반 조건—특히 선형화된 동역학의 ∞-비공명 조건—하에 이러한 고유함수들이 주된 고유함수와 그 복소수 켤레의 곱의 유한한 선형 조합임을 증명하며, 이는 비선형 동역학 및 모델 단순화 응용 분야에서 잘 정의되고 전역적인 구조를 보장한다.

ABSTRACT

Our recent work established existence and uniqueness results for $\mathcal{C}^{k,\alpha}_{ ext{loc}}$ globally defined linearizing semiconjugacies for $\mathcal{C}^1$ flows having a globally attracting hyperbolic fixed point or periodic orbit (Kvalheim and Revzen, 2019). Applications include (i) improvements, such as uniqueness statements, for the Sternberg linearization and Floquet normal form theorems; (ii) results concerning the existence, uniqueness, classification, and convergence of various quantities appearing in the "applied Koopmanism" literature, such as principal eigenfunctions, isostables, and Laplace averages. In this work we give an exposition of some of these results, with an emphasis on the Koopmanism applications, and consider their broadness of applicability. In particular we show that, for "almost all" $\mathcal{C}^\infty$ flows having a globally attracting hyperbolic fixed point or periodic orbit, the $\mathcal{C}^\infty$ Koopman eigenfunctions can be completely classified, generalizing a result known for analytic systems. For such systems, every $\mathcal{C}^\infty$ eigenfunction is uniquely determined by its eigenvalue modulo scalar multiplication.

연구 동기 및 목표

• 비선형 동역학 시스템에 안정한 안착점이 존재할 경우 쿠퍼만 고유함수 분류 결과의 광범위한 적용 가능성을 확립하기 위해.
• 특히 이소스태이블과 라플라스 평균의 맥락에서, 쿠퍼만 고유함수의 존재성 및 유일성 문제를 해결하기 위해.
• 이전 연구(Kvalheim와 Revzen, 2019)에서 얻은 C∞ 쿠퍼만 고유함수에 대한 강력한 분류 결과가 특수한 경우에만 성립하는 것이 아니라, '일반적인' C∞ 벡터장에 대해서도 성립함을 보여주기 위해.
• 응용 쿠퍼만 이론의 이론적 기초를 마련하기 위해, 이소스태이블 및 이소스태이블 좌표와 같은 핵심 양이 일반 조건 하에 잘 정의되고 유일하게 결정됨을 증명하기 위해.
• 무한차원 함수 공간에서의 일반성 논증을 활용하여, 해석적 고유함수의 분류를 매끄럽기(C∞)한 설정으로 확장하기 위해.

제안 방법

• C∞ 벡터장의 공간에서 미분 위상수학과 일반성 이론을 사용하여, 이전 연구에서 핵심 가정이었던 비공명 조건이 열린 및 조밀한 부분집합에서 성립함을 보여준다.
• 고정점 또는 주기 궤도에서 선형화된 흐름과 그 고유수의 간의 ∞-비공명 개념을 적용하여 스펙트럼 분리 조건을 확보한다.
• 시간 평균 관측치를 통한 점진적 절차를 활용하여 근사 고유함수로부터 쿠퍼만 고유함수를 구성하며, Ck 컴act-open 위상에서의 수렴성을 이용한다.
• 선형화된 동역학의 스펙트럼 성질로 고유함수 분류 문제를 축소하기 위해 선형화된 반공변성 이론을 활용한다.
• 대칭 다항식 이론과 고유값 섭동 이론의 결과를 활용하여 일반 조건 하에서 고유함수의 구조를 분석한다.
• 예를 들어 하르트만-그로브먼 정리 및 슈테르너그 정리와 같은 동역학 시스템 이론과 함수해석 기법을 결합하여, C∞ 정규성에서 고유함수의 존재성 및 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 안정한 고정점 또는 주기 궤도를 가진 C∞ 쿠퍼만 고유함수의 존재성과 완전한 분류가 성립하는 일반 조건은 무엇인가?
• RQ2 이 분류 결과는 해석적 시스템을 초월하여 C∞ 쿠퍼만 고유함수에 대해 얼마나 넓은 범위로 적용 가능한가?
• RQ3 주된 고유함수의 유일성은 벡터장의 소규모 변형에 대해 안정적인가?
• RQ4 이소스태이블 및 이소스태이블 좌표의 존재성과 유일성은 C∞ 설정에서 일반적으로 보장될 수 있는가?
• RQ5 ∞-비공명이 고유함수 분류의 완전성과 유일성 보장에 정확히 어떤 역할을 하는가?

주요 결과

• 안정한 초구형 고정점을 가진 일반적인 C∞ 벡터장에 대해, C∞ 쿠퍼만 고유함수는 주된 고유함수와 그 복소수 켤레의 곱의 유한한 선형 조합으로 완전히 분류된다.
• 이 분류 결과는 ∞-비공명 조건이 선형화된 시스템과 그 고유수 사이에 성립할 경우, 일반적으로—즉, 열린 및 조밀한 C∞ 벡터장 부분집합에서—성립한다.
• 주된 고유함수는 고정점에서의 초기 도함수 값에 의해 유일하게 결정되며, 시간 평균 관측치를 포함한 점진적 절차를 통해 구성될 수 있다.
• 주기 궤도의 경우, 고유값 i2π/τ를 가진 위상 고유함수 ψθ가 포함되며, 나머지 모든 고유함수는 ψθ와 안정 부분공간의 고유함수들의 곱의 유한 조합으로 구성된다.
• 이 결과는 이전에 알려진 해석적 시스템에 대한 분류를 매끄럽기(C∞)한 경우로 일반화하며, 쿠퍼만 고유함수의 구조적 성질이 일반적인 변형에 대해 안정됨을 보여준다.
• 이전 존재성 정리에서 요구된 스펙트럼 산란 조건은 C∞ 경우에 자동으로 만족되므로, ∞-비공명 조건 외에 추가 가정이 필요하지 않다.