唯一性留在桌上的那個問題
三篇導讀之前，你見過哈達瑪對適定問題的三項要求：解必須存在、必須唯一、而且必須連續地依賴於資料。存在性你整個學習階梯都在追逐——分離變數法、傅立葉級數、基本解，全都在親手造出一個解。連續依賴性，就是你在那些不適定範例裡眼睜睜看著崩塌的那份穩定性。但唯一性一直是最安靜的那一個。我們不斷斷言狄利克雷問題有一個答案、熱方程有一個答案——可你究竟要怎麼真正排除某處藏著一個鬼鬼祟祟的第二解呢？
這裡有個標準的把戲，值得刺在你眼皮的內側：要為一個線性問題證明唯一性，就假設有兩個解、把它們相減。把它們叫作 u1 與 u2，兩者都以相同的資料解著相同的方程，並令 w = u1 - u2。根據疊加原理——也就是你從第一階起就倚靠著的線性性——w 解的是該方程的齊次版本，且帶著零資料：零源項、零邊界值、零初始值。若你能證明這個全零問題唯一的解就是恆為零的 w = 0，那麼 u1 = u2，答案自始至終都是唯一的。唯一性於是化為一個尖銳的單一問題：一個自己毫無資料的差，能不能不是「什麼也沒有」？
能量：一個無法說謊的數
你要怎麼證明一整個函數 w(x)——可能在整片區域上扭來扭去——恆等於零？逐點去檢查是沒指望的。能量法用一段漂亮的記帳給出答案：把整個函數塌縮成一個非負的數，也就是能量，定義為 w^2（有時還加上它的導數平方）在區域上的積分。這個數最重要的單一性質，就是它非負，而且它等於零若且唯若 w 處處為零。所以只要你能把能量逼到角落、迫使它為零，函數本身就再無處可躲——它非消失不可。
其實你在這道階梯上已經兩度感受過這個想法，只是它穿著物理的外衣。波能守恆告訴過你，一條振動的弦其總能量——動能加位能，也就是 u_t^2 + c^2 u_x^2 的積分——在時間中保持恰好不變。總熱量守恆告訴過你，兩端絕熱時，u 沿一根棒的積分永不改變。兩者都是在說「一個解的某個積分以受控的方式演化」這件事。能量法不過是把那份物理直覺，轉化為一件唯一性的武器：選對那個積分、對時間微分它、再用方程去發現它能不能增長。
熱方程，四行之內了結
讓我們把這套方法跑在熱方程 u_t = k u_xx 上，看著它運作。假設兩個解共有相同的初始溫度與相同的狄利克雷邊界值，於是它們的差 w 滿足 w_t = k w_xx，兩端 w = 0、起始時 w = 0。把能量 E(t) 定義為 (1/2) w^2 沿整根棒的積分。它從 E(0) = 0 開始，因為 w 起初就是零。現在對時間微分 E，把時間導數滑進積分號內，用方程把 w_t 換成 k w_xx，再分部積分。邊界項因為兩端 w = 0 而死去，剩下來的是一個乾淨的負量。
E(t) = integral of (1/2) w^2 dx >= 0, E(0) = 0
E'(t) = integral of w w_t dx
= integral of w (k w_xx) dx (use the equation)
= -k integral of (w_x)^2 dx <= 0 (integrate by parts; ends vanish)
so E(t) <= E(0) = 0 and E(t) >= 0 ==> E(t) = 0 ==> w = 0把這句結語慢慢讀，因為它就是整盤棋。能量 E(t) 從零開始，它的變化率 E'(t) 從不為正，所以 E 只能原地不動或下沉——可它又永遠無法沉到零以下。被夾在零的天花板與零的地板之間，E(t) 對所有時間都必須等於零。因此 w 處處為零，u1 等於 u2，熱方程問題恰有唯一的解。注意那個就明擺在眼前的先驗估計：我們在還沒寫下 w 的任何公式之前，就只憑方程與資料把 w 的大小框住了。這正是每一個能量論證的標誌——手裡沒有解，卻已掌控了它。
同一個想法，波動方程與拉普拉斯也一樣
美妙之處在於，換到波動方程 u_tt = c^2 u_xx 時要改的竟如此之少。這裡你不用 w^2 本身的積分；你用那個物理能量 E(t)，也就是 (1/2)(w_t^2 + c^2 w_x^2) 的積分，動能加位能。微分它、代入方程、分部積分，被夾住（或絕熱）的兩端殺掉邊界項——但這一回 E'(t) 出來恰好是零，而非負。波動方程守住能量、而非耗散它。然而結論一樣斬釘截鐵：若 w 起始時靜止、形狀為零、速度為零，那麼 E(0) = 0，E 永遠停在 0，而既然 E 是一堆平方之和，w_t 與 w_x 都必須消失——於是 w 是常數，再由零邊界資料把那常數釘死在零。
甚至連拉普拉斯方程 Laplacian u = 0 也對同一招俯首稱臣，而且完全沒有時間變數。對於兩個在邊界上一致的狄利克雷問題的解，差 w 是調和的、且在整圈邊界上 w = 0。造出狄利克雷能量，也就是 w 的梯度平方在區域上的積分。分部積分一次：邊界項因為那裡 w = 0 而消失，內部項則因為 Laplacian w = 0 而消失。於是梯度平方的積分為零，這迫使梯度本身為零，所以 w 是常數——再由零邊界值讓那常數歸零。這就是狄利克雷原理的能量面貌：調和函數是能量最小的那一個，而能量最小者，容不下任何對手。
從唯一性走向穩定性——以及為何逆向熱方程失敗
那個證明了唯一性的同一個能量，悄悄地升級為哈達瑪的第三項要求，對資料的連續依賴。把熱方程的論證再跑一次，但這回讓 u1 與 u2 從略有不同的初始資料、而非相同的資料出發。差 w 不再從零開始，所以 E(0) 是某個小小的正數——可 E'(t) 依然 <= 0，於是對所有後續時間 E(t) <= E(0)。用白話說：兩個解之間的差距，隨著熱方程向前推進只會縮小。初始資料裡一個小小的誤差，永遠保持渺小。那就是穩定性，從同一條一行的不等式裡直接掉了出來。在有界域上，一件更鋒利的工具，龐加萊不等式，甚至把這推得更遠，迫使能量呈指數衰減。
現在把時鐘倒轉，你就會精確地看出，為何上一篇導讀裡的逆向熱方程是一場災難。讓擴散倒著跑，會把 k 前面的符號翻轉，能量不等式也跟著翻轉：你得到的不再是 E'(t) <= 0，而是 E'(t) >= 0，更糟的是，高頻的扭動會讓 E 爆炸。那個賦予正向熱方程堅如磐石之穩定性的耗散，一旦時間倒轉，就變成失控的放大。能量法不只證明那些好問題是適定的；同一套計算，只要不等式指向反方向，就能診斷出那些壞問題究竟為何不適定。唯一性與穩定性，是對同一份誠實的能量帳目的兩種讀法。
唯一性真正破裂之處：震波與熵
若讓你以為唯一性永遠這般乾淨，那便是不誠實的。整套「相減再取能量」的論證，倚靠的是線性性——兩個解的差滿足一個齊次問題——而一旦方程是非線性的，那根拐杖就應聲折斷。回想守恆律那一階的無禮驚嚇：一個非線性守恆律的光滑解，能在有限時間內長出一道震波，一個貨真價實的不連續，此後根本不存在任何古典解。越過震波，你就必須容許不光滑的弱解——而唯一性就在這裡徹底崩潰。同樣的初始資料能孵出好幾個不同的弱解，全都在弱的意義下服從著方程。單憑能量，再也選不出贏家。
當然，大自然恰恰只挑一個。修補之道，是再加上一條物理解必須服從的額外可容許性規則，也就是熵條件——一條單向的不等式，實質上是說，特徵線可以撞進一道震波，卻絕不能從中噴出，這呼應著熵只增不減的熱力學第二定律。要求它成立，唯一性便奇蹟般地復原了：在所有弱解之中，恰有一個是熵解，而它正是你讓一丁點黏性趨於零、在無摩擦極限下得到的那一個。所以唯一性既不免費、也不自動。對於漂亮的線性問題，一條能量估計四行就把它交到你手上；對於非線性守恆律，你卻得用一條更深刻的物理原理去把它掙來。
而在最最前沿，連存在與唯一性都大敞著門。三維納維-斯托克斯方程是否永遠對所有時間都有唯一的光滑解，正是那個著名的納維-斯托克斯千禧年問題——懸而未決，還掛著一百萬美元的獎金。能量法確實給出速度某個積分的一個界，但那單獨一個估計，還不夠強到能在三維中排除爆破——在那裡，能量能比這個界所能掌控的更快地，堆進愈來愈細的漩渦裡。把這幅誠實的圖像放在眼前：能量估計是一頭你會不斷去取用的耕牛，卻不是一把能打開每一個唯一性問題的萬能鑰匙。