A remarkable property of the ``singular series'' in Waring's problem and its relation to hypothesis \(K\) of Hardy and Littlewood. (Q2614429)

Es sei \(n\) eine positive ganze Zahl \(\geqq 5\); \(\varrho\) bedeute eine primitive \(q\)-te Einheitswurzel. Man setze \[ S_\varrho = \sum_{h=0}^{q-1}\varrho ^{h^n}=\sum _{h=0}^{q-1} e^{2\pi i \tfrac{q}{q}h^n}, \quad (a, q)=1, \] und \[ A(q) = A(N, n, q, s) = q^{-s}\sum _\varrho e^{-2\pi i \tfrac{a}{q}N} (S_\varrho)^s, \] wo \(\varrho\) die \(\varphi (q)\) primitiven \(q\)-ten Einheitswurzeln durchläuft. Für \(s\geqq 5\) betrachte man dann die folgende ``singular series'': \[ S(N) = S(N;n;s)=\sum_{q=1}^\infty A(q). \] Verf. beweist: \[ S(N;n;n + 1)\neq O(1) \] (genauer sogar: Für festes \(n\) und behebiges \(A\) ist die Anzahl der Zahlen \(N\leqq x\) mit \(S (N; n; n + 1) > A\) größer als \(Cx\) (für große \(x\)), wo \(C\) eine positive nur von \(A\) und \(n\) abhängende Zahl bedeutet). Aus diesem Ergebnis folgt insbesondere: Bedeutet \(r_{n, n}(N) \) die Anzahl der Darstellungen von \(N\) als Summe von \(n\) \(n\)-ten Potenzen \(\geqq 0\), so ist \[ r_{n,n}(N)\neq O(1), \] eine Abschätzung, welche in entgegengesetzter Richtung liegt wie die berühmte Hypothese \(K\) von \textit{Hardy} und \textit{Littlewood} \((r_{n, n}(N) = O(N^\varepsilon))\).