An existence theorem for a certain differential equation of the \(n^{\text{th}}\) order. (Q1473282)

Die gewöhnliche Methode für die Untersuchung der Lösungen einer Differentialgleichung \(n\)-ter Ordnung in der Umgebung eines singulären Punktes besteht in der Zurückführung des Problems auf ein System von \(n\) Gleichungen erster Ordnung (\textit{Poincaré}, Journ. de Math. (4) \(1\), 167, 1885 und \(2\), 151, 1886; \textit{Dulac}, S. M. F. Bull. \textit{40}, 324; F. d. M. \textit{43}, 391, 1912). Verf. betrachtet die besondere Gleichung \[ (1)\quad \frac{d^ny}{dx^n}=\frac{N}{D}=\frac{ax+by+\cdots }{ax+\beta y+\cdots } \] worin \(N\) und \(D\) konvergente Potenzreihen in \(x\) und \(y\) sind, die für \(x=0,y=0\) verschwinden, und zeigt zunächst, welche Aufschlüsse man durch Anwendung der allgemeinen Theorie über die Integrale in der Umgebung von \(x=0,y=0\) erhält. Da aber die Herstellung der genauen Form der Lösung nach dieser allgemeinen Methode eine Anzahl von Transformationen und beträchtliche Rechnungen erfordern würde, so leitet Verf. -- und das ist der eigentliche Zweck der Arbeit -- diese und weitergehende Resultate direkt aus der Gleichung (1) ab. Ist \(\left(\frac{dy}{dx}\right)_{x=0}=c\) und \(\alpha+c\beta\neq 0\), so besitzt die Lösung die folgende explizite Form einer in einem gewissen Bereiche konvergenten Potenzreihe: \(y=cx+c_2x^2+\cdots +c_{n-1}x^{n-1}+\cdots =c_mx^m+\cdots \), worin \(c,c_2\dots,c_{n- 1}\) bis auf die obige Ungleichung willkürliche Konstanten sind; die übrigen Koeffizienten sind eindeutig durch diese Konstanten und die Koeffizienten der Differentialgleichung bestimmt. Dieses Resultat kann ohne weiteres auf den Fall erweitert werden, daß in Gleichung (1) die Glieder niedrigster Dimension in \(N\) vom Grade \(p\), in \(D\) vom Grade \(q\;(p\geqq q)\) sind. -- Der Fall \(\alpha=+c\beta=0\) wird eingehender nur für \(n=2\) behandelt: es ergibt sich, falls \(a\beta-b\alpha\neq 0\), eine Lösung von der Form \(y=-\frac{\alpha}{\beta}x+x^{\frac{3}{2}}P\), worin \(P\) eine Potenzreihe in \(x^{\frac{1}{2}}\) ist.