温故微分方程

1. 微分方程与普通方程

微分方程：

• 包含未知函数的导数的方程；
• 其解是函数；

普通方程：

• 它的解是一个数，或者是一组数（多项式方程）；

$y''+2y'-3y=0$，$y_1=e^{-3x}$，$y_2=e^x$

2. ODE 与 PDE

Linear 与 NonLinear 判断的标准而是，函数的 0 阶导，1 阶导，2 阶导，…，不存在彼此相乘（哪怕是自己的 n 次幂）的情况。

注意区分，$\frac{d^2y}{d^2x}$（2 阶导） 与 $\left(\frac{dy}{dx}\right)^2$（一阶导的二次，非线性）。

3. 可分离方程（Separable Equation）

$$\frac {dy}{dx}=\frac{x^2}{1-y^2} ⇒ \left(1-y^2\right)dy=x^2dx$$

两边同时积分（与积分变量的名称无关） ⇒ 整理 ⇒ $3y-y^3=x^3+c$

4. exact equation

重温微积分 —— 偏微分与链式法则

$$\frac{\partial}{\partial x}\psi(x,y)=\frac{\partial \psi}{\partial x}+\frac{\partial \psi}{\partial y}\frac{dy}{dx}$$

形如 $M(x,y)+N(x,y)\cdot\frac{d\,y}{d\,x}=0$，如果满足 $\psi_x=M(x,y),\psi_y=N(x,y)$，则原式可进一步化为，$\psi_x+\psi_y\cdot\frac{d\,y}{d\,x}=0 ⇒ \frac{\partial }{\partial\,x}\psi(x,y)=0 ⇒ \psi(x,y)=c$，就称这样的微分方程为 exact equation。

如何判断是否为 exact equation 呢，利用偏导数连续⇒ $\psi_{yx}=\psi_{xy}$。

5. 恰当方程求解举例

$$y\cos x+2xe^y+\left(\sin x+x^2e^y-1\right)y'=0$$

简单求导可知其符合恰当方程的定义，$\int \psi_xdx=\int(y\cos x+2xe^y)dx+f(y)$（注意，最右的 $f(y)$），此时得到 $y\sin x+x^2e^y+f(y)$，又可根据 $\psi_y=\sin x+x^2e^y-1$ ⇒ $f(y)=-y+c$。

也即 $\psi=y\sin x+x^2e^y-y+c$，又原式（最开始提供的） $\frac{d}{dx}\psi(x,y)=0$ ⇒ $\psi(x,y)=c$

最终解得方程的解为：$y\sin x+x^2e^y-y=c$；