色散關係、相速度與群速度

從微分法則到一枚指紋

這一級你一直在把微分變成乘法。收尾的回報是：你完全不必解任何東西，就能弄清一條傅立葉變換方程如何驅動它的波——你只需探測它。把單獨一個試驗波丟進偏微分方程，看看方程對它有何要求。探針是 e^(i (k x - omega t))：一個純波，波數為 k（每單位長度有幾道扭動）、角頻率為 omega（在時間上振盪得多快）。代入它，每個導數都依照你整級用慣的同一條法則坍縮下去。

把機制放慢來看。依照 微分法則，對 e^(i (k x - omega t)) 取 x 導數只是乘以 i k，取 t 導數則乘以 -i omega。於是 u_x 變成 (i k) u、u_xx 變成 (i k)^2 u = -k^2 u、u_t 變成 (-i omega) u。由於那個波是每一項共有的因子，它乾淨地約掉，剩下的便是一條連結 omega 與 k 的赤裸代數方程。這條方程就是 色散關係，寫成 omega = omega(k)。它不帶有你送進去的是哪一個波的訊息；它是方程本身的性質——它的指紋。

三枚指紋，並排比較

讓我們用同樣的方式讀出這一級的三條方程。對波動方程 u_tt = c^2 u_xx，試驗波給出 (-i omega)^2 = c^2 (i k)^2，即 -omega^2 = -c^2 k^2，故 omega = c k（取右行的那一支）。對 薛丁格方程 i u_t = -u_xx，你得到 omega = k^2。而對熱方程 u_t = k u_xx——小心，又是兩個 k，把常數叫作 D——你得到 -i omega = D (i k)^2 = -D k^2，故 omega = -i D k^2，一個純虛的 omega。最後這個正是熱量根本不振盪的破綻；它衰減。三條方程，三枚截然不同的指紋。

1. 波動方程，omega = c k：一條穿過原點的直線。omega 是實的，所以振盪；而線是直的，所以不散開——非色散。
2. 薛丁格方程，omega = k^2：一條曲線，omega 為實。它振盪且散開，因為不同頻率落在不同的斜率上——色散。
3. 熱方程，omega = -i D k^2：omega 是純虛的。把它代回 e^(-i omega t) 得到 e^(-D k^2 t)，是衰減而非振盪——根本沒有波，只有平滑化。

現在 色散 這個詞總算名副其實了。波動方程的 omega = c k 是一條穿過原點的完美直線：每個頻率都以同一個速度 c 行進。薛丁格方程的 omega = k^2 是一條曲線，於是不同頻率以不同速度行進。「色散」恰恰就是這個意思——omega 與 k 的關係不是直線，因此一個由眾多頻率拼成的波，會因它的各部分逐漸分道揚鑣而散開。波動方程是罕見的非色散情形，這正是為何達朗貝爾公式能讓一個脈衝以 u(x,t) = F(x - c t) 剛性地行進而形狀不變。

兩種速度，以及它們為何不同

給定 omega(k)，有兩種自然的速度可以讀出，把它們混為一談正是初學者經典的錯誤。第一是相速度 v_p = omega / k：單一個純波的一道波峰滑行的快慢。它是這樣找到的：問那個使相位 k x - omega t 維持不變的點必須以多快移動；令相位固定，給出 x = (omega / k) t。這是單獨一道漣漪的速度，是你盯著一個波看時，眼睛鎖定的那個東西。

但真實的信號從來不是單一個純波——它是一個波包，是一束彼此鄰近的頻率加在一起，帶著一道在波相合處鼓起、在波相衝處抵消的包絡。那道包絡，那個真正承載信號及其能量的隆起，以另一種速度移動：群速度 v_g = d(omega)/dk，即色散曲線的斜率。其推理是一行的駐相論證：在波包所含的眾多頻率中，它們相互增強而非抵消之處，正是它們的相位同步變化之處，而那正是 d(omega)/dk 定下節奏的地方。所以波峰速度是比值 omega/k；波包速度是斜率 d(omega)/dk。

phase velocity   v_p = omega / k        (a ratio  -- one crest)
group velocity   v_g = d(omega)/dk      (a slope  -- the packet & its energy)

  wave equation   omega = c k       ->  v_p = c,         v_g = c        (equal!)
  Schrodinger     omega = k^2       ->  v_p = k,         v_g = 2k       (v_g = 2 v_p)
  deep water      omega = sqrt(g k) ->  v_p = sqrt(g/k), v_g = v_p / 2

波包為何散開——駐相觀點

色散波包不只移動、還緩緩散開，背後有個更深的理由，而它就坐落在這一級的逆變換積分之內。變換之後，解是 u(x,t) = (1/2pi) integral of U_0(k) e^(i (k x - omega(k) t)) dk——初始資料中存在的每個頻率，各自被它自己的 e^(-i omega(k) t) 向前旋轉。要復原波包在哪裡，你要問哪些頻率相加而非相消，那便是駐相法：對大的 t，積分由那個使相位 k x - omega(k) t 一瞬間變平的 k 主導，亦即 x = omega'(k) t 之處。那又是群速度，如今是從積分本身掙得的。

那散開呢？因為只要 omega(k) 是彎的，v_g = omega'(k) 本身就隨 k 變化，於是波包的不同部分以不同的群速度抵達，這個隆起便在行進中拉長、變扁。這就是量子波包或水波群隨時間變寬的真正而誠實的理由——不是能量損失，而是色散曲線純粹的幾何。對照熱方程，它虛的 omega = -i D k^2 意味高頻並非向前疾馳，而是直接消亡，於是它的輪廓是平滑而非色散。色散與耗散是不同的命運，而色散關係一眼就告訴你，一條方程承受的是哪一種。

誠實的限度，以及它何處失效

要把這枚指紋能做什麼、不能做什麼弄清楚。它只對整條線上的線性、常係數方程精確——恰恰是這一級所建造的世界。在那裡，單一個波是貨真價實的解，行進波 e^(i(kx - omega t)) 完好無損地存活，而疊加讓你能把波加總成任何初始資料。一旦踏出那個世界，色散關係要麼根本不存在，要麼只淪為一個局部的、近似的指引。

非線性正是故事轉為微妙而優美之處。在非線性薛丁格方程或正弦-高登方程中，線性部分仍然色散——它的 omega(k) 是彎的，想把任何波包攤開——但一個非線性項向內拉、把它重新聚焦。當兩者恰好平衡，你便得到一個孤立子：一個完全不散開地行進的隆起，一個憑著非線性的精確恩典而抗拒色散的波。所以從線性化方程讀出的色散關係，對這些模型是故事的開端而非終結；它告訴你那個波若無人理會將會怎樣，而非線性則告訴你什麼救了它。

最後一點提醒，與開啟這一級的那點相同。純波 e^(i(kx - omega t)) 不是平方可積的函數——它具有無窮的總能量，本身並非逆變換所居住的那些空間裡的合法元素。它是一個探針，一塊理想化的積木；真實的、物理的解是波包，是這些探針按資料加權的積分。色散關係並不因此遜色分毫。它是整級之中、最乾淨地體現本級格言的例子：做變換，而你想要的物理就坐在那裡，化作代數，等著被讀出。