二階線性偏微分方程:分類與標準形

有限對無限傳播速度(finite versus infinite propagation speed)

你若大喊一聲,田野另一頭的朋友會在片刻後聽見——聲音需要時間抵達,而夠遠的人此刻還什麼都沒聽到。但若你加熱一根理想化桿子的一端,熱方程的數學卻說遠端會瞬間變得極其微弱地更暖。這兩種行為——有速度上限的訊號,相對於瞬間在各處被感受到的效應——是偏微分方程傳播的兩個對立世界,而你住在哪一個,由方程的型別決定。

有限傳播速度是雙曲型(波動)的行為。波動方程 u_tt = c^2 u_xx 以恰好速度 c 移動擾動:起於某區間內的隆起,要等到夠長的時間讓速度 c 的訊號抵達某點之前,無法影響該點。這給出真正的依賴域((x, t) 處的值只依賴 c*t 距離內的初始資料)與影響域(某點的擾動只觸及速度 c 所能抵達的錐)。無限傳播速度是拋物型(擴散)的行為。u_t = k u_xx 的熱核解是一個高斯函數,在 t > 0 的那一刻對每一個 x 都嚴格為正,所以原點處的溫度尖峰會立即抬高各處的溫度——沒有比整條線更小的依賴域。

為何要在意,與一個誠實的提醒。這個區別告訴你用各方程來模擬什麼在物理上合理,並形塑了證明:有限速度支撐波動方程適定的柯西問題與能量估計,而無限速度則與熱方程的瞬時平滑化及其不可逆性綁在一起。但無限速度是一個理想化——古典熱方程預言比光更快的效應,這不合物理;更精緻的模型(電報/雙曲熱方程)恢復了有限速度。而且並非所有物理都這麼乾淨:像多孔介質方程這類非線性退化擴散,實際上具有有限速度的波前,違反了線性擴散的直覺。

在密閉的房間裡點一根火柴。依波動的圖像,閃光只在一段微小但確定的行進時間後才抵達遠牆(有限速度)。依熱的圖像,火焰的溫暖——在數學上——在點燃的那一瞬間就抬高了遠牆的溫度,儘管只是無法測量的微小量(無限速度)。同一個房間、兩個方程、兩條傳播律。

雙曲型=速度上限與依賴域;拋物型=瞬間、各處皆然——型別決定是哪一個。

無限傳播速度是線性熱方程的特性,而非擴散的普遍定律:它在物理上不切實際(比光還快),而像多孔介質方程這類非線性退化擴散,確實以有限速度傳播。

又称
speed of propagation傳播速度finite speed of propagation