Über die Uniformisierung reeller algebraischer Kurven. (Q1494010)

Es wird folgender Satz aufgestellt: \((x,y)\) sei irgendeine irreduzible reelle algebraische Kurve mit reellen Zügen, \(F\) die zur Funktion \(y(x)\) gehörende \textit{Riemann}sche Fläche; dann gibt es eine als Funktion des Ortes auf der Fläche \(F\) überall mit dem Charakter einer rationalen Funktion von \(x\) und \(y\) erklärbare Größe \(t=t(x,y)\), welche auf den reellen Zügen der Kurve \((x,y)\) nur reelle Werte annimmt und so beschaffen ist, daß\ die Funktionen \(x(t)\) und \(y(t)\) beide eindeutige Funktionen von \(t\) sind. Die durch die vorstehenden Bedingungen charakterisierte Größte \(t\) ist durch diese Bedingungen, abgesehen von einer reellen linearen Substitution, bereits vollständig bestimmt und genügt einer Differentialgleichung dritter Ordnung \(D(t)_{x}=R(x,y)\), wobei mit \(R(x,y)\) eine reelle rationale Funktion der Größen \(x\) und \(y\), mit \(D(t)_{x}\) der \textit{Schwarz}sche Differentialausdruck dritter Ordnung \(D(t)_{x}=\frac{2\frac{dt}{dx}\frac{d^{3}t}{dx^{3}}-3\left (\frac{d^{2}t}{dx^{2}}\right )^{2}}{2\left (\frac{dt}{dx}\right )^{2}}\) bezeichnet ist. Der Existenzbereich der linearautomorphen Funktionen \(x(t)\) und \(y(t)\), d. i. das Wertgebiet der Größe \(t\), wird von der ganzen Ebene gebildet, exkl. im allgemeinen \((p>1)\) unendlich viele in nicht abzählbarer menge vorhandene Punkte auf der Achse des Reellen. Der Existenzbeweis für die Größe \(t\) wird in der Weise geführt, daß\ zunächst die \textit{Riemann}sche Fläche der Funktion \(t(x,y)\) relativ über der \textit{Riemann}schen Fläche \(F\) konstruiert wird. Diese \textit{Riemann}sche Fläche zerfällt in zwei zueinander symmetrische einfach zusammenhängende Hälften. Die Funktion \(t(x,y)\) selbst wird dann als Abbildungsfunktion gefunden, indem die Existenz der konformen Abbildung einer der genannten beiden Hälften auf die Fläche einer einblättrigen Halbebene nach \textit{Poincaré-Harnack}schen Prinzipien bewiesen wird. Weitergehende Sätze betreffen die Existenz analog beschaffener uniformisierender Größen \(t\), welche relativ zur Fläche \(F\) verzweigt sind.