Ueber algebraische Beziehungen zwischen Integralen linearer Differentialgleichungen. (Q1538100)

\[ \text{(1)}\quad y^{(m)}=p_1y^{(m-1)}+p_2y^{(m-2)}+\cdots+p_{m-1}y'+p_my \] sei eine lineare Differentialgleichung \(m^{\text{ter}}\) Ordnung mit algebraischen Coefficienten; es wird die Frage erörtert, ob ein Integral derselben eine algebraische Function eines anderen Integrals und der \(m-2\) Ableitungen von der Form \[ y_2=F(x,y_1,y_1',\dots,y_1^{(m-2)}) \] sein kann, wenn \(y_1\) nicht schon einer algebraischen Differentialgleichung von niederer Ordnung als der \(m^{\text{ten}}\) genügen soll. Lässt man zunächst in die fragliche Beziehung die Ableitungen nicht eintreten, so ergiebt sich, dass nur dann \(y_2=F(x,y_1)\) (\(F\) algebraische Function) sein kann, wenn die Gleichung (1) ein algebraisches Integral \(\eta\) besitzt, und zwar ist dann die Beziehung von der Form \[ y_1=cy_1+\eta\quad (c\text{ eine Constante}). \] Im übrigen wird die allgemeinere Frage für \(m=3\) in folgender Weise erledigt: Die Beziehung \(y_2=F(x,y_1,y_1')\) (\(F\) algebraische Function) findet nur dann statt, wenn die Differentialgleichung dritter Ordnung drei Fundamentalintegrale von der Form \[ e^{\int\left(\frac c3+\alpha_1-g\right)\frac{dx}f},e^{\int\left(\frac c3+\alpha_2-g\right)\frac{dx}f},e^{\int\left(\frac c3+\alpha_3-g\right)\frac{dx}f} \] besitzt, worin \(c\) eine Constante, \(f\) und \(g\) beliebige algebraische Functionen von \(x\) sind und \(\alpha_1,\alpha_2,\alpha_3\) die drei Lösungen der kubischen Gleichung \[ \alpha^2-\alpha\left(c_1+\frac{c^2}3\right)-c_2=0\quad (c_1,c_2\text{ Constanten}) \] sind, und zwar hat dann jene Beziehung die Form \(y_2=fy_1'+gy_1\).