黎曼ζ函數

複平面中一矩形區域之黎曼ζ函數；此圖用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，


**相關條目**
 黎曼猜想- 狄利克雷級數- 狄利克雷卷積- 黎曼ξ函數

**參考資料==