黎曼泽塔函數 ,写作ζ(s) 的定義如下:設一複數 s 使得 Re(s) > 1,則定義:
它亦可以用积分定义:
在区域 {s : Re(s) > 1} 上,此无穷级数收敛并为一全纯函数。欧拉在1740年考虑过 s 为正整数的情况,后来切比雪夫拓展到 s > 1。[2]波恩哈德·黎曼认识到:ζ函数可以通过解析延拓,把定義域扩展到幾乎整個复数域上的全纯函数 ζ(s)。这也是黎曼猜想所研究的函数。
虽然黎曼的ζ函数被数学家认为主要和“最纯”的数学领域数论相关,它也出现在应用统计学(参看齊夫定律和齊夫-曼德爾布羅特定律)、物理,以及调音的数学理论中。
历史
奥里斯姆
ζ函数最早出现于1350年左右,尼克尔·奥里斯姆发现了调和级数发散,即:
奥里斯姆对调和级数发散的“证明” |
---|
|
欧拉
之后的一次进展来自莱昂哈德·欧拉,他给出了调和级数呈对数发散。
欧拉对调和级数发散速度的证明[3] |
---|
为了求出调和级数的部分和,使用欧拉-麦克劳林求和公式(当然,亦可使用阿贝尔求和公式):
注意到其中的 是一个常数。实际上,这就是歐拉-馬斯刻若尼常數γ再考虑剩下的一个积分,也就是 由于被积项非负,又有 ,于是 最终得到 |
除此之外,他还在1735年给出了巴塞尔问题的解答,得到
的结果。欧拉最初的证明可以在巴塞尔问题#欧拉的錯誤證明中看到,然而那是他的第一个证明,因而广为人知。
事实上,那个证明虽有不严谨之处,但是欧拉仍然有自己的严格证明。[4]
欧拉对 的严格证明 |
---|
下面将写出欧拉对上式的证明中缺失的严格论证的部分,即对连乘积公式的证明部分,而不涉及最终的系数比较 首先考虑当n为奇数时,将 分解为连乘积形式。事实上,容易发现上式的全部复根为
由于n为奇数,所以可以将除了z=a外的其他根及其共轭一一配对,即 看做一对, 则通过二次方程的韦达定理可以还原出每对根的最小多项式: 按照韦达定理,有 由于最小多项式首项系数为1,故 ,由此得到这对根最小多项式为 注意到k的取值上限为 ,将每一对根的最小多项式相乘, 还有z=a这个根的最小多项式 ,乘在一起,得到
令 ,代入上式,有:
此时,上述乘积中的 仅和N有关,记作 ,上式变为 而利用二项式定理,将等式左边展开: 两式相减,考虑一次项,为 这正是等式的左边的一次项 而等式右边的一次项只能是连乘积中的全部1与连乘积外的C(n)x相乘,为使两边相等,必须有 ,于是上式变为
另一方面,令 ,有 于是,代入上式,得到
令N→∞,则右端大O符号的诸项都变为无穷小。另一方面,左端可写为: 于是上式变为 此时,只需比较左右两端展开式的三次项系数,即可得出结果。 对左式进行级数展开,可得: 其中当 时可提取左式的三次项为 。 同时展开右式可得右式的三次项为 由于等式左右端相等,所以左右式三次项系数必须相等, 因此可得: 化简可得:
|
欧拉在1737年还发现了欧拉乘积公式:
这是ζ函数与素数的联系的朦胧征兆,其证明可以在证明黎曼ζ函数的欧拉乘积公式中看到。
通过这条公式,容易证明当 时,
1749年,欧拉通过大胆的计算發現了(以下公式當中存在定義域謬誤,後由黎曼透過解析延拓証明以下公式只適用於 Re(s) > 1)[5]
发现ζ(s)与ζ(1-s)之间存在某些关系。
黎曼
将欧拉所做的一切牢牢地置于坚石之上的是黎曼,他在1859年的论文论小于给定数值的素数个数以及未发表的手稿中做出了多项进展:[6]
- 第一积分表示:
- 完备化的ζ,即黎曼ξ函数: ,满足函数方程
- 第二积分表示: ,则
- 黎曼 - 冯·曼戈尔特公式:以 表示虚部介于0与T之间的非平凡零点数量,则
- 黎曼猜想:ζ函数的所有非平凡零点的实部非常有可能均为
- 第三积分表示: ,其中围道γ逆时针环绕负实轴
阿达马与普森
1896年,雅克·阿达马与普森几乎同时地证明了 的所有非平凡零点的实部均小于1,即 上无非平凡零点,从而完成了素数定理的证明。
希尔伯特
1900年,希尔伯特在巴黎的第二届国际数学家大会上作了题为《数学问题》的演讲,提出了23道最重要的数学问题,黎曼假设在其中作为第8题出现。
之后,希尔伯特提出了希尔伯特-波利亚猜想,具体时间及场合未知。
玻尔与兰道
1914年,哈那德·玻爾和愛德蒙·蘭道证明了玻爾-蘭道定理:含有临界线的任意带状区域都几乎包含了ζ的所有非平凡零点,表明了临界线为零点汇聚的“中心位置”。
哈代与李特尔伍德
1921年,哈代和李特尔伍德证明了存在常数T,使临界线上虚部位于0与T之间的非平凡零点的数量至少为 。
塞尔伯格
1942年,阿特勒·塞尔伯格更进一步,证明了存在常数T,使临界线上虚部位于0与T之间的非平凡零点的数量至少为 ,这意味着ζ函数在临界线上的非平凡零点在所有零点中占有一个正密度,而临界线 对于临界带 的测度为0。
解析延拓
和数论函数的关系
佩龙公式
和素数的关系
零点
函数值
參考資料
相關條目