MathLabs
公式已证明

波动方程的达朗贝尔公式

命题陈述

对于波动方程 utt=c2uxxu_{tt} = c^2 u_{xx}(定义在 R×(0,∞)\mathbb{R} \times (0,\infty) 上,初值为 u(x,0)=φ(x)u(x,0)=\varphi(x), ut(x,0)=ψ(x)u_t(x,0)=\psi(x)),其唯一解为 u(x,t)=12(φ(x−ct)+φ(x+ct))+12c∫x−ctx+ctψ(s) dsu(x,t) = \tfrac{1}{2}\big(\varphi(x-ct)+\varphi(x+ct)\big) + \tfrac{1}{2c}\int_{x-ct}^{x+ct}\psi(s)\,ds。

为什么成立?

无限长弦上的波不过是初始形状的两份复制,一份以速度 cc 向左滑动,一份向右滑动,再加上一个反映初始速度的修正项。点 (x,t)(x,t) 处发生的一切只能依赖于区间 [x−ct,x+ct][x-ct, x+ct] 上的初始数据——信息传播的速度不能超过 cc。

证明思路

变换到特征坐标 ξ=x−ct\xi = x - ct, η=x+ct\eta = x + ct;波动方程变为 uξη=0u_{\xi\eta} = 0,于是 u=F(ξ)+G(η)u = F(\xi) + G(\eta),其中 F,GF, G 为某些函数。代入初始条件 u(x,0)=φ(x)u(x,0)=\varphi(x) 和 ut(x,0)=ψ(x)u_t(x,0)=\psi(x),解出 FF 和 GG(用 φ\varphi 及 ψ\psi 的一个原函数表示),再代回原式。

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Lawrence C. Evans (2010). Partial Differential Equations · DOI:10.1090/gsm/019