解析半群（analytic semigroup）
一般的 C_0 半群只在時間上連續——它解了方程，但不必特別光滑或具平滑化能力。拋物型方程的表現遠勝於此，而解析半群正是捕捉這點的升級版。不僅解流 e^{-tA} 對 t > 0 光滑地依賴 t；它還延拓到複平面一整個扇形中的複時間 t，並在該處真正解析（全純）。這份額外的剛性，是擴散一切美好性質的抽象源頭：瞬時平滑化、強衰減估計，以及用不動點求解非線性問題的能力。
具體來說，若 t 對應到 T(t) 能延拓成某張角 theta > 0 的扇形 {complex z : |arg z| < theta} 上一個全純的算子值函數，並在 z 於扇形內趨於 0 時保持半群律與強連續性，則 C_0 半群 {T(t)} 稱為解析的。生成它們的算子恰恰是扇形算子（譜落在一個朝左張開的扇形內、且在扇形外有預解式界者）。其定義性的定量收益是平滑化估計：對 t > 0，算子 A T(t) 有界，且 norm of A e^{-tA} <= C/t。用白話說，施加生成元只花一個 1/t 的因子——半群立刻把粗糙資料送進 A 的定義域，再送進 A^2 的定義域，依此類推，對每個 t > 0 都如此。反覆迭代，e^{-tA} u_0 便落在所有定義域的交集中，亦即它無窮光滑。
這就是拋物型正則性的抽象面貌。界 norm of A e^{-tA} <= C/t 恰恰是「粗糙初始資料瞬間變光滑」的原因，也恰恰是驅動半線性方程杜阿梅公式的那個估計：一個直接處理會太粗糙的非線性項變得可控，因為半群在每一步都把它平滑化，只付出一個可積的 1/t。熱半群是原型；波動半群「不」是解析的（它不平滑，與有限傳播速度一致）。
熱半群 e^{t Laplacian} 是解析的。把熱核對 t 微分一次只花一個 1/t 的因子：在 L^2 上 norm of Laplacian e^{t Laplacian} <= C/t。這就是為什麼一個僅僅可積的初始隆起，在任意 t > 0（無論多小）時都變成完美光滑、被高斯模糊過的剖面——平滑化是瞬間的，而非漸進的。
時間上的解析性，正是擴散瞬間平滑化的抽象原因。
解析比 C_0 強得多：多數半群（例如平移半群，或波動半群）「不」是解析的，唯有拋物／扇形生成元才給出解析半群。複時間的延拓也反映了不可逆性——你可以進入扇形內部，但邊界射線就是你能走到的盡頭；不存在到負實時間的解析延拓，這與逆向熱方程的不適定性相吻合。