Sur les fonctions triplement périodiques de deux variables. (Q1486573)

Aus den doppeltperiodischen Funktionen einer Veränderlichen entspringen durch Ausartung einfachperiodische Funktionen, die im wesentlichen auf die trigonometrischen Funktionen zurückkommen. Es lag daher nahe, die dreifachperiodischen Funktionen von zwei Veränderlichen zu untersuchen, die durch Ausartung aus den vierfach periodischen Funktionen entspringen, indessen war diese Frage bisher nur gestreift worden. Auf Anregung von \textit{Appell} hat der Verf. eine umfassende Darstellung dieses Gegenstandes gegeben. In der Einleitung wird das Periodensystem betrachtet. Es folgt im ersten Teil die Untersuchung der Nullstellen, wobei sich eine Ungleichheitsbedingung für eine zu dem Periodensystem gehörige Invariante ergibt, die den \textit{Riemann}schen Ungleichheitsbedingungen in der Theorie der \textit{Abel}schen Funktionen entspricht. Nachdem ein allgemeiner analytischer Ausdruck für die meromorphen dreifachperiodischen Funktionen aufgestellt worden ist, wird im zweiten Teil eine besondere Klasse dieser Funktionen untersucht, die vom Verf. als semirational bezeichnet werden. Diese semirationalen Funktionen lassen sich als Analogon der trigonometrischen Funktionen für das Gebiet von zwei Veränderlichen bezeichnen. Es gilt nämlich der folgende bemerkenswerte Satz: Wenn eine meromorphe Funktion von den beiden Veränderlichen \(x\) und \(y\) drei Periodensysteme zuläßt und kein davon verschiedenes Periodensystem, und wenn zwischen der Funktion und ihren beiden ersten partiellen Ableitungen eine algebraische Gleichung besteht, so läßt sich die Funktion, nachdem nötigenfalls noch eine lineare Transformation der Veränderlichen vorgenommen ist, als rationale Funktion von \(y\) darstellen, deren Koeffizienten Thetafunktionen von \(x\) sind; eine solche Funktion ist eben eine semirationale. Der Satz gilt übrigens nur im allgemeinen, es müssen nämlich gewisse Periodensysteme ausgeschlossen werden; die zulässigen Periodensysteme lassen sich dadurch kennzeichnen, daß es möglich ist, sie durch eine lineare Transformation der Veränderlichen auf die Form zu bringen: \[ (2i\pi ,0),\;(0,2i\pi ),\;(\lambda_1+i\mu_1,\lambda_2+i\mu_2), \] wo mindestens eine der Größen \(\lambda_1\) und \(\lambda_2\) von Null verschieden ist und zwischen \(a = \lambda_1 + i\mu_1,\;b=\lambda_2 + i\mu_2\) und \(2i\pi\) keine lineare, homogene Relation mit ganzzahligen Koeffizienten besteht.