為什麼是這三條方程?
你現在已經認識了偏微分方程是什麼、階與主部如何運作、從線性一路到完全非線性的階梯,還有讓你用簡單解拼出複雜線性解的疊加原理。本層樓的最後一篇要給你一張地圖。你遇到的幾乎每一條二階線性偏微分方程,行為都像三條模型方程之一;把這三條徹底學透,就像在環遊一個國家之前,先認識三座地標城市。
這三條是:熱方程 u_t = k u_xx、波動方程 u_tt = c^2 u_xx,以及拉普拉斯方程 Laplacian u = u_xx + u_yy = 0。它們正是三種型的標準代表——拋物型、雙曲型與橢圓型——也就是先前樓層中判別式 B^2 - A C 所分出來的那三類。模型方程路線圖所承諾的,正是:把這三條搞懂,透過分類就能延伸到一大群形形色色的近親方程。
熱方程:會抹平、會遺忘的拋物型
熱方程 u_t = k u_xx 是擴散的原型。把它讀成一條運動法則:u_xx 衡量一個點的值比鄰居的平均低多少或高多少,所以凡是凸起的地方,u_xx 為負,u_t 就把它往下壓;凡是凹陷的地方,u_t 就把它往上抬。讓這條法則跑下去,每一道皺褶都會被平均掉——這條方程是拋物型,它的工作就是把差異抹平、推向平衡。
有兩個意外,讓熱方程值得我們敬重。第一,它具有無窮傳播速度:在某一點放下一個熱源,數學上溫度會在每一處瞬間升高——見無窮傳播速度。這是公認的理想化(真實的擴散並非真的瞬間發生),但這正是這個光滑模型所預測的。第二,它有強大的平滑效應:即使是參差不齊、不連續的初始資料,在 t > 0 的那一瞬間就變得完全光滑。
平滑是要付出沉重代價的:這條方程會遺忘。因為尖銳的特徵都被平均成一團糊,你無法從現在重建過去。求解逆向熱方程——往更早的時間倒推——是個經典的不適定問題:現在的微小量測誤差在你往回走時會爆炸性地放大。這種不可逆性,就是著名的「時間單向箭頭」,被直接寫進了方程裡。
波動方程:會傳播、會記得的雙曲型
波動方程 u_tt = c^2 u_xx 的脾氣恰恰相反。它是雙曲型,而在一維空間中,達朗貝爾證明它的通解簡單得驚人:任何擾動都分裂成一個右行波和一個左行波,各自以速度 c 滑行而不改變形狀。你撥動琴弦所造出的形狀,會原封不動地朝兩個方向航行而去。
寫出來,達朗貝爾公式就是 u(x,t) = F(x - c t) + G(x + c t):一個右行形狀 F 與一個左行形狀 G,各自是形如 u = f(x - c t) 的行波,單純地剛性滑行而去。把它和熱方程處處對照。波動方程具有有限傳播速度——沒有任何東西能跑贏 c,所以一點上的訊號只有在經過行進時間之後才會到達另一點,這正是有限傳播速度的內涵。而且它不平滑:初始資料裡的一個尖角會永遠是尖角,沿著特徵線一路傳下去。熱方程模糊又遺忘,波動方程卻傳輸又記得,這正是它能守恆能量、也正是聲音與光能把尖銳訊息送過一整個房間的原因。
拉普拉斯方程:沒有時間的橢圓型
拉普拉斯方程 Laplacian u = u_xx + u_yy = 0 是格格不入的那一個:它根本沒有時間變數。它描述的是平衡——當 u_t 衰減到零後擴散所安頓下來的穩態,或是一片繃在金屬線圈上的肥皂膜的形狀。它的解稱為調和函數,而身為橢圓型賦予了它們一種神奇的剛性:任一點的值,等於環繞它的每一個圓周上的值的平均。
那條平均法則立刻就有了尖牙。一個調和函數在內部不可能有峰也不可能有谷——它的最大值與最小值只住在邊界上,這就是極值原理。所以對橢圓型方程而言,正確的問法是邊界值問題:在一個區域的整圈邊緣上指定 u,則狄利克雷問題就唯一且光滑地決定了內部處處的 u。這裡沒有一個可供前進的「初始時刻」;只有圍住這片田地的籬笆。
型才是重點:哪種資料才適定
現在路線圖開始回本了。一個型的標籤所能告訴你最有用的一件事,就是哪些附帶條件能構成一個合理的問題——也就是它的依型而定的適定性。三大方程各自要求一種不同的資料,而問錯了種類,得到的問題要嘛無解、要嘛有無窮多解、要嘛在微小擾動下就爆炸。
heat (parabolic): u(x,0) given on a line + boundary values -> well-posed forwards in time wave (hyperbolic): u and u_t given on a line at t=0 (Cauchy) -> well-posed both directions Laplace (elliptic): u (or u_n) given on the whole boundary curve -> well-posed; Cauchy data is NOT
最有名的陷阱,就是替拉普拉斯方程指定柯西資料。哈達瑪的例子顯示:兩組僅相差一道察覺不到的高頻漣漪的邊界輸入,會產生在內部相差極其巨大的解——一個不適定問題,儘管這條方程是三者中最溫和的。對稱地,熱方程往時間前方走是適定的,往後走卻是不適定的。本層樓的教訓濃縮成一句話:是方程的型、而不是你的願望,決定了你被允許問什麼。
這張地圖接下來通往何方
這三條方程都是線性的,所以疊加原理完全有效:你可以把解相加,而接下來的樓層正是把這一點兌現——分離變數法、傅立葉級數、各種變換、以及格林函數,全都是靠疊加簡單的零件來搭出大答案。一路前行時,請記住這三種脾氣:抹平與遺忘(熱方程)、傳播與記得(波動方程),以及剛性的平衡(拉普拉斯方程)。
在你往上爬之前,有兩個誠實的告誡。乾淨俐落的型標籤,假設的是線性、係數大致為常數的方程;真正的非線性偏微分方程會打破規則——一條非線性守恆律的光滑解可能在有限時間內形成震波,而之後若不加上一個熵條件來挑出物理的那個,弱解甚至不唯一。而且並非一切都已塵埃落定:三維納維-斯托克斯方程的解是否對所有時間都保持光滑,是個著名的未解問題。三大方程是你的起點,而不是整個國家。