擴散的二階橢圓生成元（second-order elliptic generator of a diffusion）

每個擴散都有無窮小生成元 L，這個算子把它的動態凝縮在單一微分表達式中。對於解 dX = b(X) dt + sigma(X) dB 的擴散，生成元是二階偏微分算子 L f(x) = sum_i b_i(x) partial_i f(x) + (1/2) sum_{i,j} a_ij(x) partial_i partial_j f(x)，其中 a = sigma sigma^T。它是擴散的名片：由 L 可讀出漂移（一階部分）與擴散矩陣（二階部分），而 L 確定過程的整個分布。它回答的問題是：哪一個算子編碼了「過程往哪去、如何擴散」？

L 在馬可夫半群意義下是轉移半群 P_t f(x) = E[f(X_t) given X_0 = x] 的無窮小生成元：在適當的定義域上 L f = lim_{t -> 0} (P_t f - f)/t。由伊藤公式，對光滑 f，過程 f(X_t) - f(X_0) - integral_0^t L f(X_s) ds = integral_0^t (grad f)^T sigma dB 是局部鞅——這是微分形式的丹金公式，也正是鞅問題的刻畫。此算子是橢圓的，因為二階係數矩陣 a = sigma sigma^T 對稱且非負（半正定）；當對某 delta > 0 有 a >= delta I（即雜訊在每個方向都非退化）時為一致／嚴格橢圓。一階項 b 是漂移／平流，二階項 (1/2) a : D^2 是擴散／擴展，除非過程被殺死，否則沒有零階項。

生成元是連接機率與分析的樞紐。後向科爾莫戈洛夫方程是 partial_t u = L u（在 t 上向前演化，L 作用於空間變數）；福克-普朗克（前向）方程是 partial_t p = L^* p，L^* 是形式伴隨；費曼-卡茨在 L 上加一個位勢項；不變密度解 L^* p = 0。誠實的警告：「生成元」其實是一個帶有仔細指定定義域的算子（希爾-吉田理論），在該定義域上它是閉且稠密定義的——在陳述例如預解式或自伴性時，不能忽略定義域。退化的橢圓性（a 非嚴格正）意味擴散活在子流形上，密度未必平滑；對向量場括號的赫爾曼德條件是精確的補救（次橢圓性）。