Note on the roots of \textit{Bessel} functions. (Q1492233)

In analoger Weise, wie \textit{Bessel} gezeigt hat, daß die Gleichung \(J_0(x) = 0\) in jedem der Intervalle \[ (m+\tfrac 12) \pi<x<(m+1)\pi\quad (m=0,1,2,\dots) \] wenigstens eine Wurzel hat, wird hier der Beweis dafür geführt, daß in jedem der genannten Intervalle nur eine Wurzel liegt. Zu dem Zwecke wird das Integral für \(J_1(x):\) \[ J_1(x) \frac {2x}{\pi} \int_0^1 \sqrt {1-x^2} \cos (xt) dt \] durch die Substitution \[ v = (2m + 1 + m')t,\;x=\frac{(2m+1 +m')}2\;\pi,\quad 0\leqq m' \leqq 1 \] umgeformt und in Teilintegrale zerlegt, so daß \[ J_1(x) =\frac {2x}{\pi (2m + 1 + m')^2} \sum_{n=0}^{n=m-1}u_n +I \] wird. Von den Größen \(u_1, u_2, \dots, u_{m-1}\), \(I\) läßt sich dann zeigen, daß sie alternierendes Vorzeichen besitzen, und daß ihr absoluter Wert beständig zunimmt. \(J_1(x)\) hat somit das Vorzeichen von \(I\), d. h. \[ \text{ sgn\,} J_1 (x) =(- 1)^m, \text{ daher sgn } \frac{dJ_0 (x)}{dx} = (-1)^{m+1}. \] \(J_0(x)\) wächst daher in jedem der Intervalle beständig oder nimmt beständig ab, kann also in keinem mehr als einmal verschwinden.