正文用到本节的地方:扩散方程 (P5.4) 及其解 (P5.5)(§P5.2);电磁波方程与腔中的模式(§P3.4);晶格振动的连续极限(§10.4);福克–普朗克方程(§23.4);卡恩–希利亚德方程(§31.6);奥恩斯坦–泽尼克方程(§19.4)。本节说明如何求出而不仅是验证这些方程的解,主要工具是附录 A14 的傅里叶方法与分离变量法。
§A15.1偏微分方程与叠加原理
含有多个自变量的偏导数的方程称为偏微分方程。本讲义遇到的都是线性方程:未知函数及其导数只以一次方出现。线性齐次方程的解的任意线性组合仍是解(叠加原理),这使得"把复杂的初始条件分解成简单的分量(平面波、本征模),分别求解,再叠加"成为可能。
要确定唯一的解,除了方程本身,还需要:
- 初始条件:扩散方程对时间是一阶的,只需给出 t=0 时的 n(r,0);波动方程对时间是二阶的,需要给出初始的 u 与 ∂tu。
- 边界条件:例如器壁吸收粒子(n=0)、器壁反射粒子(法向流为零,∂n/∂x=0),或周期性边界条件。
§A15.2扩散方程:傅里叶方法
一维扩散方程 ∂tn=D∂x2n,对 x 作傅里叶变换(附录 A14 的空间约定),∂x2→−k2:
∂t∂n^(k,t)=−Dk2n^(k,t)⟹n^(k,t)=n^(k,0)e−Dk2t(A15.1)
偏微分方程被化成了一族互不相关的常微分方程,每个波数一个。每个傅里叶分量独立地按速率 Dk2 衰减:波长为 λ 的浓度起伏在时间 λ2/(4π2D) 内抹平。短波起伏消失得快,长波起伏消失得慢——这就是"扩散使分布变光滑"的数学含义。k=0 的分量 n^(0,t)=∫ndx 不衰减:总粒子数守恒。
点源的解。设 t=0 时 N 个粒子都在原点,n(x,0)=Nδ(x),n^(k,0)=N。由 (A15.1) 与高斯函数的变换 (A14.9)(取 σ2=2Dt,e−σ2k2/2 的反变换是 e−x2/2σ2/2πσ2):
n(x,t)=N∫e−Dk2teikx2πdk=4πDtNe−x2/4Dt
这正是 (P5.5)——现在它是推导出来的,而不是猜出来再验证的。三维中三个方向独立,n=N(4πDt)−3/2e−r2/4Dt。
任意初始条件:格林函数。(A15.1) 是乘积,由卷积定理 (A14.8),
n(x,t)=∫G(x−y,t)n(y,0)dy,G(x,t)=4πDt1e−x2/4Dt(A15.2)
G 是点源的解,称为扩散核(热核)。任意初始分布可以看成许多点源的叠加,每个点源各自扩展成高斯分布,再相加。
n(x,t)初始分布±⟨x2⟩ ⟨x2⟩—
图 A15.1一维扩散方程的解。点源展宽成方差为 2Dt 的高斯分布;方块(∣x∣<1 内均匀)先被抹圆棱角,时间长了也趋于高斯分布。不论初始形状如何,⟨x2⟩=⟨x2⟩0+2Dt。
不解方程也能求矩。设 N=∫ndx,⟨x2⟩=N1∫x2ndx。由扩散方程并分部积分两次(n 在无穷远处迅速衰减,边界项为零):
dtd∫x2ndx=D∫x2∂x2∂2ndx=−2D∫x∂x∂ndx=2D∫ndx
所以 dtd⟨x2⟩=2D,⟨x2⟩=⟨x2⟩0+2Dt,与初始分布的形状无关。同理 dtd⟨x⟩=0(没有漂移)。这种"矩方法"对福克–普朗克方程(§23.4)同样有效。
§A15.3有界区域:分离变量与本征模
粒子在 0<x<L 中扩散,两端是吸收壁:n(0,t)=n(L,t)=0。试探分离变量的解 n=X(x)T(t),代入得 XT′=DX′′T,两边除以 DXT:
DT(t)T′(t)=X(x)X′′(x)
左边只依赖于 t,右边只依赖于 x,所以两边都等于同一个常数,记为 −k2。于是 X′′=−k2X,满足边界条件的解是 X=sinkx,k=mπ/L(m=1,2,…);T=e−Dk2t。通解为
n(x,t)=m=1∑∞bmsinLmπxe−D(mπ/L)2t(A15.3)
系数 bm 由初始分布的正弦级数确定(附录 A14)。长时间后只剩衰减最慢的 m=1 模,弛豫时间为
τ1=π2DL2(A15.4)
数量级:气体中 D∼10−5 m2/s,L=1 cm 时 τ1≈1 s;液体中 D∼10−9 m2/s,同样的距离需要约 104 s(几个小时)——所以溶糖要搅拌。"扩散时间 ∝L2"是一切扩散过程最重要的标度关系。
若两端是反射壁(∂n/∂x=0),本征函数换成 cos(mπx/L),m=0,1,2,…;其中 m=0 的模是常数,不衰减——它就是均匀的平衡分布。
与量子力学的类比。X′′=−k2X 加上边界条件,与盒中粒子的定态方程(§P2.2)完全相同。分离变量把偏微分方程变成一个本征值问题:本征函数是"模式",本征值决定每个模式的时间行为(扩散中是衰减速率 Dk2,波动中是频率 ck,量子力学中是能量 ℏ2k2/2m)。
§A15.4波动方程
∂t2∂2u=c2∂x2∂2u(A15.5)
达朗贝尔解。引入新变量 ξ=x−ct,η=x+ct。由链式法则,∂x=∂ξ+∂η,∂t=c(∂η−∂ξ),(A15.5) 变为 −4c2∂ξ∂ηu=0。所以 ∂ηu 不依赖于 ξ,只是 η 的函数,记为 g′(η);再对 η 积分,积分"常数"可以是 ξ 的任意函数 f(ξ):
u(x,t)=f(x−ct)+g(x+ct)(A15.6)
即一个向右、一个向左以速度 c 传播的、形状不变的波。f、g 由初始的 u 与 ∂tu 确定。
平面波与色散关系。试探 u=ei(kx−ωt),得 ω2=c2k2。线性的色散关系 ω=c∣k∣ 意味着各波长的波速相同,波包传播时不变形。晶格中的色散关系 (10.7) 不是线性的,只在长波极限下近似为 ω=vs∣k∣(§A3.7 说明了晶格方程如何在长波下变成波动方程)。
有界区域:驻波与简正模。两端固定(u(0)=u(L)=0)的弦,分离变量得 u=sinLmπx(Amcosωmt+Bmsinωmt),ωm=mπc/L。每个驻波模式就是一个独立的谐振子(§P1.3 的简正模)。这是统计物理处理连续介质的关键一步:电磁场(§P3.4、第15章)、晶格振动(第10、15章)都被化为一组独立的谐振子,然后对每个谐振子应用 §6.4 的结果。
数模式:固定边界与周期边界给出同样的态密度。三维立方盒中,固定边界条件给出 k=Lπ(nx,ny,nz),ni=1,2,…:每个模式在 k 空间中占体积 (π/L)3,但只能落在正卦限。频率不超过 ω 的模式数是半径 ω/c 的球在正卦限的部分 81⋅34π(ω/c)3 除以 (π/L)3,得 6π2c3Vω3(每种偏振)。周期边界条件给出 k=L2π(nx,ny,nz),ni 取一切整数:每个模式占体积 (2π/L)3,但可以落在整个球内,34π(ω/c)3 除以 (2π/L)3,同样得 6π2c3Vω3。在大体积中,态密度与边界条件无关,所以正文中可以放心地使用计算更方便的周期边界条件(§P2.2、§P3.4、§10.3)。
扩散与波动的根本区别。在扩散方程中令 t→−t,方程变号:扩散是不可逆的,高斯分布只会变宽,不会自发变窄。波动方程对时间是二阶的,t→−t 不变:波动是可逆的。微观运动方程(牛顿方程、薛定谔方程)都是时间反演对称的,而宏观的扩散方程却不是——如何从前者得到后者,正是第五部分(以及 §25.4 的 H 定理)讨论的核心问题。
§A15.5泊松方程与格林函数
扩散达到定态(∂tn=0)或静电问题中,得到泊松方程 ∇2ϕ=−s(r)。由 (A11.11),∇24πr1=−δ3(r),而任意源可以看成点源的叠加,所以
ϕ(r)=∫4π∣r−r′∣s(r′)d3r′(A15.7)
(这就是库仑定律的叠加。)若方程中多一项"屏蔽",(−∇2+ξ−2)ϕ=s,格林函数换成 4πre−r/ξ(§A11.5、§A14.4):点源的影响在距离 ξ 以外指数地消失。§19.4 的关联长度、电解质中的德拜屏蔽、金属中的托马斯–费米屏蔽都是这一结构。
例:向吸收球的定态扩散(斯莫卢霍夫斯基,1917)。半径为 R 的球吸收碰到它的粒子(n(R)=0),远处浓度为 n∞。球对称的定态解满足 ∇2n=0,由 (A11.10),(rn)′′=0,n=A+B/r。边界条件给出
n(r)=n∞(1−rR),总流入速率=4πR2⋅DdrdnR=4πDRn∞(A15.8)
吸收速率正比于半径 R 而不是表面积 R2。这是扩散控制的反应速率与胶体聚沉理论的基础;对第31章中成核之后的晶粒生长,若生长受溶质扩散控制,同样的计算给出晶粒半径按 R∝t 增长(自测题 5)。
自测题
- 直接对 (P5.5) 求导,验证它满足 (P5.4)。
- 用矩方法求扩散的 ⟨x4⟩(点源初始条件)。[答:dtd⟨x4⟩=12D⟨x2⟩=24D2t,⟨x4⟩=12D2t2=3⟨x2⟩2,与高斯分布的 (A7.4) 一致。]
- 验证 u=f(x−ct) 满足 (A15.5)(f 为任意二阶可导函数)。
- 水的热扩散率约为 1.4×10−7 m2/s。估计 1 cm 厚的水层内温度不均匀消失所需的时间。[答:由 (A15.4),约 10−4/(π2×1.4×10−7)≈70 s。]
- 半径为 R 的晶核在过饱和溶液中生长,溶质在晶核表面的浓度为 ns、远处为 n∞,晶体中溶质的数密度为 nc。设扩散场近似为定态,证明 RdR/dt=D(n∞−ns)/nc,因而 R∝t。[提示:由 (A15.8),流入速率 4πDR(n∞−ns)=nc⋅4πR2dR/dt。]
- 若两端为反射壁(∂n/∂x=0),求 [0,L] 上扩散方程的本征模与衰减速率,并说明哪一个模不衰减。
这一篇已记为读完。