On the representations of a number as a sum of an odd number of squares. (Q1465239)

Zur Untersuchung der Anzahl der Darstellungen einer ganzen Zahl \(m\) als Summe von \(r\) ganzen Quadraten hat Mordell eine rein funktionentheoretische, auf der Theorie der elliptischen Thetareihen beruhende Methode entwickelt, falls \(r\) grade ist (vgl. Quart. J. 48, 93, 1917). Die für ungerade \(r\) auftretenden Schwierigkeiten hat der Verf. in der vorliegenden Arbeit, angeregt durch die von Hardy bei \(r = 5, 7\) verwendeten Methoden, durch einen sehr allgemeinen Ansatz überwunden. Die fragliche Anzahl ist der Koeffizient von \(q^m\) in der Potenzentwickelung von \(\vartheta_{00}^r,\) wobei \[ \vartheta_{00} (\omega) = \vartheta_{00}=\sum_{n=- \infty}^{+\infty}q^{n^2}, \;(q = e^{\tau i \omega}). \] Man betrachte nun das Verhalten von \(\vartheta_{00}^r\) bei den Substitutionen der Untergruppe \(\Gamma_3\) der Modulgruppe, welche erzeugt wird durch die beiden Substitutionen \(\omega'=\omega + 2\) und \(\omega'=- \frac 1\omega\). Aus der Theorie der elliptischen Modulfunktionen ergibt sich leicht, daß\ die Anzahl linearer unabhängigen Funktionen von \(\omega,\) welche bei \(\Gamma_3\) sich ebenso verhalten wie \(\vartheta_{00}^r\), gleich \(1 + \left[ \frac r8\right]\) ist. Nun sind die Produkte von Thetas \[ \vartheta_{00}^{r-8t}\cdot \vartheta_{01}^{4t}\cdot \vartheta_{00}^{4t} \left(t =1, 2, \dot s, \left[ \frac r8 \right]\right) \] solche linear unabhängigen Funktionen, und es gibt daher noch eine Funktion \(\chi,\) derart, daß\ alle wie oben charakterisierten Funktionen sich homogen linear durch diese \(1 + \left[ \frac r8\right]\) mit konstanten Koeffizienten darstellen lassen. Als solche Funktion \(\chi\) wählt Mordell nun -- und das ist der neue Ansatz -- \[ \chi =\sum_{a,b}\left[ \frac { \vartheta_{00}(\omega) }{ \vartheta_{00}\left( \frac{c +d\omega}{a +b\omega}\right) } \right]^r. \] Die Summation erstreckt sich über alle Koeffizientenschemata \(\left(\begin{matrix} c&d\\ a&b\end{matrix} \right)\) der Substitutionen von \(\Gamma_3,\) wobei aber Substitutionen mit demselben \(a, b\) nur einmal genommen werden, ferner \(b\geqq 0\) und \(a = d = 1,\) wenn \(b = 0.\) Bekanntlich ist das einzelne Glied der Summe \[ \left( \frac{\zeta_{a,b}}{\sqrt{a +b\omega}}\right)^r, \] wo \(\zeta_{a,b}\) eine gewisse 8-Einheitswurzel. Die Reihe konvergiert absolut, sofern \(r > 4.\) Nach dem Gesagten besteht dann eine Relation \[ \vartheta_{00}^r =\chi +\sum_{t =1}^{\left[ \frac r8\right]}C_t\vartheta_{00}^{r- 8t}\vartheta_{00}^{4t}\vartheta_{10}^{4t} \] mit konstanten \(C_t.\) Die eine Aufgabe ist nun die Bestimmung der Potenzentwickelung von \(\chi\) nach \(q.\) Diese wird durch eine sehr scharfsinnige Rechnung vollständig gelöst und ergibt die Koeffizienten in der Form von Dirichletschen Reihen, in deren Koeffizienten quadratische Restcharaktere als wesentliche Bestandteile vorkommen. Damit sind die Werte \(r<8\) erledigt, da hier offenbar die Summen über \(t\) leer sind, und es sich einfach um die Gleichung \(\vartheta_{00}^r = \chi\) handelt. Die sich ergebenden Formeln stimmen mit den schon anderweitig bekannten überein. -- Die zweite Aufgabe ist die Bestimmung der \(C_t\) und die Entwickelung der zugehörigen Thetaprodukte. Von der Lösung werden nur die Hauptgedanken skizziert, unter Verweis auf eine frühere Arbeit des Verf. (Quart. J. 46, 97, 1915). Zum Schluß\ wird die Formel für \(r = 11\) gegeben: \[ \vartheta_{00}^{11} =\chi + \frac{88}{31}\sum_{x,y,z =- \infty}^{ +\infty}(x^4 +y^4-6x^2y^2)q^{x^2 +y^2 +z^2}. \] Ist \(m\equiv 7 (\text{mod.} 8)\), so ist \(m\) sicher nicht als Summe von drei Quadraten darstellbar, und der Koeffizient von \(q^m\) ist daher aus \(\chi\) allein zu finden. Die Anzahl der Darstellungen einer solchen Zahl \(m\) als Summe von 11 Quadraten findet sich so, wenn noch \(m\) quadratfrei vorausgesetzt wird, gleich \[ \frac{495.192}{31}m^{ \frac 92}\sum_{k =0}^\infty (-1)^k\left( \frac m{2k +1}\right)\cdot \frac{1}{(2k +1)^5}, \] was auch geschrieben werden kann als \[ 2\dot 3^3\dot 5\dot 11\dot m^{ \frac 92} \sum_{n =1}^\infty \left( \frac{- m}n\right) \frac 1{n^5}. \] Dieses neue Resultat zeigt die große Tragweite der Methode. Es ist bemerkenswert, daß\ sie sich auch zur Untersuchung von Darstellungen durch beliebige ganzzahlige definite quadratische Formen verwenden läßt.