波动方程的行波解（一）| 一维波动方程的通解和初值问题的达朗贝尔（d' Alembert）公式 | 偏微分方程（九）

某些二阶线性偏微分方程，可分解为两个一阶线性偏微分方程，有可能积分求出通解。例如，二阶方程
$$\frac{{\partial }^{2}u}{\partial x\partial y}+\frac{\partial u}{\partial x}=0$$
等价于两个一阶线性偏微分方程
$$\frac{\partial v}{\partial x}=0和\frac{\partial u}{\partial y}+u=v$$
第一个方程对x积分，得$v(x,y)=f(y)$，$f(y)$为任意C函数。第二个方程对y积分，解得$u(x,y)=e^{-y}g(y)+h(y)$，$g(y)$是任意$C^1$函数，$h(y)=e^{-y}\int f(y)e^{y}dy$也是任意$C^1$函数。

接下来用此分解降阶的方法求出一维波动方程的通解（行波解），并通过若干例子介绍由通解确定特解的方法，并从物理上对解的行波特点作简要分析。

1.4.1 一维波动方程的通解和初值问题的达朗贝尔（d’ Alembert）公式

一维波动方程
$$\frac{{\partial }^{2}u}{\partial t^2}=a^2\frac{{\partial }^{2}u}{\partial x^2}\text{\hspace{1em}(1)}$$
在$a>0$为常数时可分解为
$$(\frac{\partial }{\partial t}+a\frac{\partial }{\partial x})(\frac{\partial }{\partial t}-a\frac{\partial }{\partial x})u=0$$
等价于两个一阶线性偏微分方程的方程组
$$\{\begin{array}{l}\frac{\partial v}{\partial t}+a\frac{\partial v}{\partial x}=0\\ \frac{\partial u}{\partial t}-a\frac{\partial u}{\partial x}=v\end{array}$$
这两个方程各有一族独立的特征线，分别是
$$x-at=c_{}$$