更改

不动点 (查看源代码)

2026年1月4日 (日) 17:11的版本

删除2,053字节、 2026年1月4日 (星期日)

无编辑摘要

第101行：第101行：

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

−

~~=简介=~~

−

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

−

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

−

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

−

~~== 问题背景 ==~~

−

* 给定一个自治动力系统，其长期行为如何？系统是否会趋向于某个静止状态？如果是，哪些静止状态是稳定的（鲁棒的），哪些是不稳定的（脆弱的）？

−

* 求解微分方程往往困难甚至不可能，需要一种不依赖精确解就能定性预测系统行为的方法。

−

~~== 核心思想==~~

−

* '''几何视角'''：

−

* '''不动点的定义'''：

−

* '''稳定性问题'''：

−

~~=主要内容=~~

−

~~==定义==~~

−

~~==几何图像：向量场与相图==~~

−

~~==稳定性分析==~~

−

~~=== 图形化判据（几何稳定性） ===~~

−

~~=== 线性稳定性分析（解析判据） ===~~

−

~~==势函数框架下的诠释==~~

−

~~=相关概念与推广=~~

−

* '''高维不动点'''：在n维系统 <math>\dot{x} = f(x)</math>中，概念类似，但稳定性由雅可比矩阵的特征值决定，类型更丰富（鞍点、结点、焦点等）

−

* '''分岔''': 当系统参数变化时，不动点的数量或稳定性发生突然变化的现象（如鞍结分岔、跨临界分岔、叉式分岔）

−

* '''离散系统的不动点''':

−

* '''极限环''': 在二维及以上系统中，除了不动点，系统还可能趋向于一个孤立的周期轨道，即极限环，这是一维系统所没有的复杂行为。

王志鹏

142

个编辑