The Mehler-Dirichlet integral and some other Legendre function formulae. (Q568693)

Verf. ist darauf aus, Beziehungen, denen die Kugelfunktionen \(P_p(x)\) und ihre Zugeordneten \(P^q_p(x)\) genügen, für die \textit{Legendre}schen Funktionen \[ T_n^m(x) = e^{\frac 12 m \pi i} P_n^m(x), \quad P_n^m(x) = \frac 1{\Gamma (1-m)} \left ( \frac {x+1}{x-1} \right )^{\frac 12 m} F(-n,n+1,1-m,\frac {1-x}2 ) \] auch bei beliebigen \(m, n\) sicherzustellen; die von andern Forschern dabei benutzen Konturintegration meidet er. Er beweist die \textit{Mehler-Dirichlet}sche Formel \[ \begin{gathered} \sin ^m \varTheta \;T_n^{-m}(\cos \varTheta ) = \frac 2{\Gamma (m+\frac 12) \sqrt {2 \pi }} \int _0^\varTheta \cos (n+ \frac 12) \varphi \;(\cos \varphi - \cos \varTheta )^{m-\frac 12} d \varphi, \tag{1} \\ 0 < \varTheta < \pi, \quad m > -\frac 12, \end{gathered} \] indem er \(\cos (n+\frac 12) \varphi \) durch eine hypergeometrische Reihe darstellt. Weiterhin verwendet er als wichtiges Hilfsmittel die Einschaltformel \[ f(n) = \sum _p^{-\infty, +\infty } \frac {\sin (n-p) \pi }{(n-p) \pi } f(p); \tag{2} \] er zeigt, daß\ sie gilt, wenn \[ \begin{gathered} f(n) = \cos (n+ \frac 12) \varphi,\^^M-\pi < \varphi < \pi ;\quad f(n) = T_n^{-m}(\cos \varTheta ),\;-\pi < \varTheta < \pi,\;m \geq 0, \\ \text{im\;besonderen}\;(m=0)\;f(n) = P_n(\cos \varTheta ); \\ f(n) = T_n^{-l}(\cos \varTheta )\;T_n^{-m}(\cos \varTheta '),\;-\pi < \varTheta + \varTheta ' < \pi,\;-\pi < \varTheta - \varTheta ' < \pi,\^^Ml \geq 0,\;m \geq 0, \\ f(n) = T_n^m(\cos \varTheta )\;T_n^{-m}(\cos \varTheta '),\;0 < \varTheta < \pi,\;0 < \varTheta ' < \pi,\;\varTheta + \varTheta ' < \pi, m \geq 0\^^M\text{ganz}. \end{gathered} \] Aus diesen Entwicklungen (2) gewinnt er Rücklaufsformeln für die \(P_n(x)\) und \(T_n^m(x)\) und den Summensatz der \(T_n^m(x)\). Dann gigt er einen zweiten Beweis der Gleichung (1) und stellt die Funktionen \[ (\sinh \psi )^m P_n^{-m}(\cosh \psi ),\;(\sinh \psi )^m Q_n^{-m}(\cosh \psi ) \quad (m > -\frac 12,\;\psi > 0) \] durch Integrale \textit{Mehler}scher Art dar. Er schließt mit der Rücklaufsformel der \(Q_n^{-m}(x)\).