Sur les solutions des équations différentielles, considérées comme fonctions du point initial. (Q1441363)

(1) Ist \(F_y\) stetig, so hat das Integral \(y=\varphi(x;x_0,y_0)\) der Differentialgleichung \(y'=F(x,y)\), das der Anfangsbedingung \(y_0=\varphi(x_0;x_0,y_0)\) genügt, eine stetige partielle Ableitung \(\frac{\partial \varphi}{\partial x_0}\) auch dann, wenn die Existenz der Ableitung \(F_x\) nicht vorausgesetzt wird. (2) Wenn \(F(x,y)\) einer \textit{Lipschitz}bedingung in bezug auf \(y\) genügt, so genügt \(\varphi(x;x_0,y_0)\) einer \textit{Lipschitz}bedingung in bezug auf \(x_0\) und \(y_0\). (3) Entsprechendes gilt für die Integrale \(y_\nu=\varphi_\nu(x;x_0,y_{10},\dots,y_{n0})\) eines Systems \[ y_\nu'=F_\nu(x,y_1,\dots,y_n)\;(\nu=1,2,\dots,n). \] (4) Um die Existenz der partiellen Ableitungen \(N\)-ter Ordnung von \(\varphi(x;x_0,y_0)\) in bezug auf \(x_0,y_0\) sicherzustellen, braucht man die Ableitungen \[ \frac{\partial^{k+1}F(x,y)}{\partial x^k \partial y^l},\;\text{wo}\;0 \leqq k \leqq N,\;0 \leqq l \leqq N-k. \] Die Tatsache (1) ist nicht neu, sondern steht schon 1896 bei \textit{J. Bendixson} (F. d. M. 27, 268 (JFM 27.0268.*)) und für den Fall eines Systems sogar mit derselben Beweisanordnung bei \textit{E. Lindelöf} (1900; F. d. M. 31, 361 (JFM 31.0361.*)).