偏微分方程的通解

從 ODE 邁向 PDE 時，這是真正令人意外的一點，值得放慢腳步。當你解一條常微分方程時，通解帶有任意常數——每一階一個——你用幾個數字（初值）把它們釘住。但當你解一條偏微分方程時，通解帶有任意「函數」，而不只是常數。自由度大得多，因為你可以沿著整條曲線或曲面自由選擇，而非只在一點。

最乾淨的例子是傳輸方程 u_t + c u_x = 0。它的通解是 u(x, t) = f(x - c t)，其中 f 是任意一個單變數的可微函數。你可以驗證：u_t = -c f'(x - c t)，u_x = f'(x - c t)，所以對 f 的每一種選擇都有 u_t + c u_x = 0。形狀 f 是一整個剖面，只是以速度 c 向右滑動。沒有單一的「那個」解——有一個函數份量的解，而你擁有哪一個，完全取決於額外的資訊。同樣地，一維波動方程的通解是 u(x, t) = F(x - c t) + G(x + c t)，兩個任意函數：一個右行波加一個左行波。

由於自由度如此之大，實務上你幾乎從不先寫下通解再去特殊化它——對現實的方程與幾何而言那通常毫無希望。你反而一開始就陳明額外條件（初始資料、邊界資料），直接求解那個被確定的問題。這正是邊界與初始條件在 PDE 中並非事後補充、而是核心所在的真正原因：它們把一片解的汪洋轉化為你的物理情境實際擁有的那一個解。適定問題的整個概念——存在、唯一、連續依賴——說的就是供給恰好足夠的資料，以確定出一個合理的答案。