把加熱器打開：杜阿梅公式
到了指南四，你已能求解無外力的問題 du/dt = -A u、u(0) = u_0：它的答案就是那個單一物件 u(t) = e^(-tA) u_0，是把初始剖面朝前滑送的解析半群。但幾乎每一條真實的拋物型方程都帶著一個源項——一台把暖意泵進棒子裡的加熱器、一個生成物質的化學反應、一個本身就是移動剖面的外加項 f(t)。這篇收尾指南要問的問題說來簡單：當有某物持續推著它時，同一道解流如何回應？答案，杜阿梅公式，是整個分析學中最可重複使用的點子之一，而你其實早已見過它的雛形版本——熱方程那道梯級裡的熱方程杜阿梅原理。
其想法是把外加項當作一連串連續不斷的微小初始踢擊。想像把 0 到 t 的區間切成許多薄片。在較早時刻 s 附近的那一薄片裡，源 f(s) 把一小份新剖面 f(s) ds 投放進棒子。從那一瞬間起，這份新投放的小鼓包就只是搭乘自由解流——它被 e^(-(t-s)A) 載送，陳化了剩餘的時間 t - s。那麼，時刻 t 的完整答案，就只是把所有較早瞬間 s 的這些陳化投放全部加總，再加上同樣一路陳化過來的原始資料。把總和換成積分，你就一字不差地得到它了。
free flow only: u(t) = e^(-tA) u_0
with forcing f: u(t) = e^(-tA) u_0 + integral from 0 to t of e^(-(t-s)A) f(s) ds
\__________/ \_______________________________________/
data, aged t each kick f(s) ds, aged the leftover time t-s
check t = 0: the integral is empty => u(0) = u_0 (data recovered)溫和解：一條幾乎不要求任何東西的方程
這裡有一招讓整套現代理論運轉起來。別再把杜阿梅公式當成求解偏微分方程的結果，而要把它當成解的定義。一個對每個 t 都滿足積分恆等式 u(t) = e^(-tA) u_0 + （那個杜阿梅積分）的剖面 u(t)，就稱為抽象柯西問題（抽象柯西問題）的溫和解。注意這個定義不要求什麼：它從不對 u 取時間導數，也從不把無界算子 A 直接作用在 u 上。右手邊的一切，都只由半群 e^(-tA) 建成，而那是個完美溫順的有界算子。粗糙性已被掃出視線之外。
為什麼這值得一個專屬名稱？因為古典的概念——一個真正對時間可微、且每個瞬間都落在定義域 D(A) 裡的 u(t)——是脆弱的。當資料 u_0 僅是個 L^2 剖面而非光滑剖面，或當外加項 f 對時間粗糙時，即便物理上完全合理，古典解仍可能不存在。而溫和解在極寬鬆的假設下總是存在且唯一（一個連續的 f 加上空間 X 中的任意 u_0 就足夠），於是你先得到一個能抓在手裡的解，事後才去問它私底下究竟有多光滑。存在性很廉價；正則性則是你另行掙來的回報。
解析性在哪裡付清房租：受力下的平滑化
現在來收取指南四那條最硬的事實所帶來的紅利——對一個拋物型的 A，這個半群不僅僅是個 C_0 半群，而是個由扇形算子生成的解析半群。具體說來，這意味著 e^(-tA) 不只把剖面挪來挪去；對任意 t > 0，它把剖面灌進 A 的定義域乃至更深之處，並對它製造多少導數有著精準的掌控：A e^(-tA) 的大小，在 t 縮向 0 時也只像 1/t 那樣爆掉。光是這個估計就是引擎。把它穿過杜阿梅積分，你會發現：即便是一個僅僅連續、不可微的外加項 f，都會產生一個對時間可微、且對每個 t > 0 都落在 D(A) 裡的 u(t)。解流在外加項抵達的那一刻，便把它平滑化了。
這正是定義拋物型方程的那套單向魔法，如今透過外加項來看。一個粗糙的初始剖面，或一個粗糙的源，它所有的鋸齒在 t > 0 時都被抹平——你在溫和解裡達成的那筆交易（存在性廉價、不要求光滑）在轉瞬之後就全額償清，解到頭來竟是光滑的。而這也是讓逆向熱方程無望的同一套魔法：朝前平滑化意味著資訊被不可逆地丟棄，所以沒有任何誠實的辦法把那個積分倒著跑。杜阿梅公式永遠只把半群朝前積分，理由很基本——倒退正是拋物型問題的宇宙禁止你前往之處。
讀出長程命運：譜隙與衰減
完全同一條公式，改盯著 t 變大而非變小來看，便回答了本梯級的最後一問：一切最終歸於何處？把杜阿梅答案 u(t) = e^(-tA) u_0 + （那個積分）拆開。對一個不隨時間變化的穩定外加項 f，你能猜出最終的靜止剖面：它就是解 A u_inf = f 的穩態 u_inf，也就是變化率 du/dt 終於停滯為零的那一刻。把它減掉，令 v = u - u_inf 度量剩餘。這份剩餘服從無外力的方程 dv/dt = -A v，所以 v(t) = e^(-tA) v(0)。於是整個長時間的故事，由一件事決定：自由半群衰減得有多快。
而那個速率有個你能直接從算子上讀出的名字。由於 A 是有界區域上的正橢圓算子，它的譜是一道正特徵值的離散階梯 0 < lambda_1 < lambda_2 < ...——正是當年跑你那套傅立葉模態展開的同一批特徵值。半群在 lambda_k-模態上的作用，就是把它乘以 e^(-lambda_k t)，所以每個模態都會死去，而最慢的倖存者是最低的那個，衰減如 e^(-lambda_1 t)。那個嚴格為正的最底特徵值 lambda_1，就是譜隙，它正是任何拋物型系統鬆弛至其穩態的確切指數速率。譜隙越大，遺忘越快；這是你最初在赤裸熱方程上所見的傅立葉模態衰減的嚴格繼承者。
當非線性反推回來時
溫和形式那份隱藏的禮物，是它幾乎不在乎外加項是否線性。把外部的 f(s) 換成一個依賴於解本身的項 f(u(s))，杜阿梅恆等式便成為 u(t) = e^(-tA) u_0 + integral of e^(-(t-s)A) f(u(s)) ds——如今這是一條隱式方程，未知量同時坐在兩邊。這正是每一條反應擴散方程的居所：擴散提供平滑化的半群，反應提供 f(u)。求解它是個不動點問題，而那條馴服了線性情形的同一個 1/t 平滑化估計，讓一個壓縮映射論證得以產生一個唯一的溫和解——至少在短時間內如此。你建起的這套抽象機器在非線性面前並不退縮；它只是把一個積分變成一條不動點方程。
但對短時間這幾個字要誠實。有了非線性反應，長時間行為便不再是線性世界那種整潔的衰減至平衡。反應可以持續餵入能量，挫敗擴散想要鬆弛的衝動：有些解在有限時間內爆破（溫和解不復存在），另一些則安頓到一個全域吸引子上——一個有限維的長期狀態集合，遠比單一穩態點豐富，能支撐前緣、振盪，甚至支撐單靠擴散絕造不出的圖樣。那乾淨的指數衰減是線性的特徵，而非拋物性的特徵。剝去線性，譜隙便只主宰某個平衡點附近的行為，絕不主宰全域的故事。
退一步，看看單單一條公式帶你走過了什麼。杜阿梅把無外力的解流轉成對任意推力的回應；把它讀作定義給出了溫和解，存在性廉價、又易於延伸到非線性；解析半群的平滑化以瞬時正則性償還了那份廉價；而把同一條公式讀到 t 增長處，則揭示譜隙正是鬆弛的速率——連同那句誠實的警告：非線性能用爆破或吸引子取代那份鬆弛。這就是拋物型理論的整道弧線，從指南一裡的單一移動點，到此處受力、非線性演化的長時間命運。一條方程，du/dt = -A u + f，朝前讀、慢慢讀，一路讀到盡頭。