On the measure of section of the integral curves. (Q2591236)

Die rechten Seiten des Differentialgleichungssystems \[ y_\nu^\prime = f_\nu (x, y_1, y_2, \dots, y_n) \qquad (\nu = 1, \dots, n) \] seien in dem Bereich \(0 \leqq x \leqq a\), \(|y_\nu| \leqq b\) stetig. Dann gibt es durch den Punkt \(P(0, 0, \dots, 0)\) nach Peano mindestens eine Integralkurve. Sind alle \(|f_\nu |\leqq A \) und ist \(\mathfrak M_\xi\) der Schnitt des von \(P\) ausgehenden Bündels von Integralkurven mit der Ebene \(x=\xi\) \(\left( 0 \leqq \xi \leqq \alpha = \text{ Min} \, \left( a, \dfrac bA\right)\right)\), so ist \(\mathfrak M_\xi\) nach H. Kneser ein Kontinuum. Die Verf. beschäftigen sich mit der Frage, wann \(\mathfrak M_\xi\) das Maß 0 hat. Als hinreichende Bedingungen hierfür werden z. B. angegeben: Die \(f_\nu\)v sind nach den \(y_p\) stetig differenzierbar für \(0 < x \leqq \alpha\), \(|y_\nu| \leqq b\), und es ist \[ \sum_{\nu} \frac {\partial f_\nu }{\partial y_\nu } \leqq C \, \text{ oder } \, \leqq \frac nx. \] Bei dem Beweis wird die durch die charakteristischen Funktionen vermittelte Abbildung herangezogen und die durch sie bewirkte Änderung der Raumgrößen mittels des Lindelöfschen Ausdrucks für die Funktionaldeterminante abgeschätzt.