Sur le problème de Cauchy relatif à un système d'équations aux dérivées partielles. (Q2604882)

Behandelt wird das System \[ \dfrac{\partial z_\mu}{\partial x}=f_\mu\bigg(x,y_1,\ldots,y_n,z_1,\ldots,z_m, \dfrac{\partial z_\mu}{\partial y_1},\ldots,\dfrac{\partial z_\mu}{\partial y_n} \bigg)\qquad (\mu=1,2,\ldots,m), \] bei dem in der \(\mu\)-ten Gleichung nur die Ableitungen der \(\mu\)-ten Unbekannten \(z_\mu\) vorkommen, unter den Nebenbedingungen \[ (z_\mu)_{x=0}= w_\mu(y_1,\ldots,y_n)\qquad (\mu = 1, 2, \ldots, m). \] Unter der Annahme, daß die \(f_\mu\) und \(w_\mu\) stetige partielle Ableitungen erster und zweiter Ordnung nach allen Variablen haben, wird die Integralexistenz nachgewiesen, und zwar mittels sukzessiver Approximationen: \[ z_{\mu0}=w_\mu(y_1,\ldots,y_n), \] \[ \dfrac{\partial z_{\mu\lambda}}{\partial x}= f_\mu\bigg(x,y_1,\ldots,y_n,z_{1,\lambda-1},\ldots,z_{m,\lambda-1}, \dfrac{\partial z_{\mu\lambda}}{\partial y_1},\ldots, \dfrac{\partial z_{\mu\lambda}}{\partial y_n}\bigg). \] Die genaue Formulierung des Existenztheorems mit Angabe des Existenzbereichs würde hier zu weit führen. Der Beweis vereinfacht sich wesentlich, wenn die \(f_\mu\) und \(w_\mu\) auch stetige partielle Ableitungen dritter Ordnung haber.