Domain of meromorphy of a class of Bateman-like totient zeta functions (Q2197506)

The authors study multiplicative functions \(f:\mathbb{N}\rightarrow (0,\infty)\) satisfying the following condition: \[ f(p^{\nu})=p^{\nu}(1 + a/p + O(p^{-2}))\;\text{for}\;p\in\mathbb{P}, \nu\in\mathbb{N}, \] where \(\mathbb{P}\) stands for the set of the primes and \(a\in\mathbb{R}\setminus\{0\}\), and prove that for \(d\in\mathbb{N}^{r}, r\in\mathbb{N}\) with \(d_{1}\leq\dots \leq d_{r}\), there is a function \(s\mapsto Z(f,d;s)\) meromorphic in the half-plane \(\{s\mid s\in {\mathbb C},\; \Re(s)>0\}\) with the only possible poles at the points \(1/d_{1},\dots ,1/d_{r}\) and such that \[ Z(f,d;s)=\sum_{m\in\mathbb{N}^{r}}f(m_{1}^{d_{1}}\dots m_{r}^{d_{r}})^{-s} \text{ for }\Re(s)>1/d_{1}. \] As consequence of this result, the authors obtain an asymptotic formula for the number of lattice points \[ \operatorname{card} \{m\mid m\in\mathbb{N}^{r}, f(m_{1}^{d_{1}}\dots m_{r}^{d_{r}})<x\}, \] as \(x\rightarrow\infty\). Moreover, let \(q:=d_{1}+\dots + d_{r}\); if \[ f(p^{\nu})=p^{\nu}(1 + a/p +\varepsilon (p) + O(p^{-\nu-3+d_{1}})) \text{ for }p\in\mathbb{P},\; \nu\in\mathbb{N}, \] with \(\varepsilon (p)=O(p^{-2})\), then the function \(Z(f,d;s)\) is meromorphic in an explicitly described dense, open, simply connected subset of the half-plane \[ \{s\mid s\in {\mathbb C},\; \Re(s)>-1/q\}, \] but cannot be analytically continued to an open neighbourhood of any point on the line \( \Re(s)=-1/q\). The authors point out that the two typical functions, satisfying their conditions, are Euler's totient function \(\varphi (n)\) and the sum of divisors \(\sigma (n):=\sum_{d\mid n}d\).