[论文解读] Generic Properties of Koopman Eigenfunctions for Stable Fixed Points and Periodic Orbits

Matthew D. Kvalheim, Hong, David+1 more|arXiv (Cornell University)|Oct 7, 2020

Model Reduction and Neural Networks参考文献 86被引用 57

一句话总结

本文证明，对于具有吸引性双曲不动点或周期轨道的‘典型’光滑（C∞）向量场，其C∞ Koopman特征函数可被完全分类。在先前关于Koopman特征函数存在性与唯一性的基础上，作者证明，在通用条件——即线性化动力学的∞-非共振——下，这些特征函数是主特征函数及其复共轭的有限线性组合，从而确保了在非线性动力系统与模型降阶应用中具有良好的适定性与全局结构。

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.

研究动机与目标

• 建立Koopman特征函数分类结果在具有稳定吸引子的非线性动力系统中的广泛适用性。
• 解决长期存在的Koopman特征函数存在性与唯一性问题，特别是在等稳态（isostables）与Laplace平均值背景下的问题。
• 表明先前工作中（Kvalheim和Revzen，2019）针对C∞ Koopman特征函数所得出的强分类结果，不仅适用于特殊情形，也适用于‘典型’的C∞向量场。
• 通过证明在通用条件下，诸如等稳态与等稳态坐标等关键量具有适定性且唯一确定，为应用Koopman理论提供理论基础。
• 通过无限维函数空间中的通用性论证，将已知的解析特征函数分类结果推广至光滑（C∞）情形。

提出的方法

• 利用光滑向量场空间中的微分拓扑与通用性理论，证明非共振条件（先前工作的关键假设）在开稠密集上成立。
• 应用不动点或周期轨道处线性化流与其自身伴随之间的∞-非共振概念，确保谱分离。
• 通过时间平均可观测量的极限过程，从近似特征函数构造Koopman特征函数，利用Ck紧开拓扑中的收敛性。
• 利用线性化半共轭理论，将特征函数分类问题简化为线性化系统谱性质的问题。
• 应用对称多项式与特征值摄动理论的结果，分析在通用条件下特征函数的结构。
• 结合动力系统定理（如Hartman-Grobman、Sternberg）与泛函分析技术，证明C∞正则性下特征函数的存在性与唯一性。

实验结果

研究问题

• RQ1 在何种通用条件下，具有稳定不动点或周期轨道的C∞ Koopman特征函数存在并能实现完全分类？
• RQ2 C∞ Koopman特征函数分类结果的适用范围，是否远超解析系统的情形？
• RQ3 主特征函数的唯一性在向量场的小扰动下是否具有鲁棒性？
• RQ4 在C∞情形下，等稳态与等稳态坐标的存 在性与唯一性是否可通用保证？
• RQ5 ∞-非共振在确保特征函数分类的完备性与唯一性中起着何种精确作用？

主要发现

• 对于具有吸引性双曲不动点的典型C∞向量场，其C∞ Koopman特征函数被完全分类为特征函数与其复共轭的有限线性组合。
• 该分类在通用条件下成立——即在C∞向量场的开稠密集上——前提是线性化系统与其伴随之间满足∞-非共振。
• 主特征函数由其在不动点处的初始导数唯一确定，且可通过涉及时间平均可观测量的极限过程构造。
• 对于周期轨道，特征函数包含一个相位特征函数ψθ，其特征值为i2π/τ，其余所有特征函数均为ψθ与稳定子空间特征函数的有限乘积组合。
• 该结果将已知的解析系统分类结果推广至光滑（C∞）情形，表明Koopman特征函数的结构性质在通用扰动下具有鲁棒性。
• 先前存在性定理中的谱扩散条件在C∞情形下自动满足，因此除∞-非共振外无需额外假设。