No label defined (Q5552813)

By using Bombieri's result on the distribution of primes in arithmetical progressions it is proved: Theorem 1. Let \(g(n)\) be a complex-valued multiplicative function such that \(\vert g(n)\vert \le1\) for \(n=1,2,\ldots\) and such that the series \(\sum_p \frac{g(p) - 1}{p}\) converges. Let \(N(g)\) denote the product \[ \prod_p \left(1 + \sum_{k=1}^\infty \frac{g(p^k) - g(p^{k-1})}{p^{k-1}(p-1)}\right) \] \((p\) runs over the primes). Then \[ \lim_{x\to\infty} (\text{li }x^{-1} \sum_{p\le x} g(p +1) = N(g). \] Hence it is deduced the following analogon of Erdős theorem. Let \(f(n)\) be a real-valued additive function satisfying the conditions: 1) \quad \(\sum f^+(p)/p\) is convergent, 2) \quad \(\sum f^{+2}(p)/p < \infty\), where \(f^+(p)=f(p)\) if \(\vert f(p)\vert \le 1\) and \(=1\) if \(\vert f(p)\vert >1\). Then \[ \lim_{N\to\infty} (\text{li }N)^{-1} \sum_{\substack{f(p+1)< y \\ p\le N}} 1 = F(y) \] at all points of continuity of \(F(y)\). The distribution function \(F(y)\) is continuous if and only if \(\displaystyle\sum_{f(p)\ne 0} 1/p = \infty\).