Voronoi-type identity for a class of arithmetical functions via the Laplace transform (Q2678386)

The paper provides a Voronoi type identity using a Laplace transform for a particular class of arithmetical functions. Given strictly increasing sequences \(\{\lambda_n\}\) and \(\{\mu_n\}\) of positive numbers, a nonnegative real number \(\varrho\) and two arithmetical functions \(a(n)(=a_n)\) and \(b(n)(=b_n)\), define \[A_\varrho(x):=\frac{1}{\Gamma(\varrho + 1)}\sum'_{\lambda_n\leq x}(x-\lambda_n)^\varrho a_n, \quad \phi(s):=\sum_{n\geq 1}\frac{a_n}{\lambda_n^s}, \quad \psi(s):=\sum_{n\geq 1}\frac{b_n}{\mu_n^s}.\] Also, for \(i=1, 2, \dots, N\) assume that \(\alpha_i>0\), that \(\beta_i\) is complex, and that \(\alpha\), \(\mu\), \(\beta\), \(\theta\) and \(c\) are defined by \[\alpha:=\sum_{i=1}^N\alpha_i. \quad \mu:=\frac{1}{2}+\sum_{i=1}^N\left(\beta_i- \frac{1}{2}\right), \quad \beta = \beta_\varrho := -(\mu+\alpha r/2 +\varrho/2+1/4),\] \[\theta :=2\left(\sum_{i=1}^N\alpha_i\log \alpha_i-\alpha\log\alpha\right), \quad c := 2e^{-\theta/2\alpha}.\] The asymptotic formula for \(A_\varrho(x)\) is given by \[A_\varrho(x)=\sum{\text{Res}}\frac{\Gamma(s)\phi(s)x^{s+\varrho}}{\Gamma(s+\varrho+1)}+E_\varrho(x)\] where the summation is over all the poles of \(\frac{\Gamma(s)\phi(s)}{\Gamma(s+\varrho +1)}\).\par Theorem. Let \(E_\rho(x)\) be the error term defined as above. Then, under the condition \(\varrho > 2\alpha\sigma_a - \alpha r -1/2\), we have \[E_\varrho(x) = (-1)^{\varrho + 1}e_0x^{\frac{r}{2}-\frac{1}{4\alpha}+\varrho(1-\frac{1}{2\alpha})}\sum_{n=1}^\infty \frac{b_n}{\mu_n^{\frac{r}{2}+\frac{1}{4\alpha}+\frac{\varrho}{2\alpha}}}\] \[\times \cos\left(c(x\mu_n)^{1/2\alpha}+\beta\pi\right)+O(x^{\frac{r}{2}-\frac{3}{4\alpha}+\varrho(1-\frac{1}{2\alpha})}),\] where \(e_0>0\), \(\sigma_a\) is the abscissa of convergence for \(\psi(s)\) and \(r\) is a real number such that the function \[\Xi(s):=\prod_{i=1}^N\Gamma(\alpha_is+\beta_i)\] satisfies the functional equation \(\Xi(s)\phi(s)=\Xi(r-s)\psi(r-s)\).