OS:本周最大新聞莫過於有人證明了黎曼猜想,作為一名理論物理工作者,有必要做一些基礎的黎曼函數展示工作。在數論中,黎曼猜想的意義非凡,不僅如此,它在諸多學科中也有很重要的地位。
黎曼ζ函數ζ(s)的定義如下: 設一複數s,其實數部分> 1而且:
它亦可以用積分定義:
在區域{s : Re(s) > 1}上,此無窮級數收斂並為一全純函數(其中Re表示複數的實部,下同)。歐拉在1740考慮過s為正整數的情況,後來切比雪夫拓展到s>1。波恩哈德·黎曼認識到:ζ函數可以通過解析開拓來擴展到一個定義在複數域(s, s≠ 1)上的全純函數ζ(s)。這也是黎曼猜想所研究的函數。
雖然黎曼的ζ函數被數學家認為主要和「最純」的數學領域數論相關,它也出現在應用統計學(參看齊夫定律和齊夫-曼德爾布羅特定律)、物理,以及調音的數學理論中。
複平面中一矩形區域之黎曼ζ函數ζ(z);此圖用Matplotlib程式繪圖產生,使用到定義域著色方法。
歷史:
ζ函數最早出現於1350年左右,當時的尼克爾·奧裡斯姆發現了調和級數發散,即:
之後的一次進展來自萊昂哈德·歐拉,他給出了調和級數呈對數發散。除此之外,他還在1735年給出了巴塞爾問題的解答,得到:
歐拉最初的證明可以在巴塞爾問題中看到,然而那是他的第一個證明,因而廣為人知。事實上,那個證明雖有不嚴謹之處,但是歐拉仍然有自己的嚴格證明。歐拉在1737年還發現了歐拉乘積公式:
這是ζ函數與素數的聯繫的朦朧徵兆,其證明可以在證明黎曼ζ函數的歐拉乘積公式中看到。1749年,歐拉通過大膽的計算發現了:
發現ζ(s)與ζ(1-s)之間存在某些關係。
將歐拉所做的一切牢牢地置于堅石之上的是黎曼,他在1859年的論文論小於給定數值的素數個數以及未發表的手稿中做出了多項進展:
第一積分表示:
完備化的ζ,即黎曼ξ函數:
滿足函數方程 ζ(s)=ζ(1-s)。
第二積分表示:
黎曼 - 馮·曼戈爾特公式:以0<N(T)表示虛部介於0與T之間的非平凡零點數量,則
黎曼猜想:ζ函數的所有非平凡零點的實部非常有可能均為1/2
第三積分表示:
其中圍道γ逆時針環繞負實軸。
第三積分表示的圍道γ
黎曼-西格爾公式:給出計算ξ函數的數值的方法
零點的計算:計算了虛部介於0與100的所有零點的數值
素數的分布公式:引入黎曼素數計數函數,給出了它與ζ函數的關係