Sur l'équation de Bessel. (Q568784)

Verf. behandelt die \textit{Bessel}sche Differentialgleichung in der Gestalt \[ xy''+\gamma y' = y. \] Setzt man \[ B(y)=\frac {d}{dx}\left (x^{2-\gamma }\frac {d}{dx}(x^{\gamma -1}y)\right ), \] so läßt sie sich auch schreiben \[ B(y)=y. \] Wendet man den Operator \(B(y)n\) mal hintereinander an, so ergibt sich \[ B_n(y)=\frac {d^n}{dx^n}\left (x^{n+1-\gamma }\frac {d^n}{dx^n}(x^{\gamma -1}y)\right ), \qquad B_1=B. \] Verf. untersucht nun die Differentialgleichung \[ B_n(y)+\lambda _1B_{n-1}(y)+\lambda _2B_{n-2}(y)+\cdots +\lambda _ny=0, \tag{1} \] wo die \(\lambda _\nu \) konstant sind. Ihre Lösungen lassen sich folgendermaßen gewinnen: Setzt man \[ B(y)=\alpha y, \tag{2} \] so ist \[ B_n(y)=\alpha ^ny; \] \(\alpha \) muß daher der charakteristischen Gleichung \[ \alpha ^n+\lambda _1\alpha ^{n-1}+\lambda _2\alpha ^{n-2}+\cdots +\lambda _n=0 \tag{3} \] genügen. Da die allgemeine Lösung von (2) durch \[ u=aJ_\gamma (\alpha x)+b(\alpha x)^{1-\gamma }J_{2-\gamma }(\alpha x) \] gegeben ist, so erhält man die allgemeine Lösung von (1) als Summe von \(n\) derartigen Ausdrücken, wobei \(\alpha \) der Reihe nach durch die \(n\) Lösungen der Gleichung (3) zu ersetzen ist. Der Fall, daß \(\gamma \) eine ganze Zahl ist, wird daraus in bekannter Weise durch Grenzübergang hergeleitet. Einer \(k\)-fachen Lösung von (3) entsprechen \(k\) linear unabhängige Lösungen \[ u_\nu =\frac {\partial ^\nu J_\gamma (\alpha x)}{\partial \alpha ^\nu } \qquad (\nu =0,1,2,\dots,k-1) \] und umgekehrt. Die Gleichung (1) hat unendlich viele für \(x=0\) reguläre Lösungen, die von einem konstanten Faktor abhängen und gleichzeitig mit \(B_1(y),B_2(y),\dots,B_{n-1}(y)\) für \(x=c\) verschwinden, wenn die charakteristische Gleichung (3) mehrfache Lösungen besitzt. Die Gleichung (1) steht in engem Zusammenhang mit der partiellen Differentialgleichung \[ \Delta ^nu+\lambda _1\Delta ^{n-1}u+\lambda _2\Delta ^{n-2}u+\cdots +\lambda _nu=0, \] wo \(\Delta ^\nu \) den \(\nu \) mal hintereinander angewandten \textit{Laplace}schen Operator bedeutet. In ähnlicher Weise läßt sich die Differentialgleichung \[ x^nB_n(y)+\lambda _1x^{n-1}B_{n-1}(y)+\cdots +\lambda _ny=0 \] behandeln. Sie hat die allgemeine Lösung \[ y=\sum _{\nu =1}^{2n}a_\nu x^{m_\nu }, \] wo die \(m_\nu \) die Lösungen einer bestimmten algebraischen Gleichung vom Grade \(2n\) sind. Einer \(k\)-fachen Lösung \(m\) dieser Gleichung entsprechen die \(k\) linear unabhängigen Lösungen \[ z_\nu =\frac {\partial ^\nu x^m}{\partial m^\nu }=x^m(\log x)^\nu \qquad (\nu =0,1,2,\dots,k-1). \]