不动点

不动点是动力系统理论中的核心概念，指系统状态变量的变化率为零、系统将保持静止的状态。对于一阶自治系统 [math]\displaystyle{ \dot{x} = f(x) }[/math]，不动点 [math]\displaystyle{ x^* }[/math] 满足 [math]\displaystyle{ f(x^*)=0 }[/math]。它是系统长期行为的“吸引子”或“排斥子”，其稳定性分析是理解系统动力学的关键。不动点的研究构成了从线性系统到非线性系统、从连续到离散动力系统分析的基石。

不动点的定义

对于一个自治动力系统（常微分方程）： [math]\displaystyle{ \frac{x}{dt} = f(x)， x \in \mathcal{R}^n }[/math]

不动点 [math]\displaystyle{ x^* }[/math] 满足： [math]\displaystyle{ f(x^*)=0 }[/math]

在离散映射系统[math]\displaystyle{ x_{n+1} = g(x_n) }[/math]中，不动点满足[math]\displaystyle{ x^* = g(x^*) }[/math]

不动点的分类

非线性动力学与混沌

连续系统（常微分方程）中的不动点

通过对系统在不动点附近线性化（雅可比矩阵) 的特征值）来判断稳定性：

结点

• 稳定

特征值均为负实数（或复实部全负，且无虚部或虚部很小），相轨迹沿不变方向趋于该点。

• 不稳定

特征值均为正实数，相轨迹远离该点。

鞍点

特征值中有些实部为正，有些为负（至少一个正一个负），该点不稳定，但在某些方向吸引，某些方向排斥。

焦点

• 稳定

特征值为复数且实部全负，相轨迹螺旋趋于该点。

• 不稳定

特征值为复数且实部全正，相轨迹螺旋远离该点。

中心点

特征值为纯虚数（实部为零），相轨迹为闭合曲线环绕该点，稳定性由高阶项决定（线性化判断为中性，非线性可能稳定/不稳定）。

离散映射中的不动点

[math]\displaystyle{ x_{n+1} = g(x_n) }[/math]

1. 吸引（稳定）：所有特征值的模[math]\displaystyle{ |\lambda|\lt 1 }[/math]
2. 排斥（不稳定）：至少有一个特征值的模[math]\displaystyle{ |\lambda|\gt 1 }[/math]
3. 鞍点：有些[math]\displaystyle{ |\lambda|\lt 1 }[/math]有些[math]\displaystyle{ |\lambda|\gt 1 }[/math]
4. 中性（边缘）：有[math]\displaystyle{ |\lambda|=1 }[/math]的情况，需用非线性分析。

特殊情况与进一步概念

退化不动点

当雅可比矩阵有零特征值或纯虚数且非线性项起决定作用时，线性稳定性理论失效，需用中心流形定理或正规形理论分析。

非双曲不动点

至少有一个特征值实部为零（连续系统），或模等于 1（离散系统），此时稳定性由高阶项决定。

全局稳定性与吸引子

若所有轨迹都趋于某稳定不动点，则该不动点是全局吸引子（常见于梯度系统）。

多不动点与分岔

非线性系统常有多个不动点，参数变化时不动点可能产生、消失或改变稳定性，称为分岔（如鞍结分岔、叉式分岔、霍普夫分岔）。

不动点分析方法

1. 线性稳定性分析（雅可比矩阵）

1. 李雅普诺夫函数（直接法，适用于非线性全局稳定性）

1. 中心流形定理

1. 数值方法（如牛顿法找不动点，数值积分验证稳定性）

其他

自指

1. 如果“算”指的是“计算过程”，那么自指不是算法，而是不动点计算或定义中的关键要素。

1. 如果“算”指的是“等价于”，那么可以说：在计算机科学和指称语义的核心模型中，一个（良定义的）自指（递归）的数学含义，就是一个不动点。自指是语法，不动点是语义。

1. 自指是产生不动点现象和结构的源泉与表现形式，而不动点定理是理解和驯服自指（使其有意义、不矛盾）的数学工具和框架。

纳什均衡作为不动点

纳什均衡本质上就是“最优反应对应”的不动点。纳什的证明将博弈均衡的存在性问题，优雅地转化并依赖于一个深刻的不动点定理

其他博弈论概念中的不动点

1. 理性化策略与迭代剔除：在迭代剔除劣策略的过程中，每一步剩下的策略集可以看作一个映射的不动点（或收敛于一个不动点），即“在相信对方也会在剩余策略集中理性选择的前提下，我的理性选择集”。

1. 相关均衡：也可以被刻画为某个适当映射的不动点。

1. 演化稳定策略：在复制者动态等演化博弈模型中，ESS常常对应于动态系统的不动点（平衡点）。研究其稳定性就是研究不动点附近的动态行为。

1. 讨价还价与谈判解：纳什谈判解等合作博弈的解概念，通常也可以通过构造一个满足某些公理的映射，然后寻找其不动点来刻画。

1. 匹配理论：著名的“延迟接受算法”所找到的稳定匹配，可以被证明是某个定义在匹配集合上映射的不动点。

简介

• 早期萌芽： 不动点的思想可追溯至牛顿力学中对平衡状态（如单摆静止于最低点或最高点）的物理研究。

• 理论奠基： 19世纪末，亨利·庞加莱在创立微分方程定性理论时，系统性地将“奇点”（Singular Points）作为研究对象，其中就包括了我们今天所称的不动点（平衡点）。他强调了分析这些点附近轨迹行为的重要性。

• 现代发展： 20世纪，随着李雅普诺夫稳定性理论和动力系统理论的成熟，不动点的分类（如鞍点、结点、焦点）、稳定性判据（线性化、李雅普诺夫函数）以及其与分岔、混沌等全局现象的联系得到了系统性的研究，成为现代非线性科学的基础语言。

问题背景

• 给定一个自治动力系统，其长期行为如何？系统是否会趋向于某个静止状态？如果是，哪些静止状态是稳定的（鲁棒的），哪些是不稳定的（脆弱的）？
• 求解微分方程往往困难甚至不可能，需要一种不依赖精确解就能定性预测系统行为的方法。

核心思想

• 几何视角：
• 不动点的定义：
• 稳定性问题：

相关概念与推广

• 高维不动点：在n维系统 [math]\displaystyle{ \dot{x} = f(x) }[/math]中，概念类似，但稳定性由雅可比矩阵的特征值决定，类型更丰富（鞍点、结点、焦点等）
• 分岔: 当系统参数变化时，不动点的数量或稳定性发生突然变化的现象（如鞍结分岔、跨临界分岔、叉式分岔）
• 离散系统的不动点:
• 极限环: 在二维及以上系统中，除了不动点，系统还可能趋向于一个孤立的周期轨道，即极限环，这是一维系统所没有的复杂行为。