# Dirichlet Series

## Infinite Series Attached to Arithmetic Functions

An arithmetic function $f(n)$ can be encoded into an infinite series of the form

$$
\sum_{n=1}^{\infty}\frac{f(n)}{n^s},
$$

where $s$ is usually a real or complex variable.

Such a series is called a Dirichlet series.

Dirichlet series are fundamental because they transform arithmetic information into analytic information. Multiplicative structure becomes product structure, and divisor sums become ordinary multiplication of series.

## General Form

A Dirichlet series has the form

$$
F(s)=\sum_{n=1}^{\infty}\frac{a_n}{n^s},
$$

where $a_n$ is a sequence of complex numbers.

When

$$
a_n=f(n),
$$

for an arithmetic function $f$, the series becomes

$$
F(s)=\sum_{n=1}^{\infty}\frac{f(n)}{n^s}.
$$

The variable $s$ is typically written as

$$
s=\sigma+it,
$$

where $\sigma,t\in\mathbb{R}$.

Convergence depends mainly on the real part $\sigma$.

## The Riemann Zeta Function

The most important Dirichlet series is the Riemann zeta function:

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

This series converges for

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

The zeta function encodes the multiplicative structure of the integers and is deeply connected with prime numbers.

Euler discovered the product formula

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

where the product runs over all primes.

This identity follows from unique prime factorization.

## Euler Products

Suppose $f$ is multiplicative. Then its Dirichlet series factors into an Euler product:

$$
\sum_{n=1}^{\infty}\frac{f(n)}{n^s} =
\prod_p
\left(
1+\frac{f(p)}{p^s}
+\frac{f(p^2)}{p^{2s}}
+\cdots
\right),
$$

provided the series converges absolutely.

Each prime contributes one local factor.

The product formula works because every positive integer has a unique prime factorization.

## Completely Multiplicative Case

If $f$ is completely multiplicative, then

$$
f(p^\alpha)=f(p)^\alpha.
$$

Therefore the local factor becomes a geometric series:

$$
1+\frac{f(p)}{p^s}
+\frac{f(p)^2}{p^{2s}}
+\cdots =
\frac1{1-f(p)p^{-s}}.
$$

Hence

$$
\sum_{n=1}^{\infty}\frac{f(n)}{n^s} =
\prod_p
\frac1{1-f(p)p^{-s}}.
$$

This is one reason completely multiplicative functions are analytically convenient.

## Dirichlet Convolution and Multiplication

Dirichlet series transform convolution into multiplication.

If

$$
F(s)=\sum_{n=1}^{\infty}\frac{f(n)}{n^s}
$$

and

$$
G(s)=\sum_{n=1}^{\infty}\frac{g(n)}{n^s},
$$

then

$$
F(s)G(s) =
\sum_{n=1}^{\infty}\frac{(f*g)(n)}{n^s},
$$

where

$$
(f*g)(n)=\sum_{d\mid n}f(d)g\left(\frac nd\right)
$$

is the Dirichlet convolution.

This identity is analogous to the multiplication of ordinary power series.

## Examples

Since

$$
\tau=\mathbf{1}*\mathbf{1},
$$

we obtain

$$
\sum_{n=1}^{\infty}\frac{\tau(n)}{n^s} =
\zeta(s)^2.
$$

Similarly,

$$
\sigma=\operatorname{id}*\mathbf{1},
$$

so

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

For Euler's totient function,

$$
\varphi=\operatorname{id}*\mu,
$$

hence

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

These identities connect arithmetic functions directly with analytic functions.

## Möbius Function and the Reciprocal of $\zeta(s)$

Since

$$
\mu*\mathbf{1}=\varepsilon,
$$

their Dirichlet series satisfy

$$
\left(
\sum_{n=1}^{\infty}\frac{\mu(n)}{n^s}
\right)
\zeta(s) =
1.
$$

Therefore

$$
\sum_{n=1}^{\infty}\frac{\mu(n)}{n^s} =
\frac1{\zeta(s)}.
$$

This identity is fundamental in analytic number theory because zeros of $\zeta(s)$ affect cancellation in sums involving $\mu(n)$.

## Abscissa of Convergence

A Dirichlet series usually converges only in a half-plane

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

The boundary value $\sigma_0$ is called the abscissa of convergence.

For example,

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

converges when

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

This follows from comparison with the integral

$$
\int_1^\infty x^{-\sigma}\,dx.
$$

The location of the convergence boundary often reflects arithmetic growth properties of the coefficients.

## Analytic Continuation

Many important Dirichlet series extend beyond their initial region of convergence.

For example, the zeta function admits a meromorphic continuation to the entire complex plane, with only one pole at

$$
s=1.
$$

Such continuation reveals deep arithmetic information. The zeros and poles of these analytic continuations govern prime distribution and asymptotic behavior of arithmetic functions.

## Role in Number Theory

Dirichlet series translate arithmetic into analysis.

Prime factorization becomes Euler products. Divisor sums become products of series. Average orders become properties of poles and zeros.

This analytic viewpoint is one of the central ideas of modern number theory. It allows problems about integers to be studied through complex functions, contour integration, and analytic continuation.

The bridge between arithmetic and analysis built by Dirichlet series is the foundation of analytic number theory.