142
个编辑
更改
跳到导航
跳到搜索
第1行：
第1行： − + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 第8行：
第117行： − =简介=+
无编辑摘要
不动点是动力系统理论中的核心概念，指系统状态变量的变化率为零、系统将保持静止的状态。对于一阶自治系统 <math>\dot{x} = f(x)</math>，不动点 <math>x^*</math> 满足 <math>f(x^*)=0</math>。它是系统长期行为的“吸引子”或“排斥子”，其稳定性分析是理解系统动力学的关键。不动点的研究构成了从线性系统到非线性系统、从连续到离散动力系统分析的基石。
不动点是动力系统理论中的核心概念，指系统状态变量的变化率为零、系统将保持静止的状态。对于一阶自治系统 <math>\dot{x} = f(x)</math>，不动点 <math>x^*</math> 满足 <math>f(x^*)=0</math>。它是系统长期行为的“吸引子”或“排斥子”，其稳定性分析是理解系统动力学的关键。不动点的研究构成了从线性系统到非线性系统、从连续到离散动力系统分析的基石。
=历史=
=不动点的定义=
对于一个自治动力系统（常微分方程）：
<math>\frac{x}{dt} = f(x)， x \in \mathcal{R}^n</math>
不动点 <math>x^*</math>
满足：
<math>f(x^*)=0</math>
在离散映射系统<math>x_{n+1} = g(x_n)</math>中，不动点满足<math>x^* = g(x^*)</math>
=不动点的分类=
==非线性动力学与混沌==
===连续系统（常微分方程）中的不动点===
通过对系统在不动点附近线性化（雅可比矩阵) 的特征值）来判断稳定性：
====结点====
* 稳定
特征值均为负实数（或复实部全负，且无虚部或虚部很小），相轨迹沿不变方向趋于该点。
* 不稳定
特征值均为正实数，相轨迹远离该点。
====鞍点====
特征值中有些实部为正，有些为负（至少一个正一个负），该点不稳定，但在某些方向吸引，某些方向排斥。
====焦点====
* 稳定
特征值为复数且实部全负，相轨迹螺旋趋于该点。
* 不稳定
特征值为复数且实部全正，相轨迹螺旋远离该点。
====中心点====
特征值为纯虚数（实部为零），相轨迹为闭合曲线环绕该点，稳定性由高阶项决定（线性化判断为中性，非线性可能稳定/不稳定）。
===离散映射中的不动点===
<math>x_{n+1} = g(x_n)</math>
# 吸引（稳定）：所有特征值的模<math>|\lambda|<1</math>
# 排斥（不稳定）：至少有一个特征值的模<math>|\lambda|>1</math>
# 鞍点：有些<math>|\lambda|<1</math>有些<math>|\lambda|>1</math>
# 中性（边缘）：有<math>|\lambda|=1</math>的情况，需用非线性分析。
===特殊情况与进一步概念===
====退化不动点====
当雅可比矩阵有零特征值或纯虚数且非线性项起决定作用时，线性稳定性理论失效，需用中心流形定理或正规形理论分析。
====非双曲不动点====
至少有一个特征值实部为零（连续系统），或模等于 1（离散系统），此时稳定性由高阶项决定。
====全局稳定性与吸引子====
若所有轨迹都趋于某稳定不动点，则该不动点是全局吸引子（常见于梯度系统）。
====多不动点与分岔====
非线性系统常有多个不动点，参数变化时不动点可能产生、消失或改变稳定性，称为分岔（如鞍结分岔、叉式分岔、霍普夫分岔）。
==不动点分析方法==
# 线性稳定性分析（雅可比矩阵）
# 李雅普诺夫函数（直接法，适用于非线性全局稳定性）
# 中心流形定理
# 数值方法（如牛顿法找不动点，数值积分验证稳定性）
==其他==
===自指===
# 如果“算”指的是“计算过程”，那么自指不是算法，而是不动点计算或定义中的关键要素。
# 如果“算”指的是“等价于”，那么可以说：在计算机科学和指称语义的核心模型中，一个（良定义的）自指（递归）的数学含义，就是一个不动点。自指是语法，不动点是语义。
# 自指是产生不动点现象和结构的源泉与表现形式，而不动点定理是理解和驯服自指（使其有意义、不矛盾）的数学工具和框架。
===纳什均衡作为不动点===
纳什均衡本质上就是“最优反应对应”的不动点。纳什的证明将博弈均衡的存在性问题，优雅地转化并依赖于一个深刻的不动点定理
===其他博弈论概念中的不动点===
# 理性化策略与迭代剔除：在迭代剔除劣策略的过程中，每一步剩下的策略集可以看作一个映射的不动点（或收敛于一个不动点），即“在相信对方也会在剩余策略集中理性选择的前提下，我的理性选择集”。
# 相关均衡：也可以被刻画为某个适当映射的不动点。
# 演化稳定策略：在复制者动态等演化博弈模型中，ESS常常对应于动态系统的不动点（平衡点）。研究其稳定性就是研究不动点附近的动态行为。
# 讨价还价与谈判解：纳什谈判解等合作博弈的解概念，通常也可以通过构造一个满足某些公理的映射，然后寻找其不动点来刻画。
# 匹配理论：著名的“延迟接受算法”所找到的稳定匹配，可以被证明是某个定义在匹配集合上映射的不动点。
=简介=
* '''早期萌芽'''： 不动点的思想可追溯至牛顿力学中对平衡状态（如单摆静止于最低点或最高点）的物理研究。
* '''早期萌芽'''： 不动点的思想可追溯至牛顿力学中对平衡状态（如单摆静止于最低点或最高点）的物理研究。
* '''现代发展'''： 20世纪，随着李雅普诺夫稳定性理论和动力系统理论的成熟，不动点的分类（如鞍点、结点、焦点）、稳定性判据（线性化、李雅普诺夫函数）以及其与分岔、混沌等全局现象的联系得到了系统性的研究，成为现代非线性科学的基础语言。
* '''现代发展'''： 20世纪，随着李雅普诺夫稳定性理论和动力系统理论的成熟，不动点的分类（如鞍点、结点、焦点）、稳定性判据（线性化、李雅普诺夫函数）以及其与分岔、混沌等全局现象的联系得到了系统性的研究，成为现代非线性科学的基础语言。
== 问题背景 ==
== 问题背景 ==