On Lindelöf's theorem in the theory of differential equations. (Q2591231)

Sind die rechten Seiten des Differentialgleichungssystems \[ y^\prime_\nu (x) = f_\nu (x, y_1, \dots, y_n) \qquad (\nu = 1, \dots, n) \] in dem Bereich \[ 0 \leqq x \leqq a, \quad | y_\nu |\leqq b \qquad (\nu = 1, \dots, n) \] stetig, und erfüllen sie dort Lipschitz-Bedingungen \[ | f_\nu (x, \bar{y}_1, \dots, \bar{y}_n) - f_\nu (x, y_1, \dots, y_n) | \leqq K \sum_{p=1}^n |\bar{y}_p- y_p| \qquad (\nu = 1, \dots, n), \tag{1} \] ist ferner \[ y_\nu = \varphi_\nu (x, \eta_1, \dots, \eta_n) \qquad (\nu = 1, \dots, n), \tag{2} \] die durch den Punkt \(0, \eta_1, \dots, \eta_n\) gehende Integralkurve, so gilt für fast alle Punkte \( \eta_1, \dots, \eta_n\) des Bereiches \[ |\eta_\nu | \leqq b \qquad (\nu = 1, \dots, n) \] folgendes: Die \(\varphi_\nu \) sind nach den \(\eta_p\) differenzierbar, die \(\varphi_\nu \) sind auch differentiabel, d. h. es ist \[ \varphi_\nu (x, \bar{\eta}_1, \dots, \bar{\eta}_n) \varphi_\nu (x, \eta_1, \dots, \eta_n) \] \[ = \sum_{p=1}^n (\bar{\eta}_p - \eta_p) \frac {\partial }{\partial \eta_p} \varphi_\nu (x, \eta_1, \dots, \eta_n) + o\left( \sqrt{\sum_{p=1}^n (\bar{\eta}_p - \eta_p)^2 } \right), \] ferner erfüllen sie in bezug auf \(x\) eine Lipschitzbedingung. Die \(f_\nu\) sind fast überall differentiabel nach den \(y_p\), die Ableitungen längs der Kurven (2) meßbare Funktionen von \(x\), und fast überall auf der \(x\)-Achse ist \[ \frac {d }{dx} \frac {\partial \varphi }{\partial \eta_p} = \sum_{k=1}^n \frac {\partial f_\nu}{\partial y_k} \frac {\partial \varphi_k }{\partial \eta_p}. \] Schließlich ist die Funktionaldeterminante \[ \text{Det } \left| \frac {\partial \varphi_p}{\partial \eta_q} \right| = \text{ exp } \left(\int\limits_0^x\sum_{\nu = 1}^n \frac {\partial }{\partial \eta_\nu} f_\nu (x, \varphi_1, \dots, \varphi_n)\, dx \right). \] Bei dem klassischen Satz von Lindelöf wird statt (1) die schärfere Voraussetzung gemacht, daß die \(f_\nu\) stetige partielle Ableitungen nach den \(y_p\) haben.