Riemann Zeta Function - Aevum Encyclopedia

The Riemann zeta function, denoted by $\zeta(s)$ , is a fundamental function in analytic number theory and complex analysis. Originally defined as a series for complex numbers with real part greater than 1, it can be extended to the entire complex plane (except for a simple pole at $$s = 1$$ ) through analytic continuation. The function lies at the heart of the distribution of prime numbers and is central to one of the most famous unsolved problems in mathematics: the Riemann Hypothesis.¹

Definition & Dirichlet Series

For complex numbers $$s$$ with real part $\Re(s) > 1$ , the zeta function is defined by the absolutely convergent infinite series:

$\displaystyle \zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \cdots$ (1) Dirichlet series representation

This series converges rapidly for $\Re(s) \gg 1$ , but diverges when $\Re(s) \leq 1$ . Despite this limitation, the function possesses a unique analytic continuation that extends its domain to all complex numbers except $$s = 1$$ , where it has a simple pole with residue 1.²

Euler Product Formula

One of the most remarkable properties of the zeta function is its connection to prime numbers, established by Leonhard Euler in 1737. For $\Re(s) > 1$ , the series can be expressed as an infinite product over all prime numbers $$p$$ :

$\displaystyle \zeta(s) = \prod_{p \text{ prime}} \frac{1}{1 - p^{-s}} = \frac{1}{(1-2^{-s})} \cdot \frac{1}{(1-3^{-s})} \cdot \frac{1}{(1-5^{-s})} \cdots$ (2) Euler product

This identity bridges additive number theory (sums) and multiplicative number theory (primes), forming the foundation for modern analytic techniques. It directly implies the infinitude of primes and provides the framework for proving the Prime Number Theorem.³

Analytic Continuation

The function $\zeta(s)$ can be extended to the entire complex plane via the functional equation, which relates values at $$s$$ and $$1 - s$$ :

$\displaystyle \zeta(s) = 2^s \pi^{s-1} \sin\left(\frac{\pi s}{2}\right) \Gamma(1-s) \zeta(1-s)$ (3) Functional equation

This symmetry allows computation of $\zeta(s)$ in the critical strip $0 < \Re(s) < 1$ using values from $\Re(s) > 1$ . The continuation reveals two types of zeros:

Trivial zeros: Occur at negative even integers $s = -2, -4, -6, \ldots$ , arising from the sine term in the functional equation.
Non-trivial zeros: Located within the critical strip $0 < \Re(s) < 1$ . Their exact positions govern the error term in prime counting functions.

Note: The first few non-trivial zeros are approximately $\frac{1}{2} \pm 14.1347i$ , $\frac{1}{2} \pm 21.0220i$ , and $\frac{1}{2} \pm 25.0109i$ . Extensive computational verification confirms over ten trillion zeros lie on the critical line $\Re(s) = \frac{1}{2}$ .⁴

The Critical Line & Riemann Hypothesis

The Riemann Hypothesis (RH), proposed by Bernhard Riemann in 1859, conjectures that all non-trivial zeros of the zeta function lie on the critical line $\Re(s) = \frac{1}{2}$ . Despite intense study and partial results, it remains unproven and is one of the Clay Mathematics Institute's Millennium Prize Problems.⁵

Assuming RH yields dramatic improvements in estimates for prime distribution, including the bound:

$\displaystyle \pi(x) = \operatorname{Li}(x) + O\left(x^{1/2} \log x\right)$ (4) Error term under RH

where $\pi(x)$ is the prime-counting function and $\operatorname{Li}(x)$ is the logarithmic integral.

Applications

Beyond number theory, the zeta function appears in diverse fields:

Quantum Physics: Spectral statistics of chaotic systems exhibit zero-spacing distributions matching the Riemann zeros (Montgomery's pair correlation conjecture).
Probability & Statistics: The Riemann distribution and connections to random matrix theory (GUE ensemble).
Cryptography: Underpins security assumptions in algorithms relying on prime factorization difficulty.
Engineering: Signal processing and noise modeling via zeta regularization techniques.

Historical Context

Euler first studied the function for real arguments, famously solving the Basel Problem by showing $\zeta(2) = \frac{\pi^2}{6}$ . Riemann's 1859 paper "Über die Anzahl der Primzahlen unter einer gegebenen Größe" transformed it into a complex analytic object, introducing the critical strip and functional equation. Later, Hadamard and de la Vallée Poussin independently used its non-vanishing on $\Re(s) = 1$ to prove the Prime Number Theorem in 1896.⁶

References

Edwards, H. M. (1974). Riemann's Zeta Function. Dover Publications. ISBN 978-0486431051.
Titchmarsh, E. C. (1986). The Theory of the Riemann Zeta-Function (2nd ed.). Oxford University Press.
Apostol, T. M. (1976). Introduction to Analytic Number Theory. Springer. pp. 152–158.
Gourdon, X.; Demichel, P. (2004). "Meissner-Möbius inversion and the Riemann zeta function zeros up to 10¹³". Mathematics of Computation. 73 (247): 1361–1368.
Baker, A. (2001). History of the Riemann Hypothesis. Clay Mathematics Institute.
Riemann, B. (1859). "Über die Anzahl der Primzahlen unter einer gegebenen Größe". Monatsberichte der Berliner Akademie. English translation in: Journal für die reine und angewandte Mathematik. 1859: 67–136.