On \(\varGamma(k)\) in Waring's problem and an analogous function. (Q2601997)

\(\varGamma(k)\) bedeute die kleinste Zahl \(s\) derart, daß jede arithmetische Progression unendlich viele Zahlen enthält, welche Summe von höchstens \(s\) positiven \(k\)-ten Potenzen sind. \(\varDelta(k)\) bedeute das kleinste \(s\) derart, daß jede arithmetische Progression unendlich viele Zahlen enthält, welche als Summe von höchstens \(s\) positiven oder negativen \(k\)-ten Potenzen darstellbar sind. Verf. beweist: (1)\quad \(\varDelta(k)\leq \dfrac{3k-1}2\) für ungerades \(k\), \quad \(\varDelta(k)\leq 2k\) für gerades \(k\). (2) Ist \(k \geq 3\) eine Potenz von 3 oder von 2, so steht in (1) das Gleichheitszeichen. (3) Sind \(p_1\), \(p_2\), \dots, \(p_r\) verschiedene ungerade Primzahlen, und ist \[ p_i \not\equiv 1 \pmod{p_j} \quad (1 \leq i,j \leq r), \] so ist \[ \varGamma (p_1^{m_1}p_2^{m_2} \ldots p_r^{m_r}) \leq p_1^{m_1}p_2^{m_2} \ldots p_r^{m_r}, \] wo die \(m\) ganze Zahlen \(> 0\) sind. Das Resultat (1) wurde bereits von \textit{E. M. Wright} angekündigt [Q. J. Math., Oxf. Ser. 6, 261--267 (1935; JFM 61.1063.04, Zbl 0013.19901)]; Verf. beweist (1) mit Hilfe einer Erweiterung eines Satzes von \textit{H. Davenport} [J. Lond. Math. Soc. 10, 30--32 (1935; JFM 61.0149.02, Zbl 0010.38905). (3) ist in \textit{G. H. Hardy} und \textit{J. E. Littlewood}s Resultat enthalten, daß \(\varGamma(k) \leq k\) ist außer in gewissen Ausnahmefällen [Proc. Lond. Math. Soc. 28, 518--542 (1928; JFM 54.0198.01)]; der Beweis des Verf. verläuft anders und einfacher.