Perron Formula

The Perron formula is a cornerstone of analytic number theory, providing an integral representation that recovers summatory functions from Dirichlet series via contour integration.

TheoremPerron's Formula

Let $F(s) = \sum_{n=1}^{\infty} a_n/n^s$ be a Dirichlet series converging absolutely for $\Re(s) > \sigma_0$ . For $x > 0$ not an integer, $c > \sigma_0$ , and $T > 0$ :

\sum_{n \leq x} a_n = \frac{1}{2\pi i} \int_{c-iT}^{c+iT} F(s) \frac{x^s}{s} ds + O\left(\sum_{n=1}^{\infty} \frac{|a_n|}{n^c} \min\left(1, \frac{x}{T|\log(x/n)|}\right)\right)

As $T \to \infty$ , the error term vanishes, giving:

\sum_{n \leq x} a_n = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} F(s) \frac{x^s}{s} ds

ExampleRecovering the Prime Counting Function

For $F(s) = -\zeta'(s)/\zeta(s) = \sum_{n=1}^{\infty} \Lambda(n)/n^s$ , Perron's formula gives:

\sum_{n \leq x} \Lambda(n) = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} \left(-\frac{\zeta'(s)}{\zeta(s)}\right) \frac{x^s}{s} ds

Shifting the contour left and collecting residues yields information about $\psi(x) = \sum_{n \leq x} \Lambda(n)$ , the Chebyshev psi function.

DefinitionMellin Transform Connection

The Perron formula is essentially an inverse Mellin transform. For $f(x) = \sum_{n \leq x} a_n$ :

Mellin transform: $\mathcal{M}[f](s) = \int_0^{\infty} f(x) x^{-s-1} dx$ relates to $F(s)/s$
Inverse: Perron's formula recovers $f(x)$ from $F(s)$

This perspective connects Dirichlet series to transform theory.

ExampleAsymptotic Analysis

The power of Perron's formula lies in contour shifting. The integral:

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

can be shifted left past $s=1$ (pole of $\zeta$ ), picking up residue $x$ , giving:

\sum_{n \leq x} 1 = \lfloor x \rfloor \approx x + \text{(error terms from shifted integral)}

Remark

The error terms from Perron's formula depend on:

The location of zeros/poles of $F(s)$ (determines how far we can shift the contour)
Growth estimates of $F(s)$ on vertical lines (bounds the shifted integral)

For $\zeta(s)$ , the Riemann Hypothesis (all non-trivial zeros have $\Re(s) = 1/2$ ) dramatically improves error bounds.

Perron's formula transforms the problem of understanding sums of arithmetic functions into a problem of analyzing analytic properties (zeros, poles, growth) of Dirichlet series—the essence of analytic number theory.