Über Reihenentwicklungen nach Besselschen Funktionen. (Q572616)

Es handelt sich um die Reihenentwicklung nach \textit{Bessel}schen Funktionen \[ f(x)=\sum \alpha_nJ_n(x) \] von Funktionen \(f(x)\), die im Intervalle \(0\leqq x < \infty\) abteilungsweise monoton und stetig sind, eine stetige erste Ableitung und eine endliche zweite Ableitung haben. Es soll weiter die Funktion \(\varphi(x)=x^{-2}f(x)\) für \(0\leqq x < \infty\) existieren, mit ihrer ersten Ableitung stetig und abteilungsweise monoton sein und eine endliche, integrable zweite Ableitung haben. Schließlich sollen die Integrale \[ \int\limits_0^\infty x^3\varphi^2(x)\,dx, \quad \int\limits_0^\infty |\varphi'(x)|\,dx, \quad \int\limits_0^\infty |\varphi''(x)|\,dx \] existieren. Setzt man nun \[ \begin{gathered} \operatorname{sim}(\alpha,x)=\sin \alpha x-2\sum_{i=0}^\infty (-1)^iJ_{2i+1}(x)(\alpha - \sqrt{\alpha^2-1})^{2i+1}, \\ \alpha_{2n}=4n \int\limits_0^\infty \frac{f(x)J_{2n}(x)}x\,dx, \quad f(x)=\sum_{i=1}^n\alpha_{2i}J_{2i}(x)+R_n(x), \end{gathered} \] so gilt, falls noch die Beziehungen \[ f''(0)=\frac 14 \alpha_2, \quad \int\limits_0^\infty \frac{f(x)J_0(x)}x\,dx = 0 \quad \text{und} \quad \int\limits_0^\infty \frac{f(x)\operatorname{sim}(\alpha,x)}{x^2}\,dx=0 \] erfüllt sind: \[ |R_n(x)|\leqq \varepsilon_n x^2, \] wo \(\varepsilon_n\) auf jeder Strecke \(0 \leqq x \leqq A\) gleichmäßig gegen Null strebt. Der Satz wird durch Anwendung des \textit{Fourier}schen Integralsatzes auf \(x^{-2}R_n(x)\) hergeleitet. (IV 6 B.)