在數學中,狄利克雷級數是如下形式的無窮級數:
![{\displaystyle \sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d48e660ea6df361144a0bbe2ec181d6458742722)
其中s是一個複數,an是一個複數列。
狄利克雷級數在解析數論中有重要的地位。黎曼ζ函數和狄利克雷L函數都可以用狄利克雷級數來定義。有猜測所有的狄利克雷級數組成塞爾伯格類函數都滿足廣義黎曼猜想。狄利克雷級數的名稱來源於數學家約翰·彼得·狄利克雷。
最有名的狄利克雷級數要數黎曼ζ函數了,即數列an恆等於 1 時的情形。
![{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e77adda6f83df1c7615c57bdbf521f612ef5c402)
另外一個是:
![{\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44321887183e072812ddd22b8ed103e08ced1e0d)
其中 μ(n) 是默比烏斯函數。還有很多的狄利克雷級數都可以通過默比烏斯倒置算法和狄利克雷卷積得到。比如對於一個給定的狄利克雷特徵
,有
![{\displaystyle {\frac {1}{L(\chi ,s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)\chi (n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a875bb266f56eea6e2a97d1cf390854cb4f0694)
其中
是一個狄利克雷L函數。
還有:
![{\displaystyle {\frac {\zeta (s-1)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\varphi (n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5f24b628c45ac6e0b80d1e76e46246129194cda)
其中φ(n) 是歐拉函數。以及:
![{\displaystyle \zeta (s)\zeta (s-a)=\sum _{n=1}^{\infty }{\frac {\sigma _{a}(n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76b67716e684c636366b28b6fdb3d3d6ea056652)
![{\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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cb1009a72303d8b717203bbea70395759c39275)
其中 σa(n) 是因數函數。
其他關於因數函數d=σ0的等式還有:
![{\displaystyle {\frac {\zeta ^{3}(s)}{\zeta (2s)}}=\sum _{n=1}^{\infty }{\frac {d(n^{2})}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc0edae629d080670dd429fbad7cfada42eff8ea)
![{\displaystyle {\frac {\zeta ^{4}(s)}{\zeta (2s)}}=\sum _{n=1}^{\infty }{\frac {d(n)^{2}}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00dc219b0bef15cf86a77130aaa88417a853d04f)
對於Re(s) > 1,ζ函數的對數由下式給出:
![{\displaystyle \log \zeta (s)=\sum _{n=2}^{\infty }{\frac {\Lambda (n)}{\log(n)}}\,{\frac {1}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ad90fd291190ea8a116f9cd69593498a7e176f3)
其中
為 馮·曼戈爾特函數。
其導數由下式給出:
![{\displaystyle {\frac {\zeta ^{\prime }(s)}{\zeta (s)}}=-\sum _{n=1}^{\infty }{\frac {\Lambda (n)}{n^{s}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a46729a048dcb31474bd08539c54266102b510f4)
更廣泛的性質如下:對於一個劉維爾函數,
,有:
![{\displaystyle {\frac {\zeta (2s)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\lambda (n)}{n^{s}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c2147f2ebeb0cfabb8fc97c53d52f8bec86952c)
另外一個例子是關於拉馬努金和
:
。
解析性質:收斂軸標[編輯]
對於一個給定的數列an}n ∈ N
![{\displaystyle f(s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a66924286bc0d4d7daaa5472b990b177f642255)
是一個關於復變量 s 的函數。為了使得函數有意義,需要考慮使得右端的無窮級數收斂的s。
如果an}n ∈ N是一個有界數列,那麼f在所有Re(s) > 1的s處絕對收斂。如果 an = O(nk),那麼函數 f 在所有 Re(s) > k + 1 的 s 處(一個半平面)絕對收斂。
如果對任意n 和 k ≥ 0,和an + an + 1 + ... + an + k有界。那麼對 Re(s) > 0 的 s ,函數 f 收斂。
以上定義的函數 f 對於定義域中的s都是解析函數。
一般來說,一個狄利克雷函數的收斂軸標是指實軸上的一個數x0,使得對於複平面上處於直線 y=x0 右邊的半平面,函數都收斂(有定義)。
一般來說,與狄利克雷級數相對應的函數都可以解析擴展到更廣的領域中。
對於
![{\displaystyle F(s)=\sum _{n=1}^{\infty }{\frac {f(n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b7905e56cb9d64de0bc02dcaea2e5ac1e767b14)
其中ƒ(n)是一個完全積性函數,並且對於Re(s) > σ0,函數收斂,則有:
![{\displaystyle {\frac {F^{\prime }(s)}{F(s)}}=-\sum _{n=1}^{\infty }{\frac {f(n)\Lambda (n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53e74734ecf070bf173eac6b4d72c4d4b5bb81f9)
對於Re(s) > σ0收斂,其中
是馮·曼戈爾特函數。
對於
![{\displaystyle F(s)=\sum _{n=1}^{\infty }f(n)n^{-s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a911f60a64205f01c8b22969702d836a0d874ac)
以及
![{\displaystyle G(s)=\sum _{n=1}^{\infty }g(n)n^{-s}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d0cd88d09d1699858d40480c37f45200f287d70)
如果 F(s)和 G(s) 分別對 Res > a 和 Res > b 的 s 絕對收斂,那麼
- 當
時,![{\displaystyle {\frac {1}{2T}}\int _{-T}^{T}\,dtF(a+it)G(b-it)\,dt=\sum _{n=1}^{\infty }f(n)g(n)n^{-a-b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d312f56060385ef675d1fc31bd09c127bf60e4d)
如果 a = b 並且 ƒ(n) = g(n) 則有:
- 當
時,![{\displaystyle {\frac {1}{2T}}\int _{-T}^{T}dt|F(a+it)|^{2}dt=\sum _{n=1}^{\infty }[f(n)]^{2}n^{-2a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82b00e1b82b71221d9d8d2fe40352208c4c945fb)
參考來源[編輯]