廣義伯恩哈德·黎曼猜想是由德國數學家黎曼提出的“黎曼猜想”的廣義版本。1859年,黎曼猜想提出后,幾乎同時,另一位德國數學家狄利克雷引入“狄利克雷L函數”,這個函數是黎曼ζ函數的推廣,這就是“廣義黎曼猜想”。這個猜想是指黎曼ζ函數:ζ(s)=∑1/n^s(n從1到無窮)的非平凡零點都在Re(s)=1/2的直線上。
19世紀,黎曼構建了黎曼ζ函數,并且認為素數分布只與黎曼ζ函數的一種類型零點有關。原始的黎曼猜想是,所有這些零點都分布在實部等于二分之一的一條垂直線上。由于之后引入的狄利克雷L函數,相當于上述黎曼函數的推廣形式,如果證明了廣義黎曼猜想,也就等于證明了黎曼猜想。
德國數學家西格爾及其導師列夫·達維多維奇·朗道在研究狄利克雷L函數時發現一個反例,一個異常零點可能不分布在那條直線上,這就是朗道-西格爾零點猜想。朗道-西格爾零點被定義為廣義黎曼猜想的反例。這在一定程度上推翻了廣義黎曼猜想。2022年11月8日,數學家張益唐在北京大學發表了“關于朗道-西格爾零點猜想”的學術報告。他表示,自己在本質上證明了朗道-西格爾零點猜想,部分證明黎曼猜想應該是對的。
簡介
這是1859年由德國大數學家伯恩哈德·黎曼提出的幾個猜想之一,而其他猜想均已證明。這個猜想是指黎曼ζ函數:(n從1到無窮)的非平凡零點都在 的直線上.
分析
在數學中我們碰到過許多函數,最常見的是多項式和三角函數。多項式的零點也就是代數方程的根。根據代數基本定理,n次代數方程有n個根,它們可以是實根也可以是復根。因此,多項式函數有兩種表示方法,即
當s為大于1的實數時,n 為收斂的無窮級數,長城歐拉仿照多項式情形把它表示為乘積的情形,這時是無窮乘積,而且也不是零點的形式:
但是,這樣的用處不大,伯恩哈德·黎曼把它開拓到整個復數平面,成為復變量s就包含非常多的信息。正如多項式的情形一樣,函數的信息大部分包含在其零點的信息當中,因此,的零點就成為大家關心的頭等大事。有兩類零點,一類是時的實零點,稱為平凡零點;一類是復零點。黎曼猜想就是講,這些復零點的實部都是,也就是所有復零點都在 這條直線(后稱為臨界線)上。
這個看起來簡單的問題并不容易。從歷史上看,求多項式的的零點特別是求代數方程的復根都不是簡單的問題。一個特殊函數的零點也不太容易找到。在85年前,戈弗雷·哈代首先證明這條臨界線上有無窮多個零點。10年前我們知道有的復零點都在這條線上,而且這條線外至今也沒有發現復零點,因此,黎曼猜想是對是錯還在未定之中。
黎曼ζ 函數
伯恩哈德·黎曼在1858年寫的一篇只長8頁關于素數分布的論文,就在這論文里他提出了有名的黎曼猜想(Riemanns Hypoth-esis)。這猜想提出已有一百多年了,許多有名的數學家曾嘗試去證明,就像喜歡爬山的人希望能爬上珠穆朗瑪峰一樣——因為到達它的頂峰非常困難,目前已有人登上這世界高峰,可是卻沒有人能證明這猜想!那么這個讓雅威如此吝嗇的黎曼猜想究竟是一個什么樣的猜想呢?
在回答這個問題之前我們先得介紹一個函數:
黎曼ζ 函數。這個函數雖然掛著伯恩哈德·黎曼的大名,其實并不是黎曼首先提出的。但黎曼雖然不是這一函數的提出者,他的工作卻大大加深了人們對這一函數的理解,為其在數學與物理上的廣泛應用奠定了基礎。后人為了紀念黎曼的卓越貢獻,就用他的名字命名了這一函數。
那么究竟什么是黎曼ζ 函數呢?黎曼ζ 函數是級數表達式 (n 為正整數)在復平面上的解析延拓。之所以要對這一表達式進行解析延拓,是因為 - 如我們已經注明的 - 這一表達式只適用于復平面上 s 的實部 的區域 (否則級數不收斂)。伯恩哈德·黎曼找到了這一表達式的解析延拓 (當然黎曼沒有使用“解析延拓”這樣的現代復變函數論術語)。運用路徑積分,解析延拓后的黎曼ζ 函數可以表示為:
這里我們采用的是歷史文獻中的記號,式中的積分實際是一個環繞正實軸 (即從 出發,沿實軸上方積分至原點附近,環繞原點積分至實軸下方,再沿實軸下方積分至離實軸的距離及環繞原點的半徑均趨于 0) 進行的圍道積分;式中的 Γ 函數 是階乘函數在復平面上的推廣,對于正整數。可以證明,這一積分表達式除了在處有一個簡單極點外在整個復平面上解析。這就是黎曼ζ 函數的完整定義。運用上面的積分表達式可以證明,黎曼ζ 函數滿足以下代數關系式:
從這個關系式中不難發現,黎曼ζ 函數在 (n 為正整數) 取值為零 - 因為 為零[注三]。復平面上的這種使黎曼ζ 函數取值為零的點被稱為黎曼ζ 函數的零點。因此(n 為正整數) 是黎曼ζ 函數的零點。這些零點分布有序、性質簡單,被稱為黎曼ζ 函數的平凡零點 (trivial zeros)。除了這些平凡零點外,黎曼ζ 函數還有許多其它零點,它們的性質遠比那些平凡零點來得復雜,被稱為非平凡零點 (non-trivial zeros) 。
黎曼猜想
黎曼ζ 函數的所有非平凡零點都位于復平面上 Re(s)=1/2 的直線上。在黎曼猜想的研究中,數學家們把復平面上的直線稱為“critical line”。運用這一術語,黎曼猜想也可以表述為:黎曼ζ 函數的所有非平凡零點都位于critical line上。這就是伯恩哈德·黎曼猜想的內容,它是黎曼在 1859 年提出的。從其表述上看,黎曼猜想似乎是一個純粹的復變函數命題,但我們很快將會看到,它其實卻是一曲有關素數分布的神秘樂章。
證明成果
哈地證明(哈代斗上帝)
英國著名的數學家戈弗雷·哈代(G.H.Hardy 1877—1947)是華羅庚在英國劍橋大學學習數論時的指導教授。
英國自從出現艾薩克·牛頓以后,一向來數學工作者是注重應用數學,它的數學家不像歐陸的德國和法國在純粹數學上有大的貢獻和新的發現,至到19世紀末出了哈代之后,哈代以他在純數學的工作使英國聞名于世。
哈代先后在牛津大學和劍橋大學教書,他為了研究數學從來不想到成家,而是由妹妹照顧他。他個性是有些怪,在那宗教勢力濃厚的學府里敢公然說:“雅威是我的敵人。”他從不踏進教堂,也不參予有宗教色彩儀式的會議。
哈代是一個“板球(Cricket)迷”,每年夏天要等到板球季節過了,才會跑到歐陸度假,拜訪他的幾個好朋友與他們一起討論研究數學。
每次到丹麥就會見他的好朋友波爾(Harald Bohr),他們坐下來,先在一張紙上寫上先要解決和討論的一些議程,然后討論一個小時后才一起出去散步。每一次見面時哈地在議程的第一條往往寫上:“證明黎曼假設!”
可是這個提議卻一直沒法子解決,一直到夏假結束他必須回去英國教書才作罷。第二年的夏天他回來丹麥又像前一年那樣,兩人每天把解決黎曼假設擺在議程的最前面,但是每次都不能解決。
有一年的夏末,托馬斯·哈代要乘船渡北海回英國,那天浪濤洶涌天氣很惡劣,而船又很小,因此他在船開之前就寫了一張明信片寄給波爾,在上面簡單的寫下這幾個字:“我已經證明了黎曼假設。哈代。”
他是否真的證明了,要把這個好消息告訴他的好友呢?原來這明信片是有用意的:萬一這船沉下去,哈地溺死了,世人就會認為哈地真的解決這個世界上的數學難題,而為這個解法及哈地一起埋在海底而惋惜。但是上帝既然是哈地的仇人,一定不會讓哈代享有解決這個著名難題的聲譽,因此本來這船該沉下去,它也設法不讓它沉,于是哈地可以平安回到英國。這樣這個明信片就是他的救命護身符了。
你看了或許會笑,以為我們的戈弗雷·哈代教授是這樣幼稚可笑的人物,是的,有一些數學家他們想法和做事的天真幼稚就像6歲的兒童。可是他們研究的東西卻深入和奧妙,不是普通人所能了解的。哈代逝世距現在已四十多年,但是他遺留下來的工作,許多是那么的艱深和難于明白,普通大學數學系畢業生也不是很容易就能領會。
近年研究成果
荷蘭三位數學家J.van de Lune,H.J.Riele te及D.T.Winter利用電子計算機來檢驗伯恩哈德·黎曼的假設,他們對最初的二億個齊打函數的零點檢驗,證明黎曼的假設是對的,他們在1981年宣布他們的結果,目前他們還繼續用電子計算機檢驗底下的一些零點。
1982年11月蘇聯數學家馬帝葉雪維奇在蘇聯雜志《Kibernetika》宣布,他利用電腦檢驗一個與黎曼猜想有關的數學問題,可以證明該問題是正確的,從而反過來可以支持黎曼的猜想很可能是正確的。
1975年麻省理工學院的萊文森在他患癌癥去世前證明了。
1980年中國數學家樓世拓、姚琦對萊文森的工作有一點改進,他們證明了。
意義
這個簡單的特殊函數在數學上有重大意義,正因為如此,黎曼猜想總是被當成數一數二的重要猜想。在這個猜想上稍有突破,就有不少重大成果。200年前高斯提出的素數定理就是在100年前由于黎曼猜想的一個重大突破而證明的。當時只是證明復零點都在臨界線附近,如果黎曼猜想被完全證明,整個解析數論將取得全面進展。
更重要的是,在代數數論、代數幾何、微分幾何、動力系統理論等學科中都引入各種 函數和它們的推廣L函數,它們各有相應的“黎曼猜想”,其中有的黎曼猜想已經得到證明,使得該分支獲得突破性的進展。可以設想,黎曼猜想及其各種推廣是21世紀的中心的問題之一。
黎曼
黎曼,G.F.B(Riemann,Georg Friedrich Bernhard)1826年9月17日生于德國漢若威的布雷斯塞論茨;1866年7月20日卒于意大利塞拉斯卡。黎曼是對現代數學影響最大的數學家之一,我們從他當時的數學水平來看,他作為偉大的分析學家,其成就可以分為八個領域來論述。前4個領域是關于復分析方面的,他第一個有意識的將實域過渡到復域,開創了復變函數域,代數函數論,常微分方程解析理論及解析數論諸方向;后4個領域主要涉及實分析,在積分理論,三角級理論,導數幾何學,數學物理方程等方面取得重大突破。重要的是一個多世紀之前的成就卻直接同現代數學中的拓撲方法,一般流形概念,聯系拓撲與分析的伯恩哈德·黎曼洛赫定理,代數幾何學特別是尼爾斯·亨利克·阿貝爾簇以及參模等緊密相連,他的空間觀念及黎曼幾何更預示著廣義相對論,正是他促發了現代數學的革命性變革
參考資料 >
數學家張益唐宣布解開黎曼猜想相關問題.微信公眾平臺.2024-03-30
素數判別和整數分解存在多項式算法.澎湃新聞.2024-03-30
風聲|攻克零點猜想,張益唐會成為全球最牛的數學家嗎?.手機鳳凰網.2024-03-30
證明“零點不存在”的宇宙.微信公眾平臺.2024-03-30
張益唐:本質上,我證明了朗道-西格爾零點猜想.百家號.2024-03-30
數學家張益唐發表“零點猜想”報告:部分證明黎曼猜想應該是對的.百家號.2024-03-30