On the integration in finite terms of linear differential equations of the second order. (Q1447615)

Liouville zeigte, daß die Lösungen der Differentialgleichung \[ \dfrac{d^2w}{dz^2} = \chi(z)w, \tag{1} \] falls \(\chi(z)\) eine ``elementare'' Funktion ist, nicht immer selbst ``elementare'' Funktionen sind. Damit ist noch nicht gesagt, daß die Gleichung (1) nicht mittels der elementaren Intergrationsmethoden in eine ``elementare'' Gleichung \(F(w, z) = 0\) für die Lösung \(w = w(z)\) übergeführt werden kann. Verf. beweist, daß dies doch der Fall ist; genauer, er beweist den Satz: Genügt irgendeine Lösung der Differentialgleichung (1), in der \(\chi(z)\) eine elementare Funktion ist, einer Gleichung \(F(w, z) = 0\) mit elementarer, nicht identisch verschwindender Funktion \(F(w, z)\), so ist sie selbst eine elementare Funktion. Nach Definition der ``elementaren'' Funktion (``\(l\)-Funktion'') geschieht der Beweis mittels formaler Diskussion der Funktionen, die (1) und \(F(w,z) = 0\) gleichzeitig genügen. Insbesondere folgt aus dieser Untersuchung, daß die Lösungen der Besselschen Differentialgleichung nur dann einer elementaren Gleichung genügen, wenn sie selbst elementare Funktionen sind.