Riemann zeta function: Difference between revisions
imported>Barry R. Smith (Add a sentence giving prerequisites for understanding the definition.) |
imported>Barry R. Smith (Added information about more general zeta and L-functions) |
||
Line 32: | Line 32: | ||
==The functional equation== | ==The functional equation== | ||
The | |||
==Zeroes== | ==Zeroes== | ||
==Special | ==Special values== | ||
==Generalizations== | ==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 [http://www.secamlocal.ex.ac.uk/people/staff/mrwatkin/zeta/directoryofzetafunctions.htm 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]] |
Revision as of 17:23, 28 March 2008
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 by the infinite series
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
(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
In deriving this identity, Leonard Euler also found the sums of the series for [1] 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".[2]
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 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.
The functional equation
The
Zeroes
Special values
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: