為什麼夾住的弦會鳴響而不是奔跑
前兩篇指南讓波自由奔跑。在無窮長的直線上，達朗貝爾公式把任何擾動拆成一個左行波與一個右行波，u(x,t) = F(x - c t) + G(x + c t)，各自以波速 c 永遠滑行而去。但把兩端綁住——把吉他弦夾在兩個琴橋上——波就無處可去了。右行波衝向遠端、反射、以左行波之姿回來、再反射，如此循環。被困在兩堵牆之間，奔跑的敘事不再是有用的那個。波與自己的回聲互相干涉，而你所看到的，反倒是一個站著不動、只是上下呼吸的形狀。
那個呼吸的形狀就是駐波。它沿著弦的輪廓從不向左或向右移動；相反地，整個花樣原地脹大又縮小，像是被兩個孩子各執一端的跳繩。那些始終被釘在零的點叫做節點——被夾住的兩端永遠是節點——而以最大振幅擺動的點則是腹點。與無窮長直線上的奔跑波相比，關鍵的新特徵在於：牆會挑選哪些形狀被允許。不是每一種擺動都塞得進兩個固定端之間；只有一份離散的清單能存活，而找出這份清單，正是本篇指南的全部遊戲。
用分離變數法找出自然形狀
為了有系統地找出那些被允許的形狀，我們重用前一階解熱方程的招數：分離變數法。我們尋找乘積形式的解 u(x,t) = X(x) T(t)——一個固定的空間形狀 X(x)，其振幅由單一的時間因子 T(t) 來調節。這正是駐波的長相，所以這個擬設在這裡並不是瞎猜；它是對我們已經看到的東西的描述。把它代入波動方程 u_tt = c^2 u_xx，兩個導數就乾淨地剝離開來。
代入後得到 X T'' = c^2 X'' T。兩邊同除以 c^2 X T，先前那套魔法又出現了：左邊的 T''/(c^2 T) 只依賴 t，右邊的 X''/X 只依賴 x。一個只含 t 的函數等於一個只含 x 的函數，這只可能在兩者都等於同一個常數時發生。把那個分離常數寫成 -lambda。單一條偏微分方程於是裂成兩條常微分方程：空間上的 X'' + lambda X = 0，加上被夾住的兩端逼出的 X(0) = 0 與 X(L) = 0；以及時間上的 T'' + c^2 lambda T = 0。
u(x,t) = X(x) T(t) into u_tt = c^2 u_xx
X T'' = c^2 X'' T
divide by c^2 X T:
T'' X''
------- = ------ = -lambda (same constant for both)
c^2 T X
=> X'' + lambda X = 0 (space, with X(0)=X(L)=0)
T'' + c^2 lambda T = 0 (time, an oscillator)空間方程 X'' + lambda X = 0 配上 X(0) = X(L) = 0，是一個空間本徵值問題，正是熱方程交給我們的那一個。它的裁決一模一樣：只有 lambda_n = (n pi / L)^2（其中 n = 1, 2, 3, ...）容許非零的形狀，而那些形狀就是正弦模態 X_n(x) = sin(n pi x / L)。每一個都是釘在兩端為零的乾淨駐波花樣——半個波、一個整波、三個半波，以此類推。這些是夾住的弦唯一被允許穩穩持有的空間形狀。
時間提供的是音高，不是衰減
這裡正是波動方程與熱方程急遽分道揚鑣之處，值得細細品味這份對比。對熱來說，時間方程是一階的，T' + k lambda T = 0，其解是衰亡的指數 e^(-k lambda t)：熱漏走，形狀褪去。對波動方程而言，時間方程是二階的，T'' + c^2 lambda_n T = 0——一個簡諧振子的方程。它的解根本不衰減；它們永遠振盪，T_n(t) = a_n cos(omega_n t) + b_n sin(omega_n t)，角頻率為 omega_n = c sqrt(lambda_n) = c n pi / L。
把相配的空間與時間兩塊相乘，就給出一個基本振動，一個單獨的簡正模態：u_n(x,t) = sin(n pi x / L) · [a_n cos(omega_n t) + b_n sin(omega_n t)]。簡正模態是一種運動，弦上每一點都齊步移動，共享單一的頻率 omega_n，形狀從不改變——只有整體大小在脈動。形狀來自本徵函數；頻率由本徵值設定。把弦撥得恰到好處，你幾乎能單獨激發一個模態：整根弦於是以單一純淨的音高鳴響，作為一個整體脹大又縮小。
諧波與真實音色的音色
再看一次那些頻率：omega_n = (c pi / L) · n，恰好是基音的整數倍。第二個模態是兩倍音高，第三個是三倍，依此類推，沒有間隙也沒有無理數的偏移。這條完美等間距的階梯就是諧波序列，它是均勻弦上簡單波動方程所獨有的。基音是第一諧波；更高的模態是它的泛音。它們精準的整數關係，正是撥弦聽起來悅耳而非雜亂的原因——耳朵把那些頻率全都聽成共同組成單一音高的一家人。
真實的一撥從不會孤立地激發單一模態。琴槌或指尖交給弦某個任意的初始形狀，而疊加原理接手了：任何簡正模態之和仍是解，所以真正的運動是 u(x,t) = 對 n 求和 sin(n pi x / L) · [a_n cos(omega_n t) + b_n sin(omega_n t)]。為了滿足初始位移與速度，你把起始形狀與起始速度展開成傅立葉正弦級數——正是熱方程那篇的匹配步驟，只是現在有兩族係數，因為時間方程是二階的，需要一個位置和一個速度才能起步。
係數的配方就是這個音的音色。哪些模態響亮、哪些微弱，取決於你在哪裡、如何撥弦——靠近琴橋撥，你會喚醒許多高諧波，給出明亮、帶金屬味的音；靠近中間撥，溫和的基音主導，給出圓潤、柔和的音。同一根弦、同樣的音高、不同的靈魂。這就是為什麼小提琴和長笛奏出一模一樣的音，聽起來卻天差地遠：它們爬的是同一道諧波階梯，卻配著截然不同的係數混合。
共振：以模態自己的頻率去推它
目前為止弦是自行鳴響的。現在來驅動它：加上一個強迫項，譬如一個週期性的推力 f(x) cos(omega t)，把 u_tt = c^2 u_xx 變成非齊次的 u_tt = c^2 u_xx + f(x) cos(omega t)。把響應與強迫都用同一套正弦模態展開，於是每個模態的振幅服從一條受迫振子常微分方程：T_n'' + omega_n^2 T_n = (作用在模態 n 上的強迫) · cos(omega t)。共振的問題現在化成一個關於單一普通振子的問題，一個你早在這一階之前就見過的振子。
受迫振子通常以驅動頻率 omega 作有界的擺動回應。但若你把驅動調到讓 omega 恰好落在某個自然頻率 omega_n 上，響應就不再保持有界——在理想化無摩擦的弦上，那個相配模態的振幅會無限制地成長，隨時間線性增大，越掃越大。這場失控就是共振：能量被完美同相地灌入，一推接一推地相加而非相抗，於是振幅不斷攀升再攀升。這與盪鞦韆的孩子被有節奏地推著是同樣的效應，或者——著名而具破壞性地——一座橋被以其自然頻率驅動。
在這裡也要對理想化誠實。無界的線性成長是無耗損、嚴格線性模型所預測的；那是方程的特徵，而非現實永遠如此。真實的弦有阻尼，會把振幅封頂在一個很大但有限的值，而在大振幅下弦不再是線性的，於是乾淨的正弦模態變得模糊。共振是真實且重要的——每一件樂器、每一個收音機調諧器都靠它運作——但那字面上的爆炸，是模型在告訴你：它已經離開了可被信任的領域。
能量：說它不會消退的記帳
為什麼自由模態永遠鳴響，而熱卻總是消退？最深層的答案是能量守恆。把弦的總能量定義為沿其長度對 (1/2) u_t^2（動能，來自各點移動的快慢）加上 (1/2) c^2 u_x^2（位能，來自弦被拉伸的程度）的積分。對時間微分它，用上 u_tt = c^2 u_xx 並分部積分，在夾住的弦上邊界項消失——恰好留下零。總能量永不改變。
- 定義能量。 令 E(t) = (1/2) u_t^2 + (1/2) c^2 u_x^2 在 [0,L] 上的積分——動能加位能，兩者皆非負。
- 微分。 dE/dt = u_t u_tt + c^2 u_x u_xt 的積分，這只是把積分號內微分而已。
- 用上方程並分部積分。 把 u_tt 換成 c^2 u_xx；對 c^2 u_x u_xt 分部積分會產生一個邊界項，加上一塊恰好抵消第一項的部分。
- 消去邊界。 在夾住的弦上兩端 u_t = 0，所以邊界項為零，dE/dt = 0：能量恰好守恆。
守恆是你整階以來所感受到那份對比背後的公式。熱方程會耗散——它的能量穩定地減少，這就是為什麼高模態衰減、粗糙形狀變平滑、你無法把它倒著跑。波動方程守恆——它的能量被凍結，這就是為什麼模態不減地鳴響、資訊不會遺失，以及為什麼把它倒著跑是完全適定的（只要把振動倒放即可）。它也誠實地解釋了共振：一個 omega_n 上的驅動力持續對弦做正功，把能量灌入卻無物移除，所以在無耗損模型裡 E 無界成長——能量帳本與失控振幅，是同一件事實的兩種看法。