A remark to a theorem due to Halphen. (Q2624840)

Von der Differentialgleichung \[ P_0(x)y^{(n)}(x)+P_1(x)y^{(n-1)}(x)+\cdots +P_n(x)y(x)=0 \tag{*} \] sei vorausgesetzt, daß\ ihre Koeffizienten \(P_1(x)\) Polynome sind, und daß {\parindent=6mm \begin{itemize}\item[{\(\alpha\))}]der Grad \(p\) von \(P_0(x)\) nicht niedriger ist als derjenige irgend eines der anderen Koeffizienten, \item[{\(\beta\))}]die im Endlichen gelegenen singulären Punkte \(a_1, \dots, a_p\) der Gleichung (*) regulär sind im \textit{Fuchs}schen Sinne, \item[{\(\gamma\))}]daß\ der Quotient irgend zweier Lösungen von (*) eine eindeutige Funktion von \(x\) ist. \end{itemize}} Dann beweist Verf: Die allgemeine Lösung von (*) hat die Form \[ y(x)=\prod \limits _{i=1}^{p}(x-a_i)^{\nu _i} \left \{ \sum \limits _{j=1}^{n}C_je^{\lambda _jx}R_j(x)\right \}, \] wo die \(C_j\) Integrationskonstanten, die \(\nu _i\) und die \(\lambda _j\) gewisse bestimmte Konstanten und die \(R_j(x)\) rationale Funktionen sind. Ferner wird bewiesen: \(n\) lineare unabhängige Funktionen der Form \[ y_i(x)=\prod \limits _{j=1}^{p}(x-a_j)^{\nu _j} \{ e^{\lambda _ix}R_i(x)\} \quad (i=1, 2, \dots, n), \] wo die \(a_j, \nu _i\) und \(\lambda _i\) Konstanten und die \(R_i(x)\) rationale Funktionen sind, genügen einer Differentialgleichung \[ y^{(n)}(x)+P_1(x)y^{(n-1)}(x)+\cdots +P_n(x)y(x)=0, \] deren Koeffizienten \(P_{\nu }(x)\) rationale Funktionen sind, die für \(x\to \infty \) gegen endliche Grenzwerte streben.