# Dirichlet series

In mathematics, a **Dirichlet series**, one of a number of concepts named in honor of Johann Peter Gustav Lejeune Dirichlet, is a series of the form

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(s)=\sum_{n=1}^{\infty} \frac{a_n}{n^s}.}**

The most famous of Dirichlet series is

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \zeta(s)=\sum_{n=1}^{\infty} \frac{1}{n^s},}**

which is the Riemann zeta function.

Other Dirichlet series are:

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{\zeta(s)}=\sum_{n=1}^{\infty} \frac{\mu(n)}{n^s}}**

where μ(*n*) is the Möbius function,

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\zeta(s-1)}{\zeta(s)}=\sum_{n=1}^{\infty} \frac{\varphi(n)}{n^s}}**

where φ(*n*) is the totient function, and

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \zeta(s) \zeta(s-a)=\sum_{n=1}^{\infty} \frac{\sigma_{a}(n)}{n^s}}**

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\zeta(s)\zeta(s-a)\zeta(s-b)\zeta(s-a-b)}{\zeta(2s-a-b)} =\sum_{n=1}^{\infty} \frac{\sigma_a(n)\sigma_b(n)}{n^s}}**

where σ_{a}(*n*) is the divisor function.

## Analytic properties of Dirichlet series

Given a sequence {*a*_{n}}_{n ∈ N} of complex numbers we try to consider the value of

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(s) = \sum_{n=1}^\infty \frac{a_n}{n^s} }**

as a function of the complex variable *s*. In order for this to make sense, we need to consider the convergence properties of the above infinite series:

**Theorem**. Suppose {*a*_{n}}_{n ∈ N} is a bounded sequence of complex numbers. Then the above infinite series for *f* converges absolutely on the open half-plane of *s* such that Re(*s*) > 1.

If the set of sums *a*_{n} + *a*_{n + 1} + ... + *a*_{n + k} is bounded for *n* and *k* ≥ 0, then the above infinite series converges on the open half-plane of *s* such that Re(*s*) > 0.

In both cases *f* is an analytic function on the corresponding open half plane.

In general the **abscissa of convergence** of a Dirichlet series is the intercept on the real axis of the vertical line in the complex line, such that there is convergence to the right of it, and divergence to the left. This is the analogue for Dirichlet series of the radius of convergence for power series. The Dirichlet series case is more complicated, though: absolute convergence and uniform convergence may occur in distinct half-planes.

In many cases, the analytic function associated with a Dirichlet series has an analytic extension to a larger domain. This is the case for the zeta function:

**Theorem**. The zeta function has a meromorphic extension to **C** with a unique pole at *s* = 1.

One of the most important open conjectures of mathematics — the Riemann hypothesis — concerns the zeroes of the zeta function.