從邊界值還原一個函數

那個驚人的論斷

上一個階梯把柯西積分定理交到你手上：一個全純函數沿任何內部無洞的封閉迴路積分為零。那告訴你積分何時消失。柯西積分公式問了一個更大膽的問題——如果我們刻意設計被積函數讓它不消失，而是恰好留下一個值呢？答案是整個科目的核心：若 f 在一條簡單封閉迴路 C 上及其內部全純，那麼對於困在內部的任意一點 z_0，f(z_0) 這個值都能由沿著 C 的一個積分還原出來。

f(z_0) = (1 / (2 pi i)) * integral over C of  f(z) / (z - z_0)  dz

柯西積分公式：內部點 z_0 處的值，完全由 f 沿 C 的邊界值讀取出來。

慢慢讀這條公式。在右邊，z_0 只以一個固定參數的身分出現在核裡；真正被積分的東西——f(z) 與 z——全都活在曲線 C 上，從不進入內部。然而輸出的卻是某個你也許從未造訪過的內部點上的 f。這正是由邊界值決定的含意：f 在一條一維邊緣上的值，暗中包含了 f 在它所圍出的整個二維區域裡的值。你的實變數經驗裡，沒有任何東西能讓你預料到這一點。

這條公式從何而來

推導很短，值得記在腦中，因為往後每一個推論其實都是這同一個想法的重複利用。考慮函數 g(z) = f(z) / (z - z_0)。它在 C 內部處處全純，只有在那一個壞點 z = z_0 例外，因為那裡分母為零。那唯一被困住的奇點，正是柯西定理無法忽視的障礙——而我們刻意去利用它，而非迴避它。

在 g 保持全純的區域裡變形圍道，把大迴路 C 換成一個以 z_0 為心、半徑為 r 的小圓。積分值不變。
在那個小圓上參數化 z = z_0 + r e^(i theta)，於是 dz = i r e^(i theta) d theta、z - z_0 = r e^(i theta)。核 1 / (z - z_0) 與 dz 部分相消，留下乾淨的因子 i d theta。
積分變成 i 乘上 f(z_0 + r e^(i theta)) d theta 在 theta 由 0 到 2 pi 上的積分。當 r 收縮到零時，f 的連續性使被積函數趨近於常數 f(z_0)。
這個極限給出 i 乘 2 pi 乘 f(z_0) = 2 pi i f(z_0)。除以 2 pi i，公式便成立。整個結果是從一個被困的奇點與收縮圓的幾何中擠壓出來的。

把公式讀成加權平均

有一種方式能讓你打從骨子裡感受這條公式。因子 1 / (z - z_0) 是柯西核，它的作用像一盞聚光燈。當邊界上的 z 靠近 z_0 時，分母很小，那段邊緣便明亮地閃耀、貢獻很多；當 z 很遠時，核就變暗，那段邊界貢獻甚微。於是 f(z_0) 是邊界值的一種加權混合，越近的邊界點權重越大。柯西核正是那道配方，告訴你該如何調配邊緣上的值，以重現任何一個內部值。

這個觀點也解釋了為何繞數會偷偷溜進帳目裡。乾淨版本的公式假設 C 恰好逆時針繞 z_0 一圈。若你的圍道繞 z_0 兩圈，你就收得 2 乘 2 pi i f(z_0)；若它根本沒圍住 z_0，你收得零，正好還原柯西定理。誠實的一般敘述會在右邊乘上 C 對 z_0 的繞數，於是公式忠實地記下那盞聚光燈繞著該點轉了幾圈。

一個小小的範例計算

設 C 為逆時針走的單位圓，計算 e^z / (z - 0) dz 沿 C 的積分。把它對上公式：這裡 f(z) = e^z，它是整函數，因此在 C 上及其內部當然全純，而被挑出的點是 z_0 = 0，舒舒服服地落在內部。公式說積分等於 2 pi i 乘 f(0) = 2 pi i 乘 e^0 = 2 pi i。不用追原函數，不用磨參數化——公式直接從 e^z 在圓心的值讀出答案。

改動一處，看機器如何回應。取 e^z / (z - 3) 沿同一個單位圓的積分。現在被挑出的點 z_0 = 3 落在單位圓外，所以 e^z / (z - 3) 在 C 上及其內部全純，沒有被困的壞點。柯西定理直接適用，積分為零。決定答案在 2 pi i f(z_0) 與 0 之間翻轉的，是 z_0 相對於迴路的位置，而非 f 的具體公式。

為何這是一道大門

柯西積分公式不只是計算積分的漂亮把戲；它是驅動接下來四篇指南的引擎。關鍵的結構事實是：在右邊，z_0 只透過那個光滑的核 1 / (z - z_0) 進入。你可以對 z_0 把那個核微分任意多次，就在積分號底下進行，而邊界值 f(z) 只是作為固定的資料安坐在那裡。每微分一次就生出一條新公式——這便是無窮可微背後的祕密，也正是下一篇指南的標題。

從這一個觀察出發，整個階梯便展開了。對公式微分得出柯西估計，它用 f 在邊界上的大小來界定各階導數；那些界限逼出劉維爾定理（有界的整函數必為常數），並隨之帶出代數基本定理；把這套邏輯倒著走則給出莫雷拉的逆定理；而把平均值性質推到極致便得到最大模原理。對自己誠實一點，認清這有多特殊：一個複導數，餵進這個積分，就製造出無窮多個——這種剛性在實變數微積分裡找不到任何對應物。