跳转至

勒让德多项式

勒让德多项式与轴对称边值

物理问题引入:当拉普拉斯方程遇到球对称几何

在静电学与万有引力中,许多实际问题具备 轴对称性(如均匀外电场中的导体球、均匀带电细圆环、自转行星的引力场). 在球坐标系 (r,θ,ϕ)(r, theta, phi) 中,拉普拉斯方程为:

∇2Φ=1r2∂∂r(r2∂Φ∂r)+1r2sin⁡θ∂∂θ(sin⁡θ∂Φ∂θ)+1r2sin2⁡θ∂2Φ∂ϕ2=0nabla^2 Phi = 1r^2dd rleft(r^2 dd rright) + 1r^2sinthetaddthetaleft(sintheta ddthetaright) + 1r^2sin^2thetad^2dphi^2 = 0

若体系绕 zz 轴旋转对称,则势与方位角无关(∂Φ∂ϕ=0dPhi/dphi = 0). 设分离变量解 Φ(r,θ)=R(r)Θ(θ)Phi(r, theta) = R(r) Theta(theta),分离常数记为 l(l+1)l(l+1):

  • 径向欧拉方程解出:R(r)=Alrl+Blrl+1R(r) = A_l r^l + B_lr^l+1;
  • 做变量代换令 x=cos⁡θ∈[−1,1]x = costheta in [-1, 1],角度方程化为著名的 勒让德方程(Legendre Equation):
(1−x2)d2ydx2−2xdydx+l(l+1)y=0(1 - x^2)d^2 ydx^2 - 2xdydx + l(l+1)y = 0

1. 物理边界截断与勒让德多项式

在南北极点(θ=0⟹x=1theta = 0 implies x = 1,θ=π⟹x=−1theta = pi implies x = -1),方程的系数出现正则奇点. 前文幂级数分析表明:只有当参数 ll 取非负整数 l=0,1,2,…l = 0, 1, 2, dots 时,无穷级数才会截断为有限项多项式,使电势在球面上处处有限不发散!这组截断多项式即为勒让德多项式 Pl(x)P_l(x).

1.1 罗德里格斯公式(Rodrigues' Formula)

勒让德多项式可由微分公式唯美给出:

Pl(x)=12ll!dldxl(x2−1)lP_l(x) = 12^l l! d^ldx^lleft( x^2 - 1 right)^l

前几阶具体形式:

  • P0(x)=1P_0(x) = 1(球对称单极)
  • P1(x)=x=cos⁡θP_1(x) = x = costheta(偶极电势)
  • P2(x)=12(3x2−1)=14(3cos⁡2θ+1)P_2(x) = 12(3x^2 - 1) = 14(3cos 2theta + 1)(四极电势)
  • P3(x)=12(5x3−3x)P_3(x) = 12(5x^3 - 3x)

奇偶性:Pl(−x)=(−1)lPl(x)P_l(-x) = (-1)^l P_l(x),在端点处归一化为 Pl(1)=1,Pl(−1)=(−1)lP_l(1) = 1, P_l(-1) = (-1)^l.


2. 正交性与广义傅里叶展开

勒让德多项式是区间 [−1,1][-1, 1] 上权函数 w(x)=1w(x) = 1 的 Sturm–Liouville 自共轭本征函数系,满足严格正交性:

∫−11Pl(x)Pl′(x)dx=22l+1δll′int_-1^1 P_l(x) P_l'(x) dx = 22l + 1 , delta_ll'

任意轴对称角向分布 f(θ)f(theta) 均可唯一展开为勒让德级数:

f(θ)=∑l=0∞clPl(cos⁡θ),cl=2l+12∫0πf(θ)Pl(cos⁡θ)sin⁡θdθf(theta) = sum_l=0^inf c_l P_l(costheta), quad c_l = 2l + 12 int_0^pi f(theta) P_l(costheta) sintheta , dtheta

3. 生成函数(母函数)与静电多极展开

考察位于 zz 轴上 z′=dz'=d 处的点电荷在观测点 rr 激发的库仑势: 设两点夹角为 θtheta,x=cos⁡θx = costheta,两点距离倒数为:

1|r−r′|=1r2−2rdcos⁡θ+d2=1r11−2x(d/r)+(d/r)21|r - r'| = 1r^2 - 2rdcostheta + d^2 = 1r 11 - 2x(d/r) + (d/r)^2

令微小几何比值 t=d/r<1t = d/r < 1,根号展开给出了勒让德多项式的 生成函数(Generating Function):

11−2xt+t2=∑l=0∞Pl(x)tl11 - 2xt + t^2 = sum_l=0^inf P_l(x) t^l

因此,静电点电荷势可直接展开为径向与角向分离的多极级数:

1|r−r′|=∑l=0∞r<lr>l+1Pl(cos⁡θ)1|r - r'| = sum_l=0^inf r_<^lr_>^l+1 P_l(costheta)

其中 r<=min(r,d),r>=max(r,d)r_< = min(r, d), r_> = max(r, d).物理多极矩的数学实质:

  • l=0l=0 项:单极矩项 1r1/r(总电荷);
  • l=1l=1 项:偶极矩项 dcos⁡θr2dcostheta/r^2;
  • l=2l=2 项:四极矩项 d2(3cos2⁡θ−1)2r3d^2(3cos^2theta-1)/2r^3. 勒让德多项式天然就是物理多极展开的几何谐波基底!

4. 连带勒让德多项式 Plm(x)P_l^m(x)

若体系不再具备轴对称性,即 ΦPhi 依赖于方位角 ϕphi,分离变量后方位角方程给出 e±imϕe^+/- imphi(m∈Zm in Z),此时角向方程推广为 连带勒让德方程(Associated Legendre Equation):

(1−x2)d2ydx2−2xdydx+[l(l+1)−m21−x2]y=0(1 - x^2)d^2 ydx^2 - 2xdydx + left[ l(l+1) - m^21 - x^2 right] y = 0

其满足边界有限性的解为 连带勒让德函数:

Plm(x)=(−1)m(1−x2)m/2dmdxmPl(x)(−l≤m≤l)P_l^m(x) = (-1)^m (1 - x^2)^m/2 d^mdx^m P_l(x) quad (-l <= m <= l)

它与方位角相位因子 eimϕe^imphi 相乘,便构成了全空间各向同性的最高阶数学工具——球谐函数.


5. 学习衔接



评论