Dirichlet Series and the Riemann Zeta Function

Dirichlet series turn arithmetic sequences into analytic functions, and the most important of them, the Riemann zeta function, encodes the primes through its Euler product and the primes' fine distribution through its complex zeros.

Definition

A Dirichlet series is a series of the form the sum over n of a_n divided by n to the power s, where s is complex. The Riemann zeta function is the Dirichlet series with all coefficients equal to one, analytically continued to a meromorphic function on the complex plane.

Scope

This topic covers Dirichlet series and their abscissa of convergence, Euler products for multiplicative coefficients, the Riemann zeta function's definition for real part greater than one, its analytic continuation to the whole plane, the functional equation, the trivial and nontrivial zeros, the critical strip and critical line, and the link between zeros and prime counting via the explicit formula.

Core questions

• Where does a Dirichlet series converge, and how does an Euler product reflect multiplicativity of its coefficients?
• How is the zeta function continued past its region of convergence, and what is its functional equation?
• Where are the zeros of zeta, and what distinguishes the trivial zeros from the nontrivial ones in the critical strip?
• How does the explicit formula convert information about zeros into information about the distribution of primes?

Key theories

Euler product

For real part greater than one, the zeta function equals a product over all primes of the geometric factors one over one minus p to the minus s, an analytic encoding of unique factorization.

Analytic continuation and functional equation

Zeta extends to a meromorphic function with a single simple pole at s equals one, and satisfies a functional equation relating its values at s and one minus s through the gamma function, exposing a symmetry about the critical line.

Zeros and the explicit formula

The trivial zeros lie at negative even integers; the nontrivial zeros lie in the critical strip, and the explicit formula expresses the prime-counting function as a sum over these zeros, making their location the key to prime distribution.

Clinical relevance

The Riemann Hypothesis on the location of the nontrivial zeros determines the sharpest error bounds for prime counting; these bounds feed estimates used in cryptographic security analysis and in the rigorous analysis of number-theoretic algorithms.

History

Euler studied the series for the zeta function at integer arguments and found its Euler product in the eighteenth century. Riemann's 1859 paper treated s as a complex variable, established the analytic continuation and functional equation, and stated the hypothesis on the zeros that bears his name and remains unproven.

Key figures

• Bernhard Riemann
• Leonhard Euler
• Peter Gustav Lejeune Dirichlet

Seminal works

• apostol1976

Frequently asked questions

What is the critical line?

It is the vertical line in the complex plane where the real part of s equals one half; the Riemann Hypothesis asserts that every nontrivial zero of the zeta function lies on it.

Why is the Euler product important?

It expresses the zeta function as a product over primes, which is the precise analytic statement that every integer factors uniquely into primes and is the bridge between zeta and the primes.