Riemann zeta function: Difference between revisions
imported>Barry R. Smith mNo edit summary |
imported>Meg Taylor No edit summary |
||
(6 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
In [[mathematics]], the '''Riemann zeta function''', named after [[Bernhard Riemann]], is one of the most important [[special function]]s. Its [[zeta function|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 number]]s. 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 [[Millennium 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.) | |||
In [[mathematics]], the '''Riemann zeta function''', named after [[Bernhard Riemann]], is one of the most important [[special | |||
==Definition== | ==Definition== | ||
To understand this definition, you must already understand the concepts of [[complex exponents]] and [[infinite series]] of complex numbers. | 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 number]]s with [[real part]] <math>\scriptstyle \Re(s) > 1</math> by the infinite series | The [[Bernhard Riemann|Riemann]] zeta function is a [[meromorphic function]] defined for [[complex number]]s with [[real part]] <math>\scriptstyle \Re(s) > 1</math> by the [[infinite series]] | ||
: <math> \zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} </math> | : <math> \zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} </math> | ||
and then extended to all other complex values of ''s'' except ''s'' = 1 by [[analytic continuation]]. The function is | and then extended to all other complex values of ''s'' except ''s'' = 1 by [[analytic continuation]]. The function is holomorphic everywhere except for a simple pole at ''s'' = 1. | ||
[[Leonhard Euler|Euler's]] product formula for the zeta function is | [[Leonhard Euler|Euler's]] product formula for the zeta function is | ||
Line 21: | Line 20: | ||
==History== | ==History== | ||
The origin of the Riemann zeta function can be traced to the [[Basel problem]]. The solution to this problem states that | The origin of the Riemann zeta function can be traced to the [[Basel problem]]. The solution to this problem states that | ||
Line 34: | Line 32: | ||
==The functional equation== | ==The functional equation== | ||
The Riemann zeta function satisfies a [[functional equation]]: | The Riemann zeta function satisfies a [[functional equation]]: | ||
Line 50: | Line 47: | ||
==Special values== | ==Special values== | ||
Aside from the special value 0, certain other values of the Riemann zeta function have been extensively studied. As mentioned above, Euler was the first to compute values of the zeta function when he found <math> \zeta(2k)</math> for <math> \scriptstyle k = 1, \ldots, 13 </math>. In each case, he found that the value is a rational number times <math> \scriptstyle \pi^{2k} </math> Later, he discovered a general formula, valid for all positive integers ''k'': | |||
: <math> \zeta (2k) = (-1)^{k-1} \frac{(2 \pi)^{2k}}{2 (2k)!} B_{2k}, </math> | |||
where <math> B_{2k} </math> is a [[Bernoulli number]]. The functional equation allows us to convert this to a statement about the values of the zeta function at negative integers: | |||
: <math> \zeta (1 - k) = - \frac{B_k}{k}. </math> | |||
This is valid for ''every'' integer ''k'' > 0, as the values of the zeta function at nonpositive integers are all 0. | |||
==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. | 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. | ||
Line 77: | Line 82: | ||
* [[Motivic L-function]] | * [[Motivic L-function]] | ||
* [[p-adic L-function]] | * [[p-adic L-function]] | ||
==Notes== | |||
{{reflist}} |
Latest revision as of 10:50, 4 October 2013
![](http://s9.addthis.com/button1-share.gif)
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 Millennium 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 holomorphic 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.
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 was introduced later.
The functional equation
The Riemann zeta function satisfies a functional equation:
where is the gamma function.
According to Andre Weil, Euler had already discovered the functional equation by the middle of the 18th century[3]. 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 . (This assumes that one can compute the necessary values of the gamma function).
Zeroes
Special values
Aside from the special value 0, certain other values of the Riemann zeta function have been extensively studied. As mentioned above, Euler was the first to compute values of the zeta function when he found for . In each case, he found that the value is a rational number times Later, he discovered a general formula, valid for all positive integers k:
where is a Bernoulli number. The functional equation allows us to convert this to a statement about the values of the zeta function at negative integers:
This is valid for every integer k > 0, as the values of the zeta function at nonpositive integers are all 0.
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 function
- Dedekind zeta function
- Hasse-Weil zeta function
- Igusa zeta function
- Ihara zeta function
- partial zeta function
- p-adic zeta function
- Selberg zeta function
Here is a directory of known zeta functions.
Important examples of L-functions are:
- Artin L-function
- Dirichlet L-function
- Hasse-Weil L-function
- Hecke L-function
- modular L-function
- Motivic L-function
- p-adic L-function