C_0 半群（C_0 semigroup）
/ see-zero semigroup /
讓一個擴散過程跑兩秒。你可以一口氣跑滿兩秒，也可以先跑一秒、把結果凍結、再讓它跑一秒——兩種方式得到的答案相同。這種「先往前流一段時間、再往前流一段」的自洽性，正是演化的代數核心。C_0 半群正是精確捕捉這件事的物件：一族算子，每個 t >= 0 對應一個，它們依「把過程跑連續幾段時間」所應有的方式相互複合。
形式上，巴拿赫空間 X 上的 C_0 半群是一族 {T(t)}、t >= 0 的有界線性算子，具三個性質。第一，T(0) = I（跑零秒不改變任何東西）。第二，對所有 t, s >= 0 有 T(t + s) = T(t) T(s)——半群律，正是 e^{a(t+s)} = e^{at} e^{as} 這條規則的算子版本。第三，強連續性（這就是「C_0」）：對每個固定的向量 x 屬於 X，當 t 趨於 0+ 時 T(t)x 趨於 x，也就是說解從它的初始資料連續地出發。注意它是半群而非群：一般沒有 T(-t)，因為擴散無法倒著跑（逆向熱方程是不適定的）。你可以寫 T(t) = e^{-tA}；藏在裡面的算子 A 就是無窮小生成元。
整件事的要點在於：C_0 半群「就是」抽象柯西問題的解算子：u(t) = T(t) u_0 解了 du/dt = -A u、u(0) = u_0。於是拋物型演化的存在-唯一-穩定性理論，就化為研究「哪些算子會生成這樣一族」。生成定理（希爾-吉田、盧默-菲利普斯）刻畫了這點。其增長是受控的：存在常數 M >= 1 與 omega，使得 norm of T(t) <= M e^{omega t}；當 omega < 0 時半群指數衰減——這正是長時間收斂到平衡態。
在 X = L^2(R) 上，熱半群 T(t) 就是對熱核的卷積：對 t > 0 有 (T(t) f)(x) = integral of (1/sqrt(4 pi t)) e^{-(x-y)^2/(4t)} f(y) dy，而 T(0) = I。驗證半群律：先用寬度 t 的核卷積、再用寬度 s 的核卷積，等於用寬度 t + s 的核卷積一次——這就是 T(t) T(s) = T(t+s)，高斯函數的自我再生。
熱核使「運行熱方程」變成一族單參數的算子。
「強連續」（C_0）指的是對每個固定的 x 都有 T(t)x 趨於 x，而非 t 對應到 T(t) 在算子範數下連續——後者要強得多，而且對真正的偏微分方程半群並不成立（那會迫使生成元有界）。也別把半群誤認成群：對不可逆的擴散，「只能向前」才是常態。