Skip to content

Infinite Products

An infinite product has the form

From Sums to Products

An infinite product has the form

n=1an=a1a2a3, \prod_{n=1}^{\infty} a_n = a_1a_2a_3\cdots,

where each ana_n is a real or complex number. As with infinite series, the meaning of the expression is defined by finite approximations. The NN-th partial product is

PN=n=1Nan. P_N=\prod_{n=1}^{N}a_n.

The infinite product converges to LL if

limNPN=L \lim_{N\to\infty} P_N=L

exists and L0L\neq 0. The nonzero condition is important. If the product tends to 00, the factors may still contain useful information, but the product is usually called divergent in the standard theory of infinite products.

Products Near One

Most infinite products in number theory have factors close to 11. They are often written as

n=1(1+bn). \prod_{n=1}^{\infty}(1+b_n).

Here the behavior of the product is controlled by the size of the terms bnb_n. If the numbers bnb_n are small, then multiplication by 1+bn1+b_n changes the product only slightly.

The basic comparison is with the logarithm:

logn=1N(1+bn)=n=1Nlog(1+bn). \log\prod_{n=1}^{N}(1+b_n) = \sum_{n=1}^{N}\log(1+b_n).

For small bnb_n,

log(1+bn)bn. \log(1+b_n)\approx b_n.

Thus infinite products are closely related to infinite series. In many cases, convergence of

n=1bn \sum_{n=1}^{\infty} b_n

controls convergence of

n=1(1+bn). \prod_{n=1}^{\infty}(1+b_n).

A Simple Example

Consider

n=2(11n2). \prod_{n=2}^{\infty}\left(1-\frac1{n^2}\right).

Each factor can be factored as

11n2=(n1)(n+1)n2=n1nn+1n. 1-\frac1{n^2} = \frac{(n-1)(n+1)}{n^2} = \frac{n-1}{n}\cdot\frac{n+1}{n}.

The finite product becomes

n=2N(11n2)=(1232)(2343)(N1NN+1N). \prod_{n=2}^{N}\left(1-\frac1{n^2}\right) = \left(\frac12\cdot\frac32\right) \left(\frac23\cdot\frac43\right) \cdots \left(\frac{N-1}{N}\cdot\frac{N+1}{N}\right).

Most factors cancel. The result is

n=2N(11n2)=N+12N. \prod_{n=2}^{N}\left(1-\frac1{n^2}\right) = \frac{N+1}{2N}.

Taking NN\to\infty, we obtain

n=2(11n2)=12. \prod_{n=2}^{\infty}\left(1-\frac1{n^2}\right) = \frac12.

This example shows that infinite products may have exact values, just as infinite series may have exact sums.

Vanishing Products

Not every infinite product with positive factors has a positive limit. Consider

n=2N(11n). \prod_{n=2}^{N}\left(1-\frac1n\right).

Since

11n=n1n, 1-\frac1n=\frac{n-1}{n},

we get

n=2N(11n)=122334N1N=1N. \prod_{n=2}^{N}\left(1-\frac1n\right) = \frac12\cdot\frac23\cdot\frac34\cdots\frac{N-1}{N} = \frac1N.

Hence the partial products tend to 00. In this case the infinite product does not converge to a nonzero value.

The difference between the two examples is the size of the correction terms. The product

n=2(11n2) \prod_{n=2}^{\infty}\left(1-\frac1{n^2}\right)

converges because the series

n=21n2 \sum_{n=2}^{\infty}\frac1{n^2}

converges. The product

n=2(11n) \prod_{n=2}^{\infty}\left(1-\frac1n\right)

vanishes because the harmonic series

n=21n \sum_{n=2}^{\infty}\frac1n

diverges.

Infinite Products in Number Theory

Infinite products enter number theory through prime factorization. The unique factorization of integers suggests that sums over all positive integers may sometimes be rewritten as products over primes.

The most important example is Euler’s product for the zeta function:

n=11ns=p(11ps)1, \sum_{n=1}^{\infty}\frac1{n^s} = \prod_{p}\left(1-\frac1{p^s}\right)^{-1},

valid for real s>1s>1, and later for complex ss with real part greater than 11. The product ranges over all primes.

This formula is one of the central bridges between arithmetic and analysis. The left side is a series over all positive integers. The right side is a product over primes. Unique factorization is the reason the two expressions agree.

Why Products Matter

Infinite products make prime numbers visible inside analytic expressions. A series such as

n=11ns \sum_{n=1}^{\infty}\frac1{n^s}

does not explicitly mention primes. Its Euler product does. This allows analytic properties of functions to encode arithmetic information about primes.

For this reason, infinite products are a basic tool in analytic number theory. They prepare the way for Euler products, Dirichlet series, LL-functions, and the analytic study of prime distribution.