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

Nachdem \textit{J. Perausówna} (vgl. das vorstehende Referat) den Fall \(n=1\) behandelt hatte, beweist Verf. für \(n\geqq 2\) folgenden Satz: Die Funktionen \(f_{\nu }(x,y_1,\dots,y_{n+1})\) \((\nu =1,\dots,n+1)\) und ihre partiellen Ableitungen erster Ordnung nach den Argumenten \(y_{\mu }\) \((\mu =1,\dots,n+1)\) seien im Gebiet \[ \mathfrak G: \qquad | x| <a\leqq \infty,\quad -\infty <y_{\mu }<\infty \qquad (\mu =1, \dots,n+1) \] stetig, und es existiere eine Konstante \(A\), so daß\ in \(\mathfrak G\) \[ \Big | \frac {\partial f_{\nu }}{\partial y_{\mu }}\Big | \leqq A \qquad (\nu,\mu =1,\dots,n+1). \] Die Funktion \(w(y_1,\dots,y_n)\) sei im ganzen Raum \[ -\infty <y_{\mu }<\infty \qquad (\mu =1,\dots,n) \] definiert, stetig und mit stetigen partiellen Abelitungen erster Ordnung ausgestattet, deren absolute Beträge unterhalb einer Konstanten \(C\) liegen. Dann besitzt die Differentialgleichung \[ \frac {\partial y_{n+1}}{\partial x} +\sum \limits _{\nu =1}^{n} f_{\nu }(x,y_1\dots,y_{n+1})\frac {\partial y_{n+1}}{\partial y_{\nu }} =f_{n+1}(x,y_1\dots,y_{n+1}) \] genau ein Integral \(y_{n+1}=z(x,y_1,\dots,y_{n})\), das falls \(n\geqq 2\) ist, im Bereich \[ | x| <\text{Min}\{ a,b_n\}, \quad -\infty <y_{\mu }<\infty \qquad (\mu =1,\dots,n), \] wo \[ b_n=\frac {1}{A(n-1)}\log \frac {n(C+1)}{nC+1} \] einzutragen ist, stetige partielle Ableitungen erster Ordnung besitzt, ferner in jedem Punkt \((y_1,\dots,y_n)\) die Randbedingung \[ z(0,y_1,\dots,y_n)=w(y_1,\dots,y_n) \] erfüllt. Dar Beweis wird im Rahmen der Charakteristikentheorie erbracht und stützt sich insbesondere auf einen Satz von \textit{J. Hadamard} (1906; F. d. M. 37, 672 (JFM 37.0672.*)) über Punkttransformationen, bei dnen die Abbildungsfunktionen stetige und im ganzen Raum beschränkte Ableitungen besitzen, deren Funktionaldeterminante oberhalb einer positiven Schranke bleibt, ferner auf Sätze über die Differentiierbarkeit der Lösungen gewöhnlicher Differentialgleichungssysteme nach den Ausgangswerten und eine Modifikation eines Vergleichungssatzes für Systeme gewöhnlicher Differentialgleichungen, den \textit{E. Kamke} (Zur Theorie der Systeme gewöhnlicher Differentialgleichungen II, Acta math. 58 (1932), 57-85 (F. d. M. \(58_{\text{I}}\)), besonders S. 82) angegeben hat. Bei der Differentialgleichung \[ \frac {\partial y_{n+1}}{\partial x}-A(y_1+\cdots +y_{n+1}) \sum \limits _{\nu =1}^{n}\frac {\partial y_{n+1}}{\partial y_{\nu }}= A(y_1+\cdots +y_{n+1}) \] und der Randbedingung \(w=C(y_1+\cdots +y_{n})\) sind die Voraussetzungen des Satzes erfüllt; die Lösung \[ z(x,y_1,\dots,y_n)= (y_1+\cdots +y_n)\frac {C-V(x)}{1+nV(x)}, \] worin \[ V(x)=\frac {C+1}{n-1}(e^{-A(n-1)x}-1) \] einzutragen ist, existiert nur, falls \[ x\neq \frac {1}{A(n-1)}\log \frac {n(C+1)}{nC+1}; \] also kann die Zahl \(b_n\), die oben angegeben wurde, nicht allgemein durch eine größere ersetzt werden.