Über die Mittelwertsätze der Gitterpunktlehre. (Q572226)

Es sei \(r\geqq 4\), \(r\) ganz, \(\alpha_j>0\) (\(j = 1\), 2,\dots, \(r\)), \[ Q(u)=\sum\limits_{j=1}^{r}\alpha_ju_j^2; \] \(V (x)\) sei das Volumen des Ellipsoids \(Q (u)\leqq x\). Weiter sei \[ \sum_{Q(u)\leqq x}1=V(x)+P(x),\;R(x)=\int\limits_{0}^{x} |P(y)|\,dy,\;T(x)=\bigg(\frac1x\int\limits_{0}^{x}P^2(y)\,dy\bigg)^{\frac12}. \] Bekanntlich gilt für \(r\geqq 5\): (1) Ist \(Q (u)\) irrational (d. h. ist mindestens eine der Zahlen \(\alpha_j:\alpha_1\) irrational), so ist \[ P(x) =o\Big(x^{\tfrac r2-1}\Big). \] (2) Ist \(\varphi (x) > 0\), \(\varphi (x) = o (1)\), so gibt es ein irrationales \(Q\) mit \[ P(x) = \varOmega\Big(x^{\tfrac r2-1}\varphi(x)\Big), \] Für \(r = 4\) ist (1) bekanntlich falsch; wird aber in (1), (2) die Funktion \(P (x)\) durch \(R (x)\) oder \(T (x)\) ersetzt, so gilt, wie in der vorliegenden Arbeit gezeigt wird, (1) und (2) sogar für \(r \geqq 4\).