Su un notevole teorema di confronto e su un teorema di unicità per i sistemi di equazioni differenziali ordinarie. (Q2586853)

Ein sehr allgemeines Vergleichs- und Eindeutigkeitskriterium, welches die meisten bisher bekannten umfaßt. Es besagt im wesentlichen: Wenn \[ \begin{aligned} (y_\nu - Y_\nu)\,[&f_\nu(x, y_1,\dots, y_n) - f_\nu(x, Y_1,\dots, Y_n)]\\ &\leqq\operatorname{Max}|y_\lambda-Y_\lambda|\cdot\varphi(x, \operatorname{Max} |y_\lambda - Y_\lambda|) \end{aligned} \] (links stehen keine Absolutstriche), so gilt für zwei Integrale \(y_\nu\) und \(Y_\nu\) des Systems \[ y_\nu =f_\nu(x,y_1,\dots,y_n)\quad (\nu = 1,\dots, n) \] die Abschätzung \[ | y_\nu - Y_\nu|\leqq u_0(x)\;\text{ für }\;x\geqq\xi, \] wobei \(u_0(x)\) das Maximalintegral der Gleichung \(u'= \varphi(x, u)\) ist mit der Neben\-bedingung \(u(\xi) = \operatorname{Max} | y_\lambda(\xi) -Y_\lambda(\xi) |\).