勒让德多项式
勒让德多项式与轴对称边值
物理问题引入:当拉普拉斯方程遇到球对称几何
在静电学与万有引力中,许多实际问题具备 轴对称性(如均匀外电场中的导体球、均匀带电细圆环、自转行星的引力场). 在球坐标系 (𝑟,𝜃,𝜙)(r, theta, phi) 中,拉普拉斯方程为:
∇2Φ=1𝑟2𝜕𝜕𝑟(𝑟2𝜕Φ𝜕𝑟)+1𝑟2sin𝜃𝜕𝜕𝜃(sin𝜃𝜕Φ𝜕𝜃)+1𝑟2sin2𝜃𝜕2Φ𝜕𝜙2=0nabla^2 Phi = 1r^2dd rleft(r^2 dd rright) + 1r^2sinthetaddthetaleft(sintheta ddthetaright) + 1r^2sin^2thetad^2dphi^2 = 0若体系绕 𝑧z 轴旋转对称,则势与方位角无关(𝜕Φ𝜕𝜙 =0dPhi/dphi = 0). 设分离变量解 Φ(𝑟,𝜃) =𝑅(𝑟)Θ(𝜃)Phi(r, theta) = R(r) Theta(theta),分离常数记为 𝑙(𝑙 +1)l(l+1):
- 径向欧拉方程解出:𝑅(𝑟) =𝐴𝑙𝑟𝑙 +𝐵𝑙𝑟𝑙+1R(r) = A_l r^l + B_lr^l+1;
- 做变量代换令 𝑥 =cos𝜃 ∈[ −1,1]x = costheta in [-1, 1],角度方程化为著名的 勒让德方程(Legendre Equation):
(1−𝑥2)d2𝑦d𝑥2−2𝑥d𝑦d𝑥+𝑙(𝑙+1)𝑦=0(1 - x^2)d^2 ydx^2 - 2xdydx + l(l+1)y = 0
1. 物理边界截断与勒让德多项式
在南北极点(𝜃 =0 ⟹ 𝑥 =1theta = 0 implies x = 1,𝜃 =𝜋 ⟹ 𝑥 = −1theta = pi implies x = -1),方程的系数出现正则奇点. 前文幂级数分析表明:只有当参数 𝑙l 取非负整数 𝑙 =0,1,2,…l = 0, 1, 2, dots 时,无穷级数才会截断为有限项多项式,使电势在球面上处处有限不发散!这组截断多项式即为勒让德多项式 𝑃𝑙(𝑥)P_l(x).
勒让德多项式可由微分公式唯美给出:
𝑃𝑙(𝑥)=12𝑙𝑙!d𝑙d𝑥𝑙(𝑥2−1)𝑙P_l(x) = 12^l l! d^ldx^lleft( x^2 - 1 right)^l前几阶具体形式:
- 𝑃0(𝑥) =1P_0(x) = 1(球对称单极)
- 𝑃1(𝑥) =𝑥 =cos𝜃P_1(x) = x = costheta(偶极电势)
- 𝑃2(𝑥) =12(3𝑥2 −1) =14(3cos2𝜃 +1)P_2(x) = 12(3x^2 - 1) = 14(3cos 2theta + 1)(四极电势)
- 𝑃3(𝑥) =12(5𝑥3 −3𝑥)P_3(x) = 12(5x^3 - 3x)
奇偶性:𝑃𝑙( −𝑥) =( −1)𝑙𝑃𝑙(𝑥)P_l(-x) = (-1)^l P_l(x),在端点处归一化为 𝑃𝑙(1) =1,𝑃𝑙( −1) =( −1)𝑙P_l(1) = 1, P_l(-1) = (-1)^l.
2. 正交性与广义傅里叶展开
勒让德多项式是区间 [ −1,1][-1, 1] 上权函数 𝑤(𝑥) =1w(x) = 1 的 Sturm–Liouville 自共轭本征函数系,满足严格正交性:
∫1−1𝑃𝑙(𝑥)𝑃𝑙′(𝑥)d𝑥=22𝑙+1𝛿𝑙𝑙′int_-1^1 P_l(x) P_l'(x) dx = 22l + 1 , delta_ll'任意轴对称角向分布 𝑓(𝜃)f(theta) 均可唯一展开为勒让德级数:
𝑓(𝜃)=∞∑𝑙=0𝑐𝑙𝑃𝑙(cos𝜃),𝑐𝑙=2𝑙+12∫𝜋0𝑓(𝜃)𝑃𝑙(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. 生成函数(母函数)与静电多极展开
考察位于 𝑧z 轴上 𝑧′ =𝑑z'=d 处的点电荷在观测点 𝒓r 激发的库仑势: 设两点夹角为 𝜃theta,𝑥 =cos𝜃x = costheta,两点距离倒数为:
1|𝒓−𝒓′|=1√𝑟2−2𝑟𝑑cos𝜃+𝑑2=1𝑟1√1−2𝑥(𝑑/𝑟)+(𝑑/𝑟)21|r - r'| = 1r^2 - 2rdcostheta + d^2 = 1r 11 - 2x(d/r) + (d/r)^2令微小几何比值 𝑡 =𝑑/𝑟 <1t = d/r < 1,根号展开给出了勒让德多项式的 生成函数(Generating Function):
1√1−2𝑥𝑡+𝑡2=∞∑𝑙=0𝑃𝑙(𝑥)𝑡𝑙11 - 2xt + t^2 = sum_l=0^inf P_l(x) t^l因此,静电点电荷势可直接展开为径向与角向分离的多极级数:
1|𝒓−𝒓′|=∞∑𝑙=0𝑟𝑙<𝑟𝑙+1>𝑃𝑙(cos𝜃)1|r - r'| = sum_l=0^inf r_<^lr_>^l+1 P_l(costheta)其中 𝑟< =min(𝑟,𝑑),𝑟> =max(𝑟,𝑑)r_< = min(r, d), r_> = max(r, d).物理多极矩的数学实质:
- 𝑙 =0l=0 项:单极矩项 1𝑟1/r(总电荷);
- 𝑙 =1l=1 项:偶极矩项 𝑑cos𝜃𝑟2dcostheta/r^2;
- 𝑙 =2l=2 项:四极矩项 𝑑2(3cos2𝜃−1)2𝑟3d^2(3cos^2theta-1)/2r^3. 勒让德多项式天然就是物理多极展开的几何谐波基底!
4. 连带勒让德多项式 𝑃𝑚𝑙(𝑥)P_l^m(x)
若体系不再具备轴对称性,即 ΦPhi 依赖于方位角 𝜙phi,分离变量后方位角方程给出 𝑒±𝑖𝑚𝜙e^+/- imphi(𝑚 ∈ℤm in Z),此时角向方程推广为 连带勒让德方程(Associated Legendre Equation):
(1−𝑥2)d2𝑦d𝑥2−2𝑥d𝑦d𝑥+[𝑙(𝑙+1)−𝑚21−𝑥2]𝑦=0(1 - x^2)d^2 ydx^2 - 2xdydx + left[ l(l+1) - m^21 - x^2 right] y = 0其满足边界有限性的解为 连带勒让德函数:
𝑃𝑚𝑙(𝑥)=(−1)𝑚(1−𝑥2)𝑚/2d𝑚d𝑥𝑚𝑃𝑙(𝑥)(−𝑙≤𝑚≤𝑙)P_l^m(x) = (-1)^m (1 - x^2)^m/2 d^mdx^m P_l(x) quad (-l <= m <= l)它与方位角相位因子 𝑒𝑖𝑚𝜙e^imphi 相乘,便构成了全空间各向同性的最高阶数学工具——球谐函数.
5. 学习衔接
本页面最近更新:2026/10/1 10:49:01,更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面贡献者:Leafuke, Physics Learning Wiki Team
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供,附加条款亦可能应用