2.2 微分方程:描述宇宙變化的核心語言#
從「量」到「變化」的範式轉移#
牛頓之後,物理學的提問方式徹底改變。不再問「行星在哪裡」,而是問:
「此刻的狀態,決定了它如何變化。請解出未來。」
這就是微分方程(ODE/PDE):一個包含未知函數及其導數的方程。
牛頓《原理》(1687)第二卷已經用文字寫過微分方程。今天我們知道:宇宙的「作業系統」就是微分方程——行星軌道、電路、流行病、神經元放電、股價,全都用它編寫。
經典例子一:單擺(鐘錶經濟的數學)#
大航海時代最大的技術難題是經度:船在海上無法確定東西位置,不知道經度就不知道還有多遠才到港口,無數商船因此觸礁。1657 年惠更斯發明擺鐘,就是為了解決這個價值連城的問題(英國後來的經度獎 £20,000 便是明證)。
單擺的力矩方程:
這是非線性的(有 \(\sin\theta\))。小角度近似 \(\sin\theta \approx \theta\) 後變線性:
解為 \(\theta(t) = A\cos(\omega t)\)——週期與擺幅無關(等時性)。這條性質讓鐘錶成為可能,讓「時間」從教堂的鐘聲變成資本主義的計價單位。工業革命與工時制度、鐵路時刻表、全球時區,全部建立在「精確且可複製的振盪器」上。
但注意:大角度時 \(\sin\theta \approx \theta\) 失效,等時性破壞——惠更斯用擺線齒輪修正。線性化是工程師的魔法,也是數學家的妥協;什麼時候能線性化、什麼時候不能(第 10 章混沌!),是貫穿本書的主線。
經典例子二:人口與傳染病(馬爾薩斯到 SIR)#
1798 年馬爾薩斯《人口論》:人口按幾何級數增長(\(\dot{P} = rP\),解為 \(P = P_0 e^{rt}\))——這條指數曲線引發了經濟學史上最著名的悲觀預言,也刺激了達爾文(他讀了馬爾薩斯才想通「生存鬥爭」)。經濟學文本 → 進化論的催化劑,思想流動的意外路徑。
邏輯斯蒂方程加入資源限制:
1927 年 Kermack–McKendrick 的 SIR 模型把同樣想法用到傳染病:
2020 年 COVID-19 期間,全球政府決策直接依賴這組方程的數值解。一個 1927 年的數學模型,變成了 2020 年封城政策的依據——數學的社會影響力常以數十年為尺度兌現。
解微分方程:為何「解析解」如此稀少#
大多數微分方程沒有封閉形式的解。這不是數學家的失敗,而是數學的本性(後來龐加萊證明三體問題不可解析求解,見第 10 章)。於是數學分支轉向兩條路:
- 定性理論(龐加萊,1880s):不解方程,但證明解的軌跡「長什麼樣」——穩定?週期?發散?這直接催生了混沌理論。
- 數值計算:用差分近似導數,一步步「迭代」。這條路最終導致電腦的發明——埃尼阿克(ENIAC, 1945)的第一個正式任務就是計算氫彈與砲彈彈道的微分方程。
flowchart LR
A[微分方程] -->|可解| B[解析解<br>公式]
A -->|不可解| C[定性理論<br>龐加萊→混沌]
A -->|不可解| D[數值迭代<br>→ 電腦誕生]
D --> E[數位時代<br>模擬即科學]深刻的歷史反諷:牛頓發明微積分是為了避免無窮逼近(他嫌無窮級數不夠「精確」);三百年後,人類承認解析解是奢侈品,整個數位文明建立在無窮逼近上——你的手機每一秒都在做數值積分(感測器融合、遊戲物理引擎)。
小結#
| 概念 | 數學形式 | 歷史驅動力 | 現代迴響 |
|---|---|---|---|
| 單擺方程 | \(\ddot\theta + \omega^2\theta = 0\) | 航海經度、鐘錶貿易 | 時間標準化、工時制度 |
| 馬爾薩斯/邏輯斯蒂 | \(\dot P = rP(1-P/K)\) | 人口與政治經濟學 | 生態學、流行病模型 |
| 定性理論 | 相空間、軌道分類 | 三體問題 | 混沌、非線性科學 |
| 數值解 | 差分迭代 | 彈道、核武 | 電腦、模擬科學 |
微分方程給了人類一件前所未有的事物:一種寫下來就能「運行未來」的語言。下一章,我們要看愛因斯坦如何把這種語言升級到彎曲的時空。