跳轉到

3.3 CAUCHY積分公式#

本章導言#

Cauchy 積分定理說「無奇點則積分為零」；接下來的問題自然是：有奇點時積分是多少？ Cauchy 1831 年（都靈流亡期）給出的答案是複分析最神奇的公式：

\[ f(z_0) = \frac{1}{2\pi i}\oint_\gamma \frac{f(\zeta)}{\zeta - z_0}\,d\zeta. \]

函數在一點的值，由它在一圈邊界上的值完全決定。這條公式是「解析剛性」的定量表述，也是通往冪級數（第 4 章）與留數計算（第 5 章）的門。本節講述公式的證明、各階導數的表示、以及它為什麼使「解析函數 = 無窮光滑且由邊界鎖死」。

定理敘述與證明#

Cauchy 積分公式：設 \(f\) 在開集 \(D\) 上解析， \(\gamma\) 是 \(D\) 內的簡單閉曲線（正向）， \(z_0\) 在 \(\gamma\) 內部，且 \(\gamma\) 及其內部（除 \(z_0\) 周圍任意小鄰域不涉及）連同 \(f\) 滿足定理條件——標準陳述： \(f\) 在 \(\gamma\) 及其內部的閉包上解析， \(z_0\) 在內部。則

\[ f(z_0) = \frac{1}{2\pi i}\oint_\gamma \frac{f(\zeta)}{\zeta - z_0}\,d\zeta. \]

證明：把積分圍道從 \(\gamma\) 變形為繞 \(z_0\) 的小圓 \(C_r\) （中間環域上 \(\frac{f(\zeta)}{\zeta - z_0}\) 解析，Cauchy 定理保證積分不變）：

\[ \oint_\gamma \frac{f(\zeta)}{\zeta - z_0}d\zeta = \oint_{C_r} \frac{f(\zeta)}{\zeta - z_0}d\zeta = \oint_{C_r}\frac{f(z_0)}{\zeta - z_0}d\zeta + \oint_{C_r}\frac{f(\zeta) - f(z_0)}{\zeta - z_0}d\zeta. \]

第一項由 3.1 節指紋公式 \(= f(z_0)\cdot 2\pi i\) 。第二項的估計（長度估計）： \(|f(\zeta) - f(z_0)| \le \varepsilon_r\) （ \(f\) 連續， \(r\to0\) 時 \(\varepsilon_r \to 0\) ），弧長 \(2\pi r\) ，分母 \(\ge r\) ：

\[ \left|\oint_{C_r}\frac{f(\zeta) - f(z_0)}{\zeta - z_0}d\zeta\right| \le \frac{\varepsilon_r}{r}\cdot 2\pi r = 2\pi\varepsilon_r \to 0. \]

故 \(\oint_\gamma = 2\pi i f(z_0)\) 。∎

證明的美：右端「假想的積分」 \(\oint \frac{f(z_0)}{\zeta-z_0}\) 完全可算（指紋公式），剩下的誤差被 \(r \to 0\) 擠死。用一個已知積分 + 一個消失誤差，鎖定未知積分——這個「擠壓架構」在分析學中反覆出現（Poisson 核、Dirac 逼近恆等式皆同型）。

各階導數：由邊界積分表出#

對公式關於 \(z_0\) （在積分號下）求導，得各階導數公式：

\[ f^{(n)}(z_0) = \frac{n!}{2\pi i}\oint_\gamma \frac{f(\zeta)}{(\zeta - z_0)^{n+1}}\,d\zeta, \qquad n = 0, 1, 2, \ldots \]

（嚴格證明：對 \(z_0\) 求導的合法性由一致收斂保證——可先以差商論證 \(f'\) 的公式再用歸納；或直接用 4.1 篂冪級數展開。）三個立即的推論：

  1. 解析 \(\Rightarrow\) 無窮可微：右端對一切 \(n\) 有意義。複可微一次，自動光滑無窮次——與實函數（存在一次可微即止，如 \(x|x|\) ）對比鮮明。一次可微是鑽石級的條件。
  2. 導數的界（Cauchy 估計）：若 \(|f| \le M\) 在半徑 \(R\) 的圓上，則 \(|f^{(n)}(z_0)| \le \dfrac{n!\,M}{R^n}\) 。導數被函數值「鉗制」——剛性的定量表現。
  3. Liouville 定理（4.1 節）：整函數有界 \(\Rightarrow\) 恆常（取 \(R\to\infty\) ，各階導數趨零）。代數基本定理（1.2 節 Argand 嘗試證明的對象）由此一頁紙證畢。

三種讀法#

讀法 公式的意義 後續發展
表示 內點值 = 邊界平均（以核 \(\frac{1}{\zeta - z_0}\) 加權） Dirichlet 問題、Poisson 核（取實部，2.3 節）
求導 邊界積分給出一切階導數 Cauchy 估計、Liouville、解析性階層
奇點指紋 \(\frac{g(\zeta)}{\zeta - z_0}\) 型積分 \(= 2\pi i\,g(z_0)\) 留數定理（5.1）的直接預演

一個具體例題#

例題 3.3.1：設 \(\gamma: |z| = 3\) （逆時針）。計算 (a) \(\displaystyle\oint_\gamma \frac{\cos z}{z - \pi/2}\,dz\) ；(b) \(\displaystyle\oint_\gamma \frac{e^{z}}{(z-1)^3}\,dz\) ；(c) \(\displaystyle\oint_\gamma \frac{z^2}{z^2 + 9}\,dz\) 。

解：

(a) \(f(\zeta) = \cos\zeta\) 在 \(|\zeta| \le 3\) 解析， \(z_0 = \pi/2 \approx 1.57\) 在圓內。直接套公式：

\[ \oint_\gamma \frac{\cos\zeta}{\zeta - \pi/2}d\zeta = 2\pi i \cos\frac{\pi}{2} = 0. \]

注意：積分為零但不是「因為 Cauchy 積分定理」——奇點在圈內！是公式算出 \(f(z_0) = 0\) 。零值有不同的來源，必須分清。

(b) 用導數公式（ \(n = 2\) ， \(f(\zeta) = e^\zeta\) ， \(z_0 = 1\) ）：

\[ \oint_\gamma \frac{e^\zeta}{(\zeta - 1)^3}d\zeta = \frac{2\pi i}{2!}\left.\frac{d^2}{dz^2}e^z\right|_{z=1} = \pi i\,e. \]

(c) 拆分： \(\dfrac{z^2}{z^2+9} = 1 - \dfrac{9}{z^2 + 9} = 1 - \dfrac{9}{(z-3i)(z+3i)}\) 。常數 1 的積分為零（原函數 \(z\) ）。在圈 \(|z| = 3\) 內： \(3i\) 的模為 3、恰在圓上！——奇點在圍道上，公式不可用（積分甚至可能不收斂）。修正：取 \(\gamma\) 為 \(|z| = 4\) ，則 \(\pm 3i\) 都在內部，

\[ \oint_{|z|=4}\frac{z^2}{z^2+9}dz = -9\cdot\frac{1}{2}\left[\oint\frac{d\zeta}{\zeta - 3i} + \oint\frac{d\zeta}{\zeta + 3i}\right] = -9\cdot\frac{1}{2}\cdot 2\pi i(1 + 1) = -18\pi i. \]

教訓：(c) 的第一版暴露了計算前必查「奇點與圍道相對位置」的紀律；積分公式成立的前提是 \(z_0\) 嚴格在內部、 \(f\) 在閉包上解析。

歷史背景：流亡都靈的 1831#

Cauchy 因七月革命（1830）拒絕向新王朝路易-菲利普宣誓效忠，辭去教職流亡。1831 年在都靈大學講授時寫下積分公式與（用今日語言）複泰勒定理。積分公式發表於 1831–1832 年的都靈講義，系統化的文字見 1841 年與 1846 年的論文。當時的記號冗長（無 \(f^{(n)}\) 記法），現代形式由 Riemann（1851）與 Weierstrass 學派整理定案。

同時代平行線：Weierstrass 在 1840 年代（中學教師時期！，Braunsberg 任教）以冪級數獨立得到等價理論——他不知道 Cauchy 的工作。Riemann 1851 年論文則以幾何方式重述。三個源流在 1860 年代匯流：Cauchy 的積分、Weierstrass 的級數、Riemann 的幾何，各自都能推出積分公式——定理的等價性把三種哲學黏合成一門學科。這種「多源匯流」是複分析成為十九世紀數學皇冠的重要原因：不同品味的人都能從自己的門進來。

積分公式的深遠後果預覽#

  • 4.1 節：以 \(\frac{1}{\zeta - z} = \frac{1}{\zeta - z_0}\cdot\frac{1}{1 - \frac{z - z_0}{\zeta - z_0}}\) 展開幾何級數並逐項積分，得 \(f(z) = \sum a_n (z - z_0)^n\) ——泰勒展開是積分公式的自動產物。
  • 5.1 節： \(\frac{g(\zeta)}{\zeta - z_0}\) 的「指紋」推廣為 \(\sum \operatorname{Res}\) ——留數定理。
  • 5.3 節：以 \(\frac{f'}{f}\) 為被積函數，積分公式變成根計數器。
  • 10.1 節：信號處理中的 Hilbert 變換——「因果系統的實部決定虛部」——是積分公式實部/虛部分離的工程化身。
  • 量子場論：色散關係（Kramers–Kronig 關係）把散射振幅的實部與虛部用積分公式相連，實驗物理以此檢驗因果律——邊界決定內部的物理版。

歷史啟示#

  • 表示定理是最強的定理類型：Cauchy 定理（零值）告訴我們什麼不變；積分公式（表示）告訴我們值是什麼。後者的應用面遠大於前者——能「表出」就能「估計、求導、展開」。
  • 一維的特殊幸運：多複變中沒有如此簡潔的積分公式（2.2 節場景三）；單複變的「邊界一維曲線鎖死二維內部」是維數的禮物。
  • 政治流亡與數學產出：Cauchy 在都靈的產出提醒我們，數學的進展常發生在「被迫離開常軌」的時期。同例：Ramanujan 的劍橋歲月、Noether 的 Göttingen 流亡。

與其他章節及領域的關聯#

  • 3.2 節：積分公式 = 積分定理 + 一個已知指紋 + 擠壓估計。
  • 4.1 節：冪級數展開與收斂半徑理論由公式直接導出。
  • 5.1、5.2 節：留數計算是公式的機械化；實積分的圍道計算是它的臨床應用。
  • 5.3 節： \(\frac{f'}{f}\) 版公式 = 根與極點的計數器（輻角原理）。
  • 2.3 節：公式取實部得調和函數的平均值性質與 Poisson 表示。
  • 信號處理：Hilbert 變換與解析訊號（10.1）——「單邊頻譜 ⇔ 實部虛部互相決定」。
  • 數論：Perron 公式把 Dirichlet 級數的係數用積分公式「提取」， \(\zeta\) 函數的素數定理證明（8.3）以此為引擎。

練習#

  1. 計算 \(\displaystyle\oint_{|z|=2} \frac{z^3}{z - i}\,dz\) ，並與直接參數化（ \(z = 2e^{it}\) ）的數值積分對照（定性說明）。
  2. 計算 \(\displaystyle\oint_{|z|=4} \frac{\sin z}{(z - \pi)^2}\,dz\) 。（ \(n = 1\) 的導數公式。）
  3. 用 Cauchy 估計證明：若整函數滿足 \(|f(z)| \le C(1 + |z|^k)\) （多項式增長），則 \(f\) 是次數 \(\le k\) 的多項式。（提示： \(n > k\) 時 \(R \to \infty\) 使 \(f^{(n)}(0) \to 0\) 。）
  4. 設 \(f\) 在 \(|z| \le 1\) 解析且 \(|f| \le 1\) 。求 \(|f'(0)|\) 的最大可能值，並指出等號成立的函數（答案：1， \(f(z) = e^{i\theta}z\) ——這是 Schwarz 引理的種子，6.2 節）。
  5. 思考題：積分公式「內部值由邊界值決定」與 2.3 節 Dirichlet 問題「內部調和函數由邊界值決定」是什麼關係？為什麼後者對一切連續邊界成立，而前者需要邊界值「來自解析函數」？

進階研讀：積分公式的五個深化場景#

場景一：從積分公式到 Schwarz 引理。例題 4 中 \(|f'(0)| \le 1\) 的現象一般化為 Schwarz 引理（1872）：單位圓盤到自身的解析映射滿足 \(|f(z)| \le |z|\) 、 \(|f'(0)| \le 1\) 。它是雙曲幾何（Poincaré 圓盤模型）剛性的代數表述：圓盤的自同構群被一點的行為鎖死。Schwarz–Pick 定理把這一剛性變成度量縮短——複分析的剛性在雙曲度量下是「收縮映射」。6.2 篂 Riemann 映射的唯一性論證正是它的應用。

場景二：Hilbert 變換與因果律。積分公式在「邊界 = 實軸」的極限下給出 Hilbert 變換：解析函數（上半平面）的邊界實部 \(u(t)\) 決定虛部 \(v(t) = \frac{1}{\pi}\,\text{p.v.}\!\int \frac{u(s)}{t - s}ds\) 。工程後果：因果線性系統的頻率響應 \(H(\omega)\) 滿足 Kramers–Kronig 關係，實部（增益）與虛部（相位）不是獨立的——設計濾波器時不能亂配。「解析性 = 因果性」是二十世紀物理（色散關係）與工程（網絡綜合）反覆確認的等價。

場景三：Runge 型逼近的對偶視角。積分公式表明「內部值 = 邊界積分」，反之任何「邊界測度」 \(\mu\) 定義 \(f(z) = \int \frac{d\mu(\zeta)}{\zeta - z}\) 是一個解析函數（除 \(\mu\) 的支集外）——這是 Cauchy 變換。把「哪些測度的 Cauchy 變換逼近哪些函數」問到底，就得到 Runge 與 Mergelyan 定理（1952：緊集上 \(A(K) = P(K) +\) 條件）。積分公式因此是逼近論與位勢論（容量概念，2.3 節場景四）的交界。

場景四：數值計算——從公式到快速演算法。積分公式的離散化給出「以邊界採樣重構內部」的演算法：邊界 Fourier 採樣 → 內部級數求值，複雜度遠低於全域網格。現代應用：邊界積分方程法（BEM）解勢問題、複分析中的「zpj 求解器」（Driscoll–Trefethen）以 Schwarz–Christoffel（6.3）參數問題為核心。解析剛性 = 資訊壓縮：二維內部由一維邊界編碼，這是計算複雜度上的維數優勢。

場景五：多複變的公式與 Bochner–Martinelli 核。 \(\mathbb{C}^n\) 上積分公式存在但核非全純（依賴 \(\bar z\) ），且「邊界」是 \((2n-1)\) 維實流形。單複變「一條曲線鎖死一個面」的優雅對稱不再；作為補償，Hartogs 延拓現象（2.2 場景三）出現。讀者至此應體會：每個維數有自己的定理家族；單複變是特例而完美的世界，多複變是富饒而陌生的世界。

名詞速查表（本節出現的核心術語）#

  • Cauchy 積分公式： \(f(z_0) = \frac{1}{2\pi i}\oint\frac{f(\zeta)}{\zeta - z_0}d\zeta\) 。
  • 導數公式： \(f^{(n)}(z_0) = \frac{n!}{2\pi i}\oint\frac{f(\zeta)}{(\zeta - z_0)^{n+1}}d\zeta\) 。
  • Cauchy 估計： \(|f^{(n)}(z_0)| \le n!M/R^n\) 。
  • Liouville 定理：有界整函數恆常。
  • Hilbert 變換：邊界實部到虛部的奇異積分變換。
  • Kramers–Kronig 關係：因果系統頻率響應的實虛部互相決定。
  • Cauchy 變換： \(f(z) = \int \frac{d\mu(\zeta)}{\zeta - z}\) ，測度到解析函數的轉換。
  • 擠壓架構：已知積分 + 消失誤差鎖定未知積分的證明模式。

年表速查（本節涉及的關鍵年份）#

  • 1831：Cauchy 都靈講義，積分公式初現。
  • 1832：Cauchy 複泰勒定理。
  • 1846：Cauchy 系統發表積分公式與同調形式。
  • 1851：Riemann 論文以幾何重述並推廣。
  • 1860s：三源流（Cauchy/Riemann/Weierstrass）匯流。
  • 1872：Schwarz 引理。
  • 1885：Runge 逼近定理。
  • 1926–1929：Kramers–Kronig 色散關係（物理）。
  • 1952：Mergelyan 定理完成逼近論拼圖。

深化問答三則#

問：積分公式的核 \(\frac{1}{\zeta - z_0}\) 為什麼是「唯一正確」的核？ 答：因為它恰好在 \(\zeta = z_0\) 有一階極點、留數為 1：指紋積分 \(\oint \frac{d\zeta}{\zeta - z_0} = 2\pi i\) 提供常數 1，其餘一切被擠壓歸零。任何在 \(z_0\) 處「留數 1 的極點核」都能產生公式； \(\frac{1}{\zeta - z_0}\) 是最簡代表。Poisson 核是其實部、共軛 Poisson 核是其虛部——一個核分裂出調和函數論的全部工具。

問：為什麼「奇點在圍道上」要格外小心？ 答：此時積分是廣義積分，可能不收斂、可能依「主值」約定收斂（Cauchy 主值！—— Cauchy 為此發明 p.v. 記號）。主值積分與留數有半值關係（奇點恰在光滑圍道上時指紋減半： \(\text{p.v.}\oint = \pi i\,\text{Res}\) ）。物理中的 Sommerfeld 輻射條件與 Landau 阻尼正是「奇點掠過圍道」的兩個著名案例。

問：積分公式與 Taylor 展開是「同一件事」嗎？ 答：在本質上是。把 \(\frac{1}{\zeta - z}\) 以 \(\zeta\) 固定、 \(z\) 為變元展成幾何級數，逐項積分即得冪級數（4.1 節）；反過來，冪級數沿圍道求和也回到積分公式。兩者是解析函數「由邊界資訊重構」的兩種格式：積分格式（連續採樣）與級數格式（係數編碼）。理解這一點，第 4 章就不再是新理論而是本章的重述。

（本節完）