【黎曼ζ函数】
复平面中一矩形区域之黎曼ζ函数；此图用Matplotlib程式绘图产生，使用到定义域著色方法。
黎曼泽塔函数 ，写作ζ(s) 的定义如下：
设一复数 s 使得 Re(s) > 1，则定义：
它亦可以用积分定义：
在区域 上，此无穷级数收敛并为一全纯函数。欧拉在1740年考虑过 s 为正整数的情况，后来切比雪夫拓展到 s > 1。波恩哈德·黎曼认识到：ζ函数可以通过解析延拓，把定义域扩展到几乎整个复数域上的全纯函数 ζ(s)。这也是黎曼猜想所研究的函数。
虽然黎曼的ζ函数被数学家认为主要和“最纯”的数学领域数论相关，它也出现在应用统计学（参看齐夫定律和Zipf–Mandelbrot law）、物理，以及调音的数学理论中。
==历史==
===奥里斯姆===
ζ函数最早出现于1350年左右，尼克尔·奥里斯姆发现了调和级数发散，即：
=== 欧拉 ===
第n个调和数（蓝点）与Log(n)+γ(红线)的图像
之后的一次进展来自莱昂哈德·欧拉，他给出了调和级数呈对数发散。
除此之外，他还在1735年给出了巴塞尔问题的解答，得到的结果。欧拉最初的证明可以在巴塞尔问题#欧拉的错误证明中看到，然而那是他的第一个证明，因而广为人知。事实上，那个证明虽有不严谨之处，但是欧拉仍然有自己的严格证明。
欧拉在1737年还发现了欧拉乘积公式：这是ζ函数与素数的联系的朦胧征兆，其证明可以在证明黎曼ζ函数的欧拉乘积公式中看到。通过这条公式，容易证明当    时，f = \zeta(s)>0 1 + 2 + 3 + 4 + … 1749年，欧拉通过大胆的计算发现了(以下公式当中存在定义域谬误，后由黎曼透过解析延拓证明以下公式只适用于 Re(s) > 1)发现ζ(s)与ζ(1-s)之间存在某些关系。
===黎曼===
波恩哈德·黎曼对ζ解析延拓，用于素数的分布理论
将欧拉所做的一切牢牢地置于坚石之上的是黎曼，他在1859年的论文论小于给定数值的素数个数以及未发表的手稿中做出了多项进展：
*第一积分表示：
*完备化的ζ，即黎曼ξ函数：      ，满足函数方程
*第二积分表示：      ，则
*黎曼 - 冯·曼戈尔特公式：以表示虚部介于0与T之间的非平凡零点数量，则
*黎曼猜想：ζ函数的所有非平凡零点的实部非常有可能均为
*第三积分表示：      ，其中围道γ逆时针环绕负实轴
第三积分表示的围道γ
*黎曼-西格尔公式：给出计算ξ函数的数值的方法
*零点的计算：计算了虚部介于0与100的所有零点的数值
*素数的分布公式：引入黎曼素数计数函数，给出了它与ζ函数的关系
===阿达马与普森===
ζ(1+it)的图像，蓝色为实部，黄色为虚部
1896年，雅克·阿达马与普森几乎同时地证明了f = \zeta(s)的所有非平凡零点的实部均小于1，即上无非平凡零点，从而完成了素数定理的证明。
===希尔伯特===
1900年，希尔伯特在巴黎的第二届国际数学家大会上作了题为《数学问题》的演讲，提出了23道最重要的数学问题，黎曼假设在其中作为第8题出现。之后，希尔伯特提出了希尔伯特－波利亚猜想，具体时间及场合未知。
===玻尔与兰道===
虚部介于0与T的零点数量（蓝点）与黎曼-冯·曼格尔特公式（红线）的图像
1914年，哈那德·玻尔和爱德蒙·兰道证明了玻尔-兰道定理：含有临界线的任意带状区域都几乎包含了ζ的所有非平凡零点，表明了临界线为零点汇聚的“中心位置”。
===哈代与李特尔伍德===
1921年，哈代和李特尔伍德证明了存在常数T，使临界线上虚部位于0与T之间的非平凡零点的数量至少为f = KT。
===塞尔伯格===
1942年，阿特勒·塞尔伯格更进一步，证明了存在常数T，使临界线上虚部位于0与T之间的非平凡零点的数量至少为f = KT\log T，这意味着ζ函数在临界线上的非平凡零点在所有零点中占有一个正密度，而临界线对于临界带的测度为0。
==解析延拓==
对ζ函数解析延拓时使用的围道
ζ函数原本定义在右半平面上，并且在此区域内为全纯函数
解析延拓后在全局具有积分表达式
满足函数方程
特别地，如果考虑正规化的ζ，即黎曼ξ函数
那么它满足函数方程
==和数论函数的关系==
黎曼ζ函数可看做是具有如下形式的级数的一个特例：
这种类型的级数被称作狄利克雷级数。当f为狄利克雷特征时，又称作狄利克雷L函数，也有与黎曼猜想相应的广义黎曼猜想
为了方便对数论函数作讨论，此处引入狄利克雷卷积  f = f*g：
设    ，  于是显然
于是，如果数论函数f = h=1*g，亦即        (此时，f = h(n)与f = g(d)可通过默比乌斯反演公式相互转换)那么  通常两侧的求和有一个是相对简单的函数，或是和f = \zeta(s)直接相关的函数如果对f = g(n)的求和较简单，可以将f = h(n)与f = \zeta(s)相联系，反之可以将f = g(n)与f = \zeta(s)相联系即   ，如下表所示：
==佩龙公式==
ζ函数与数论函数存在的联系可以通过佩龙公式转化为它和数论函数的求和的关系：设
则由佩龙公式，
其中右上角的'表示如果x是整数，那么求和的最后一项要乘以。这样做的其中一个结果就是ζ函数和素数分布的关系。
== 和素数的关系 ==
=== 欧拉乘积 ===
此函数和素数的关系已由欧拉所揭示：
这是一个延展到所有的质数p的无穷乘积，被称为欧拉乘积。这是几何级数的公式和算术基本定理的一个结果。如果对上式取对数，则可得到
=== 更进一步的联系 ===
==== 黎曼阶梯素数计数函数 ====
黎曼素数计数函数（蓝色）J(x)与对数积分（金色）Li(x)的图像，x那么可以建立与f = \zeta(s)的零点ρ的联系，称为黎曼显式公式
而与f = \pi(x)的联系可以通过莫比乌斯反演公式完成。然而的表达式过于复杂，如下的切比雪夫函数更为常用。
==== 切比雪夫函数 ====
第二切比雪夫函数（蓝线）ψ(x)与y=x（金线）的图像,x第二切比雪夫函数与第一切比雪夫函数的关系，可看做“等同于”黎曼素数计数函数与素数计数函数的关系。第二切比雪夫函数f = \psi(x)与f = \zeta(s)的零点ρ有如下的联系
而f = \psi(x)与的联系可以通过阿贝尔求和公式：
其中κ如前文所定义，则由阿贝尔求和公式
==零点==
解析延拓之后的ζ函数具有零点，他们分别是分布有序的平凡零点（所有负偶数），以及临界带内的非平凡零点。以表示虚部介于0与T之间的非平凡零点数量，则遵循黎曼 - 冯·曼戈尔特公式：。
== 函数值 ==
黎曼函数在s > 1的情况
ζ函数满足如下函数方程：
对于所有C\{0,1}中的s成立。这里，Γ表示Γ函数。这个公式原来用来构造解析连续性。在s = 1，ζ函数有一个简单极点其留数为1。上述方程中有sin函数，的零点为偶数s = 2n，这些位置是可能的零点，但s为正偶数时，为不为零的Regular function，只有s为负偶数时，ζ函数才有零点，称为平凡零点。
=== 当s为正整数 ===
欧拉计算出ζ（2k），对于偶整数2k，使用公式
其中B2k是伯努利数。从这个，我们可以看到ζ(2) = π2/6, ζ(4) = π4/90, ζ(6) = π6/945等等。（OEIS中的序列 A046988date=20010711034418 / A002432date=20010711034317 ）。这些给出了著名的π的无穷级数。奇整数的情况没有这么简单。拉马努金在这上面做了很多了不起的工作。
为正偶数时的函数值公式已经由欧拉计算出。但当为正奇数时，尚未找到封闭式。
:这是调和级数。
A078434
:该值用于计算具有周期性边界条件的玻色-爱因斯坦凝聚的临界温度以及磁系统的自旋波物理。
A013661
:即巴塞尔问题。这个结果的倒数回答了这个问题：随机选取两个数字而互质的概率是多少？
A002117
:称为阿培里常数。
A0013662
:黑体辐射里的斯特藩－玻尔兹曼定律和维恩近似。
=== s趋近于1 ===
其中γ是欧拉-马歇罗尼常数=
=== 负整数 ===
同样由欧拉发现，ζ函数在负整数点的值是有理数，这在模形式中发挥着重要作用，而且ζ函数在负偶整数点的值为零。
事实上
Bn是白努利数。
因为 B2n+1 =0，故ζ函数在负偶整数点的值为零。
=== 复数值 ===
，x＞1。
=== 幅角 ===
，
=== 函数值表 ===
，
，
，
，
，
，
，
,
,
，
，
，
，
，
=== 临界线上的数值计算 ===
临界线上的数值计算可以通过黎曼-西格尔公式完成。与之相关的，林德勒夫猜想：对于任意给定的实数f = \epsilon>0，