- Riemann zeta function
-
function useful in number theory for investigating properties of prime numbers (prime). Written as ζ(x), it was originally defined as the infinite seriesζ(x) = 1 + 2−x + 3−x + 4−x + ⋯.When x = 1, this series is called the harmonic series, which increases without bound—i.e., its sum is infinite. For values of x larger than 1, the series converges to a finite number as successive terms are added. If x is less than 1, the sum is again infinite. The zeta function was known to the Swiss mathematician Leonhard Euler (Euler, Leonhard) in 1737, but it was first studied extensively by the German mathematician Bernhard Riemann (Riemann, Bernhard).In 1859 Riemann published a paper giving an explicit formula for the number of primes up to any preassigned limit—a decided improvement over the approximate value given by the prime number theorem (number theory). However, Riemann's formula depended on knowing the values at which a generalized version of the zeta function equals zero. (The Riemann zeta function is defined for all complex numbers (complex number)—numbers of the form x + iy, where i = √(−1) —except for the line x = 1.) Riemann knew that the function equals zero for all negative even integers −2, −4, −6, … (so-called trivial zeros), and that it has an infinite number of zeros in the critical strip of complex numbers between the lines x = 0 and x = 1, and he also knew that all nontrivial zeros are symmetric with respect to the critical line x = 1/2. Riemann conjectured that all of the nontrivial zeros are on the critical line, a conjecture that subsequently became known as the Riemann hypothesis.In 1900 the German mathematician David Hilbert (Hilbert, David) called the Riemann hypothesis one of the most important questions in all of mathematics, as indicated by its inclusion in his influential list of 23 unsolved problems with which he challenged 20th-century mathematicians. In 1915 the English mathematician Godfrey Hardy (Hardy, Godfrey Harold) proved that an infinite number of zeros occur on the critical line, and by 1986 the first 1,500,000,001 nontrivial zeros were all shown to be on the critical line. Although the hypothesis may yet turn out to be false, investigations of this difficult problem have enriched the understanding of complex numbers.
* * *
Universalium. 2010.