一個盯著整個解的數字
本階前面幾份指南都共享一個安靜的把戲：它們在不真正求解的情況下，告訴你關於一個解的某些真相。最大值原理讀出最大值必定坐落於何處；比較原理把一個未知解夾在兩個已知解之間；哈納克不等式把一個解的高值與低值綁在一起。這最後一份指南要交給你這家族中最具量化威力的工具——能量——一個由解構築出來的單一數字，你可以盯著它隨時間變化，而解的整個長期命運就從它的行為裡掉了出來。
把它具體化到區間上的熱方程 u_t = k u_xx，兩端維持零溫。把能量 E(t) 定義為 u(x,t)^2 在區間上的積分——字面上就是平方分布底下的面積，一個正的單一數字，量度系統裡還留著多少「東西」。現在做那一個撐起整個學科的計算：把 E(t) 對時間微分，把導數推進積分裡，將 u_t 換成 k u_xx，然後分部積分。邊界項因為 u 在兩端皆為零而消失，倖存下來的是 dE/dt = -2k 乘以 (u_x)^2 的積分。
慢慢地讀這個結果，因為整份指南就濃縮在這一行裡。右邊是負的平方和，所以它永遠不可能為正：dE/dt <= 0，恆成立。一個熱解的能量只能下降或持平——它永遠無法攀升。這正是你在熱方程那一階遇到的擴散不可逆性精確、可計算的面貌：時間在這裡有方向，烤進了一個正負號裡，而系統永遠在花費能量，從不獲得能量。我們一口氣學到了關於每一個解的深刻事實，卻從未真正解過任何東西。
能量用三行證明唯一性
在追逐衰減之前，先看能量解決一個前面幾份指南用比較原理回答過的問題：解是唯一的嗎？假設同一個熱問題的兩個解 u 與 v 共享相同的初始資料和相同的邊界值。它們的差 w = u - v 解 w_t = k w_xx，起始時處處 w = 0，且在邊界上恆為零。構造它的能量 E(t)，也就是 w^2 的積分。
現在陷阱啪地合上。一開始 E(0) = 0，因為 w 起始時恆等於零。我們剛剛證明了 dE/dt <= 0，所以 E 只能下降——但 E 是一個平方的積分，所以它永遠不可能低於零。一個從零出發、永遠無法上升、又永遠無法跌破零的量，被釘死在零上，對所有時間皆然。於是 E(t) 永遠為零，這迫使處處 w = 0，也就是 u = v。那兩個解從來就不是兩個；它們是同一個。這就是完整的唯一性證明，而它純粹是能量——沒有最大值原理，沒有表示公式，只有一個正負號和一個平方。
從一個正負號到一個速率：被逼出的指數衰減
知道 E 只能下降很好；知道它下降得多快更好。衰減的正負號只要加上一味額外的材料，就升級成衰減的速率，那就是著名的龐加萊不等式：在零邊界值的有界區間上，(u_x)^2 的積分至少是 lambda_1 乘以 u^2 的積分，其中 lambda_1 是 -u_xx 在那組邊界條件下的最小特徵值——也就是該區域的主特徵值。幾何上它說：一個在兩端被釘為零的函數，若不在某處變得陡峭，就無法在大小上變大；平坦與細小彼此對抗。
把這個餵進能量恆等式。我們有 dE/dt = -2k 乘以 (u_x)^2 的積分；龐加萊把那個積分換成至少是 lambda_1 E 的東西，於是 dE/dt <= -2k lambda_1 E。這就是每位微積分學生都會解的微分不等式：一個變化率至多是 -(常數) 乘以自身的量，衰減得至少和對應的指數一樣快。積分得到 E(t) <= E(0) e^(-2k lambda_1 t)。能量不只是慢慢飄下——它被指數地壓垮，速率由該區域的幾何透過它最頭一個特徵值所設定。
energy: E(t) = integral of u(x,t)^2 dx (one positive number) identity: dE/dt = -2k * integral of (u_x)^2 dx (<= 0 -> E never rises) Poincare: integral (u_x)^2 >= lambda_1 * integral u^2 = lambda_1 * E combine: dE/dt <= -2k * lambda_1 * E solve: E(t) <= E(0) * e^(-2k * lambda_1 * t) (exponential decay)
這和熱方程那一階透過傅立葉級數告訴你的是同一個真相——傅立葉模態的衰減以因子 e^(-k lambda_n t) 殺掉第 n 個模態，所以死得最慢的模態是主模態，而它掌控了晚期的圖像。能量法抵達完全相同的結論，卻根本不必展開成模態，這正是為什麼它在你永遠寫不出傅立葉級數的奇形區域與變係數方程上仍然管用。同一個目的地，一條不需要分離變數的路。
解最終會停在哪裡？
指數衰減到零，只有在邊界維持為零時才是全部故事。改變邊界資料，長時間極限也跟著改變，但引擎完全相同。把棒的兩端固定在固定卻不相等的溫度，解就不再排空到零——它鬆弛趨向穩態熱分布，也就是滿足 u_xx = 0 的不隨時間變化的分布，在區間上它不過是連接兩端溫度的一條直線。把那條穩態直線減掉，剩下的便服從零邊界條件，並依上面的論證指數衰減。瞬態死去；平衡留下。
這正是橢圓型方程主宰拋物型方程長時間端的深層原因。穩態恰好就是 u_t = 0 之處，這把熱方程 u_t = k u_xx 變成橢圓型方程 u_xx = 0——喬裝的拉普拉斯方程。所以一個擴散的平衡永遠是一個調和態，這也是為什麼你為拉普拉斯方程證過的那套平均值與最大值原理圖像，同時也是熱方程晚期的肖像。在固定區域、固定邊界資料上讓一個擴散跑得夠久，它就會忘記自己如何起步的每一個細節，只記得邊界——它收斂到承載那組邊界資料的唯一調和函數。
能量買到什麼，又在哪裡止步
退一步，把收穫攏在一起。從一個正的單一數字加上它時間導數的正負號，我們便提取出偏微分方程理論家最想要的三樣戰利品中的三樣：唯一性（兩個解之差的能量永遠為零）、穩定性（資料的小變化使解產生一個小而受控的變化，因為能量界住了差），以及帶著由區域主特徵值所定明確速率的衰減。同一個 lambda_1 也通往譜的世界——狄利克雷特徵值問題，它那串日益增長的特徵值，讓你能從一個區域的模態如何振動讀出它的形狀。
不過要誠實面對這份威力的邊界，因為能量法是鋒利的，而非萬能的。它在帶有友善正負號結構的線性方程上最為強大，在那裡乘以 u 並分部積分會產生一個乾淨的耗散項。一旦推進到非線性領域，記帳就可能崩潰：對一個非線性純量守恆律，一個光滑的解可以在有限時間內變陡並形成震波，之後天真的能量不再守恆，唯一性也失效，除非你施加一個額外的熵條件來挑出物理上的弱解。能量是行為良好情形的保證；它不是每一個解都會保持馴服的一張包票。
這裡是要帶著走完整個這一階的統一圖像。你所建立的定性理論——最大值原理、比較、哈納克、平滑化，以及如今的能量——是一門藝術：對一個你還沒求出的解，說出真實而有用的話。熱方程之所以平滑並衰減，是因為它耗散能量；拉普拉斯方程坐在那場衰減的不動點上，是沉默的平衡；波動方程守恆能量，於是繼續鳴響，有限速度而不減。一個數字、一條不等式、一個正負號——三大偏微分方程型別各自的長時間命運，便在毫無公式可見之處被攤了開來。