An elementary proof that Bessel's functions of the zeroth order have an infinite number of real roots. (Q1514607)

Verf. beweist zuerst, dass jede reelle Lösung der Differentialgleichung \[ \frac{d^2y}{dx^2} + \frac1x\frac{dy}{dx} + y = 0\tag{1} \] eine unendliche Anzahl reeller Wurzeln hat, indem er sich darauf stützt, dass für jede reelle Lösung \(F(x)\) von (1) die Formel gilt: \[ \pi F(a)J_0(x) = \int_0^\pi F\sqrt{a^2+x^2-2ax\cos\varphi}\cdot d\varphi.\tag{2} \] Dann hebt er den Zusammenhang des Satzes mit dem Theorem hervor, dass jede Lösung der Differentialgleichung \[ \frac{\partial^2u}{\partial x^2} + \frac{\partial^2u}{\partial y^2} + u = 0,\tag{3} \] die nebst ihren ersten und zweiten partiellen Ableitungen einwertig und stetig innerhalb eines gewissen Bereiches der \(xy\)-Ebene ist, ihr Vorzeichen in zwei oder mehr Punkten eines beliebigen Kreises vom Radius 2, 405... wechselt, der ganz innerhalb dieses Bereiches liegt.