1.3 歐拉:分析的化身與流體的方程#
巴塞爾到聖彼得堡:知識遷徙的路線#
1707 年生於巴塞爾的歐拉,是約翰·伯努利的學生。1727 年,在丹尼爾·伯努利的引薦下,他來到俄國聖彼得堡科學院。這條人才路線本身就是歷史:彼得大帝推動西化改革,重金聘請歐洲學者建立科學院;歐拉後來又應腓特烈大帝之邀在柏林科學院任職二十五年,晚年重返聖彼得堡。啟蒙時代的君主們把科學院當作國家榮譽與治理能力的象徵——數學家的遷徙路線,就是當時歐洲政治與資助制度的溫度計。
歐拉一生寫了八百多篇論文,半生失明仍以心算繼續工作,被稱為「分析的化身」。拉普拉斯對後輩的告誡是:「讀讀歐拉,讀讀歐拉,他是我們所有人的老師。」
從牛頓質點到連續介質#
牛頓力學處理的是質點——離散的物體。但空氣、水、聲波是連續的,充滿了整個空間。要描述它們,必須追問:空間中每一點、每一時刻的速度與密度是多少?這意味著未知量不再是幾個數,而是幾個依賴於位置與時間的函數;它們的方程也不再是常微分方程(ODE),而是偏微分方程(PDE)。
丹尼爾·伯努利 1738 年的《流體力學》給出了流動中壓力與速度關係的伯努利原理——飛機機翼升力的解釋至今仍從它出發。而歐拉 1755 年發表的流體運動方程,把這一切寫成了完備的 PDE 組:
第一式是連續性方程(質量守恆),第二式是動量方程。歐拉本人豪邁地寫道:方程的確立需要聰慧,此後的計算不過是耐心的問題。他說對了一半——方程是對的,但「計算」並不耐心就能完成:歐拉方程是非線性的,一般情形至今無法解析求解。它們是今天計算流體力學(CFD)的起點,從氣象模式到火箭發動機設計,全都在數值求解這組兩百七十歲前的方程。
剛體、擺與陀螺:工程時代的常微分方程#
歐拉同時把常微分方程的技術推向全面成熟:剛體轉動的歐拉方程描述了陀螺與船舶的搖晃(船舶穩性設計直接依賴它);他系統化了線性方程的解法,引入特徵值思想處理振動問題。累積誤差、數值逼近這些「計算數學」的雛形問題,也出現在他為普魯士炮兵所做的彈道計算中——戰爭再次成為數學的催生婆。
歐拉恆等式與弦的伏筆#
歐拉留給微分方程故事最奇妙的遺產,或許是那條被譽為最美公式的恆等式:
它把指數函數與三角函數縫合在一起。這條縫合線正是解線性微分方程的萬能鑰匙——電路分析、振動理論、波動方程、直到量子力學的波函數,全都靠它把「振盪」寫成「旋轉」。而三角函數作為解的角色,將在下一章的弦振動爭論中被推上風口浪尖:它們真的足以表示「任意」的運動嗎?這個問題將撕裂十八世紀最頂尖的頭腦。
flowchart LR
A[牛頓質點力學<br>ODE] --> B[丹尼爾·伯努利<br>流體力學 1738]
B --> C[歐拉方程 1755<br>流體 PDE]
C --> D[非線性、難解]
D --> E[20 世紀<br>計算流體力學]小結#
| 主題 | 形式 | 現代迴響 |
|---|---|---|
| 歐拉流體方程 | 非線性 PDE 組 | CFD、氣象、航太 |
| 伯努利原理 | 能量守恆的流體版 | 機翼升力、管流設計 |
| 剛體歐拉方程 | ODE 組 | 船舶穩性、衛星姿態控制 |
| 歐拉恆等式 | 複指數 | 一切振動問題的解法核心 |
國家資助的制度(聖彼得堡、柏林科學院)供養了歐拉的天才,歐拉的天才又回饋以整個工程時代的數學基礎。但一場即將到來的爭論將暴露出:這些天才對「函數」與「解」的理解,遠比他們的計算技巧更加原始。