第 7 周作业:二维线性系统与相图

Views: --

这一周从“会解方程”转向“看到矩阵就能读出相图”。源作业对应教材 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.\dot x=ax,\qquad \dot y=-y,\qquad a<-1.

精确解是

x=x0eat,y=y0et.x=x_0e^{at},\qquad y=y_0e^{-t}.

因此轨迹斜率为

dydx=y˙x˙=y0ax0e(a+1)t.\frac{dy}{dx} =\frac{\dot y}{\dot x} =-\frac{y_0}{ax_0}e^{-(a+1)t}.

因为 a+1<0a+1<0

  • t+t\to+\infty 时,斜率绝对值趋于无穷,轨迹与 yy 方向平行;
  • tt\to-\infty 时,斜率趋于 00,轨迹与 xx 方向平行。

这就是结点相图里的“快、慢方向”:正时间靠近原点时,衰减较慢的 ete^{-t} 最终占主导;反向时间则是增长更快的 eate^{at} 占主导。

5.1.3 与 5.1.5:写成矩阵形式

5.1.3

x˙=y,y˙=x\dot x=-y,\qquad \dot y=-x

可写为

(x˙y˙)=(0110)(xy).\begin{pmatrix}\dot x\\\dot y\end{pmatrix} = \begin{pmatrix}0&-1\\-1&0\end{pmatrix} \begin{pmatrix}x\\y\end{pmatrix}.

5.1.5

x˙=0,y˙=x+1\dot x=0,\qquad \dot y=x+1

不是齐次线性系统,而是仿射系统:

(x˙y˙)=(0010)(xy)+(01).\begin{pmatrix}\dot x\\\dot y\end{pmatrix} = \begin{pmatrix}0&0\\1&0\end{pmatrix} \begin{pmatrix}x\\y\end{pmatrix} + \begin{pmatrix}0\\1\end{pmatrix}.

常数项不能硬塞进 2×22\times2 矩阵;若一定要齐次化,可以增广状态 (x,y,1)T(x,y,1)^\mathsf T

5.1.10:吸引、稳定与渐近稳定不是同一件事

  • 吸引:附近轨迹最终收敛到不动点,但中途可以先离开;
  • 李雅普诺夫稳定:足够近的轨迹永远保持足够近,但不要求收敛;
  • 渐近稳定:既稳定又吸引。

六个系统的结论如下。

小题系统原点的性质为什么
ax˙=y, y˙=4x\dot x=y,\ \dot y=-4x李雅普诺夫稳定,不吸引椭圆闭轨绕原点运动
bx˙=2y, y˙=x\dot x=2y,\ \dot y=x两者都不是鞍点存在离开方向
cx˙=0, y˙=x\dot x=0,\ \dot y=x两者都不是x00x_0\ne0y=y0+x0ty=y_0+x_0t 无界
dx˙=0, y˙=y\dot x=0,\ \dot y=-y李雅普诺夫稳定,不吸引y0y\to0,但 x(t)=x0x(t)=x_0 不会趋于零
ex˙=x, y˙=5y\dot x=-x,\ \dot y=-5y渐近稳定两个分量都指数衰减
fx˙=x, y˙=y\dot x=x,\ \dot y=y两者都不是任意非零扰动都指数增长

最容易混淆的是 d:轨迹确实“靠近某个点”,但它靠近的是 (x0,0)(x_0,0),不一定是原点。

5.2.1:完整做一遍特征分解

x˙=4xy,y˙=2x+y,A=(4121).\dot x=4x-y,\qquad \dot y=2x+y, \qquad A=\begin{pmatrix}4&-1\\2&1\end{pmatrix}.

特征多项式

det(AλI)=λ25λ+6=(λ2)(λ3).\det(A-\lambda I)=\lambda^2-5\lambda+6 =(\lambda-2)(\lambda-3).

可以取

λ1=2,v1=(1,2)T;λ2=3,v2=(1,1)T.\lambda_1=2,\quad \boldsymbol v_1=(1,2)^\mathsf T; \qquad \lambda_2=3,\quad \boldsymbol v_2=(1,1)^\mathsf T.

通解为

(xy)=C1e2t(12)+C2e3t(11).\begin{pmatrix}x\\y\end{pmatrix} =C_1e^{2t}\begin{pmatrix}1\\2\end{pmatrix} +C_2e^{3t}\begin{pmatrix}1\\1\end{pmatrix}.

两个特征值都为正,所以原点是不稳定结点。对初值 (3,4)(3,4)

C1(1,2)+C2(1,1)=(3,4)C_1(1,2)+C_2(1,1)=(3,4)

给出 C1=1,C2=2C_1=1,C_2=2,于是

x=e2t+2e3t,y=2e2t+2e3t.x=e^{2t}+2e^{3t},\qquad y=2e^{2t}+2e^{3t}.

5.2.3—5.2.9:看到迹和行列式就先分类

τ=trA\tau=\operatorname{tr}AΔ=detA\Delta=\det AD=τ24ΔD=\tau^2-4\Delta

5.2.3

A=(0123),λ=1,2.A=\begin{pmatrix}0&1\\-2&-3\end{pmatrix}, \qquad \lambda=-1,-2.

这是稳定结点,特征方向可取 (1,1)(1,-1)(1,2)(1,-2)

5.2.5

A=(3411).A=\begin{pmatrix}3&-4\\1&-1\end{pmatrix}.

特征值是重根 λ=1\lambda=1,但只有一个特征方向 (2,1)(2,1),所以是不稳定退化结点。相图中的轨迹最终与唯一特征方向相切,而不是两组直线特征方向。

5.2.7

A=(52175),τ=0,Δ=9.A=\begin{pmatrix}5&2\\-17&-5\end{pmatrix}, \qquad \tau=0,\quad\Delta=9.

特征值 λ=±3i\lambda=\pm3i,原点是中心。线性系统的轨道闭合;只看“实部为零”不能把它叫稳定焦点。

5.2.8

A=(3423),τ=0,Δ=1.A=\begin{pmatrix}-3&4\\-2&3\end{pmatrix}, \qquad \tau=0,\quad\Delta=-1.

Δ<0\Delta<0,故特征值为 ±1\pm1,原点是鞍点。源手写页只留下题号,没有展开;这里按教材题面补全。

5.2.9

A=(4386),λ=0,2.A=\begin{pmatrix}4&-3\\8&-6\end{pmatrix}, \qquad \lambda=0,-2.

零特征值意味着原点不是孤立不动点。事实上

4x3y=04x-3y=0

整条直线都是不动点。负特征值 λ=2\lambda=-2 的特征向量可取 (1,2)(1,2),所以每条非平衡轨迹都沿 y=2xy=2x 的方向指数靠近不动点直线;最终落到哪个点由初值决定,并不会都收敛到原点,所以不能称原点渐近稳定。

5.2.12:LRC 电路

电路方程为

LI¨+RI˙+IC=0,L>0, C>0, R0.L\ddot I+R\dot I+\frac IC=0, \qquad L>0,\ C>0,\ R\ge0.

x=I, y=I˙x=I,\ y=\dot I,得到

(x˙y˙)=(011/(LC)R/L)(xy).\begin{pmatrix}\dot x\\\dot y\end{pmatrix} = \begin{pmatrix} 0&1\\ -1/(LC)&-R/L \end{pmatrix} \begin{pmatrix}x\\y\end{pmatrix}.

特征方程

Lλ2+Rλ+1C=0L\lambda^2+R\lambda+\frac1C=0

给出

λ1,2=R±R24L/C2L.\lambda_{1,2} =\frac{-R\pm\sqrt{R^2-4L/C}}{2L}.
  • R=0R=0:纯虚特征值,原点是中心;能量在电感与电容之间往复交换;
  • R>0R>0:特征值实部为负,原点渐近稳定;
  • R2C4L>0R^2C-4L>0:稳定结点,对应过阻尼;
  • R2C4L=0R^2C-4L=0:退化稳定结点,对应临界阻尼;
  • R2C4L<0R^2C-4L<0:稳定焦点,对应欠阻尼。

本周做题模板

  1. 写出矩阵 AA
  2. 先算 τ,Δ,D\tau,\Delta,D 给类型;
  3. 若要画精确相图,再求特征值和特征向量;
  4. 写箭头时同时检查正时间方向;
  5. 遇到 λ=0\lambda=0 或纯虚特征值,要额外检查是否有一整族不动点、守恒量或非线性高阶项。

评论