Some formulae for the associated Legendre functions of the first kind. (Q2590973)

Beweis der Formeln: \[ \begin{multlined} \int\limits_{0}^{\pi} (\sin \, \vartheta)^{l-1}T_n^{-m} (\cos \, \vartheta) \, d \vartheta = \\ \frac{\pi \varGamma \left( \dfrac{l+m}{2}\right)\, \varGamma \left( \dfrac{l-m}{2} \right)} {2^m \varGamma \left( \dfrac{l+n+1}{2} \right)\, \varGamma \left( \dfrac{l-n}{2} \right) \, \varGamma \left( \dfrac{m+n}{2} +1\right) \, \varGamma \left( \dfrac{m-n+1}{2} \right)}, \end{multlined} \] wo \(\mathfrak{R}(l+m)>0\) und \[ T_n^{-m}(x)=\frac{(1-x^2)^{\frac{m}{2}}}{2^m \varGamma(m+1)} F\left( {{m-n,\, m+n+1;} \atop {\; m+1} \;} \dfrac{1-x}{2} \right); \] \[ 2^{n-\frac{1}{2}} \varGamma(m-n)\, \varGamma(n+\frac{1}{2})\, (z^2-1)^{\frac{1-2m}{4}} P_{n-\frac{1}{2}}^{\frac{1}{2}-m} (z) = \int\limits_{0}^{\infty} \frac{(\text{sinh}\, \varphi)^{2n}} {(z+\text{cosh}\, \varphi)^{n+m}} \, d \varphi, \] wo \(\mathfrak{R}(z)>-1\), \(\mathfrak{R}(n+\frac{1}{2})>0\), \(\mathfrak{R}(m-n)>0\), und ähnlicher, bereits bekannter Formeln.