（ODE）一阶隐式微分方程

作者在学习常微分方程的一阶隐式微分方程有感，写篇文章做一下笔记。（本人初学者，知识或许会出现纰漏，还望海涵/(ㄒoㄒ)/）学习视频指路：[梦言]一阶隐式微分方程

一、基本介绍

01 一般形式

其实很多人看教材的时候可能都看不懂（包括作者自己），不理解为什么教材要分成不显含$y$和不显含$x$的各种情况。其实对于一阶微分方程，可以知道其包含三个部分：$x,y,\frac{dy}{dx}$，因此微分方程的一般形式可以写成
$$F(x,y,y^{\prime })=0$$

02 简化形式

为了研究微分方程的解，我们希望将这个形式简化（搞数学的人追求的至简美），从而能够对各种特殊情况简化求解过程。我们考虑三种特殊情况：

①该方程与$y^{\prime }$无关
②该方程与$x$无关
③该方程与$y$无关

这里我们指的是狭义上的无关，不是真的完全没有关系（毕竟微分也和$x$本身有关）

我们如何表示无关呢？对于一个一般方程$F(a,b,c)=0$，考虑其全微分$$dF=\frac{\partial F}{\partial a}da+\frac{\partial F}{\partial b}db+\frac{\partial F}{\partial c}dc=0$$这也就是大多数教材令$y=p$的原因所在，我们将$y^{\prime }$看作第三个变量$p$，即下式恒成立$$dF=\frac{\partial F}{\partial x}dx+\frac{\partial F}{\partial y}dy+\frac{\partial F}{\partial p}dp=0$$为了模拟方程和某个量（例如$p$）无关的情况，设想我们对某个量进行轻微的扰动，也就是我们希望变化$dp$的大小对整个方程毫无影响，意味着有下式恒成立
$$\frac{\partial F}{\partial p}=0$$这就意味着和量$p$无关，不过上述表达实际上是使用了抽象函数的方式进行了一般化的推导。实际解决问题的时候，其实根本不用求偏导那么麻烦，往往可以一眼看出来方程和哪个量无关（肉眼可见……）

03 一些例子

①$x{y}^{\prime 3}=1+y^{\prime }$（与$y$无关）
②$y=y^{\prime 2}{e}^{y^{\prime }}$（与$x$无关）
③$y=2x$（不含$y^{\prime }$，其实也不能算微分方程了）

二、 解决方法

01 与$y^{\prime }$无关

其实讨论这个没什么意义……都已经不是微分方程的范畴了，或者说这种形式已经是解了

02 与$x$或$y$无关

这也就是各个教材里面说的 ”不显含$x$或不显含$y$" 的形式

（1）可以解出$y^{\prime }$的形式

直接使用学过的一阶线性微分方程的方法求解下列方程
$$\frac{dy}{dx}=f(x)$$或者$$\frac{dy}{dx}=f(y)$$

（2）可以解出$x$或$y$的形式

即$F(x,y^{\prime })=0$或者$F(y,y^{\prime })=0$的形式，通常这种也可以写成解出$y^{\prime }$的形式，如果不能的话可以使用03 完全体$F(x,y,y^{\prime })=0$中的求导解法。

（3）解不出$y^{\prime },x,y$的形式

由于是二元函数，考虑使用参数方程。下面以$F(y,y^{\prime })=0$为例
观察该方程之后，将方程写成参数形式
$$\{\begin{array}{l}y={\phi }_1(t)\\ \frac{dx}{dy}={\phi }_2(t)\end{array}$$对第二个式子进行积分得到$$x=\int {\phi }_2(t)dy=\int {\phi }_2(t){\phi }_1^{\prime }(t)dt=\psi (t)$$我们的目的就是要得到$x,y$关于$t$的函数，最后把$t$消去就可以得到$x,y$之间的关系。即微分方程的解。

03 完全体$F(x,y,y^{\prime })=0$

如果说很遗憾，该方程与三个量都有关系，此时该如何求解呢？

（1）可以解出$y^{\prime }$的方程

如果说这个完全体可以化成解出$y^{\prime }$的形式，实际上就是$$\frac{dy}{dx}=f(x,y)$$这种在常微分方程里非常常见，可以解的方式非常多，例如变量分离、变量替换法或者特殊方程（例如恰当方程）求解，在此不再赘述。

（2）可以解出$y$或者$x$的方程

如果方程可以化为形如$$y=f(x,y^{\prime })$$或者$$x=f(y,y^{\prime })$$称为可以解出$y$或$x$的方程，可以看出二者实际是对称的，而函数本质上就是两个变量之间的关系，我们实际上可以认为$x$和$y$谁作自变量，谁作因变量其实没有区别，因此两个方程解法是一样的。这里我们以$y=f(x,y^{\prime })$为例：
令$p=y^{\prime }$，对方程两边对自变量$x$进行求导有
$$p=\frac{dy}{dx}=\frac{\partial f}{\partial x}+\frac{\partial f}{\partial p}\frac{dp}{dx}$$整理一下可以得到$$\frac{dp}{dx}=\frac{1}{\partial f/\partial p}p-\frac{\partial f/\partial x}{\partial f/\partial p}$$观察一下我们发现，这不就是可以解出$p^{\prime }$的格式吗，可以用上面的方法解出来。得到$$p=\psi (x,c)$$这就意味着我们可以得到$p$和$x$的关系式，也就是说，将该式子代入原方程中，我们就可以将三元方程消去变成二元方程！ 这样以来我们就完成了简化，将方程变成了与某个量无关的形式。

（3）解不出$y^{\prime },x,y$的形式

这好像还真没办法……作者的水平就到这了

三、总结

上面写的有点复杂，实际上教材只介绍了两种情况，一是可以解出$x,y$的方程，利用求导方法来解决；二是不显含$x,y$的方程，利用参数方程的方法来解决。