Riemann zeta function

In mathematics, the Riemann zeta function, named after Bernhard Riemann, is one of the most important special functions. Its generalizations have important applications to number theory, arithmetic geometry, graph theory, and dynamical systems, to name a few examples. The Riemann zeta function in particular gained prominence when it was shown to have a connection with the distribution of the prime numbers. The most important result related to the Riemann zeta function is the Riemann hypothesis, which was the 8th of Hilbert's Problems, and is one of the seven Millenium Prize Problems presented by the Clay Institute of Mathematics. As such, anyone who determines its truth or falsity is entitled to $1 million (U.S.)

Definition

To understand this definition, you must already understand the concepts of complex exponents and infinite series of complex numbers.

The Riemann zeta function is a meromorphic function defined for complex numbers with real part $\scriptstyle \Re (s)>1$ by the infinite series

$\zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}$

and then extended to all other complex values of s except s = 1 by analytic continuation. The function is holomorophic everywhere except for a simple pole at s = 1.

Euler's product formula for the zeta function is

$\zeta (s)=\prod _{p\ \mathrm {prime} }{\frac {1}{1-p^{-s}}}$

(the index p running through the set of prime numbers).

The celebrated Riemann hypothesis is the conjecture that all non-real values of s for which ζ(s) = 0 have real part 1/2. The problem of proving the Riemann hypothesis is the most well-known unsolved problem in mathematics.

History

The origin of the Riemann zeta function can be traced to the Basel Problem. The solution to this problem states that

$\zeta (2)=\sum _{1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}.$

In deriving this identity, Leonard Euler also found the sums of the series $\zeta (2k)$ for $\scriptstyle k=1,\ldots ,13$ These computations contain implicitly the germ of the idea of the zeta function. According to Andre Weil, these and related results due to Euler remained as "mere curiosities, and virtually unknown, until they received new life at the hands of Riemann in 1859".

In an eight page paper, Riemann catapulted both himself and his namesake to worldwide renown. The paper includes the general definition of the zeta function (including the first use of the symbol $\zeta$ to denote it) and the proof of its analytic continuation, the functional equation (see below), as well as results relating the function to the distribution of prime numbers and of course, the Riemann hypothesis. Since then, the function and its relatives have found applications in myriad research papers in a vast array of fields.

Riemann is also responsible for naming the variable in the zeta function s, rather than the z which is more typically used for complex analytic functions. The now common (but strange) notation $s=\sigma +it$ was introduced later.

The functional equation

The Riemann zeta function satisfies a functional equation:

$\zeta (1-s)=2(2\pi )^{-s}\Gamma (s)\cos \left({\frac {\pi s}{2}}\right)\zeta (s),$

where $\Gamma (s)$ is the gamma function.

According to Andre Weil, Euler had already discovered the functional equation by the middle of the 18th century. However, it remained virtually unknown until Riemann rediscovered it in his famous paper.

The equation can be interpreted as saying that the function has an imperfect symmetry around the critical line in the complex plane consisting of all complex numbers with real part equal to 1/2. For instance, the series definition of the zeta function and the functional equation in principle give one the means to compute values of the zeta function for all values outside of the critical strip, which consists of those complex numbers whose real part satisfies the inequalities $\scriptstyle 0\leq \Re (s)\leq 1$. (This assumes that one can compute the necessary values of the gamma function).

Generalizations

Analogues of the Riemann zeta function have been created in many different contexts. A unifying principle for these various zeta functions might be that they all are defined either through a series resembling the series defining the Riemann zeta function or through a product resembling the Eulerian product for the Riemann zeta function (or both!). More precisely, such a series definition typically extends over an index set of algebraic objects considered to be "integral" in some context, and the term corresponding to each object is a quotient whose denominator involves a rational integer defined in terms of the object raised to the -s power, where s is the function's variable. In contrast, the Euler product defining a zeta function typically extends over an index set of algebraic objects considered to be "prime" in some context, and the factor corresponding to each object again is a quotient whose denominator involves a rational integer defined in terms of the object raised to the -s power.

Other more general analogs of the Riemann zeta functions are called L-functions. A typical L-function is obtained from a zeta function by twisting the terms in the defining series or Eulerian product by including a factor of a character on the index set.

Important examples of zeta functions are:

• Artin-Mazur zeta functions
• Dedekind zeta functions
• Hasse-Weil zeta functions
• Igusa zeta functions
• Ihara zeta functions
• partial zeta functions
• p-adic zeta functions
• Selberg zeta functions

Here is a directory of known zeta functions.

Important examples of L-functions are:

• Artin L-functions
• Dirichlet L-functions
• Hasse-Weil L-functions
• Hecke L-functions
• modular L-functions
• Motivic L-functions
• p-adic L-functions