贡献者: 零穹
1本文将说明,一阶线性偏微分方程与常微分方程组具有直接的联系:一阶线性偏微分方程求解问题可以化为常微分方程组的求解问题。这也是对应常微分方程组被称为一阶线性偏微分方程的特征方程组的原因。
1. 将常微分方程组写成更为对称的形式
一般的常微分方程组都可写为下面的形式(定理 2 )
\begin{equation}
\frac{\mathrm{d}{y_i}}{\mathrm{d}{x}} =f_i(x,y_1,\cdots,y_n) \qquad (i=1,\cdots,n)~,
\end{equation}
这可写为下面等价的形式
\begin{equation}
\,\mathrm{d}{x} =\frac{ \,\mathrm{d}{y} _1}{f_1(x,y_1,\cdots,y_n)}=\cdots=\frac{ \,\mathrm{d}{y} _n}{f_n(x,y_1,\cdots,y_n)}~.
\end{equation}
为使第一项的分母不为 1,可把该式所有的分母都乘上共同的因子。并且为对称起见,将 $x$ 记为 $x_1$,$y_i$ 记为 $x_{i+1}$,上式可写为更具对称性的等价形式:
\begin{equation}
\frac{ \,\mathrm{d}{x} _1}{X_1}=\cdots=\frac{ \,\mathrm{d}{x} _{n+1}}{X_{n+1}}~.
\end{equation}
其中,$X_i$ 是变量 $x_1,\cdots,x_{n+1}$ 的函数。
当常微分方程组写成式 3 时,可看出这 $n+1$ 个变量是等价的,并没有特定哪个变量作为自变量。在新的记号下,方程组的积分是(定义 3 )
\begin{equation}
\varphi_i(x_1,\cdots,x_{n+1})=C_i,\quad i=1,\cdots,n~.
\end{equation}
2. 从常微分方程组到线性偏微分方程
在文章 “一般积分” 的末尾,已经知道,把方程组的解代入其积分里面,积分便是常数。设 $\varphi(x_1,\cdots,x_{n+1})$ 是方程组的积分,不失一般性设 $x_1$ 是自变量,而 $x_2,\cdots,x_{n+1}$ 是 $x_1$ 的函数,它们是方程组的解。于是 $\varphi(x_1,\cdots,x_{n+1})=C$。这就是说,代入 $x_2,\cdots,x_{n+1}$ 后,应当消去自变量 $x_1$2。于是 $\varphi$ 对 $x_1$ 进行全微商应等于 0:
\begin{equation}
\frac{\partial \varphi}{\partial x_1} + \frac{\partial \varphi}{\partial x_2} \frac{\mathrm{d}{x_2}}{\mathrm{d}{x_1}} +\cdots+ \frac{\partial \varphi}{\partial x_{n+1}} \frac{\mathrm{d}{x_{n+1}}}{\mathrm{d}{x_1}} =0~,
\end{equation}
或写成
\begin{equation}
\frac{\partial \varphi}{\partial x_1} \,\mathrm{d}{x} _1+ \frac{\partial \varphi}{\partial x_2} \,\mathrm{d}{x_2} +\cdots+ \frac{\partial \varphi}{\partial x_{n+1}} \,\mathrm{d}{x_{n+1}} =0~.
\end{equation}
由式 3 ,无论代入方程组哪个解,$ \,\mathrm{d}{x} _i$ 都与 $X_i$ 的大小成正比,于是式 6 可写成下列一阶线性偏微分方程:
\begin{equation}
X_1 \frac{\partial \varphi}{\partial x_1} +X_2 \frac{\partial \varphi}{\partial x_2} +\cdots+X_{n+1} \frac{\partial \varphi}{\partial x_{n+1}} =0~.
\end{equation}
根据常微分方程组初始条件的任意性,若我们取方程组的所有解,变量 $x_1,\cdots,x_{n+1}$ 就可能取任意的值,而对方程组任意解,$\varphi$ 都满足
式 7 ,所以函数 $\varphi(x_1,\cdots,x_{n+1})$ 应当恒满足
式 7 。于是证得下面定理一部分
定理 1
$\varphi(x_1,\cdots,x_{n+1})=C$ 是方程组式 3 的积分,当且仅当函数 $\varphi(x_1,\cdots,x_{n+1})$ 满足偏微分方程式 7 。
证明:现在来证明定理的另一部分。设 $\varphi(x_1,\cdots,x_{n+1})$ 是偏微分方程式 7 的解,现在代入式 1 的解于 $\varphi$,于是
\begin{equation}
\,\mathrm{d}{\varphi} = \frac{\partial \varphi}{\partial x_1} \,\mathrm{d}{x} _1+ \frac{\partial \varphi}{\partial x_2} \,\mathrm{d}{x_2} +\cdots+ \frac{\partial \varphi}{\partial x_{n+1}} \,\mathrm{d}{x_{n+1}} ~,
\end{equation}
等价于
\begin{equation}
\,\mathrm{d}{\varphi} =\lambda \left(X_1 \frac{\partial \varphi}{\partial x_1} +X_2 \frac{\partial \varphi}{\partial x_2} +\cdots+X_{n+1} \frac{\partial \varphi}{\partial x_{n+1}} \right) ~.
\end{equation}
其中已设
式 3 的比例系数为 $\lambda$。于是由
式 7
\begin{equation}
\,\mathrm{d}{\varphi} =0~.
\end{equation}
而一阶微分具有形式不变性(链接),即将函数的变量当成自变量或自变量的函数,函数的一阶微分形式都是一样的。在现在的情形,$\varphi$ 就是一个自变量的函数,不失一般性设为 $x_1$,于是
式 10 相当于 $\varphi$ 对 $x_1$ 的微商为 0,即 $\varphi$ 不依赖于 $x_1$ 而等于常数,根据微分方程组积分的定义(“
一般积分” 文末所说的),$\varphi(x_1,\cdots,x_{n+1})$ 是方程组
式 3 的积分。
证毕!
定理 1 建立了微分方程组式 3 的积分与一阶线性偏微分方程式 7 的解的等价性。于是(由 “一般积分” 文末所说的),下面推论成立
推论 1
若
\begin{equation}
\varphi_i(x_1,\cdots,x_{n+1})=C_i\qquad (i=1,\cdots,n)~
\end{equation}
是方程组
式 3 的 $n$ 个无关的积分,则任意函数 $F(\varphi_1,\cdots,\varphi_n)$ 是偏微分方程
式 7 的解。
一般的一阶线性偏微分方程
式 7 是一阶的线性齐次偏微分方程,其自由项为 0,对一般的一阶线性偏微分方程,其形式为
\begin{equation}
Y_1 \frac{\partial \varphi}{\partial x_1} +Y_2 \frac{\partial \varphi}{\partial x_2} +\cdots+Y_{n+1}=0~,
\end{equation}
其中 $Y_i$ 是 $x_1,\cdots,x_n,\varphi$ 的函数。
设 $\varphi$ 是式 12 的解,我们考虑下面关于解 $\varphi$ 的方程构成的族
\begin{equation}
\omega(x_1,\cdots,x_n,\varphi)=C~.
\end{equation}
其中 $C$ 是任意的常数,任意的常数 $C$ 使 $x_1,\cdots,x_n,\varphi$ 能够取任意的值。依照隐函数求解法则
\begin{equation}
\frac{\partial \varphi}{\partial x_i} =-\frac{ \partial \omega/\partial x_i }{ \partial \omega/\partial \varphi }~,
\end{equation}
上式代入
式 12 ,得
\begin{equation}
Y_1 \frac{\partial \omega}{\partial x_1} +Y_2 \frac{\partial \omega}{\partial x_2} +\cdots+Y_{n+1} \frac{\partial \omega}{\partial \varphi} =0~.
\end{equation}
由于 $x_1,\cdots,x_n,\varphi$ 可取任意值,于是 $\omega$ 恒满足上式,由
定理 1 ,解这个偏微分方程可以化为求它对应的常微分方程组。若求得 $\omega$,带入
式 13 ,就确定了 $\varphi$。
注意:由推论 1 ,偏微分方程的一般解含有任意函数,而常微分方程的解只有任意常数出现。
1. ^ 参考斯米尔诺夫《高等数学》第 2 卷第 1 分册
2. ^ 这是因为代入后函数值是常数,意味着代入后的函数不显含 $x_1$