狄利克雷级数

在數學中，**狄利克雷級數**是如下形式的無窮級數：

　
: $\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}},$

其中 _s_ 是一個複數，_a_n 是一個複數列。

**狄利克雷級數**在解析數論中有重要的地位。黎曼 ζ 函數和狄利克雷 L 函數都可以用狄利克雷級數來定義。有猜測所有的狄利克雷級數組成塞爾伯格類函數都滿足廣義黎曼猜想。狄利克雷級數的名稱來源於數學家約翰・彼得・狄利克雷。

## 例子

最有名的狄利克雷級數要數黎曼 ζ 函數了，即數列 _a_n 恆等於 1 時的情形。

　
: $\zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}},$

另外一個是：

　
: ${\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}$

其中 _μ_(_n_) 是默比烏斯函數。還有很多的狄利克雷級數都可以通過默比烏斯倒置算法和狄利克雷卷積得到。比如對於一個給定的狄利克雷特徵 $\scriptstyle \chi (n)$ ，有

　
: ${\frac {1}{L(\chi ,s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)\chi (n)}{n^{s}}}$

其中 $L(\chi ,s)$ 是一個狄利克雷 L 函數。

還有：

　
: ${\frac {\zeta (s-1)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\varphi (n)}{n^{s}}}$

其中 φ(_n_) 是歐拉函數。以及：

　
: $\zeta (s)\zeta (s-a)=\sum _{n=1}^{\infty }{\frac {\sigma _{a}(n)}{n^{s}}}$

　
: ${\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}}}$

其中 σa(_n_) 是因數函數。

其他關於因數函數 _d_=σ0 的等式還有：

　
: ${\frac {\zeta ^{3}(s)}{\zeta (2s)}}=\sum _{n=1}^{\infty }{\frac {d(n^{2})}{n^{s}}}$

　
: ${\frac {\zeta ^{4}(s)}{\zeta (2s)}}=\sum _{n=1}^{\infty }{\frac {d(n)^{2}}{n^{s}}}$

對於 Re (_s_) > 1，ζ 函數的對數由下式給出：

　
: $\log \zeta (s)=\sum _{n=2}^{\infty }{\frac {\Lambda (n)}{\log(n)}}\,{\frac {1}{n^{s}}}$

其中 $\scriptstyle \Lambda (n)$ 為 馮・曼戈爾特函數。

其導數由下式給出：

　
: ${\frac {\zeta ^{\prime }(s)}{\zeta (s)}}=-\sum _{n=1}^{\infty }{\frac {\Lambda (n)}{n^{s}}}.$

更廣泛的性質如下：對於一個劉維爾函數， $\scriptstyle \lambda (n)$ ，有：

　
: ${\frac {\zeta (2s)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\lambda (n)}{n^{s}}}.$

另外一個例子是關於拉馬努金和 $c_{n}(m)$ ：

　
: ${\frac {\sigma _{1-s}(m)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {c_{n}(m)}{n^{s}}}$ 。

## 解析性質：收斂軸標

對於一個給定的數列 _a_n}n ∈ **N**

　
: $f(s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}$

是一個關於復變量 _s_ 的函數。為了使得函數有意義，需要考慮使得右端的無窮級數收斂的 _s_。

如果 _a_n}n ∈ **N** 是一個有界數列，那麼 _f_ 在所有 Re (_s_) > 1 的 _s_ 處絕對收斂。如果 _a_n = O(_n_k)，那麼函數 _f_ 在所有 Re (_s_) > _k_+ 1 的 _s_ 處（一個半平面）絕對收斂。

如果對任意 _n_ 和 _k_ ≥ 0，和 _a_n + _a_n + 1 + ... + _a_n + _k_ 有界。那麼對 Re (_s_) > 0 的 _s_ ，函數 _f_ 收斂。

以上定義的函數 _f_ 對於定義域中的 _s_ 都是解析函數。

一般來說，一個狄利克雷函數的收斂軸標是指實軸上的一個數 _x0_，使得對於複平面上處於直線 _y_=_x0_ 右邊的半平面，函數都收斂（有定義）。

一般來說，與狄利克雷級數相對應的函數都可以解析擴展到更廣的領域中。

## 導數

對於

　
: $F(s)=\sum _{n=1}^{\infty }{\frac {f(n)}{n^{s}}}$

其中ƒ(_n_) 是一個完全積性函數，並且對於 Re (_s_) > σ0，函數收斂，則有：

　
: ${\frac {F^{\prime }(s)}{F(s)}}=-\sum _{n=1}^{\infty }{\frac {f(n)\Lambda (n)}{n^{s}}}$

對於 Re (_s_) > σ0 收斂，其中 $\scriptstyle \Lambda (n)$ 是馮・曼戈爾特函數。

## 乘積

對於

　
: $F(s)=\sum _{n=1}^{\infty }f(n)n^{-s}$

以及

　
: $G(s)=\sum _{n=1}^{\infty }g(n)n^{-s}.$

如果 _F_(_s_) 和 _G_(_s_) 分別對 Re_s_ > _a_ 和 Re_s_ > _b_ 的 _s_ 絕對收斂，那麼

　
: 當 $T\sim \infty .$ 時， ${\frac {1}{2T}}\int _{-T}^{T}\,dtF(a+it)G(b-it)\,dt=\sum _{n=1}^{\infty }f(n)g(n)n^{-a-b}$

如果 _a_ = _b_ 並且 ƒ(_n_) = _g_(_n_) 則有：

　
: 當 $T\sim \infty .$ 時， ${\frac {1}{2T}}\int _{-T}^{T}dt|F(a+it)|^{2}dt=\sum _{n=1}^{\infty }[f(n)]^{2}n^{-2a}$

## 參見

* ζ 函數正規化
* L 函數
* 亞純函數
* 狄利克雷 η 函數

## 參考來源

* Tom Apostol, _Introduction to analytic number theory_, Springer-Verlag, New York, 1976.
* G. H. Hardy, and Marcel Riesz, _The general theory of Dirichlet's series_, Cambridge Tracts in Mathematics, No. **18** (Cambridge University Press, 1915).
* The general theory of Dirichlet's series （頁面存檔備份，存於網際網路檔案館） by G. H. Hardy. Cornell University Library Historical Math Monographs. {Reprinted by} Cornell University Library Digital Collections
* Dirichlet series. PlanetMath.