PutIf is prime, then . Since is supported on , the only divisor of contributing to is , and . Every summand is nonnegative, so
LetSince is the Fourier transform of , the Fourier inversion theorem gives the Fourier representation of a smooth Selberg weightExpanding the square, interchanging the absolutely convergent sums and integrals, and usingwe obtainThe error is because the support of restricts both divisors to . The main factor isand its Euler product is
It remains to estimate the integral using the assumed zeta-factor bound. The transform is a Schwartz function, since is smooth and compactly supported. We may therefore truncate to , losing an arbitrarily large negative power of . Uniformly in the needed truncated range, the standard estimates near the pole of the Riemann zeta function giveandAfter multiplication, one net factor remains. The polynomial factors in are integrable against the rapidly decreasing , and choosing as a sufficiently large power of makes the tails negligible. HenceSince and ,This proves the short-interval prime upper bound from a smooth divisor weight.
Articles by others on the same topic
There are currently no matching articles.