Euler Product Formula

Analytic Number Theory Complex Analysis Published: Mar 14, 2025 Reading time: 8 min Reviewed by: Dr. Aris Thorne

The Euler product formula is a fundamental identity in analytic number theory that establishes a deep connection between the Riemann zeta function and the prime numbers. Discovered by Leonhard Euler in 1737, it expresses the zeta function as an infinite product over all primes, revealing how the distribution of primes governs the behavior of complex series.

\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p \text{ prime}} \frac{1}{1 - p^{-s}}, \quad \text{Re}(s) > 1

This identity is not merely algebraic; it bridges additive arithmetic (the sum over integers) with multiplicative structure (the product over primes), forming the cornerstone of modern prime number theory.

Historical Context

Euler introduced the product formula in his memoir on the sums of series of reciprocal powers. He observed that the divergence of the harmonic series (the case $s = 1$) implied the infinitude of primes, providing one of the first analytic proofs of this classical result.

💡 Historical Insight

Before Euler, prime numbers were studied purely through elementary arithmetic. The Euler product marked the birth of analytic number theory, where continuous methods are applied to discrete problems.

Decades later, Bernhard Riemann extended the domain of $\zeta(s)$ via analytic continuation, and Henri Poincaré formally recognized the product's convergence region. The formula later inspired the development of Dirichlet L-functions and the theory of automorphic forms.

Proof Sketch

The derivation relies on the Fundamental Theorem of Arithmetic (unique factorization) and the geometric series expansion.

Step 1: Start with the zeta series for $\text{Re}(s) > 1$:

\zeta(s) = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \frac{1}{5^s} + \cdots

Step 2: Multiply by $2^{-s}$:

2^{-s}\zeta(s) = \frac{1}{2^s} + \frac{1}{4^s} + \frac{1}{8^s} + \cdots

Step 3: Subtract to eliminate terms divisible by 2:

(1 - 2^{-s})\zeta(s) = 1 + \frac{1}{3^s} + \frac{1}{5^s} + \frac{1}{7^s} + \cdots

Step 4: Repeat for primes $3, 5, 7, \dots$. Each factor $(1 - p^{-s})$ removes all terms divisible by $p$. By unique factorization, only the term $n=1$ survives:

\prod_{p} (1 - p^{-s}) \zeta(s) = 1 \implies \zeta(s) = \prod_{p} \frac{1}{1 - p^{-s}}

The convergence for $\text{Re}(s) > 1$ follows from absolute convergence of both the series and the product.

Significance & Applications

Infinitude of Primes: Setting $s = 1$ yields $\sum \frac{1}{n} = \infty$. If only finitely many primes existed, the product would converge, contradicting the harmonic series divergence.
Prime Number Theorem: The asymptotic density of primes, $\pi(x) \sim \frac{x}{\ln x}$, is derived from the analytic properties of $\zeta(s)$ and its pole at $s=1$.
Riemann Hypothesis: The zeros of $\zeta(s)$ in the critical strip $0 < \text{Re}(s) < 1$ are intimately tied to error terms in prime counting functions.
Dirichlet Characters: Generalizes to $L(s, \chi) = \sum \frac{\chi(n)}{n^s} = \prod_p (1 - \frac{\chi(p)}{p^s})^{-1}$, enabling proofs of primes in arithmetic progressions.

Modern Extensions

The Euler product paradigm has been generalized to:

Eisenstein series and modular forms
Zeta functions of varieties over finite fields (Weil conjectures)
Automorphic L-functions in the Langlands program

Each retains the core philosophy: global arithmetic objects decompose into local factors indexed by primes.

References & Further Reading

Euler, L. (1740). "Variae observationes circa series infinitas". Commentarii Academiae Scientiarum Imperialis Petropolitanae.
Apostol, T. M. (1976). Introduction to Analytic Number Theory. Springer-Verlag. pp. 67–74.
Hardy, G. H., & Wright, E. M. (1979). An Introduction to the Theory of Numbers (5th ed.). Oxford University Press.
Iwaniec, H., & Kowalski, E. (2004). Analytic Number Theory. American Mathematical Society. Chap. 5.