关于寻找非线性系统不变子空间通用方法的技术问询

这真是个问到点子上的问题——不变子空间（或者更准确地说，非线性系统里的不变流形，因为线性子空间只是特例）对分析系统的长期行为、降维简化问题太关键了，但遗憾的是，非线性系统不像线性系统那样有一套放之四海而皆准的通用方法。不过我们有不少针对性的策略，能覆盖大多数常见的场景：

• 代数不变流形的构造（核心思路）
  假设我们要找的不变集合由代数方程 $g(x_1, x_2, ..., x_n) = 0$ 定义，那么这个集合是不变的核心条件是：只要初始点满足 $g(x(0))=0$，那么对所有时间$t$，$g(x(t))=0$。对$t$求导就能推导出关键的约束：当 $g(x)=0$ 时，$\dot{g}(x(t)) = \nabla g(x) \cdot f(x) = 0$ 必须成立。
  举个直观的例子：哈密顿系统中的能量面 $H(x,p)=E$，就是因为能量对时间的导数 $\dot{H} = \nabla H \cdot (-\nabla_p H, \nabla_x H) = 0$，所以每个能量面都是全局不变的。

• 利用系统的对称性与李群
  如果系统具有某种对称性（比如旋转对称、平移对称、镜像对称），那么对称变换下的轨道对应的集合往往是不变子空间/流形。比如一个绕z轴旋转不变的系统，所有以z轴为中心的圆柱面（$x^2 + y^2 = C$）都是不变的——因为初始在圆柱面上的点，运动过程中不会离开这个面。李群的工具可以帮我们从系统的对称群系统地生成这类不变流形，这在物理、力学系统里特别好用。

• 局部不变流形的存在性与构造
  对于在平衡点附近的非线性系统，我们可以用中心流形定理、稳定/不稳定流形定理来确定局部的不变流形。这些定理保证了在平衡点附近存在这样的流形，而且很多时候可以通过迭代法来逼近它们的表达式。虽然这是局部结果，但对于分析平衡点附近的系统行为（比如分支、稳定性）已经足够。

• 特殊结构非线性系统的专属方法
  有些具有特殊结构的非线性系统，我们有更直接的方法：

  • 哈密顿系统：所有首次积分（运动常数）的水平集都是不变流形，多个首次积分的公共零点集也是不变的
  • 梯度系统：如果能找到李雅普诺夫函数，其水平集在满足一定条件时会是不变的
  • 完全可积系统：存在$n$个对合的首次积分，它们的公共水平集就是$n$维的不变流形，系统的运动完全限制在这些流形上

要强调的是：虽然没有能找出所有不变子空间的通用算法，但结合系统的代数结构、物理意义、对称性这些信息，上面的方法足以应对绝大多数实际遇到的问题。

备注：内容来源于stack exchange，提问作者Mani