1890 - Poincaré 三體問題——混沌的第一次現形#

案件摘要#

1890 年，Poincaré 為瑞典國王 Oscar 二世的數學競賽提交三體問題論文，一舉奪魁。但真正震驚世界的，是論文修改版中的發現：三體問題一般不可積，而且系統對初值極度敏感——微小的初值差異，會隨時間放大成完全不同的軌道。他在同宿點附近發現了「同宿纏結」(homoclinic tangle)——今日所稱混沌的數學結構第一次現形。哈密頓力學的美麗可積世界（Hamilton–Jacobi 分離變數）在這裡撞牆，而牆後是一個全新的宇宙。

前因#

Oscar II 競賽（1885）：國王 60 歲壽辰辦數學競賽，題目之一是 Weierstrass 提出的「求三體問題的級數解」。
二體問題已完全解決：開普勒問題可分離變數、有完全積分（見 1837-HamiltonJacobi方程.md）。
Sundman 級數的歧路：Sundman 後來（1912）真的給出三體級數解——但收斂太慢，毫無實用價值。正確方向不是「硬解」，而是「理解為何不可解」。
Poincaré 的直覺：與其找級數，不如研究解的定性行為——相空間的拓撲結構。

線索與推理#

第一步：可積性的判據#

\(n\) 自由度哈密頓系統可積 ⇔ 存在 \(n\) 個兩兩對合的守恆量：

\[ F_1 = H,\ F_2,\ \dots,\ F_n, \qquad \{F_i, F_j\} = 0 \]

（Liouville–Arnold 定理；可積 ⇒ 軌跡在 \(n\) 維不變環面上。）三體問題有 \(n = 9\times2/...\) （12 階系統， \(n=6\) ），但只找到 10 個守恆量（能量、質心動量×6、角動量×3）——不夠。缺口的補法找了一百年，Poincaré 證明：一般不存在。

第二步：小分母問題#

用攝動法處理「行星 + 微擾」時，級數項形如

\[ \frac{A}{m\omega_1 + n\omega_2} \quad (\text{分母 = 頻率的整數組合}) \]

當 \(m\omega_1 + n\omega_2 \to 0\) （共振），項發散。這個「小分母問題」困擾了攝動理論半世紀，直到 KAM 定理（見 1954-KAM定理.md）才給出部分解答。

第三步：同宿纏結——混沌的指紋#

Poincaré 研究雙曲不動點的穩定/不穩定流形，發現它們同宿相交後必然產生無窮次橫向相交：

\[ W^s(\text{不動點}) \cap W^u(\text{不動點}) = \{\text{無窮多個同宿點}\} \]

他自己的描述（原文大意）：

「當人們想畫出這兩條曲線及其無窮次交織的形狀……這些交點形成一種網格、織物、無窮密集的網眼；每條曲線都不得自交，卻要以無窮複雜的方式折返。」

Smale（1960s）的馬蹄映射後來把這個結構抽象化，成為混沌的標準模型。

第四步：對初值敏感（蝴蝶效應的前身）#

Poincaré 證明：同宿纏結附近，初值的微小誤差 \(\delta_0\) 隨時間指數放大：

\[ \delta(t) \sim \delta_0\, e^{\lambda t}, \qquad \lambda > 0\ (\text{Lyapunov 指數}) \]

級數解注定失敗：不是技巧不夠，而是解本身對初值不連續（在拓撲意義下）。

競賽論文的戲劇性#

Poincaré 首版（1890）宣稱證明了級數收斂——校樣階段發現證明有錯（正是穩定流形的相交問題）。他自費重印全部校樣，在修改版中承認錯誤並提出同宿纏結。錯誤成為混沌理論的誕生現場。

結案#

三體問題一般不可積；可積世界的美夢破碎，但「定性動力學」（拓撲、流形、分岔）誕生。
連鎖反應：
KAM 定理救回「多數不變環面」（1954-KAM定理.md）；
Hénon–Heiles 給出混沌的數值相圖（1963-HeonHeiles混沌.md）；
電腦模擬成為研究混沌的新偵探工具（1955-FPUT實驗.md）。
深遠影響：氣象（Lorenz 1963）、生態、經濟——「確定不等於可預測」成為 20 世紀科學的核心教訓。