Der Cauchy'sche Satz von der Existenz der Integrale einer Differentialgleichung. (Q1538098)

Die gegebene Differentialgleichung sei \[ \text{(1)}\quad y^{(m)}=\sum_{(\nu,\nu_0,\nu_1,\dots,\nu_{m-1})}A_{\nu\nu_0\nu_1\dots\nu_{m-1}}x^\nu y^{\nu_0}y'{}^{\nu_1}\dots y^{(m-1)}{}^{\nu_{m-1}}, \] wo die Potenzreihe rechts auch noch für Werte von \[ |x|, |y|,\dots ,|y^{(m-1)}| \] convergiren soll, die \(>1\) sind, und wo für \(x=0\) vorgeschrieben sei \(y=0,y'=0,\dots,y^{(m-1)}=0\) (auf diesen Fall kann man immer durch eine rationale Substitution zurückkommen). Ferner mögen die absoluten Beträge der \(A\) die Grenze \(M\) nicht überschreiten; es wird alsdann (1) verglichen mit \[ \text{(2)}\quad \eta'=M(1+2\xi+3\xi^2+4\xi^3+\cdots)(1+\eta+\eta^2+\cdots)\cdot(1+\eta+\eta^2+ \cdots)\cdots(1+\eta+\eta^2+\cdots) \] (wo die gleichen Potenzreihen \(m\)-mal wiederholt sind). Die letzte Gleichung liefert \[ -\frac{(1-\eta)^{m+1}}{m+1}+\frac1{m+1}=\frac{M\cdot\xi}{1-\xi}, \] also \[ \eta=\overline{\mathfrak P}(\xi), \] und hieraus folgt durch bekannte Schlüsse die Existenz eines Integrals \[ y={\mathfrak P}(x) \] der Gleichung (1) in der Umgebung von \(x=0\).