On Waring's Problem. III, IV. (Q2609155)

In III wird als Ergänzung zu einem vom Verf. kurz vorher (vgl. vorangehendes Referat) erhaltenen Ergebnis der folgende Satz über das \textit{Waring}sche Problem bewiesen: Es sei \(l=\left[\left(\dfrac32\right)^n\right]\), \(3^n = l\cdot 2^n + r\), \(j=\left[\left(\dfrac43\right)^n\right]\). Ist dann \(n \geqq 30\), \(\left(\dfrac32\right)^n -l \geqq1-\dfrac{l-1}{2^n}\), so ist \[ \begin{aligned} &g(n)=2^n+l+j-2\\ \noalign{\noindent oder} &g(n) = 2^n + l+j-3, \end{aligned} \] je nachdem \(\left(\dfrac43\right)^n - j \geqq 1-\dfrac r{3^n}\) ist oder nicht. In der früheren Arbeit war für diesen Fall lediglich eine Abschätzung nach unten herausgekommen. Für \[ n\geqq 30,\quad \left(\frac32\right)^n-l \leqq 1-\frac{l+3}{2^n} \] dagegen wurde \(g(n)\) dort ebenfalls bestimmt. Von den drei an sich noch denkbaren Fällen, daß \(3^n - l\cdot 2^n\) die Werte \(2^n - l\), \(2^n - l - 1\) und \(2^n - l - 2\) hat, ist der mittlere für \(n \geqq 3\) unmöglich. Die beiden äußeren, die auch an der entsprechenden Stelle bei \textit{Dickson} (Amer. J. Math. 58 (1936), 530-535 (F. d. M. \(62_{\text{I}}\), 144), S. 535) übrigbleiben, sind wenigstens für gerades \(n\) unmöglich, so daß \(g (n)\) insbesondere für alle geraden \(n \geqq 30\) zugänglich gemacht ist. Andrerseits ist dies in der vorhergehenden Arbeit auch für das ganze Intervall \(8 \leqq n \leqq 100\) geschehen: Dort ist durchweg \(g (n) = 2^n + l - 2\). Nach ähnlichem Verfahren wie dort beweist Verf. nun in IV denselben Satz für \(n = 7\), nämlich \(g(7) = 143\) (vgl. dasselbe Ergebnis bei \textit{Dickson}, Amer. J. Math. 58 (1936), 521-529 (F. d. M. \(62_{\text{I}}\), 144) S. 528-529).