11
$\begingroup$

My question is about the end of the proof of theorem 1.1, in page 27.

Namely, it is stated that whenever we have a multiplicative function $f:\mathbb{N} \to \mathbb{C},$ let the sequence $\Lambda_{f}(n)$ be defined via the Dirichlet series $$-\frac{D'_{f}(s)}{D_{f}(s)}=\sum_{1}^{\infty}\Lambda_{f}(n)n^{-s}$$ where $D_{f}=\sum_{1}^{\infty} f(n) n^{-s}$ is the Dirichlet series of $f(n).$ Now let's suppose that $$\sum_{n\leq x}\Lambda_{f}(n)=k \log{x}+O(1) $$ for some constant $k>-\frac{1}{2}$ and that $$\sum_{n \leq x}|f(n)| \ll (\log x)^{|k|}$$

The fact that I am not able to justify is that under these assumptions the following infinite product $$ \prod_{p}(1-p^{-s-1})^{k}\left(\sum_{\nu=0}^{\infty}f(p^{\nu})p^{-\nu s}\right)$$ has the following limit as $s \to 0$ from the right $$\prod_{p}(1-p^{-1})^{k}\left(\sum_{\nu=0}^{\infty}f(p^{\nu})\right) $$

Any suggestions on that ?

1 Answers 1

4

Notice that $\prod_{p\leq\\z}(1-p^{-1})^{k}\left(\sum_{\nu=0}^{\\r}f(p^{\nu})\right) \leq O((\log z)^{-k})\left(\sum_{n\leq\\x}f(n)\right)$, where $\\n\leq\ x$ is chosen accordingly to $\\z\geq\ p$. So, letting $\\x,z\to \infty$ we note that the product is convergent. Now, $\prod_{p}(1-p^{-s-1})^{k}\left(\sum_{\nu=0}^{\infty}f(p^{\nu})p^{-\nu s}\right) = D_f(s)/(\zeta(s+1))^k$ which is absolutely 'okay' for $\\Re(s)>0$, also $D_f(s)/(\zeta(s+1))^k$ is analytic at $s=0$ by checking limit (having no pole there) . Hence, by well known facts from complex analysis letting $\\s\to\ 0+$ we get the result.