# Functional Equation

## Symmetry of the Zeta Function

The defining series of the zeta function,

$$
\zeta(s) =
\sum_{n=1}^{\infty}\frac1{n^s},
$$

converges only in the half-plane

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

Analytic continuation extends the function to the entire complex plane except for a pole at $s=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 $s$ to values at $1-s$. It is one of the central structural identities of analytic number theory.

## Statement of the Functional Equation

The zeta function satisfies

$$
\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 $s$ except at poles and singularities arising from the gamma function.

The equation connects the right half-plane

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

with the left half-plane

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

Thus knowledge of $\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

$$
\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

$$
\xi(s)=\xi(1-s).
$$

This symmetry about the vertical line

$$
\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

$$
\operatorname{Re}(s)=\frac12.
$$

Indeed, if

$$
\zeta(\rho)=0,
$$

then

$$
\zeta(1-\rho)=0.
$$

Complex conjugation gives another symmetry:

$$
\zeta(\overline{\rho})=\overline{\zeta(\rho)}.
$$

Thus zeros occur in quadruples:

$$
\rho,\quad
1-\rho,\quad
\overline{\rho},\quad
1-\overline{\rho}.
$$

The nontrivial zeros lie inside the critical strip

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

The central line

$$
\operatorname{Re}(s)=\frac12
$$

is called the critical line.

## Trivial Zeros

The factor

$$
\sin\left(\frac{\pi s}{2}\right)
$$

vanishes whenever

$$
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

$$
\theta(t) =
\sum_{n=-\infty}^{\infty} e^{-\pi n^2 t}.
$$

A key identity is

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

This modular symmetry comes from the Poisson summation formula.

Applying Mellin transforms to suitable combinations of $\theta(t)$ yields the functional equation for $\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,

$$
\zeta(-1)=-\frac1{12},
$$

$$
\zeta(-3)=\frac1{120},
$$

and in general,

$$
\zeta(-n) =
-\frac{B_{n+1}}{n+1},
$$

where $B_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

$$
\operatorname{Re}(s)=\frac12
$$

is special.

The Riemann Hypothesis asserts that every nontrivial zero satisfies

$$
\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 $L$-functions satisfy equations relating $s$ and $1-s$. Dedekind zeta functions, modular $L$-functions, and automorphic $L$-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.