No label defined (Q4033102)

In order to solve the Waring problem for biquadrates \((g(4)=19)\) it is unavoidable to apply the Hardy-Littlewood method with explicit \(O\)- constants in the error terms. In the paper under review the author proves an explicit estimation for the exponential sum \[ S_ \varepsilon= \sum_{P-{1\over 2}\varepsilon<x\leq 2P-{1\over 2}\varepsilon} \exp(2\pi i\alpha\cdot (2x+ \varepsilon)^ 4), \] where \(\varepsilon=0\) or 1. His result is: Assume that \(P>10^{80}\), \(0<a<q\), \(\text{gcd}(a,q)=1\), \(4\cdot 10^ 6\cdot P<q\leq(1/974)\cdot P^ 3\), \(\alpha\) real, \(| \alpha- a/q|<(975/q)\cdot P^{-3}\). Then \[ | S_ \varepsilon|\leq 15.7\cdot P^{0.884} \cdot (\log P)^{0.25}. \] Of importance for this result is an explicit estimate for a sum over multiplicative functions in residue classes: \[ \sum_{\textstyle {{{m\leq X} \atop {m\equiv h\bmod k}}}} m^{-a} \cdot \prod_{p\mid m} (1+\rho(p))\leq F(X,k,h,\rho), \] where \(F(X,k,h,\rho)\) will not be reproduced here.