Riemann zeta function

. The color of a point *s* shows the value of ζ(*s*): strong colors are for values close to zero and hue encodes the value's argument.
The white spot at *s*= 1 is the pole of the zeta function; the black spots on the negative real axis and on the critical line Re(*s*) = 1/2 are its zeros.]]

In mathematics, the **Riemann zeta function** is an important function in number theory. It is related to the distribution of prime numbers. It also has uses in other areas such as physics, probability theory, and applied statistics. It is named after the German mathematician Bernhard Riemann, who wrote about it in the memoir "On the Number of Primes Less Than a Given Quantity", published in 1859. 

The Riemann hypothesis is a conjecture about the distribution of the zeros of the Riemann zeta function. Many mathematicians consider the Riemann hypothesis to be the most important unsolved problem in pure mathematics. In the year 2000, the Clay Mathematics Institute included the Riemann hypothesis as one of their Millennium Prize Problems, promising a reward of US$1 million to anyone who could solve it.

## Definition
When using mathematical symbols to describe the Riemann zeta function, it is represented as an analytic continuation of infinite series:
:  \zeta(s) =  \sum_{n=1}^{\infty}\frac{1}{n^s}, \quad \mathrm{Re}(s)>1. 
where \mathrm{Re}(s) is the real part of the complex number s. For example, if s = a + ib, then \mathrm{Re}(s) = a (where i^2 = -1).

This makes a sequence. The first few terms of this sequence would be, 

:  \frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} \ldots  and so on

However, this doesn't apply for numbers where \mathrm{Re}(s) , since if we interpret this function as an infinite sum, the sum does not converge. Instead, it diverges. This means that instead of nearing a specific value, it will get infinitely large. Riemann used analytic continuation, so that he could give a value to all numbers except at s=1, which is the harmonic series. \zeta(1) does not have a limit in that point and thus the function is not defined there. As it has an undefined value (a simple pole), the Riemann zeta function is a meromorphic function on the complex plane. 

Leonhard Euler discovered the first results about the series that this function represents in the eighteenth century. He proved that the Zeta function can be written as an infinite product of prime numbers. In mathematical notation: 

\zeta(s) = \prod_{p | \text{prime}} \frac{1}{1-p^{-s}}, \quad \mathrm{Re}(s)>1.

This is an infinite product. p | \text{prime} means that only prime numbers are included in the product. Therefore, this proves there is an infinite number of primes. The first few terms of the product would look like: 

: \frac{1}{1-2^{-s}} \cdot \frac{1}{1-3^{-s}} \cdot \frac{1}{1-5^{-s}} \cdot \frac{1}{1-7^{-s}} \ldots

## Zeros, the critical line, and the Riemann hypothesis 
Mathematicians are interested in those values of s for which the function is equal to zero. The "trivial zeros" of the function lie on the negative even integers (s=-2,-4,..), which is not of importance. The Riemann hypothesis conjectures that all the "non-trivial zeros" lie on the critical line \mathrm{Re}(s) = 1/2, meaning they are guessed to be of the form s = 1/2 + it for some real value *t*. It is already known that all of the non-trivial zeroes must lie in a region called the "critical strip" for which 0 . So far, all of the computed nontrivial zeros are on the critical line.   

Proving or disproving the hypothesis has been very difficult, and is still troubling mathematicians to this day.

## Proof of the Euler product formula for the Riemann zeta function 
:

Repeating for the next term:

: \frac{1}{3^s}\left(1-\frac{1}{2^s}\right)\zeta(s) = \frac{1}{3^s}+\frac{1}{9^s}+\frac{1}{15^s}+\frac{1}{21^s}+\frac{1}{27^s}+\frac{1}{33^s}+ \ldots 

Subtracting again we get:

: \left(1-\frac{1}{3^s}\right)\left(1-\frac{1}{2^s}\right)\zeta(s) = 1+\frac{1}{5^s}+\frac{1}{7^s}+\frac{1}{11^s}+\frac{1}{13^s}+\frac{1}{17^s}+ \ldots 

where all elements having a factor of 3 or 2 (or both) are removed.

It can be seen that the right side is being sieved. Repeating infinitely for \frac{1}{p^s} where p is prime,  we get:

:  \ldots \left(1-\frac{1}{11^s}\right)\left(1-\frac{1}{7^s}\right)\left(1-\frac{1}{5^s}\right)\left(1-\frac{1}{3^s}\right)\left(1-\frac{1}{2^s}\right)\zeta(s) = 1 

Dividing both sides by everything but the &#x3B6;(*s*) we obtain:

:  \zeta(s) = \frac{1}{\left(1-\frac{1}{2^s}\right)\left(1-\frac{1}{3^s}\right)\left(1-\frac{1}{5^s}\right)\left(1-\frac{1}{7^s}\right)\left(1-\frac{1}{11^s}\right) \ldots } 
= \prod_{p \text{ prime}} \frac{1}{1-p^{-s}} 

## Related pages 
* P-series

## References