On the integrals of elementary functions. (Q1460460)

Ist \(w\) das Integral einer algebraischen Funktion von \(z\) und läßt sich \(w\) durch elementare Funktionen von \(z\) ausdrücken, so hat \(w\) nach den Untersuchungen von Liouville (Journ. de l'école polytechnique 14 (1833)) die Form \[ w = \alpha_0(z) + c_1 \log \alpha_1 (z) + c_2 \log \alpha_2(z) + \cdots + c_n \log \alpha_n(z), \] wobei \(\alpha_i(z)\) (\(i = 0\), 1, 2, \(\ldots\), \(n\)) algebraische Funktionen von \(z\) und \(c_i\) (\(i = 1\), 2, \(\ldots\), \(n\)) Konstante bedeuten. Als elementare Funktionen gelten hierbei algebraische Funktionen, Logarithmen und Exponentialfunktionen. Hieraus folgt, daß kein Abelsches Integral erster Gattung eine elementare Funktion ist. Liouville hat seine Resultate auch noch weiter ausgedehnt und gezeigt (J. für Math. 13, 1833), daß \({\displaystyle\int}e^{z^2}\,dz\) und \({\displaystyle\int} \dfrac{dz}{\log z}\) nicht elementar sein können. Verf. betrachtet allgemein die Funktion \(w\) als Integral einer elementaren Funktion von \(z\) und beweist: Wenn das Integral \(w\) einer elementaren Funktion von \(z\) einer Gleichung \(F(w; z) = 0\) genügt, wobei \(F(w;z)\) eine elementare Funktion von \(w\) und \(z\) bedeutet, die nicht identisch Null ist, so ist \(w\) eine elementare Funktion von \(z\). Zum Beispiel genügen demnach Abelsche Integrale erster Gattung, Integrale von \(e^{z^2}\) und \(\dfrac1{\log z}\) keiner elementar-transzendenten Gleichung \(F(w; z) = 0\). (IV 3 B.)