Riemann-Siegel theta function

In mathematics, the Riemann-Siegel theta function is defined in terms of the Gamma function as

:$heta(t)\; =\; arg\; left(Gammaleft(frac\{2it+1\}\{4\}\; ight)\; ight)\; -\; frac\{log\; pi\}\{2\}\; t$

for real values of t. Here the argument is chosen in such a way that a continuous function is obtained, i.e., in the same way that the principal branch of the log Gamma function is defined.

It has an asymptotic expansion

:$heta(t)\; sim\; frac\{t\}\{2\}log\; frac\{t\}\{2pi\}\; -\; frac\{t\}\{2\}\; -\; frac\{pi\}\{8\}+frac\{1\}\{48t\}+\; frac\{7\}\{5760t^3\}+cdots$

which is strongly convergent for $t\; gg\; 1$.

It is of interest in studying the Riemann zeta function, since it gives the argument of the zeta function on the critical line $s\; =\; 1/2\; +\; i\; t$.

The Riemann-Siegel theta function is an odd real analytic function for real values of t; it is an increasing function for values |t| > 6.29.

Theta as a function of a complex variable

We have an infinite series expression for the log Gamma function

:$log\; Gamma\; z\; =\; -gamma\; z\; -log\; z\; +\; sum\_\{n=1\}^infty\; left(frac\{z\}\{n\}\; -\; log\; left(1+frac\{z\}\{n\}\; ight)\; ight),$

where γ is Euler's constant. Substituting $(2it+1)/4$ for z and taking the imaginary part termwise gives the following series for θ(t)

:$heta(t)\; =\; -frac\{gamma\; +\; log\; pi\}\{2\}t\; -\; arctan\; 2t\; +\; sum\_\{n=1\}^infty\; left(frac\{t\}\{2n\}\; -\; arctanleft(frac\{2t\}\{4n+1\}\; ight)\; ight)$

For values with imaginary part between -1 and 1, the arctangent function is holomorphic, and it is easily seen that the series converges uniformly on compact sets in the region with imaginary part between -1/2 and 1/2, leading to a holomorphic function on this domain. It follows that the Z function is also holomorphic in this region, which is the critical strip.

We may use the identities

:

to obtain the closed-form expression

:$heta(t)\; =\; frac\{logGammaleft(frac\{2it+1\}\{4\}\; ight)-logGammaleft(frac\{-2it+1\}\{4\}\; ight)\}\{2i\}\; -\; frac\{log\; pi\}\{2\}\; t,$

which extends our original definition to a holomorphic function of t. Since the principal branch of log Γ has a single branch cut along the negative real axis, θ(t) in this definition inherits branch cuts along the imaginary axis above i/2 and below -i/2.

Gram points

The Riemann zeta function on the critical line can be written

:$zetaleft(frac\{1\}\{2\}+it\; ight)\; =\; e^\{-i\; heta(t)\}Z(t),$:$Z(t)\; =\; e^\{i\; heta(t)\}\; zetaleft(frac\{1\}\{2\}+it\; ight)$

If t is a real number, then the Z function, $Zleft(t\; ight)$, returns "real" values.

Hence the zeta function on the critical line will be "real" when$sinleft(,\; heta(t),\; ight)=0$. Positive real values of t where this occurs are called Gram points, after J.-P. Gram, and can of course also be described as the points where $frac\{\; heta(t)\}\{pi\}$ is an integer.

A Gram point is a solution, "n" of:$hetaleft(g\_\{n\}\; ight)\; =\; npi$

Here are some examples of Gram points

Gram points are useful when computing the zeros of $Zleft(t\; ight)$. At a Gram point $g\_\{n\}$,

:$zetaleft(frac\{1\}\{2\}+ig\_n\; ight)\; =\; cos(\; heta(g\_n))Z(g\_n)\; =\; (-1)^n\; Z(g\_n),$

and if this is "positive" at "two" successive Gram points, $Zleft(t\; ight)$ must have a zero in the interval.

According to Gram’s law, the real part is "usually" positivedubious while the imaginary part alternates with the gram points, between "positive" and "negative" values at somewhat regular intervals.

:$Releft\{,(-1)^n\; ,\; Zleft(g\_\{n\}\; ight),\; ight\}\; >\; 0$

The number of roots, $Rleft(t\; ight)$, in the strip from "0" to "t", can be found by:$Rleft(t\; ight)\; =\; frac\{\; heta(t)\}\{pi\}\; +\; 1$

If $g\_\{n\}$ obeys Gram’s law, then finding the number of roots in the strip simply becomes:$Rleft(g\_\{n\}\; ight)\; =\; n\; +\; 1$