Some integral formulae involving associated Legendre functions. (Q2596458)

In einer Arbeit desselben Titels wie die vorliegende Note (Proc. Cambridge philos. Soc. 27 (1931); 184-189, 381-386; F. d. M. \(57_{\text{I}}\), 431-432) hat Verf. einige Integralformeln für Legendresche Funktionen bewiesen. Bei dem Versuch, die in dem Referat jener Arbeit als (6) bezeichnete Formel mit Hilfe der Operatorenrechnung zu beweisen, ist er auf das folgende Integral geführt worden, in dem n eine positive ganze Zahl bedeutet: \[ \int\limits_0^\infty \exp (-p^\vartheta) \mathop{\text{sh}}\nolimits^m \vartheta P^{-m}_n (\mathop{\text{ch}} \vartheta) \,d\vartheta. \] Unter der Annahme \(\Re (p - m) > n\), \(\Re (m) > - \frac12\) findet er für dieses Integral den Wert \[ \frac1{2^{m+1}}\frac{\varGamma(m+\frac12) \varGamma\bigl(\frac12(p+n-m+1)\bigr) \varGamma\bigl(\frac12(p-m-n)\bigr)} {\varGamma(\frac12) \varGamma\bigl(\frac12(p+m-n+1)\bigr) \varGamma\bigl(\frac12(p+m+n+2)\bigr)}\,. \] Ferner behandelt er Sonderfälle dieser Formel sowie eine nahe verwandte Formel und gibt schließlich einen Beweis seiner Integralformel, den ihm \textit{G. N. Watson} mitgeteilt hat, und der von der Laplaceschen Umkehrungsformel Gebrauch macht.