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.
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 (
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
complex ("nontrivial") zero of the Riemann zeta function ζ(s). In this equation,
is Glaisher's constant, and
The first three complex zeros of the zeta function are approximately
. 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 ).
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
. 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
, the above formula converges to the midpoint,
Where Does Equation 1 Come From?
Page 397 of reference  shows how to use Perron's formula to prove equation (1). Perron's formula (, p. 137) says that if the series
, then we can express the sum of
, as an integral:
. 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
This can be found on page 255 of . We now apply Perron's formula with
. 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
. 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
nontrivial 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.
 G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers
, 4th ed., Oxford: Oxford University Press, 1965.
 H. L. Montgomery and R. C. Vaughan, Multiplicative Number Theory: I. Classical Theory
, Cambridge: Cambridge University Press, 2007.