| 第1行: |
第1行: |
| − | '''二维线性动力系统'''是线性动力系统在二维状态空间中的基本形式,且系统状态随时间的演化规律由线性方程决定的动力系统。状态可表示为<math>\mathbf{x}(t)=[x_1(t),x_2(t)]^T</math>,其中<math>x_1(t)</math>和<math>x_2(t)</math>为两个状态变量。连续时间二维线性动力系统通常写作<math>\dot{\mathbf{x}}=A\mathbf{x}</math>,离散时间形式则写作<math>\mathbf{x}_{k+1}=A\mathbf{x}_k</math>,其中 <math>A\in\mathbb{R}^{2\times 2}</math>为系统矩阵,用于描述两个状态变量之间的线性耦合关系。该类系统常用于分析平面相图、振荡行为和稳定性问题<ref>Alan V. Oppenheim, Alan S. Willsky, and S. Hamid Nawab, ''Signals and Systems'', 2nd ed., Prentice Hall, 1997.</ref><ref name=":4">S. H. Strogatz, 非线性动力学与混沌, 孙梅, 译. 北京, 中国: 机械工业出版社, 2016.</ref>。 | + | '''二维线性动力系统'''是[[线性系统|线性动力系统]]在二维状态空间中的基本形式,且系统状态随时间的演化规律由线性方程决定的[[动力系统 Dynamical system|动力系统]]。状态可表示为<math>\mathbf{x}(t)=[x_1(t),x_2(t)]^T</math>,其中<math>x_1(t)</math>和<math>x_2(t)</math>为两个状态变量。连续时间二维线性动力系统通常写作<math>\dot{\mathbf{x}}=A\mathbf{x}</math>,离散时间形式则写作<math>\mathbf{x}_{k+1}=A\mathbf{x}_k</math>,其中 <math>A\in\mathbb{R}^{2\times 2}</math>为[[系统矩阵]],用于描述两个状态变量之间的[[线性耦合]]关系。该类系统常用于分析[[平面相图]]、[[振荡行为]]和[[稳定性问题]]<ref>Alan V. Oppenheim, Alan S. Willsky, and S. Hamid Nawab, ''Signals and Systems'', 2nd ed., Prentice Hall, 1997.</ref><ref name=":4">S. H. Strogatz, 非线性动力学与混沌, 孙梅, 译. 北京, 中国: 机械工业出版社, 2016.</ref>。 |
| | =='''性质<ref name=":4" />'''== | | =='''性质<ref name=":4" />'''== |
| − | ===二维向量场与相平面=== | + | ===[[二维向量场]]与[[相平面]]=== |
| − | 对于二维线性动力系统<math>\dot{\mathbf{x}}=A\mathbf{x}</math>,状态向量可写为<math>\mathbf{x}=(x,y)^T</math>。在相平面中,每一个状态点<math>(x,y)</math>都通过矩阵 A 对应一个速度向量<math>(\dot{x},\dot{y})^T</math>,表示系统在该点处的瞬时变化方向和变化速率。所有状态点上的速度向量共同构成系统的'''向量场'''。向量场直观展示了系统在二维状态空间中的流动趋势,是分析相轨迹、平衡点和稳定性的基础。 | + | 对于二维线性动力系统<math>\dot{\mathbf{x}}=A\mathbf{x}</math>,[[状态向量]]可写为<math>\mathbf{x}=(x,y)^T</math>。在[[相平面]]中,每一个状态点<math>(x,y)</math>都通过矩阵 A 对应一个速度向量<math>(\dot{x},\dot{y})^T</math>,表示系统在该点处的瞬时变化方向和变化速率。所有状态点上的速度向量共同构成系统的'''[[向量场]]'''。[[向量场]]直观展示了系统在[[二维状态空间]]中的流动趋势,是分析[[相轨迹]]、[[平衡点]]和稳定性的基础。 |
| − | ===相轨迹的几何形态=== | + | ===[[相轨迹]]的几何形态=== |
| − | 在二维线性动力系统中,若两个状态变量分别表示位置和速度,则系统状态可写为<math>\mathbf{x}(t)=(x(t),v(t))^T</math>,对应的二维状态空间称为'''相平面'''。给定初始状态<math>\mathbf{x}_0=(x_0,v_0)^T</math>后,状态点会随时间 t 在相平面中运动,其描绘出的曲线称为'''相轨迹'''。相轨迹用于直观表示系统从初始状态出发后的运动路径,并可用于判断系统是否趋于平衡、发散或呈现振荡行为。 | + | 在二维线性动力系统中,若两个状态变量分别表示位置和速度,则系统状态可写为<math>\mathbf{x}(t)=(x(t),v(t))^T</math>,对应的二维状态空间称为'''[[相平面]]'''。给定初始状态<math>\mathbf{x}_0=(x_0,v_0)^T</math>后,状态点会随时间 t 在[[相平面]]中运动,其描绘出的曲线称为'''[[相轨迹]]'''。相轨迹用于直观表示系统从初始状态出发后的运动路径,并可用于判断系统是否趋于平衡、发散或呈现振荡行为。 |
| | ===相图的定性分析=== | | ===相图的定性分析=== |
| − | 在二维线性动力系统中,研究重点不仅在于求出解析解<math>\mathbf{x}(t)</math>,也在于通过相平面中的整体轨迹分布判断系统的定性行为。通过观察相轨迹的几何形状、流动方向以及其与平衡点的关系,可以在不显式求解微分方程的情况下,分析系统的稳定性、振荡性和长期演化趋势。例如,无阻尼弹簧振子在相平面中的轨迹通常表现为围绕平衡点的闭合曲线,反映了系统能量守恒和周期振荡的特征。 | + | 在二维线性动力系统中,研究重点不仅在于求出解析解<math>\mathbf{x}(t)</math>,也在于通过[[相平面]]中的整体轨迹分布判断系统的定性行为。通过观察[[相轨迹]]的几何形状、流动方向以及其与平衡点的关系,可以在不显式求解微分方程的情况下,分析系统的稳定性、振荡性和长期演化趋势。例如,无阻尼弹簧振子在相平面中的轨迹通常表现为围绕平衡点的闭合曲线,反映了系统能量守恒和周期振荡的特征。 |
| − | ===平衡点附近的相平面结构=== | + | ===平衡点附近的[[相平面]]结构=== |
| − | 在二维线性动力系统中,满足<math>A\mathbf{x}=\mathbf{0}</math>的状态称为系统的'''平衡点'''或'''不动点'''。对于连续时间系统<math>\dot{\mathbf{x}}=A\mathbf{x}</math>,若系统矩阵 A 非奇异,则原点 (0,0) 是唯一平衡点;若 A 奇异,则可能存在一条直线或更高维子空间上的平衡点。平衡点附近相轨迹的走向决定系统的局部稳定性,例如轨迹趋向平衡点表示稳定,远离平衡点表示不稳定,而围绕平衡点旋转则可能对应振荡行为。 | + | 在二维线性动力系统中,满足<math>A\mathbf{x}=\mathbf{0}</math>的状态称为系统的'''[[平衡点]]'''或'''[[不动点]]'''。对于连续时间系统<math>\dot{\mathbf{x}}=A\mathbf{x}</math>,若系统矩阵 A 非奇异,则原点 (0,0) 是唯一[[平衡点]];若 A 奇异,则可能存在一条直线或更高维子空间上的[[平衡点]]。[[平衡点]]附近[[相轨迹]]的走向决定系统的局部稳定性,例如轨迹趋向[[平衡点]]表示稳定,远离[[平衡点]]表示不稳定,而围绕[[平衡点]]旋转则可能对应[[振荡行为]]。 |
| | | | |
| | ===基于迹—行列式平面的分类=== | | ===基于迹—行列式平面的分类=== |
| 第40行: |
第40行: |
| | <math>\displaystyle{ m\ddot{x}+kx=0 }</math> | | <math>\displaystyle{ m\ddot{x}+kx=0 }</math> |
| | | | |
| − | 为了将其转化为动力系统分析中标准的一阶方程组形式,引入速度变量<math>\displaystyle{ v=\dot{x} }</math>。此时,原方程可降阶并改写为:
| + | 为了将其转化为[[动力系统 Dynamical system|动力系统]]分析中标准的一阶方程组形式,引入速度变量<math>\displaystyle{ v=\dot{x} }</math>。此时,原方程可降阶并改写为: |
| | | | |
| | <math>\displaystyle{ \dot{v}=-\frac{k}{m}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{ \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>。因此,描述该系统的自然状态空间不再是一维的直线,而是由位置与速度构成的二维'''相平面(Phase plane),即<math>\displaystyle{ (x,v) }</math>空间。''' | + | 从该演化方程可以看出,要完全确定系统未来的状态,仅仅知道位置<math>\displaystyle{ x }</math>这一物理量是不够的,还必须掌握系统当下的速度<math>\displaystyle{ v }</math>。因此,描述该系统的自然状态空间不再是一维的直线,而是由位置与速度构成的二维'''[[相平面]](Phase plane),即<math>\displaystyle{ (x,v) }</math>空间。''' |
| | ==跨学科案例:罗密欧与朱丽叶的恋爱动力学<ref name=":4" />== | | ==跨学科案例:罗密欧与朱丽叶的恋爱动力学<ref name=":4" />== |
| | | | |
| 第79行: |
第79行: |
| | <math>\displaystyle{ T=0,\quad \Delta=-bc>0 }</math> | | <math>\displaystyle{ T=0,\quad \Delta=-bc>0 }</math> |
| | | | |
| − | 根据二维线性系统的不动点分类,该系统的特征值为一对纯虚数,原点对应于一个'''中心'''(Center)。在相平面上,系统轨迹表现为围绕原点的闭合曲线。这意味着两人的情感状态既不会收敛到静止平衡,也不会无限发散,而是呈现出周期性的循环变化。 | + | 根据二维线性系统的不动点分类,该系统的特征值为一对纯虚数,原点对应于一个'''中心'''(Center)。在[[相平面]]上,系统轨迹表现为围绕原点的闭合曲线。这意味着两人的情感状态既不会收敛到静止平衡,也不会无限发散,而是呈现出周期性的循环变化。 |
| | | | |
| − | 这一案例展示了动力系统分析中的结构相似性:二维线性系统的不动点分类不仅可以用于解释弹簧振子等经典物理系统中的周期振动,也可以用于刻画社会或心理模型中的相互作用关系。在数学上,这类问题都可以归结为对系统矩阵的特征值、迹与行列式的分析;在几何上,它们都可以通过相平面中的轨迹结构进行直观理解。
| + | 这一案例展示了[[动力系统 Dynamical system|动力系统]]分析中的结构相似性:二维线性动力系统的不动点分类不仅可以用于解释弹簧振子等经典物理系统中的周期振动,也可以用于刻画社会或心理模型中的相互作用关系。在数学上,这类问题都可以归结为对系统矩阵的特征值、迹与行列式的分析;在几何上,它们都可以通过[[相平面]]中的轨迹结构进行直观理解。 |
| | <references /> | | <references /> |