Supriya Ghosh (Editor)

Selberg's identity

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In number theory, Selberg's identity is an approximate identity involving logarithms of primes found by Selberg (1949). Selberg and Erdős both used this identity to given elementary proofs of the prime number theorem.

Contents

Statement

There are several different but equivalent forms of Selberg's identity. One form is

p < x ( log p ) 2 + p q < x log p log q = 2 x log x + O ( x )

where the sums are over primes p and q.

Explanation

The strange-looking expression on the left side of Selberg's identity is (up to smaller terms) the sum

n < x c n

where the numbers

c n = Λ ( n ) log n + d | n Λ ( d ) Λ ( n / d )

are the coefficients of the Dirichlet series

ζ ( s ) ζ ( s ) = ( ζ ( s ) ζ ( s ) ) + ( ζ ( s ) ζ ( s ) ) 2 = c n n s .

This function has a pole of order 2 at s=1 with coefficient 2, which gives the dominant term 2x log(x) in the asymptotic expansion of n < x c n .

References

Selberg's identity Wikipedia