Sur l'appréciation du domaine d'existence des intégrales de l'équation aux dérivées partielles du premier ordre. (Q2609595)

Es handelt sich um die Differentialgleichung \[ \dfrac{\partial z}{\partial x}=f\bigg(x,y_1,\ldots,y_n,z, \dfrac{\partial z}{\partial y_1},\ldots,\dfrac{\partial z}{\partial y_n} \bigg). \] \textit{Voraussetzungen}: \(f(x, y_1,\ldots, y_n, z, q_1,\ldots, q_n)\) sowie die partiellen Ableitungen erster und zweiter Ordnung nach den Veränderlichen \(y_1,\ldots, y_n, z, q_1,\ldots, q_n\) sowie \(f_x\) sind vorhanden und stetig in dem Würfel \[ W: |x-x^0|\leqq K,\;|y_\nu-y_\nu^0|\leqq K,\;|z-z^0|\leqq K,\;|q_\nu-q_\nu^0|\leqq K; \] \(\omega(y_1,\ldots,y_n)\) besitzt stetige partielle Ableitungen erster und zweiter Ordnung in dem Würfel \[ w: |y_\nu - y_\nu^0| \leqq K\qquad (\nu=1,\ldots,n); \] es gibt eine Zahl \(M\), so daß in \(W\) \[ \left. \begin{matrix} &|f|, \bigg|\dfrac{\partial f}{\partial y_\nu}\bigg|, \bigg|\dfrac{\partial f}{\partial z}\bigg|, \bigg|\dfrac{\partial f}{\partial q_\nu}\bigg|,\\ &\quad \\ &\bigg|\dfrac{\partial^2 f}{\partial y_\mu\partial y_\nu}\bigg|, \bigg|\dfrac{\partial^2 f}{\partial z^2}\bigg|, \bigg|\dfrac{\partial^2 f}{\partial q_\mu\partial q_\nu}\bigg|, \bigg|\dfrac{\partial^2 f}{\partial y_\mu\partial z}\bigg|, \bigg|\dfrac{\partial^2 f}{\partial z\partial q_\nu}\bigg|, \bigg|\dfrac{\partial^2 f}{\partial y_\mu\partial q_\nu}\bigg|\\ \end{matrix}\right\} < M \] und in \(w\) \[ \bigg|\dfrac{\partial\omega}{\partial y_\nu}\bigg|, \bigg|\dfrac{\partial^2\omega}{\partial y_\mu\partial y_\nu}\bigg| < M \] und schließlich \[ |q^0_\nu | < M\qquad (\nu = 1,\ldots, n) \] ist; \[ |\omega(y_1^0\ldots,y_n^0)-z^0| < \tfrac14 K,\quad |\omega_{y_\nu}(y_1^0\ldots,y_n^0)-q_\nu^0| < \tfrac14 K. \] \textit{Behauptung:} Die Differentialgleichung hat genau eine Lösung \(z =\chi(x, y_1,\ldots, y_n)\), die in der Doppelpyramide \[ |x-x^0|\leqq \dfrac{K^2}{(n+1)^5(M+K+1)^5},\quad |y_\nu-y_\nu^0|\leqq\dfrac{K}{4n(M+1)}-M|x-x_0| \] stetige partielle Ableitungen erster Ordnung hat und für \(x = x^0\) in dem Würfel \[ |y_\nu-y_\nu^0|\leqq\dfrac{K}{4n(M+1)} \] die durch \(\omega(y_1\ldots, y_n)\) gegebenen Anfangswerte hat.