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

Die rechte Seite der Differentialgleichung \[ p = f(x,y_1,\ldots,y_n,z,q_1,\ldots,q_n) \tag{1} \] habe stetige Ableitungen erster und zweiter Ordnung nach allen Argumenten in einem Gebiet \(\varOmega\). Dasselbe gelte von der Funktion \(w(v_1,\ldots,v_n)\) im Quader \(\mathfrak{Q}\), der durch die Ungleichungen \(c_i\leqq v_i\leqq d_i\) \((c_i < d_i; i=1,\ldots,n)\) definiert ist. Zu \(\varOmega\) gehöre die Punktmenge, die man erhält, wenn der Punkt \((v_1,\ldots,v_n)\) den Quader \(\mathfrak{Q}\), durchläuft und \(x = 0\), \(y_i = v_i\), \(z = w(v_1,\ldots,v_n)\), \(q_i = w_{v_i}(v_1,\ldots, v_n)\) gesetzt wird. Mit \[ y_i = \overline{y}_i(x,v_1,\ldots,v_n), \;z = \overline{z}(x,v_1,\ldots,v_n), q_i =\overline{q}_i(x,v_1,\ldots,v_n) \tag{2} \] seien diejenigen Lösungen der charakteristischen Gleichungen \[ y_i'(x) = -\dfrac{\partial f}{\partial q_i}, \;q_i'(x) = \dfrac{\partial f}{\partial y_i} + \dfrac{\partial f}{\partial z}q_i, \;z'(x) = f - \sum\limits_{i=1}^n\dfrac{\partial f}{\partial q_i}q_i \] bezeichnet, für welche \[ \overline{y}_i(0,v_1,\ldots,v_n) = v_i, \;\overline{z}(0,v_1,\ldots,v_n) = w(v_1,\ldots,v_n), \overline{q}_i(0,v_1,\ldots,v_n) = w_{v_i}(v_1,\ldots,v_n) \] für alle Stellen \((v_1,\ldots,v_n)\) aus \(\mathfrak{Q}\). Sie mögen im Intervall \(0\leqq x\leqq a\) existieren, und außerdem sei die Funktionaldeterminante \[ \dfrac{\partial (y_1,\ldots,y_n)}{\partial (v_1,\ldots,v_n)}\neq 0 \text{ für } 0\leqq x\leqq a, \;c_i\leqq v_i\leqq d_i. \] Es sei \(Q_i(x,v_1,\ldots,v_n)\) diejenige Funktion, die entsteht, wenn man in \(f_{qi}\) für \(y_1,\ldots, y_n\), \(z,q_1,\ldots, q_n\) die Funktionen (2) einträgt. Die Funktionen \(\varphi_i(x)\) und \(\psi_i(x)\) sollen im Intervall \(0\leqq x\leqq a\) folgende Bedingungen erfüllen: \[ \begin{gathered} \varphi_i(0) = c_i, \;\psi_i(0)=d_i, \;\varphi_i(x) = \psi_i(x), \\ -Q_i(x, v_1,\ldots,v_n) < \varphi_i'(x), \end{gathered} \] wenn \(\overline{y}_i(x, v_1,\ldots, v_n) = \varphi_i(x)\), \(\varphi_j(x)\leqq \overline{y}_j(x, v_1,\ldots, v_n)\leqq\psi_j(x)\) \ \((j\neq i)\), bzw. \[ -Q_i(x, v_1,\ldots, v_n) > \psi_i'(x), \] wenn \(\overline{y}_i(x, v_1,\ldots, v_n) = \psi_i(x)\), \(\varphi_j(x)\leqq \overline{y}_j(x, v_1,\ldots, v_n)\leqq\psi_j(x)\) \ \((j\neq i)\). Dann existiert dasjenige Integral \(z(x, y_1,\ldots, y_n)\) von (1), für welches \[ z(0, y_1,\ldots, y_n) = w(y_1,\ldots, y_n), \] falls \((y_1,\ldots, y_n)\) in \(\mathfrak{Q}\) liegt, im Bereich \[ 0\leqq x\leqq a, \;\varphi_i(x)\leqq y_i\leqq\psi_i(x) \qquad (i=1,\ldots,n). \]