连带勒让德多项式$P^m_l(z)$在z=1处的渐近形式求解问询

Great question—this is a classic pitfall with the differential equation approach, since that $\frac{m^2}{1-z2}$ term blows up right as $z$ approaches 1. Luckily, there are several clean workarounds that avoid dealing with that singular term directly. Let’s break them down:

1. 从罗德里格斯公式出发展开 #

带Condon-Shortley相位的连带勒让德多项式罗德里格斯公式为：
$$P_l^m(z) = (-1)^m \frac{(1-z²⁾{m/2}}{2^l l!} \frac{d^{l+m}}{dz{l+m}} (z^2 - 1)^l$$

当$z \to 1$时，令$z = 1 - \delta$（$\delta \to 0^{+$），首先近似$(z}2 - 1)^l = (z-1)^l(z+1)l \approx (-2\delta)^l$（因为$z+1 \approx 2$）。接下来用莱布尼茨法则计算$(l+m)$阶导数：

• 莱布尼茨展开中唯一非零的项，来自对$(z-1)^{l$恰好求导$l$次（求导超过$l$次结果为0）、对$(z+1)}l$恰好求导$m$次的组合。

计算这个项后，我们可以得到：
$$P_l^m(z) \sim (-1)^m 2^{-m/2} \frac{(l+m)!}{m!(l-m)!} (1-z)^{m/2} \quad \text{as } z \to 1$$

这种方法直接得到了主导渐近行为，完全不需要处理微分方程中的奇异项。

2. 利用递推关系从$m=0$递推 #

我们知道标准勒让德多项式满足$P_l^0(z) \to 1$（当$z \to 1$时）。我们可以利用$m$指标的递推关系，逐步推导更高$m$值的渐近行为，更实用的是导数关系：
$$P_l^m(z) = (1-z²⁾{m/2} \frac{d^m}{dzm} P_l(z)$$

由于$P_l(z)$是多项式，它在$z=1$处的$m$阶导数是有限常数（具体为$\frac{(l+m)!}{2^l (l-m)!}$）。乘以$(1-z²⁾{m/2} \approx 2^{m/2}(1-z){m/2}$后，得到的主导项和罗德里格斯公式方法的结果一致。

3. 施莱夫利积分表示法 #

连带勒让德多项式的施莱夫利积分表示为：
$$P_l^m(z) = \frac{(z^2 - 1)^{m/2}}{2\pi i} \oint \frac{(t^2 - 1)^l}{2l (t - z)^{l+m+1}} dt$$

当$z \to 1$时，将积分围道变形为绕$z=1$的小圆。令$t = 1 + \epsilon e^{i\theta}$（$\epsilon \to 0^{+$），对被积函数做小$\epsilon$展开，积分会简化为一个直接的围道积分，最终得到同样的$(1-z)}{m/2}$主导行为，同样避开了微分方程的奇异项。

三种方法都指向同一个结论：对于固定的$l$和$m$（满足$0 \leq m \leq l$），当$z$趋近于1时，$P_l^{m(z)$的行为是某个常数乘以$(1-z)}{m/2}$。

内容的提问来源于stack exchange，提问作者cord