De Fourier-Bessel ontwikkeling. (Q1447408)

Beweis des folgenden Satzes mit Hilfe der Theorie der Residuen: Es sei \(\nu\geqq-\frac{ 1}{ 2}\), und es werde \[ a_m=\frac{2}{J^2_{\nu+1}\bigl(h_m\bigr)}\int_0^1 tf(t)\,J_\nu(h_mt)\,dt \] gesetzt, wo \(h_1\), \(h_2\),\dots die der Größe nach geordneten positiven Nullstellen von \(J_\nu(z)\) bezeichnen, und wo die im Intervall \(0<t<1\) definierte reelle Funktion \(f(t)\) die Eigenschaft besitzt, daß die Riemannschen Integrale \[ \textstyle\int\limits_0^1 t^{\frac{1}{2}}\,f(t)\,dt\quad \text{und}\quad\int\limits_0^1 t^{\frac{1}{2}}\,|\,f(t)\,|\,dt \] existieren. Ist dann \(f(t)\) im Intervall \(a\leqq t\leqq b\) (\(0<a<b<1\)) von beschränkter Variation, so ist für jedes \(x\) im Intervall \(a<x<b\) \[ {\frac{1}{2}}\{f(x+)+f(x-)\}= \textstyle\sum\limits_{m=1}^\infty a_mJ_\nu(h_mx). \] (IV 3 D.)