瑞士数学家和物理学家萊昂哈德·歐拉(b. 1707)发现了三维空间中的波动方程。[5]
三维波动方程初值问题的解可以通过求解球面波波动方程得到。求解结果可用于推导二维情况的解。
球面波
编辑
球面波方程的形式不随空间坐标系统的转动而变化,所以可以将它写成仅与距源点距离r相关的函数。方程的三维形式为:
u
t
t
−
c
2
(
u
r
r
+
2
r
u
r
)
=
0.
{\displaystyle u_{tt}-c^{2}\left(u_{rr}+{\frac {2}{r}}u_{r}\right)=0.\,}
将方程变形为:
(
r
u
)
t
t
−
c
2
(
r
u
)
r
r
=
0
;
{\displaystyle (ru)_{tt}-c^{2}(ru)_{rr}=0;\,}
此时,因变量ru满足一维波动方程,于是可以利用达朗贝尔行波法将解写成:
u
(
t
,
r
)
=
1
r
F
(
r
−
c
t
)
+
1
r
G
(
r
+
c
t
)
,
{\displaystyle u(t,r)={\frac {1}{r}}F(r-ct)+{\frac {1}{r}}G(r+ct),\,}
其中F和G为任意函数,可以理解为以速度c从中心向外传播的波和从外面向中心传播的波。这类从点源传出的波强度随距点源距离r衰减,并且属于无后效波,可以清晰地搭载信号。这种波仅在奇数维空间中存在(原因将在下一小节中详细解释)。幸运的是,我们生活的空间是三维的,所以我们可以清晰地通过声波和电磁波(都属于球面波)来互相交流。
時間箭頭的討論
编辑
上面方程的解裏面,分成了兩部分,一部分表示向外傳播的波,一部分則是向内。很明顯,只要將t換成-t,就可以在這兩部分之間轉換。這體現了原始方程對於時間是對稱的,任意的一個解在時間軸上倒過來看仍然是一個解。
然而,我們所觀察到的實際的波,都是屬於向外傳播的。除非精心地加以調整,我們無法在自然界觀察到向内的波,儘管它們也是波動方程的合法的解。
關於這個現象,引起了不少討論。有人認爲,實際上它們即使存在,也無法加以觀察。想想如果四周的光向一個物體集中,則因爲沒有光到達我們的眼睛,我們不可能看見這個物體或者發現這個現象(见参考文献[2] )。
广义初值问题的解
编辑
波动方程中u是线性函数,并且不随时间和空间坐标的平移而改变。所以我们可以通过平移与叠加球面波获得方程各种类型的解。令φ(ξ,η,ζ)为任意具有三个自变量的函数,球面波形F为狄拉克δ函数(数学语言是:F是一个在全空间积分等于1且非零区间收缩至原点的连续函数的弱极限)。设(ξ,η,ζ)位一族球面波的源点,r为距源点的径向距离,即:
r
2
=
(
x
−
ξ
)
2
+
(
y
−
η
)
2
+
(
z
−
ζ
)
2
.
{\displaystyle r^{2}=(x-\xi )^{2}+(y-\eta )^{2}+(z-\zeta )^{2}.\,}
可定义
U
(
t
,
x
,
y
,
z
;
ξ
,
η
,
ζ
)
=
δ
(
r
−
c
t
)
4
π
c
r
{\displaystyle U(t,x,y,z;\xi ,\eta ,\zeta )={\frac {\delta (r-ct)}{4\pi cr}}}
称为三维波动方程的影响函数,其意义为(ξ,η,ζ)点在t=0时刻受到短促脉冲δ函数作用后向空间中传出的波的影响,系数分母4πc是为方便后续处理而加上的。
若u是这一族波函数的加权叠加,且权函数为φ,则
u
(
t
,
x
,
y
,
z
)
=
1
4
π
c
∭
φ
(
ξ
,
η
,
ζ
)
δ
(
r
−
c
t
)
r
d
ξ
d
η
d
ζ
;
{\displaystyle u(t,x,y,z)={\frac {1}{4\pi c}}\iiint \varphi (\xi ,\eta ,\zeta ){\frac {\delta (r-ct)}{r}}d\xi \,d\eta \,d\zeta ;\,}
从δ函数的定义可知,u还能写成
u
(
t
,
x
,
y
,
z
)
=
t
4
π
∬
S
φ
(
x
+
c
t
α
,
y
+
c
t
β
,
z
+
c
t
γ
)
d
ω
,
{\displaystyle u(t,x,y,z)={\frac {t}{4\pi }}\iint _{S}\varphi (x+ct\alpha ,y+ct\beta ,z+ct\gamma )d\omega ,\,}
式中α、β和γ是单位球面S上点的坐标,dω为S上的面积微元。该结果的意义为:u(t,x,y,z)是以(x,y,z)为圆心,ct为半径的球面上φ的平均值的t倍:
u
(
t
,
x
,
y
,
z
)
=
t
M
c
t
[
ϕ
]
.
{\displaystyle u(t,x,y,z)=tM_{ct}[\phi ].\,}
从上式易得
u
(
0
,
x
,
y
,
z
)
=
0
,
u
t
(
0
,
x
,
y
,
z
)
=
ϕ
(
x
,
y
,
z
)
.
{\displaystyle u(0,x,y,z)=0,\quad u_{t}(0,x,y,z)=\phi (x,y,z).\,}
平均值是关于t的偶函数,所以若
v
(
t
,
x
,
y
,
z
)
=
∂
∂
t
(
t
M
c
t
[
ψ
]
)
,
{\displaystyle v(t,x,y,z)={\frac {\partial }{\partial t}}\left(tM_{ct}[\psi ]\right),\,}
那么
v
(
0
,
x
,
y
,
z
)
=
ψ
(
x
,
y
,
z
)
,
v
t
(
0
,
x
,
y
,
z
)
=
0.
{\displaystyle v(0,x,y,z)=\psi (x,y,z),\quad v_{t}(0,x,y,z)=0.\,}
以上得出的便是波动方程初值问题的解。从中可以看出,任意点P在t时刻受到的波扰动只来自以P为圆心,ct为半径的球面上,而这个球的内部点在这一时刻对P点的状态完全没有影响(因为它们的影响之前就已经传过P点了)。因此球面內是解的彼得羅夫斯基空白部份。换一个角度分析,假设三维空间中任意点P' 在t=0时刻受到一个脉冲扰动δ,那么由此发出的球面波在传过空间中的任意其它点Q后,便再也不会对Q的运动状态产生影响,这就是在物理学中也非常著名的惠更斯原理(Huygens' principle),也称为无后效现象,表示传过的球面波不会留下任何后续效应。
下面我们便可以解释上一小节中留下的问题了。事实上,前面所得到的球面波解仅在奇数维空间中存在。偶数维空间中波动方程的解是弥散的,也就是说波阵面掠过区域仍然会受其影响。以下面的二维波动方程(极坐标形式,注意和上一小节三维形式的差别)为例:
u
t
t
−
c
2
(
u
r
r
+
1
r
u
r
)
=
0
{\displaystyle u_{tt}-c^{2}(u_{rr}+{\frac {1}{r}}u_{r})=0}
可以从三维形式的解通过降维法得到二维波动方程的影响函数:
U
(
t
,
x
−
ξ
,
y
−
η
)
=
{
1
2
π
c
1
c
2
t
2
−
r
2
,
r
≤
c
t
0
,
r
>
c
t
{\displaystyle U(t,x-\xi ,y-\eta )={\begin{cases}{\frac {1}{2\pi c}}{\frac {1}{\sqrt {c^{2}t^{2}-r^{2}}}},&r\leq ct\\0,&r>ct\end{cases}}}
其中
r
=
(
x
−
ξ
)
2
+
(
y
−
η
)
2
{\displaystyle r={\sqrt {(x-\xi )^{2}+(y-\eta )^{2}}}}
设点M(x,y)到点(ξ,η)距离为d,那么从影响函数中可以看出,当t >d /c即初始扰动已传过M点后,M仍在受到它的影响。二维球面波(柱面波)的这一性质决定了它不能作为传递信号的工具,因为这种波(事实上包括所有偶数维空间中的球面波)经过的点受到的是交织在一起的各个不同时刻的扰动。