一阶线性偏微分方程与常微分方程组的等价性

                     

贡献者： 零穹

　　¹本文将说明，一阶线性偏微分方程与常微分方程组具有直接的联系：一阶线性偏微分方程求解问题可以化为常微分方程组的求解问题。这也是对应常微分方程组被称为一阶线性偏微分方程的特征方程组的原因。

1. 将常微分方程组写成更为对称的形式

　　 一般的常微分方程组都可写为下面的形式（定理 2 ）

这可写为下面等价的形式 为使第一项的分母不为 1，可把该式所有的分母都乘上共同的因子。并且为对称起见，将 $x$ 记为 $x_1$，$y_i$ 记为 $x_{i+1}$，上式可写为更具对称性的等价形式： 其中，$X_i$ 是变量 $x_1,\cdots ,x_{n+1}$ 的函数。

　　 当常微分方程组写成式 3 时，可看出这 $n+1$ 个变量是等价的，并没有特定哪个变量作为自变量。在新的记号下，方程组的积分是（定义 3 ）

2. 从常微分方程组到线性偏微分方程

　　 在文章 “一般积分” 的末尾，已经知道，把方程组的解代入其积分里面，积分便是常数。设 $\phi (x_1,\cdots ,x_{n+1})$ 是方程组的积分，不失一般性设 $x_1$ 是自变量，而 $x_2,\cdots ,x_{n+1}$ 是 $x_1$ 的函数，它们是方程组的解。于是 $\phi (x_1,\cdots ,x_{n+1})=C$。这就是说，代入 $x_2,\cdots ,x_{n+1}$ 后，应当消去自变量 $x_1$²。于是 $\phi$ 对 $x_1$ 进行全微商应等于 0：

或写成

　　 由式 3 ，无论代入方程组哪个解，$\mathrm{d}{x}_i$ 都与 $X_i$ 的大小成正比，于是式 6 可写成下列一阶线性偏微分方程：

根据常微分方程组初始条件的任意性，若我们取方程组的所有解，变量 $x_1,\cdots ,x_{n+1}$ 就可能取任意的值，而对方程组任意解，$\phi$ 都满足式 7 ，所以函数 $\phi (x_1,\cdots ,x_{n+1})$ 应当恒满足式 7 。于是证得下面定理一部分

　　 证明：现在来证明定理的另一部分。设 $\phi (x_1,\cdots ,x_{n+1})$ 是偏微分方程式 7 的解，现在代入式 1 的解于 $\phi$，于是

等价于 其中已设式 3 的比例系数为 $\lambda$。于是由式 7 而一阶微分具有形式不变性（链接），即将函数的变量当成自变量或自变量的函数，函数的一阶微分形式都是一样的。在现在的情形，$\phi$ 就是一个自变量的函数，不失一般性设为 $x_1$，于是 式 10 相当于 $\phi$ 对 $x_1$ 的微商为 0，即 $\phi$ 不依赖于 $x_1$ 而等于常数，根据微分方程组积分的定义(“一般积分” 文末所说的)，$\phi (x_1,\cdots ,x_{n+1})$ 是方程组式 3 的积分。

　　 证毕！

　　 定理 1 建立了微分方程组式 3 的积分与一阶线性偏微分方程式 7 的解的等价性。于是（由 “一般积分” 文末所说的），下面推论成立

一般的一阶线性偏微分方程

　　 式 7 是一阶的线性齐次偏微分方程，其自由项为 0，对一般的一阶线性偏微分方程，其形式为

其中 $Y_i$ 是 $x_1,\cdots ,x_n,\phi$ 的函数。

　　 设 $\phi$ 是式 12 的解，我们考虑下面关于解 $\phi$ 的方程构成的族

其中 $C$ 是任意的常数，任意的常数 $C$ 使 $x_1,\cdots ,x_n,\phi$ 能够取任意的值。依照隐函数求解法则 上式代入式 12 ，得 由于 $x_1,\cdots ,x_n,\phi$ 可取任意值，于是 $\omega$ 恒满足上式，由定理 1 ，解这个偏微分方程可以化为求它对应的常微分方程组。若求得 $\omega$，带入式 13 ，就确定了 $\phi$。

　　 注意：由推论 1 ，偏微分方程的一般解含有任意函数，而常微分方程的解只有任意常数出现。

---

1. ^ 参考斯米尔诺夫《高等数学》第 2 卷第 1 分册
2. ^ 这是因为代入后函数值是常数，意味着代入后的函数不显含 $x_1$