41
个编辑
更改
添加了一个分类的表格，更新了一些表述
在二维线性动力系统中，研究重点不仅在于求出解析解<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 奇异，则可能存在一条由平衡点组成的直线，而当<math>A=0
</math> 时，整个相平面上的点均为平衡点。平衡点附近相轨迹的走向反映了系统的局部稳定性：若附近轨迹随时间趋向平衡点，则该平衡点是渐近稳定的；若轨迹沿某些方向远离平衡点，则系统是不稳定的；若轨迹围绕平衡点运动，则系统可能表现为振荡行为，例如中心或焦点型相图。
===基于迹—行列式平面的分类===
===基于迹—行列式平面的分类===
对于二维线性系统，平衡点附近的局部几何结构主要由矩阵<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{ T=\lambda_1+\lambda_2,\quad \Delta=\lambda_1\lambda_2 }</math>
<math>\displaystyle{ \lambda_{1,2}=\frac{T\pm\sqrt{T^2-4\Delta}}{2} }</math>
<math>\displaystyle{ \lambda_{1,2}=\frac{T\pm\sqrt{T^2-4\Delta}}{2} }</math>
因此，可以利用<math>\displaystyle{ T }</math>、<math>\displaystyle{ \Delta }</math>以及判别式<math>\displaystyle{ T^2-4\Delta }</math>对二维线性动力系统的平衡点类型进行分类。对于重复特征值或零特征值等边界情形，还需要结合特征向量及矩阵结构进一步判断。各类典型情况可概括如下：
{| class="wikitable"
!条件
!特征值类型
!相图类型
!稳定性
|-
|<math>\Delta<0</math>
|一正一负实特征值
|鞍点
|不稳定
|-
|<math>\Delta>0,\ T^2-4\Delta>0,\ T<0
</math>
|两个负实特征值
|稳定结点
|渐近稳定
|-
|<math>\Delta>0,\ T^2-4\Delta>0,\ T>0
</math>
|两个正实特征值
|不稳定结点
|不稳定
|-
|<math>\Delta>0,\ T^2-4\Delta<0,\ T<0
</math>
|共轭复特征值，实部为负
|稳定焦点
|渐近稳定
|-
|<math>\Delta>0,\ T^2-4\Delta<0,\ T>0
</math>
|共轭复特征值，实部为正
|不稳定焦点
|不稳定
|-
|<math>\Delta>0,\ T=0
</math>
|一对纯虚特征值
|中心
|稳定但非渐近稳定
|-
|<math>T^2-4\Delta=0,\ \Delta>0
</math>
|重复实特征值
|星形结点或退化结点
|由 <math>T
</math>的符号决定
|-
|<math>\Delta=0
</math>
|至少一个零特征值
|非孤立平衡点
|需进一步判断
|}
如下图 Fig.1 所示，以行列式<math>\Delta
</math>为横轴、迹<math>T
</math>为纵轴，可以在迹—行列式平面上对上述平衡点类型及其稳定性进行直观的几何划分。
[[文件:二维线性系统不动点分类.png|缩略图|Fig.1 二维线性系统不动点的迹-行列式（Trace-Determinant）分类平面图|替代=|无|389x389像素]]
* '''鞍点（Saddle Point）：''' 当 [math]\Delta < 0[/math]（即左半平面）时，特征值为一正一负的实数。 此时鞍点在两个特征方向上表现出不同的动力学行为。负特征值对应<nowiki>'''</nowiki>稳定方向<nowiki>'''</nowiki>，该方向上的轨迹随时间逐渐趋近平衡点；正特征值对应<nowiki>'''</nowiki>不稳定方向<nowiki>'''</nowiki>，轨迹则随时间远离平衡 点。由于只有严格位于稳定方向上的轨迹才能收敛到平衡点，而附近的微小扰动通常会使轨迹转向不稳定方向，因此鞍点整体上是不稳定的。例如，系统 [math]\dot{x}=x,\ \dot{y}=-y[/math] 的两个特征值分别为 [math]1[/math] 和 [math]-1[/math]，其中 [math]y[/math] 轴为稳定方向，[math]x[/math] 轴为不稳定方向，其余轨迹呈双曲线形状，由此形成如图Fig.2所示的典型鞍点相图。[[文件:Saddle phase portrait.svg|无|缩略图|396x396像素|Fig.2 鞍点相图]]
* '''鞍点（Saddle Point）：''' 当 [math]\Delta < 0[/math]（即左半平面）时，特征值为一正一负的实数。 此时鞍点在两个特征方向上表现出不同的动力学行为。负特征值对应<nowiki>'''</nowiki>稳定方向<nowiki>'''</nowiki>，该方向上的轨迹随时间逐渐趋近平衡点；正特征值对应<nowiki>'''</nowiki>不稳定方向<nowiki>'''</nowiki>，轨迹则随时间远离平衡 点。由于只有严格位于稳定方向上的轨迹才能收敛到平衡点，而附近的微小扰动通常会使轨迹转向不稳定方向，因此鞍点整体上是不稳定的。例如，系统 [math]\dot{x}=x,\ \dot{y}=-y[/math] 的两个特征值分别为 [math]1[/math] 和 [math]-1[/math]，其中 [math]y[/math] 轴为稳定方向，[math]x[/math] 轴为不稳定方向，其余轨迹呈双曲线形状，由此形成如图Fig.2所示的典型鞍点相图。[[文件:Saddle phase portrait.svg|无|缩略图|396x396像素|Fig.2 鞍点相图]]