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

Es handelt sich um die Differentialgleichung \[ \dfrac{\partial z}{\partial x} = f\left(x,y_1,\ldots,y_n,z, \dfrac{\partial z}{\partial y_1},\ldots,\dfrac{\partial z}{\partial y_n}\right). \] \textit{Voraussetzungen}: \(f(x, y_1,\ldots, y_n, z, q_1,\ldots, q_n)\) hat stetige partielle Ableitungen erster und zweiter Ordnung in dem Bereich \[ |x| < a\leqq +\infty ; \;y_\nu,z,q_\nu \;\text{ beliebig}; \] die partiellen Ableitungen erster Ordnung nach \(y_\nu,z,q_\nu\) sind dem absoluten Betrage nach \(\leqq m\), die partiellen Ableitungen zweiter Ordnung nach \(y_\nu,z,q_\nu\) sind dem absoluten Betrage nach \(\leqq M\). Die Funktion \(\omega (y_1,\ldots, y_n)\) besitzt in dem ganzen \((y_1,\ldots, y_n)\). Raum stetige partielle Ableitungen erster und zweiter Ordnung, und es ist \[ \left|\dfrac{\partial \omega}{\partial y_\nu}\right|\leqq m^*, \;\left|\dfrac{\partial^2 \omega}{\partial y_\mu\partial y_\nu}\right|\leqq M^*. \] \textit{Behauptung}: Die Differentialgleichung hat genau ein Integral, das für \(x = 0\) die Werte \(\omega (y_1,\ldots, y_n)\) annimmt und in dem Bereich \[ |x| < b, \;y_\nu \;\text{ beliebig}, \] definiert und mit stetigen partiellen Ableitungen erster und zweiter Ordnung versehen ist; dabei ist \(b = \text{Min } (a, c)\) und \(c\) die kleinste positive Lösung der Gleichung \[ M(1+nM^* + m^*)\int\limits_0^c\left[\exp\left(\int\limits_0^s \lambda (t)\, dt\right)\right]\, ds = \dfrac{1}{n} \] und \(\lambda (t) = m + 2nM(1+m^*)e^{nt}\).