更改

添加2,724字节 、 2026年4月24日 (星期五)
未完成的版本2-线性系统,只是基本上的框架完成,还在修改阶段
第80行: 第80行:     
因此,二维线性系统不动点的类型可统一由 $T, \Delta$ 以及判别式 $T^2 - 4\Delta$ 来决定。
 
因此,二维线性系统不动点的类型可统一由 $T, \Delta$ 以及判别式 $T^2 - 4\Delta$ 来决定。
 +
[[文件:二维线性系统不动点分类.png|缩略图]]
    
== 在线性化和非线性系统分析中的作用 ==
 
== 在线性化和非线性系统分析中的作用 ==
−
管现实世界中的许多系统具有非线性特征,但线性系统在非线性系统分析中仍然具有基础性作用。一个重要原因是,许多非线性动力系统在平衡点或不动点附近的局部行为,可以通过相应的线性系统近似描述。
+
尽管现实世界中的许多系统具有非线性特征,但线性系统在非线性系统分析中仍然具有基础性作用。一个重要原因是,许多非线性动力系统在平衡点或不动点附近的局部行为,可以通过相应的线性系统近似描述。
    
设一个连续时间非线性动力系统为
 
设一个连续时间非线性动力系统为
第124行: 第125行:     
从该演化方程可以看出,要完全确定系统未来的状态,仅仅知道位置 $x$ 这个物理量是不够的,还必须掌握系统当下的速度 $v$。因此,描述该系统的自然状态空间不再是一维的直线,而是由位置与速度构成的二维\textbf{相平面}(Phase plane),即 $(x, v)$ 空间。
 
从该演化方程可以看出,要完全确定系统未来的状态,仅仅知道位置 $x$ 这个物理量是不够的,还必须掌握系统当下的速度 $v$。因此,描述该系统的自然状态空间不再是一维的直线,而是由位置与速度构成的二维\textbf{相平面}(Phase plane),即 $(x, v)$ 空间。
 +
 +
 +
== 跨学科案例:罗密欧与朱丽叶的恋爱动力学 ==
 +
 +
 +
二维线性系统不仅可以描述机械振动、电路演化等物理过程,也可以作为抽象模型刻画个体之间的相互作用。为了说明线性系统分类在不同学科中的普适性,非线性动力学泰斗 Steven Strogatz 引入了一个经典的“恋爱动力学”(Love Dynamics)模型,用以描述两个人情感状态之间的线性反馈关系。
 +
 +
设 $R(t)$ 表示时刻 $t$ 罗密欧对朱丽叶的情感强度,$J(t)$ 表示朱丽叶对罗密欧的情感强度,其中正值表示爱慕,负值表示厌恶。则两人的情感互动可表示为如下二维线性系统:
 +
 +
$$ \dot{R} = aR + bJ $$
 +
 +
$$ \dot{J} = cR + dJ $$
 +
 +
写成矩阵形式即:
 +
 +
$$ \begin{pmatrix} \dot{R} \\ \dot{J} \end{pmatrix} = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \begin{pmatrix} R \\ J \end{pmatrix} $$
 +
 +
其中,参数 $a, d$ 描述个体对自身当前情感状态的内在反应;参数 $b, c$ 描述双方对彼此情感变化的外部响应方式。不同参数符号和大小的组合,对应于截然不同的“恋爱风格”和长期演化结局。这一模型深刻说明:即使系统的变量来自社会或心理意义上的抽象量,其数学分析仍然遵循与物理系统完全相同的线性动力学框架。
 +
 +
=== 特例分析:相爱相杀的循环 ===
 +
 +
 +
作为一个典型情形,考虑如下系统:
 +
 +
$$ \dot{R} = bJ, \quad \dot{J} = cR $$
 +
 +
其中,$b > 0, c < 0$。这表示罗密欧主要依据朱丽叶的态度来调整自己(正反馈):朱丽叶越爱他,他越热情;而朱丽叶则对罗密欧的接近表现出回避倾向(负反馈):罗密欧越热情,她越想后退。此时系统矩阵为:
 +
 +
$$ A = \begin{pmatrix} 0 & b \\ c & 0 \end{pmatrix} $$
 +
 +
计算其迹与行列式:
 +
 +
$$ T = 0, \quad \Delta = -bc > 0 $$
 +
 +
根据前文的分类判别式,该系统的特征值为一对纯虚数,原点对应于一个\textbf{中心(Center)}。在相平面上,轨迹表现为围绕原点的闭合曲线。这意味着两人的情感状态既不会收敛到平淡的静止平衡,也不会演变为无限发散的狂热,而是呈现出周期性的“爱恨循环”。
 +
 +
这一案例完美地展示了动力学中的“同构性”:二维线性系统的不动点分类不仅能够解释弹簧振子等经典物理系统中的能量守恒与周期振动,也同样适用于刻画社会学中抽象的反作用力。在数学上,这两类问题都归结为对矩阵特征值、迹与行列式的分析;而在几何上,它们都可以通过相平面中的轨迹拓扑得到最直观的解答。
41

个编辑