5.可降阶的高阶微分方程

5.可降阶的高阶微分方程

5.1 高阶微分方程的基本概念

二阶及二阶以上的微分方程被称为 $\underline{高阶微分方程}$ 。

5.2 如何解高阶微分方程？

“对于有些高阶微分方程，我们可以通过代换将它化成较低阶的方程来求解。”

此处有三种容易降阶的高阶微分方程的求解方法。

5.2.1 $y^{(n)}=f(x)$ 型

对于 $y^{(n)}=f(x)$ 型的微分方程，由于它的右端只含有自变量 $x$ ，那么我们就可以对两端积分

得到 $y^{(n-1)}=\int f(x)dx+C$

重复积分 $y^{(n-2)}=\int [\int f(x)dx+C_1]+C_2$ (注意这里由于双重积分号有特殊含义，所以加了中括号)

重复求积分即可得到我们要求的通解。

5.2.2 $y^{{}^{\prime \prime }}=f(x,y^{{}^{\prime }})$ 型

注意：方程右端不显含未知函数 $y$

不妨设 $y^{{}^{\prime }}=p$ 那么就有 $y^{{}^{\prime \prime }}=\frac{dp}{dx}=p^{{}^{\prime }}$

原方程变为 $p^{{}^{\prime }}=f(x,p)$

假如此时我们得到了这个微分方程的解为 $p=\varphi (x,C_1)$

又因为有 $p=\frac{dy}{dx}$ ，我们再去解 $\frac{dy}{dx}=\varphi (x,C_1)$ 即可

5.2.3 $y^{{}^{\prime \prime }}=f(y,y^{{}^{\prime }})$ 型

显然这个方程隐含自变量 $x$ .此时，我们依然令 $y^{{}^{\prime }}=p$

且 $y^{{}^{\prime \prime }}=\frac{dp}{dx}=\frac{dp}{dy}\cdot \frac{dy}{dx}=p\frac{dp}{dy}$

那么原式就变成了 $p\frac{dp}{dy}=f(y,p)$

那么这时候方程就变成了关于 $y,p$ 的一阶微分方程。

这时求出方程的通解，再分离变量求积分便可得到我们要求的通解。

光看定义感觉很枯燥，不妨来看几个例题。

5.3 例题

例题部分每一个都对应上面的一种类型/解法

1. 解 $y^{{}^{\prime \prime \prime }}=e^{2x}-cosx$

题目对应题型1，我们直接求积分即可。

$$\begin{gathered} \int y^{{}^{\prime \prime \prime }}dx=\int e^{2x}-cosxdx \\ {y}^{{}^{\prime \prime }}=\frac{1}{2}{e}^{2x}-sinx+C \\ {y}^{{}^{\prime }}=\frac{1}{4}{e}^{2x}+cosx+Cx+C_2 \\ y=\frac{1}{8}{e}^{2x}+sinx+C_1{x}^2+C_{2}x+C_3(C_1=\frac{C}{2}) \end{gathered}$$

2. 求微分方程 $(1+x^2)y^{{}^{\prime \prime }}=2x{y}^{{}^{\prime }}$ 满足初值条件 $y{|}_{x=0}=1,y^{{}^{\prime }}{|}_{x=0}=3$ 的特解

题目对应题型2.

此处设 $y^{{}^{\prime }}=p$ ，那么原式就变成 $(1+x^2)\frac{dp}{dx}=2xp$

$\frac{dp}{p}=\frac{2x}{1+x^2}dx$

对两端同时积分再化简可以得到 $p=C(1+x^2)$ ，且 $p{|}_{x=0}=3$ ，那么可知 $C=3$

此时即 $\frac{dy}{dx}=3(1+x^2)$

直接积分可以得到 $y=3x+x^3+C_1$ ,又 $y{|}_{x=0}=1$ ，得知 $C_1=1$

所以可以得到 $y=x^3+3x+1$ 为所求特解。

3. 求微分方程 $y{y}^{{}^{\prime \prime }}-(y^{{}^{\prime }}{)}^2=0$

题目对应题型3.

同样，我们设 $y^{{}^{\prime }}=p$

那么此时就是解方程

$yp\cdot \frac{dp}{dy}-p^2=0$

$\frac{dp}{p}=\frac{dy}{y}$

$p=C_1\cdot y$

$$\begin{gathered} \frac{dy}{dx}=C_1\cdot y \\ \Rightarrow \frac{dy}{y}=C_{1}dx \\ \Rightarrow ln|y|=C_{1}x+C_2 \end{gathered}$$

化简就有 $y=C\cdot e^{C_{1}x}$