连带勒让德函数

                     

贡献者: addis

预备知识 勒让德多项式

  1连带勒让德方程来源于在球坐标系中使用分离变量法解拉普拉斯方程(球坐标系中的拉普拉斯方程)中,连带勒让德方程为

\begin{equation} \frac{\mathrm{d}}{\mathrm{d}{x}} \left[(1-x^2) \frac{\mathrm{d}}{\mathrm{d}{x}} P_l^m(x) \right] + \left[l(l+1) - \frac{m^2}{1-x^2} \right] P_l^m(x) = 0~. \end{equation}
当 $m = 0$ 时,该方程变为勒让德方程(式 1 )。其中参数 $l, m$ 分别叫做次数(degree)阶数(order)

   最广义的情况下,$l,m$ 都可以是任意复数。本文中我们只讨整数 $l,m$,且 $l\geq 0$,$ \left\lvert m \right\rvert \leq l$ 的情况,且只讨论区间 $x\in [-1,1]$。这些限制在实际应用中是最常见的。此时方程的解是连带勒让德函数(associated Legendre function) $P_l^m(x)$ 可用勒让德多项式 $P_l(x)$ 生成

\begin{equation} P_l^m(x) = (-1)^m (1 - x^2)^{m/2} \frac{\mathrm{d}^{m}}{\mathrm{d}{x}^{m}} P_l(x)~. \end{equation}
注意当 $m = 0$ 时有
\begin{equation} P_l^0(x) = P_l(x)~. \end{equation}
当 $m$ 为奇数时,$P_l^m(x)$ 并不是一个多项式,但习惯上我们仍经常称之为连带勒让德多项式。式中 $(-1)^m$ 叫做 Shortley-Condon 相位,量子力学中通常会使用该相位,但在一些文献中不包含这个相位(同样满足微分方程)。

1. 归一化

   连带勒让德函数的归一化系数为(证明略)

\begin{equation} A_{l,m} = \sqrt{\frac{2l+1}{2}\frac{(l-m)!}{(l+m)!}}~. \end{equation}
满足正交归一条件
\begin{equation} \int_{-1}^1 [A_{l',m} P_{l'}^{m}(x)] [A_{l,m} P_l^{m}(x)] \,\mathrm{d}{x} = \delta_{l,l'}~. \end{equation}
注意只有同一个 $m$ 的多项式之间正交。另外当 $m = 0$ 时,就回到了式 5

2. 其他性质

  

未完成:Gaunt' Formula

图
图 1:Gaunt' Formula

   这应该可以用 3j 系数来表示。


1. ^ 参考 Wikipedia 相关页面


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利