從一個標籤到一個正規形
在上一份指南中，判別式 B^2 - A C 為任何二階方程 A u_xx + 2 B u_xy + C u_yy +（低階項）= 0 交給你一個單詞：B^2 - A C < 0 時為橢圓型，等於 0 時為拋物型，大於 0 時為雙曲型。這個單詞是一個真正的不變量——它在任何光滑的座標變換下都存活下來。但知道標籤和看見它是兩回事。這份指南會藉由選對座標，把標籤變成你能直接從紙面讀出的東西。
這個想法和你在線性代數中所信賴的是同一個。一個雜亂的二次型可以被旋轉、伸縮，直到它的矩陣變成對角形、對角線上是整齊的正負一——也就是它的符差。主部 A u_xx + 2 B u_xy + C u_yy 在導數方向上恰恰就是這樣一個二次型，而判別式所量度的正是它的符差。所以計畫是：找一個變數變換把它對角化，留下我們稱為標準型的三種乾淨樣板之一。
特徵線：拒絕當尋常方向的曲線
對的座標不是隨便挑的——它們由方程本身透過其特徵曲線所指定。你在一階梯級裡認識過特徵線，它們是資訊傳播所沿的道路。對二階方程而言，它們以更鋒利的角色重新登場：它們是二階導數無法被資料釘住的曲線，是方程拒絕表現得像尋常方程的方向。把你的座標軸彎折到這些特殊曲線上，正是讓主部塌縮的關鍵。
有一條俐落的方程能找到它們。一條由 phi(x,y) = 常數 給定的曲線是特徵曲線，恰好當它的斜率 dy/dx 滿足特徵方程 A (dy/dx)^2 - 2 B (dy/dx) + C = 0 時。這只是一個關於斜率的二次方程，而它根號底下的量——一點也不意外——正是判別式 B^2 - A C。三種型不過就是一個二次方程能做的三件事：兩個實根、一個重根，或沒有實根。
數一數實根的個數，你就讀出了型。當 B^2 - A C > 0 時，這個二次方程有兩個實斜率，於是有兩族特徵線，方程是雙曲型。當 B^2 - A C = 0 時，兩個斜率重合為一個重根——單一族——方程是拋物型。當 B^2 - A C < 0 時，根本沒有實斜率、沒有實特徵線，方程是橢圓型。一個高中二次方程的算術，與這門學科最深的分裂，竟是同一個計算。
這是整個三分法的幾何核心。雙曲型方程有兩族不同的特徵線族在平面上交錯——這正是波動方程的天然格網。拋物型方程的兩族融合為一族，沿單一方向擴散，如同熱方程。橢圓型方程在實平面上完全沒有——它的特徵線是複數的——這正是為什麼拉普拉斯方程沒有偏好的傳播方向、也沒有傳播的訊號。
彎折座標軸：三種標準型
現在我們來兌現。我們引入新變數——特徵座標——它們由特徵曲線本身建構而成，並在這些座標下重寫方程。回報是交叉項以及一兩個純二階導數消失，留下該型的標準型。每一型都有自己的樣板，而辨認出它正是整個練習的目標。
Hyperbolic: u_(xi eta) = (lower-order terms) [two real families xi, eta]
equivalently u_(tau tau) - u_(sigma sigma) = ... (wave-equation shape)
Parabolic: u_(eta eta) = (lower-order terms) [one family; xi rides along)
heat-equation shape: u_t = k u_xx
Elliptic: u_(alpha alpha) + u_(beta beta) = (lower-order terms)
Laplace shape: u_xx + u_yy = 0把這些讀成你已經認得的同樣三張面孔。雙曲型標準型 u_(xi eta) = ... 在轉 45 度後恰恰是 u_tt - c^2 u_xx = ...——波動方程的骨架，其解分裂為沿兩族特徵線滑動的左行波與右行波 u(x,t) = F(x - c t) + G(x + c t)。拋物型形狀是熱方程骨架 u_t = k u_xx。橢圓型形狀是拉普拉斯骨架 u_xx + u_yy = 0。分類，字面上就是這句話：每個二階線性方程都是這三者之一的偽裝。
一個逐步進行的化約範例
讓我們把這套配方用在一個具體的雙曲型方程上，親手看著標準型掉出來。取 u_xx - u_yy = 0——它已經很簡單，但對更雜亂的方程而言機制完全相同，而在一個透明的例子上看見它們，是信任這套方法的最好方式。
- 讀出 A = 1、2B = 0、C = -1。判別式為 B^2 - A C = 0 - (1)(-1) = 1 > 0，所以方程是雙曲型，我們預期會有兩族實特徵線。
- 解特徵方程 A (dy/dx)^2 - 2B (dy/dx) + C = 0，亦即 (dy/dx)^2 - 1 = 0。兩個斜率為 dy/dx = +1 與 dy/dx = -1。
- 把每個斜率積分成一族直線：y - x = 常數 與 y + x = 常數。這兩族就是特徵線；它們的常數標籤化為新座標 xi = x + y 與 eta = x - y。
- 用連鎖律換變數。純二階導數重新組合，方程 u_xx - u_yy = 0 變成 u_(xi eta) = 0——交叉項如今是唯一的倖存者。
- 直接求解標準型。u_(xi eta) = 0 表示 u 是一個只含 xi 的函數與一個只含 eta 的函數之和：u = F(xi) + G(eta) = F(x + y) + G(x - y)。兩個任意函數，每族特徵線一個——達朗貝爾的模式清晰可見。
留意標準型免費給了我們什麼：二階偏微分方程的通解攜帶兩個任意函數，而非任意常數。這是整個學科貫穿始終的主題——偏微分方程的通解由函數參數化，而正是你所施加的資料（這裡是沿一條非特徵曲線的數值與法向導數）把那些函數釘住。特徵線族的數目連同標準型，恰恰告訴你資料必須移除多少自由度。
為何標準型決定了由誰主宰
標準型不是裝飾性的記帳——它正是型掌控接下來一切的原因。一旦方程被攤開為波動、熱或拉普拉斯骨架，它就繼承了那副骨架的整副性格：哪種資料是適定的、資訊移動得多快、解會變光滑還是保持粗糙。下一份指南會完整追究這個故事；這裡先架一座橋。
本指南所畫的特徵線，字面上就是「資訊傳播得多快？」的答案。雙曲型方程有實特徵線，於是訊號以有限速度沿著它們行進——這就是有限傳播速度，是撥動的弦的擾動延遲而非瞬間傳到你耳邊的原因。拋物型方程沿其單一族以無窮速度抹開——打開一個熱源，數學上每一點都會立刻感受到它，儘管極其微弱。橢圓型方程根本沒有實特徵線，因此談不上傳播：橢圓型的解是一個瞬時的平衡，每一點都依賴於其他每一點。
而同樣的特徵線決定了你被允許給出什麼資料。要帶往後續的誠實警告是：把標準型對應到問題上並非可有可無的點綴。把柯西資料交給像拉普拉斯這樣的橢圓型方程，問題就是不適定的——資料中微小的擺動會無界地爆增。把熱方程在時間上倒著跑，同樣是不適定的。每一型都附帶自己的一份適定問題清單，而標準型正是揭示你身在哪份清單上的那面鏡子。