在数学中,狄利克雷级数是如下形式的无穷级数:
其中是一个复数,是一个复数列。
狄利克雷级数在解析数论中有重要的地位。黎曼ζ函数和狄利克雷L函数都可以用狄利克雷级数来定义。有猜测所有的狄利克雷级数组成塞尔伯格类函数都满足广义黎曼猜想。狄利克雷级数的名称来源于数学家约翰·彼得·狄利克雷。
最有名的狄利克雷级数要数黎曼ζ函数了,即数列恒等于 1 时的情形。
另外一个是:
其中 () 是默比乌斯函数。还有很多的狄利克雷级数都可以通过默比乌斯倒置算法和狄利克雷卷积得到。比如对于一个给定的狄利克雷特征) 是欧拉函数。以及:
其中 σ() 是因数函数。
其他关于因数函数=σ0的等式还有:
对于Re() > 1,ζ函数的对数由下式给出:
其中 } ∈ N
是一个关于复变量 的函数。为了使得函数有意义,需要考虑使得右端的无穷级数收敛的。
如果} ∈ N是一个有界数列,那么在所有Re() > 1的处绝对收敛。如果 = O(),那么函数 在所有 Re() > + 1 的 处(一个半平面)绝对收敛。
如果对任意 和 ≥ 0,和 + + 1 + ... + + 有界。那么对 Re() > 0 的 ,函数 收敛。
以上定义的函数 对于定义域中的都是解析函数。
一般来说,一个狄利克雷函数的收敛轴标是指实轴上的一个数,使得对于复平面上处于直线 = 右边的半平面,函数都收敛(有定义)。
一般来说,与狄利克雷级数相对应的函数都可以解析扩展到更广的领域中。
对于
其中ƒ()是一个完全积性函数,并且对于Re() > σ0,函数收敛,则有:
对于Re() > σ0收敛,其中()和 () 分别对 Re > 和 Re > 的 绝对收敛,那么
如果 = 并且 ƒ() = () 则有: