“线性系统”的版本间的差异

2026年6月5日 (五) 18:09的版本

在数学中，线性系统（Linear System）是指系统的输出变化与输入变化成比例，并且系统内部各要素之间满足叠加原理（Superposition Principle）^[1]^[2]的系统。叠加原理包括两个基本性质：齐次性和可加性。也就是说，如果某一输入产生某一响应，那么该输入按比例放大或缩小后，系统响应也会按相同比例变化；如果多个输入同时作用于系统，则系统的总响应等于各个输入单独作用时响应的代数和。因此，线性系统的整体行为可以由局部行为组合得到，通常比非线性系统更加直观、规则且易于分析和控制。

当这种线性关系进一步用于描述系统状态随时间的演化时，就得到线性动力系统（Linear Dynamical System）。与一般线性系统相比，线性动力系统更强调“状态如何变化”以及“当前状态如何决定未来状态”。因此，线性动力系统可以看作线性系统在时间演化问题中的具体形式^[1]^[3]。

定义

在动力学语境下，线性系统通常是研究多维连续动力系统的基本起点。一般地，n 维线性常系数微分方程组可以写成如下矩阵形式^[4]：

[math]\displaystyle{ \frac{d\mathbf{x}}{dt}=A\mathbf{x} }[/math]

其中，[math]\displaystyle{ \mathbf{x}\in\mathbb{R}^n }[/math]表示系统的状态向量，A 为常数矩阵，用于描述系统内部各状态变量之间的线性耦合关系。该方程表明，系统状态的变化率由当前状态经过矩阵 A 的线性变换决定。

线性系统的一个核心优势在于，它们往往存在解析解。例如，对于上述常系数线性系统，其解可以形式化地写为

[math]\displaystyle{ \mathbf{x}(t)=e^{At}\mathbf{x}(0) }[/math]

其中，x(0) 为初始状态，[math]\displaystyle{ e^{At} }[/math] 为矩阵指数。通过分析矩阵 A 的特征值和特征向量，可以进一步研究系统的稳定性、振荡行为、相轨迹结构以及长期演化趋势^[4]。

性质

向量场与相平面

向量场：方程的几何映射

线性动力系统不仅可以表示为代数意义上的矩阵微分方程，也可以理解为状态空间中的几何结构。对于连续时间系统 \dot{\mathbf{x}}=A\mathbf{x}，每一个状态点 \mathbf{x}\in\mathbb{R}^n 都通过矩阵 A 对应一个速度向量 \dot{\mathbf{x}}，表示系统在该点处的瞬时变化方向和变化速率。所有状态点上的速度向量共同构成系统的'''向量场'''，用于描述系统在状态空间中的整体流动趋势。^[5]。

相空间

由系统全部状态变量构成的几何空间称为'''相空间'''。给定初始状态 \mathbf{x}(0)=\mathbf{x}_0 后，系统状态会随时间 t 在相空间中演化，其描绘出的曲线称为'''相轨迹'''。相轨迹反映了系统从不同初始状态出发后的演化路径，是分析系统稳定性、振荡行为和长期趋势的重要工具。在二维情形下，相空间通常称为'''相平面'''。^[5]

定性分析

在线性动力系统的研究中，分析重点不仅在于求出显式解 \mathbf{x}(t)，也在于从状态空间中的整体轨迹结构理解系统的宏观行为。通过考察相轨迹的几何形状、流动方向及其与平衡点的关系，可以在不直接求解方程的情况下，判断系统的稳定性、振荡性和长期演化趋势。对于低维系统，这些性质常可通过相图直观呈现；对于高维系统，则通常结合特征值、特征向量及不变子空间进行分析。^[5]

不动点与稳定性

在线性动力系统中，除了考察状态轨迹在相空间中的整体分布，另一个核心问题是系统在平衡状态附近的局部演化行为。对于连续时间系统 \dot{\mathbf{x}}=A\mathbf{x}，若某一状态 \mathbf{x}^\ast 满足 A\mathbf{x}^\ast=\mathbf{0}，则称其为系统的'''不动点'''或'''平衡点'''。在齐次线性系统中，原点 \mathbf{x}=\mathbf{0} 总是一个平衡点；若矩阵 A 非奇异，则原点是唯一平衡点。系统在平衡点附近的轨迹走向决定了其稳定性，例如轨迹趋向平衡点表示渐近稳定，远离平衡点则表示不稳定。^[5]

稳定性的层级分类

在线性系统中，常用的稳定性概念包括：

吸引的 (Attracting)：若从不动点附近出发的轨迹在 [math]\displaystyle{ t\to\infty }[/math] 时都收敛到该点。

李雅普诺夫稳定 (Lyapunov stable)：若任意足够靠近不动点的初始条件产生的轨迹，在未来始终保持在给定的较小邻域内。

渐近稳定 (Asymptotically stable)：若一个不动点同时满足上述两个条件。

中性稳定 (Neutrally stable)：轨迹始终保持在平衡点附近但不向其收敛（如无阻尼谐振子的闭合椭圆）。

不稳定 (Unstable)：无论扰动多么微小，轨迹都可能逐渐远离平衡点。

在线性化和非线性系统分析中的作用

尽管现实世界中的许多系统具有非线性特征，但线性系统在非线性系统分析中仍然具有基础性作用。一个重要原因是，许多非线性动力系统在平衡点或不动点附近的局部行为，可以通过相应的线性动力系统近似描述。

设一个连续时间非线性动力系统^[5]为

[math]\displaystyle{ \frac{d\mathbf{x}}{dt}=\mathbf{F}(\mathbf{x}) }[/math]

其中，[math]\displaystyle{ \mathbf{x}\in\mathbb{R}^n }[/math] 为状态向量，[math]\displaystyle{ \mathbf{F}(\mathbf{x}) }[/math] 为非线性向量场。若 [math]\displaystyle{ \mathbf{x}^\ast }[/math] 是系统的不动点，即

[math]\displaystyle{ \mathbf{F}(\mathbf{x}^\ast)=\mathbf{0} }[/math]

则在该点附近可令

[math]\displaystyle{ \boldsymbol{\xi}=\mathbf{x}-\mathbf{x}^\ast }[/math]

通过泰勒展开，系统可近似为

[math]\displaystyle{ \frac{d\boldsymbol{\xi}}{dt}=J(\mathbf{x}^\ast)\boldsymbol{\xi} }[/math]

其中

[math]\displaystyle{ J(\mathbf{x}^\ast)=\left.\frac{\partial \mathbf{F}}{\partial \mathbf{x}}\right|_{\mathbf{x}=\mathbf{x}^\ast} }[/math]

称为该非线性系统在不动点处的'''雅可比矩阵'''（Jacobian matrix）。因此，非线性系统在不动点附近的局部行为，通常可以由一个线性常系数系统来近似刻画。

这种方法称为线性化。通过分析雅可比矩阵的特征值，可以判断不动点附近的局部稳定性。例如，若所有特征值的实部均小于零，则该不动点通常是局部稳定的；若存在特征值的实部大于零，则该不动点通常是不稳定的。若特征值为复数，则系统可能表现出振荡、螺旋收敛或螺旋发散等相空间行为。

因此，线性系统不仅本身具有独立的研究价值，也构成了研究非线性动力系统的重要基础。特别是在二维及更高维相空间中，线性系统可以用于刻画稳定节点、鞍点、焦点、中心等典型局部结构。这些结构为理解更复杂的非线性现象，如分岔、极限环和混沌等，提供了基本分析框架^[3]^[5]。

参考文献

↑ ^1.0 ^1.1 Alan V. Oppenheim, Alan S. Willsky, and S. Hamid Nawab, Signals and Systems, 2nd ed., Prentice Hall, 1997.
↑ S. Axler, Linear Algebra Done Right, 3rd ed. Cham, Switzerland: Springer, 2015.
↑ ^3.0 ^3.1 H. K. Khalil, Nonlinear Systems, 3rd ed. Upper Saddle River, NJ, USA: Prentice Hall, 2002.
↑ ^4.0 ^4.1 W. E. Boyce, R. C. DiPrima, and D. B. Meade, Elementary Differential Equations and Boundary Value Problems, 11th ed. Hoboken, NJ, USA: Wiley, 2017.
↑ ^5.0 ^5.1 ^5.2 ^5.3 ^5.4 ^5.5 S. H. Strogatz, 非线性动力学与混沌, 孙梅, 译. 北京, 中国: 机械工业出版社, 2016.

[:0-1] 1.0 ^1.1 Alan V. Oppenheim, Alan S. Willsky, and S. Hamid Nawab, Signals and Systems, 2nd ed., Prentice Hall, 1997.

[:1-2] S. Axler, Linear Algebra Done Right, 3rd ed. Cham, Switzerland: Springer, 2015.

[:2-3] 3.0 ^3.1 H. K. Khalil, Nonlinear Systems, 3rd ed. Upper Saddle River, NJ, USA: Prentice Hall, 2002.

[:3-4] 4.0 ^4.1 W. E. Boyce, R. C. DiPrima, and D. B. Meade, Elementary Differential Equations and Boundary Value Problems, 11th ed. Hoboken, NJ, USA: Wiley, 2017.

[:4-5] 5.0 ^5.1 ^5.2 ^5.3 ^5.4 ^5.5 S. H. Strogatz, 非线性动力学与混沌, 孙梅, 译. 北京, 中国: 机械工业出版社, 2016.

[1]

[2]

[3]

[4]

[5]

@@ 第18行： / 第18行： @@
 === 向量场与相平面 ===
 ==== 向量场：方程的几何映射 ====
-<nowiki>从前述谐振子的例子可以看出，当线性系统被抽象为 [math]\displaystyle{ \dot{\mathbf{x}}=A\mathbf{x} }[/math] 的形式后，它便超越了纯代数意义下的矩阵微分方程，映射为几何空间中的一个动态结构。对于二维空间中的任意状态点 [math]\displaystyle{ (x,v) }[/math]，矩阵乘法 [math]\displaystyle{ A\mathbf{x} }[/math] 都会赋予该点一个确定的变化速度与方向向量 [math]\displaystyle{ (\dot{x},\dot{v}) }[/math]。这些密布于空间各点、指示着系统瞬时演化趋势的箭头，共同构成了该系统的</nowiki><nowiki>'''</nowiki>向量场<nowiki>'''</nowiki>（Vector Field）。向量场直观地刻画了系统在全局各个状态下的“流速”与“流向”，是理解二维线性系统整体行为的基础<ref name=":4">S. H. Strogatz, 非线性动力学与混沌, 孙梅, 译. 北京, 中国: 机械工业出版社, 2016.</ref>。
+线性动力系统不仅可以表示为代数意义上的矩阵微分方程，也可以理解为状态空间中的几何结构。对于连续时间系统 \dot{\mathbf{x}}=A\mathbf{x}，每一个状态点 \mathbf{x}\in\mathbb{R}^n 都通过矩阵 A 对应一个速度向量 \dot{\mathbf{x}}，表示系统在该点处的瞬时变化方向和变化速率。所有状态点上的速度向量共同构成系统的<nowiki>'''</nowiki>向量场<nowiki>'''</nowiki>，用于描述系统在状态空间中的整体流动趋势。<ref name=":4">S. H. Strogatz, 非线性动力学与混沌, 孙梅, 译. 北京, 中国: 机械工业出版社, 2016.</ref>。
-==== 相平面与相轨迹 ====
+==== 相空间 ====
-由系统的全部状态变量所张成的几何空间，被称为系统的<nowiki>'''</nowiki>相空间<nowiki>'''</nowiki>（Phase Space）；在二维情况下，特称为<nowiki>'''</nowiki>相平面<nowiki>'''</nowiki>（Phase Plane）。当给定系统一个初始状态 [math]\displaystyle{ (x_0,v_0) }[/math] 时，随着时间 [math]\displaystyle{ t }[/math] 的推移，状态点会顺着向量场的指引在相平面上运动，其描绘出的连续曲线即为系统的<nowiki>'''</nowiki>相轨迹<nowiki>'''</nowiki>（Trajectory）<ref name=":4" />。
+由系统全部状态变量构成的几何空间称为<nowiki>'''</nowiki>相空间<nowiki>'''</nowiki>。给定初始状态 \mathbf{x}(0)=\mathbf{x}_0 后，系统状态会随时间 t 在相空间中演化，其描绘出的曲线称为<nowiki>'''</nowiki>相轨迹<nowiki>'''</nowiki>。相轨迹反映了系统从不同初始状态出发后的演化路径，是分析系统稳定性、振荡行为和长期趋势的重要工具。在二维情形下，相空间通常称为<nowiki>'''</nowiki>相平面<nowiki>'''</nowiki>。<ref name=":4" />
 ==== 定性分析 ====
-在复杂系统的动力学研究中，对二维线性系统的研究重点往往不再局限于求解微分方程的显式时间解析解[math]\displaystyle{ \mathbf{x}(t) }[/math]，更重要的是俯瞰这些轨迹在相平面中的整体拓扑分布。通过考察轨迹的几何形状、流动趋势以及它们与特殊点（不动点）的相对关系，可以在不强求解析解的情况下，直接把握系统的宏观定性行为。
+在线性动力系统的研究中，分析重点不仅在于求出显式解 \mathbf{x}(t)，也在于从状态空间中的整体轨迹结构理解系统的宏观行为。通过考察相轨迹的几何形状、流动方向及其与平衡点的关系，可以在不直接求解方程的情况下，判断系统的稳定性、振荡性和长期演化趋势。对于低维系统，这些性质常可通过相图直观呈现；对于高维系统，则通常结合特征值、特征向量及不变子空间进行分析。<ref name=":4" />
-对于无阻尼弹簧振子而言，对应到相平面上，轨迹不会相交，而是表现为一系列围绕原点（平衡点）的闭合椭圆。这种首尾相连的封闭轨迹，在几何上完美诠释了该保守系统的能量守恒特性与周期性机械振荡<ref name=":4" />。
 === 不动点与稳定性 ===
-<nowiki>在相平面的研究中，除了把握整体轨迹的几何拓扑，另一个核心问题是系统在平衡状态附近的局部演化行为。若系统在某一点处满足 [math]\displaystyle{ \dot{\mathbf{x}}=A\mathbf{x}=\mathbf{0} }[/math]，则称该点为系统的</nowiki><nowiki>'''</nowiki>不动点<nowiki>'''</nowiki>（Fixed point）或<nowiki>'''</nowiki>平衡点<nowiki>'''</nowiki>（Equilibrium point）<ref name=":4" />。对于非奇异的二维线性系统而言，原点 [math]\displaystyle{ (0,0) }[/math] 通常是最基本的不动点。
+在线性动力系统中，除了考察状态轨迹在相空间中的整体分布，另一个核心问题是系统在平衡状态附近的局部演化行为。对于连续时间系统 \dot{\mathbf{x}}=A\mathbf{x}，若某一状态 \mathbf{x}^\ast 满足 A\mathbf{x}^\ast=\mathbf{0}，则称其为系统的<nowiki>'''</nowiki>不动点<nowiki>'''</nowiki>或<nowiki>'''</nowiki>平衡点<nowiki>'''</nowiki>。在齐次线性系统中，原点 \mathbf{x}=\mathbf{0} 总是一个平衡点；若矩阵 A 非奇异，则原点是唯一平衡点。系统在平衡点附近的轨迹走向决定了其稳定性，例如轨迹趋向平衡点表示渐近稳定，远离平衡点则表示不稳定。<ref name=":4" />
 ==== 稳定性的层级分类 ====
 在线性系统中，常用的稳定性概念包括：
@@ 第38行： / 第36行： @@
 * 不稳定 (Unstable)：无论扰动多么微小，轨迹都可能逐渐远离平衡点。
-==== 基于特征值、迹与行列式的分类 ====
-对于二维线性系统，局部几何结构可以由矩阵 [math]\displaystyle{ A }[/math] 的特征值完全刻画。设矩阵 [math]\displaystyle{ A }[/math] 的两个特征值为 [math]\displaystyle{ \lambda_1,\lambda_2 }[/math]，其迹（Trace）与行列式（Determinant）分别为：
-[math]\displaystyle{ T=\lambda_1+\lambda_2,\quad \Delta=\lambda_1\lambda_2 }[/math]
-根据特征方程 [math]\displaystyle{ \lambda^2-T\lambda+\Delta=0 }[/math]，由求根公式可得：
-<nowiki>[math]\displaystyle{ \lambda_{1,2}=\frac{T\pm\sqrt{T^2-4\Delta}}{2} }[/math]</nowiki>
+[[文件:二维线性系统不动点分类.png|缩略图|链接=https://wiki.swarma.org/index.php/%E6%96%87%E4%BB%B6:%E4%BA%8C%E7%BB%B4%E7%BA%BF%E6%80%A7%E7%B3%BB%E7%BB%9F%E4%B8%8D%E5%8A%A8%E7%82%B9%E5%88%86%E7%B1%BB.png]]
-因此，二维线性系统不动点的类型可统一由 [math]\displaystyle{ T }[/math]、[math]\displaystyle{ \Delta }[/math] 以及判别式 [math]\displaystyle{ T^2-4\Delta }[/math] 来决定<ref name=":4" />。[[文件:二维线性系统不动点分类.png|缩略图|链接=https://wiki.swarma.org/index.php/%E6%96%87%E4%BB%B6:%E4%BA%8C%E7%BB%B4%E7%BA%BF%E6%80%A7%E7%B3%BB%E7%BB%9F%E4%B8%8D%E5%8A%A8%E7%82%B9%E5%88%86%E7%B1%BB.png]]
 == 在线性化和非线性系统分析中的作用 ==
 尽管现实世界中的许多系统具有非线性特征，但线性系统在非线性系统分析中仍然具有基础性作用。一个重要原因是，许多非线性动力系统在平衡点或不动点附近的局部行为，可以通过相应的线性动力系统近似描述。
@@ 第76行： / 第66行： @@
 因此，线性系统不仅本身具有独立的研究价值，也构成了研究非线性动力系统的重要基础。特别是在二维及更高维相空间中，线性系统可以用于刻画稳定节点、鞍点、焦点、中心等典型局部结构。这些结构为理解更复杂的非线性现象，如分岔、[https://wiki.swarma.org/index.php/%E6%9E%81%E9%99%90%E7%8E%AF 极限环]和混沌等，提供了基本分析框架<ref name=":2" /><ref name=":4" />。
-== 经典实例：二维谐振子系统 ==
-为了更直观地理解线性系统的降维与重构，可以以经典的无阻尼弹簧振子为例<ref>J. R. Taylor, Classical Mechanics. Sausalito, CA, USA: University Science Books, 2005.</ref>。设一个质量为 [math]\displaystyle{ m }[/math] 的物体连接在劲度系数为 [math]\displaystyle{ k }[/math] 的弹簧上，其偏离平衡位置的位移记为 [math]\displaystyle{ x }[/math]。根据牛顿第二定律与胡克定律，该系统满足以下二阶常微分方程：
-[math]\displaystyle{ m\ddot{x}+kx=0 }[/math]
-为了将其转化为动力系统分析中标准的一阶方程组形式，引入速度变量 [math]\displaystyle{ v=\dot{x} }[/math]。此时，原方程可降阶并改写为：
-[math]\displaystyle{ \dot{v}=-\frac{k}{m}x }[/math]
-联立上述两式，即可得到该二维线性系统的矩阵表达形式：
-[math]\displaystyle{ \begin{pmatrix} \dot{x}\\ \dot{v} \end{pmatrix}=\begin{pmatrix} 0 & 1\\ -\frac{k}{m} & 0 \end{pmatrix}\begin{pmatrix} x\\ v \end{pmatrix} }[/math]
-从该演化方程可以看出，要完全确定系统未来的状态，仅仅知道位置 [math]\displaystyle{ x }[/math] 这一物理量是不够的，还必须掌握系统当下的速度 [math]\displaystyle{ v }[/math]。因此，描述该系统的自然状态空间不再是一维的直线，而是由位置与速度构成的二维<nowiki>'''</nowiki>相平面<nowiki>'''</nowiki>（Phase plane），即 [math]\displaystyle{ (x,v) }[/math] 空间<ref name=":4" />。
-== 跨学科案例：罗密欧与朱丽叶的恋爱动力学<ref name=":4" /> ==
-二维线性系统不仅可以描述机械振动、电路演化等物理过程，也可以作为抽象模型刻画个体之间的相互作用。为了说明线性系统分类在不同学科中的普适性，非线性动力学研究者 Steven Strogatz 引入了一个经典的“恋爱动力学”（Love Dynamics）模型，用以描述两个人情感状态之间的线性反馈关系。
-设 [math]\displaystyle{ R(t) }[/math] 表示时刻 [math]\displaystyle{ t }[/math] 罗密欧对朱丽叶的情感强度，[math]\displaystyle{ J(t) }[/math] 表示朱丽叶对罗密欧的情感强度，其中正值表示爱慕，负值表示厌恶。则两人的情感互动可表示为如下二维线性系统：
-[math]\displaystyle{ \dot{R}=aR+bJ }[/math]
-[math]\displaystyle{ \dot{J}=cR+dJ }[/math]
-写成矩阵形式即：
-[math]\displaystyle{ \begin{pmatrix} \dot{R}\\ \dot{J} \end{pmatrix}=\begin{pmatrix} a & b\\ c & d \end{pmatrix}\begin{pmatrix} R\\ J \end{pmatrix} }[/math]
-其中，参数 [math]\displaystyle{ a }[/math] 和 [math]\displaystyle{ d }[/math] 描述个体对自身当前情感状态的内在反应；参数 [math]\displaystyle{ b }[/math] 和 [math]\displaystyle{ c }[/math] 描述双方对彼此情感变化的外部响应方式。不同参数符号和大小的组合，对应于不同的互动模式和长期演化结果。这一模型说明，即使系统变量来自社会或心理意义上的抽象量，其数学分析仍然可以采用与物理系统相同的线性动力学框架。
-=== 特例分析：相爱相杀的循环 ===
-作为一个典型情形，考虑如下系统：
-[math]\displaystyle{ \dot{R}=bJ,\quad \dot{J}=cR }[/math]
-其中，[math]\displaystyle{ b>0 }[/math]，[math]\displaystyle{ c<0 }[/math]。这表示罗密欧主要依据朱丽叶的态度来调整自己：朱丽叶越爱他，他越热情；而朱丽叶则对罗密欧的接近表现出回避倾向：罗密欧越热情，她越倾向于后退。此时系统矩阵为：
-[math]\displaystyle{ A=\begin{pmatrix} 0 & b\\ c & 0 \end{pmatrix} }[/math]
-计算其迹与行列式可得：
-[math]\displaystyle{ T=0,\quad \Delta=-bc>0 }[/math]
-根据二维线性系统的不动点分类，该系统的特征值为一对纯虚数，原点对应于一个<nowiki>'''中心'''</nowiki>（Center）。在相平面上，系统轨迹表现为围绕原点的闭合曲线。这意味着两人的情感状态既不会收敛到静止平衡，也不会无限发散，而是呈现出周期性的循环变化。
-这一案例展示了动力系统分析中的结构相似性：二维线性系统的不动点分类不仅可以用于解释弹簧振子等经典物理系统中的周期振动，也可以用于刻画社会或心理模型中的相互作用关系。在数学上，这类问题都可以归结为对系统矩阵的特征值、迹与行列式的分析；在几何上，它们都可以通过相平面中的轨迹结构进行直观理解。
 == 参考文献 ==
 <references />