平面微分系统中，同宿环内部能否存在双曲不动点？

嘿，这个问题问到点子上了！咱们先从你提到的经典例子说起，再一步步理清核心结论：

已知中心型稳定性的不动点（特征值为纯虚数）可存在于双曲鞍点的同宿环内部，例如哈密顿量H(x,y) = \frac{1}{2}(y^{2}-x^{2}) + x^{3}中，原点处的双曲鞍点的“鱼形”同宿环包围着(1/3, 0)处的中心型不动点。

核心结论：双曲不动点不可能位于双曲鞍点的同宿环内部 #

这背后有几个关键的动力学和拓扑依据，咱们拆开来聊：

• 拓扑不变区域的限制：双曲鞍点的同宿环是一条闭轨，它把平面严格分成内部和外部两个不变区域——内部的轨线永远不会跑到外部，外部的也进不来。而双曲不动点（不管是汇、源还是鞍点）都有明确的吸引/排斥或鞍点流形性质，和同宿环内部的动力学完全不兼容。
• 双曲不动点的动力学矛盾：
  • 如果内部是双曲汇（特征值实部全负），所有内部轨线都应该趋向这个汇，但同宿环本身是鞍点的稳定流形与不稳定流形重合的轨线，鞍点的稳定流形是指向鞍点的，这就出现了矛盾——轨线没法同时趋向汇和鞍点。
  • 如果内部是双曲源（特征值实部全正），所有内部轨线都会远离源，但同宿环是封闭的边界，轨线不可能跑出内部，这也和源的排斥性冲突。
  • 要是内部是双曲鞍点，那就更不对了——根据Poincaré指数公式，平面闭轨（包括同宿环）内部所有不动点的指数之和等于1。双曲鞍点的指数是-1，单个鞍点的指数和是-1，完全不符合公式要求；而中心/汇/源的指数都是1，刚好满足和为1的条件，这也是你提到的中心型不动点能被包围的原因之一。
• 哈密顿系统的特殊验证：在你举的哈密顿系统例子里，同宿环是一个能量水平集，内部的中心型不动点周围是一系列周期轨，能量都低于同宿环的能量，完美适配同宿环的边界约束。但双曲不动点的能量附近不存在这样的周期轨结构，没法形成封闭的同宿环把它包在里面。

总的来说，从拓扑约束、动力学行为到指数理论，都明确否定了双曲不动点位于双曲鞍点同宿环内部的可能性。

内容的提问来源于stack exchange，提问作者Alex