The Singularity of the Riemann Zeta Function

The Riemann Zeta function, ζ(s), has a single singularity. It is a simple pole located at:

s = 1

This singularity is fundamental to understanding the behavior and importance of the Zeta function in number theory and complex analysis.

What is a "Simple Pole"?

In complex analysis, a pole is a specific type of singularity where the function's value approaches infinity as you get close to that point, but it does so in a "well-behaved," predictable way.

A simple pole is the most basic type of pole. Near a simple pole at s = a, the function can be written as:

ζ(s) ≈ C / (s - a)

where C is some non-zero constant (called the residue), plus other terms that remain finite.

Demonstrating the Pole at s = 1

The simplest way to see this singularity is to look at the Zeta function's original definition, which is valid only for Re(s) > 1:

ζ(s) = Σ n = 1 → ∞ (1 / ns)

This is the harmonic series when s = 1. It is a well-known result in calculus that this series diverges (sums to infinity):

ζ(1) = 1 + 1/2 + 1/3 + 1/4 + ... → ∞

For real numbers s > 1, the series converges to a finite number. The "wall" between convergence and divergence is at s = 1.

When we extend ζ(s) to the entire complex plane (through analytic continuation), this point of divergence becomes the simple pole.

The analytic continuation reveals that near s = 1, the function behaves like:

ζ(s) ≈ 1 / (s - 1)

plus other finite terms. This confirms that s = 1 is indeed a simple pole.

Implications of the Singularity at s = 1

1. It Defines the "Center of Gravity" for the Function

The pole at s = 1 is the only singularity of the meromorphically continued Zeta function. This makes it a fundamental anchor point. The behavior of ζ(s) everywhere else in the complex plane is deeply connected to and influenced by this single point of divergence.

2. Crucial for Number Theory and Prime Numbers

The deepest implications are revealed by the connection between ζ(s) and prime numbers, given by Euler's product formula:

ζ(s) = Π (1 - p-s)-1 (for Re(s) > 1)

where the product is over all primes p.

The pole at s = 1 is the analytic manifestation of a fundamental fact: There are infinitely many prime numbers.

If there were only a finite number of primes, the product on the right would be finite for all s, and ζ(s) would not have a pole. The fact that ζ(s) blows up at s = 1 forces the product on the right to be infinite, which in turn forces the number of primes to be infinite.

3. It Governs the Behavior of Other Important Functions

The pole is critical in theorems like the Prime Number Theorem, which describes the distribution of primes. The proof relies on analyzing the analytic properties of ζ(s), and the pole at s = 1 is the primary contributor to the main term in the theorem.

The function ψ(x), which counts the weighted sum of primes and prime powers below x, satisfies:

ψ(x) ~ x as x → ∞

This leading term 'x' comes directly from the residue of the pole of ζ(s) at s = 1. The other terms in the exact formula for ψ(x) come from the zeros of the Zeta function.

4. Highlights a Profound Difference from Other Singularities

It's important to contrast this with the trivial zeros of ζ(s) at s = -2, -4, -6, ... The trivial zeros are just "zeros"—points where the function's value is zero. They are simple and well-understood.

The pole at s = 1 is a singularity of an entirely different order. It's not a point where the function is zero or finite; it's a point where the function's definition fundamentally breaks down in a specific, powerful way that dictates the function's global behavior.

Summary Table

Aspect Description Implication
Location s = 1 (on the real axis) The boundary of the original domain of the Dirichlet series
Type Simple Pole The function blows up "like 1/(s-1)" near this point
Cause The divergence of the harmonic series (Σ 1/n) The analytic continuation "encodes" this divergence into a pole
Main Implication The Euler product formula implies the product over primes must be infinite Proof that there are infinitely many primes
Theoretical Role Governs the main term in the Prime Number Theorem The distribution of primes π(x) ~ x / log(x) is a direct consequence