雙曲型偏微分方程與守恆律

震波形成(shock formation)

平滑的海浪能不斷變陡,直到波前變成垂直而碎成白沫。爆炸的聲音會銳化成一聲巨響。在這兩種情形中,原本完全光滑的東西都在有限時間內變成近乎間斷。震波形成正是這現象的數學名稱:非線性守恆律憑藉自身,把光滑的初始資料變成真正的跳變。

對 u_t + f(u)_x = 0 而言,機制如下。u 的每個值都沿著一條直特徵線、以自己的速度 f'(u) 行進。若較高的值比正前方較低的值移動得更快——也就是說,速度 f'(u) 沿運動方向遞減——那麼快的特徵線就會追上慢的。當兩條攜帶不同 u 值的特徵線相遇時,解就得同時取兩個值:對光滑函數而言這不可能。於是在那第一次交會的時刻,空間導數 u_x 變成無窮大(梯度爆破),震波就此誕生。對伯格斯方程 u_t + u u_x = 0、初始資料 u_0 遞減而言,第一次交會明確地發生在時刻 t* = -1 / min(u_0')。

它的重要性在於:震波形成正是「對非線性雙曲偏微分方程而言古典解不夠用」的根本原因。無論你的資料多麼光滑而溫和,震波都可能在有限時間內出現,此後 u_t + f(u)_x = 0 無法逐點成立。這迫使我們動用弱解、跳躍條件與熵條件這整套機制。它不是數值假象、也不是建模缺陷——它是方程的真實特徵,是音爆與水躍存在的原因。

取伯格斯方程 u_t + u u_x = 0,初始資料 u_0(x) 在 x < 0 時為 1、在 x > 1 時遞減到 0。較高的部分(速度 1)追逐前方較低的部分(速度 0)。剖面變陡,在特徵線首次交會的時刻斜率變成垂直:震波已形成,此後 u 在一條移動的波前上由 1 跳降到 0。

壓縮性(遞減)的資料迫使特徵線交會,在有限時間內形成震波。

一個常見的誤解是震波來自粗糙或帶雜訊的資料。其實不然:完全解析的初始資料也會形成震波,純粹源於非線性。反過來,擴張性(遞增)的資料會攤開成光滑的稀薄波而永不形成震波——決定一切的是梯度的方向。

又称
gradient catastrophewave breakingcrossing of characteristics震波生成波的破裂