线性偏微分方程的通解

线性偏微分方程的通解

观前提示：此章内容笔者写的不是很好，可以结合教材相关内容观看，本文主要介绍了线性算符以及线性偏微分方程的解，对理解此类方程以及线性算符很有帮助，但跳过此篇继续观看也不会造成后续内容不理解。

之前我们介绍的如波动方程、扩散方程等二阶偏微分方程都是线性偏微分方程，也就是说，在方程中只出现对于末知函数的线性运算。引进线性算符 $\hat{L}$ 的记号，则线性偏微分方程都可以写成
$$\hat{L}[u]=f$$
的形式，其中 $u$ 是末知函数，$f$ 是已知函数，称为方程的非齐次项。若 $f\equiv 0$，则称方程是齐次的。我们所用到的方程常见算符见下表，
$$\begin{array}{lll}\text{ 方 程 类 型 }& \text{ 方 程 }& \text{ 线 性 算 符 }\hat{L}\\ \text{ 波动方程 }& \frac{{\partial }^{2}u}{\partial t^2}-a^2{\nabla }^{2}u=f& \hat{L}\equiv \frac{{\partial }^2}{\partial t^2}-a^2{\nabla }^2\\ \text{ 热传导方程 }& \frac{\partial u}{\partial t}-\kappa {\nabla }^{2}u=f& \hat{L}\equiv \frac{\partial }{\partial t}-\kappa {\nabla }^2\\ \text{ Poisson 方程 }& {\nabla }^{2}u=f& \hat{L}\equiv {\nabla }^2\\ \text{ Helmholtz 方程 }& {\nabla }^{2}u+k^{2}u=f& \hat{L}\equiv {\nabla }^2+k^2\end{array}$$
根据线性算符的定义
$$\hat{L}\left[c_1{u}_1+c_2{u}_2\right]=c_1\hat{L}\left[u_1\right]+c_2\hat{L}\left[u_2\right](c_1,c_2为常数)$$
由线性代数的知识，我们可以得到以下推论：

1. 若 $u_1$ 和 $u_2$ 都是齐次方程 $\hat{L}[u]=0$ 的解，$\hat{L}\left[u_1\right]=0,\hat{L}\left[u_2\right]=0$ ，则它们的线性组合 $c_1{u}_1+c_2{u}_2$ 也是该齐次方程的解，

$$\hat{L}\left[c_1{u}_1+c_2{u}_2\right]=0.$$

2. 若 $u_1$ 和 $u_2$ 都是同一个非齐次方程 $\hat{L}[u]=f$ 的解，$\hat{L}\left[u_1\right]=f,\hat{L}\left[u_2\right]=f$，则它们的差 $u_1-u_2$ 一定是相应的齐次方程的特解，$\hat{L}[u$