An asymptotic expansion for a twisted Lambert series associated to a cusp form and the Möbius function: level aspect (Q2134902)

Let \(f\) be a cusp form of weight \(k\) w.r.t. the congruence subgroup \(\Gamma_0(Q)\) of level \(Q\) with Nebentype character \(\chi\) and let \(a_f(n)\) be the Fourier coefficient of \(f\). The Dirichlet character twist of the \(L\)-function \(L_f(s)=\sum_{n=1}^{\infty}\frac{a_f(n)}{n^s}\), \(\sigma>\frac{k+1}{2}\) is defined by \[ L_f(s,\psi)=\sum_{n=1}^{\infty}\frac{a_f(n)\psi(n)}{n^s}, \quad \sigma>\frac{k+1}{2}, \] where \(\psi\) is a primitive Dirichlet character mod \(r\), \((Q,r)=1\). Let \(\psi^{\prime}\) be a primitive Dirichlet character mod \(M\) and suppose that all non-trivial zeros of the Dirichlet \(L\)-function \(L(s,\psi^{\prime})\) are simple. The main result (Theorem 3.1) is that the left-hand side of (4.3) has an exact expression in terms of the series in the hypergeometric function \({}_2\!F_1\) plus the main terms one of which is the sum over non-trivial zeros. \[ \sum_{n=1}^{\infty}(a_f\psi \ast \mu \psi^{\prime} )(n)\exp(-ny)=\frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\Gamma(s)\frac{L_f(s,\psi)}{L(s,\psi^\prime)}y^{-s}\,\mathrm{d}s,\tag{4.3} \] where \(\mu(n)\) indicates the Möbius function. The asymptotic expansion in the title naturally follows from the exact formula. \(L(s,\psi^{\prime})\) works as a processing factor and choosing the character suitably, many corollaries are derived including the one proved in [\textit{A. Juyal} et al., Ramanujan J. 57, No. 2, 769--784 (2022; Zbl 1496.11113)]. The idea goes back to [\textit{J. L. Hafner} and \textit{J. Stopple}, Ramanujan J. 4, No. 2, 123--128 (2000; Zbl 0987.11055)] and the method is similar to that established in [\textit{K. Chakraborty} et al., Ramanujan J. 42, No. 2, 285--299 (2017; Zbl 1422.11175)].