I am currently attending the Counting Arithmetic Objects summer school at Centre de Recherches Mathematiques in Montreal. During the second day of lectures I heard a remarkable talk from Professor Andrew Granville. He spoke with outstanding clarity on the basic aim of analytic number theory, and I wish to remark on some of the epiphanies I had during the talk.

Without a doubt, one of the most important identities in analytic number theory is the following:

The key insight is that the above identity serves as an “indicator function” for whether a quantity is zero or not. Indeed, this basic observation is behind behind the solutions to Waring’s problem and the proof of Vinogradov’s theorem on the sum of three primes. This “smooth” indicator function allows the use of methods in analysis to deal with arithmetic problems.

A related identity is Perron’s formula. Here again we start with an “indicator” function, defined for

This allows to handle sums of the shape

To see this, we start with the observation that for each in the range of summation we have (provided is not an integer) that . Hence we have

The outer sum is finite, but we would not change the sum at all if we included all positive integers because of the indicator function nature. For well behaved ‘s and taking sufficiently large to ensure absolute convergence, we have that

We note that is the Dirichlet series associated to the ‘s. Summarizing, we obtain the equation

Now we can apply this to the familiar Von Mangoldt function defined by

where as usual denotes a prime. Now using Perron’s formula, we have

Where denotes the Riemann zeta function. This gives rise, after evaluating the integral on the right using residue theory and noting that the poles of are 1 and the zeroes of , we have

This is likely one of the most striking equations in mathematics as the left hand side is a discrete sum while the right hand side involved values of a meromorphic function. Somehow, the zeroes of the zeta function “knows” where the primes are.

### Like this:

Like Loading...

*Related*