|
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, i.e., in the same way that the principal branch of the log Gamma function is defined.
It has an asymptotic expansion

which is strongly convergent for .
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 + it.
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

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

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 G 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.
Riemann-Siegel theta function in the complex plane
|
|
|
|
 |
 |
 |
Gram points
The Riemann zeta function on the critical line can be written


If t 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 t 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, n of

Here are some examples of Gram points
| n |
gn |
| 0 |
17.8455995404 |
| 1 |
23.1702827012 |
| 2 |
27.6701822178 |
Gram points are useful when computing the zeros of . At a Gram point gn,

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[dubious – discuss] 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

If gn obeys Gram’s law, then finding the number of roots in the strip simply becomes

|