A new asymptotic representation for ζ(½ + i t ) and quantum spectral determinants

Abstract

By analytic continuation of the Dirichlet series for the Riemann zeta function ζ(s) to the critical line s = ½ + i t ( t real), a family of exact representations, parametrized by a real variable K , is found for the real function Z ( t ) = ζ(½ + i t ) exp {iθ( t )}, where θ is real. The dominant contribution Z 0 ( t,K ) is a convergent sum over the integers n of the Dirichlet series, resembling the finite ‘main sum ’ of the Riemann-Siegel formula (RS) but with the sharp cut-off smoothed by an error function. The corrections Z 3 ( t,K ), Z 4 ( t,K )... are also convergent sums, whose principal terms involve integers close to the RS cut-off. For large K , Z 0 contains not only the main sum of RS but also its first correction. An estimate of high orders m ≫ 1 when K < t 1/6 shows that the corrections Z k have the ‘factorial/power ’ form familiar in divergent asymptotic expansions, the least term being of order exp { ─½ K 2 t }. Graphical and numerical exploration of the new representation shows that Z 0 is always better than the main sum of RS, providing an approximation that in our numerical illustrations is up to seven orders of magnitude more accurate with little more computational effort. The corrections Z 3 and Z 4 give further improvements, roughly comparable to adding RS corrections (but starting from the more accurate Z 0 ). The accuracy increases with K , as do the numbers of terms in the sums for each of the Z m . By regarding Planck’s constant h as a complex variable, the method for Z ( t ) can be applied directly to semiclassical approximations for spectral determinants ∆( E, h ) whose zeros E = E j ( h ) are the energies of stationary states in quantum mechanics. The result is an exact analytic continuation of the exponential of the semiclassical sum over periodic orbits given by the divergent Gutzwiller trace formula. A consequence is that our result yields an exact asymptotic representation of the Selberg zeta function on its critical line.