讀出藏在達朗貝爾公式裡的幾何
上一篇指南交給我們達朗貝爾公式，也就是波動方程 u_tt = c^2 u_xx 在整條直線上的精確解。給定初始位移 u(x,0) = f(x) 與初始速度 u_t(x,0) = g(x)，它寫作 u(x,t) = (1/2)[ f(x - c t) + f(x + c t) ] + (1/(2c)) 乘以 g 從 x - c t 到 x + c t 的積分。我們先前把它當成一個用來計算的答案。現在我們問一個更銳利的問題：當你站在某一點 (x,t) 讀出那個數值時，你究竟查閱了起始資料的哪些部分？公式早已告訴你——你只需要盯著它的輸入看。
盯著資料真正進入的地方看。位移 f 永遠只在兩個端點 x - c t 與 x + c t 被取樣。速度 g 被積分，但只在閉區間 [x - c t, x + c t] 上——區間之外的東西一點貢獻都沒有。所以 (x,t) 處的值，完全由 x 軸上那一段有限線段上的初始資料建成，這段以 x 為中心、寬度為 2 c t。移動你的觀測點，線段就跟著滑動、伸長，但它永遠保持有限。這一段就是點 (x,t) 的依賴域。
回溯三角形：你的過去能觸及什麼
把時空畫出來，x 橫向、t 向上。從點 (x,t) 往下射出兩條線到 x 軸：一條斜率對應於以速度 c 向左，一條向右。它們落在 x - c t 與 x + c t——正是依賴域的兩個端點。這兩條線連同它們在軸上截下的線段，圍出一個懸在 (x,t) 下方的三角形。任何可能影響該處值的東西，都住在這個回溯三角形之內，而它之外的一切都不能。這就是有限速度的全部內容，畫成一張圖。
(x, t) observation point
/\
/ \ slopes are +-1/c
/ \ (left- and right-going
/ \ characteristics)
/ \
----[------+----------+------]----------------> x (t = 0)
x-ct x+ct
<------ width 2ct ------>
the domain of dependence一個小小的驗算讓它具體起來。取 c = 2，求點 x = 5、t = 3 處的解。依賴域從 5 - 2·3 = -1 跑到 5 + 2·3 = 11，是一段寬度為 12 = 2 c t 的線段。如果你只在 x = 50 附近改動初始撥動 f 或推一把 g，(5, 3) 處的解連眨都不眨——那個擾動足足在 39 個 x 單位之外，卻只過了 3 個時間單位，所以在速度 2 之下它最多只能跑 6 個單位。它根本還沒抵達。
前進三角形：你影響什麼
現在把圖翻過來。在初始直線上挑一個單點 x0，問相反的問題：它的資料能觸及哪些未來的點 (x,t)？點 (x,t) 看得見 x0，恰好當 x0 落在它的依賴域裡，也就是 x - c t <= x0 <= x + c t，整理後得到 |x - x0| <= c t。這是一個從 x0 向上張開的前進三角形，斜率和特徵線一樣。在它之內，x0 處的資料能被感受到；在它之外則不能。這個向上的楔形就是點 x0 的影響域。
依賴域與影響域是同一件事的兩種讀法，是同一對特徵線從兩端看過去的結果。前者從一個時空點往下看，問它繼承了什麼；後者從一個初始點往上看，問它遺贈了什麼。兩者都被直線 x ± c t = 常數 所界定，而這個界線正是波速 c，表達為訊號在 (x,t) 平面上所能採取的最陡斜率。沒有任何資訊能跑贏它自己的特徵線。
為什麼這和熱方程恰恰相反
暫時爬回熱方程那一階，對比就鮮明刺眼。熱方程 u_t = k u_xx 在任何一點、任何正時間的解，是初始資料對熱核的一個積分，而熱核是一條在整條直線上嚴格為正的鐘形曲線。所以在任何地方加熱單一個冷點——哪怕在一英里之外——都會瞬間把這裡的溫度抬高，抬高的量小到無法測量，卻是真真切切非零的。熱方程具有無限傳播速度，沒有依賴域：它誠實的答案是「一切都依賴於一切」。
波動方程再不一樣不過了，而這個差異恰恰就是型別。兩者都是二階且線性，但熱方程是拋物型，波動方程是雙曲型——這正是你在我們替方程分類時遇到的有限對無限速度之分最銳利的回報之一。雙曲型方程有實特徵線，因而有有限的波速與一條嚴格的地平線；拋物型方程則沒有，消息一次傳遍各處。同一套機器——把解寫成資料撞上一個核或一條公式——揭露出相反的物理。
還有第二個值得直白說出的對比，因為初學者常以為任何擴散形狀的方程都會平滑化。熱核無窮平滑，所以連帶尖刺的初始資料也瞬間變得絲滑——這就是它的平滑化效應。波動方程做的恰恰相反：達朗貝爾公式只是平移並疊加 f 與 g，所以角還是角，跳躍還是跳躍。你發射出去的波形（在一維中）永遠保持它的形狀與尖銳特徵。有限速度與不平滑化，是同一枚雙曲型硬幣的兩面。
有限速度為何重要：適定性與一張檢查表
有限速度不只是一張漂亮的圖；它正是讓問題值得信賴的東西。因為每個 (x,t) 只倚靠有限的一塊資料，初始撥動 f 或推力 g 的微小改變——若侷限在某個區域內——只會在該區域的影響域之內改變解，且改變量受到控制。這就是對資料的連續依賴的核心，它與存在性、唯一性並列，是成為適定問題的第三條腿。依賴域甚至給出唯一性的乾淨證明：若兩個解在一段底邊上共享資料，它們就必須在其上方整個三角形內處處相符。
- 定位該點。 固定你關心的時空點 (x,t)，並從方程 u_tt = c^2 u_xx 回想速度 c。
- 放下兩條特徵線。 從 (x,t) 沿著 x - c t 與 x + c t 兩條線往下追到 t = 0 軸；它們落在 x - c t 與 x + c t。
- 讀出底邊線段。 區間 [x - c t, x + c t]，寬度 2 c t，就是依賴域——唯一重要的資料。
- 翻轉求影響。 要找出源點 x0 影響什麼，把同一個三角形向上張開：所有滿足 |x - x0| <= c t 的 (x,t) 構成它的影響域。
要誠實面對這套乾淨故事的邊界。上面那些俐落的三角形是一維的圖像；在更高維度中，回溯集合會變成特徵錐，而在像三維這樣的奇數維度中，還會發生更銳利的事——依賴塌縮到錐面上，而非填滿它的內部，這就是惠更斯原理，也是本階最後一篇指南的主題。有限速度本身在每個維度中都存活下來，是行為良好的雙曲型方程的一個穩健特徵；但那個形狀不變、不失真的簡單行進波，是一維空間獨有的，所以別把那一部分帶到樓上去。