On a new connexion of \textit{Bessel} functions with \textit{Legendre} functions. (Q1504195)

Wie bekannt, lassen sich die Kugelfunktionen und allgemein jede hypergeometrische Reihe durch bestimmte Integrale darstellen, die Zylinderfunktionen enthalten. Dieser Darstellung stellt der Verf. der vorliegenden Arbeit eine andere an die Seite, mittels deren umgekehrt die Zylinderfunktionen durch bestimmte Integrale ausgedrückt werden, die Kugelfunktionen enthalten. Den Ausgangspunkt der Untersuchung bildet folgende symbolische Formel von \textit{Lord Rayleigh} (Theory of sound \( 2\), 263), in der die in \(P_n\) auftretenden Potenzen durch die entsprechenden Differentialquotienten zu ersetzen sind. Für ganzzahlige \(n\) ist \[ \left( \frac{\pi}{2z} \right) i^n J_{n+\frac 12}(z)= P_n \left( \frac{d}{idz} \right) \left( \frac{\sin z}{z} \right). \] Diese Formel, deren Richtigkeit für \(n = 0\) und \(n = 1\) sofort ersichtlich ist, wird hier, unter Benutzung der Rekursionsformel für \(P_n\), durch vollständige Induktion bewiesen. Wird noch der \(n\)-te Differentialquotient von \(\sin z/z\) durch das Integral \[ \int_{-1}^{+1}e^{izt}t^ndt \] ersetzt, so folgt \[ J_{n+\frac 12}(z)=\left( \frac{2z}{\pi} \right)^{\frac 12} \int_0^1 \cos \left( zt-\frac{n\pi}{2} \right) P_n(t)dt. \] Diese für ganzzahlige \(n\) geltende Formel sucht der Verf. auf beliebige reelle oder komplexe Werte von \(n\) auszudehnen. Gegen die Zulässigkeit dieser Ausdehnung liegt Referent die erheblichsten Bedenken. Denn der Verf. nimmt bei seinem Beweise an, daß für beliebige Werte von \(n\) \[ P_n(-1)=(-1)^nP_n(+1) \] sei, während doch die Differentialgleichung der Kugelfunktionen nur für ganzzahlige \(n\) ein Integral besitzt, das gleichzeitig für die Argumente \(+ 1\) und \(- 1\) endlich ist, während für nicht ganzzahlige \(n\) ein solches Integral nicht existiert. Ähnliches ist betreffs der analogen Darstellung von \(Y_n(z)\) zu bemerken. Einwandfrei dürfte folgendes Ergebnis der Arbeit sein. Das Integral: \[ z^{\frac 12} \int_\gamma e^{zti}P_{n-\frac 12} (t)dt \] genügt der \textit{Bessel}schen Differentialgleichung, falls der Integrationsweg \(\gamma\) so gewählt ist, daß nach Durchlaufung desselben \[ e^{zti}(a-t^2) \left( \frac{dP_{n-\frac 12}(t)}{dt} - izP_{n-\frac 12}(t) \right) \] wieder den anfänglichen Wert annimmt; und Analoges gilt für das Integral, das aus dem vorstehenden durch Vertauschung von \(P_{n-\frac 12}\) mit \(Q_{n-\frac 12}\) entsteht.