從一個解到兩個解
上一篇導讀交給你的，是關於單一解的一個單邊事實：由弱最大值原理，一個在區域內部滿足 Laplacian u >= 0 的函數（一個次解）的內部最大值不可能超過它的邊界值，而強最大值原理把這點磨利成：除非它是常數，否則它甚至不可能在內部碰到它的邊界最大值。這已經很有力了，但請留意，它一次只談一個 u。這篇導讀的躍進，說起來小、後果卻巨大：把同一個原理對準的不是 u，而是兩個函數的差。其餘的，交給線性。
把引擎一口氣說完。假設 u 與 v 都在區域 D 內調和，且在邊界上處處 u <= v。作出差 w = u - v。因為拉普拉斯方程是線性的，w 也是調和的（這正是疊加原理在起作用），而在邊界上 w <= 0。最大值原理說調和的 w 在邊界上取得最大值，而那裡至多是 0——所以內部處處 w <= 0。這恰恰就是在整個 D 上 u <= v。我們僅憑兩個解的邊界次序，就在整塊區域上比較了它們，而且自始至終沒寫下其中任何一個。
比較原理：說清楚，也感受到
整理乾淨後，這台引擎就是比較原理：若 u 是同一條線性方程的次解、v 是超解，且在邊界上 u <= v，則在整個內部 u <= v。把它讀作一個關於次序的承諾。邊界上的次序被保送進內部——解不可能在內部彼此交叉或超車，除非先在邊緣上就這麼做了。想像兩張肥皂膜撐在同一個鐵絲框上，其中一張的邊緣處處不高於另一張：較低的那張，在中間任何地方都絕不可能凸穿較高的那張。除了或許在它們的邊緣本就相接之處，兩張膜被禁止相交。
一個立竿見影的紅利是正性保持，而它不過就是與常數零作比較。取 v = 0，它顯然是調和的。若 u 調和且在邊界上 u >= 0，則比較原理給出整塊區域上 u >= 0。換句話說：一片穩態溫度若在邊緣上處處不為負，內部也處處不為負。你無法在一塊整條邊緣都被按在冰點或以上的板子內部，憑空變出一個低於冰點的冷點。同樣的陳述對熱方程也成立：非負的初始與邊界溫度，在所有時刻都保持非負——擴散從不無中生有地造出負熱量。
COMPARISON PRINCIPLE (linear equation L)
L u >= 0 (subsol) u <= v on boundary
L v <= 0 (supersol) =====================> u <= v inside
special cases
v = 0 : u >= 0 on boundary ==> u >= 0 inside (positivity)
u, v both solutions, u = v on boundary ==> u = v inside (uniqueness)
|u| <= M on boundary ==> |u| <= M inside (a-priori bound)擠出唯一性
現在把比較原理同時往兩個方向施用，唯一性便幾乎白白地掉了出來。假設 u 與 v 解的是同一個邊界值問題——內部同一條方程，邊界上同一份資料 g。那麼在邊界上 u <= v（事實上那裡 u = v），所以比較原理給出內部 u <= v。但情勢是完美對稱的：把角色對調，內部也有 v <= u。兩個不等式 u <= v 與 v <= u 只有在 u = v 時才能同時成立。解是唯一的。沒有公式、沒有積分、沒有分離變數法——只是把保序的擠壓從上方與下方同時施加。
值得誠實說清楚這究竟換來了什麼、又沒換來什麼。比較原理交付了唯一性與連續依賴性，卻對存在性隻字未提。一個問題完全可能至多有一個解、卻根本一個解也沒有——這時比較的論證會空轉，比較的是兩個不存在的東西。存在性是另一個承諾，要靠真正建構出一個解來掙得（圓盤上的帕松公式、分離變數法、弱理論中的拉克斯-米爾格拉姆定理）。本級的定性工具，在約束與區分解這件事上鋒利無比；對於把一個解召喚出來，它們則保持沉默。
加上時間：拋物型的版本
一旦你弄清楚邊界究竟在哪裡，上面的一切就乾淨地移植到隨時間的演化上。對熱方程 u_t = k u_xx，正確的舞台是一個時空盒子，而拋物型最大值原理說最大值取在拋物邊界上——底面（初始資料）與兩個側面（空間邊界），但關鍵是不包括頂面。隨你怎麼加熱邊緣與起始；較晚時刻的內部，永遠不可能超過那個由底面與側面構成的框上所見的最熱值。未來被過去與邊緣箍住，它不可能比兩者都更熱。
握住了拋物邊界，比較與唯一性的論證便一字不差地重演。兩個在初始線上、以及在空間邊界上都吻合的熱方程解，此後必處處吻合：相減，得到一個在整個拋物邊界上為零的熱方程解，拋物型最大值原理便把它在此後所有時刻擠成零。所以前向熱問題——初始溫度加上邊界溫度——有唯一解。而比較原理給出同樣的單調次序：更暖的起始與更暖的邊緣，意味著一塊永遠更暖的板子，分分秒秒皆然。
為什麼要把頂面排除？因為對擴散而言，時間之箭只指向一個方向。這個原理是用過去與側面來掌控現在，從不用未來——這恰恰映照出熱方程往前走平滑、往後走則無可救藥地不適定。試圖把它倒著跑，那逆向熱方程，正是擴散的不可逆性的精確化身：當你試圖重建過去時，現在溫度裡細微的誤差會爆炸開來。拋物邊界缺失的那個頂面，正是最大值原理在悄悄編碼著這條單行道。
引擎止步之處：波動方程
現在來看整套方法誠實的邊界。比較引擎跑得動的是橢圓型方程（拉普拉斯）與拋物型方程（熱），因為兩者都有最大值原理。波動方程 u_tt = c^2 u_xx 根本沒有最大值原理，而看清楚為什麼、而非只被告知，是很有啟發的。一個行波 u(x,t) = f(x - c t) 載著它的輪廓原封不動地前行；一個尖銳的脈衝始終一樣尖銳。兩個波可以在起始時被排好序，卻在稍後隨著它們的隆起滑過彼此而交叉——沒有什麼禁止超車，因為沒有什麼把那些隆起抹平。整套保序的圖像，根本就不適用。
這不是我們工具的缺陷，而是物理上一個真實的差別，它把定性理論劈成兩大陣營。擴散具有無限傳播速度與平滑化性質：一個隆起瞬間就輕推到各處，也瞬間就被磨圓，而正是這份平滑化撐起了最大值原理。波動具有有限速度 c，轉而展現奇異性的傳播：初始資料裡的一個尖折不會癒合——它沿著特徵線永遠傳下去，以速度 c 馳行。熱在何處模糊，波就在何處運載。本級第 4 篇導讀正是專講這道分水嶺；在這裡，它說明了你剛建起的比較引擎其精確的觸及範圍。
兩條收尾的線索，把這篇導讀繫向接下來的內容。其一，比較原理是地板，而非天花板：強最大值原理使這份次序變得嚴格（若兩個解曾在某個內部點相等卻又不恆等，那必有特殊情況成立），而哈納克不等式——第 3 篇導讀——還要再往前推一步，用一個正解在某個內部點的值去界住它在另一個內部點能有多大，使得正解不能變化得太狂野。其二，即便沒有最大值原理，波動方程也並非無法可循：它有自己的守恆量——波動能量，而能量法給出它的唯一性——這正是本級最後一篇導讀的開場主題。