On the monotonicity properties of additive representation functions. II (Q1024443)

In a series of papers Erdős, Sárközy and Sós and also Balasubramanian studied monotonicity properties of the functions \(R_1(A,n), R_2(A,n)\), and \(R_3(A,n)\) which denote the number of solutions of \(a+a'=n\) with the additional restriction \(a,a'\in A\), \(a,a'\in A,\;a<a'\), and \(a,a'\in A,\;a\leq a'\), respectively. In the paper under review, the authors focus on the monotonicity of \(R_3(A,n)\). In Part I, the authors et al. [Bull. Aust. Math. Soc. 72, No. 1, 129--138 (2005; Zbl 1088.11013)] proved the following: Theorem. Assume that \(B=\{b_1<b_2<\dots\}\subset \mathbb{N}\) is an infinite sequence and define \(A\) by \(\mathbb{N}\backslash B\). If \(\lim_{n\to\infty} (b_{n+1}-b_n)=+\infty\), then the function \(R_3(A,n)\) is not eventually increasing. Now here they prove Theorem 1: Let \(A\) and \(B\) as above. For any positive integer \(m\geq 2\), if all large enough \(b^{(1)}, b^{(2)}, b^{(3)}, b^{(4)},\in B\) satisfy \[ b^{(1)}+b^{(2)}+1\not\equiv b^{(3)}+b^{(4)}\pmod m, \] then \(R_3(A,n)\) cannot be eventually increasing. Moreover, they find that for large enough \(n\) the function \(R_1(A,n)\) can be eventually increasing if and only if \(A(n)=N+O(1)\). For \(R_2(A,n)\) and \(R_3(A,n)\) they prove that there does not exist any set \(A\subset\mathbb N\) such that \(R_2(A,n)\) (resp., \(R_3(A,n)\)) is eventually increasing.