No label defined (Q4451006)

Let \(F(s)=\sum_{n=1}^{\infty}{a_{n}\over n^{s}}\) be a Dirichlet series which is absolutely convergent for \(\Re s >1\). It is assumed that \(a_{n}=O_{F,\varepsilon}(n^{\varepsilon})\) for any \(\varepsilon > 0\) as \(n\to \infty\), and that \(F(s)\) has analytic continuation to an entire function of finite order. Moreover it is supposed that \(F(s)\) satisfies a functional equation as follows. Let \(\Delta(s)=Q^{s} \prod_{i=1}^{m} \Gamma(\alpha_{i}s+\gamma_{i})\), where \(Q>0\), \(\alpha_{i}>0\), \(\Re \gamma_{i} \geq 0\) and \(m\) is a non-negative integer. Let \(\Phi(s)=\Delta(s)F(s)\). Then the functional equation has the form \(\Phi(s)=\omega \overline{\Phi}(1-s)\) where \(\omega\) is a complex number on the unit circle, and also \(\overline{\Phi}(s)=\overline{\Phi(\overline{s})}\). Let \(d=2\sum_{i=1}^{m}\alpha_{i}\), and \(S(x)= \sum_{n\leq x}a_{n}\). The main result of this paper is that, for \(d\geq 2\), letting \(\theta = {d-1\over d+1}\), one has \(S(x)= O(Q^{1-\theta+\varepsilon}x^{\theta+\gamma\varepsilon})\) for all \(\varepsilon >0\) and for all \(\gamma >1\). The author also shows that if \(S(x)=O(x^{\delta})\), then the Dirichlet series for \(F(s)\) converges for \(\Re s > \delta\). Thus it is seen from the main result that the Dirichlet series for \(F(s)\) converges for \(\Re s > \theta\).