黎曼ζ函数

解析函數

黎曼泽塔函数 ,写作ζ(s) 的定义如下: 设一复数 s 使得 Re(s) > 1,则定义:

复平面中一矩形区域之黎曼ζ函数;此图用Matplotlib程式绘图产生,使用到定义域着色方法。[1]

它亦可以用积分定义:

在区域 {s : Re(s) > 1} 上,此无穷级数收敛并为一全纯函数欧拉在1740年考虑过 s 为正整数的情况,后来切比雪夫拓展到 s > 1[2]波恩哈德·黎曼认识到:ζ函数可以通过解析延拓,把定义域扩展到几乎整个复数域上的全纯函数 ζ(s)。这也是黎曼猜想所研究的函数。

虽然黎曼的ζ函数被数学家认为主要和“最纯”的数学领域数论相关,它也出现在应用统计学(参看齐夫定律齐夫-曼德尔布罗特定律英语Zipf–Mandelbrot law)、物理,以及调音的数学理论中。

历史

编辑

奥里斯姆

编辑

ζ函数最早出现于1350年左右,尼克尔·奥里斯姆发现了调和级数发散,即:  

欧拉

编辑
 
第n个调和数(蓝点)与Log(n)+γ(红线)的图像

之后的一次进展来自莱昂哈德·欧拉,他给出了调和级数呈对数发散。

除此之外,他还在1735年给出了巴塞尔问题的解答,得到
 
的结果。欧拉最初的证明可以在巴塞尔问题#欧拉的错误证明中看到,然而那是他的第一个证明,因而广为人知。
事实上,那个证明虽有不严谨之处,但是欧拉仍然有自己的严格证明。[4]

欧拉在1737年还发现了欧拉乘积公式
 
这是ζ函数与素数的联系的朦胧征兆,其证明可以在证明黎曼ζ函数的欧拉乘积公式中看到。
通过这条公式,容易证明当   时, 

1749年,欧拉通过大胆的计算发现了(以下公式当中存在定义域谬误,后由黎曼透过解析延拓证明以下公式只适用于 Re(s) > 1)[5]
 
 
 
发现ζ(s)与ζ(1-s)之间存在某些关系。

黎曼

编辑
 
波恩哈德·黎曼对ζ解析延拓,用于素数的分布理论

将欧拉所做的一切牢牢地置于坚石之上的是黎曼,他在1859年的论文论小于给定数值的素数个数英语On_the_Number_of_Primes_Less_Than_a_Given_Magnitude以及未发表的手稿中做出了多项进展:[6]

  • 第一积分表示:  
  • 完备化的ζ,即黎曼ξ函数  ,满足函数方程  
  • 第二积分表示:   ,则  
  • 黎曼 - 冯·曼戈尔特公式英语Riemann–von Mangoldt formula:以 表示虚部介于0与T之间的非平凡零点数量,则  
  • 黎曼猜想:ζ函数的所有非平凡零点的实部非常有可能均为 
  • 第三积分表示:   ,其中围道γ逆时针环绕负实轴
 
第三积分表示的围道γ

阿达马与普森

编辑
 
ζ(1+it)的图像,蓝色为实部,黄色为虚部

1896年,雅克·阿达马普森几乎同时地证明了 的所有非平凡零点的实部均小于1,即 上无非平凡零点,从而完成了素数定理的证明。

希尔伯特

编辑

1900年,希尔伯特在巴黎的第二届国际数学家大会上作了题为《数学问题》的演讲,提出了23道最重要的数学问题,黎曼假设在其中作为第8题出现。
之后,希尔伯特提出了希尔伯特-波利亚猜想,具体时间及场合未知。

玻尔与兰道

编辑
 
虚部介于0与T的零点数量(蓝点)与黎曼-冯·曼格尔特公式(红线)的图像

1914年,哈那德·玻尔爱德蒙·兰道证明了玻尔-兰道定理:含有临界线的任意带状区域都几乎包含了ζ的所有非平凡零点,表明了临界线为零点汇聚的“中心位置”。

哈代与李特尔伍德

编辑

1921年,哈代李特尔伍德证明了存在常数T,使临界线上虚部位于0与T之间的非平凡零点的数量至少为 

塞尔伯格

编辑

1942年,阿特勒·塞尔伯格更进一步,证明了存在常数T,使临界线上虚部位于0与T之间的非平凡零点的数量至少为 ,这意味着ζ函数在临界线上的非平凡零点在所有零点中占有一个正密度,而临界线 对于临界带 的测度为0。

解析延拓

编辑
 
对ζ函数解析延拓时使用的围道

ζ函数原本定义在右半平面 上,并且在此区域内为全纯函数

   

解析延拓后在全局具有积分表达式

 

满足函数方程

 

特别地,如果考虑正规化的ζ,即黎曼ξ函数

 

那么它满足函数方程

 

和数论函数的关系

编辑

黎曼ζ函数可看做是具有如下形式的级数的一个特例:

 

这种类型的级数被称作狄利克雷级数。当f为狄利克雷特征时,又称作狄利克雷L函数,也有与黎曼猜想相应的广义黎曼猜想

为了方便对数论函数作讨论,此处引入狄利克雷卷积  
 

  
于是显然  

于是,如果数论函数 ,亦即   (此时,  可通过默比乌斯反演公式相互转换)
那么  
通常两侧的求和有一个是相对简单的函数,或是和 直接相关的函数
如果对 的求和较简单,可以将  相联系,反之可以将  相联系
 
如下表所示:

目标函数名 g(n) h(n) G(s)或H(s) g(n)或h(n)与ζ函数的联系
莫比乌斯函数        
欧拉函数        
除数函数        
刘维尔函数        
冯·曼戈尔特函数        

佩龙公式

编辑

ζ函数与数论函数存在的联系可以通过佩龙公式转化为它和数论函数的求和的关系:设

 

则由佩龙公式,

 

其中右上角的'表示如果x是整数,那么求和的最后一项要乘以 
这样做的其中一个结果就是ζ函数和素数分布的关系。

和素数的关系

编辑

此函数和素数的关系已由欧拉所揭示:

 

这是一个延展到所有的素数p无穷乘积,被称为欧拉乘积。这是几何级数的公式和算术基本定理的一个结果。
如果对上式取对数,则可得到

 

更进一步的联系

编辑

黎曼阶梯素数计数函数

编辑
 
黎曼素数计数函数(蓝色)J(x)与对数积分(金色)Li(x)的图像,x<300
 
黎曼素数计数函数(蓝点)J(x)与对数积分(红线)Li(x)的图像,x<1 000 000

可以使用黎曼素数计数函数 建立 与素数分布的进一步联系,这也是黎曼在他的论文论小于给定数值的素数个数英语On_the_Number_of_Primes_Less_Than_a_Given_Magnitude中使用的函数,定义如下:

 

其中 
那么可以建立  的零点ρ的联系,称为黎曼显式公式英语Explicit formulae (L-function)

 

  的联系可以通过莫比乌斯反演公式完成。
 
然而 的表达式过于复杂,如下的切比雪夫函数英语Chebyshev function更为常用。

切比雪夫函数

编辑
 
第二切比雪夫函数(蓝线)ψ(x)与y=x(金线)的图像,x<300
 
第二切比雪夫函数(蓝点)ψ(x)与y=x(红线)的图像,x<1 000 000

第一切比雪夫函数 定义为

 

而更常用的第二切比雪夫函数 定义为

 

其中,如前文定义的  
第二切比雪夫函数与第一切比雪夫函数的关系,可看做“等同于”黎曼素数计数函数与素数计数函数的关系。
第二切比雪夫函数  的零点ρ有如下的联系

 

  的联系可以通过阿贝尔求和公式

 

其中κ如前文所定义,则由阿贝尔求和公式

 

零点

编辑

解析延拓之后的ζ函数具有零点,他们分别是分布有序的平凡零点(所有负偶数),以及临界带 内的非平凡零点。
 表示虚部介于0与T之间的非平凡零点数量,则 遵循黎曼 - 冯·曼戈尔特公式英语Riemann–von Mangoldt formula 

函数值

编辑
 
黎曼函数在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中的序列A046988页面存档备份,存于互联网档案馆)/A002432页面存档备份,存于互联网档案馆))。这些给出了著名的π的无穷级数。奇整数的情况没有这么简单。拉马努金在这上面做了很多了不起的工作。  为正偶数时的函数值公式已经由欧拉计算出。但当 为正奇数时,尚未找到封闭式。

 
这是调和级数
     A078434
该值用于计算具有周期性边界条件的玻色-爱因斯坦凝聚的临界温度以及磁系统的自旋波物理。
     A013661
巴塞尔问题。这个结果的倒数回答了这个问题:随机选取两个数字而互质的概率是多少?[7]
     A002117
称为阿培里常数
     A0013662
黑体辐射里的斯特藩-玻尔兹曼定律维恩近似

s趋近于1

编辑
 

其中γ是欧拉-马歇罗尼常数= 

负整数

编辑

同样由欧拉发现,ζ函数在负整数点的值是有理数,这在模形式中发挥着重要作用,而且ζ函数在负偶整数点的值为零。

事实上

 

Bn白努利数

因为 B2n+1 =0,故ζ函数在负偶整数点的值为零。

复数值

编辑
 ,x>1。

幅角

编辑
 

函数值表

编辑
 
 
 
 
 
 
 
 ,
 ,
 
 
 
 
 

临界线上的数值计算

编辑

临界线上的数值计算可以通过黎曼-西格尔公式完成。
与之相关的,林德勒夫猜想英语Lindelöf hypothesis:对于任意给定的实数 

 

参考资料

编辑
  1. ^ 存档副本. [2015-01-17]. (原始内容存档于2015-03-20). 
  2. ^ Devlin, Keith. The Millennium Problems: The Seven Greatest Unsolved Mathematical Puzzles of Our Time. New York: Barnes & Noble. 2002: 43–47. ISBN 978-0760786598. 
  3. ^ Tom M.Apostol. Introduction to Analytic Number Theory. 北京: 世界图书出版公司北京公司. 2012年1月: 55 – 56. ISBN 978-7-5100-4062-7 (英语). Theorem 3.2 If x ≥ 1 we have : 
  4. ^ 御坂01034. 巴塞尔问题(Basel problem)的多种解法. [2015-01-24]. (原始内容存档于2019-05-02). 
  5. ^ 加藤和也 黑川信重 斎藤毅. 数论I. 北京: 高等教育出版社. 2009年6月: 197–199. ISBN 978-7-04-026360-2 (中文). 短暂的沉默被打破了... 
  6. ^ 加藤和也 黑川信重 斎藤毅. 数论I. 北京: 高等教育出版社. 2009年6月: 209–210. ISBN 978-7-04-026360-2 (中文). Riamann对ζ研究的全部内容... 
  7. ^ C. S. Ogilvy & J. T. Anderson Excursions in Number Theory, pp. 29–35, Dover Publications Inc., 1988 ISBN 978-0-486-25778-5

相关条目

编辑