Some remarks on Mr. Neumann's investigations of the Bessel functions. (Q1564706)

Da die Bessel'schen Funktionen gegenwärtig von vielen Analysten bearbeitet werden, so ist es nicht zu verwundern, dass Mehrere, ohne von einander zu wissen, denselben Ausgangspunkt wählen. So ist hier und in der oben besprochenen Arbeit Hankel's (JFM 02.0257.02) die Ableitung beider Integrale der Bessel'schen Gleichung dieselbe, auch wird des Werks von Lommel aus dem Jahre 1868 nicht erwähnt, obgleich beide Autoren durch Erweiterung des Parameters \(a\) in \(J^a (x)\) auf gebrochene Werthe von der ursprünglichen Betrachtungsweise abweichen. Der Satz H. Neumann's dass \[ J^0 (x + y) = J^0 (x) J^0 (y) + 2 \sum^{\lambda = \infty}_{\lambda = 1} (-1)^{\lambda} J^{\lambda} (x) J^{\lambda} (y) \] ist, erfährt hier die Erweiterung: \[ (x + y)^a F(a,(x + y)^2) = \sum^{n = + \infty}_{n = - \infty} x^{a - n} F(a - n, x^2) \cdot y^n F(n, y^2), \] wobei \[ J^a (x) = \left( \frac{x}{2} \right)^a F \left( a, -\left( \frac{x}{2} \right)^2 \right) \] zu nehmen ist. Für die Neumann'sche Funktion \(0^{n}\), deren Differentialgleichung unter Voraussetzung eines graden oder ungraden \(n\) bei ihrem Erfinder verschieden lautet, wird die Collectivform angegeben: \[ x^2 \frac{d^2 0^n (x)}{dx^2} + 3x \frac{d 0^n (x)}{dx} + (x^2 - n^2 + 1) 0^n (x) = x \cos \frac{^2 n \pi}{2} + n \sin \frac{^2 n \pi}{2}; \] es wird \[ 0^{-n}(x) = (-1)^n 0^n (x) \] eingeführt, und der Satz \[ 0^n (x + y) = \sum^{\lambda = + \infty}_{\lambda = - \infty} 0^{n -\lambda} (x) J^{\lambda}(y) \] durch den folgenden erweitert: \[ S^a (x + y) = \sum^{p = + \infty}_{p = - \infty} S^{a - p} (x)J^p (y), \] wo \(a\) eine ganze positive Zahl, und \[ s^a (x) = \frac{2}{a} \left( x 0^a (x) - \cos \frac{^2 a \pi}{2} \right) \] bedeutet. Dann wird die Gleichung \[ F(a, x). F (b, x) = \frac{2}{\pi} \int^{\frac{\pi}{2}}_{0} (2 \cos \varphi)^{a + b} \cos [(a - b) \varphi] . F (a + b, 4x \cos ^2 \varphi) d \varphi \] abgeleitet, welche eine von H. Neumann ausgeführte Darstellung von \([J^n (x)]^2\) in sich enthält, und die Funktion \(Y\) aus vier Theilen \(Y^n = \log x . J^n + G^n + H^n + E^n\) zusammengesetzt, die einzeln bestimmt werden. Im Nachtrage zeigt der Verfasser, wie seine in Brioschi Ann. I. (s. Fortschr. d. M. I. p. 112, JFM 01.0112.02) gegebene Formel \[ J^a (x) = \frac{1}{\pi} \int^{\pi}_{0} \cos(2x \sin \varphi - a \varphi) d \varphi - \frac{\sin a \pi}{\pi} \int^{\infty}_{0} e^{-2 \chi \sin \varphi -a \varphi} d \varphi \] einfacher bewiesen werden könne, als dort geschehen ist.