一,非线性一阶微分自治方程组的一般形式:
{x′=f(x,y)y′=g(x,y)
等式右边不显含变量t
等式右边是非线性函数(如三角函数、二次项)
二,例题(含阻尼的非线性摆):

如图,一根木杆绕定点o来回摆动,下端有个质量为m的摆球,木杆长度为l,轨道是圆形。θ角是木杆和垂直方向的夹角。规定逆时针摆动为正方向,θ角为正,顺时针为负方向,θ角为负。
分析:
模型满足方程ma=F
因为:a=θ′′l,F=−mgsin(θ),F的方向为负方向
所以:mθ′′l=−mgsin(θ)
再减去阻尼线速度:mθ′′l=−mgsin(θ)−c1lθ′,c1为常数
整理为微分方程:θ′′+mc1θ′+lgsin(θ)=0
常数集总:令mc1=c称为阻尼常数,令lg=k
化简微分方程:θ′′+cθ′+ksin(θ)=0
转化为方程组:
{θ′=ωω′=−ksin(θ)−cω
令c=1,k=2,得欠阻尼状态:
{θ′=ωω′=−2sin(θ)−ω
第一步,找到临界点(本身构成解的点):
设临界点为(x0,y0),意味着{x0′=f(x0,y0)=0y0′=g(x0,y0)=0
本例中{θ0′=ω0=0ω0′=−2sin(θ0)−ω0=0,在该点角速度和角加速度都为0,处于静止状态
解方程组,得:sin(θ0)=0,{θ0=nπω0=0,n是整数
从物理的角度看,临界点在圆形轨迹的最低点[θ0ω0]=[00]和最高点[θ0ω0]=[π0],最低点的临界点是稳定的(摆球从该点附近出发,时间趋于无穷时,摆球会接近该点),最高点的临界点是不稳定的(摆球从该点附近出发,时间趋于无穷时,摆球会远离该点)。
第二步,对每个临界点附近线性化方程组,并画出轨迹:
当在最低点[θ0ω0]=[00]时:
线性化:当θ0是无穷小时,sin(θ0)→θ0
方程组变为:{θ0′=ω0ω0′=−2θ0−ω0
矩阵化:[θ0′ω0′]=[0−21−1][θ0ω0]
求特征值:
二阶矩阵公式λ2+λ+2=0,得:λ=2−1±−7
λ是复数,说明图像是螺旋。因为实部−21是负数,所以大小会按照e−21t缩小。因此螺旋是汇聚,不是源。
求螺旋方向:
将点[θ0ω0]=[10]代入方程组,得该点速度向量[θ0′ω0′]=[0−2],竖直向下
作图:

物理含义:摆球从最低点附近开始,向最低点靠近,来回摆动,由于受到阻尼影响,摆幅越来越小,最后静止。
当在最高点[θ0ω0]=[π0]时:
线性化:
临界点(x0,y0)处的雅克比矩阵:J0=[fxgxfygy]0
本例中,临界点的方程组:{θ0′=ω0ω0′=−2sin(θ0)−ω0
雅克比矩阵:J0=[fθgθfωgω]0=[0−2cos(θ)1−1]
这个雅克比矩阵就是线性化方程中的矩阵A:比如,当在最低点[θ0ω0]=[00]时,J0=[0−2cos(θ)1−1]=[0−21−1]
当在最高点[θ0ω0]=[π0]时:J0=[0−2cos(θ)1−1]=[021−1]
矩阵化:[θ0′ω0′]=[021−1][θ0ω0]
求特征值:
二阶矩阵公式λ2+λ−2=0,得:λ1=1,λ2=−2
求特征向量:
将λ1=1代入[0−λ21−1−λ][α1α2]=0得:α1=c1[11],解为c1[11]et
将λ1=−2代入[0−λ21−1−λ][α1α2]=0得:α2=c2[1−2],解为c2[1−2]e−2t
通解:[θ0ω0]=c1[11]et+c2[1−2]e−2t
作图(按照第二十七讲的方法):

物理含义:摆球从最高点附近开始,由慢变快地向最低点下落。
第三步,将两个临界点的图结合成大图:
画出每个临界点的轨迹,并补充些轨迹。

物理含义:摆球从最高点附近开始,由慢变快地向最低点下落,如果力很大,就要转好几圈,然后在最低点附近来回摆动,由于受到阻尼影响,摆幅越来越小,最后静止。