On the product of two associated Legendre functions. (Q2586594)

Es handelt sich um den Beweis der Formel \[ \begin{gathered} (\mu^2-1)^{-\tfrac12 m} P_p^m(\mu)P_q^m(\mu) = 2^m \sum_{r=0}^{\min(p-m,q-m)} \dfrac{A_{r,-m}A_{p-r}^{-m}A_{q-r}^{-m}}{A^m_{p+q-m-r}} \tag{1}\\ \cdot \dfrac{(p+q-2m-2r)!}{(p+q-2r)!} \cdot \dfrac{2p+2q-2m-4r+1}{2p+2q-2m-2r+1} P_{p+q-m-2r}^m(\mu),\\ A_s^m =\dfrac{\left(\tfrac12\right)_s}{(s+m)!},\qquad A_{r,m} =\dfrac{\left(\tfrac12-m\right)_r}{r!}, \end{gathered} \] in der \(P_n^m(\mu)\) im Sinne von Hobson zu verstehen ist und \(p\), \(q\), \(m\) natürliche Zahlen sind. Verf. führt ihn mit Hilfe der Transformation hypergeometrischer Reihen, nämlich der Beziehung \[ \begin{gathered} F(\alpha,\beta;1+\alpha-\beta;\;x) F(\alpha', 1-\beta;\;\alpha'+\beta;\;x) \tag{2}\\ =\sum_{r=0}^{\infty} \dfrac{(\alpha)_r(\beta)_r(\alpha'+2\beta-1)_r(\alpha+\alpha'+r)_r} {r!(\alpha'+\beta)_r(1+\alpha-\beta)_r(\alpha+\beta+\alpha'+r-1)_r} x^r F\left[\begin{matrix} \alpha+\alpha'+2r, 1-\beta;\\ \alpha+\beta+\alpha'+2r; \hphantom{,,} \end{matrix} x\right]. \end{gathered} \] Aus ihr erhält man (1), wenn man \(\alpha = m - p\), \(\beta =\tfrac12+m\), \(\alpha'=-m-q\) setzt und \(P_n^m(\mu)\) als hypergeometrische Reihe darstellt. \(- Q_n^m(\mu)\) seien die Zugeordneten zweiter Art. Verf. gewinnt, ohne \(p\), \(q\), \(m\) einzuschränken, eine Reihe zweiter Art für den Ausdruck \((\mu^2-1)^{\tfrac12 m}Q_p^m(\mu)Q_q^m(\mu)\); \((\mu^2-1)^{\pm\tfrac12 m} P_p^m(\mu)Q_q^m(\mu)\) entwickelt er in zwei Reihen zweiter Art. Ferner verallgemeinert er (1) auf gewisse nicht positiv-ganze \(p\), \(q\).