No label defined (Q4953909)

Let \(g_i: {\mathbb N} \longrightarrow {\mathbb C} \;(i=1,2)\) be arithmetic multiplicative functions. Using the notations \[ M_x(g_1,g_2)={1\over x}\sum\limits _{n\leq x}g_1(n+1) g_2(n), \] \[ S(r,x)=\sum\limits_{r<p\leq x}{|g_1(p)-1|^2+|g_2(p)-1|^2\over p} \] and \[ P(x)=\prod\limits_{p\leq x}\left(1-{2\over p}+\left(1-{1\over p}\right)\sum\limits^\infty _{m=1}{g_1(p^m)+g_2(p^m)\over {p^m}}\right), \] where \(x,r\in {\mathbb R}\) and \(p\) denotes a prime, the main result of the paper is the following. Theorem. Let the moduli of multiplicative functions \(g_1\) and \(g_2\) do not exceed 1. Then there exists a positive absolute constant \(c\) such that for \(x\geq r\geq 2\) \[ M_x(g_1,g_2)=P(x)+O\left(x^{-1/3}\exp (cr^{2/3})+(r\log r)^{-1/2}+(S(r,x))^{1/2}\right), \] where the constant in the symbol \(O\) is absolute, too. Some corollaries are also proved.