常见微分方程求解小结

这篇总结是针对同济版《高等数学》上册第七章微分方程的部分内容，主要目的是为了便于我自己以后的查找调用，因而省略了大部分推导过程，只是一个结论的总结。

这份总结分为三部分：齐次微分方程，二阶常系数非齐次线性微分方程以及欧拉方程。

齐次微分方程

• 针对如下方程1：$$\frac{dy}{dx}=\frac{ax+by+c}{a_{1}x+b_{1}y+c_1}$$
  先做代换：$$\begin{gathered} x=X+h \\ y=Y+k \end{gathered}$$
  其中和$h,k$是常数
  对方程组$$\{\begin{array}{l}ah+bk+c=0\\ a_{1}h+b_{1}k+c_1=0\end{array}$$
  进行研究可以得到两种情况：
  第一种情况：当$\frac{a_1}{a}\ne \frac{b_1}{b}$时，可以由方程组确定常数$h,k$，进而得到化简后的微分方程：$$\frac{dY}{dX}=\frac{aX+bY}{a_{1}X+b_{1}Y}$$到了这一步便比较常规了便不再继续下去了。
  第二种情况：当$\frac{a_1}{a}=\frac{b_1}{b}$时，令$\frac{a_1}{a}=\frac{b_1}{b}=\lambda$，从而微分方程可以简化为：$$\frac{dy}{dx}=\frac{ax+by+c}{\lambda (ax+by)+c_1}$$再引入新变量$v=ax+by$，方程进一步整理得：$$\frac{1}{b}(\frac{dv}{dx}-a)=\frac{v+c}{\lambda v+c_1}$$这属于可分离变量的方程，便不再继续下去了。
  上述的方法可以应用于更一般的方程：$$\frac{dy}{dx}=f(\frac{ax+by+c}{a_{1}x+b_{1}y+c_1})$$

• 针对方程2：$$\frac{dy}{dx}+P(x)y=Q(x)$$
  其通解为：$$y=e^{-\int P(x)dx}(\int Q(x)e^{\int P(x)dx}dx+C)$$

• 针对伯努利方程：$$\frac{dy}{dx}+P(x)y=y^n(n\ne 0,1)$$
  引入新变量$z=y^{1-n}$
  方程可化简为：$$\frac{dz}{dx}+(1-n)P(x)z=(1-n)Q(x)$$
  化简得到的方程可直接套用公式求解。

• 针对方程3：$$y^{{}^{\prime \prime }}+p{y}^{{}^{\prime }}+qy=0$$
  其对应的特征方程为：$$r^2+pr+q=0$$
  可以得到两个根$r_1,r_2$，以下就这两个根的情况进行讨论：
  情况一：当$r_1=r_2$时，方程的通解为：$$y=C_1{e}^{r_{1}x}+C_2{e}^{r_{2}x}$$
  情况二：当$r_1=r_2$时，方程的通解为：$$y=(C_1+C_{2}x)e^{r_{1}x}$$
  情况三：当$r_1$和$r_2$是一对共轭复根时，即$$r_{1,2}=\alpha \pm i\beta$$
  方程的通解为：$$y=e^{\alpha x}(C_1\cos \beta x+C_2\cos \beta x)$$将上述结论再推广到n阶常系数齐次线性微分方程$$y^n+P_1{y}^{n-1}+\cdots +P_{n-1}{y}^{{}^{\prime }}+P_{n}y=0$$
  其对应的特征方程为：$$r^n+P_1{r}^{n-1}+\cdots +P_{n-1}r+P_n=0$$对于这个方程可以解出n个根来，仿照前面我们基于这些根来写出微分方程通解中的对应项：
  单实根r，对应于：$$C{e}^{rx}$$
  一对单复根$r_{1,2}=\alpha +i\beta$，对应于：$$e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$$
  k重实根r，对应于：$$(C_1+C_{2}x+\cdots +C_k{x}^{k-1})e^{rx}$$
  一对k重复根$r_{1,2}=\alpha +i\beta$，对应于：$$e^{\alpha x}((C_1+C_{2}x+\cdots +C_k{x}^{k-1})\cos \beta x+(D_1+D_{2}x+\cdots +D_k{x}^{k-1})\sin \beta x)$$
  将上述解加起来便是对应n阶常系数齐次线性微分方程的通解。

二阶常系数非齐次线性微分方程

二阶常系数非齐次线性微分方程的一般形式：$$y^{{}^{\prime \prime }}+p{y}^{{}^{\prime }}+qy=f(x)$$
下面仅就$f(x)$的两种形式进行讨论；

• $f(x)=e^{\lambda x}{P}_m(x)$
  $P_m(x)是x的m次多项式:$
  $$P_m(x)=a_0{x}^m+a_1{x}^{m-1}+\cdots +a_{n-1}x+a_m$$
  此时方程的一个特解可以写成：
  $$y^{\ast }=x^k{Q}_m(x)e^{\lambda x}$$
  其中$Q_m(x)$是与$P_m(x)$同次的多项式，$Q_m(x)$中的各项系数可以通过将特解$y^{\ast }$代入原方程求得；
  $k$则是按照$\lambda$是不是特征方程的根、是单根、是重根依次取0、1、2，推广至$n$阶的话，$k$便是特征方程含根$\lambda$的重复次数
  此时方程的通解可以写成上述特解与对应齐次方程的通解的和。

• $f(x)=e^{\lambda x}[P_l^{(1)}\cos (\omega x)+P_n^{(2)}\sin (\omega x)]$

  其中$P_l^{(1)}$、$P_n^{(2)}$分别是x的l次多项式和n次多项式;
  此时方程的一个特解为：$$y^{\ast }=x^k{e}^{\lambda x}[R_m^{(1)}\cos (\omega x)+R_m^{(2)}\sin (\omega x)]$$
  其中$R_m^{(1)}$、$R_m^{(2)}$是$n$次多项式， m = m a x { l , n } m=max\{l,n\} m=max{l,n}，而$k$按$\lambda +i\omega$(或者$\lambda -i\omega$)是不是特征方程的根、单根依次取0，1，推广至$n$阶的话，$k$便是特征方程中含根$\lambda +i\omega$(或者$\lambda -i\omega$)的重复次数；
  此时方程的通解可以写成上述特解与对应齐次方程的通解的和。

欧拉方程

\qquad 欧拉方程的一般形式：
$$x^n{y}^n+p_1{x}^{n-1}{y}^{(n-1)}+\cdots +p_{n-1}xy{}^{\prime }+p_{n}y=f(x)$$
\qquad 其中$p_1,p_2,\cdots ,p_n$是常数；
\qquad 做代换：$$x=e^t或者t=lnx$$
\qquad 基于上述代换可以将欧拉方程换换成一个以$t$为自变量的常系数线性微分方程，需要注意的是上述变换仅是在$x>0$的范围内的求解，对于$x<0$范围内的求解，则是做下面的变换：$$x=-e^t或者t=ln(-x)$$

同济版高数上册第七章