Integration of the equation \[ x^{m + \frac{1}{2}} \frac{d^{2m + 1} y}{dx^{2m + 1}} \mp y = 0 \] with Bessel functions. (Q5970154)

Die Gleichung ist von Liouville (J. de l'éc. pol. 1835) durch das \(m\)-fache Integral \[ y = \int^m dx^m \sum^{p = 2m + 1}_{p = 1} C_{p} e^{2 \lambda_p \surd x} \] und von Spitzer (Studien über die Integration linearer Differentialgleichungen. Wien 1860) durch \[ y = x^{m + \frac{1}{2}} \frac{d^{m + 1}}{dx^{m + 1}} \sum^{p = 2m + 1}_{p = 1} C_p e^{2 \lambda_p \surd x} \] integrirt worden, wobei die \(C_p\) constant und die \(\lambda_p\) die Wurzeln der Gleichung \(\lambda^{2m + 1} = \pm 1\) sind. Lommel erhält, indem er von den Differentialeigenschaften der Bessel'schen Funktionen ausgeht, fast ohne Rechnung die Auflösung \[ y = x^{\frac{2m + 1}{4}} \sum^{p = 2m}_{p = 0} C_p [J^{- m - \frac{1}{2}}(2 \alpha_p \sqrt{x}) + iJ^{m + \frac{1}{2}}(2 \alpha_p \sqrt{x})], \] wo unter den \(\alpha_p\) die Wurzeln der Gleichung \(\alpha^{2m + 1} = \mp i\) verstanden werden. Aus diesem Ausdruck, welcher die Wichtigkeit der \(J\) mit gebrochenem Parameter illustrirt, leitet er dann noch die folgenden ab, welche nur aus algebraischen und Exponentialfunktionen zusammengesetzt sind: ``Als vollständiges Integral der Gleichung \[ x^{2m + \frac{1}{2}} \frac{d^{4m + 1}y}{dx^{4m + 1}} \mp y = 0 \] hat man auch \[ y=x^m \sum^{p = 4m}_{p = 0} C_p e^{2 i \alpha_p \surd x} \sum^{q = 2m}_{q = 0} \frac{(2m + 1)^{q| 1}(2m)^{q|-1}}{4^{q|4}} \left( \frac{i}{\alpha_p \sqrt{x}} \right)^q, \] wo \(\alpha^{4m + 1} = \mp i\) ist; während das vollständige Integral der Gleichung \[ x^{(2m + 1) + \frac{1}{2}} \frac{d^{4m + 3} y}{dx^{4m + 3}}\mp y = 0, \] wenn jetzt \(\alpha^{4m + 3} = \mp i\) bedeutet, durch \[ y = x^{m + \frac{1}{2}} \sum^{p = 4m + 2}_{p = 0} C_p e^{-2i \alpha_p \surd x} \sum^{q = 2m + 1}_{q = 0} \frac{(2m + 1)^{q| 1}(2m + 1)^{q|-1}}{4^{q| 4}} \left( \frac{i}{\alpha_p \sqrt{x}} \right)^q \] dargestellt wird''. Theils um diese Transformation zu Stande zu bringen, theils um die in den vorjährigen (1868) ``Studien etc.'' aufgeführten Relationen zwischen den \(J\) zu vermehren, beweist der Verfasser, dass die Entwickelung: \[ J^{m + \frac{1}{2}} (z) = (-i)^{m + 1} \frac{e^{iz}}{\sqrt{2 \pi z}} \sum^{q = m}_{q = 0} \frac{(m + 1)^{q| 1} m^{q|-1}}{2^{q| 2}} \cdot \frac{i^q}{z^q} \] \[ + i^{m + 1} \frac{e^{-iz}}{\sqrt{2 \pi z}} \sum^{q = m}_{q = 0} \frac{(m + 1)^{q| 1} m^{q|-1}}{2^{q| 2}} \cdot \frac{( -i)^q}{z^q} \cdots \text{(\S 3)} \] nicht bloss für ganze positive, sondern auch für ganze negative \(m\) gilt, dass für jedes ganze \(m\): \[ [J^{- m - \frac{1}{2}} (z)]^2 + [J^{m + \frac{1}{2}} (z)]^2 = \] \[ \frac{2}{\pi z} \sum^{r = m}_{r = 0} \frac{(2m + 1 - 2r)^{r| 1}}{r!} \left( \frac{(m + 1 - r)^{m -r| 1}}{2^{m - r}} \right)^2 \frac{1}{z^{2m-2r}}, \] dass für jedes \(r\) und jedes ganze \(k\): \[ \lim_{z = 0} z [(J^r (z)^2 + (J^{r + 2k + 1}(z))^2] = \frac{2}{\pi} \cdots \text{(\S 4)}; \] so wie dass stets: \[ \left.\begin{aligned} & \frac{z}{\pi} = \sum^{p = \infty}_{p = 0} \frac{2p + 1}{2} \left( J^{\frac{2p + 1}{2}}(z) \right)^2,\\ & \frac{\sin 2z}{2 \pi} = \sum^{p = \infty}_{p = 0} (-1)^p \frac{2p + 1}{2} \left( J^{\frac{2p + 1}{2}} (z) \right)^2\end{aligned} \right\} \cdots \text{(\S 5) ist.} \] Am Ende der Arbeit wird die in den ``Studien etc.'' gegebene Auflösung \[ y = x^{\frac{m}{2}} \sum^{p = m - 1}_{p = 0} [A_p J^m (2 i \sqrt{\alpha_p x}) +B_p Y^m (2i \sqrt{\alpha_p x})],\quad (\alpha^m = \pm 1), \] der Gleichung \[ x^m \frac{d^{2m} y}{dx^{2m}} \mp y = 0 \] mit denjenigen Liouville's: \[ y =^{m -\frac{1}{2}} \int dx^{m - \frac{1}{2}} \sum^{p = 2m}_{p = 1} C_p e^{2 \lambda_p \surd x},\quad (\lambda^{2m} = \pm 1) \] und Spitzer's: \[ y = x^m\;\frac{d^{m + \frac{1}{2}}}{dx^{m + \frac{1}{2}}} \sum^{p = 2m}_{p = 1} C_p e^{2 \lambda_p \surd x} \] verglichen, um daraus bis auf die Bestimmung von Constanten abzuleiten, dass die Integrale und die Differentialquotienten von der Ordnung \(\left( m + \frac{1}{2} \right)\) von Exponentialfunktionen sich durch Bessel'sche Funktionen ausdrücken lassen müssen.