我們即將失去的那一項特權
回頭看看你在這道階梯上至今所做的一切，並問問是什麼在暗中驅動了這一切。答案只有一句話：若 u 與 v 都滿足方程，則對任意常數 a 與 b，a u + b v 也滿足方程。這就是疊加原理，也就是線性所賦予的特權。它讓你把一個困難的問題拆成簡單的碎片——單一傅立葉模態、單一特徵函數、單一點源的響應——各自解開每一塊，然後把這些碎片加回去，重建出答案。
線性理論的每一項勝利，其實都是同一個把戲換上不同的戲服。分離變數法是對一組離散模態之和的疊加；傅立葉轉換是對連續一族波的疊加；格林函數是對連續分布的點源的疊加，把解寫成對個別狄拉克δ函數響應的積分。每一個背後都坐著同一個讓人安心的事實：線性偏微分方程的解構成一個平坦的向量空間，在其中相加與縮放永遠不會把你帶離有效答案的曲面。
一道非線性的階梯，從溫和到狂野
非線性不是單一一回事；它有等級之分，而說出等級就告訴了你該預期多少麻煩。半線性方程讓最高階的導數保持線性，把所有非線性塞進低階項裡：反應擴散方程 u_t = Laplacian u + f(u) 就是它的範本——擴散是線性的，反應 f(u) 才是搗蛋鬼。擬線性方程則容許最高階導數的係數依賴於 u 及其低階導數，但那些最高階導數仍然線性地出現，例如 u_t + u u_x = 0。
在最遠的一端坐著完全非線性方程，連最高階的導數也糾纏在一個非線性函數裡頭——程函方程 |grad u| = 1 與漢米頓-雅可比方程 u_t + H(grad u) = 0 正是這一類。這個分級之所以重要，是因為它預示了失效的模式。擬線性一階方程以形成震波的方式崩潰（係數 u 以一個依賴於 u 本身的速度承載資訊，於是快的部分趕上慢的部分）。半線性反應方程則以爆破的方式崩潰（反應 f(u) 以自己的產出為食）。同樣是失去疊加原理，卻是非常不同的災難。
linear L[a u + b v] = a L[u] + b L[v] heat, wave, Laplace semilinear u_t = Laplacian u + f(u) reaction-diffusion, u^p quasilinear a(u) u_x + b(u) u_t = c(u) Burgers, conservation laws fully nonlinear H(grad u) = 0 eikonal, Hamilton-Jacobi going down the list: more of u tangled into higher derivatives
什麼壞掉了：工具箱失靈了
當疊加原理死去，你辛苦贏來的大半機器也隨之死去，而值得誠實地說清楚究竟是怎麼死的。你再也無法用模態之和來建構通解，因為把非線性方程的兩個模態相加並不給出一個解——把 u + v 代入 u u_x，你會得到交叉項 u v_x + v u_x，它們本不該在那裡。傅立葉轉換曾把微分變成乘法、把各個頻率解耦，如今卻透過非線性項把每一個頻率與其他所有頻率重新耦合起來。格林函數在舊有的意義下無法存在，因為沒有一個線性算子可供反轉。
甚至連「通解」這幾個字都變得滑溜。回想這道階梯一開始那個誠實的事實：偏微分方程的通解涉及任意函數，而不只是任意常數，所以是資料——初始條件與邊界條件——把答案釘住。在線性世界裡，方程的型（橢圓型、拋物型、雙曲型）告訴你哪種資料是適定的。非線性連這一點都攪渾了：同一個方程可能在解演化的過程中改變型，而存在性可能維持一陣子然後失效。我們以整潔的公式換來一個更艱難、也更誠實的問題——解究竟是否存在，又能存在多久？
我們得到了什麼：線性永遠展示不出的現象
驚喜在此：失去疊加原理並不只是一種失去。線性方程在某種意義上太規矩了——它的解只是坐在一個平坦的向量空間裡，按比例放大縮小，從不產生任何質上嶄新的東西。非線性才是豐富性所棲居之處，而本級接下來的部分就是一趟巡禮，走訪四種在線性世界裡根本不可能發生的現象。第一個是有限時間爆破：一個在有限時間內衝向無窮的解。對半線性熱方程 u_t = Laplacian u + u^p 而言，當 p 夠大時，反應項以快過擴散所能攤開的速度吞食自己的數值，於是解在某個有限時間之後當真不復存在。
第二個是圖案生成。一個反應擴散系統，本來停在一個按線性直覺應當穩定的均勻狀態，卻可能自發地碎裂成條紋與斑點——這就是圖靈不穩定，其中擴散這個平常的平滑者，當兩個物種以不同速率擴散時，反而成了破壞穩定的元兇。第三個是孤立子：一個孤立波，它永遠保持自己的形狀，並在碰撞後原封不動地存活下來。在 KdV 方程與非線性薛丁格方程裡，非線性的陡化（它想形成震波）恰好與色散（它想把波攤開）相平衡，於是一團穩定的能量作為單一而連貫的物體行進。
第四個是震波形成與非唯一性。你在雙曲型那一級已經遇過它：一個純量守恆律的平滑解可能在有限時間內發展出一道真正的跳躍，自此古典偏微分方程失去意義，我們必須轉向弱解。而坦率的刺痛在於，弱解並不唯一——許多函數都在弱意義下滿足方程，你需要一條額外的可容許性規則，即熵條件，來挑出那個物理的解。非唯一性，正如爆破一樣，是線性理論裡根本騰不出空間容納的造物。
當疊加原理消失時該如何思考
既然你再也無法從碎片組裝出答案，策略便從建構解轉向控制解。核心的新工具是能量方法：你不去尋找 u，而是追蹤一個由 u 建構出的單一純量——通常是 u^2 或 |grad u|^2 的積分——並對時間求導。若你能證明那個量保持有界，解便無法逃逸，於是你就證明了所有時間的存在性。若你反而能證明它必定在有限時間內達到無窮，你就證明了爆破。你放棄了精確的答案，換來關於存活與否的一個誠實的「是」或「否」。
本級所通向的，是這樣一道誠實的前沿。對許多非線性偏微分方程而言，那個最基本的問題——平滑解是否對所有時間都存在，還是會爆破？——根本就是未解的。最著名的例子是三維那維-斯托克斯方程：沒有人知道一道平滑的流動是否可能自發形成奇異性，而那個問題是克雷千禧年大獎問題之一。所以正確的姿態是謙遜加上一套工具：用線性化來檢驗穩定性，建立能量估計來界定或困住解，並在古典解無法存活時接受弱解或黏性解。
最後一個帶著往前走的重新框定。這四種現象之所以看來如此奇異，是因為每一個都是兩種互相競爭的傾向僵持成平局的結果——而那平局是某種全新的東西。陡化對抗色散，給出孤立子；反應對抗擴散，給出圖靈圖案與行波前緣；增長對抗攤開，給出爆破或存活；壓縮對抗熵條件，給出唯一的物理震波。線性方程沒有相競爭的傾向可供平衡，這正是為何它們的世界如此平坦。非線性偏微分方程的藝術就是讀懂這份平衡，而這正是本級接下來要教你去做的事。