Details

Snapshot 1: the graphs of the step function and the formula using no zeta zeros

Snapshot 2: the graphs of and the formula using 50 pairs of zeta zeros

We call an integer "squarefree" if it is not divisible by the square of any prime. The first ten squarefree numbers are 1, 2, 3, 5, 6, 7, 10, 11, 13, and 14.

The function denotes the number of distinct prime factors of . For any , the number of divisors of that are squarefree is . This example shows why: , because 60 has three distinct prime factors, which are 2, 3, and 5. We can list all the squarefree divisors of 60 by taking all combinations of the presence or absence of the three primes (, where ):

1

2

3

5

2×3

2×5

3×5

2×3×5

The sum of over positive integers is a function of that we denote by . is an increasing, but irregular, step function.

This Demonstration uses the following formula to calculate :

(1) ,

where is the complex ("nontrivial") zero of the Riemann zeta function ζ(s). In this equation,

,

, where is Glaisher's constant, and

.

The first three complex zeros of the zeta function are approximately , , and . The zeros occur in conjugate pairs, so if is a zero, then so is . The important Riemann hypothesis is the unproven conjecture that all these complex zeros have real part 1/2. So far, it has been verified that the first complex zeros do, indeed, have real part 1/2 (see [1]).

If you use the slider to choose, say, pair of zeta zeros, then the first sum in the above formula, in effect, combines two terms corresponding to the first pair of zeta zeros and . These two terms are conjugates of each other. So, when these terms are added, their imaginary parts cancel while their real parts add. The applied to the first sum is simply an efficient way to combine the two terms for each pair of zeta zeros.

Notice that the second sum has the same form as the first, except that the second sum extends over the so-called "trivial" zeros of the zeta function, namely, . The second sum is small when is large. The dominant terms in the formula are . If you use the slider to choose "no zeta zeros", this is the estimate of that is plotted. This expression is fairly close to , but the accuracy of the formula improves as we include terms with zeta zeros. This Demonstration shows that the zeros of the zeta function somehow carry information about the squarefree divisors of the integers.

All known zeta zeros have multiplicity 1. The above formula assumes that all zeta zeros have multiplicity 1. At those values of where jumps from to , the above formula converges to the midpoint, , as approaches infinity.

Where Does Equation 1 Come From?

Page 397 of reference [3] shows how to use Perron's formula to prove equation (1). Perron's formula ([3], p. 137) says that if the series

(2)

converges for , then we can express the sum of , for , as an integral:

(3)

where . By Cauchy's residue theorem, the value of this integral can be calculated by summing the residues of the integrand.

To prove equation (1), we start with this identity, which holds for :

(4) .

This can be found on page 255 of [2]. We now apply Perron's formula with and . We shift the integration contour to the left to include the residues listed below. The residues arise from the values of where the numerator of the integrand has a pole, or where the denominator is 0.

In formula (1) above, comes from the residue of at . The expression comes from the residue at , where the numerator has a pole. The first sum in equation (1) is the sum of the residues at the nontrivial zeros of . ( is the nontrivial zero of , so is the zero of ). The second sum comes from the trivial zeros of . In analytic number theory, formula (1) is known as an "explicit formula"; there are others in the last six related links.

References:

[1] X. Gourdon, "The 10^13 First Zeros of the Riemann Zeta Function, and Zeros Computation at Very Large Height."

[2] G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 4th ed., Oxford: Oxford University Press, 1965.

[3] H. L. Montgomery and R. C. Vaughan, Multiplicative Number Theory: I. Classical Theory, Cambridge: Cambridge University Press, 2007.