偏導數記號
在你能讀懂一條 PDE 之前,必須先讀懂它的導數,而這門學科用一套精簡的速記法,花十分鐘學會、終身受益。偏導數是 u 在某個選定方向上的斜率,其餘變數凍結不動。完整寫法是花體 d 記號「partial u over partial x」,但每一項都這樣寫太累人,所以幾乎人人都用下標:u_x 表示 u 對 x 的偏導數,u_t 對 t,依此類推。
更高階與混合導數就把下標疊起來。u_xx 是把 u_x 再對 x 求導(二階導數,衡量 x 方向的曲率);u_tt 是二階時間導數;u_xy 表示先對 x 再對 y 求導。對平滑函數而言,混合求導的次序無關緊要,所以 u_xy 與 u_yx 相同——這個小事實(克萊羅定理)你會時時倚賴。另有三個組合因為太常出現而各有專名:梯度 grad u(寫作 nabla u)把所有一階空間導數收集成一個向量 (u_x, u_y, u_z),指向 u 增長最快的方向;向量場 F = (P, Q, R) 的散度 div 是純量 P_x + Q_y + R_z,衡量淨流出;拉普拉斯算子 Laplacian u(也寫作 nabla^2 u 或 Delta u)則是 div grad u = u_xx + u_yy + u_zz。
這些符號不是裝飾——它們編碼了幾何意義。一階導數是變化率或斜率;像 u_xx 這樣的二階導數是曲率;梯度是最陡上升的方向;散度是「有多少東西離開這一點」;拉普拉斯算子則把某點的 u 與其鄰近的平均值相比較。一旦你能掃一眼 u_t = k u_xx 就聽見「時間變化率等於擴散係數乘以空間曲率」,這些方程就開始有了意義,而不只是躺在紙面上。
對 u(x, y) = x^2 y^3:u_x = 2 x y^3,u_y = 3 x^2 y^2,u_xx = 2 y^3,u_xy = 6 x y^2 = u_yx。拉普拉斯算子為 Laplacian u = u_xx + u_yy = 2 y^3 + 6 x^2 y。
注意 u_xy 等於 u_yx,而拉普拉斯算子把純二階導數加總起來。
這裡的下標一律表示求導,而非分量或指標——u_x 是「u 的 x 方向導數」,絕非「u 的 x 分量」。當某個領域同時使用兩種約定時會明白說明;在基礎 PDE 中,下標即導數是標準讀法。