跳轉到

3.2 龐加萊與三體問題:混沌的第一次現身#

國王的獎金#

1885 年,瑞典國王奧斯卡二世為慶祝六十歲生日,透過數學家米塔-列夫勒設立了一項國際數學大獎,徵求四個問題的解答,其中第一個也是最引人注目的,正是牛頓遺留兩百年的三體問題:給定任意初始條件,求太陽系中多體相互作用的軌道,並判斷太陽系是否穩定。

年輕的法國數學家亨利·龐加萊投入了這場競賽。他明智地縮小戰場:研究一個簡化的「限制性三體問題」——兩個大天體沿圓軌道互繞,第三個質量可忽略的小天體(例如小行星)在它們的引力場中運動。

一次「證明」、一位幫手與一場自我推翻#

1889 年,龐加萊提交論文並獲得首獎。論文付印之際,負責校對的年輕數學家法羅曼發現文中一處推理有誤。龐加萊重新檢查後發現錯誤比想像嚴重得多:被他視為可以忽略的某種軌道行為,不僅不能忽略,而且徹底推翻了他對解的性質的刻畫。他自費重印了全部論文(獎金几乎賠進去),換上的是一個震撼數學史的新結論:

即使是簡化的三體問題,也不存在可以寫出來的一般解;其軌道對初始條件極度敏感,複雜到無法用當時的任何數學工具描述。

他發現了一種今天稱為同宿軌道的結構:兩條分離的軌道曲線無窮多次相交、纏繞,形成他自認「畫都畫不出來」的無限複雜的網。這就是混沌——比洛倫茲早了七十年,比「蝴蝶效應」一詞早了近一個世紀。

定性理論的誕生#

龐加萊為了處理這個問題,發明了一整套至今仍是動力系統中心的工具:相空間的幾何觀點、截面法(龐加萊截面,把連續軌道化為離散映射)、不變積分與週期軌道的分類。他的口號可以概括為:不解方程,研究方程的全體解所構成的幾何。

這與拉普拉斯的決定論夢想形成刺眼對比。拉普拉斯妖仍可以在原則上「知道」每個粒子的未來——方程是決定論的;但龐加萊證明,知道不等於能算:初始條件中無窮小位數的資訊,會被動力學指數放大為完全不同的結局。「決定論」與「可預測性」從此分家。這是二十世紀科學哲學最深刻的斷裂之一。

為什麼當時無人跟進#

耐人尋味的是,混沌的第一次現身並未立即掀起革命。原因一半在數學(龐加萊的論文艱深、工具不足),一半在文化:十九世紀末的物理學主流相信分析與近似的力量,天文學家對「軌道敏感」的個例不以為意——攝動理論在實務上夠用了。混沌要等到六十年後,靠高速計算機把這些纏繞的軌道畫在螢幕上(見 4.3 節),才成為一場人人可見的革命。理論先行、技術補位的時間差,是科技史上反覆出現的節奏。

龐加萊本人則繼續前進:他在 1900 年代的《科學與假設》中討論了偶然性與機率的深層角色,影響了整個一代法國思想界;他對相對論的先驅性工作與對拓撲學(位置分析)的奠基,使他被視為最後一位「通才數學家」。

小結#

年份 事件 意義
1885 奧斯卡二世設獎 國家贊助基礎數學的典範
1889 龐加萊獲獎、發現錯誤、重寫 混沌在自我推翻中誕生
1890s 定性理論、龐加萊截面 動力系統成為獨立學科
1908 《科學與方法》論偶然性 決定論與可預測性分家

三體問題至今沒有一般解析解(它已被證明不可積),但龐加萊的失敗之作成為動力系統的《創世記》。而本章的最後一節,我們轉向中歐,看解的另一端——方程的解如何誕生、又如何突然變性——被兩位說德語的數學家寫成定理。


下一節:3.3 維也納的冪級數與霍普夫分岔