跳轉到

1.3 歐拉:分析的化身與流體的方程#

巴塞爾到聖彼得堡:知識遷徙的路線#

1707 年生於巴塞爾的歐拉,是約翰·伯努利的學生。1727 年,在丹尼爾·伯努利的引薦下,他來到俄國聖彼得堡科學院。這條人才路線本身就是歷史:彼得大帝推動西化改革,重金聘請歐洲學者建立科學院;歐拉後來又應腓特烈大帝之邀在柏林科學院任職二十五年,晚年重返聖彼得堡。啟蒙時代的君主們把科學院當作國家榮譽與治理能力的象徵——數學家的遷徙路線,就是當時歐洲政治與資助制度的溫度計。

歐拉一生寫了八百多篇論文,半生失明仍以心算繼續工作,被稱為「分析的化身」。拉普拉斯對後輩的告誡是:「讀讀歐拉,讀讀歐拉,他是我們所有人的老師。」

從牛頓質點到連續介質#

牛頓力學處理的是質點——離散的物體。但空氣、水、聲波是連續的,充滿了整個空間。要描述它們,必須追問:空間中每一點、每一時刻的速度與密度是多少?這意味著未知量不再是幾個數,而是幾個依賴於位置與時間的函數;它們的方程也不再是常微分方程(ODE),而是偏微分方程(PDE)。

丹尼爾·伯努利 1738 年的《流體力學》給出了流動中壓力與速度關係的伯努利原理——飛機機翼升力的解釋至今仍從它出發。而歐拉 1755 年發表的流體運動方程,把這一切寫成了完備的 PDE 組:

\[\frac{\partial \rho}{\partial t} + \nabla\cdot(\rho \mathbf{u}) = 0, \qquad \rho\left(\frac{\partial \mathbf{u}}{\partial t} + \mathbf{u}\cdot\nabla\mathbf{u}\right) = -\nabla p\]

第一式是連續性方程(質量守恆),第二式是動量方程。歐拉本人豪邁地寫道:方程的確立需要聰慧,此後的計算不過是耐心的問題。他說對了一半——方程是對的,但「計算」並不耐心就能完成:歐拉方程是非線性的,一般情形至今無法解析求解。它們是今天計算流體力學(CFD)的起點,從氣象模式到火箭發動機設計,全都在數值求解這組兩百七十歲前的方程。

剛體、擺與陀螺:工程時代的常微分方程#

歐拉同時把常微分方程的技術推向全面成熟:剛體轉動的歐拉方程描述了陀螺與船舶的搖晃(船舶穩性設計直接依賴它);他系統化了線性方程的解法,引入特徵值思想處理振動問題。累積誤差、數值逼近這些「計算數學」的雛形問題,也出現在他為普魯士炮兵所做的彈道計算中——戰爭再次成為數學的催生婆。

歐拉恆等式與弦的伏筆#

歐拉留給微分方程故事最奇妙的遺產,或許是那條被譽為最美公式的恆等式:

\[e^{i\theta} = \cos\theta + i\sin\theta\]

它把指數函數與三角函數縫合在一起。這條縫合線正是解線性微分方程的萬能鑰匙——電路分析、振動理論、波動方程、直到量子力學的波函數,全都靠它把「振盪」寫成「旋轉」。而三角函數作為解的角色,將在下一章的弦振動爭論中被推上風口浪尖:它們真的足以表示「任意」的運動嗎?這個問題將撕裂十八世紀最頂尖的頭腦。

小結#

主題 形式 現代迴響
歐拉流體方程 非線性 PDE 組 CFD、氣象、航太
伯努利原理 能量守恆的流體版 機翼升力、管流設計
剛體歐拉方程 ODE 組 船舶穩性、衛星姿態控制
歐拉恆等式 複指數 一切振動問題的解法核心

國家資助的制度(聖彼得堡、柏林科學院)供養了歐拉的天才,歐拉的天才又回饋以整個工程時代的數學基礎。但一場即將到來的爭論將暴露出:這些天才對「函數」與「解」的理解,遠比他們的計算技巧更加原始。


下一節:2.1 一根琴弦的爭論