Sur la convergence des développements des intégrales ordinaires d'un système d'équations différentielles totales. (Q5913600)

Der hier gegebene Existenzbeweis für die Integrale unterscheidet sich von dem bekannten dadurch, dass nicht ein einfacheres System von Differentialgleichungen zum Vergleich herangezogen, sondern direct eine convergente Potenzreihe angegeben wird, deren Coefficienten grösser sind als die Moduln der gleichstelligen Coefficienten grösser sind als die Moduln der gleichstelligen Coefficienten in der Entwickelung eines beliebigen der formal genügenden Integrale des Systems. Es sei vorgelegt das System \[ \begin{aligned} & \frac{\partial u}{\partial x} = U_x (x, y, \dots, u, v, \dots),\quad \frac{\partial v}{\partial x} = V_x (x, y, \dots, u, v, \dots),\\ & \frac{\partial u}{\partial y} = U_y (x, y, \dots, u, v, \dots), \quad \frac{\partial v}{\partial y} = V_y (x, y, \dots, u, v, \dots),\\ & \hdotsfor1\end{aligned} \] mit \(g\) abhängigen Veränderlichen \(u, v, \dots\) und \(h\) unabhängigen \(x, y, \dots\). Die Functionen \(U, V\) seien holomorph innerhalb gewisser Grenzbereiche der Argumente, welche die Anfangswerte \(x_0 y_0, \dots, u_0 v_0, \dots\) enthalten; \(r\) sei eine positive Grösse, die kleiner ist als sämtliche Radien der Convergenzkreise, beschrieben um die genannten Anfangspunkte in den zur Darstellung der \(x, y, \dots, u, v, \dots\) dienenden Ebenen, endlich \(\mu\) eine Grösse, die alle Moduln, welche die Functionen \(U\), \(V\) im Innern oder auf den Grenzen der Convergenzkreise erhalten können, übertrifft; dann hat das mit \((x - x_0)^p (y - y_0)^q \dots\) behaftete Glied in der Entwickelung eines beliebigen dem System formal genügenden Integrals mit den Anfangswerten \(u_0 v_0, \dots\) für \(x = x_0\), \(y = y_0, \dots\) einen kleineren Modul als das mit \(\xi^p \eta^q \dots\) behaftete Glied in der Reihenentwickelung von \[ \frac{r}{g} \left(1 - \frac{2g \mu + 2}{r}\;(\xi + \eta \dots ) \right),\quad \quad \xi = | x - x_0 |, \quad \eta = | y - y_0 |, \dots \,. \] Hieraus erhellt, dass die Entwickelungen aller Integrale \(u, v, \dots\) sicher convergiren, so lange \[ \xi < \frac{r}{h (2g \mu + 2)}\,, \qquad \eta < \frac{r}{h (2g \mu + 2)}\,. \] Ferner kann man, wenn eine positive Zahl \(\alpha\) gegeben ist, eine positive Zahl \(\beta\) angeben, die unabhängig ist von der Wahl der Anfangswerte zwischen den nämlichen Grenzen und so beschaffen, dass \[ | u - u_0 | < \alpha,\quad | v - v_0 | < \alpha, \dots,\quad \text{wenn}\quad | x - x_0 | < \beta,\quad | y - y_0 | < \beta, \dots . \]