Sugli integrali delle equazioni differenziali ordinarie considerati come funzioni dei loro valori iniziali. (Q1524976)

Das vorgelegte System gewöhnlicher Differentialgleichungen sei \[ dx_i = X_idx\qquad(i= 1,2,\dots,n);\tag{1} \] die \(X_i\) seien Functionen von \(x\), \(x_1\), \(x_2\), ..., \(x_n\), die endlich und continuirlich sind, so lange die Variabeln resp. in den Intervallen \((\alpha\beta)\), \((\alpha_1\beta_1)\), ..., \((\alpha_n\beta_n)\) bleiben, und von der Beschaffenheit, dass \[ |X_i(x,x_1',\dots,x_n') - X_i(x,x_1,\dots,x_n)| < A \sum_1^n{}_s|x_s'-x_s|, \] wo die \(x'\) sich in denselben Intervallen befinden und \(A\) constant ist. Unter diesen Voraussetzungen hat Herr Picard mittels der Methode der successiven Approximationen die Existenz von \(n\) Functionen \(x_1\), ..., \(x_n\) als Integralen von (1) bewiesen, die in einem beliebigen Punkte \(x_0\) des Intervalls \((\alpha\beta)\) willkürliche Anfangswerte \(x_1^0\), ..., \(x_n^0\) innerhalb der bezüglichen Intervalle \((\alpha_1\beta_1)\), ..., \((\alpha_n\beta_n)\) annehmen, und sie durch unendliche Reihen dargestellt. Der Verfasser beweist nun, dass diese Integrale auch endliche und continuirliche Functionen ihrer Anfangswerte sind, dass ferner, wenn auch noch die Derivirten \(\frac{\partial X_i}{\partial x_r}\) \((i,\,r=1,2,\dots,n)\) endlich und continuirlich in dem betrachteten Felde sind, und die Ungleichheit \[ \Big|\frac{\partial X_i}{\partial x_r}(x,x_1',\dots,x_n') - \frac{\partial X_i}{\partial x_r}(x,x_1,\dots,x_n)\Big| < A_1 \sum_1^n{}_s|x_s'-x_s| \] besteht, die Integrale auch endliche und continuirliche Ableitungen erster Ordnung, nach den Anfangswerten genommen, besitzen, die aus den erwähnten Reihen für die Integrale durch gliedweise Differentiation erhalten werden. Der Satz lässt sich auf die partiellen Ableitungen höherer Ordnung ausdehnen, wenn ähnliche Bedingungen der Ungleichheit gelten. Hieran wird eine Anwendung geknüpft, betreffend den Beweis der Existenz eines allgemeinen Integrals von partiellen Differentialgleichungen, wenn deren Integration sich auf die eines Systems gewöhnlicher Differentialgleichungen zurückführen lässt.