On a generalized Waring problem. (Q2601993)

Es sei \(P(h)\) ein Polynom in \(h\) mit rationalen Koeffizienten vom Grade \(k\), das für ganzzahlige Werte von \(h\) ganzzahlige Werte annimmt. Der Koeffizient von \(h^k\) sei \(> 0\). Modulo keiner ganzen Zahl \(> 1\) sei \(P(h)\) mit einer Konstanten kongruent. Es sei \(G\) die kleinste natürliche Zahl \(s\), für die die Gleichung \[ N =P(h_1) + P(h_2)+ \cdots + P(h_s) \] für jedes hinreichend große ganze \(N\) mindestens eine Lösung hat in ganzen \(h_\nu \geqq 0\) (die Existenz einer solchen Zahl \(G\) wurde von \textit{Kamke} bewiesen, Math. Ann. 83 (1921), 85-112; F. d. M. 48, 142 (JFM 48.0142.*)-143). Verf. beweist: (1) Falls \(k > 20\), ist \[ G \leqq 3^{\frac 12k}2^{\frac 12(k-1)+7}k \quad \text{und} \quad G = O(2^{k-1}k^3); \] falls überdies der höchste Koeffizient von \(P(h)\) gleich \(\dfrac a{k!}\) ist, wo \(a\) ganz und teilerfremd zu \(k!\) ist, so gilt \[ G = O(3^{k(\frac 12+\varepsilon)}) \] für jedes \(\varepsilon > 0\). (2) Falls \(k > 20\) und \(P(h)\) speziell ein ungerades Polynom ist, so ist \[ G \leqq \tfrac 13(2^{k+1}-1); \] falls überdies der höchste Koeffizient von \(P(h)\) gleich \(\dfrac a{k!}\) ist, wo \(a\) ganz und teilerfremd mit \(k!\) ist, so gilt \[ G = O(2^{\varepsilon k}) \] für jedes \(\varepsilon > 0\).