On a generalization of a theorem of Erdős and Fuchs (Q5915499)

Let \(A^{(j)}=\{a_1^{(j)},a_2^{(j)},\dots\}\) \((j=1,2,\dots,k)\) be infinite non-decreasing sequences of non-negative integers. Let \(r_k(n)\) denote the number of solutions of \(\sum_{j=1}^k a_{i_j}^{(j)}\leq n\), where \(a_{i_j}^{(j)}\in A^{(j)}\). \textit{P. Erdős} and \textit{W. H. Fuchs} [J. Lond. Math. Soc. 31, 67-73 (1956; Zbl 0070.04104)] proved that for \(k=2\), \(A^{(1)}=A^{(2)}\), \(c>0\) we cannot have \(r_2(n)=cn +o(n^{\frac 14}\log^{-\frac 12}n)\). \textit{A. Sárközy} [Acta Arith. 37, 333-338 (1980; Zbl 0444.10044)] proved that the same is true for \(A^{(1)}\neq A^{(2)}\) if the differences \(|a_i^{(2)}-a_i^{(1)}|\) are sufficiently small. The author proves a far-reaching generalization, where \(k\) is arbitrary and the main term is of the form \(\sum_b c_bn^{\beta_b}.\)