偏微分方程

特徵線法

一階偏微分方程看起來嚇人,因為未知量同時依賴好幾個變數,但有一個優美的招法能馴服它:找出穿過區域的那些特殊曲線,偏微分方程沿之坍縮成一個常微分方程。沿其中一條曲線前行,方程就只是告訴你解隨之如何變化。這些特權路徑就是特徵曲線,沿它們行進就是特徵線法。

取一個一階方程,如 a(x, y) u_x + b(x, y) u_y = c(x, y, u)。左邊是 u 沿向量 (a, b) 的方向導數,所以沿任一切向為 (a, b) 的曲線——即滿足 dx/dt = a、dy/dt = b 的曲線——u 的變化由 du/dt = c 支配。單個偏微分方程已變成一組常微分方程:在 (x, y) 平面裡解出特徵曲線,再沿每一條積分 du/dt = c,把解從數據攜帶向前。從幾何上看,解曲面由這些特徵曲線編織而成,每一條都從初始曲線的一點出發、攜帶它的值。對最簡單的情形——輸運方程 u_t + c u_x = 0——特徵是直線 x - c t = 常數,u 沿每條簡單地保持常數——一個以速度 c 向右剛性平移的輪廓。

特徵線法是一階偏微分方程以及一般雙曲問題的天然工具:交通流、氣體動力學、幾何光學,以及任何守恆律。它最誠實的一課是非線性方程會發生什麼:當特徵速度依賴於 u 本身時,特徵會相交,解曲面折疊,光滑解不復存在——激波形成。這個方法不僅解簡單情形,它還精確預言經典解必將在何處、何時崩潰,這是任何其他初等方法都給不了你的信息。

對輸運方程 u_t + c u_x = 0、初值 u(x, 0) = f(x),特徵是 x - c t = 常數,u 沿每條保持常數,於是 u(x, t) = f(x - c t):初始輪廓只是以速度 c 向右滑動,形狀從不改變。

沿每條特徵,偏微分方程都是平凡的;把這些直線縫在一起就給出行波解。

對非線性一階偏微分方程,特徵可能相交;相交之處不存在單值的光滑解,激波形成——這個方法誠實地標示出崩潰,而非隱藏它。

又稱
characteristicscharacteristic curves特征曲线法特徵曲線法