圍道積分

圍道積分把你沿平面中一條曲線行走時複函數的值累加起來,每個值都以你所邁的微小複數步長加權。想像沿一條路徑穿過某片地貌,邊走邊累計函數值——只不過這裡函數值和你邁的步長都是複數,故乘法攜帶的是旋轉與縮放資訊,而非僅僅大小。你遍歷曲線的方向很要緊,反向會翻轉符號。

形式上,給定一條由 z(t)(t 屬於 [a, b])參數化的分段光滑曲線(圍道),f 沿它的積分是從 a 到 b 的 f(z(t)) z'(t) dt 的積分——一個完全普通的複值被積函數的單變量積分。結果是一個複數,與你如何參數化曲線無關,只依賴於帶定向的路徑。一個基本估計,即 ML 不等式,用(|f| 在曲線上的最大值)乘以(曲線的長度)來界定積分的模。

使圍道積分具有魔力的是它與全純性的相互作用。對全純被積函數,其值可能對確切路徑極不敏感——柯西定理說閉環積分為零,而形變論證讓你只要不越過奇點,就能自由地滑動圍道。這正是留數演算背後的引擎,它透過繞道複平面來求解困難的實積分。