Skip to content

Functional Equation

The defining series of the zeta function,

number-theory book chatgpt

Symmetry of the Zeta Function

The defining series of the zeta function,

ζ(s)=∑n=1∞1ns, \zeta(s) = \sum_{n=1}^{\infty}\frac1{n^s},

converges only in the half-plane

Re⁡(s)>1. \operatorname{Re}(s)>1.

Analytic continuation extends the function to the entire complex plane except for a pole at s=1s=1. However, the continuation alone does not reveal the deep internal symmetry of the zeta function.

This symmetry is expressed by the functional equation, discovered by entity[“people”,“Bernhard Riemann”,“German mathematician”].

The equation relates values at ss to values at 1−s1-s. It is one of the central structural identities of analytic number theory.

Statement of the Functional Equation

The zeta function satisfies

ζ(s)=2sπs−1sin⁡(πs2)Γ(1−s)ζ(1−s). \zeta(s) = 2^s\pi^{s-1} \sin\left(\frac{\pi s}{2}\right) \Gamma(1-s) \zeta(1-s).

This identity holds for all complex ss except at poles and singularities arising from the gamma function.

The equation connects the right half-plane

Re⁡(s)>1 \operatorname{Re}(s)>1

with the left half-plane

Re⁡(s)<0. \operatorname{Re}(s)<0.

Thus knowledge of ζ(s)\zeta(s) on one side determines the function on the other.

Completed Zeta Function

The functional equation becomes more symmetric after introducing the completed zeta function

ξ(s)=12s(s−1)π−s/2Γ(s2)ζ(s). \xi(s) = \frac12 s(s-1) \pi^{-s/2} \Gamma\left(\frac{s}{2}\right) \zeta(s).

The extra factors remove poles and normalize the function.

The functional equation then simplifies to

ξ(s)=ξ(1−s). \xi(s)=\xi(1-s).

This symmetry about the vertical line

Re⁡(s)=12 \operatorname{Re}(s)=\frac12

is fundamental in the theory of zeta zeros.

The Critical Strip

The functional equation shows that zeros occur symmetrically with respect to the line

Re⁡(s)=12. \operatorname{Re}(s)=\frac12.

Indeed, if

ζ(ρ)=0, \zeta(\rho)=0,

then

ζ(1−ρ)=0. \zeta(1-\rho)=0.

Complex conjugation gives another symmetry:

ζ(ρ‾)=ζ(ρ)‾. \zeta(\overline{\rho})=\overline{\zeta(\rho)}.

Thus zeros occur in quadruples:

ρ,1−ρ,ρ‾,1−ρ‾. \rho,\quad 1-\rho,\quad \overline{\rho},\quad 1-\overline{\rho}.

The nontrivial zeros lie inside the critical strip

0<Re⁡(s)<1. 0<\operatorname{Re}(s)<1.

The central line

Re⁡(s)=12 \operatorname{Re}(s)=\frac12

is called the critical line.

Trivial Zeros

The factor

sin⁡(πs2) \sin\left(\frac{\pi s}{2}\right)

vanishes whenever

s=−2,−4,−6,…. s=-2,-4,-6,\ldots.

These points are therefore zeros of the zeta function. They are called the trivial zeros.

The remaining zeros arise from deeper analytic structure and are the primary objects of study in the Riemann Hypothesis.

Derivation Idea

The proof of the functional equation relies on Fourier analysis and theta functions.

Define the Jacobi theta function

θ(t)=∑n=−∞∞e−πn2t. \theta(t) = \sum_{n=-\infty}^{\infty} e^{-\pi n^2 t}.

A key identity is

θ(t)=t−1/2θ(1/t). \theta(t)=t^{-1/2}\theta(1/t).

This modular symmetry comes from the Poisson summation formula.

Applying Mellin transforms to suitable combinations of θ(t)\theta(t) yields the functional equation for ζ(s)\zeta(s).

Thus the functional equation ultimately arises from harmonic analysis and self-duality of the Gaussian function.

Values at Negative Integers

The functional equation determines zeta values at negative integers from positive values.

For example,

ζ(−1)=−112, \zeta(-1)=-\frac1{12}, ζ(−3)=1120, \zeta(-3)=\frac1{120},

and in general,

ζ(−n)=−Bn+1n+1, \zeta(-n) = -\frac{B_{n+1}}{n+1},

where BnB_n are Bernoulli numbers.

These values emerge naturally through analytic continuation and the functional equation.

Critical Line and the Riemann Hypothesis

The functional equation explains why the critical line

Re⁡(s)=12 \operatorname{Re}(s)=\frac12

is special.

The Riemann Hypothesis asserts that every nontrivial zero satisfies

Re⁡(s)=12. \operatorname{Re}(s)=\frac12.

Because the functional equation reflects zeros across this line, the hypothesis claims that all zeros lie exactly on the symmetry axis.

This conjecture has profound implications for prime distribution and error terms in the Prime Number Theorem.

Generalizations

Functional equations occur throughout modern number theory.

Dirichlet LL-functions satisfy equations relating ss and 1−s1-s. Dedekind zeta functions, modular LL-functions, and automorphic LL-functions possess similar symmetries.

In each case, the functional equation reflects deep arithmetic duality and analytic structure.

These generalized functional equations form a major part of the Langlands program.

Importance

The functional equation transforms the zeta function from a local analytic object into a globally symmetric one.

Its consequences include:

  • analytic continuation,
  • trivial zeros,
  • symmetry of nontrivial zeros,
  • special values,
  • explicit formulas,
  • deep links with Fourier analysis.

The equation also places the critical line at the center of analytic number theory, making it the natural setting for the Riemann Hypothesis and the study of prime fluctuations.