一根熱棒,與它提出的問題
你來到這一級時已駕輕就熟:你知道未知量 u(x,t) 同時依賴於空間與時間,你曾沿特徵線搬運過輪廓,也把二階方程分類成橢圓、拋物與雙曲三型。現在,來認識拋物族的首腦。想像一根又細的金屬棒,側面包覆好讓熱量不從旁邊逸出,一端被加熱、其餘處仍涼。熱量沿棒緩緩爬行;隨著分鐘流逝,溫度的圖案逐漸柔化、攤平。函數 u(x,t) 是時間 t 時棒上位置 x 處的溫度,而我們全部的任務,就是找出那一條方程,說清楚 u 如何從一刻變到下一刻。
最終結果既著名又簡短:u_t = k u_xx,即 熱方程,其中 k 是一個正常數。但一個只學了名字、不知其來歷的方程,是空洞的。這裡誠實的樂趣在於:這條方程並非從天而降——它是被兩件你早已相信、樸素到不行的事實逼出來的。第一,熱量從熱處流向冷處。第二,棒內的熱量既不被產生也不被消滅,它只是移動。把這兩句話化成代數,方程便自然落下。同一套推導,把溫度換成濃度,就給出一個擴散化學物的擴散方程,這正是兩個名字坐落於同一套數學之上的原因。
定律一:熱量沿溫度往下坡流
第一項材料是 傅立葉熱傳導定律。它說:熱量流過某點的速率,正比於該處溫度下降的陡峭程度,且朝著冷的一側流。把熱通量——單位時間穿過的能量,向右移動時取正——寫成 q = -K u_x。斜率 u_x 衡量你往右移時溫度爬升的快慢;那個負號把「爬升」轉成「向左推」,於是熱量總是沿溫度往下坡走。常數 K > 0 是傳導率,銅大、木小。留意這個想法的形狀:它與費克定律是同一套「沿梯度往下坡」的邏輯,後者中粒子從擁擠處漂向稀疏處。
定律二:熱量只是被搬動,從不流失
第二項材料是記帳——一條 守恆律。在棒上圍出從 x 到 x + dx 的一小段薄片,盤點它的熱量帳。薄片內部的能量只能透過跨越它兩端而改變:熱量從左面湧入、從右面漏出。儲存的熱量正比於溫度,所以內部熱量累積的速率,正比於 u_t 乘上薄片寬度 dx。由守恆律,這份累積必須等於(左端流入)減(右端流出)——任何沒有離開的,就一定還在這裡。放眼整根棒,這正是「總熱量只是被重新分配」的陳述,即總熱量守恆。
現在把記帳做精確。淨流入是 q(x) - q(x + dx),即兩面通量之差。對一小段薄片,這個差等於 -q_x 乘以 dx,因為 q_x 不過是通量在空間中變化的快慢。把累積與淨流入相平衡,得到(常數)u_t dx = -q_x dx。約掉共同的 dx,薄片便縮去,留下一條乾淨的局部律,把溫度的時間變化綁到通量的空間變化上:c u_t = -q_x,其中 c 收攏了材料的密度與比熱。這與你在傳輸方程中遇過的守恆模式 u_t + q_x =(源)是同一套——只是通量法則 q 不同。
把兩條定律合起來
兩條定律,一次代換。守恆給出 c u_t = -q_x;傅立葉定律給出 q = -K u_x。把通量法則對 x 微分得 q_x = -K u_xx,再代入守恆律:c u_t = -(-K u_xx) = K u_xx。除以 c,並定義 k = K / c。熱方程 便浮現:u_t = k u_xx。每一塊都掙得了它的位置:時間導數是熱量的堆積,二階空間導數是兩面之間通量的不平衡,而常數 k 就是把前者換算成後者的東西。
Fourier's law: q = -K u_x (flux runs downhill)
Conservation: c u_t = -q_x (nothing lost)
substitute q_x = -K u_xx:
c u_t = K u_xx
divide by c, set k = K/c:
u_t = k u_xx THE HEAT EQUATION那單一的正數 k = K / c 就是 熱擴散率,值得停留片刻。它不是棒有多熱、也不是它含多少熱——它是溫度不平衡被抹平的快慢。k 大(金屬),凸起很快被弭平;k 小(磚牆),它們可逗留數小時。把方程讀成白話:一點的溫度上升,恰恰發生在該點比它緊鄰鄰居的平均更冷之時,因為 u_xx > 0 意味著圖形向上凹,是個局部凹谷。熱量湧入凹谷、自凸起排出。這一句話,就是 u_t = k u_xx 全部的定性意義。
方程已經告訴我們什麼——以及它沒有的
看看這條方程在你的分類裡落在何處。它有一個時間導數、兩個空間導數,屬於 拋物型,是橢圓與雙曲之間的邊界情形——而型,就是宿命。單一的時間導數意味著時間只往一個方向走:方程在 t 換成 -t 之下並不對稱,這正是你再過兩篇導讀將研究的「時間之箭」的數學根源。兩個空間導數——二階且平滑化——預示了尖銳的初始凸起會被瞬間磨圓。相對地,波動方程 u_tt = c^2 u_xx 有兩個時間導數,屬雙曲型,行為截然不同——有限速度、不平滑化。符號看似相同,物理卻相反;決定一切的,是型。
在離開推導之前,兩個誠實的提醒。第一,我們把 K、c、k 都當成常數——這是個乾淨的假設,對均勻的棒、在不太極端的溫度範圍內成立。若材料隨空間變化,或 k 依賴於溫度,方程就變成變係數或非線性,而整齊的 u_t = k u_xx 只是領頭階的故事。第二,這整段論證假設只有傳導、且棒的側面絕熱;若沿棒加上一個熱源,守恆律就多出一項,u_t = k u_xx +(源),這個非齊次情形由本學習階梯最後一篇導讀以杜阿梅原理處理。這個推導對它所假設的一切是精確的——而說清那些假設,正是理解它的一部分。