跳至內容

黎曼ζ函數

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
(重新導向自黎曼ζ函数
複平面中一矩形區域之黎曼ζ函數;此圖用Matplotlib程式繪圖產生,使用到定義域著色方法。[1]

黎曼澤塔函數 ,寫作ζ(s) 的定義如下: 設一複數 s 使得 Re(s) > 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頁面存檔備份,存於網際網路檔案館))。這些給出了著名的π的無窮級數。奇整數的情況沒有這麼簡單。拉馬努金在這上面做了很多了不起的工作。 為正偶數時的函數值公式已經由歐拉計算出。但當為正奇數時,尚未找到封閉式。

這是調和級數
  OEISA078434
該值用於計算具有周期性邊界條件的玻色-愛因斯坦凝聚的臨界溫度以及磁系統的自旋波物理。
  OEISA013661
巴塞爾問題。這個結果的倒數回答了這個問題:隨機選取兩個數字而互質的概率是多少?[7]
  OEISA002117
稱為阿培里常數
  OEISA0013662
黑體輻射裡的斯特藩-玻爾茲曼定律維恩近似

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

相關條目

[編輯]