Der \textit{Abel}sche Fundamentalsatz der Integralrechnung. (Q1473305)

Der von \textit{Abel} aufgestellte Satz, daß jedes algebraisch ausdrückbare Integral einer algebraischen Funktion \(y\) von \(x\) sich als \textit{rationale} Funktion von \(x\) und \(y\) darstellen läßt, wird dahin erweitert, daß, wenn eine lineare Differentialgleichung \[ P(u)\equiv \frac{d^nu}{dx^n}+y_1\;\frac{d^{n-1}u}{dx^{n- 1}}+\cdots+y_nu=y, \] in welcher \(y_1,y_2,\dots,y_n,y\) beliebige algebraische Funktionen von \(x\) bedeuten, ein algebraisches Integral besitzt, auch ein in \(x,y_1,y_2,\dots,y_n,y\) \textit{rational} ausdrückbares Integral vorhanden ist, und daß jenes algebraische Integral selbst in den bezeichneten Größen rational darstellbar ist, wenn die reduzierte Gleichung \(P(u)=0\) entweder gar kein algebraisches Integral oder nur in \(x,y_1,\dots,y_n,y\) rational ausdrückbare Integrale besitzt. -- Für den Fall, daß die Koeffizienten von \(P(u)\) rationale Funktionen von \(x\) sind und die algebraische Gleichung, der \(y\) genügt, durch Wurzelzeichen auflösbar ist, werden weitere Eigenschaften für die Teile, aus denen \(y\) besteht, hergeleitet.