Sur les systèmes linéaires aux dérivées partielles du premier ordre à deux variables. (Q2621842): Difference between revisions

Zu nächst betrachtet Verf. das System partieller Differentialgleichungen erster Ordnung \[ \frac {\partial u}{\partial x} - \frac {\partial v}{\partial y} = \alpha u + \beta v,\quad \frac {\partial u}{\partial y} + \frac {\partial v}{\partial x} = \gamma u + \delta v,\tag{1} \] dessen Koeffizienten \(\alpha, \beta, \gamma, \delta \) in einem Kontinuun \(D\) stetige Funktionen von \(x\) und \(y\) sind, und solche in \(D\) stetige Lösungen \(u, v\) desselben, bei denen die partiellen Ableitungen erster Ordnung in \(D\) beschränkt bleiben und, von höchstens endlich vielen rektifizierbaren Kurven abgesehen, in \(D\) stetig sind. Er beweist mittels einer Integralgleichung für die Funktion \(f = u +iv\), die eine Verallgemeinerung der \textit{Cauchy}schen Integralformel ist, daß\ jedes Integralsystem \(u, v\) von (1), das in einem inneren Punkt von \(D\) von unendlich hoher Ordnung verschwindet, in \(D\) identisch Null ist, und erwähnt, daß\ die Nullstellen von \(f = u + iv\), falls \(f\) nicht identisch Null ist, im Innern von \(D\) keinen Häufungspunkt haben können. Sodann berichtet Verf., daß\ diese Ergebnisse ausreichen, die Eindeutigkeit der Lösung des \textit{Cauchy}schen Problems für die nichtlineare elliptische Differentialgleichung \[ F(r, s, t, p, q, x, y) = 0\tag{2} \] zu sichern, falls \(F\) gewisse partielle Ableitungen besitzt und solche Lösungen \(z = z(x, y)\) zur Konkurrenz zugelassen werden, deren partielle Ableitungen dritter Ordnung in \(D\) noch stetig sind. Auch ein neuer Beweis des analytischen Charakters der Lösungen von (2) ergibt sich, sowie der Satz, daß\ zwei mitsamt ihren Ableitungen dritter Ordnung stetige Lösungen von (2) in \(D\) identisch sind, falls sie in \(D\) unendlich viele Berührungspunkte besitzen. Nach Abänderung seiner Beweismethode kann Verf. auch die Eindeutigkeit der Lösung des \textit{Cauchy}schen Problems für das allgemeine System \[ \frac {\partial u_p}{\partial x} + \sum ^n_{q=1} a_{pq}(x, y)\frac {\partial u_q}{\partial y} = \sum ^n_{q=1} b_{pq}(x, y)u_q \qquad (p = 1, 2,\dots, n)\tag{3} \] beweisen, von dessen Koeffizienten nur gewisse Stetigkeiseigenschaften, nicht aber Analytizität verlangt wird. Die Literaturangaben des Verf. sind dahin zu ergänzen, daßein solches auf (3) bezügliches Resultat sich schon in einer Arbeit von \textit{O. Perron} findet (1928; F. d. M. 54, 491 (JFM 54.0491.*)-492). (IV 13.)