來源:環(huán)球科學
《三體》系列無疑是近年來國內(nèi)最具影響力的科幻小說了,但你知道,曾有一位法國總理也研究過三體問題嘛?而且,他還提出了一個與三體問題密切相關的重要猜想,直到近百年后才被一位中國數(shù)學家部分解決……
數(shù)學領域的三體問題
科幻小說《三體》的故事背景,是距離地球4光年的半人馬座α星中,一個由3顆恒星和一顆行星構(gòu)成的星系。在相互的引力作用下,這3顆恒星的運行軌道極不穩(wěn)定,隨時可能讓唯一的行星進入極寒或極熱的“亂紀元”、摧毀三體文明。為了脫離這三個“太陽”復雜的引力場環(huán)境,三體人企圖侵略地球,拉開了這個故事的序幕。
而在數(shù)學中,“三體問題”同樣存在。這是一個與牛頓的萬有引力相關的古典數(shù)學問題:如果有三個星體(無論恒星還是行星)通過萬有引力相互吸引——這就好像三個人在一起談戀愛,情況會變得十分復雜——大多數(shù)情景下這樣的三體問題不存在解析解。也就是說,雖然方程可以寫出來,但任何星體的運動軌跡卻解不出來。
1885年,瑞典國王奧斯卡二世懸賞了一大筆錢,他希望科學家能證明太陽系的穩(wěn)定性。這個問題其實就是所謂的N體問題,N表示星體的數(shù)目。最簡單的情況是N取2,那早已經(jīng)被牛頓之前的開普勒所解決;如果N取3,就是三體問題。在這個意義上,小說中的“三體”,其實是數(shù)學上的四體問題,因為三體星系中不僅有三顆“太陽”,還有三體人居住的行星。
法國大數(shù)學家龐加萊參與了這個學術競賽,他被譽為“最后一個既懂物理、又懂數(shù)學的百科全書式”數(shù)學家——他后來還在愛因斯坦之前研究過狹義相對論,相對論這個詞就是他提出的。(所以在狹義相對論中存在“龐加萊變換”)
龐加萊希望找出描述三體問題的“求根公式”。三體問題對應的是微分方程祖,他希望找到微分方程的通解,并且將這個解推廣到N體問題。
經(jīng)過整整三年的努力,龐加萊發(fā)現(xiàn)這個三體問題無法被徹底解決。但龐加萊還是把自己3年來夙興夜寐的研究成果寄到論文評審委員會,他在論文開頭他沮喪地寫道:“繁星是無法超越的。”
龐加萊的論文雖然沒有徹底解決三體問題,但他還是取得了重要進展——他發(fā)現(xiàn)了三體問題其實是一個混沌系統(tǒng),而且在研究過程中他發(fā)展了微分方程的定性分析,這相當于把微分方程理論與拓撲學進行了結(jié)合。所以,他還是在1888年獲得了瑞典國王提供的獎金。
龐加萊的研究表明,三體問題中星體的運動軌道雖然解不出來,但這個軌道總體來說是禁不起微擾的,所以軌道不可以被長時間預測。這就好比天氣也無法實現(xiàn)長期的預測,因為氣象系統(tǒng)是混沌的。一般情景下的三體問題最后都會導致混沌,也就是說,我們無法預測某一個星體長時間的運動軌跡。
潘勒韋猜想
但這個事情還沒完。
與龐加萊同時代還有一個法國人也在研究三體問題,而且他的身份非常特殊。他不但是一位數(shù)學家,還曾經(jīng)兩度擔任法國總理。這個人就是保羅·潘勒韋(Paul Painlevé,1863年-1933年)。
潘勒韋曾在著名的巴黎高等師范學校學習。獲數(shù)學博士學位后,潘勒韋先后在里耳大學、巴黎大學等學校任教。在任教期間,他也參加了瑞典國王奧斯卡二世舉辦的學術比賽,研究三體問題。
和龐加萊一樣,潘勒韋也是通過微分方程研究三體問題。雖然潘勒維的學術成就沒有龐加萊那么高,但也算頗有建樹。1895年,他在一次講座中提出了一個猜想,歷史上稱為“潘勒韋猜想”(Painlevé conjecture):在幾個星體通過萬有引力相互作用的情況下,可能出現(xiàn)這樣一種情況,那就是其中某個星體有可能在有限時間內(nèi),被其他星體甩到無限遠的地方去。
潘勒韋的這個猜想指出了N體問題中的某種可能性,那么為什么一個星體可以被別的星體排擠呢?這與N體問題中復雜的引力有關。
這些星體之間存在萬有引力。表面上看,引力讓星體相互吸引,但就像蕩秋千一樣,如果秋千的擺長是周期性變化的,秋千可能越蕩越高,最后蕩秋千的人會飛出來。在潘勒維猜想中,也存在類似的情況:如果某個星體的速度很快,而且在運動過程中被復雜的引力場一次次地加速,那么它就很可能被甩到無限遠處。(作為數(shù)學問題,這里只考慮經(jīng)典的牛頓萬有引力,不考慮相對論效應:星體的速度也可以大于光速。)
部分解決
潘勒韋自己提出了這個猜想,但解決不了。于是,他跑去當官了。1906年,潘勒韋當選為眾議員,在內(nèi)閣中任教育部長和發(fā)明部長。1917年,他擔任了法國總理——雖然時間很短,但這已經(jīng)是數(shù)學家出任政府官員的最高職位了。而在1925年,他再次出任法國總理。這種梅開二度的總理型數(shù)學家,歷史上只有他一個。
但潘勒韋猜想?yún)s成為數(shù)學界的一個經(jīng)典猜想,一直懸而未決。直到近100年后,來自中國的數(shù)學家夏志宏在美國西北大學讀博期間,證明了在至少5顆星體存在的情況下,潘勒韋描述的場景是可以成立的。這相當于證明了N≥5時,“潘勒韋猜想”是正確的。他的相關論文發(fā)表在1992年的《數(shù)學年鑒》上。
而四體問題的潘勒韋猜想,也就是小說《三體》中的設定,至今還沒有解決。