Sur l'appréciation des intégrales des systèmes d'équations différentielles ordinaires et de leur domaine d'existence dans le cas des variables complexes. (Q2599193)

Mit \(\sigma_\nu\), \(\omega_\nu\) bezeichnet Verf. Funktionen folgender Art: Die \(\sigma_\nu (t, u_1, \ldots,u_n)\) sind für \(\nu=1,\,\ldots,\, n\) stetig und \(\geqq 0\) in dem Bereich \[ 0 \leqq t < s,\quad u_1\geqq 0,\;\ldots,\;u_n \geqq 0; \] jedes \(\sigma_\nu\) ist eine monoton wachsende Funktion in bezug auf jede der Variabeln \(u_\mu\neq u_\nu\); die Funktionen \[ u_\nu = \omega_\nu(t, k_1,\ldots,k_n)\qquad (\nu=1,\ldots,n) \] sind das Maximalintegral des Systems \[ u_\nu^\prime(t) = \sigma_\nu(t, u_1,\ldots,u_n)\qquad (\nu=1,\ldots,n) \] mit den Anfangswerten \(u_\nu= k_\nu\) an der Stelle \(t = 0\), und dieses Integral soll für \(0 \leqq t < s\) existieren. Es seien weiter die Funktionen \(f_\nu(x, y_1,\ldots, y_n)\) der komplexen Variabeln \(x,\, y_1,\,\ldots,\, y_n\) regulär in dem Gebiet \[ | x - x^0 | < a,\quad | y_\nu - y_\nu^0|<b_\nu,\qquad (\nu =1,\,\ldots,\, n) \] und für Funktionen \(\sigma_\nu\) der obigen Art sei \[ f_\nu(x, y_1,\ldots,y_n)\leqq \sigma_\nu(|x - x^0|,\, |y_1 y_1^0|,\,\ldots,\, |y_n - y_n^0|). \] Ist \[ y_1 = \varphi_1(x),\, \ldots,\, y_n = \varphi_n(x) \tag{1} \] eine Lösung des Systems \[ y^\prime_\nu(x)= f_\nu(x,y_1,\ldots,y_n),\qquad (\nu = 1,\ldots, n) \] und ist für gewisse Konstante \(k_1,\,\ldots,\, k_n\) \[ |\varphi_\nu(x^0)-y_\nu^0|\leqq k_\nu <b_\nu, \] so existiert die Lösung (1) und ist regulär in dem Kreis \[ | x - x^0| < \min (a, s, t_1,\ldots, t_n), \] wo \(s\) die am Anfang eingeführte Zahl und \(t_\nu\) die kleinste positive Lösung der Gleichung \[ \omega_\nu(t, k_1,\ldots, k_n) = b_\nu \] ist (\(t_\nu =\infty\), wenn es keine Lösung gibt). Weiter wird eine Abschätzung für \(\varphi_\nu\) und für die Differenz der Lösungen von benachbarten Differentialgleichungen hergeleitet.