# 前言

一阶微分方程:

y+p(x)y=q(x)y' + p(x)y = q(x)

二阶齐次微分方程:

y+p(x)y+q(x)y=f(x)y'' + p(x)y' + q(x)y = f(x)

二阶非齐次微分方程:

y+p(x)y+q(x)y=0y'' + p(x)y' + q(x)y = 0

解释:

  1. “齐次”,“非齐次” 就是yy''yy' 的次数是 1,不存在未知函数高次幂的情形。
  2. “常系数”,就是p(x)p(x)q(x)q(x) 都是常数(f(x)f(x) 可以不是,后面会讨论)。

# 一、二阶微分方程解的结构

# 1. 齐次微分方程解的结构

  1. 齐次微分方程的解有齐次通解齐次特解,设y1(x)y_1(x)y2(x)y_2(x) 是齐次微分方程y+p(x)y+q(x)y=0y'' + p(x)y' + q(x)y = 0 的两个线性无关特解,则y(x)=C1y1+C2y2y(x) = C_1y_1 + C_2y_2 是该齐次方程的通解。

# 2. 非齐次微分方程解的结构

  1. 非齐次微分方程的解同样分为通解特解,设:

    • y(x)=C1y1+C2y2y(x) = C_1y_1 + C_2y_2 是非齐次微分方程y+p(x)y+q(x)y=f(x)y'' + p(x)y' + q(x)y = f(x) 对应的齐次方程y+p(x)y+q(x)y=0y'' + p(x)y' + q(x)y = 0 的通解,(y(x)y(x) 也称为非齐次微分方程的齐次通解);

    • yy^* 是非齐次微分方程y+p(x)y+q(x)y=f(x)y'' + p(x)y' + q(x)y = f(x) 的一个非齐次特解

    Y(x)=y(x)+yY(x) = y(x) + y_* 是非齐次方程y+p(x)y+q(x)y=f(x)y'' + p(x)y' + q(x)y = f(x)非齐次通解

  2. 两非齐次微分方程对应的齐次方程相同,其非齐次通解相加,得到一个新非齐次方程的解,设:

    • y1(x)y^*_1(x) 是非齐次方程y+p(x)y+q(x)y=f1(x)y'' + p(x)y' + q(x)y = f_1(x) 的非齐次通解;

    • y2(x)y^*_2(x) 是非齐次方程y+p(x)y+q(x)y=f2(x)y'' + p(x)y' + q(x)y = f_2(x) 的非齐次通解;

    y(x)=y1(x)+y2(x)y(x) = y^*_1(x) + y^*_2(x)新非齐次方程y+p(x)y+q(x)y=f2(x)+f2(x)y'' + p(x)y' + q(x)y = f_2(x) + f_2(x) 的非齐次通解。

  3. y1(x)y^*_1(x)y2(x)y^*_2(x) 是非齐次方程组y+p(x)y+q(x)y=f(x)y'' + p(x)y' + q(x)y = f(x) 的两个非齐次特解,则y(x)=y1(x)y2(x)y(x) = y^*_1(x) - y^*_2(x) 是其对应齐次方程y+p(x)y+q(x)y=0y'' + p(x)y' + q(x)y = 0通解

# 二、一阶微分方程的求解

# 1. 可分离变量型

若出现形如y=f(x)g(y)y' = f(x)g(y) 或者y=f(ax+by+c)y' = f(ax + by +c) 的微分方程,则直接考虑分离变量:

  1. 对于y=f(x)g(y)y' = f(x)g(y)直接分离变量

y=f(x)g(y)dyg(y)=f(x)dx两边积分dyg(y)=f(x)dx\begin{aligned} y' = f(x)g(y) \Rightarrow& \frac {dy}{g(y)} = f(x)dx\\ 两边积分\Rightarrow& \int \frac {dy}{g(y)} = \int f(x)dx \end{aligned}

  1. 对于y=f(ax+by+c)y' = f(ax + by +c)换元后分离变量

y=f(ax+by+c)u=ax+by+c,u=a+bf(u)dua+bf(u)=dx两边积分dua+bf(u)=dx\begin{aligned} y' = f(ax + by +c) \Rightarrow& 令u = ax + by + c,则u' = a + bf(u)\\ \Rightarrow& \frac {du}{a + bf(u)} = dx\\ 两边积分\Rightarrow& \int \frac {du}{a + bf(u)} = \int dx\\ \end{aligned}

注意有时可以化为dxdy\frac {dx}{dy} 更方便。

# 2. 齐次型

  1. 若出现y=f(yx)y' = f(\frac{y}{x})换元后分离变量

y=f(yx)yx=uy=uxdydx=u+xdudxdydx替换左边xdudx+u=f(u)duf(u)u=dxx两边积分duf(u)u=dxx\begin{aligned} y' = f(\frac {y}{x}) \Rightarrow& 令\frac{y}{x} = u\\ \Rightarrow& y = ux \Rightarrow \frac{dy}{dx} = u + x\frac{du}{dx}\\ \frac{dy}{dx}替换左边\Rightarrow& x \frac{du}{dx} + u = f(u) \Rightarrow \frac{du}{f(u) - u} = \frac{dx}{x}\\ 两边积分\Rightarrow& \int \frac {du}{f(u) - u} = \int \frac{dx}{x}\\ \end{aligned}

  1. 若出现1y=x(y)=f(xy)\frac{1}{y'} = x'(y) = f(\frac{x}{y}),用u=xyu = \frac{x}{y} 换元后分离变量,求得x(y)x(y),过程同上(注意是求 x (y))。

# 3. 一阶线性微分方程

  1. 线性一阶微分方程通常形如y+p(x)y=q(x)y' + p(x)y = q(x),直接使用公式求解:

y(x)=ep(x)dx[ep(x)dxq(x)dx+c]y(x) = e^{-\int p(x)dx}[\int e^{\int p(x)dx}q(x)dx + c]

  1. 还有伯努利方程y+p(x)y=q(x)y' + p(x)y = q(x),数二不考,自行查找资料。

# 三、二阶微分方程求解

# 1. 二阶可降阶微分方程

两种情况都是一阶可降阶微分方程:y=f(x,y)y'' = f(x, y')(式子中没有 y),y=f(y,y)y'' = f(y, y')(式子中没有 x)。核心思路都是消去yy'(代换后的方程中没有yy')。

  1. 对于y=f(x,y)y'' = f(x, y')

    y=f(x,y)p(x)=y,p(x)=y可以化为一阶方程dpdx=f(x,p)解得通解为p=ϕ(x,C1)y=ϕ(x,C1)dx+C2\begin{aligned} y'' = f(x, y') \Rightarrow& p(x) = y' ,p'(x) = y'\\ 可以化为一阶方程\Rightarrow& \frac{dp}{dx} = f(x, p)\\ 解得通解为p = \phi(x, C_1) \Rightarrow& y = \int \phi(x, C_1)dx + C_2 \end{aligned}

  2. 对于y=f(y,y)y'' = f(y, y')

    y=f(y,y)p(y)=y,p(x)=pdpdy可以化为一阶方程pdpdx=f(y,p)解得通解为p=ϕ(y,C1)x=1ϕ(y,C1)dy+C2\begin{aligned} y'' = f(y, y') \Rightarrow& p(y) = y' ,p'(x) = p\frac{dp}{dy}\\ 可以化为一阶方程\Rightarrow& p\frac{dp}{dx} = f(y, p)\\ 解得通解为p = \phi(y, C_1) \Rightarrow& x = \int \frac{1}{\phi(y, C_1)}dy + C_2 \end{aligned}

注:若同时有yy''yy'yyxx,则不可降阶。

# 2. 二阶常系数微分方程

# (1). 二阶常系数齐次微分方程

形如y+py+qy=0y'' + py' + qy = 0 的方程,称为二阶常系数齐次微分方程,解法如下:

该方程的特征方程为λ2+pλ+q=0\lambda^2 + p\lambda + q = 0,设λ1\lambda_1λ2\lambda_2 是方程的两个根,称为特征根。设Δ=p24q\Delta = p^2 - 4q

  1. Δ>0\Delta \gt 0 时,特征根不相等(λ1λ2\lambda_1 \ne \lambda_2),设通解:

y=C1eλ1x+C2eλ2xy = C_1e^{\lambda_1 x} + C_2e^{\lambda_2 x}

  1. Δ=0\Delta = 0 时,特征根是二重根(λ1=λ2=λ\lambda_1 = \lambda_2 = \lambda),设通解:

y=(C1+C2x)eλxy = (C_1 + C_2x)e^{\lambda x}

  1. Δ<0\Delta \lt 0 时,特征根为共轭复根(α±βi\alpha \pm \beta i),设通解:

y=(C1cos(βx)+C2sin(βx))eαxy = (C_1cos(\beta x) + C_2sin(\beta x))e^{\alpha x}

# (2). 二阶常系数非齐次微分方程

形如y+py+qy=f(x)y'' + py' + qy = f(x) 的方程,称为二阶常系数非齐次微分方程,解法如下:

  1. 先求出非齐次微分方程对应齐次微分方程的通解(用上面的方法)。

  2. 根据自由项求一组非齐次特解:

    1. 当自由项f(x)=eαxPn(x)f(x) = e^{\alpha x}P_n(x),设特解为:

      y=eαxQn(x)xk\begin{aligned} y^* =& e^{\alpha x}Q_n(x)x^k\\ \end{aligned}

      有三项待定:α\alphaQn(x)Q_n(x)kk

      • eαxe^{\alpha x} 照抄;
      • Qn(x)Q_n(x) 设为Axn+Bxn1+...+NAx^n + Bx^{n-1} + ...+NnnPn(x)P_n(x)xx 的最高阶数;
      • kk 根据λ\lambdaα\alpha 的关系确定,a=λ1=λ2a=\lambda_1=\lambda_2 时取k=2k=2a=λ1λ2a=\lambda_1 或\lambda_2==1==1;都不相等取k=0k=0
    2. 当自由项f(x)=eαx[Pm(x)cos(βx)+Pn(x)sin(βx)]f(x) = e^{\alpha x}[P_m(x)cos(\beta x) + P_n(x)sin(\beta x)],设特解为:

      y=eax[Ql(x)cos(βx)+Ql(x)sin(βx)]\begin{aligned} y^* =& e^{ax}[Q^*_l(x)cos(\beta x) + Q^{**}_l(x)sin(\beta x)]\\ \end{aligned}

      有四项待定:α\alphaQn(x)Q^*_n(x)Qn(x)Q^{**}_n(x)kk

      • eαxe^{\alpha x} 照抄;
      • kk 根据α±βi\alpha \pm \beta i 是否等于λ\lambda 而定:α±βi=λ\alpha \pm \beta i = \lambdak=1k=1α±βiλ\alpha \pm \beta i \ne \lambdak=0k=0
      • QlQ^*_lQlQ^{**}_l 不同,定义类比上面的部分,其中阶数l=max{m,n}l=max\{m,n\}
    3. 非齐次特解带入非齐次方程,解出Q(x)Q(x) 中的未知数(特解一般不含未知量)。

  3. 最后,非齐次通解 = 齐次通解 + 非齐次特解:

    y=y+yy = y + y^*

# 四、高阶常系数齐次线性微分方程求解

高阶常系数齐次线性微分方程,形如:

Cny(n)+Cn1y(n1)+...+C1y+C0=f(x)C_ny^{(n)} + C_{n-1}y^{(n-1)} + ... + C_1y' + C_0 = f(x)

其对应的特征方程,形如:

Cnλn+Cn1λn1+...+C1λ+C0=0C_n\lambda^n + C_{n-1}\lambda^{n-1} + ... + C_1\lambda + C_0 = 0

只涉及求通解,通解解法与自二阶常系数微分方程一脉相承,形式和特征根λ\lambda 有如下关系:

  1. λ\lambda 为单实根,设该特征根对应的通解部分为:

    y=Ceλx\begin{aligned} y =& Ce^{\lambda x} \end{aligned}

  2. λ1\lambda_1λ2\lambda_2λ3\lambda_3λk\lambda_kkk 重实根,设该特征根对应的通解部分为:

    y=(C1+C2x+C3x2+...+Ckxk1)eλxy = (C_1 + C_2x + C_3x^2 + ... + C_kx^{k-1})e^{\lambda x}

  3. λ=α±βi\lambda = \alpha \pm \beta i 为单共轭复根,设该特征根对应的通解部分为:

    y=(C1cosβx+C2sinβx)eαxy = (C_1cos \beta x + C_2sin \beta x)e^{\alpha x}

  4. λ=α±βi\lambda = \alpha \pm \beta i 为二重(多重情况类推)共轭复根,设该特征根对应的通解部分为:

    y=(C1cosβx+C2sinβx+C3xcosβx+C4xsinβx)eαxy = (C_1cos \beta x + C_2sin \beta x + C_3xcos \beta x + C_4xsin \beta x)e^{\alpha x}

之后,把所有特征根对应的部分相加,即得到高阶常系数齐次线性微分方程的通解形式。