從一條線到一個房間：同一條方程，更多維度
本階前面的每一篇指南都活在一條直線上。我們替振動的弦推導出 u_tt = c^2 u_xx，用達朗貝爾公式 u(x,t) = F(x - c t) + G(x + c t) 把任何初始狀態拆成向左與向右移動的兩半，並看著訊號以單一的波速 c 行進、帶著乾淨的依賴域。然而真實的波會在鼓面、水池與開闊的空氣裡擴散開來。誠實的模型不過是把那單一的二階導數 u_xx 換成拉普拉斯算子：在膜上是 u_tt = c^2 (u_xx + u_yy)，在空氣中是 u_tt = c^2 (u_xx + u_yy + u_zz)。
1D string : u_tt = c^2 u_xx 2D drum : u_tt = c^2 (u_xx + u_yy) = c^2 (Laplacian u) 3D air : u_tt = c^2 (u_xx + u_yy + u_zz) = c^2 (Laplacian u) Cauchy data (same in every dimension): u(x, 0) = phi(x) initial displacement u_t(x, 0) = psi(x) initial velocity
你或許會希望高維度的故事不過是多加幾個字母的達朗貝爾。並非如此。同樣的柯西資料——一個初始位移 phi 與一個初始速度 psi——仍然釘死了解，方程仍是雙曲型的，所以仍有有限的傳播速度。但一個局部擾動如何擴散，尤其是它身後會不會留下一道拖尾的尾流，卻劇烈地取決於你身在一維、二維還是三維。這個對比正是本篇指南的全部重點。
球面平均：把一個波平均回一條線上
你究竟要怎麼解一條三維的波動方程？經典的把戲拒絕正面硬攻這團混亂。它反而固定一個點，去看 u 在以該點為心、半徑 r 不斷膨脹的球面上的平均值。這就是球面平均法：把 M(r,t) 定義為 u(x,t) 在以你所選之點為心、半徑為 r 的球面上的平均值。取平均馴服了拉普拉斯算子——由對稱性，角向的擺動互相抵消——而一段簡短的計算顯示，這個平均值在徑向變數 r 上服從一條一維的波動方程。
這就是神奇之處：一個身處三個雜亂維度的問題，變成了一個半直線上的問題，而我們早已掌握了達朗貝爾。在三維中，徑向方程算出來乾淨到 r·M(r,t) 滿足樸素的弦方程，再令 r → 0 把平均拆解回去，就還原出中心點的 u。輸出是一條封閉公式，把 u 寫成 phi 與 psi 在單一個球面上的積分——那個半徑為 c·t 的球面。這就是基爾霍夫公式，達朗貝爾的三維對應物。
惠更斯原理：為什麼三維訊號保持尖銳
現在來收成。假設在 t = 0 時你製造了一個尖銳、局部的擾動——一聲集中在某一點附近的微小拍掌。在三維中，基爾霍夫說傳到遠處某點 P、時刻 t 的訊號，只取用半徑為 c·t 的球面上的資料。拍掌只在某一瞬間碰到那個球面，也就是 c·t 等於到 P 的距離之時，然後再也不碰。於是聽者聽見一聲清脆的「啪」，接著是寂靜：波通過了，不留尾流，空氣在它身後歸於安靜。這個乾淨的切斷就是惠更斯原理（其強形式），它在三維中成立——而且在每一個三維以上的奇數維中都成立。
這不是一個小小的技術細節；它正是你能作為一個聽覺生物而存在的原因。因為三維服從惠更斯原理，一個說出口的字會以同樣清脆的字抵達，一個音節接一個音節，沒有前一個音節糊成一團的回聲疊在上頭。要是空氣的行為像一張二維的膜，每個聲音都會拖著一道漸弱的嗡鳴，言語就會溶成一團糊。三維特徵錐的尖銳——資料只活在它的表面上、從不在它的內部——正是讓訊號保持為訊號的關鍵。
二維鼓面：降維法，與一道頑固的尾流
二維是靠一個叫做降維法的可愛取巧手段解出來的：一個二維問題不過是一個資料恰好不依賴 z 坐標的三維問題。所以拿三維的基爾霍夫答案，餵給它與 z 無關的資料，那個球面積分就塌縮成一個在扁平圓盤上的積分——半徑為 c·t 的整顆實心圓盤，而不僅僅是它的邊界圓。這就給出二維波動方程的帕松公式，膜版本的達朗貝爾。
而這裡有一個讓二維與眾不同的玄機。因為積分跑遍整顆圓盤、而不只是它的邊緣，P 點的值會持續取用每一個比 c·t 更近之點的資料——包括最初那個擾動，遠在波前掃過之後依然如此。所以一顆落入靜水的石頭不會只產生一圈乾淨的環然後寂靜：它造出一圈擴張的漣漪，後面跟著一長串漸弱的拖尾波。尾流從不完全關閉。惠更斯原理在二維中失效——強惠更斯只在奇數維中成立。
值得把話說精確，免得你誇大其詞。即便在二維中，擾動的前緣仍然恰好以速度 c 行進——波前之前沒有任何訊號，所以有限傳播速度在每一個維度裡都存活。在二維中失效的只是後緣：訊號的尾巴被拖糊了，而非尖銳。有限速度講的是前緣；惠更斯講的是後緣。把這兩個概念分開，那張逐維度的表就不再令人覺得矛盾了。
能量：在每一個維度都存活的記帳
波動方程在任何維度都絕不放棄的一件事，就是能量。把總能量定義為 (1/2) u_t^2 加上 (c^2/2) |grad u|^2 對空間的積分——一個來自介質移動有多快的動能部分，與一個來自它被拉伸有多厲害的位能部分。對時間微分，用上方程，被積函數就塌縮成一個純粹的邊界通量。在整個空間上，或在固定或隔絕的邊界下，那個通量為零，所以能量是常數。這就是波動能量守恆。
守恆正是把波和熱區分開來的關鍵。擴散會耗散：能量流失，尖銳的特徵被平滑掉。波兩者都不做——它守恆能量、拒絕平滑，這正是為什麼一個脈衝能不失真地行進，也是為什麼把波動方程在時間上倒著跑完全沒問題（只要把 t 換成 -t；方程根本不在意）。把這拿來和熱方程的無窮速度與不可逆性相比，熱方程的逆向問題是極度不適定的。同一個工具箱，相反的性格。
- 寫下能量。 E(t) = (1/2) u_t^2 + (c^2/2) |grad u|^2 在該區域上的積分。
- 對時間微分。 dE/dt = u_t u_tt + c^2 grad u · grad u_t 的積分。
- 用上方程並分部積分。 代入 u_tt = c^2 (Laplacian u)；內部的項互相抵消，只剩下 u_t 對外法向導數的邊界通量。
- 消去邊界。 在固定邊界（u 固定，故 u_t = 0）或隔絕邊界（法向導數 = 0）下，通量消失，於是 dE/dt = 0，能量守恆。
能量守恆在理論裡也默默地承擔了沉重的工作：它強制了唯一性。如果兩個解共享同樣的柯西資料，它們的差以零能量起步又守恆，於是永遠保持為零——這兩個解必須一致。同樣的記帳法可以局部化到錐體上、重新證明有限速度，連回你在達朗貝爾中用過的線性結構，也撐起了上一篇指南裡的駐波與簡正模圖像，那裡每個模態都攜帶一份固定、不衰減的能量包。一條恆等式，許多份工作。
誠實的提醒，以及前路通往何方
幾項誠實的限制，能讓這一切不致淪為以訛傳訛。第一，強惠更斯（沒有尾流、訊號活在波前上）確實是特殊的：它對奇數維 n ≥ 3 的樸素波動方程成立，在所有偶數維中失效，甚至在一維中達朗貝爾公式還保留了一個來自初始速度、不衰減的貢獻，所以一個純粹的速度推動會留下一片持久的平台，而非一個乾淨的脈衝。所以「一維是尖銳的」這句話該打個星號：位移部分是尖銳的，速度部分可能會逗留。
第二，惠更斯是脆弱的。只要加上一丁點低階項——一個阻尼 u_t、一個質量項、或在 c 會變化的彎曲或分層介質中的波——強原理一般就會破裂，連在三維中也長出一道小小的尾流。真實的聲學、地震波，以及物質中的電磁學全都顯示出這種拖尾。而第三，如果速度依賴頻率，不同的波長會以不同的相速度與群速度行進，脈衝就會擴散開來——那是色散，與尾流是不同的效應，而波動方程 u_tt = c^2 Laplacian u 正是色散缺席的那個特殊的非色散情形。
本階把你交棒到哪裡？你現在已經完整地見過了波動方程：從一根弦推導出來、在一維由達朗貝爾解出、被有限的訊號速度圈定、由駐波組成、再由基爾霍夫與帕松提升到一個房間裡，並以惠更斯原理作為獎賞。接下來的每一步都推廣其中一條線索：圓形鼓面上的分離變數法帶來貝索函數與色散關係；單一頻率下的穩定波給出亥姆霍茲方程；而非線性波可以陡峭化成震波。你離開本階時，懂得的不只是那些公式，還有為什麼一聲拍掌是清脆的、一圈漣漪卻不是。