Waring's Problem with Polynomial Summands

From MaRDI portal





Let \(f(x)\) be an integral-valued polynomial (that is, \(f(x)\) is an integer for every integer \(x\)) of the form \[ f(x)=\sum_{i=1}^t a_ix^{k_i}, \qquad k=k_1>k_2>\cdots>k_t, \eqno(1) \] and denote by \(\bar G(f)\) the least \(s\) such that the equation \[ f(x_1)+f(x_2)+\cdots+f(x_s)=n \] is solvable in positive integers \(x_1,\dots,x_s\) for every sufficiently large integer \(n\) satisfying some naturally required congruence condition (this condition on \(n\) is explicitly described in connection with the associated ``singular series). This \(\bar G(f)\) may be compared with the familiar notation \(G(k)\) in Waring's problem which is defined to be the least \(s\) such that every sufficiently large integer is written as a sum of \(s\) positive \(k\)-th powers. It may be proved by rather classical techniques that \(\bar G(f)\leq (4+o(1))k\log k\) as \(k\rightarrow\infty\). No substantial improvement on this bound is known for general polynomials \(f\), while \textit{T. D. Wooley} proved recently that \(\bar G(f)\leq (1+o(1))k\log k\) when both \(t\) and \(k_2\) in (1) are very small, roughly speaking [J. Reine Angew. Math. 488, 79-140 (1997; Zbl 0880.11060)]. The latter bound is as sharp as Wooley's upper bound for \(G(k)\). In this paper, the author establishes the bound \[ \bar G(f)\leq k(\log k+2\log t+\log(k-k_t)+\log\log k+O(1)). \] When \(\log(k-k_t)=o(\log k)\), therefore, this estimate is as strong as the best known bound for \(G(k)\). Namely he widen the class of polynomials for which the bound \(\bar G(f)\leq (1+o(1))k\log k\) holds. The first key ingredient of the proof is to modify the efficient differencing method of \textit{T. D. Wooley} [Ann. Math. 135, 131-164 (1992; Zbl 0754.11026)] to handle general polynomials, which yields mean value estimates of the same strength as in the case \(f(x)=x^{k_t}\). The second one is to combine the latter result with the diminishing ranges method of Hardy and Littlewood.











This page was built for publication: Waring's Problem with Polynomial Summands

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520425)