8.2 線積分與保守場#

導言#

把質點沿曲線推動，力做了多少功？沿著電纜走，電勢降了多少？這些問題的答案是線積分：沿曲線對向量場（或純量函數）求和。線積分是「Riemann 和在曲線上」的自然推廣，也是保守場理論、能量守恆、8.3 節 Green 定理與 9.3 節 Stokes 定理的舞台。本節建立兩類線積分、計算法與保守場的完整理論。

純量函數的線積分（對弧長）#

設定：曲線 \(C\) 用參數 \(\mathbf{r}(t) = (x(t), y(t), z(t))\) ， \(a \le t \le b\) ，光滑（ \(\mathbf{r}'\) 連續且非零）。

動機：鐵絲線密度 \(\rho(x, y, z)\) ，求總質量。微元：弧長微元 \(ds = |\mathbf{r}'(t)|\,dt\) （勾股定理的極限版），微元質量 \(\rho\,ds\) ，求和：

定義 8.2.1：

性質：

• 與參數化無關（換參數 \(t = \phi(u)\) ， \(ds\) 與 \(dt\) 的縮放互相抵消——單變數換元的自洽）；
• 方向無關： \(ds \ge 0\) ，鐵絲從哪頭稱起都一樣；
• 弧長本身： \(L = \int_C 1\,ds = \int_a^b |\mathbf{r}'|\,dt\) 。

例題 8.2.2：求螺旋線 \(\mathbf{r}(t) = (\cos t, \sin t, t)\) ， \(0 \le t \le 2\pi\) 的弧長。

解： \(|\mathbf{r}'| = \sqrt{\sin^2 t + \cos^2 t + 1} = \sqrt2\) ，故

（每繞一圈，升高 \(2\pi\) 、水平走 \(2\pi\) ——「斜邊」 \(2\sqrt2\pi\) ，直角三角形直覺驗證。）

向量場的線積分（對位移，做功型）#

動機：力 \(\mathbf{F}\) 沿路徑做功。微元：位移 \(d\mathbf{r} = \mathbf{r}'(t)\,dt\) ，微功 \(dW = \mathbf{F}\cdot d\mathbf{r}\) （力在位移方向的投影 × 位移；垂直於運動的力不做功——物理直覺直接寫成內積）。

定義 8.2.3：

展開： \(\int (P\,x' + Q\,y' + R\,z')\,dt = \int_C P\,dx + Q\,dy + R\,dz\) （第二類線積分的古典記法）。

關鍵性質：方向敏感。反向走同一路徑：

因為 \(\mathbf{r}'\) 變號——做功帶方向（3.3 節定向積分思想的曲線版）。閉曲線積分記作 \(\oint_C \mathbf{F}\cdot d\mathbf{r}\) ，稱環量（circulation）——渦旋強度的積分測度（Kelvin 環量定理、流體渦量、磁場 Ampère 定律 \(\oint \mathbf{B}\cdot d\mathbf{r} = \mu_0 I\) 的主角）。

例題：直接計算#

例題 8.2.4：計算 \(\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r}\) ，其中 \(\mathbf{F} = (y^2, x)\) ， \(C\) 為從 \((0,0)\) 到 \((1,1)\) 的拋物線 \(y = x^2\) 。

解：參數化 \(x = t\) 、 \(y = t^2\) 、 \(t: 0\to1\) ： \(dx = dt\) 、 \(dy = 2t\,dt\) 。

歷史：線積分概念由 Gaspard-Gustave Coriolis（1792–1843）（1829，功的計算）與 Poncelet 引入力學；「功 = \(\int \mathbf{F}\cdot d\mathbf{r}\) 」的確立使能量守恆成為可計算的定量原理（Joule、Helmholtz 1847）。

保守場：路徑無關性的完整理論#

定理 8.2.5：設 \(\mathbf{F}\) 在開單連通區域 \(D\) 上連續可微。以下等價：

1. \(\mathbf{F} = \nabla f\) （保守，有位勢）；
2. 對 \(D\) 內任意 \(A, B\) ， \(\int_{C_1} \mathbf{F}\cdot d\mathbf{r} = \int_{C_2}\mathbf{F}\cdot d\mathbf{r}\) （路徑無關）；
3. 對 \(D\) 內任意閉曲線， \(\oint \mathbf{F}\cdot d\mathbf{r} = 0\) ；
4. \(\nabla\times\mathbf{F} = \mathbf{0}\) （處處無旋）。

證明線索：

• (1)⇒(2)：鏈鎖律 \(\dfrac{d}{dt}f(\mathbf{r}(t)) = \nabla f\cdot\mathbf{r}' = \mathbf{F}\cdot\mathbf{r}'\) ，故積分 \(= f(\mathbf{r}(b)) - f(\mathbf{r}(a))\) ——微積分基本定理的曲線版！
• (2)⇒(3)、(3)⇒(2)：反向路徑拼成閉路；
• (3)⇒(4)：取微小矩形迴路（Green 定理的局部形式，8.3 節）；
• (4)⇒(1)：這裡需要單連通——用「補丁法」：構造位勢 \(f(A) = \int_{A_0}^{A}\mathbf{F}\cdot d\mathbf{r}\) （路徑無關保證良定義），驗證 \(\nabla f = \mathbf{F}\) ；單連通性保證補丁閉路可縮、積分為零。

反例（單連通性的致命性）： \(\mathbf{F} = \left(\dfrac{-y}{x^2+y^2}, \dfrac{x}{x^2+y^2}\right)\) （「渦旋角場」）。

• 處處無旋： \(\dfrac{\partial Q}{\partial x} - \dfrac{\partial P}{\partial y} = \dfrac{(y^2 - x^2)}{(x^2+y^2)^2} - \dfrac{(y^2 - x^2)}{(x^2+y^2)^2} = 0\) ；
• 但沿單位圓 \(x = \cos t\) 、 \(y = \sin t\) ：

矛盾在哪？ 定義域挖掉了原點（分母），不單連通——繞原點的閉路無法連續收縮成點。(4) 在此不蘊含 (1)：位勢只能局部定義（角函數 \(\theta = \arctan\frac{y}{x}\) 是「多值位勢」，繞一圈增加 \(2\pi\) ）。這個場正是磁偶極/無限長直導線磁場的截面版，Ampère 定律 \(\oint\mathbf{B}\cdot d\mathbf{r} = \mu_0 I_{\text{穿過}}\) 的數學化身：環量測量「繞了幾個電流」。拓撲（洞）與分析（積分）在此交會——de Rham 上同調的入門範例（微分幾何的殿堂之門在此微微打開）。

保守場的計算範式#

例題 8.2.6： \(\mathbf{F} = (2xy + z^3, x^2, 3xz^2)\) ，驗證保守並求 \(\int_C \mathbf{F}\cdot d\mathbf{r}\) ， \(C\) 從 \((0,0,0)\) 到 \((1,2,3)\) 。

解： \(\nabla\times\mathbf{F} = \left(\dfrac{\partial}{\partial y}(3xz^2) - \dfrac{\partial}{\partial z}(x^2),\ \ldots\right) = (0 - 0, 3z^2 - 3z^2, 0 - 2y) = \mathbf{0}\) ✓。

求位勢： \(f_x = 2xy + z^3 \Rightarrow f = x^2 y + xz^3 + g(y, z)\) ； \(f_y = x^2 + g_y = x^2 \Rightarrow g_y = 0\) ； \(f_z = 3xz^2 + g_z = 3xz^2 \Rightarrow g_z = 0\) 。故

由路徑無關性（FTC 曲線版）：

策略：凡是保守場，永遠不要參數化——找位勢、代端點。這是把「積分」降級為「代入」的威力（4.2 節 FTC 精神的三維重演）。

線積分的另一面：對法向的流量#

沿曲線還可以問「每秒穿過曲線的量」：取 \(\mathbf{n}\) 為曲線的右法向（順路徑前進時右轉 \(90°\) ），

兩種線積分的對照：

同一條曲線、同一個場，兩種「切法」測不同的物理——Green 定理將證明：環量的區域總和 = 旋度的面積分；通量的區域總和 = 散度的面積分。

應用速覽#

• 力學：功、能量守恆（保守場）、摩擦力場非保守（繞圈仍耗能，熱力學第二定律的數學側面）；
• 電磁學：感應電動勢 \(\varepsilon = \oint \mathbf{E}\cdot d\mathbf{r} = -\dfrac{d\Phi_B}{dt}\) （Faraday 1831；Maxwell 1861 理論化）——感應電場不是保守場（ \(\oint \neq 0\) ！），這是發電機的原理，也是「無旋性不是電場的普適性質」的物理明證；
• 流體力學：Kelvin 環量定理（理想流體環量守恆 → 渦旋不生不滅，Helmholtz 1858）；
• 複分析： \(\oint_C g(z)\,dz\) 的 Cauchy 積分定理（1825）：解析函數沿閉路積分為零——正是保守場理論在複數域的版本（ \(g = u - iv\) 的兩實場保守），Cauchy–Riemann 方程對應無旋無源條件。

歷史前因後果#

• 前因：Newton 的功概念；Coriolis/Poncelet 1829 功的積分；Joule 1843 熱功當量實驗。
• 提出：Helmholtz 1847《論力的守恆》以位勢與路徑無關性系統化能量守恆；Kelvin 1850 環量定理；Clausius 1865 熵與非保守過程。
• 解決了什麼：能量守恆的數學化（保守場=能量函數的梯度）；靜電學與電路的位勢計算。
• 引發新問題：單連通與拓撲障礙（de Rham 理論）、電磁感應的非保守場（Maxwell 方程組的誕生）、量子力學的 Aharonov–Bohm 效應（1959：即使場為零，位勢的拓撲也有物理效應——環量 \(2\pi\) 型積分的量子版本）。

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

• 8.1 節：保守場判據（ \(\nabla\times\mathbf{F}=0\) ）在本節完成積分學證明。
• 8.3 節：Green 定理給出「局部無旋 + 單連通 ⇒ 全域保守」的證明引擎（補丁法）。
• 9.1–9.2 節：通量線積分是曲面通量與散度定理的二維縮影。
• 7.3 節：引力位勢（球殼定理的 \(U\) 計算）正是保守場位勢的具體實例。
• 微分幾何：線積分 = 1-形式 \(\omega = P\,dx + Q\,dy + R\,dz\) 沿曲線的積分 \(\int_C \omega\) ；保守 = \(\omega = df\) 是恰當形式；de Rham 上同調分類「閉而不恰當」的形式。
• 電磁學：電動勢、磁通量、Ampère–Maxwell 定律——線積分與通量積分是場論的雙主角。
• 機器學習/最佳運輸：位勢函數與最優傳輸（Kantorovich 對偶）；積分路徑與神經 ODE（連續深度模型沿「深度路徑」積分）。

練習#

1. 計算 \(\displaystyle\int_C (x + y)\,ds\) ， \(C\) 為從 \((0,0)\) 到 \((1,0)\) 再折返 \((1,1)\) 的折線。
2. 計算 \(\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r}\) ， \(\mathbf{F} = (-y, x)\) ， \(C\) 為逆時針單位圓（答案 \(2\pi\) ；解釋這個場為何「最不保守」）。
3. 驗證 \(\mathbf{F} = (e^x\sin y + y, e^x\cos y + x)\) 保守，求位勢，並計算沿任意路徑從 \((0, 0)\) 到 \((1, \frac{\pi}{2})\) 的積分。
4. 用三種路徑（直線、拋物線、折線）計算 \(\mathbf{F} = (y, x)\) 從 \((0,0)\) 到 \((1,1)\) 的積分，驗證路徑無關（先求位勢核對）。
5. 對渦旋角場 \(\mathbf{F} = \frac{(-y, x)}{x^2+y^2}\) 計算沿半徑 \(R\) 圓（逆時針）的積分，並沿「半圓 + 直徑」的閉路計算，討論直徑段貢獻為零的原因（ \(\mathbf{F}\) 平行於半徑，垂直於路徑？核對符號）。
6. 思考題：Faraday 感應電動勢 \(\oint \mathbf{E}\cdot d\mathbf{r} = -\frac{d\Phi_B}{dt}\) 說明變磁場中電場非保守。若磁通量以 \(\frac{d\Phi}{dt} = 2\ \mathrm{Wb/s}\) 增加，一匝線圈中電場沿迴路環量是多少？這與「能量從哪來」的熱力學問題如何連接（提示：感應電流做功 = 機械功維持磁通變化，Lorentz 力與反作用）？

（本節完）