On the uniqueness of solutions of differential equations. (Q2580751)

Es seien \(\xi, \,\eta_0, \ldots \!,\eta_n\) gegebene reelle Zahlen, \(\omega\) eine positive Zahl, \[ p(x)=\sum_{\nu=0}^{n} \eta_{\nu} \frac{(x-\xi)^{\nu}}{\nu!}. \] Die Funktion \(f(x, \,y_1, \ldots \!,y_n)\) sei definiert für \[ \xi<x<\xi+\omega, \;\; -\infty<y_1, \ldots \!,y_n<+\infty, \] und für je zwei Punkte \(x, \,y_1, \ldots \!,y_n\) und \(x, \,Y_1, \ldots \!,Y_n\) des Bereiches \[ \xi<x<\xi+\omega, \;\; |\,y_{\nu}-p^{(\nu)}(x)\,|< \omega \frac{(x-\xi)^{n-\nu}}{(n-\nu)!} \qquad (\nu=1, \ldots \!,n) \] sei \[ |\,f(x, \,y_1, \ldots \!,y_n)-f(x, \,Y_1, \ldots \!,Y_n)\,| \leqq \underset{\nu=1,\ldots \!,n} {\text{Max}} \frac{(n-\nu+1)!}{(x-\xi)^{n-\nu+1}} |\,Y_{\nu}-y_{\nu}\,|. \tag{1} \] Dann gibt es für hinreichend kleines \(\varepsilon > 0\) in dem Intervall \(\xi \leqq x \leqq \xi+\varepsilon\) höchstens \textit{eine} \(n\)-mal stetig differenzierbare Funktion mit \(y^{(\nu)}(\xi)=\eta_{\nu}\) \((\nu=0, \,1,\ldots \!,n)\), die in dem Intervall \(\xi<x \leqq \xi+\varepsilon\) die Differentialgleichung \[ y^{(n)}=f(x, \,y, \,y',\ldots \!,y^{(n-1)}) \] erfüllt. Dasselbe gilt, wenn (1) ersetzt wird durch \[ \sum_{\nu=1}^{n} \left|\, \frac{\partial f}{\partial y_{\nu}} \,\right| \, \frac{(x-\xi)^{n-\nu+1}}{(n-\nu+1)!} \leqq 1. \] Vgl. auch \textit{Nagumo}, Japan. J. Math. 4 (1928), 307-309 (F.~d.~M. 54, 460).