Asymptotic expansions for a class of zeta-functions (Q539127)

The Mejer \(G\)-function is defined by \[ G^{m,n}_{p,q}\bigg(x \bigg| {a_1,a_2,\dots,a_p \atop b_1, b_2, \dots, b_q} \bigg) = \frac{1}{2\pi i} \int_{(\gamma)} \frac{\prod_{j=1}^m \Gamma(b_j-s) \, \prod_{i=1}^n \Gamma(1-a_i+s)}{\prod_{j=m+1}^q \Gamma(1-b_j+s) \, \prod_{i=n+1}^p \Gamma(a_i-s)} \] and where \((\gamma)\) is the vertical Bromwich path extending from \(\gamma - \infty\) to \(\gamma + \infty\) so that all poles of \(\Gamma (b_j-s)\), \(j=1,\dots,m\), are to the right of \((\gamma)\), and all poles of \(\Gamma (1-a_i+s)\), \(i=1, \dots,n\), are to the left of \((\gamma)\), see [\textit{A.\ Erdélyi, W.\ Magnus, F.\ Oberhettinger} and \textit{F.~G.\ Tricomi}, Higher transcendental functions. Vols.\ I+II. New York: McGraw-Hill (1953; Zbl 0051.30303, Zbl 0052.29502)]. In particular is the \(G^{2,0}_{0,2}\) function closely related to the \(K\)-Bessel function, the \(W\)-Whittaker function and the \(G^{2,1}_{1,2}\)-function. The holomorphic Eisenstein series \(\zeta_{\mathbb{Z}^2} (z;\alpha)\) is defined by \[ \zeta_{\mathbb{Z}^2} (z;\alpha) = \mathop{{\sum}^\prime}^\infty_{m,n=-\infty} |m+n\alpha|^{-2z} \] where \(\text{Re}(z) = \xi >1\), \(\alpha =x+iy\) with \(y>0\) and the prime on the summation sign means the omission of the case \(n=m=0\). One of the the two main results is the following \textbf{Theorem:} We have the Fourier expansion \[ \begin{multlined} \zeta_{\mathbb{Z}^2} (z;\alpha) = 2 \zeta(2z) + \frac{2 \sqrt{\pi} \, \Gamma(z-\frac{1}{2})}{ \Gamma(z)} \zeta(2z-1) y^{-2z+1}\\ + \frac{4}{\Gamma(z)} \sum_{m,n=1}^\infty (ny)^{-2z} \frac{\cos(2\pi mnx)}{m}\, I_{m,n}(z,\alpha) \end{multlined} \] where \(\zeta(z)\) is the Riemann zeta-function, \(\alpha = x + iy\) with \(y >0\) and \[ I_{m,n}(z,\alpha) = \frac{1}{\sqrt{\pi}} \, G^{2,0}_{0,2} \bigg( (\pi mny)^2 \, \bigg| {- \atop z,\frac{1}{2}} \bigg). \] The \(I_{m,n}(z,\alpha)\)-function can also expressed in terms of the \(K\)-Bessel function and also in terms of the \(W\)-Whittaker function. The second main result is an expression of the remainder term in the functional equation of the Lipschitz-Lerch transcendent. The proofs of both results use the beta-transformation \[ (1+x)^{-z} = \frac{1}{2\pi i} \int_{(c)} \frac{\Gamma(z+s) \Gamma(z-s)}{\Gamma(z)} x^s\,\text{d}s = \frac{1}{\Gamma(z)} \, G^{1,1}_{1,1}\bigg(x^{-1} \bigg| {1 \atop z } \bigg) \] for \(x>0\), \(\xi = \text{Re}(z)\) satisfies \(-\xi < c < 0\) and where \((c)\) stands for the Bromwich path from \(c - i\infty\) to \(c + i \infty\).