Eindeutigkeit der Lösung des Anfangsproblems einer elliptischen Differentialgleichung zweiter Ordnung in zwei Veränderlichen. (Q573382)

Bei der partiellen Differentialgleichung zweiter Ordnung \[ F (x, y, u, p, q, r, s, t) = 0 \] werde vorausgesetzt, daß auf der einen Seite einer gegebenen stetig gekrümmten (aber nicht notwendig analytischen) Kurve eine Lösung \(u\) mit stetigen partiellen Ableitungen bis zur vierten Ordnung vorhanden ist, und daß die Funktionen \(u\), \(p\), \(q\), \(r\), \(s\), \(t\) längs der Kurve Anfangswerte annehmen, in deren Umgebung die Funktion \(F\) analytisch ist und der den elliptischen Charakter der Differentialgleichung ausmachenden Ungleichung \[ 4\frac{\partial F}{\partial r} \frac{\partial F}{\partial t}\left(\frac{\partial F}{\partial s}\right)^2>0 \] genügt. Durch Fortsetzung ins Komplexe wird dann gezeigt, daß eine solche Lösung notwendig analytisch und durch ihre Anfangswerte eindeutig bestimmt ist.