这一周从“会解方程”转向“看到矩阵就能读出相图”。源作业对应教材 5.1.2、5.1.3、5.1.5、5.1.10、5.2.1、5.2.3、5.2.5、5.2.7—5.2.9 与 5.2.12。
5.1.2:轨迹为何贴近特征方向
考虑
x˙=ax,y˙=−y,a<−1.
精确解是
x=x0eat,y=y0e−t.
因此轨迹斜率为
dxdy=x˙y˙=−ax0y0e−(a+1)t.
因为 a+1<0:
- t→+∞ 时,斜率绝对值趋于无穷,轨迹与 y 方向平行;
- t→−∞ 时,斜率趋于 0,轨迹与 x 方向平行。
这就是结点相图里的“快、慢方向”:正时间靠近原点时,衰减较慢的 e−t 最终占主导;反向时间则是增长更快的 eat 占主导。
5.1.3 与 5.1.5:写成矩阵形式
5.1.3
x˙=−y,y˙=−x
可写为
(x˙y˙)=(0−1−10)(xy).
5.1.5
x˙=0,y˙=x+1
不是齐次线性系统,而是仿射系统:
(x˙y˙)=(0100)(xy)+(01).
常数项不能硬塞进 2×2 矩阵;若一定要齐次化,可以增广状态 (x,y,1)T。
5.1.10:吸引、稳定与渐近稳定不是同一件事
- 吸引:附近轨迹最终收敛到不动点,但中途可以先离开;
- 李雅普诺夫稳定:足够近的轨迹永远保持足够近,但不要求收敛;
- 渐近稳定:既稳定又吸引。
六个系统的结论如下。
| 小题 | 系统 | 原点的性质 | 为什么 |
|---|
| a | x˙=y, y˙=−4x | 李雅普诺夫稳定,不吸引 | 椭圆闭轨绕原点运动 |
| b | x˙=2y, y˙=x | 两者都不是 | 鞍点存在离开方向 |
| c | x˙=0, y˙=x | 两者都不是 | x0=0 时 y=y0+x0t 无界 |
| d | x˙=0, y˙=−y | 李雅普诺夫稳定,不吸引 | y→0,但 x(t)=x0 不会趋于零 |
| e | x˙=−x, y˙=−5y | 渐近稳定 | 两个分量都指数衰减 |
| f | x˙=x, y˙=y | 两者都不是 | 任意非零扰动都指数增长 |
最容易混淆的是 d:轨迹确实“靠近某个点”,但它靠近的是 (x0,0),不一定是原点。
5.2.1:完整做一遍特征分解
x˙=4x−y,y˙=2x+y,A=(42−11).
特征多项式
det(A−λI)=λ2−5λ+6=(λ−2)(λ−3).
可以取
λ1=2,v1=(1,2)T;λ2=3,v2=(1,1)T.
通解为
(xy)=C1e2t(12)+C2e3t(11).
两个特征值都为正,所以原点是不稳定结点。对初值 (3,4),
C1(1,2)+C2(1,1)=(3,4)
给出 C1=1,C2=2,于是
x=e2t+2e3t,y=2e2t+2e3t.
5.2.3—5.2.9:看到迹和行列式就先分类
记 τ=trA、Δ=detA、D=τ2−4Δ。
5.2.3
A=(0−21−3),λ=−1,−2.
这是稳定结点,特征方向可取 (1,−1) 与 (1,−2)。
5.2.5
A=(31−4−1).
特征值是重根 λ=1,但只有一个特征方向 (2,1),所以是不稳定退化结点。相图中的轨迹最终与唯一特征方向相切,而不是两组直线特征方向。
5.2.7
A=(5−172−5),τ=0,Δ=9.
特征值 λ=±3i,原点是中心。线性系统的轨道闭合;只看“实部为零”不能把它叫稳定焦点。
5.2.8
A=(−3−243),τ=0,Δ=−1.
Δ<0,故特征值为 ±1,原点是鞍点。源手写页只留下题号,没有展开;这里按教材题面补全。
5.2.9
A=(48−3−6),λ=0,−2.
零特征值意味着原点不是孤立不动点。事实上
4x−3y=0
整条直线都是不动点。负特征值 λ=−2 的特征向量可取 (1,2),所以每条非平衡轨迹都沿 y=2x 的方向指数靠近不动点直线;最终落到哪个点由初值决定,并不会都收敛到原点,所以不能称原点渐近稳定。
5.2.12:LRC 电路
电路方程为
LI¨+RI˙+CI=0,L>0, C>0, R≥0.
令 x=I, y=I˙,得到
(x˙y˙)=(0−1/(LC)1−R/L)(xy).
特征方程
Lλ2+Rλ+C1=0
给出
λ1,2=2L−R±R2−4L/C.
- R=0:纯虚特征值,原点是中心;能量在电感与电容之间往复交换;
- R>0:特征值实部为负,原点渐近稳定;
- R2C−4L>0:稳定结点,对应过阻尼;
- R2C−4L=0:退化稳定结点,对应临界阻尼;
- R2C−4L<0:稳定焦点,对应欠阻尼。
本周做题模板
- 写出矩阵 A;
- 先算 τ,Δ,D 给类型;
- 若要画精确相图,再求特征值和特征向量;
- 写箭头时同时检查正时间方向;
- 遇到 λ=0 或纯虚特征值,要额外检查是否有一整族不动点、守恒量或非线性高阶项。