On the Rankin-Selberg zeta-function

Aleksandar Ivić
DOI: https://doi.org/10.48550/arXiv.1007.4310
2010-10-06
Abstract:We obtain the approximate functional equation for the Rankin-Selberg zeta-function on the 1/2-line.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the study of the approximate functional equation of the Rankin - Selberg ζ - function. Specifically, the author aims to obtain the approximate functional equation of the Rankin - Selberg ζ - function on the 1/2 - line. ### Background and Problem Description The Rankin - Selberg ζ - function \(Z(s)\) is defined by the following Dirichlet series: \[ Z(s):=\sum_{n = 1}^{\infty}\frac{c_{n}}{n^{s}} \] where \(c_{n}\) is a convolution function, defined as: \[ c_{n}=n^{1-\kappa}\sum_{m^{2}\mid n}m^{2(\kappa - 1)}\vert a(n/m^{2})\vert^{2} \] Here \(a(n)\) is the \(n\)-th Fourier coefficient of the modular form \(\phi(z)\), and \(\phi(z)\) is a holomorphic cusp form of weight \(\kappa\) with respect to the full modular group \(SL(2,\mathbb{Z})\). ### Main Problem The main objective of the paper is to study the behavior of the Rankin - Selberg ζ - function \(Z(s)\) on the critical line \(\Re(s)=\frac{1}{2}\) and obtain its approximate functional equation. This involves estimating the error - term function: \[ \Delta(x):=\sum_{n\leq x}c_{n}-Cx \] where the constant \(C\) can be explicitly expressed as: \[ C = C(\phi)=\frac{2\pi^{2}}{(4\pi)^{\kappa - 1}\Gamma(\kappa)}\iint_{F}y^{\kappa - 2}\vert\phi(z)\vert^{2}\,dx\,dy \] The integration is carried out over the fundamental domain \(F\) of \(SL(2,\mathbb{Z})\). ### Approximate Functional Equation The core result of the paper is obtaining the approximate functional equation of \(Z(s)\) on \(\Re(s)=\frac{1}{2}\). Specifically, for \(s=\sigma+it\), when \(\frac{1}{2}\leq\sigma\leq1\) and \(t\geq3\), we have: \[ Z(s)=\sum_{n\leq x}\frac{c_{n}}{n^{s}}+X(s)\sum_{n\leq y}\frac{c_{n}}{n^{1 - s}}+\frac{C_{1}x^{1 - s}}{1 - s}+\frac{C_{2}X(s)y^{s}}{s}+O_{\varepsilon}(t^{\varepsilon}(x^{-\sigma}+hx^{1-\sigma})+t^{2+\varepsilon - 4\sigma}(y^{\sigma - 1}+hy^{\sigma})) \] where \(xy = \tau\), \(1\ll x,y\ll\tau\), \(0 < h\leq1\) is an appropriate parameter, and \(C_{1}\) and \(C_{2}\) are absolute constants. ### Key Conclusions In particular, when \(s=\frac{1}{2}+it\) lies on the critical line, a more concise result can be obtained: \[ Z(s)=\sum_{n\leq x}\frac{c_{n}}{n^{s}}+X(s)\sum_{n\leq y}\frac{c_{n}}{n^{1 - s}}+\frac{C_{1}x^{1 - s}}{1 - s}+\frac{C_{2}X(s)y^{s}}{