Riemann Zeta Function: Analytic function

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.

When using mathematical symbols to describe the Riemann zeta function, it is represented as an analytic continuation of infinite series:

${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}},\quad \mathrm {Re} (s)>1.}$ 

where ${\displaystyle \mathrm {Re} (s)}$  is the real part of the complex number ${\displaystyle s}$ . For example, if ${\displaystyle s=a+ib}$ , then ${\displaystyle \mathrm {Re} (s)=a}$  (where ${\displaystyle i^{2}=-1}$ ).

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

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

However, this doesn't apply for numbers where ${\displaystyle \mathrm {Re} (s)<1}$ , 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 1. ${\displaystyle \zeta (1)}$  does not have a limit in that point and thus the function is not defined there.

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:

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

This is an infinite product. ${\displaystyle p|{\text{prime}}}$  means that only prime numbers are included in the product. The first few terms of the product would look like:

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

Mathematicians are interested in those values of ${\displaystyle s}$  for which the function is equal to zero. The Riemann hypothesis conjectures that all the "non-trivial zeros" lie on the critical line ${\displaystyle \mathrm {Re} (s)=1/2}$ , meaning they are guessed to be of the form ${\displaystyle 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 ${\displaystyle 0<\mathrm {Re} (s)<1}$ . 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.

Repeating for the next term:

${\displaystyle {\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:

${\displaystyle \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 ${\displaystyle {\frac {1}{p^{s}}}}$  where ${\displaystyle p}$  is prime, we get:

${\displaystyle \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 ζ(s) we obtain:

${\displaystyle \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 }}}$ 

• P-series