Riemann–Siegel theta function


In mathematics, the Riemann–Siegel theta function is defined in terms of the gamma function as
for real values of t. Here the argument is chosen in such a way that a continuous function is obtained and holds, i.e., in the same way that the principal branch of the log-gamma function is defined.
It has an asymptotic expansion
which is not convergent, but whose first few terms give a good approximation for. Its Taylor-series at 0 which converges for is
where denotes the polygamma function of order.
The Riemann–Siegel theta function is of interest in studying the Riemann zeta function, since it can rotate the Riemann zeta function such that it becomes the totally real valued Z function on the critical line .

Curve discussion

The Riemann–Siegel theta function is an odd real analytic function for real values of t. It has three roots at 0 and and it is an increasing function for values |t| > 6.29, because it has exactly one minima and one maxima at with absolute value. Lastly it has a unique inflection point at t=0 with where the theta function has its derivation minimum.

Theta as a function of a complex variable

We have an infinite series expression for the log-gamma function
where γ is Euler's constant. Substituting for z and taking the imaginary part termwise gives the following series for θ
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
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, θ 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
If is a real number, then the Z function returns real values.
Hence the zeta function on the critical line will be real when
. Positive real values of where this occurs are called Gram points, after J. P. Gram, and can of course also be described as the points where is an integer.
A Gram point is a solution of
These solutions are approximated by the sequence:
where is the Lambert W function.
Here are the smallest non negative Gram points
−300
−23.4362182261...−
−19.6669080561...−
017.8455995405...0
123.1702827012...
227.6701822178...2
331.7179799547...3
435.4671842971...4
538.9992099640...5
642.3635503920...6
745.5930289815...7
848.7107766217...8
951.7338428133...9
1054.6752374468...10
1157.5451651795...11
1260.3518119691...12
1363.1018679824...13
1465.8008876380...14
1568.4535449175...15

The choice of the index n is a bit crude. It is historically chosen in such a way that the index is 0 at the first value which is larger than the smallest positive zero of the Riemann zeta function on the critical line. Notice, this -function oscillates for absolute-small real arguments and therefore is not uniquely invertible in the interval ! Thus the odd theta-function has its symmetric Gram point with value 0 at index −3.
Gram points are useful when computing the zeros of. At a Gram point
and if this is positive at two successive Gram points, must have a zero in the interval.
According to Gram’s law, the real part is usually positive while the imaginary part alternates with the Gram points, between positive and negative values at somewhat regular intervals.
The number of roots,, in the strip from 0 to T, can be found by
where is an error term which grows asymptotically like.
Only if would obey Gram’s law, then finding the number of roots in the strip simply becomes
Today we know, that in the long run, Gram's law fails for about 1/4 of all Gram-intervals to contain exactly 1 zero of the Riemann zeta-function. Gram was afraid that it may fail for larger indices and thus claimed this only for not too high indices. Later Hutchinson coined the phrase Gram's law for the statement that all zeroes on the critical line would be separated by Gram points.