General Dirichlet series

Abscissa of convergence

The abscissa of convergence of a Dirichlet series can be defined as ${\displaystyle {\sigma }_c}$ above. Another equivalent definition is

${\displaystyle {\sigma }_c=inf\left\{\sigma \in \mathbb{R}:\sum _{n=1}^{\mathrm{\infty }}{a}_n{e}^{-{\lambda }_{n}s}\text{ converges for every }s\text{ for which }\mathrm{Re}(s)>\sigma \right\}.}$

The line ${\displaystyle \sigma ={\sigma }_c}$ is called the line of convergence. The half-plane of convergence is defined as

${\displaystyle {\mathbb{C}}_{{\sigma }_c}=\{s\in \mathbb{C}:\mathrm{Re}(s)>{\sigma }_c\}.}$

The abscissa, line and half-plane of convergence of a Dirichlet series are analogous to radius, boundary and disk of convergence of a power series.

On the line of convergence, the question of convergence remains open as in the case of power series. However, if a Dirichlet series converges and diverges at different points on the same vertical line, then this line must be the line of convergence. The proof is implicit in the definition of abscissa of convergence. An example would be the series

${\displaystyle \sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}{e}^{-ns},}$

which converges at ${\displaystyle s=-\pi i}$ (alternating harmonic series) and diverges at ${\displaystyle s=0}$ (harmonic series). Thus, ${\displaystyle \sigma =0}$ is the line of convergence.

Suppose that a Dirichlet series does not converge at ${\displaystyle s=0}$, then it is clear that ${\displaystyle {\sigma }_c\ge 0}$ and ${\displaystyle \sum a_n}$ diverges. On the other hand, if a Dirichlet series converges at ${\displaystyle s=0}$, then ${\displaystyle {\sigma }_c\le 0}$ and ${\displaystyle \sum a_n}$ converges. Thus, there are two formulas to compute ${\displaystyle {\sigma }_c}$, depending on the convergence of ${\displaystyle \sum a_n}$ which can be determined by various convergence tests. These formulas are similar to the Cauchy–Hadamard theorem for the radius of convergence of a power series.

If ${\displaystyle \sum a_k}$ is divergent, i.e. ${\displaystyle {\sigma }_c\ge 0}$, then ${\displaystyle {\sigma }_c}$ is given by

${\displaystyle {\sigma }_c=\underset{n\to \mathrm{\infty }}{lim sup}\frac{\log |a_1+a_2+\cdots +a_n|}{{\lambda }_n}.}$

If ${\displaystyle \sum a_k}$ is convergent, i.e. ${\displaystyle {\sigma }_c\le 0}$, then ${\displaystyle {\sigma }_c}$ is given by

${\displaystyle {\sigma }_c=\underset{n\to \mathrm{\infty }}{lim sup}\frac{\log |a_{n+1}+a_{n+2}+\cdots |}{{\lambda }_n}.}$

Abscissa of absolute convergence

A Dirichlet series is absolutely convergent if the series

${\displaystyle \sum _{n=1}^{\mathrm{\infty }}|a_n{e}^{-{\lambda }_{n}s}|,}$

is convergent. As usual, an absolutely convergent Dirichlet series is convergent, but the converse is not always true.

If a Dirichlet series is absolutely convergent at ${\displaystyle s_0}$, then it is absolutely convergent for all s where ${\displaystyle \mathrm{Re}(s)>\mathrm{Re}(s_0)}$. A Dirichlet series may converge absolutely for all, for no or for some values of s. In the latter case, there exist a ${\displaystyle {\sigma }_a}$ such that the series converges absolutely for ${\displaystyle \sigma >{\sigma }_a}$ and converges non-absolutely for ${\displaystyle \sigma <{\sigma }_a}$.

The abscissa of absolute convergence can be defined as ${\displaystyle {\sigma }_a}$ above, or equivalently as

${\displaystyle \begin{array}{cc}{\sigma }_a=inf\{\sigma \in \mathbb{R}:\sum _{n=1}^{\mathrm{\infty }}{a}_n{e}^{-{\lambda }_{n}s}& \text{ converges absolutely for}\\ & \text{every }s\text{ for which}\mathrm{Re}(s)>\sigma \}.\end{array}}$

The line and half-plane of absolute convergence can be defined similarly. There are also two formulas to compute ${\displaystyle {\sigma }_a}$.

If ${\displaystyle \sum |a_k|}$ is divergent, then ${\displaystyle {\sigma }_a}$ is given by

${\displaystyle {\sigma }_a=\underset{n\to \mathrm{\infty }}{lim sup}\frac{\log (|a_1|+|a_2|+\cdots +|a_n|)}{{\lambda }_n}.}$

If ${\displaystyle \sum |a_k|}$ is convergent, then ${\displaystyle {\sigma }_a}$ is given by

${\displaystyle {\sigma }_a=\underset{n\to \mathrm{\infty }}{lim sup}\frac{\log (|a_{n+1}|+|a_{n+2}|+\cdots )}{{\lambda }_n}.}$

In general, the abscissa of convergence does not coincide with abscissa of absolute convergence. Thus, there might be a strip between the line of convergence and absolute convergence where a Dirichlet series is conditionally convergent. The width of this strip is given by

${\displaystyle 0\le {\sigma }_a-{\sigma }_c\le L:=\underset{n\to \mathrm{\infty }}{lim sup}\frac{\log n}{{\lambda }_n}.}$

In the case where L = 0, then

${\displaystyle {\sigma }_c={\sigma }_a=\underset{n\to \mathrm{\infty }}{lim sup}\frac{\log |a_n|}{{\lambda }_n}.}$

All the formulas provided so far still hold true for 'ordinary' Dirichlet series by substituting ${\displaystyle {\lambda }_n=\log n}$.

Other abscissas of convergence

It is possible to consider other abscissas of convergence for a Dirichlet series. The abscissa of bounded convergence ${\displaystyle {\sigma }_b}$ is given by

${\displaystyle \begin{array}{cc}{\sigma }_b=inf\{\sigma \in \mathbb{R}:\sum _{n=1}^{\mathrm{\infty }}{a}_n{e}^{-{\lambda }_{n}s}& \text{ is bounded in the half-plane }\mathrm{Re}(s)\ge \sigma \},\end{array}}$

while the abscissa of uniform convergence ${\displaystyle {\sigma }_u}$ is given by

${\displaystyle \begin{array}{cc}{\sigma }_u=inf\{\sigma \in \mathbb{R}:\sum _{n=1}^{\mathrm{\infty }}{a}_n{e}^{-{\lambda }_{n}s}& \text{ converges uniformly in the half-plane }\mathrm{Re}(s)\ge \sigma \}.\end{array}}$

These abscissas are related to the abscissa of convergence ${\displaystyle {\sigma }_c}$ and of absolute convergence ${\displaystyle {\sigma }_a}$ by the formulas

${\displaystyle {\sigma }_c\le {\sigma }_b\le {\sigma }_u\le {\sigma }_a}$,

and a remarkable theorem of Bohr in fact shows that for any ordinary Dirichlet series where ${\displaystyle {\lambda }_n=\ln (n)}$ (i.e. Dirichlet series of the form ${\displaystyle \sum _{n=1}^{\mathrm{\infty }}{a}_n{n}^{-s}}$) , ${\displaystyle {\sigma }_u={\sigma }_b}$ and ${\displaystyle {\sigma }_a\le {\sigma }_u+1/2;}$ Bohnenblust and Hille subsequently showed that for every number ${\displaystyle d\in [0,0.5]}$ there are Dirichlet series ${\displaystyle \sum _{n=1}^{\mathrm{\infty }}{a}_n{n}^{-s}}$ for which ${\displaystyle {\sigma }_a-{\sigma }_u=d.}$

A formula for the abscissa of uniform convergence ${\displaystyle {\sigma }_u}$ for the general Dirichlet series ${\displaystyle \sum _{n=1}^{\mathrm{\infty }}{a}_n{e}^{-{\lambda }_{n}s}}$ is given as follows: for any ${\displaystyle N\ge 1}$, let ${\displaystyle U_N=\underset{t\in \mathbb{R}}{sup}\{|\sum _{n=1}^N{a}_n{e}^{it{\lambda }_n}|\}}$, then ${\displaystyle {\sigma }_u=\underset{N\to \mathrm{\infty }}{lim}\frac{\log U_N}{{\lambda }_N}.}$

Analytic functions

A function represented by a Dirichlet series

${\displaystyle f(s)=\sum _{n=1}^{\mathrm{\infty }}{a}_n{e}^{-{\lambda }_{n}s},}$

is analytic on the half-plane of convergence. Moreover, for ${\displaystyle k=1,2,3,\dots }$

${\displaystyle f^{(k)}(s)=(-1{)}^k\sum _{n=1}^{\mathrm{\infty }}{a}_n{\lambda }_n^k{e}^{-{\lambda }_{n}s}.}$

Further generalizations

A Dirichlet series can be further generalized to the multi-variable case where ${\displaystyle {\lambda }_n\in {\mathbb{R}}^k}$, k = 2, 3, 4,..., or complex variable case where ${\displaystyle {\lambda }_n\in {\mathbb{C}}^m}$, m = 1, 2, 3,...