跳轉到

3.2 CAUCHY積分定理1825#

本章導言#

整個複分析的「萬有引力定律」是這樣一句話：解析函數沿任何（域內可收縮的）閉曲線積分為零：

\[ \oint_\gamma f(z)\,dz = 0. \]

這是 Cauchy 積分定理（1825）。它宣告：解析函數的積分是路徑無關的；由此生出的 Cauchy 積分公式（3.3）將給出「內部值由邊界決定」的表示定理，而第 4 章的冪級數理論、第 5 章的留數計算全部從這一塊基石生長。本節講述定理的三種證明（三種哲學）、單連通的角色，與歷史上 Goursat 對 Cauchy 原始假設的削減。

定理的敘述與「可收縮」的精確性#

Cauchy 積分定理（Goursat 形式）：設 \(f\) 在單連通開集 \(D\) 上解析， \(\gamma\) 是 \(D\) 內的可求長閉曲線，則 \(\displaystyle\oint_\gamma f(z)\,dz = 0\) 。

兩個關鍵詞：

  • 單連通：任何閉路可在域內連續收縮為一點。這是拓撲假設，不可省略—— \(\frac1z\) 在 \(\mathbb{C}\setminus\{0\}\) 解析，但 \(\oint_{|z|=1}\frac{dz}z = 2\pi i \ne 0\) ，因為該域不單連通，單位圓「收不回來」。
  • 可求長：弧長有限。這使定理對不光滑的曲線也成立（積分以逼近定義）。

Goursat（1900）的版本只需 \(f\) 在 \(D\) 處處可微（不需 \(f'\) 連續！）——這一削減看似技術性，實則深刻：它使「解析 \(\Rightarrow\) \(f'\) 連續」成為定理的推論而非假設（配合 3.3 節公式），解析函數的自動光滑性第一次以正確的邏輯順序出現。

證明一：Green 定理版（Cauchy 的原始思路）#

假設 \(f'\) 連續。寫 \(f = u + iv\) 、 \(dz = dx + i\,dy\) ：

\[ \oint_\gamma f\,dz = \oint_\gamma (u\,dx - v\,dy) + i\oint_\gamma (v\,dx + u\,dy). \]

對每個實線積分用 Green 定理（微積分系列 8.3 節）： \(\oint P\,dx + Q\,dy = \iint (Q_x - P_y)\,dx\,dy\) 。代入 C–R 方程（2.2 節）：

\[ \oint_\gamma (u\,dx - v\,dy) = \iint \left(\frac{\partial(-v)}{\partial x} - \frac{\partial u}{\partial y}\right) dx\,dy = \iint (-u_y - u_y)\;\text{…} \]

細節： \(Q = -v\) 、 \(P = u\) ，得 \(\iint(-v_x - u_y)\,dA\) ；C–R 給 \(v_x = -u_y\) ，故被積函數 \(= -u_y + u_y = 0\) 。同理虛部為零。全程依賴 C–R + Green——這條證明把 2.2 節的方程組兌現為積分零值，且物理意義清晰：C–R 恰是「無旋 + 無源」，閉路環量與通量自然為零。缺點：需 \(f'\) 連續（Goursat 之前大家也這麼假設）。

證明二：Goursat 的三角形挖補法#

Goursat 的絕招不需要 \(f'\) 連續，甚至不需要 Green 定理：

  1. 設 \(\Delta\) 是 \(D\) 內閉三角形， \(\left|\oint_{\partial\Delta} f\,dz\right| = M > 0\) （反證假設非零）。
  2. 把 \(\Delta\) 分成四個中點三角形，則四個小周界積分之和 = 大周界積分（內部公共邊往返抵消！），故至少一個小三角形 \(\Delta_1\) 滿足 \(\left|\oint_{\partial \Delta_1} f\,dz\right| \ge \frac{M}{4}\) 。
  3. 重複二分，得三角形套列 \(\Delta_n\) ，直徑 \(\to 0\) 、周長 \(\to 0\) ，而周界積分 \(\ge M/4^n\) （縮放補償：不等式實為 \(\ge M/4^n\) 除以直徑的修正，精確版： \(\left|\oint_{\partial\Delta_n} f\,dz\right| \ge \frac{M}{4^n}\) 且 \(\Delta_n\) 直徑 \(\sim 2^{-n}\) ）。
  4. 套列收縮到一點 \(z_0 \in D\) （完備性 + 緊性）。在 \(z_0\) 處用可微性： \(f(z) = f(z_0) + f'(z_0)(z - z_0) + \varepsilon(z)(z - z_0)\) ， \(\varepsilon(z)\to 0\) 。前兩項沿閉路積分為零（多項式有原函數！），故周界積分 \(= \oint \varepsilon(z)(z-z_0)\,dz\) ，其模 \(\le \sup|\varepsilon| \times \text{周長} \times \text{常數} \to 0\) 。
  5. 但另一邊 \(\ge M/4^n \ge M/4^n\) ……兩邊夾擊得 \(M = 0\) 。矛盾。

證明的精神：公共邊抵消（積分的可加性）+ 局部線性近似（可微性）+ 區間套收縮（完備性）。這三件武器正是微積分嚴格化的標準配備；Goursat 展示它們足以在沒有連續導數假設下完成證明——解析性的「自給自足」第一次顯形。許多教科書（Ahlfors 經典教材）以此為標準證明。

證明三：同倫版（現代拓撲觀點）#

更一般的陳述：若 \(\gamma_0, \gamma_1\) 是 \(D\) 內的同倫閉路， \(f\) 解析，則積分相等。證明考慮 \(F(s, t) = f(\gamma(s,t))\,\partial_s\gamma(s,t)\) 的雙參數積分， \(\partial_t\) 求導後用 C–R 化零。單連通域中一切閉路同倫於一點，故積分為零。這一版本把「可收縮」完全拓撲化，是 7.2 節 Riemann 面（多連通、虧格 \(g\) ）上積分週期理論的基礎：虧格 \(g\) 曲面上有 \(2g\) 個獨立的同倫類，積分值由 \(2g\) 個週期（Abel 定理）決定——Cauchy 定理是 \(g = 0\) 的情形。

定理的即時報酬#

  1. 路徑無關：單連通域上解析函數的積分只依賴端點 → 原函數 \(F(z) = \int_{z_0}^z f\,d\zeta\) 存在且解析，且 \(F' = f\) 。
  2. 變形不變：積分可以在「不跨奇點」的前提下任意變形圍道 → 5.1 節留數定理的自由度。
  3. 指數衰減的橋：解析函數在單連通域上自動有局部原函數 → \(\log z\) 在任何不含 0 的單連通域上可定義（局部對數存在）。
  4. Morera 定理（逆定理）：連續 + 沿一切三角形積分為零 \(\Rightarrow\) 解析。Cauchy 定理 + Morera 定理構成解析性的積分刻畫，雙向對話。

一個具體例題#

例題 3.2.1：計算 \(\displaystyle\oint_{|z| = 2} \frac{e^z}{z^2 - 1}\,dz\) （逆時針）。

解：被積函數在 \(z = \pm 1\) 有奇點（分母為零），其餘處解析。不能直接用 Cauchy 定理（有奇點在圈內），但可以拆分：

\[ \frac{e^z}{z^2-1} = \frac12\left(\frac{e^z}{z - 1} - \frac{e^z}{z + 1}\right). \]

分別以小圓 \(C_1\) （繞 1）、 \(C_2\) （繞 \(-1\) ）為圍道（兩小圓互不相交、都在 \(|z|=2\) 內）。由圍道變形原理（大圓 = 兩小圓之和，中間的解析區域上 Cauchy 定理使「縫」的貢獻為零——細節：在圓環狀的解析區域應用切割論證）：

\[ \oint_{|z|=2} \frac{e^z}{z^2-1}\,dz = \frac12\oint_{C_1}\frac{e^z}{z-1}\,dz - \frac12\oint_{C_2}\frac{e^z}{z+1}\,dz. \]

第二項： \(\frac{e^z}{z+1}\) 在 \(C_1\) 內部（含 \(z=1\) ）解析，由 Cauchy 定理 \(\oint_{C_1} \frac{e^z}{z+1}dz = 0\) ？——不行， \(C_2\) 內才含 \(-1\) 。正確論證： \(\frac{e^z}{z+1}\) 在 \(C_1\) （小圓繞 1，不含 \(-1\) ）內解析，故 \(\oint_{C_1}\frac{e^z}{z+1}dz = 0\) ；而 \(\frac{e^z}{z-1}\) 在 \(C_2\) （不含 \(1\) ）內解析， \(\oint_{C_2}\frac{e^z}{z-1}dz = 0\) 。剩餘兩項 \(\frac{e^z}{z-1}\) 繞 \(C_1\) 與 \(\frac{e^z}{z+1}\) 繞 \(C_2\) ：分子在相應奇點附近解析，這正是 3.3 節 Cauchy 積分公式的情形——先行「預支」公式： \(\oint_{C_1}\frac{e^z}{z-1}dz = 2\pi i\,e^{1}\) 、 \(\oint_{C_2}\frac{e^z}{z+1}dz = 2\pi i\,e^{-1}\) 。

\[ \oint_{|z|=2}\frac{e^z}{z^2-1}\,dz = \frac12\left(2\pi i\,e - 2\pi i\,e^{-1}\right) = \pi i\left(e - e^{-1}\right) = 2\pi i \sinh 1. \]

方法論總結：拆分 → 局部化 → 「解析部分零貢獻（Cauchy 定理）+ 奇點部分指紋（積分公式/留數）」。這三步棋是第 5 章所有計算的標準流程；本例可視為留數定理的「手工預演」。

歷史背景：Cauchy 的十年長跑#

Cauchy 對複積分的認識不是一夜頓悟，而是 1814–1831 年的漸進：

  • 1814《關於定積分的雙重積分》：為交換積分次序引入複路徑，條件以 C–R 型方程出現，但尚未有「複積分」概念本身。
  • 1825《論虛變數上的定積分》：明確定義 \(\int f(z)dz\) 沿複路徑，陳述路徑無關條件（以「 \(f\) 的導數有限」表出），並計算 \(\oint \frac{dz}{z-a} = 2\pi i\) 。1825 是複分析元年。
  • 1831：在都靈流亡期間（法國七月革命，Cauchy 因效忠波旁王室流亡），得到積分公式與泰勒展開（3.3、4.1 節）。政治流亡催生數學黃金產出——Cauchy 的都靈講義與 1831–1832 論文完成了從「定理」到「理論」的跳躍。
  • 1846–1874：Riemann、Goursat、Moore 等逐步簡化假設；Goursat 1900 年的證明成為今日標準。

Cauchy 是史上最多產的數學家之一（789 篇論文），但也是出了名的「搶發表」：同時代人有「Cauchy 又發了」的哀嘆。優先權上，Gauss 1811 年信件證明他先知道 Cauchy 定理；Abel 1826 年拜訪巴黎後寫道：「Cauchy 是瘋的，……但他是當今唯一知道數學該怎麼做的人。」——混亂的多產與正確的方向，可以同屬一人。

歷史啟示#

  • 假設的削減是理論成熟的標誌：Cauchy 需要 \(f'\) 連續，Goursat 只需可微。每當一個定理的假設被削減，我們就對「本質假設」的認識加深一層。
  • 拓撲條件的登場：「單連通」是第一個進入分析核心定理的拓撲概念。此後拓撲與分析再不分家（7.2、5.3 節）。
  • 一條零值定理的生產力：Cauchy 定理的內容是「積分為零」——看似消極，卻是全書產出最多的定理。數學中最有生產力的常是「某量恆為零」型定理（不變式、守恆律同型）。

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

  • 2.2 節：C–R 方程是證明一的引擎；Goursat 證明反過來導出 C–R 的自動成立。
  • 3.1 節：路徑無關的「解析版充分條件」即本定理。
  • 3.3 節：積分公式是 Cauchy 定理的直接應用（以 \(\frac{f(\zeta)}{\zeta - z}\) 對小圓應用）。
  • 4.1 節：Taylor 展開由積分公式 + 幾何級數逐項積分得到；「解析 \(\Rightarrow\) 冪級數」的路標。
  • 5.1 節：留數定理 = Cauchy 定理在「有奇點」情形的正確推廣（零貢獻 + 指紋求和）。
  • 7.2 節：Riemann 面上的同倫分類與積分週期是同倫版定理的一般化。
  • 微積分系列：《微積分》8.3 節 Green 定理是證明一的實變基礎。
  • 物理：保守場的「零環量」、電磁學的 Maxwell 方程積分形式，與 Cauchy 定理同構——「局部條件（C–R / 無源無旋）⇒ 全局積分為零」。

練習#

  1. 用證明一（Green + C–R）驗證 \(\oint_{|z|=1} z^3\,dz = 0\) ，並寫出每一步的 Green 定理對應式。
  2. 計算 \(\oint_{|z|=3} \frac{\sin z}{z + 2}\,dz\) 。（提示： \(\frac{\sin z}{z+2}\) 在圓內除 \(z = -2\) 外解析，先做「挖小圓」變形，再用 3.3 節公式或直接參數化估計：答案 \(2\pi i \sin(-2)\) 。）
  3. 用三角形套列論證說明：Goursat 證明中「公共邊抵消」為什麼在三角形分成四個的情形下精確成立（畫圖輔助）。
  4. 設 \(D = \mathbb{C}\setminus\{0\}\) ， \(f = 1/z\) 。舉出 \(D\) 內兩條同倫的閉路與兩條不同倫的閉路，分別驗證積分相等/不等，說明單連通假設的精確作用。
  5. 思考題：Morera 定理為何只需檢驗「三角形」的積分為零（而非一切閉路）？提示：任何閉路可由三角形逼近 + 積分的可加性。

進階研讀：定理的三種深化場景#

場景一：多連通域上的 Cauchy 定理（同調形式）。區域不必單連通：若 \(\gamma\) 是 \(D\) 內閉路，且 \(\gamma\) 與「 \(D\) 外的每個點」的 winding number 為零（ \(\gamma\) 的內部除「洞」外都在 \(D\) 中），則 \(\oint_\gamma f\,dz = 0\) 。這是 Cauchy 定理的同調版本（Ahlfors 稱之「Cauchy 定理的同調形式」）——它把「單連通」這個過強假設精確化為「繞不到域外」的計量條件。留數定理（5.1）正是同調版本的「奇點版」： \(\oint = 2\pi i \sum \text{內部指紋}\) 。

場景二：Runge 逼近與一致逼近。Cauchy 定理使「閉路積分為零」，Runge（1885）反其道用之：多項式與有理函數可以一致逼近解析函數（在適當集合上）。Runge 定理的證明核心是對偶性：若某積分泛函對一切多項式為零（Cauchy 定理），則測度必集中於……這條「積分零值 → 測度結構」的對偶在現代泛函分析（Hahn–Banach、對偶空間）中是標準技巧。Cauchy 定理因此也是逼近論的基石。

場景三：幾個變數與 de Rham 對偶的預告。多複變的 Cauchy 積分公式（Bochner–Martinelli、Cauchy–Fantappiè）更複雜，因為 \(\frac{1}{z-w}\) 變成 \(\frac{1}{|z-w|^{2n}}\) 型核；「單連通」推廣為「 \(d\) -恰當」。單複變的簡單性（一個核、一條定理）在多變數中破碎而重組——這是 2.2 節場景三（Hartogs 現象）的積分論續篇。讀者若續修複幾何，將發現 Stokes 定理 \(d\omega = 0\) 型的「零值定理」與同調對偶貫穿一切——Cauchy 定理是最初與最好的榜樣。

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

  • Cauchy 積分定理：單連通域上解析函數的閉路積分為零。
  • 單連通：閉路皆可收縮；積分路徑無關的拓撲條件。
  • Goursat 版本：不需 \(f'\) 連續的加強版（1900）。
  • 三角形套列：二分 + 公共邊抵消 + 局部線性化的證明技術。
  • Morera 定理：零三角積分 + 連續 ⇒ 解析（Cauchy 定理之逆）。
  • 同調形式：winding number 對域外點為零即可（多連通版）。
  • 圍道變形：在解析區域內自由變形積分路徑。

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

  • 1811：Gauss 致 Bessel 信中先知本定理（未發表）。
  • 1814：Cauchy 雙重積分論文，條件初現。
  • 1825：Cauchy《論虛變數上的定積分》，定理正式問世。
  • 1831：Cauchy 都靈講義，積分公式與級數理論。
  • 1846：Cauchy 同調形式的早期陳述。
  • 1885：Runge 逼近定理。
  • 1900：Goursat 削減連續導數假設。
  • 1933：Moore、Pringsheim 等完成教學化整理。

深化問答三則#

問：Cauchy 定理與能量守恆有何相似？ 答：兩者都是「閉迴路總帳為零」型定理。物理：保守場繞一圈做功為零（無耗散）。複分析：解析函數繞一圈積分為零（無奇點）。共同的數學結構：局部微分條件（C–R / 無旋）⇒ 全局積分恆零；而破壞局部條件的點（源/匯/奇點）以「指紋」形式出現在積分中（2πi 因子）。Stokes 定理是這一結構的一般框架，Cauchy 定理是最早的非平凡實例。

問：Goursat 證明的「公共邊抵消」為什麼重要？ 答：它使「細分不會放大誤差」：內部邊界的積分精確抵消（非近似），因此周界積分在細分下守恆——這是「分而治之」合法性的保證。所有依賴「切割求和」的證明（Riemann 和、Green 定理、5.1 留數的圍道切割）都用同一招。它是複分析與測度論共享的原子操作。

問：單連通性「物理上」對應什麼？ 答：對應「無遮蔽的空間」：域內沒有「繞不開的洞」。流體/電磁學中，單連通域上的無旋場必有位勢（可定義單值勢函數）；有洞時勢成多值（磁通量量子化、超導環的磁通正是「洞的週期」的物理實例——倫敦方程給出的通量量子 \(\frac{h}{2e}\) 就是繞洞一圈的積分週期）。洞產生週期——Cauchy 定理的拓撲內容在超導物理中被測量了。

（本節完）