Remarks on series of spherical functions and in particular also on series of products or squares of spherical functions, with application to cylinder functions. (Q1557541)

Ist in bekannter Weise der Wurzelausdruck \[ (1-2rx + r^2) ^{-\frac 12} = P_0 + P_1r + P_2r^2 + P_3 r^3 + \cdots \] gesetzt, so heisst \(P_n\) die \(n^{\text{te}}\) Kugelfunction der ersten Art von \(x(=\cos \vartheta)\), und die \(n^{\text{te}}\) Kugelfunction \(Q_n\) der zweiten Art wird mit ihr durch die Gleichung \[ Q_n = \frac 12 P_n \log \frac{x+1}{x-1} R_n \] in Beziehung gesetzt, wo \(R_n\) durch die Grössen \(P_{n-1}\), \(P_{n-3}\) \(\ldots\) linear und recurrirend dargestellt werden kann. Berücksichtigt man nun, dass die weitere Gleichung besteht: \[ R_1 r + R_2 r^2 + R_3 r^3 + \cdots = (1-2rx + x^2) ^{-\frac 12} \int_0^r (1-2rx + x^2) ^{-\frac 12} dx, \] so findet man durch gliedweise Integration und nachheriges Gleichsetzen entsprechender Glieder \[ R_n = \frac 1n P_0 P_{n-1} + \frac{1}{n-1} P_1 P_{n-2} + \cdots + \frac 12 P_{n-2} P_1 + \frac 11 P_{n-1}P_0. \] Der Verfasser bemerkt, dass diese Formel gelegentlich bereits von Christoffel gefunden worden sei. Nachdem er dann noch in einigen Punkten die Priorität seiner Abhandlung ``Von den Integralen gewisser Differentialgleichungen'' gewahrt, benutzt er jene zur Auswerthung von \[ \int_{-1}^{+1} P_m P_n P_p dx \] \[ \begin{aligned} = 2 & \frac{k!}{1\cdot 3\cdot 5 \ldots (2k+1) }\cdot \frac{1\cdot 3\cdot 5 \ldots (2k-2m-1)}{(k-m)!}\\ & \cdot \frac{1\cdot 3 \cdot 5 \ldots (2k-2n-1)}{(k-n)!} \cdot \frac{1\cdot 3 \cdot 5 \ldots (2k-2p -1)}{(k-p)!}\end{aligned} \] wo \[ 2k = m+n+p. \] Hieraus folgt dann sofort eine Entwickelung des Produktes zweier (auch gleicher) Kugelfunctionen nach einzelnen Functionen, die jedoch dem Verfasser nicht einfach genug erscheint, um weiter ausgeführt zu werden. Vielmehr geht er nunmehr von der Formel \[ \cos \gamma = \cos \vartheta \cos \vartheta' + \sin \vartheta \sin \vartheta' \cos (\varphi - \varphi') \] aus, und betrachtet das in der Lehre von den Kugelfunctionen mehrfach vorkommende Doppelintegral \[ \int_0^{\pi} \int_0^{2\pi} Y_n P_m (\cos \gamma) \sin \vartheta d\vartheta d\varphi = \left. {0 \atop \frac{4\pi}{2n+1}}\;Y_n'\right\} {m \gtrless n. \atop m=n.} \] Aus diesem folgt sofort ein anderes, welches an Stelle von \(P_m (\cos \gamma)\) irgend eine selbst wieder nach Kugelfunctionen zu entwickelnde Function \[ f(\cos \gamma) = \varSigma A_n P_n (\cos \gamma) \] enthält, und so den Werth \(\frac{4\pi}{2n +1} A_n Y_n'\) liefert \(\cdot Y'\) bedeutet hier das, was durch die Vertauschungen von \(\vartheta\) mit \(\vartheta'\), \(\varphi\) mit \(\varphi'\) aus \(Y_n\) wird. Wird schliesslich \[ Y_n = P_n (\cos \vartheta) \quad \text{und} \quad P_n (\cos \vartheta') = P_n' \] gesetzt, so resultirt \[ \frac{1}{2\pi} \int_0^{2\pi} f(\cos \gamma) d\varphi = \varSigma A_n P_n P_n', \] und diese Formel, von welcher schon Legendre einen Specialfall kannte, liefert nun eine Quelle zur Entwickelung nach Producten und Quadraten von Kugelfunctionen; das letztere findet statt, wenn \(\vartheta' = \vartheta\) wird. Drei solche Entwickelungen werden speciell hervorgehoben. Bei der ersten findet sich das elliptische Integral der ersten Legendre'schen Normalform \[ E\left( \sin\vartheta, \frac{\pi}{2} \right) = \pi \varSigma (-1)^n P_n^2 (\cos \vartheta). \] Bei der zweiten wird die Richtigkeit der Gleichung \[ E\left( \sin \frac{\vartheta}{2} , \; \sigma \right) = \sum \frac{2}{2n+1} P_n \sin (n+\frac 12) \varphi \] nachgewiesen, wo \(\sigma\) und \(\varphi\) durch die Bedingungsgleichung \[ \sin \sigma \sin \frac{\vartheta}{2} = \sin \frac{\varphi}{2} \] verknüpft erscheinen \((\varphi < \vartheta)\); die den Werth der Reihe repräsentirende Curve zerfällt hier in zwei symmetrisch zu beiden Axen liegende krummlinige Stücke und eine deren Endpunkte verbindende zur Abscissenaxe parallele Gerade, welch' letztere unter Umständen verschwindet und zu einer hier ausführlich erörterten Discontinuität Anlass giebt. Bei der Discussion des dritten Specialfalles endlich ergiebt sich der Satz: \[ \frac{1}{8 \pi} \sin 2 \vartheta = \frac{1^2}{1\cdot 3\cdot 5} P_0 P_1 - \frac{2^2}{1\cdot 3\cdot 5\cdot 7} P_1P_2 - \cdots \] \[ -\frac{r^2}{(2r-3)(2r-1)(2r+1)(2r+3)} P_{r-1} P_r - \cdots \] Im dritten Paragraphen recapitulirt der Verfasser zunächst einige von ihm früher bewiesene Sätze über Kugelfunctionen und beweist dann, dass, wenn \[ \begin{aligned} & \cos (a\cos \vartheta) = A_0 P_0 - A_2 P_2 + A_4 P_4 - + \cdots,\\ & \sin (a\sin \vartheta) = A_1 P_2 = A_3 P_3 + A_5 P_5 - + \cdots\end{aligned} \] gesetzt wird, die Grösse \(A_n\) nur durch einen Zahlenfactor von der Bessel'schen Function (mit gebrochenem Index) \(a^{-\frac 12} J^{(\alpha)}_{n+\frac 12}\) sich unterscheidet. Indem man weiter für \(\cos \vartheta\) in obigen Gleichungen den Werth \(\cos \gamma\) als Function von \(\vartheta\), \(\vartheta'\) und \(\varphi\) substituirt und beiderseitig eine Integration nach \(\varphi\) vornimmt, folgen die Relationen \[ \begin{aligned} & \cos (a \cos \vartheta \cos \vartheta ') J_0^{(a \sin \vartheta \sin \vartheta')} = \sum_{n=0} (-1)^n A^{2n} P_{2n}^3,\\ & \sin (a\cos \vartheta \cos \vartheta') J_0^{(a \sin \vartheta\sin \vartheta')} = \sum_{n=0} (-1)^n A_{2n+1} P_{2n+1}^3.\end{aligned} \] Die weiterhin in diesem Paragraphen in grosser Anzahl entwickelten Relationen gründen sich wesentlich auf den Umstand, dass sowohl zwischen drei in der Reihe aufeinanderfolgenden Kugelfunctionen \[ P_{n-1}, \; P_n,\; P_{n+1}, \] als auch zwischen deren \(k^{\text{ten}}\) Ableitungen und den drei Cylinderfunctionen \[ J_{k-1}^{(z)},\; J_k^{(z)},\; J_{k+1}^{(z)} \] je eine trinomische Gleichung linearen Characters besteht. Der vierte Paragraph endlich bringt, von der Christoffel'schen Formel \[ \prod_n (x,x') = \sum_{n=0} (2n+1) P_n P_n = (n+1) \frac{\left| \begin{matrix}\l\quad &\l\\ P_n' & P_n \\ P_{n+1}' & P_{n+1} \end{matrix} \right|}{x-x'} \] ausgehend, eine neue Darstellung beliebiger Functionen durch Kugelfunctionen. Es wird nämlich mit Hülfe des von Poisson für Kugelfunctionen von sehr grossem Index aufgestellten Näherungswerthes die Indentität \[ \sum_{n=0}^{n=\infty} P_n \frac{2n+1}{2} \int_{-1}^{+1} f(x') P_n' dx' = f(x) \] dargethan, und dann noch für eine beliebige nach Kugelfunctionen fortschreitende Reihe das Restglied in einer neuen Form durch bestimmte Integrale hingestellt. Bei dem grossen Interesse, welches die zahlreichen neuen Resultate der Bauer'schen Abhandlung erregen müssen, wäre eine detaillirtere Hervorhebung der Mittelglieder in den vielen oft complicirten Rechnungen wünschenswerth gewesen.