|
還記得質數吧？這是一個3000年前的問題：
給出一個預測下一個質數將是什么的公式（在任何給定的數字序列中），那么你的名字將永遠和最偉大人聯系在一起，類似于牛頓，愛因斯坦和哥德爾。 介紹歷史上許多數學巨人都研究過質數的性質。從歐幾里得第一次證明素數有無限多個，到將素數與 ζ函數聯系起來的歐拉乘積公式。從高斯和勒讓德的素數定理公式到哈達瑪德和德拉瓦萊普桑。伯恩哈德·黎曼仍然是在質數理論中取得最大突破的數學家。他的全部工作都包含在1859年發表的一篇8頁的論文中，這篇論文對素數的分布做出了新的、前所未有的闡述，至今被認為是數論中最重要的論文之一。 自發表以來，黎曼的論文一直是質數理論的主要焦點，也是1896年質數定理證明的主要原因。此后又發現了一些新的證明，包括塞爾伯格的基本證明。然而，黎曼關于 ζ函數根的假說仍然是一個謎。 有多少質數？讓我們從簡單的開始。我們都知道一個數要么是質數，要么是合數。所有合數都是由質數組成的，并且可以分解為質數乘積。公元前300年，歐幾里得(就證明了它們的數量是無限的。證明過程非常經典，本篇文章就不再贅述。 為什么質數這么難理解？即使對素數的算術性質進行了大量的研究，人們仍然對其知之甚少。科學界對我們缺乏理解質數行為的能力非常自信，以至于大數的因式分解是加密理論的基礎之一。以下是一種看待它的方式。 我們很了解合數，它們是由素數組成的，很容易地寫出一個公式來預測合數。最著名的例子是公元前200年的“埃拉托斯尼篩子”。它所做的，就是簡單地標記每個質數的倍數直到一個限定。取質數2，標記4、6、8、10，以此類推。接著，取3，標記6、9、12、15，以此類推。剩下的只有質數。雖然很容易理解，但埃拉托斯提尼的篩子不是很有效。 有一個函數極大地簡化了工作，那就是6n +/- 1。這個簡單的函數取出除2和3之外的所有素數。代入n = 1、2、3、4、5、6、7，結果是，5、7、11、13、17、19 、23 25、29、31、35、37、41、43。函數生成的唯一非素數是25和35，它們分別可以被因式分解成5 x 5和5 x 7。下一個非素數是，49 = 7 x 7, 55 = 5 x 11等等。 為了直觀地說明這一點，我使用了一種我稱之為“組合階梯”的東西，這是一種簡單的方法，可以看到函數生成的合數是如何為每個質數布局和組合的。在下圖的前三列中，你可以清楚地看到質數5、7和11，它們各自的組合階梯達到并包括91。第四列的混亂顯示了篩子是如何除去除了質數之外的所有數的，這很好地說明了為什么質數如此難以理解。 基本概念那么這些和黎曼假說有什么關系呢？簡單地說，為了更多地了解質數，19世紀的數學家們不再試圖絕對肯定地預測質數的位置，而是開始把質數作為一個整體來研究。這種分析方法是黎曼的拿手之處，也是他著名的假說產生的地方。然而，在我解釋它之前，有必要熟悉一些基本的概念。 調和級數調和級數是一個無窮數列，最早由尼古拉斯·奧雷斯姆在14世紀進行研究的。它的名字與音樂中的和聲的概念有關。該系列的內容如下：
這個和被奧瑞斯姆證明是發散的。 ζ函數調和級數是ζ函數的特例。對于r和n兩個實數，給出了如下函數： 代入n = 1，得到一個發散的調和級數。然而，對于所有n > 1，級數是收斂的。 歐拉積公式歐拉證明了ζ函數與質數之間的第一個聯系，對于n和p兩個自然數，其中p是質數：
這個表達最早出現在1737年的一篇題為《關于無窮級數的觀察》的論文中。這個表達式表明，ζ函數的和等于： 這種驚人的聯系奠定了現代質數理論的基礎，從這一點開始，用ζ函數ζ(s)作為研究質數的一種方法。 歐拉積公式的證明歐拉從一般的ζ函數開始 首先，兩邊同時乘以第二項： 然后從ζ函數中減去結果表達式： 重復這個過程，然后兩邊乘以第三項： 然后用函數減去結果的表達式：
重復這個過程直到無窮大，最后只剩下表達式：
歐拉構造的是一個篩子，很像埃拉托色尼的篩子。他把非質數從函數中過濾掉了。 然后將表達式除以所有素數倒數項，得到：
簡化后得到：
代入s = 1，求無窮次調和級數，再一次證明素數有無窮多個。 默比烏斯函數奧古斯特·費迪南德·莫比烏斯后來重寫了歐拉積公式，創造了一個新的和。除了包含素數的倒數，莫比烏斯函數還包含所有素數因子的奇數和偶數乘積的自然數。他的級數中剩下的數是那些除以某個質數平方的數。其和，用μ(n)表示為：
和包含以下的倒數：
以下是第一項：
這個和不包含可以除以某個素數平方的數的倒數，例如4、8、9等等。 莫比烏斯函數μ(n)只接受三個可能的值：
雖然最初由莫比烏斯正式定義，早在莫比烏斯定義的30多年前，高斯就在一篇旁注中對這個古怪的總和進行了深入的研究，他寫道：
素數計數函數回到質數。為了理解質數在數軸上的分布情況。由高斯引入的質數計數函數π(x)就是這樣做的，它給出了小于或等于給定實數的質數的數量。由于沒有找到質數公式，我們只知道質數計數公式是一個圖。下圖顯示了x = 200時的函數。
素數定理質數定理也由高斯和勒讓德獨立發表：
用當x趨于無窮時，質數計數函數π(x)將逼近函數x/ln(x)，兩者之間的比率將接近1。當x = 1000時，兩個函數如下圖所示：
在概率方面，質數定理指出，如果你隨機選擇一個自然數x，這個數成為質數的概率P(x)大約是1 / ln(x)。這意味著前x個整數中連續素數之間的平均差約為ln(x)。 對數積分函數函數Li(x)定義為除x = 1外的所有正實數。它由2到x的積分定義：
將這個函數與質數計數函數和質數定理的公式畫在一起，我們可以看到Li(x)實際上是一個比x/ln(x)更好的近似：
這是一個多么好的近似值，如果我們做一個x值的表，可以看出：
從這里可以很容易地看出，對數積分函數的近似值遠遠優于質數定理中的函數，僅在x = 10的14次方時“超調”了314,890個質數。然而，這兩個函數都收斂于質數計數函數π(x)。Li(x)要快得多，但當x趨于無窮時，質數計數函數與Li(x)和x/ln(x)之間的比值趨于1。可視化為：
γ函數自從丹尼爾·伯努利和克里斯蒂安·哥德巴赫在1720年代研究了將階乘函數擴展到非整數參數的問題以來，γ函數 Γ(z)一直是一個重要的研究對象。它是階乘函數n!向下移動1：
它的圖形很奇怪：
γ函數Γ(z)被定義為z大于零的所有復值。復數使數學家和工程師能夠計算和解決普通實數無法解決的問題。從視覺上看，復數將傳統的一維“數軸”擴展為二維的“數平面”，稱為復數平面，復數的實部繪制在x軸上，虛部繪制在y軸上。 為了能夠使用γ函數Γ(z)，它通常被重寫為這種形式：
利用這個等式，我們可以得到z < 0的值。然而，它沒有給出負整數的值，因為它們沒有定義（從技術上講，它們是奇點）。 ζ和γζ函數和γ函數之間的聯系由以下積分給出：
波恩哈德·黎曼我們已經掌握了必要的基礎知識，我們終于可以開始把質數和黎曼假設聯系起來了。 德國數學家伯恩哈德·黎曼于1826年出生于布雷斯倫茨。作為高斯的學生，黎曼發表了很多分析和幾何領域的著作。他最大的貢獻可能是在微分幾何領域，在那里他奠定了幾何語言的基礎，后來用于愛因斯坦的廣義相對論。
他在數論方面唯一的成就是1859年發表的論文《論小于給定數量級的質數》被認為是該領域最重要的論文。在短短的四頁里，他概述了：
這是一項令人難以置信的壯舉，這種壯舉可能在那之后就再也沒有見過了。 黎曼ζ函數我們已經在歐拉的乘積公式中看到了質數和函數之間的密切關系。然而，除了這種聯系之外，人們對它們之間的關系知之甚少，只有發明復數才能明確地表明它們之間的聯系。 黎曼首先考慮了復變量s的ζ函數ζ(s)，其中s = σ +it。
黎曼ζ函數ζ(s)是一個對所有實部大于1（Re(s) > 1）的復數都是解析的（有定值）的無窮級數。在這個區域，它是絕對收斂的。 為了在正則收斂區以外的區域分析函數（當復變量s的實部大于1時），需要重新定義函數。黎曼通過解析延拓半平面上Re(s) > 0上的絕對收斂函數成功地做到了這一點。
這個函數的新定義在半平面Re(s) > 0中處處是解析的;0，除了在s = 1處存在奇點。這在這個定義域內稱為亞純函數，因為它是全純的（在其定義域內每個點的鄰域內復可微），除了在奇點s = 1處。它也是狄利克雷l函數的一個很好的例子。 在他的論文中，黎曼并沒有止步于此。他繼續用γ函數 Γ(z)來分析他的ζ函數ζ(s)到整個復平面。為了保持本文的簡單性，我不會在這里展示這個計算，但我強烈建議你自己閱讀它，因為它非常好地展示了黎曼非凡的直覺和技術。 他的方法利用了“Γ(z)對于復數變量的積分表示”和“一個叫做雅克比?函數?(x)”的東西：
在這種形式下，我們可以看到ψ(s)項比x的任何次冪下降得更快，因此積分對s的所有值都收斂。 更進一步，黎曼注意到，如果用1 - s替換s，大括號中的第一項（-1 / s(1 - s) ）是不變的。
黎曼ζ函數的零點當ζ(s)=0時，ζ函數的根可以分為兩種類型，它們被稱為黎曼ζ函數的“平凡”零點和“非平凡”零點。 實部Re(s) < 0的零的存在性 平凡零點是很容易找到并解釋的。它們在以下 ζ函數的函數形式中最容易被注意到：
當sin項變為0時，這個乘積變為0。例如，對于一個負偶數s = -2n，函數變為0。然而，對于正偶數s = 2n, 0被γ函數Γ(z)的極點抵消了。這在原始的函數形式中更容易看出來，如果你代入s = 2n，這一項的第一部分就沒有定義。
黎曼函數在每一個負偶數s = -2n處都是0。這些是平凡零，它們可以在下面的函數圖中看到：
實部為Re(s) >的零點的存在性 由歐拉積公式可以看出，在s的實部大于1的區域，ζ(s)不可能為零，因為一個收斂的無窮積只有當其中一個因子為零時才可能為零。質數無限大的證明否定了這一點。
實部0≤Re(s)≤1的零點的存在性 我們已經找到了Re(s) < 0時，在負半平面上的零點，并且說明了說明在區域Re(s) >1中不可能有任何零點。 然而，在這兩個區域之間的區域，被稱為臨界地帶，是解析數理論在過去幾百年里主要關注的地方。
在上面的圖中，我用紅色標出了ζ(s)的實部，用藍色標出了虛部。當s的實部為-2和-4時我們可以看到左下角的前兩個零點。在0和1之間，我已經標出了臨界地帶，并標出了ζ的實部和虛部相交的地方。這些是非平凡零點的黎曼函數。在更高的值中，我們看到更多的0，以及兩個看似隨機的函數，隨著s的虛部變大，它們的密度也越來越大。
黎曼Xi函數我們定義了黎曼Xi函數ξ(s)為：
這個函數滿足這個關系：
即函數是關于垂直線Re(s) = 1/2對稱的，ξ(1) = ξ(0)， ξ(2) = ξ(-1)，依此類推。這個函數關系結合歐拉積公式表明，黎曼xi函數ξ(s)在0≤Re(s)≤1范圍內只能有0點。黎曼函數的零點就是黎曼函數的非平凡零點。從某種意義上說，黎曼ζ函數ζ(s)的臨界線R(s) = 1/2對應于黎曼函數ξ(s)的實線Im(s) = 0。 看看上面的兩個圖，你應該馬上注意到這樣一個事實，黎曼ζ函數ζ(s)的所有非平凡零的實部Re(s)等于1/2。黎曼在他的論文中簡要地點出了這一現象，這一短暫的評論最終成為他最偉大的遺產之一。 黎曼假設
這是黎曼在他的著名論文中提出的未經證實的猜想的現代表述。也就是說，在0≤Re(s)≤1的臨界帶中，ζ為0，ζ(s) = 0的點都有實部Re(s) = 1/2。若為真，所有的非平凡零點均為ζ(1/2 +it)的形式。 一個等價的表述（黎曼的實際表述）是:黎xi 曼函數ξ(s)的所有根都是實的。 在下圖中，Re(s) = 1/2是橫軸。ζ(s)的實部Re(s)為紅色圖，虛部Im(s)為藍色圖。非平凡零點是水平線上紅藍圖的交點。
如果黎曼假設成立，函數的所有非平凡零點將出現在這條線上，作為兩個圖之間的交點。 相信黎曼假設的理由 有很多理由相信關于ζ函數零點的黎曼假說的真實性。也許對數學家來說最令人信服的原因是它對質數分布的影響。假設的數值驗證非常高，表明它是正確的。事實上，這個假設的數字證據足夠強大，可以被認為是在其他領域如物理和化學的實驗驗證。 黎曼ζ函數和質數以黎曼假設的真理為出發點，黎曼開始研究其結果。他在論文中寫道，
他的下一個目標是把 ζ函數的零點和質數聯系起來。 回想一下素數計數函數π(x)，它表示在實數x以下的素數的個數。黎曼用π(x)定義了自己的素數計數函數，黎曼素數計數函數J(x)，定義為：
關于這個函數首先要注意的是它不是無限的。在某一項，計數函數將為零，因為x < 2沒有質數。因此，以J(100)為例，函數將由7個項組成，因為8項將包含100的8個根，大約等于1.778279。所以這個質數計數項變成0，和變為J(100) = 28.5333.... 與素數計數函數一樣，黎曼素數計數函數J(x)是一個階梯函數，當：
為了將J(x)的值與在x之前（包括x）有多少素數聯系起來，我們通過一個稱為莫比烏斯反演的過程恢復素數計數函數π(x)。結果表達式為：
請記住莫比烏斯函數的可能值是：
這意味著我們現在可以把質數計數函數寫成黎曼質數計數函數的函數，得到：
這個新表達式仍然是一個有限和，因為當x < 2時J(x)是零，因為沒有小于2的素數。 如果我們現在看一下J(100)的例子，我們得到了和：
也就是小于100的質數的個數。 翻譯歐拉積公式 接著，黎曼以歐拉積公式為起點，用微積分推導出一種解析求質數的方法。從歐拉開始：
他先對兩邊取對數，然后把分母改寫在括號里，得出關系式：
接下來，他使用著名的麥克勞林泰勒級數，展開右邊的每一個對數項，創建一個無限和的無限和，每個質數級數的一項。
下面的表達：
這一項和計算中的其他每一項都代表了J(x)函數下的部分面積。寫成積分形式：
換句話說，利用歐拉積公式，黎曼證明了離散素數計數階梯函數可以表示為積分的連續和。下面我們的例子項顯示為黎曼素數計數函數圖下的部分區域。
對于質數3，積分的無窮積是：
將所有這些無窮和集合成一個積分，黎曼素數計數函數J(x)下的積分可以簡單地寫成：
或者是更流行的形式：
黎曼將ζ函數ζ(s)與黎曼素數計數函數J(x)用微積分的語言寫成等價于歐拉積公式的恒等式。 在得到歐拉積公式的解析版本后，黎曼接著闡述了他自己的素數定理。他給出的明確形式是：
這是黎曼的顯式公式。它是質數定理的改進，更準確地估計在x以下有多少素數存在。
當x變大時，后兩項對函數值的貢獻是無窮小的。大數的主要“貢獻者”是對數積分函數和周期和。請看下面的圖表：
在上面的圖表中，我已經用黎曼素數計數函數J(x)的顯式公式來近似質數計數函數π(x)，并對黎曼ζ(s)的前35個非平凡零求和。我們看到周期項使函數“共振”，并開始接近素數計數函數π(x)的形狀。 下面你可以看到相同的圖表，使用了更多的非平凡零點。
使用黎曼的顯式函數，我們可以非常精確地近似出素數的數目，直到并包括給定的數字x。事實上，馮·科赫在1901年證明，利用黎曼zeta函數的非平凡零點對對數積分函數進行誤差修正，等同于素數定理中誤差項的“最佳可能”界。 后記 1866年，黎曼（39歲）去世，自那以后，他的開創性論文一直是素數和解析數論領域的里程碑。直到今天，黎曼關于黎曼 ζ函數非平凡零點的假設仍然沒有得到解決，盡管許多偉大的數學家進行了數百年的廣泛研究。每年都有大量與該假說相關的新結果和猜想被發表，人們希望有一天能找到確鑿的證據。 |
|
|
