Über die eindeutige Bestimmtheit der Integrale von Differentialgleichungen. II. (Q573201)

Als Folge zweier allgemeiner Abschätzungssätze, die Aussagen enthalten über die Beziehung zwischen Lösungen \(\varPhi(x)\) der Deriviertenungleichung \[ \varPhi'_{\pm}(x) \leqq \varOmega(x, \varPhi(x)) \] und dem Maximalintegral der Differentialgleichung \(z'= \varOmega(x,z)\), ergibt sich der folgende, sehr allgemeine Eindeutigkeitssatz: Es sei \(S(u_1,\ldots, u_n)\) eine im ganzen \((u_1,\ldots, u_n)\)-Raum stetige Funktion, \(S(0, \ldots, 0) = 0\); für je \(n\) im gleichen Intervall differenzierbare Funktionen \(u_1(x),\ldots, u_n(x)\) sei \(S(u_1(x),\ldots, u_n(x))\) nach rechts und links differenzierbar und \[ D_{\pm}S(u_1(x),\ldots, u_n(x)) \leqq S(u_1^{'}(x),\ldots, u_n^{'}(x)). \] Die Funktion \(\varOmega(x,z)\) sei im offenen Gebiet \(0 < x < a,\, - \infty < z < \infty\) stetig, ferner \(\chi(x)\) in \(\langle 0, a)\) differenzierbar, \(\chi(0)=\chi'(0)=0\), und \(\chi(x)\) in \((0,a)\) eine maximale Lösung der Differentialgleichung \(z'=\varOmega(x,z)\). Sind dann die Funktionen \(f_{\nu}(x, y_1,\ldots, y_n)\) \((\nu=1,2,\ldots, n)\) in dem Bereich \[ \mathfrak{B}: \, \xi \leqq x < \xi+a, \, |y_1-\eta_1|<b, \ldots, |y_n-\eta_n|<b \] definiert und für \(\xi < x < \xi + a\) der Ungleichung \[ S(f_1(x, \overline{y}_1,\ldots, \overline{y}_n) f_1(x, y_1,\ldots, y_n), \ldots, f_n(x, \overline{y}_1,\ldots, \overline{y}_n) f_n(x, y_1,\ldots, y_n)) \] \[ \leqq \varOmega(x-\xi, \, S(\overline{y}_1-y_1, \ldots, \overline{y}_n-y_n)) \] unterworfen, so gilt für irgend zwei durch den Punkt \((\xi, \eta_1, \ldots, \eta_n)\) hindurchgehende Integralkurven \[ y_1=\varphi_1(x), \ldots, y_n=\varphi_n(x) \quad \text{und} \quad y_1=\overline{\varphi}_1(x), \ldots, y_n=\overline{\varphi}_n(x) \] des Differentialgleichungssystems \[ y_{\nu}^{'}=f_{\nu}(x, y_1,\ldots, y_n) \qquad (\nu=1,2,\ldots, n) \] die Ungleichung \[ S(\overline{\varphi}_1(x)-\varphi_1(x), \ldots, \overline{\varphi}_n(x)-\varphi_n(x)) \leqq \chi(x-\xi), \] soweit beide Integralkurven im Intervall \(\xi \leqq x < \xi+a\) existieren. Ist insbesondere stets \(S(\overline{\varphi}_1(x)-\varphi_1(x), \ldots,\overline{\varphi}_n(x)-\varphi_n(x)) \geqq 0\) und \(\chi(x) \equiv 0\), so gibt es nur \textit{eine} solche Integralkurve. Viele ältere Eindeutigkeitssätze von \textit{O. Perron, M. Nagumo, M. Müller, S. Iyanaga} und Verf. sind Spezialfälle dieses Satzes.