[论文解读] Linearizability of flows by embeddings

Matthew D. Kvalheim, Philip Arathoon|ArXiv.org|May 29, 2023

Mathematical Biology Tumor Growth被引用 4

一句话总结

本文建立了通过光滑或拓扑嵌入到有限维欧几里得空间中，对连续时间动力系统实现全局线性化的必要与充分条件。研究表明，当且仅当流是紧致不变流形上光滑环作用的一个1-参数子群时，可通过光滑嵌入实现线性化；而对于连续嵌入，条件扩展至具有有限多个轨道类型的紧致不变集，揭示了数据驱动Koopman算子方法在基本拓扑与对称性约束下的本质限制。

ABSTRACT

We consider the problem of determining the class of continuous-time dynamical systems that can be globally linearized in the sense of admitting an embedding into a linear system on a higher-dimensional Euclidean space. We solve this problem for dynamical systems on connected state spaces that are either compact or contain at least one nonempty compact attractor, obtaining necessary and sufficient conditions for the existence of linearizing $C^k$ embeddings for $k\in \mathbb{N}_{\geq 0}\cup \{\infty\}$. Corollaries include (i) several checkable necessary conditions for global linearizability and (ii) extensions of the Hartman-Grobman and Floquet normal form theorems beyond the classical settings. Our results open new perspectives on linearizability by establishing relationships to symmetry, topology, and invariant manifold theory.

研究动机与目标

• 确定连续时间动力系统在何种条件下可通过嵌入到有限维欧几里得空间中实现全局线性化。
• 识别在吸引子域和紧致不变集中，线性化可实现性的拓扑与对称性障碍。
• 阐明假设存在有限维线性化嵌入的数据驱动Koopman算子方法的理论极限。
• 解决文献中关于在紧致流形上存在孤立平衡点时线性化可能性的模糊性问题。
• 为评估基于机器学习的Koopman方法在动力系统中的可行性提供严格理论基础。

提出的方法

• 利用微分拓扑与李群理论，刻画可嵌入到R^n上线性流中的光滑流。
• 应用若尔当代数标准型定理分析线性流的渐近行为，并推导吸引盆的拓扑约束。
• 采用单位分解构造与李雅普诺夫型函数，将局部线性化映射拼接为全局光滑嵌入。
• 通过复合映射F = (F₁∘P, F₀)引入正则性论证，确保嵌入的单射性与正则性。
• 利用隐函数定理与流不变性，通过前向动力学证明全局嵌入的单射性。
• 依赖全局吸引子与收缩映射的存在性，将状态空间分解为稳定与瞬态区域，以构建嵌入。

实验结果

研究问题

• RQ1 在紧致不变流形X上的光滑动力系统在何种条件下可通过光滑嵌入R^n实现线性化？
• RQ2 在紧致不变集上，连续流在何种条件下可通过拓扑嵌入实现线性化？会产生哪些拓扑或对称性约束？
• RQ3 在吸引子域上，流的线性化所需满足的必要与充分条件是什么，特别是当吸引盆并非整个流形时？
• RQ4 孤立平衡点如何影响光滑线性化的可能性？会引出哪些维数或拓扑限制？
• RQ5 本文的理论结果在多大程度上限制了假设存在有限维线性化嵌入的数据驱动Koopman算子方法的应用？

主要发现

• 在紧致不变流形X上的光滑流，当且仅当它是X上光滑环作用的一个1-参数子群时，可通过光滑嵌入实现线性化。
• 若X为奇数维且流至少含有一个孤立平衡点，则不存在光滑线性化嵌入。
• 当X为2维且仅含孤立平衡点时，仅当X微分同胚于2-环面、2-球面、克莱因瓶或实射影平面时，才可能通过光滑嵌入实现线性化。
• 在连续情形下，紧致不变集上的流可通过拓扑嵌入实现线性化，当且仅当它是具有有限多个轨道类型的连续环作用的一个1-参数子群。
• 在光滑吸引子域情形下，存在一个正则、单射且局部浸入的映射F: X → R^n，满足F∘Φ^t = exp(Bt)∘F，该条件是线性化的必要与充分条件。
• 若系统不满足这些条件，则表明数据驱动Koopman方法存在根本性限制，因为此类嵌入在不放松光滑性、连续性或单射性时无法存在。