In the previous post about the zeta function the Vinogradov–Korobov zero-free region was stated, together with what it tells us about the error term involved in using to approximate . In this post it is examined how this zero-free region, together with various other zero-free regions can be derived.
The Zero-Free Regions
In the last post it was stated that it was known that only the trivial zeros of the zeta function lie outside of the strip . Inside this strip lie an infinite number of zeros which we refer to as the non-trivial zeros. It has been possible to produce some further restrictions on the region in which we know the non-trivial zeros lie, these results are known as the zero-free regions.
The symmetry of the location of zeros in the critical strip around both the critical line and around the real axis make it sufficient to consider zeros in the region and . The symmetries of the zero set can then be used to derive similar results in the other three segments that the critical strip is divided into by the lines , and . For sufficiently large the following inequalities hold for some constant (which will be different for the different inequalities below):
- The de la Vallée Poussin zero-free region: .
- The Littlewood zero-free region: .
- The Vinogradov-Korobov zero-free region, .
It should be noted that as the width of these zero-free regions within the critical strip tends to zero. Hence asymptotically they are equivalent to the result that for , however the improvement for bounded is significant, and has been used to improve bounds on the error term involved in approximating by the log integral function.
It has been possible to calculate explicit versions of these constants in some cases, of course these constants are probably improvable, certainly in the case the Riemann Hypothesis holds they are significantly improvable. An explicit version of the de la Vallée Poussin zero-free region given by Kadiri , is that for , the inequality holds with . An explicit version of the Vinogradov-Korobov zero free region given by Ford , is that the inequality holds for with .
Some Elementary Properties of
In this section is some background work to the previous post’s announcements about the zeta function. This section will sketch a proof for the functional equation for the zeta function.
In Chapter II of Titchmarsh , no fewer than seven proofs of this equation can be found. Below a proof is outlined that uses the properties of theta functions (expect to hear more about theta functions on this blog soon — they have very interesting links to the Heisenberg group, complex tori and complex abelian varieties). The complete form of this proof can be found in either Titchmarsh  or Mumford .
However for the purposes of this derivation we only need to know the definition of the zeta function by:
This converges for all complex numbers and .
This proof uses a link between the Mellin transform of the theta function and the zeta function. The Mellin transformation is an integral transform defined by
This transform can be inverted (subject to certain boundedness conditions for of , these are outlined in the Mellin Inversion Theorem), using the inverse Mellin transform defined below (note that must be appropriately chosen — the restrictions on depend on how satisfies the boundedness conditions):
We now take the Mellin transform of to gain
This converges due to certain boundedness properties that the theta function satisfies — hence we can interchange integration and summation, and we then substitute to obtain
We can now use properties of the theta function to derive properties of the zeta function. Specifically we have that , we can use this to rearrange the Mellin transform to give
The above function on the left hand side is invariant under the substitution , this invariance then gives us the functional equation.
We note that the functional equation is not ideal for actual estimation (or calculation) of the value of the zeta function at a point. This is because it relates the value of to the value of the zeta function at another point, rather than expressing the value of solely in terms of other functions.
In order to find information out about the zeros of within the critical strip we need some information about withing this strip. Specifically we use approximations of the value of . In order to do this we use a class of results known as the approximate functional equations which relate the value of within the critical strip to the values of partial sums of the series , that is to say sums of the form .
A well-known example of approximate functional equations is
for , , and for some positive constant
where . There also exist explicit versions which give upper bounds for the implied constants within the big- terms of the above expression. If we wish to gain a zero-free region with explicit constants then an explicit version of the above estimate (or other similar estimates) will have to be used. For details on the derivation of these approximation formulae see Titchmarsh  or Ivic .
We now need to develop bounds for the sums , in order to use some approximation formula to estimate .
Estimating exponential sums is often necessary in number theory and mathematics more generally. Different bounds on the value of these partial sums can be used to give different zero-free regions. For example the using Van der Corput method to approximate the partial sum can be used to give the Littlewood zero-free region, while using the Vinogradov–Korobov method gives the Vinogradov–Korobov zero-free region. The bounds on exponential sums generally can then be related to the specific sum above. For more details about these estimation processes see chapter 8 of  on which the below sections is based.
An exponential sum is a sum of the form , where maps the natural numbers into the real numbers, and is some positive number. Clearly the individual terms will be somewhere on the unit circle. Hence without additional data on the function , we cannot gain an upper bound better than . However if we have additional data about it may be possible to gain a better bound.
For example in the Van der Corput method we use bounds on the derivative of in order to gain a better bound on the exponential sum. Suppose that we have a bound on the for some function (i.e. it has continuous derivatives for ), then we can relate this to a exponential sum with bounded -th derivative. Let for some number , then for some , thereby giving bounds on the -th derivative of . If we can estimate the sum , it is possible to then relate this estimate to the sum . We can use this link to reduce the estimation problem to where we have bounds on the second derivative of . In this case we can use integral approximations to the series summation to gain an estimate for the sum, with the bounds on the second derivative of allowing the error term in this approximation to be estimated.
In contrast to the above method the Vinogradov–Korobov method relates the sums to the number of solutions to certain Diophantine equations. We start by shifting the summation by : . We then approximate by using a Taylor polynomial () for around , which has a known error bound. We do this for multiple different values, specifically the set for a certain set , and essentially average the upper bounds for the different values of . In order to do this we need to estimate for a polynomial.
We choose , with each element appearing with the multiplicity of how many times it can be represented in such a form. Thus .
Rather than estimating directly we instead estimate some power . By rearranging and using Hölder’s inequality we gain
where is some complex number of modulus one for each , and is the number of integer solutions to the equations for and , and the ‘s are the coefficients to the Taylor Polynomial.
It turns out that it is possible to estimate in terms of .
We can interpret as the number of integer solutions to the equations
for , and for .
Bounds on the number of solutions to this Diophantine equation (and those defining ) can then be traced back through the above process to give abound on exponential sums, which can then be used to give the following bound on :
For , , : .
The bound on that will be used to prove the de-la-Vallée Poussin zero free region, is that in the region for any positive constant , and sufficiently large .
Deriving the Zero Free Regions
We now use the approximations of to show the existence of a zero-free region. We will link the zeros of the zeta function to its magnitude by use of the Cauchy Integral formula. Consider a circle in the upper plane of radius , centre . We then remove the singularities of within the concentric circle of radius by defining where the product is over the zeros within the smaller circle (counting multiplicity). We can then use bounds on to gain bounds on , which can in turn be used to show that is regular and has bounded real part. Thus we can use the Borel-Carathéodery Theorem to bound . Then we use the regularity of and the Cauchy Integral formula to use the bound on to gain a bound for , where the summation is over all zeros in the circle of radius centred at .
We now choose functions and satisfying:
1) and are increasing functions for , with , and as .
3) as in the region .
We also suppose there is zero of the form in the upper half plane, and we choose .
We can use the above with circles of radius to gain, and , if , as an upper bound for , and as an upper bound for (for some constant ). If the inequality derived in this section follows from this inequality for sufficiently large .
Consider the trigonometric polynomial . We can now gain an inequality involving the zeta function by:
. Note that the identity for used comes from logarithmic differentiation of the Euler product formula for .
Due to the pole of at we have that as for close to one, we can use for some , as an upper bound on .
Putting the estimates for , and into the inequality coming from the trigonometric inequality, with a suitable choices of , gives the below theorem.
Theorem 1: Let and be two functions such that:
1) and are increasing functions for , with , and as .
3) as in the region .
Then for sufficiently large , there are no zeros in the region , for some positive constant .
Using the bounds for from the previous section, we can gain the zero-free regions stated in the first section of this post.
We can see that in the above theorem we require; a bound on the growth of within a certain region close to the line , note that due to the symmetry of the set of zeros discussed in the previous blog post it is only necessary to consider the part of the critical strip with and . The bounds on the exponential sums in the above section allowed us to gain, via the approximate functional equations, bounds on , within a certain area. When we substitute these into Theorem 1 above these give us the zero-free regions.
If we want known constants, as opposed to unknown constants in the zero-free regions the implicit constants in the above derivations must all be replaced by known constants. Over last summer I did this for the Littlewood zero-free region, however unfortunately the resulting constants were of a magnitude such that they did not improve upon the explicit version of the Vinogradov-Korobov zero free region given by Ford .
While the above method has given us many of the zero-free regions, including many of the most powerful zero-free regions, there are some other methods of deriving such results. It should be noted that all the zero-free regions currently existing have their width asymptotically approach zero when approaches infinity, and this will be the case for all regions derived using Theorem 1. In the notes to chapter 3 of  some other methods of deriving zero-free regions are looked at, however none give improvements on the Vinogradov-Korobov region.
The next and final post in this short series will look at how some of the theory in this post and in the previous post, can be extended to more general cases, in particular that of Dirichlet L-functions (of which the Riemann zeta function is a single example).
 K. Ford, Zero-free regions for the Riemann zeta function, in Number theory
for the millennium, II (Urbana, IL, 2000), A K Peters, Natick, MA, 2002,
 A. Ivic, The Riemann Zeta-Function: Theory and Applications, Wiley, New
 H. Iwaniec and E. Kowalski, Analytic number theory, no. v. 53 in American
Mathematical Society Colloquium publications, American Mathematical
 H. Kadiri, Une region explicite sans zeros pour la fonction de Riemann,
Acta Arith., 117 (2005), pp. 303-339.
 D. Mumford, Tata Lectures on Theta, Progress in Mathematics Series,
 E. Titchmarsh, The Theory of the Riemann Zeta-Function, Oxford University
Press, New York, 2nd ed., 1986.