# Explicit Formulae

## From Zeros to Prime Numbers

One of the deepest ideas in analytic number theory is that the zeros of the zeta function determine the distribution of prime numbers.

This relationship is expressed through explicit formulae, which connect arithmetic counting functions with sums over zeta zeros.

These formulas make precise the principle that fluctuations in prime distribution arise from oscillations produced by complex zeros.

## Chebyshev Functions

The most natural setting for explicit formulas is the Chebyshev function

$$
\psi(x) =
\sum_{p^k\leq x}\log p.
$$

Equivalently,

$$
\psi(x) =
\sum_{n\leq x}\Lambda(n),
$$

where the von Mangoldt function is

$$
\Lambda(n)=
\begin{cases}
\log p,& n=p^k,\\
0,& \text{otherwise}.
\end{cases}
$$

The function $\psi(x)$ behaves more smoothly than $\pi(x)$ and interacts naturally with logarithmic derivatives of the zeta function.

## Logarithmic Derivative of the Zeta Function

Starting from Euler’s product,

$$
\zeta(s) =
\prod_p
\left(1-\frac1{p^s}\right)^{-1},
$$

take logarithms:

$$
\log\zeta(s) =
-\sum_p
\log\left(1-\frac1{p^s}\right).
$$

Differentiating gives

$$
\frac{\zeta'(s)}{\zeta(s)} =
-\sum_p
\sum_{k=1}^{\infty}
\frac{\log p}{p^{ks}}.
$$

Rearranging terms,

$$
-\frac{\zeta'(s)}{\zeta(s)} =
\sum_{n=1}^{\infty}
\frac{\Lambda(n)}{n^s}.
$$

Thus the logarithmic derivative of the zeta function is the generating function for the von Mangoldt function.

This identity is the analytic starting point for explicit formulas.

## Perron-Type Transformations

Complex integration converts Dirichlet series into summatory functions.

Roughly speaking, one may recover $\psi(x)$ from the integral

$$
\frac{1}{2\pi i}
\int_{c-i\infty}^{c+i\infty} -
\frac{\zeta'(s)}{\zeta(s)}
\frac{x^s}{s}\,ds,
$$

where

$$
c>1.
$$

Shifting the contour leftward across poles and zeros introduces residue contributions. These residues produce the explicit formula.

## Riemann’s Explicit Formula

A simplified form of the explicit formula is

$$
\psi(x) =
x -
\sum_\rho \frac{x^\rho}{\rho} -
\log(2\pi) -
\frac12\log(1-x^{-2}),
$$

where the sum runs over all nontrivial zeros

$$
\rho
$$

of the zeta function.

This formula is extraordinary because it expresses a prime-counting function entirely in terms of analytic data from zeta zeros.

## Interpretation of the Terms

The leading term

$$
x
$$

represents the average growth predicted by the Prime Number Theorem.

The zero sum

$$
-\sum_\rho \frac{x^\rho}{\rho}
$$

produces oscillations around the average.

Each zero contributes a wave-like term. Writing

$$
\rho=\beta+i\gamma,
$$

we obtain

$$
x^\rho =
x^\beta e^{i\gamma\log x}.
$$

Thus:

- $\beta$ controls the amplitude,
- $\gamma$ controls the oscillation frequency.

Prime irregularities therefore emerge from interference among infinitely many oscillatory components.

## Role of the Riemann Hypothesis

If the Riemann Hypothesis holds, then every nontrivial zero satisfies

$$
\beta=\frac12.
$$

Consequently, each oscillatory contribution has size approximately

$$
x^{1/2}.
$$

This leads directly to strong error estimates such as

$$
\psi(x) =
x
+
O(\sqrt{x}(\log x)^2).
$$

Thus the Riemann Hypothesis becomes a precise statement about the magnitude of fluctuations in prime distribution.

## Explicit Formula for $\pi(x)$

There are also explicit formulas for the prime counting function itself.

One classical version is

$$
\pi(x) =
\operatorname{li}(x) -
\sum_\rho \operatorname{li}(x^\rho)
+
\text{correction terms}.
$$

Again, the main term comes from the logarithmic integral, while the zeros produce oscillatory corrections.

These formulas explain why

$$
\pi(x)-\operatorname{li}(x)
$$

changes sign infinitely often.

## Spectral Interpretation

Explicit formulas resemble trace formulas from spectral theory and quantum mechanics.

The primes behave analogously to periodic orbits, while zeta zeros resemble eigenvalues of a hidden operator.

This analogy motivates the Hilbert-Pólya philosophy, which seeks a self-adjoint operator whose spectrum corresponds to zeta zeros.

Such interpretations connect number theory with:

- quantum chaos,
- random matrix theory,
- spectral geometry,
- mathematical physics.

## Generalizations

Explicit formulas extend far beyond the Riemann zeta function.

Dirichlet $L$-functions yield formulas for primes in arithmetic progressions. Automorphic $L$-functions produce analogous relations involving Fourier coefficients and arithmetic data.

In each setting:

- arithmetic objects correspond to primes or local factors,
- analytic objects correspond to zeros or spectral data.

This duality is a recurring theme throughout modern number theory.

## Importance

Explicit formulas are among the most powerful tools in analytic number theory because they directly connect:

- prime numbers,
- zeta zeros,
- oscillatory analysis,
- complex integration.

They reveal that prime distribution is not random noise, but rather the visible shadow of a hidden spectral structure encoded in the zeros of the zeta function.