把波動算子拆成兩個傳輸
上一篇導讀裡,你看著 波動方程 u_tt = c^2 u_xx 從一條振動的弦長出來:張力把每一小段往鄰居那邊拉回,牛頓定律把曲率變成加速度。現在我們要解它——徹底地、以封閉形式、對整條無窮長的弦。訣竅是一個你幾乎能在腦中完成的代數觀察。把算子 d/dt 與 d/dx 當作普通的數,對平方差作因式分解。
u_tt - c^2 u_xx = ( d/dt - c d/dx )( d/dt + c d/dx ) u = 0 let v = u_t + c u_x (a left-moving signal: v_t - c v_x = 0) then u_t - c u_x applied to v gives 0
每一個因子都是一條 傳輸方程,正是你在下面兩級初次遇見的第一條偏微分方程,它的解不過是一個形狀以等速剛性地滑行。因子 (d/dt - c d/dx) 把波形以速度 c 往右帶;因子 (d/dt + c d/dx) 把它往左帶。波動方程根本就是這兩個傳輸背靠背疊在一起。所以無論弦做什麼,它都必定由一個向右滑與一個向左滑拼出來——而這個被精確化的單一洞見,就是全部的解。
通解:兩個任意的行進形狀
把因式分解一路推下去,會得到一個了不起的答案。換到 特徵 座標 xi = x - c t 與 eta = x + c t——也就是每個傳輸沿之而行的那兩族直線——波動方程就坍縮成 u_(xi eta) = 0。這句話說:把 u 對 xi 微分一次、再對 eta 微分一次,結果是零,所以 u 必定是「只含 xi 的函數」加上「只含 eta 的函數」。翻譯回來,通解 就是 u(x,t) = F(x - c t) + G(x + c t)。
停下來想想這和常微分方程有多不同。二階常微分方程的通解帶兩個任意「常數」;這裡帶的是兩個任意「函數」F 與 G,每一個都是你可自由選擇的整個形狀。這就是偏微分方程反覆出現的真相:通解留下整個函數未定,而正是資料——弦一開始長什麼樣、動得多快——把它們釘住。F(x - c t) 是一個以速度 c 向右移動 的固定波形(t 增大時,唯有 x 隨 c t 同增,引數 x - c t 才保持不變);G(x + c t) 是一個向左移動的固定波形。兩個剛性的形狀互相滑過,形狀永不改變——這就是波動方程的每一個解,毫無例外。
用初始資料釘住 F 與 G
通解是一份菜單,不是一頓飯。要得到某一條特定的弦的實際運動,我們供給 初始位移與速度:在 t = 0 時弦的形狀是 phi(x),而每一點以速度 psi(x) 在運動。因為波動方程對時間是二階的,它兩者都需要——光有位置不夠,正如你無法只憑一顆被丟出的球從哪裡出發、卻不知它離手有多快,就預測它的去向。這兩個函數恰好是釘住兩個未知函數 F 與 G 所需的正確份量的資料。
- 在 u = F(x - c t) + G(x + c t) 裡令 t = 0:位移給出 F(x) + G(x) = phi(x)。一條把兩個形狀綁在一起的方程。
- 把 u 對 t 微分,再令 t = 0:速度給出 -c F'(x) + c G'(x) = psi(x),即 G'(x) - F'(x) = psi(x)/c。第二個條件,這回落在斜率上。
- 把第二個關係積分,得到 G(x) - F(x) = (1/c) 乘上 psi 直到 x 的積分。現在你手上有 F + G 與 G - F。
- 相加相減把各自解出來:F = (phi - 積分)/2,G = (phi + 積分)/2。代回 F(x - c t) + G(x + c t),兩個積分合併成一條整潔的公式。
結果就是 達朗貝爾公式,全數學中最令人滿意的封閉形式之一:u(x,t) = (1/2)[phi(x - c t) + phi(x + c t)] + (1/(2c)) 乘上 psi 從 x - c t 到 x + c t 的積分。慢慢讀。第一個方括號說:取初始形狀,做兩份半高的副本,一份往右送、一份往左送——這是位移那一部分。積分項把初始速度恰好在 x - c t 到 x + c t 這一段上收集起來,鋪成一塊逐漸長大的高原——這是「踢一腳」那一部分。整條弦的未來,就是兩次平移加一個積分。沒有無窮級數、沒有特徵函數、沒有任何留待近似的東西。
兩幅小小的工作圖
把它具體化。撥一下弦:把它拉高成單一個鼓包 phi(x),從靜止釋放,所以 psi = 0。積分項消失,達朗貝爾化簡為 u(x,t) = (1/2)phi(x - c t) + (1/2)phi(x + c t)。鼓包瞬間裂成兩個只有一半高的鼓包,彼此分頭行進,一個往右、一個往左,各以速度 c。這就是經典的撥弦圖像:不是一道行進的脈衝,而是兩道,在你放手那一刻誕生。盯著它們看,你看的字面上就是因式分解所許諾的 左行波與右行波。
現在反過來:一次槌擊,像鋼琴。弦一開始是平的,phi = 0,但有一小段被賦予向上的速度 psi(槌子的一擊)。位移那個方括號消失,u(x,t) = (1/(2c)) 乘上 psi 從 x - c t 到 x + c t 的積分。隨著時間流逝,區間 [x - c t, x + c t] 變寬,吞下愈來愈多被擊打的區域,於是弦升成一塊平頂高原,以速度 c 向外鋪開,而且——關鍵地——在波前後方保持升起。撥弦在脈衝通過後讓弦回到平直;被擊打的弦卻可能永久地偏移。同一條公式、兩個項、兩種截然不同的聲音。
公式已經告訴你關於波的事
達朗貝爾公式不只是個答案;它是一扇窺看波如何行為的窗,而且有三課直接跳出來。第一,數值 u(x,t) 「只」依賴於有限區間 [x - c t, x + c t] 上的初始資料——兩端點的位移與整段上的速度。那個區間之外的任何東西都不可能影響到點 (x,t)。這個區間就是 依賴域,它有界,因為 c 是有限的。下一篇導讀整篇都繞著這幅圖景建立:訊號以有限速度行進,所以能觸及你的過去是一個有限的三角形,而非整條線。
第二,波「不」抹平。達朗貝爾只是把初始形狀挪來挪去;它從不把它弄模糊。若 phi 有一個尖角,那個尖角會永遠沿著特徵騎行,扭折完好如初。拿這跟 熱方程 比,那裡即使是鋸齒狀的起始也會瞬間變得無限光滑:熱方程的抹平,與波動方程對尖銳特徵的忠實搬運,是你上一級遇到的「橢圓-拋物-雙曲三分」的一體兩面。雙曲型方程搬運細節;拋物型方程把它溶解。(誠實的註腳:若 phi 只是連續而非二次可微,達朗貝爾給的 u 仍是一個完全合格的 弱解 或廣義解——它在分布的意義下解波動方程,即使古典的二階導數在那裡並不存在。)
第三,公式證明這個問題是 適定 的:對任何合理的 phi 與 psi,恰有一個解,而且資料的小改變只造成 u 的小改變(你可以直接從公式讀出那個界)。這正是一個偏微分方程問題該達到的黃金標準——存在、唯一、連續依賴——而帶初始位置與速度的波動方程乾淨俐落地通過。美妙的是,搬運我們行進形狀的同一批特徵,正是下一篇導讀化為「依賴域」與「有限傳播速度」的那批;而這些簡單行進碎片的 疊加,經反射邊界折射之後,正是後來變成駐波、簡正模與共振的東西。從兩個滑動的形狀,整套振動理論就此展開。