3.1 線積分與路徑依賴#

本章導言#

複積分沿平面上的一條曲線，把函數值「掃過去」加總： \(\oint_\gamma f(z)\,dz\) 。它不是實積分的簡單推廣——它是一部偵測器：積分值告訴我們函數在曲線內部「藏了什麼」。本節建立線積分的定義、計算法則與估計，並透過兩個對照實驗（ \(\oint \frac{dz}{z}\) vs. \(\oint \frac{dz}{z^2}\) ）展示「路徑依賴」與「路徑無關」的分野——這正是 3.2 節 Cauchy 定理要精確化的現象。

定義：把曲線切成小段#

設 \(\gamma: [a,b] \to \mathbb{C}\) 是分段光滑曲線（ \(\gamma'(t)\) 存在且連續，除有限個點外）， \(f\) 沿 \(\gamma\) 連續。複線積分定義為 Riemann 和的極限：

即 \(\displaystyle\int_\gamma f(z)\,dz = \int_a^b f(\gamma(t))\,\gamma'(t)\,dt\) 。

三層讀法：

1. 參數讀法：化為實積分（計算用）。
2. 微分形式讀法： \(f\,dz = (u + iv)(dx + i\,dy) = (u\,dx - v\,dy) + i(v\,dx + u\,dy)\) ——一個複積分 = 兩個實線積分（環量與通量，10.2 節）。
3. 物理讀法： \(f\,dz\) 是「力對位移做功」的複數版；閉曲線積分是「繞一圈的淨功」。

基本性質：線性、路徑反向變號（ \(\int_{-\gamma} = -\int_\gamma\) ）、路徑拼接相加、以及長度估計：

這條「最大值 × 弧長」的估計是第 3、5 章一切證明的量化引擎（估計 \(\to\) 令半徑 \(\to 0\) 收縮項）。

原函數與路徑無關#

若 \(F\) 解析且 \(F' = f\) （ \(f\) 的原函數），則微積分基本定理平移到複數：

證明與實變數完全同構（鏈鎖律 + 導數的複定義）。因此：

例如 \(\oint z^2\,dz = 0\) 沿任何閉路（原函數 \(z^3/3\) ）； \(\oint e^z\,dz = 0\) 。但「單連通」不可刪： \(\frac1z\) 在 \(\mathbb{C}\setminus\{0\}\) 解析（區域不是單連通），原函數 \(\log z\) 多值， \(\oint_{|z|=1} \frac{dz}{z} = 2\pi i \neq 0\) 。

兩個對照實驗#

實驗一： \(\displaystyle\oint_{|z|=1} \frac{dz}{z}\) 。參數化 \(z = e^{it}\) 、 \(dz = ie^{it}dt\) ：

實驗二： \(\displaystyle\oint_{|z|=1} \frac{dz}{z^2}\) ：

兩個函數都在單位圓內、都在原點「壞」——但一個積分非零、一個為零。差別是什麼？「壞的階數」： \(\frac1z\) 的原函數 \(\log z\) 沿圈走輻角增 \(2\pi\) （多值、回不到起點）； \(\frac{1}{z^2}\) 的原函數 \(-\frac1z\) 是單值的（原點外）。複積分測出的正是原函數沿圈的不匹配量。這個現象的系統化： \(\frac{1}{(z-a)^n}\) 繞 \(a\) 的積分為 \(2\pi i\) （ \(n = 1\) ）或 \(0\) （ \(n \ge 2\) ）——只有一階極點「留下指紋」，這是 5.1 節留數只看 \(a_{-1}\) 係數的原因。

路徑依賴的幾何：為什麼 \(\frac1z\) 敏感#

對固定起終點， \(\frac{1}{z}\) 的積分依賴路徑：沿不繞 0 的路徑得 \(\log\) 主值差；沿繞 0 一圈的路徑多出 \(2\pi i\) 。繞的圈數（winding number）

是整數（直觀： \(\frac{\gamma'(t)}{\gamma(t) - a}\) 的虛部是輻角變化率，積分即總轉角除以 \(2\pi\) ）。這條公式把「曲線拓撲（繞幾圈）」變成「積分可計算量」——第 5 章輻角原理（5.3）全部建立在其上，Riemann 面（7.2）的虧格計算也由它統治。

一個具體例題#

例題 3.1.1：計算 \(\displaystyle\int_\gamma \bar z\,dz\) ，其中 (a) \(\gamma\) 是沿實軸從 \(0\) 到 \(1\) ，再沿 \(x^2 + y^2 = 1\) （第一象限）到 \(i\) 的折線；(b) \(\gamma\) 是從 \(0\) 直線到 \(i\) ；(c) \(\gamma\) 是單位圓（正向一圈）。並判斷 \(\bar z\) 是否有解析原函數。

解：

(a) 第一段： \(z = t\) （ \(0\le t\le1\) ）， \(\int_0^1 \bar t\,dt = \int_0^1 t\,dt = \frac12\) 。第二段： \(z = e^{it}\) （ \(0 \le t \le \pi/2\) ）， \(\bar z = e^{-it}\) 、 \(dz = ie^{it}dt\) ，故 \(\int_0^{\pi/2} ie^{0}\,dt = i\frac{\pi}{2}\) 。合計 \(\frac12 + \frac{\pi i}{2}\) 。

(b) \(z = it\) （ \(0 \le t \le 1\) ）、 \(dz = i\,dt\) ： \(\int_0^1 \overline{it}\,i\,dt = \int_0^1 (-it)i\,dt = \int_0^1 t\,dt = \frac12\) 。

(c) \(\oint_{|z|=1}\bar z\,dz = \int_0^{2\pi} e^{-it}\,ie^{it}\,dt = i\cdot 2\pi = 2\pi i\) 。

結論：從 0 到 \(i\) ，路徑 (a) 給 \(\frac12 + \frac{\pi i}{2}\) 、路徑 (b) 給 \(\frac12\) ——依賴路徑；而繞圈的 (c) 給 \(2\pi i \ne 0\) ， \(\bar z\) 沒有原函數（若有，閉路積分必為零）。

深一層的觀察： \(\bar z\,dz = (x - iy)(dx + i\,dy) = (x\,dx + y\,dy) + i(x\,dy - y\,dx)\) 。實部 \(x\,dx + y\,dy = d\!\left(\frac{x^2+y^2}{2}\right)\) 是恰當形式（路徑無關，這解釋了 (a)(b) 實部同為 \(\frac12\) ！）；虛部 \(x\,dy - y\,dx\) 的閉路積分是 \(2 \times\) （面積）——單位圓內面積 \(\pi\) ，得 \(2\pi i\) 的虛部 ✓。虛部不恰當（ \(\frac{\partial (x)}{\partial x} - \frac{\partial(-y)}{\partial y} = 1 - (-1) = 2 \ne 0\) ），故 \(\bar z\) 無原函數。這正是 Green 定理檢驗（3.2 節 Cauchy 定理證明的原型）：恰當性 \(\iff\) C–R 型偏導條件。

歷史背景：積分觀念的複數化#

Cauchy 的動機特別值得記錄：1814 年他研究實積分的計算——例如 \(\int_0^\infty \frac{\cos x}{1+x^2}dx\) ——透過「把積分上下限推入複數」再交換積分次序求解。交換次序的合法性與「路徑無關」是同一件事的兩面（見 5.2 節實戰）。複積分理論誕生於計算實積分的臨床需求，不是抽象思辨——第 5 章留數法的輝煌戰果是這一起源的直接回報。Gauss 在 1811 年給 Bessel 的信中已完全掌握「 \(\int \frac{dx}{x}\) 的值由繞 0 圈數決定」，並寫下著名評語：「這將開啟分析學的全新領域」；但他照例按下不表，榮耀歸於發表的 Cauchy。

歷史啟示#

• 積分是探測器，不是計算器：複積分的價值在「閉路積分 = 內部奇點的指紋」。學習者應從第一天就養成「看到 \(\oint\) ，先問圈內有什麼」的反射。
• 路徑依賴是結構資訊： \(\frac1z\) 的 \(2\pi i\) 不是缺陷而是繞圈計數。多值性、輻角、拓撲，全部從這條縫隙湧入分析學。
• 應用催生理論的典範：Cauchy 為算實積分發明複積分；百年後整個空氣動力學（10.2 節翼型理論）與量子場論的圍道積分都是這次發明的遠期利息。

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

• 3.2 節：Cauchy 定理 = 「路徑無關」的充分條件定理（解析 + 單連通）。
• 3.3 節：Cauchy 積分公式以 \(\frac{f(\zeta)}{\zeta - z}\) 的核展開本節的 \(\frac1{\zeta-a}\) 計算。
• 5.1 節：留數定理把本節「只有一階極點留下指紋」推廣到任意閉曲線與有限個奇點。
• 5.3 節：winding number 變成輻角原理的根計數器。
• 7.2 節：Riemann 面上的閉路同倫類決定 Abel 積分的多值性。
• 物理：電磁學的 Ampère 定律 \(\oint \vec B\cdot d\vec l = \mu_0 I\) 是「積分偵測內部源」的實向量版；量子場論的圍道積分、Wick 旋轉是複積分技術的高能物理化身。
• 微積分系列：本書《微積分》8.2 節（保守場與線積分）是本節的直接前置。

練習#

1. 計算 \(\oint_{|z|=2} \dfrac{dz}{z^2 + 1}\) （單位方向）。（提示：分母 \(= (z-i)(z+i)\) ，拆部分分數後逐項用 \(\oint \frac{dz}{z-a} = 2\pi i\) 。答案 \(0\) ，並解釋為何兩個奇點的指紋相消。）
2. 計算 \(\displaystyle\int_\gamma z\,\bar z\,dz\) ， \(\gamma\) 為從 \(0\) 沿直線到 \(1+i\) 。再用直線 \(0 \to 1 \to 1+i\) 的折線計算，驗證路徑依賴。
3. 證明長度估計 \(|\int_\gamma f\,dz| \le M L\) ，並用它估計 \(|\oint_{|z|=R} \frac{dz}{z^4 + 1}|\) ，說明 \(R \to \infty\) 時估計如何支持 5.2 節的大圓弧論證。
4. 對 \(f(z) = 1/z\) ，計算沿圓 \(|z - a| = r\) 的積分：(a) \(a = 0\) ；(b) \(a = 3, r = 1\) 。用 winding number 語言解釋結果。
5. 思考題： \(\bar z\) 沿任何閉路的積分等於 \(2i\times\) (路徑圍成的面積)。解釋這與「 \(\bar z\) 無解析原函數」如何相容，並推廣： \(\oint_\gamma z^n \bar z\,dz\) 對什麼 \(n\) 只依賴面積資訊？

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

場景一：同倫不變性。若 \(\gamma_0, \gamma_1\) 在區域 \(D\) 內同倫（可連續變形），且 \(f\) 在 \(D\) 解析，則 \(\int_{\gamma_0} f\,dz = \int_{\gamma_1} f\,dz\) 。證明思想：考慮「雙參數積分」 \(I(s) = \int_{\gamma_s} f\,dz\) ，對 \(s\) 求導用 C–R 化零。這使「積分值」成為同倫類的函數——分析量被拓撲化。Cauchy 定理（3.2）正是它對「與點同倫」情形的特例。

場景二：微分形式語言。 \(f\,dz\) 是 \((1,0)\) 型形式； \(\bar f\,d\bar z\) 是 \((0,1)\) 型。Cauchy 定理的深層原因是 \(d(f\,dz) = f'\,d z\wedge dz = 0\) （二維外積反對稱）；而 \(\frac{\partial f}{\partial \bar z}\,d\bar z \wedge dz \ne 0\) 正是 \(\bar z\) 類函數積分非零的代數根源。Cauchy–Riemann 算子 \(\bar\partial\) 的上同調（Dolbeault 同調）是現代複幾何的基礎語言——3.1 的「恰當 vs 閉」之別是它的初等序曲。

場景三：原函數存在的精確判據。連續 \(f\) 在區域 \(D\) 有原函數 \(\iff\) 沿一切閉路積分為零 \(\iff\) （ \(D\) 單連通時） \(f\) 解析。多連通域上「閉路積分」構成的群（週期群）是商空間的同調：環域上 \(H^1 \cong \mathbb{Z}\) ，積分值落在 \(2\pi i\,\mathbb{Z}\) 的格點上。9.2 節橢圓函數的「兩個獨立週期」正是虧格 1 曲面上兩個同調基的積分週期——線積分的多值性在那裡變成橢圓函數的雙週期結構。

場景四：數值複積分。trapezoidal 法則對週期解析函數的積分有指數收斂（Trefethen–Weideman 定理）：因為誤差由 Fourier 係數 \(e^{-cn}\) 控制，而解析性使 Fourier 係數指數衰減。這是「解析剛性 → 計算加速」的直接實例；工程上的譜方法（spectral methods）解 PDE 的超收斂性同源於此。

場景五：物理中的複線積分。(1) 電路：交流電路中 \(\int v\,dq\) 的複功率計算以複線積分為模型。(2) 流體：環量 \(\Gamma = \oint v\,dz\) 的實部——Kutta–Joukowski 升力定理 \(L = \rho U\Gamma\) （10.2 節）使「飛機能飛」歸結為一條複線積分。(3) 量子：路徑積分表示中，將積分圍道推入複平面（最陡下降法，5.2 節）是漸近分析的核心技術，WKB 近似與隧穿計算皆賴之。

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

• 複線積分： \(\int_\gamma f\,dz = \int_a^b f(\gamma(t))\gamma'(t)\,dt\) 。
• 原函數： \(F' = f\) 的解析 \(F\) ；存在 \(\Rightarrow\) 積分路徑無關。
• 單連通：任何閉路可在域內連續收縮為一點。
• winding number： \(n(\gamma, a) = \frac{1}{2\pi i}\oint_\gamma \frac{dz}{z-a}\) ，繞 \(a\) 的圈數。
• 長度估計： \(|\int_\gamma f\,dz| \le \max|f| \cdot L(\gamma)\) 。
• 環量與通量： \(f\,dz\) 的實部積分（環量）與虛部積分（通量）。
• 指紋： \(\oint \frac{dz}{z-a} = 2\pi i\) ；一階極點的特徵積分值。

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

• 1811：Gauss 致 Bessel 信，掌握 \(\int dx/x\) 的圈數依賴。
• 1814：Cauchy《關於定積分的雙重積分》，複積分作為實積分工具誕生。
• 1825：Cauchy《論虛變數上的定積分》，路徑無關條件系統化。
• 1831：Green 位勢論（實變線積分平行發展）。
• 1851：Riemann 以同倫/切割語言幾何化多值性。
• 1867：Hankel 嚴格化 Riemann 積分與曲線積分。
• 1895：Poincaré《位置分析》，同倫/同調概念誕生，積分週期被拓撲化。

深化問答三則#

問：為什麼複積分「比實積分好用」？ 答：因為它一次帶走兩個資訊：實部（環量）與虛部（通量）；且閉路積分對內部奇點敏感、對解析部分盲——它自動「濾出」奇點的貢獻。實積分沒有這種選擇性。複積分的強大 = 解析性（內部大多數區域貢獻為零）+ 圍道自由（可任意變形繞開/捕捉目標）。

問： \(\oint \frac{dz}{z} = 2\pi i\) 中， \(2\pi i\) 的 \(\pi\) 從哪來？ 答：從圓周長。 \(z = e^{it}\) 把積分化為 \(\int_0^{2\pi} i\,dt\) —— \(\pi\) 是「轉一整圈」的度量。任何能測出「轉圈」的公式都會攜帶 \(\pi\) ；這與 \(\pi\) 出現在 Fourier 變換、Gauss 積分 \(\int e^{-x^2}dx = \sqrt\pi\) 中是同一家族：** \(\pi\) 是圓與週期的簽名**。

問：線積分與 10.2 篂流體力學的「環量」是同一個東西嗎？ 答：是。複速度場 \(v = u - iv_{\text{實}}\) 的線積分實部是流體環量 \(\oint \vec v \cdot d\vec r\) 。Kutta–Joukowski：機翼升力正比於環量——而環量恰是複積分 \(-i\oint v\,dz\) 的實部。1902 年 Joukowski 用保角映射計算任意翼型的環量，飛行器的氣動設計從此建立在複積分上。

（本節完）