| 发布日期：2025-10-27 05:49 点击次数：132 |
一维波动方程可以被看作是对一根弦的振动进行建模，而二维波动方程则可用于描述一张膜的振动，比如鼓面。
当我们写出二维波动方程时，可以使用变量分离法。
这一次，我们可以将其分离为两个部分：一个是空间分量，记为 R(x,y)；另一个是时间分量，记为 T(t)：
你也许会注意到，空间方程实际上就是亥姆霍兹方程（Helmholtz equation）：
在满足位移 u 在长为 L、高为 H 的矩形边界上为零的条件下求解这些方程时，得到如下的乘积形式：
请注意，我们现在进行的是双重求和，分别对两组指标求和：一组对应于 x 方向的振动模态，另一组对应于 y 方向的振动模态。
这种更丰富的模态形状多样性带来了许多有趣的图案——这些振动模态可以被视为拉普拉斯算子（Laplacian operator）的特征函数（eigenfunctions）。
当一张膜受到扰动后，它会以不同程度地在所有这些模态形状下振动，这与我们之前看到的一维弦波十分相似。
现在，让我们快速看一种二维波动方程的变体。
这种方程没有特定的名字，但却具有一些非常有趣的性质。
如果我们将二维膜赋予一定的质量与弹性，例如一个由坚固材料制成的薄板，那么这种薄板的振动就可以由这一方程来描述——该方程源自所谓的基尔霍夫–洛夫板理论（Kirchhoff–Love plate theory）。
这是一个四阶偏微分方程（fourth-order PDE），我们可以验证其左边实际上是对 u 的拉普拉斯算子的再次应用，也就是说它是拉普拉斯算子的平方。这种“平方拉普拉斯算子”通常被称为双调和算子（biharmonic operator）。
与二维波动方程类似，膜的自由振动会出现不同的振动模态与节线（nodal lines）。双调和算子的特征函数呈现出更加复杂迷人的图案
这些图案最好的可视化方式就是通过它们的节线，这些节线被称为克拉德尼图形（Chladni patterns）。
如果你将细沙洒在连接振动发生器的金属板上，并逐渐调节振动频率，就会看到沙粒自发地沿着节线排列成惊人的几何图案。
这是因为沙粒受到的力会将它们从振动较强的区域推向板面静止不动的区域。
接下来，让我们进入三维空间。
在笛卡尔坐标系中，分析方法几乎与二维波动方程完全相同，只不过现在多了一个 z 分量，并且需要对所有振动模态进行三重求和。
然而，我们也可以在球坐标系中研究波动现象，
球坐标系下的拉普拉斯算子公式看起来相当令人生畏，但它依然可以像之前一样，通过变量分离法（separation of variables）来求解。
如果保留两个角向分量，那么方程就会分解为三个斯特姆–刘维尔问题（Sturm–Liouville problems）：
一个是径向分量，
一个是角向分量，
还有一个是时间分量，
时间分量相对容易求解，显然会得到三角函数形式的解，
径向分量则稍微复杂一些，它只能通过一种特殊函数来求解——这种函数被称为球贝塞尔函数（spherical Bessel function）。
角向分量本身是一个偏微分方程。
我们略去其中繁复的代数推导，最终的解被称为球谐函数（spherical harmonics），记作
这些函数本身又是用另一类特殊函数定义的，即连带勒让德多项式（associated Legendre polynomials）。
比起这些方程本身，更有趣的是——这些球谐函数的形状。
顾名思义，球谐函数是我们在一维与二维情形下见到的波动谐函数的球面版本。
如果我们稍作可视化上的调整——例如用距离来表示幅值，用颜色来表示相位——它们大致呈现如下的模样：
对于熟悉一点化学的人来说，这些形状应该非常眼熟——它们正是原子轨道（atomic orbitals）的形状。这绝非巧合。
在量子力学模型中，用于描述电子波函数的薛定谔方程，其解的角向部分正是球坐标系下波动方程的角向解。
其中的指标 l 和 m，再加上来自径向部分的指标 n，在量子力学中被称为量子数（quantum numbers）。这些量子数共同决定了电子所能处于的不同振动模态。
色散
最后，让我们以色散（dispersion）为主题，结束对波动方程的讨论。
回想一下，在一维弦波的情形中，角频率 ω 与波数 k 满足关系：
其中 c 为波速。在这种波动方程中，所有波都以相同的速度传播。
但我们从日常经验中知道——例如观察海浪向海滩推进时——波并不总是如此表现。仅仅因为某种现象“看起来像波”，并不意味着它可以由标准的波动方程来建模：
许多系统会呈现出一种称为色散（dispersion）的特性，即不同波长的波以不同的速度传播。这些系统通常由更高级的偏微分方程来描述，例如三阶的类波方程——KdV 方程（Korteweg–de Vries equation），
在此类系统中，单个波峰会以某一相速度（phase velocity）传播。
然而，如果初始条件中同时存在多个不同波长，那么整个波列的形态将以另一种群速度（group velocity）呈现出集体性的“扩散”或“离散”传播。
相速度定义为角频率与波数的比值：
在更高维度中则是波矢 k 的模的比值；
而群速度则定义为角频率对波数的导数：
前提是给定某个色散关系（dispersion relation）来表达 ω 与 k 的函数关系。
当系统的波速依赖于波长时，就会出现色散现象。一个典型的例子是——白光通过玻璃棱镜发生折射。
不同波长对应的折射率略有差异，因此它们以略微不同的相速度传播，从而将白光分解为彩虹的各个颜色。
当色散导致各个波峰以自身的相速度传播，持续足够长的时间以至于与其他波峰分离时，我们称这些自稳定波峰为孤子（solitons）。孤子仅存在于非线性波动型偏微分方程的解中，在这些系统中，叠加原理（superposition principle）不再适用。
