Sulle funzioni meromorfe di due variabili complesse. (Q2624691)

Im Anschluß an die Tatsache, daß eine Funktion \(f(x,y)\) in \(x\) und \(y\) holomorph ist, wenn sie dasselbe in \(x\) allein und \(y\) allein ist (\textit{Harogs}, 1905, 1906; F. d. M. 36, 483 (JFM 36.0483.*)-486; 37, 444), beweist der Verf: Sind \(A\) und \(B\) zwei Bereiche der \(x\)- und \(y\)- Ebene, ist \(f(x,y)\) für \(x\) aus \(A\) und \(y\) aus \(B\) definiert und endlich, ausgenommen in einer abgeschlossenen Punktmenge \(I\), die mit jeder Ebene \(x=\text{const}\) und \(y=\text{const}\) nur endlich viele Punkte gemeinsham hat (ausgenommen eventuell endlich viele dieser Ebenen), ist \(f(x, y)\) auf der Ebene \(x=\text{const}\) bzw. \( y=\text{const}\) (abgesehen von den Ausnahmefällen) mit einer meromorphen Funktion in \(y\) bzw. \(x\) allein identisch, so ist \(f(x, y)\) meromorph im gegebenen Zylinderberich. Unter Benutzung des Resultates von \textit{Hartogs} und Anwendung der Voraussetzungen auf die Hauptteile der meromorphen Funktionen in \(x\) bzw. \(y\) folgt die Behauptung zuerst in der Umgebung jedes Punktes des gegebenen Bereiches und dann wegen des \textit{Cousin}schen Satzes für den ganzen Bereich. Als Anwendung folgt leicht der \textit{Picard}sche Satz für die Umgebung jedes Punktes der isolierten Fläche wesentlicher Singularitäten. Aus dem Beweis ergibt sich auch die folgende Verallgemeinerung des Kontinuitätssatzes: \(f(x, y)\) ist meromorph für \(x\) aus \(A\) und \(y\) aus \(B\), wenn \(f(x, y)\) (1) meromorph für \(x\) in \(A\) und \(y\) auf dem Rand von \(B\), (2) meromorph in \(B\), als Funktion von \(y\) allein, für eine nicht abzählbare Menge von \(x\)-Werten im Innern von \(A\).