General Dirichlet series

In the field of mathematical analysis, a general Dirichlet series is an infinite series that takes the form of

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

where ${\displaystyle a_{n}}$, ${\displaystyle s}$ are complex numbers and ${\displaystyle \{\lambda _{n}\}}$ is a strictly increasing sequence of nonnegative real numbers that tends to infinity.

A simple observation shows that an 'ordinary' Dirichlet series

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \sum_{n=1}^\infty \frac{a_n}{n^s},}

is obtained by substituting ${\displaystyle \lambda _{n}=\ln n}$ while a power series

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \sum_{n=1}^\infty a_n (e^{-s})^n,}

is obtained when ${\displaystyle \lambda _{n}=n}$.

Fundamental theorems

If a Dirichlet series is convergent at ${\displaystyle s_{0}=\sigma _{0}+t_{0}i}$, then it is uniformly convergent in the domain

${\displaystyle |\arg(s-s_{0})|\leq \theta <{\frac {\pi }{2}},}$

and convergent for any ${\displaystyle s=\sigma +ti}$ where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma >\sigma _{0}.

There are now three possibilities regarding the convergence of a Dirichlet series, i.e. it may converge for all, for none or for some values of s. In the latter case, there exist a ${\displaystyle \sigma _{c}}$ such that the series is convergent for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma >\sigma _{c} and divergent for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma <\sigma _{c}. By convention, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma _{c}=\infty if the series converges nowhere and ${\displaystyle \sigma _{c}=-\infty }$ if the series converges everywhere on the complex plane.

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}^{\infty }a_{n}e^{-\lambda _{n}s}{\text{ converges for every }}s{\text{ for which }}\operatorname {Re} (s)>\sigma \right\}.}

The line Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma =\sigma _{c} is called the line of convergence. The half-plane of convergence is defined as

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \mathbb{C}_{\sigma_c}=\{s\in\mathbb{C}: \operatorname{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}^{\infty }{\frac {1}{n}}e^{-ns},}$

which converges at Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): s=-\pi i (alternating harmonic series) and diverges at Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma _{c}\geq 0 and ${\displaystyle \sum a_{n}}$ diverges. On the other hand, if a Dirichlet series converges at ${\displaystyle s=0}$, then ${\displaystyle \sigma _{c}\leq 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}\geq 0}$, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma_c is given by

${\displaystyle \sigma _{c}=\limsup _{n\to \infty }{\frac {\log |a_{1}+a_{2}+\cdots +a_{n}|}{\lambda _{n}}}.}$

If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sum a_{k} is convergent, i.e. ${\displaystyle \sigma _{c}\leq 0}$, then ${\displaystyle \sigma _{c}}$ is given by

${\displaystyle \sigma _{c}=\limsup _{n\to \infty }{\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}^{\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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \operatorname{Re}(s) > \operatorname{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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma _{a} above, or equivalently as

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

The line and half-plane of absolute convergence can be defined similarly. There are also two formulas to compute Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma _{a}.

If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sum |a_{k}| is divergent, then ${\displaystyle \sigma _{a}}$ is given by

${\displaystyle \sigma _{a}=\limsup _{n\to \infty }{\frac {\log(|a_{1}|+|a_{2}|+\cdots +|a_{n}|)}{\lambda _{n}}}.}$

If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sum |a_{k}| is convergent, then ${\displaystyle \sigma _{a}}$ is given by

${\displaystyle \sigma _{a}=\limsup _{n\to \infty }{\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

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): 0\leq \sigma _{a}-\sigma _{c}\leq L:=\limsup _{{n\to \infty }}{\frac {\log n}{\lambda _{n}}}.

In the case where L = 0, then

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma _{c}=\sigma _{a}=\limsup _{{n\to \infty }}{\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 convergenceFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma_b is given by

${\displaystyle {\begin{aligned}\sigma _{b}=\inf {\Big \{}\sigma \in \mathbb {R}$ :\sum _{n=1}^{\infty }a_{n}e^{-\lambda _{n}s}&{\text{ is bounded in the half-plane }}\operatorname {Re} (s)\geq \sigma {\Big \}},\end{aligned}}}

while the abscissa of uniform convergenceFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma_u is given by

${\displaystyle {\begin{aligned}\sigma _{u}=\inf {\Big \{}\sigma \in \mathbb {R}$ :\sum _{n=1}^{\infty }a_{n}e^{-\lambda _{n}s}&{\text{ converges uniformly in the half-plane }}\operatorname {Re} (s)\geq \sigma {\Big \}}.\end{aligned}}}

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}\leq \sigma _{b}\leq \sigma _{u}\leq \sigma _{a}}$,

and a remarkable theorem of Bohr in fact shows that for any ordinary Dirichlet series where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \lambda_n = \ln(n)} (i.e. Dirichlet series of the form Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \sum_{n=1}^\infty a_n n^{-s}}) , ${\displaystyle \sigma _{u}=\sigma _{b}}$ and ${\displaystyle \sigma _{a}\leq \sigma _{u}+1/2;}$ ^[1] Bohnenblust and Hille subsequently showed that for every number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle d \in [0, 0.5]} there are Dirichlet series ${\displaystyle \sum _{n=1}^{\infty }a_{n}n^{-s}}$ for which ${\displaystyle \sigma _{a}-\sigma _{u}=d.}$ ^[2]

A formula for the abscissa of uniform convergence Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \sigma_u for the general Dirichlet series ${\displaystyle \sum _{n=1}^{\infty }a_{n}e^{-\lambda _{n}s}}$ is given as follows: for any Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): N\geq 1, let ${\displaystyle U_{N}=\sup _{t\in \mathbb {R} }\{|\sum _{n=1}^{N}a_{n}e^{it\lambda _{n}}|\}}$, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \sigma_u = \lim_{N \rightarrow \infty}\frac{\log U_N}{\lambda_N}.} ^[3]

Analytic functions

A function represented by a Dirichlet series

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): f(s)=\sum _{{n=1}}^{{\infty }}a_{n}e^{{-\lambda _{n}s}},

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

${\displaystyle f^{(k)}(s)=(-1)^{k}\sum _{n=1}^{\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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \lambda _{n}\in {\mathbb {R}}^{k}, k = 2, 3, 4,..., or complex variable case where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \lambda _{n}\in {\mathbb {C}}^{m}, m = 1, 2, 3,...

References

1. McCarthy, John E. (2018). "Dirichlet Series" (PDF).
2. Bohnenblust & Hille (1931). "On the Absolute Convergence of Dirichlet Series". Annals of Mathematics. 32 (3): 600–622. doi:10.2307/1968255. JSTOR   1968255.
3. "Dirichlet series - distance between σu and σc". StackExchange. Retrieved 26 June 2020.

• G. H. Hardy, and M. Riesz, The general theory of Dirichlet's series, Cambridge University Press, first edition, 1915.
• E. C. Titchmarsh, The theory of functions, Oxford University Press, second edition, 1939.
• Tom Apostol, Modular functions and Dirichlet series in number theory, Springer, second edition, 1990.
• A.F. Leont'ev, Entire functions and series of exponentials (in Russian), Nauka, first edition, 1982.
• A.I. Markushevich, Theory of functions of a complex variables (translated from Russian), Chelsea Publishing Company, second edition, 1977.
• J.-P. Serre, A Course in Arithmetic, Springer-Verlag, fifth edition, 1973.
• John E. McCarthy, Dirichlet Series , 2018.
• H. F. Bohnenblust and Einar Hille, On the Absolute Convergence of Dirichlet Series , Annals of Mathematics, Second Series, Vol. 32, No. 3 (Jul., 1931), pp. 600-622.

External links

• "Dirichlet series". PlanetMath .
• "Dirichlet series", Encyclopedia of Mathematics , EMS Press, 2001 [1994]