On an arithmetical formula. (Q1439291)

Verf. knüpft neben anderen Arbeiten über den gleichen Gegenstand insbesondere an an zwei Arbeiten von \textit{J. Ouspensk}y (Leningrad, Bull. Ac. Sc. 1925; 599-620, 647-662; F. d. M. 51, 131 (JFM 51.0131.*)). Er begründet eines der Ergebnisse von \textit{Ouspensky} ebenfalls elementar auf neuem Wege und gelangt so darüber hinaus zu folgendem Satz: \(n\) sei eine beliebige reelle Zahl. \(f(x,y, z)\) und \(\varphi(x, y, z)\) seien zwei Funktionen der ganzzahligen Veränderlichen \(x, y, z\) mit folgenden Eigenschaften: Es sei \[ f(x, y, z)= f(-x,z,y) \] und \[ f (x, y, z) + f (x, - z, - y) = 0, \] und \(\varphi\) sei invariant gegenüber den beiden Substitutionen \[ x' = - x, \;y' = z, \;z' = y \] und \[ x' = - x - 2y, \;\;y' = y, \;\;z' = z - x - y. \] Dann gilt \[ \begin{multlined} \sum_{x, y}{}^*[2f(-x-2y, y, z-x-y)-f(x, y, z)]\\ =\sum_{x,y}{}^{**}[2f(-x-2y, y, 0)-f(x,y,x+y)], \end{multlined} \] wobei \(x, y, z\) in der \(\varSigma^*\) die ganzzahligen Lösungen von \[ \varphi (x,y, z) = n, \;y>0, \;\;z> 0, \tag{*} \] und in der \(\varSigma^{**}\) die Lösungen von (*) mit \[ z= x+ y \] (sodaß also \(z\) bei der Summation fortfällt) durchlaufen. (Hat (*) unendlich viele Lösungen, so ist jede der Teilsummen, in die sich die \(\varSigma ^*\) aufspaltet, als absolut konvergent vorausgesetzt.) Verf. geht aus von der Tatsache, daß die Form \(x^2 + yz\) invariant gegenüber den Substitutionen \[ x' = -x, \;\;y' =z, \;\;z' = y \] und \[ x' = x + y, \;\;y' = y, \;\;z' = z - y - 2x \] ist. In einer zusätzlichen Bemerkung vom 25. September 1929 kündigt Verf. eine auf analytischem Wege ähnliche Formeln liefernde Arbeit ``Arithmetical formulae and analytical equivalent'' an, die in diesem Zusammenhang bisher verwendete Hilfsmittel aus der Theorie der elliptischen Funktionen durch einfachere allgemeine Betrachtungen ersetzt.