向量分析:場 · 線積分 · Green 定理

第 15.1–15.4 節 — 向量場、線積分、路徑無關、Green 定理(互動版)
$\displaystyle \mathbf{F}=\nabla f,\quad \int_C f\,ds,\quad \int_C \mathbf{F}\cdot d\mathbf{r}=f(B)-f(A),\quad \oint_C M\,dx+N\,dy=\iint_R\!\left(\frac{\partial N}{\partial x}-\frac{\partial M}{\partial y}\right)dA$
向下捲動開始互動
第 15.1 節 · 向量場

向量場:把每個點配上一個向量

過去研究的 $f(x)$ 或 $f(x,y)$ 把點映成一個數值;而向量值函數 $\mathbf{r}(t)$ 把參數映成一個向量。本節要介紹的向量場同時保留兩者最有用的部分:把平面或空間中的每一個點對應到一個向量,因此可以表示像力場、速度場、電場、磁場這類「每個位置都有方向 + 大小」的物理量。

15.1.1 定義與物理範例

定義 15.1 向量場

在平面區域 $R$ 上的向量場是一個函數 $\mathbf{F}$,對 $R$ 內每個點都對應一個向量 $\mathbf{F}(x,y)$。
在空間區域 $Q$ 上的向量場是一個函數 $\mathbf{F}$,對 $Q$ 內每個點都對應一個向量 $\mathbf{F}(x,y,z)$。

用分量寫成 $\mathbf{F}(x,y)=M(x,y)\,\mathbf{i}+N(x,y)\,\mathbf{j}$ 或 $\mathbf{F}(x,y,z)=M\,\mathbf{i}+N\,\mathbf{j}+P\,\mathbf{k}$,當每個分量函數連續時稱 $\mathbf{F}$ 連續。

三類最重要的向量場

梯度場

給定純量函數 $f(x,y)$,
$\nabla f = f_x\,\mathbf{i}+f_y\,\mathbf{j}$ 在每點指向「上升最快」的方向。例如 $f=x^2y+3xy^3$,則 $\nabla f=(2xy+3y^3)\,\mathbf{i}+(x^2+9xy^2)\,\mathbf{j}$。

中心場 / 反平方場

$\mathbf{F}=\dfrac{k}{\|\mathbf{r}\|^2}\mathbf{u}$,方向始終指向(或背離)原點,且大小只與距離有關。Newton 重力場 $-\dfrac{Gm_1m_2}{\|\mathbf{r}\|^2}\mathbf{u}$、Coulomb 電場都屬此類。

旋轉場

想像繞 $z$ 軸轉動的輪子:每個點的速度方向切於圓周,且距軸越遠速度越大。典型表達式 $\mathbf{F}=-y\,\mathbf{i}+x\,\mathbf{j}$,整體呈逆時針渦流。

定義 15.2 反平方場

設 $\mathbf{r}(t)=x(t)\,\mathbf{i}+y(t)\,\mathbf{j}+z(t)\,\mathbf{k}$ 為位置向量,若向量場可寫成 $$\mathbf{F}(x,y,z)=\dfrac{k}{\|\mathbf{r}\|^2}\,\mathbf{u},\quad \mathbf{u}=\dfrac{\mathbf{r}}{\|\mathbf{r}\|}$$ 則稱 $\mathbf{F}$ 為反平方場;重力場與電場都是反平方場的例子。

15.1.2 互動 示範 A:六種向量場速覽

向量場由無窮多個向量組成,圖示時的目標是挑代表性向量畫出來,看出方向與大小的分布規律。下面互動圖把六種典型向量場放進同一個介面,可以即時切換、調整格點密度、看 $|\mathbf{F}|$ 熱度圖,並比較 $\partial N/\partial x$ 與 $\partial M/\partial y$ 是否相等(即定理 15.1 的保守判定)。

滑鼠懸停看分量值 · 拖曳框選縮放
x 軸y 軸 向量場箭頭
場的數學資訊
M(x,y)2x
N(x,y)y
∂N/∂x0
∂M/∂y0
保守?
div F3
(curl F)·k0
格點與比例
密度11 × 11
比例1.0×
平面保守場判定
$\dfrac{\partial N}{\partial x}\stackrel{?}{=}\dfrac{\partial M}{\partial y}$
定理 15.1:兩者相等 ⇔ F 在開圓盤上保守
例題 2 · 描繪向量場
畫出 $\mathbf{F}(x,y)=2x\,\mathbf{i}+y\,\mathbf{j}$ 的若干代表向量。
取樣點法
步驟 1 · 取等高線觀察

令 $\|\mathbf{F}\|=c$,得 $\sqrt{4x^2+y^2}=c$,即橢圓 $\dfrac{x^2}{(c/2)^2}+\dfrac{y^2}{c^2}=1$。
同一條等大線上的向量「長度相同」,方向才會變。

步驟 2 · 列幾組樣本

取 $c=1, 2, 4$ 三圈橢圓上的點代入 $\mathbf{F}=(2x,\,y)$:

點 (x,y)F = (2x, y)‖F‖
(1/2, 0)(1, 0)1
(0, 1)(0, 1)1
(1, 0)(2, 0)2
(0, 2)(0, 2)2
(2, 0)(4, 0)4
(1, 2√3)(2, 2√3)4
所有向量都外指,且在同一橢圓上等長 —— 可以看出這是 $f(x,y)=x^2+\tfrac{1}{2}y^2$ 的梯度場(例題 4 會驗證它是保守的)。

15.1.3 保守向量場與位能函數

例題 2 畫出的箭頭看起來「總是垂直於某條等高線」,這正是梯度的特徵。並非所有向量場都能寫成某個 $f$ 的梯度 —— 可以的叫做保守,那個 $f$ 叫做位能函數

定義 15.3 保守向量場

若存在可微函數 $f$ 使得 $\mathbf{F}=\nabla f$,則稱向量場 $\mathbf{F}$ 為保守,並稱 $f$ 為 $\mathbf{F}$ 的位能函數。

平面保守判定法

設 $M$、$N$ 在開圓盤 $R$ 上具連續一階偏導,則 $\mathbf{F}(x,y)=M\,\mathbf{i}+N\,\mathbf{j}$ 在 $R$ 上為保守的充要條件是 $$\dfrac{\partial N}{\partial x}=\dfrac{\partial M}{\partial y}.$$

例題 4 · 保守向量場
證明:(a) $\mathbf{F}(x,y)=2x\,\mathbf{i}+y\,\mathbf{j}$ 是保守的;(b) 每個反平方場 $\mathbf{F}=\dfrac{k}{\|\mathbf{r}\|^2}\mathbf{u}$ 都是保守的。
直接構造位能
(a) 構造法

取 $f(x,y)=x^2+\tfrac{1}{2}y^2$,則 $f_x=2x$、$f_y=y$,正好等於 $\mathbf{F}$ 的兩個分量。所以 $\mathbf{F}=\nabla f$,由定義 $\mathbf{F}$ 是保守的。

(b) 反平方場的位能

對 $\mathbf{F}=\dfrac{k}{\|\mathbf{r}\|^2}\mathbf{u}=\dfrac{k(x\mathbf{i}+y\mathbf{j}+z\mathbf{k})}{(x^2+y^2+z^2)^{3/2}}$,取 $f(x,y,z)=\dfrac{-k}{\sqrt{x^2+y^2+z^2}}=\dfrac{-k}{\|\mathbf{r}\|}$。
驗算:$f_x=\dfrac{kx}{\|\mathbf{r}\|^3}$,同樣對 $y$、$z$,所以 $\nabla f = \mathbf{F}$。

兩者皆保守。前者位能 $f=x^2+\tfrac{1}{2}y^2$;後者位能 $f=-\dfrac{k}{\|\mathbf{r}\|}$(物理上恰是重力位能符號相反的形式)。
例題 5 · 保守場判定
判定下列向量場是否為保守的:
(a) $\mathbf{F}(x,y)=x^2y\,\mathbf{i}+xy\,\mathbf{j}$    (b) $\mathbf{F}(x,y)=2x\,\mathbf{i}+y\,\mathbf{j}$
定理 15.1 判定
(a) 算偏導

$M=x^2y$、$N=xy$。
$\dfrac{\partial M}{\partial y}=x^2$、$\dfrac{\partial N}{\partial x}=y$。
兩者不等(在 $x^2=y$ 的曲線上才相等,但不是整個 $R$ 上),故 $\mathbf{F}$ 保守。

(b) 算偏導

$M=2x$、$N=y$。
$\dfrac{\partial M}{\partial y}=0$、$\dfrac{\partial N}{\partial x}=0$,兩者相等於整個 $\mathbb{R}^2$,故 $\mathbf{F}$ 保守

(a) 非保守;(b) 保守,可以在上面 示範 A 切換到對應的場驗證 ∂N/∂x − ∂M/∂y 的數值符合判定。
例題 6 · 尋找位能函數
已知 $\mathbf{F}(x,y)=2xy\,\mathbf{i}+(x^2-y)\,\mathbf{j}$ 為保守場,找出位能函數 $f$。
部分積分還原
步驟 1 · 驗證定理 15.1

$\dfrac{\partial M}{\partial y}=2x=\dfrac{\partial N}{\partial x}$,確認保守。

步驟 2 · 由 $f_x = 2xy$ 積分(以 x)

$f(x,y)=\displaystyle\int 2xy\,dx = x^2 y + g(y)$,其中 $g(y)$ 為僅與 $y$ 有關的待定函數。

步驟 3 · 用 $f_y = x^2 - y$ 解 g(y)

對 $x^2 y + g(y)$ 對 $y$ 偏導:$f_y = x^2 + g'(y)$。
令 $x^2 + g'(y) = x^2 - y$ ⇒ $g'(y) = -y$ ⇒ $g(y) = -\dfrac{y^2}{2}+K$。

$\boxed{f(x,y)=x^2 y - \dfrac{y^2}{2}+K}$。可驗證 $\nabla f = (2xy,\,x^2-y)=\mathbf{F}$。這個位能會在 §15.3 的例題 2 直接套用。

15.1.4 旋度與散度:兩個微分算子

把定理 15.1 推到三維,需要先定義旋度,它本身是一個向量場;以及純量的散度。直觀上 curl 描述「在該點繞著轉動」的強度與軸向,div 描述「在該點向外發散」的速率。

定義 15.4 向量場的旋度

設 $\mathbf{F}(x,y,z)=M\,\mathbf{i}+N\,\mathbf{j}+P\,\mathbf{k}$,則 $$\mathrm{curl}\,\mathbf{F}=\nabla\times\mathbf{F}=\left(\dfrac{\partial P}{\partial y}-\dfrac{\partial N}{\partial z}\right)\mathbf{i}-\left(\dfrac{\partial P}{\partial x}-\dfrac{\partial M}{\partial z}\right)\mathbf{j}+\left(\dfrac{\partial N}{\partial x}-\dfrac{\partial M}{\partial y}\right)\mathbf{k}.$$

記憶要點:i, j, k 三個分量裡,j 那一項要記得「先 P 後 M」並乘上負號,等價於下方行列式展開。若 $\mathrm{curl}\,\mathbf{F}=\mathbf{0}$,稱 $\mathbf{F}$ 為無旋的

行列式記憶法
$$\mathrm{curl}\,\mathbf{F}=\begin{vmatrix}\mathbf{i}&\mathbf{j}&\mathbf{k}\\[2pt]\dfrac{\partial}{\partial x}&\dfrac{\partial}{\partial y}&\dfrac{\partial}{\partial z}\\[6pt] M & N & P\end{vmatrix}$$
把 ∇ 視為微分運算子,旋度 = ∇ × F,散度 = ∇ · F
空間中的保守場判定

若 $M$、$N$、$P$ 在開球 $Q$ 上具連續一階偏導,則 $\mathbf{F}=M\,\mathbf{i}+N\,\mathbf{j}+P\,\mathbf{k}$ 保守 ⇔ $\mathrm{curl}\,\mathbf{F}=\mathbf{0}$,即 $$\dfrac{\partial P}{\partial y}=\dfrac{\partial N}{\partial z},\quad \dfrac{\partial P}{\partial x}=\dfrac{\partial M}{\partial z},\quad \dfrac{\partial N}{\partial x}=\dfrac{\partial M}{\partial y}.$$

例題 7 · 向量場的旋度
求 $\mathbf{F}(x,y,z)=2xy\,\mathbf{i}+(x^2+z^2)\,\mathbf{j}+2yz\,\mathbf{k}$ 的旋度,並判斷是否為無旋的。
行列式展開
步驟 1 · 對應分量

$M=2xy,\ N=x^2+z^2,\ P=2yz$。
偏導:$M_y=2x,\ M_z=0;\ N_x=2x,\ N_z=2z;\ P_x=0,\ P_y=2z$。

步驟 2 · 代入公式

$\mathbf{i}$ 分量:$P_y-N_z = 2z - 2z = 0$。
$\mathbf{j}$ 分量:$-(P_x-M_z) = -(0-0) = 0$。
$\mathbf{k}$ 分量:$N_x-M_y = 2x - 2x = 0$。

$\mathrm{curl}\,\mathbf{F}=\mathbf{0}$,故 $\mathbf{F}$ 是無旋的。由定理 15.2,$\mathbf{F}$ 是保守的,例題 8 接著找它的位能函數。
例題 8 · 空間中的位能函數
為 $\mathbf{F}(x,y,z)=2xy\,\mathbf{i}+(x^2+z^2)\,\mathbf{j}+2yz\,\mathbf{k}$ 找出位能函數 $f$。
逐軸積分
步驟 1 · 由 $f_x = 2xy$ 對 x 積分

$f = \int 2xy\,dx = x^2 y + g(y,z)$。

步驟 2 · 用 $f_y = x^2 + z^2$ 解 g

$f_y = x^2 + g_y(y,z) = x^2 + z^2$ ⇒ $g_y = z^2$ ⇒ $g(y,z) = y z^2 + h(z)$。
所以 $f = x^2 y + y z^2 + h(z)$。

步驟 3 · 用 $f_z = 2yz$ 解 h

$f_z = 2 y z + h'(z) = 2 y z$ ⇒ $h'(z) = 0$ ⇒ $h(z) = K$。

$\boxed{f(x,y,z) = x^2 y + y z^2 + K}$;驗算 $\nabla f = (2xy,\,x^2+z^2,\,2yz)=\mathbf{F}$ ✓。
定義 15.5 散度

$\mathrm{div}\,\mathbf{F}(x,y) = \nabla\cdot\mathbf{F} = \dfrac{\partial M}{\partial x}+\dfrac{\partial N}{\partial y}$(平面)
$\mathrm{div}\,\mathbf{F}(x,y,z) = \nabla\cdot\mathbf{F} = \dfrac{\partial M}{\partial x}+\dfrac{\partial N}{\partial y}+\dfrac{\partial P}{\partial z}$(空間)

若 $\mathrm{div}\,\mathbf{F}=0$,稱 $\mathbf{F}$ 為無散度的。流體力學裡叫不可壓縮,電磁學裡叫螺線型場

例題 9 · 某點的散度
求 $\mathbf{F}(x,y,z)=x^3 y^2 z\,\mathbf{i}+x^2 z\,\mathbf{j}+x^2 y\,\mathbf{k}$ 在 $(2,1,-1)$ 的散度。
公式直代
步驟 1 · 列偏導

$\dfrac{\partial M}{\partial x}=3 x^2 y^2 z,\quad \dfrac{\partial N}{\partial y}=0,\quad \dfrac{\partial P}{\partial z}=0$。

步驟 2 · 代入點 (2,1,−1)

$\mathrm{div}\,\mathbf{F} = 3 x^2 y^2 z = 3 \cdot 4 \cdot 1 \cdot (-1) = -12$。

$\mathrm{div}\,\mathbf{F}(2,1,-1) = -12$。
div(curl F) = 0

若 $\mathbf{F}=M\,\mathbf{i}+N\,\mathbf{j}+P\,\mathbf{k}$ 的三個分量都具有連續二階偏導,則 $$\mathrm{div}(\mathrm{curl}\,\mathbf{F})=0.$$ 證明來自 Clairaut 定理(混合偏導相等),兩兩抵消。

概念測驗 15.1

Q15-1-1 · 保守判定
下列哪一個向量場是 保守的
Q15-1-2 · 旋度計算
求 $\mathbf{F}(x,y,z) = y z\,\mathbf{i} + x z\,\mathbf{j} + x y\,\mathbf{k}$ 的 curl。
Q15-1-3 · 由位能還原向量場
若位能函數為 $f(x,y) = x^2 y - \dfrac{y^2}{2}$,則 $\mathbf{F} = \nabla f$ 等於?
第 15.2 節 · 線積分

線積分:沿曲線累積

到目前為止接觸的積分都「沿一段區間 $[a,b]$」或「沿一塊平面區域 $R$」。這一節要把積分的領域換成一條曲線 $C$,得到所謂的線積分。它有兩種類型:純量被積函數 $\int_C f\,ds$(例如求帶質量密度的細線總質量)與向量被積函數 $\int_C \mathbf{F}\cdot d\mathbf{r}$(例如算力場做的功)。

15.2.1 分段光滑曲線與純量線積分

回顧 光滑曲線與分段光滑

平面曲線 $C:\mathbf{r}(t)=x(t)\,\mathbf{i}+y(t)\,\mathbf{j}$,$a\le t\le b$,光滑表示 $dx/dt,\,dy/dt$ 連續且不同時為零。空間曲線多一條 $dz/dt$。
若 $[a,b]$ 可被分割成有限段,每段都光滑,則 $C$ 為分段光滑

例題 1 · 分段光滑參數化
講義圖 4 以圖形給出一條從 $(0,0,0)$ 出發、最終抵達 $(1,2,1)$ 的分段路徑。本頁用同端點的三段折線示範參數化方法:沿 $x$ 軸到 $(1,0,0)$、再沿 $y$ 軸到 $(1,2,0)$、最後沿 $z$ 軸到 $(1,2,1)$。
逐段線性插值
步驟 · 三段分別寫出

$C_1:\ (0,0,0)\to(1,0,0)$ $\mathbf{r}_1(t) = t\,\mathbf{i},\ 0\le t\le 1$
$C_2:\ (1,0,0)\to(1,2,0)$ $\mathbf{r}_2(t) = \mathbf{i} + (t-1)\,2\,\mathbf{j},\ 1\le t\le 2$
$C_3:\ (1,2,0)\to(1,2,1)$ $\mathbf{r}_3(t) = \mathbf{i} + 2\,\mathbf{j} + (t-2)\,\mathbf{k},\ 2\le t\le 3$

將三段分別參數化即得分段光滑曲線。反向參數化只需把 $t$ 換成 $1-t$(或對每段做相反端點)即可,方向改變對純量線積分不影響,但對向量線積分會變號
定義 15.6 線積分 — 純量

設 $f$ 在含光滑、有限長度曲線 $C$ 的區域上有定義,把 $C$ 分割為 $n$ 段,每段弧長為 $\Delta s_i$,取樣點 $(x_i, y_i)$(平面)或 $(x_i, y_i, z_i)$(空間)。當 $\|\Delta\|\to 0$:

$\displaystyle\int_C f(x,y)\,ds = \lim_{\|\Delta\|\to 0}\sum_{i=1}^n f(x_i,y_i)\,\Delta s_i$   平面
$\displaystyle\int_C f(x,y,z)\,ds = \lim_{\|\Delta\|\to 0}\sum_{i=1}^n f(x_i,y_i,z_i)\,\Delta s_i$   空間

若極限存在則稱 $f$ 沿 $C$ 可積。可證:當 $f$ 連續時,極限對所有合理的光滑參數化都得到相同的值。

用定積分計算線積分

若 $f$ 連續、$C:\mathbf{r}(t)=x(t)\mathbf{i}+y(t)\mathbf{j}$($a\le t\le b$)光滑,則 $$\int_C f(x,y)\,ds=\int_a^b f(x(t),y(t))\sqrt{[x'(t)]^2+[y'(t)]^2}\,dt.$$ 空間版本 $\mathbf{r}(t)=x(t)\mathbf{i}+y(t)\mathbf{j}+z(t)\mathbf{k}$ 為 $$\int_C f(x,y,z)\,ds=\int_a^b f(x(t),y(t),z(t))\sqrt{[x'(t)]^2+[y'(t)]^2+[z'(t)]^2}\,dt.$$

特例:若 $f\equiv 1$,線積分給出曲線的弧長 $\int_C ds = \int_a^b \|\mathbf{r}'(t)\|\,dt$。

15.2.2 互動 示範 B:純量線積分累積動畫

下面的動畫把定理 15.4 視覺化:選曲線 $C$ 與被積函數 $f$,按 ▶ 播放,紅色標記沿曲線移動;右側即時列出目前位置 $\mathbf{r}(t)$、弧長因子 $\|\mathbf{r}'(t)\|$、被積函數值 $f(\mathbf{r}(t))$ 與累積量 $\int_{t_{\min}}^t f(\mathbf{r}(s))\|\mathbf{r}'(s)\|\,ds$。進度條只表示動畫時間進度,真正的積分大小請看下方數值與目標值。

t = 0.00
xy曲線 C
即時狀態
t0.000
r(t)(0, 0)
‖r′(t)‖0
f(r(t))0
路徑進度0%
0.000
目標值:5√6/6 ≈ 2.041
速度
速度1.0×
例題 2 · 計算線積分
求 $\displaystyle\int_C (x^2 - y + 3z)\,ds$,其中 $C$ 是從 $(0,0,0)$ 到 $(1,2,1)$ 的線段。
參數化 + 定理 15.4
步驟 1 · 參數化

$\mathbf{r}(t) = t\,\mathbf{i} + 2t\,\mathbf{j} + t\,\mathbf{k},\quad 0\le t\le 1$。
$\mathbf{r}'(t) = (1, 2, 1)$,$\|\mathbf{r}'(t)\| = \sqrt{1+4+1} = \sqrt{6}$。

步驟 2 · 代入被積函數

$f(x,y,z) = x^2 - y + 3z$ 沿 $C$:$f(t, 2t, t) = t^2 - 2t + 3t = t^2 + t$。

步驟 3 · 整合到 1D 積分

$\displaystyle\int_C f\,ds = \int_0^1 (t^2 + t)\sqrt{6}\,dt = \sqrt{6}\left[\dfrac{t^3}{3}+\dfrac{t^2}{2}\right]_0^1 = \sqrt{6}\left(\dfrac{1}{3}+\dfrac{1}{2}\right) = \dfrac{5\sqrt{6}}{6}.$

$\displaystyle\int_C(x^2-y+3z)\,ds = \dfrac{5\sqrt{6}}{6} \approx 2.0412$。示範 B 中可選此情境驗證數值收斂。
例題 3 · 分段路徑上的線積分
講義 例題 3 的重點是:分段光滑路徑的線積分可逐段相加。本頁用「線段 + 四分之一圓弧」示範同一方法:求 $\displaystyle\int_C x\,ds$,其中 $C$ 是由線段 $C_1:(0,0)\to(1,0)$ 接上四分之一圓弧 $C_2$:$(1,0)\to(0,1)$(以原點為圓心)構成。
分段疊加
步驟 1 · $C_1$ 線段

$\mathbf{r}_1(t) = t\,\mathbf{i},\ 0\le t\le 1$;$\|\mathbf{r}_1'\| = 1$。
$\displaystyle\int_{C_1} x\,ds = \int_0^1 t\cdot 1\,dt = \dfrac{1}{2}$。

步驟 2 · $C_2$ 圓弧

$\mathbf{r}_2(t) = \cos t\,\mathbf{i} + \sin t\,\mathbf{j},\ 0\le t\le \pi/2$;$\|\mathbf{r}_2'\| = 1$。
$\displaystyle\int_{C_2} x\,ds = \int_0^{\pi/2}\cos t\,dt = 1$。

$\displaystyle\int_C x\,ds = \dfrac{1}{2} + 1 = \dfrac{3}{2}$。
例題 4 · 空間曲線的 $ds$
求 $\displaystyle\int_C (x+2)\,ds$,其中 $C:\mathbf{r}(t)=t\,\mathbf{i}+\dfrac{4}{3}t^{3/2}\,\mathbf{j}+\dfrac{1}{2}t^2\,\mathbf{k},\ 0\le t\le 2$。
弧長微分計算
步驟 1 · 算 r′(t) 與 ‖r′(t)‖

$\mathbf{r}'(t) = (1,\,2t^{1/2},\,t)$; $$\|\mathbf{r}'(t)\| = \sqrt{1+4t+t^2}.$$ 這個根號不需要先化成完全平方;因為被積函數是 $x+2=t+2$,正好可以和 $1+4t+t^2$ 的導數配合做變數變換。

步驟 2 · 代入並用變數變換

$x = t$,所以 $f = t+2$。
$\displaystyle\int_C (x+2)\,ds=\int_0^2 (t+2)\sqrt{1+4t+t^2}\,dt.$
令 $u = 1+4t+t^2$,$du = (4+2t)\,dt = 2(t+2)\,dt$,故 $(t+2)\,dt = \dfrac{1}{2}\,du$。
$t=0$ 時 $u=1$;$t=2$ 時 $u=13$。
積分變為 $\displaystyle\int_1^{13} \dfrac{1}{2}\sqrt{u}\,du = \dfrac{1}{2}\cdot\dfrac{2}{3}u^{3/2}\Big|_1^{13} = \dfrac{1}{3}(13\sqrt{13} - 1).$

$\displaystyle\int_C (x+2)\,ds = \dfrac{13\sqrt{13}-1}{3}\approx 15.291$。示範 B 中可選此情境驗證。

15.2.3 向量場的線積分:功

力 $\mathbf{F}$ 沿路徑 $C$ 對物體做的功,只與 $\mathbf{F}$ 在切方向上的投影 $\mathbf{F}\cdot\mathbf{T}$ 有關。一小段弧長 $\Delta s_i$ 的元功 $\approx [\mathbf{F}\cdot\mathbf{T}]\,\Delta s_i$;取極限即為下面的定義。

定義 15.7 向量場的線積分

設 $\mathbf{F}$ 在光滑曲線 $C:\mathbf{r}(t),\ a\le t\le b$ 上連續,定義 $$\int_C \mathbf{F}\cdot d\mathbf{r}=\int_C \mathbf{F}\cdot \mathbf{T}\,ds = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot \mathbf{r}'(t)\,dt.$$

由 $\mathbf{T} = \mathbf{r}'(t)/\|\mathbf{r}'(t)\|$ 與 $ds = \|\mathbf{r}'(t)\|\,dt$ 即可消去分母;得到的形式直接適合計算。

15.2.4 互動 示範 C:螺旋線上的功

直接視覺化 例題 6:力場 $\mathbf{F}=-\tfrac{1}{2}x\,\mathbf{i}-\tfrac{1}{2}y\,\mathbf{j}+\tfrac{1}{4}\,\mathbf{k}$(始終指向 $z$ 軸並有一點向上抬)作用在沿螺旋線 $\mathbf{r}(t)=(\cos t,\sin t,t)$ 移動的粒子上,從 $(1,0,0)$ 到 $(-1,0,3\pi)$ 做的功。右側的 $F\cdot r'$ 是當下瞬間功率,累積數值是 $\int_0^t \mathbf{F}(\mathbf{r}(s))\cdot\mathbf{r}'(s)\,ds$;進度條只表示螺旋路徑已播放到哪裡。

t = 0.00
xyz 螺旋路徑
物理狀態
t0.000
r(t)(1, 0, 0)
F(r)(−.5, 0, .25)
F·r′0.250
路徑進度0%
0.000
目標值:3π/4 ≈ 2.356
速度
速度1.0×
例題 6 · 力所做的功
力場 $\mathbf{F}(x,y,z)=-\tfrac{1}{2}x\,\mathbf{i}-\tfrac{1}{2}y\,\mathbf{j}+\tfrac{1}{4}\,\mathbf{k}$,粒子沿 $\mathbf{r}(t)=\cos t\,\mathbf{i}+\sin t\,\mathbf{j}+t\,\mathbf{k}$ 從 $(1,0,0)$ 到 $(-1,0,3\pi)$(即 $0\le t\le 3\pi$)。求功。
直接代入 定義 15.7
步驟 1 · 沿曲線取值

$\mathbf{F}(\mathbf{r}(t)) = (-\tfrac{1}{2}\cos t,\,-\tfrac{1}{2}\sin t,\,\tfrac{1}{4})$。
$\mathbf{r}'(t) = (-\sin t,\,\cos t,\,1)$。

步驟 2 · 內積

$\mathbf{F}\cdot \mathbf{r}' = \tfrac{1}{2}\sin t\cos t - \tfrac{1}{2}\sin t\cos t + \tfrac{1}{4} = \dfrac{1}{4}$。
前兩項剛好抵消(這是因為力的 $xy$ 分量正交於螺旋切向的 $xy$ 部分)。

步驟 3 · 對 t 積分

$W = \displaystyle\int_0^{3\pi} \dfrac{1}{4}\,dt = \dfrac{3\pi}{4}$。

$W = \dfrac{3\pi}{4} \approx 2.356$。示範 C 數值會從 $0$ 累積到此值。
例題 7 · 方向會影響符號
設 $\mathbf{F}(x,y)=y\,\mathbf{i}+x^2\,\mathbf{j}$。下面兩條曲線都是拋物線 $y=4x-x^2$ 的一段,但方向相反:(a) $C_1:\mathbf{r}_1(t)=(4-t)\,\mathbf{i}+(4t-t^2)\,\mathbf{j},\ 0\le t\le 3$,從 $(4,0)$ 走到 $(1,3)$;(b) $C_2:\mathbf{r}_2(t)=t\,\mathbf{i}+(4t-t^2)\,\mathbf{j},\ 1\le t\le 4$,從 $(1,3)$ 走到 $(4,0)$。分別求 $\int_C \mathbf{F}\cdot d\mathbf{r}$。
直接展開比較
(a) 沿 $C_1$(從 $(4,0)$ 走向 $(1,3)$ 方向)

$\mathbf{F}=(y,\,x^2)=(4t-t^2,\,(4-t)^2)$。$\mathbf{r}_1'(t)=(-1,\,4-2t)$。
$\mathbf{F}\cdot\mathbf{r}_1' = -(4t-t^2)+(4-t)^2(4-2t)$。
展開並對 $t\in[0,3]$ 積分得 $\displaystyle\int_{C_1}\mathbf{F}\cdot d\mathbf{r} = \dfrac{69}{2}$。

(b) 沿 $C_2$(從 $(1,3)$ 走向 $(4,0)$ 方向 — 反向)

$\mathbf{F}=(4t-t^2,\,t^2)$,$\mathbf{r}_2'(t)=(1,\,4-2t)$。
$\mathbf{F}\cdot\mathbf{r}_2' = (4t-t^2)+t^2(4-2t)$。
對 $t\in[1,4]$ 積分得 $\displaystyle\int_{C_2}\mathbf{F}\cdot d\mathbf{r} = -\dfrac{69}{2}$。

兩個積分數值相反,恰證明方向反轉 ⇒ 積分變號。注意 (a) 和 (b) 的「方向」是相反的(端點對調)。
微分形式 另一種寫法:$M\,dx + N\,dy$

把 $\mathbf{F}\cdot d\mathbf{r}$ 展開: $$\int_C \mathbf{F}\cdot d\mathbf{r} = \int_C (M\,\mathbf{i}+N\,\mathbf{j})\cdot(dx\,\mathbf{i}+dy\,\mathbf{j}) = \int_C M\,dx + N\,dy.$$ 在三維是 $\int_C M\,dx + N\,dy + P\,dz$。Green 定理 (§15.4) 就使用這種微分形式。

例題 8 · 圓上的微分形式
設 $C$ 為半徑 3 的圓 $\mathbf{r}(t)=3\cos t\,\mathbf{i}+3\sin t\,\mathbf{j},\ 0\le t\le 2\pi$。求 $\displaystyle\int_C y^3\,dx + (x^3+3xy^2)\,dy$。
參數化 + 三角恆等式
步驟 1 · 微分

$dx = -3\sin t\,dt$,$dy = 3\cos t\,dt$。
$y^3 = 27\sin^3 t$;$x^3 + 3xy^2 = 27\cos^3 t + 81\cos t\sin^2 t = 27\cos t\,(1+2\sin^2 t)$。

步驟 2 · 代入並合併

$y^3\,dx = -81\sin^4 t\,dt$。
$(x^3+3xy^2)\,dy = 27\cos t(1+2\sin^2 t)\cdot 3\cos t\,dt = 81\cos^2 t(1+2\sin^2 t)\,dt$。
合計:$81[\cos^2 t + 2\sin^2 t\cos^2 t - \sin^4 t]\,dt$。

步驟 3 · 三角積分

在 $[0,2\pi]$ 上:$\int\cos^2 t\,dt = \pi$,$\int 2\sin^2 t\cos^2 t\,dt = \pi/2$,$\int\sin^4 t\,dt = 3\pi/4$。
合計 $\displaystyle 81\!\left[\pi + \dfrac{\pi}{2} - \dfrac{3\pi}{4}\right] = 81\cdot\dfrac{3\pi}{4} = \dfrac{243\pi}{4}$。

在 §15.4 例題 2 用 Green 定理可一步算出同樣的 $\dfrac{243\pi}{4}$,比這裡直接展開簡潔得多。

$\displaystyle\int_C y^3\,dx + (x^3+3xy^2)\,dy = \dfrac{243\pi}{4}\approx 190.85$。這就是 §15.4 例題 2 的「線積分版本」。

概念測驗 15.2

Q15-2-1 · ds 的表達
若 $\mathbf{r}(t) = (\cos t,\,\sin t,\,t)$(螺旋線),則 $ds$ 等於?
Q15-2-2 · 方向反轉
若 $\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r} = 5$,那麼沿反方向 $-C$ 的 $\displaystyle\int_{-C}\mathbf{F}\cdot d\mathbf{r}$ 為?
Q15-2-3 · 純量 vs 向量線積分
下列哪一個敘述「不正確」?
第 15.3 節 · 保守場與路徑無關

保守場與路徑無關:線積分的基本定理

重力場做的功有個漂亮性質:在物體從 A 移到 B 的過程中,不論走哪條路徑,功都一樣。本節要把這個現象推廣 —— 它等價於「向量場是保守的」,並且也等價於「沿任何閉曲線積分為零」。三件事互相蘊含,合稱線積分基本定理

15.3.1 線積分基本定理

例題 1 · 保守場與三條路徑
求 $\mathbf{F}(x,y)=\tfrac{1}{2}xy\,\mathbf{i}+\tfrac{1}{4}x^2\,\mathbf{j}$ 沿下列三條從 $(0,0)$ 到 $(1,1)$ 的路徑所做的功:(a) $y=x$;(b) $x=y^2$;(c) $y=x^3$。
直接代入 + 對照
先確認 F 保守

$M=\tfrac{1}{2}xy,\ N=\tfrac{1}{4}x^2$,$\partial M/\partial y=\tfrac{1}{2}x=\partial N/\partial x$ ✓ 保守。位能 $f=\tfrac{1}{4}x^2 y + K$(驗 $f_x=\tfrac{1}{2}xy$、$f_y=\tfrac{1}{4}x^2$)。

(a) y = x:$\mathbf{r}(t)=(t,t)$,$0\le t\le 1$

$\mathbf{F}=(\tfrac{1}{2}t^2,\tfrac{1}{4}t^2)$,$\mathbf{r}'=(1,1)$,$\mathbf{F}\cdot\mathbf{r}'=\tfrac{3}{4}t^2$。
$\int_0^1 \tfrac{3}{4}t^2\,dt = \tfrac{1}{4}.$

(b) x = y²:$\mathbf{r}(t)=(t^2,t)$,$0\le t\le 1$

$\mathbf{F}=(\tfrac{1}{2}t^3,\tfrac{1}{4}t^4)$,$\mathbf{r}'=(2t,1)$,$\mathbf{F}\cdot\mathbf{r}'=t^4 + \tfrac{1}{4}t^4=\tfrac{5}{4}t^4$。
$\int_0^1 \tfrac{5}{4}t^4\,dt=\tfrac{1}{4}.$

(c) y = x³:$\mathbf{r}(t)=(t,t^3)$,$0\le t\le 1$

$\mathbf{F}=(\tfrac{1}{2}t\cdot t^3,\tfrac{1}{4}t^2)=(\tfrac{1}{2}t^4,\tfrac{1}{4}t^2)$,$\mathbf{r}'=(1,3t^2)$。
$\mathbf{F}\cdot\mathbf{r}'=\tfrac{1}{2}t^4+\tfrac{3}{4}t^4=\tfrac{5}{4}t^4$。$\int_0^1 \tfrac{5}{4}t^4\,dt=\tfrac{1}{4}.$

三條完全不同的路徑都給出 $\tfrac{1}{4}$,正等於 $f(1,1)-f(0,0)=\tfrac{1}{4}-0$。這正是線積分基本定理的數值預告。
線積分基本定理

設分段光滑曲線 $C:\mathbf{r}(t),\ a\le t\le b$ 位於開區域 $R$ 內。若 $\mathbf{F}=M\,\mathbf{i}+N\,\mathbf{j}$ 在 $R$ 上保守(即 $\mathbf{F}=\nabla f$)且 $M,N$ 連續,則 $$\int_C \mathbf{F}\cdot d\mathbf{r} = \int_C \nabla f\cdot d\mathbf{r} = f(\mathbf{r}(b)) - f(\mathbf{r}(a)).$$

空間版本完全類似:$\int_C \nabla f\cdot d\mathbf{r}=f(B)-f(A)$。直觀:保守場做的功=位能差,跟走哪條路無關

例題 2 · 套用線積分基本定理
求 $\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r}$,其中 $\mathbf{F}(x,y)=2xy\,\mathbf{i}+(x^2-y)\,\mathbf{j}$,$C$ 是任何從 $(-1,4)$ 到 $(1,2)$ 的分段光滑曲線。
套用 §15.1 例題 6 的位能
步驟 1 · 確認保守 + 取位能

$\partial M/\partial y = 2x = \partial N/\partial x$ ✓ 保守。由 §15.1 例題 6 已得位能 $f(x,y) = x^2 y - \dfrac{y^2}{2}$。

步驟 2 · 直接代入端點

$f(1,2) = 1\cdot 2 - \dfrac{4}{2} = 2 - 2 = 0$。
$f(-1,4) = (-1)^2 \cdot 4 - \dfrac{16}{2} = 4 - 8 = -4$。
$\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r} = f(1,2) - f(-1,4) = 0 - (-4) = 4$。

$\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r} = 4$。不用知道 $C$ 的具體形狀就能算出。
路徑無關 ⇔ 保守

若 $\mathbf{F}$ 在開連通區域上連續,則 $\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r}$ 路徑無關 ⇔ $\mathbf{F}$ 保守。

「連通」表示任兩點可由區域內的分段光滑曲線連起來。「路徑無關」表示固定起點與終點時,所有合法路徑的積分值相同。

15.3.2 互動 示範 D:三條路徑的對照

下面互動圖固定起點 $A=(-1,4)$ 與終點 $B=(1,2)$(也就是例題 2 的端點);提供三條外型不同的路徑:直線、上凸圓弧、下凸圓弧。同時可切換兩種向量場:保守場 $\mathbf{F}=2xy\,\mathbf{i}+(x^2-y)\,\mathbf{j}$(背景顯示位能 $f=x^2 y - y^2/2$ 的等高線)與非保守場 $\mathbf{F}=-y\,\mathbf{i}+x\,\mathbf{j}$(旋轉場)。觀察三條路徑的積分值是否一致。

綠=保守 · 紅=非保守 · 三色 marker 同步移動
保守場 F 非保守場 三條路徑
三條路徑的線積分
直線 A→B0.000
上凸弧0.000
下凸弧0.000
期望值(基本定理)
f(B) − f(A)f(1,2) − f(−1,4) = 4
三者誤差
尚未播放
例題 4 · 三維保守力場
設 $\mathbf{F}(x,y,z)=e^x\cos y\,\mathbf{i}-e^x\sin y\,\mathbf{j}+2\,\mathbf{k}$。證明 $\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r}$ 路徑無關,並求從 $(0,\pi/2,1)$ 到 $(1,\pi,3)$ 的功。
驗 curl = 0 + 找位能
步驟 1 · 驗 curl F = 0

$M=e^x\cos y,\ N=-e^x\sin y,\ P=2$。
$P_y - N_z = 0 - 0 = 0$;
$M_z - P_x = 0 - 0 = 0$;
$N_x - M_y = -e^x\sin y - (-e^x\sin y) = 0$。
三項皆零 ⇒ $\mathrm{curl}\,\mathbf{F}=\mathbf{0}$ ⇒ 保守。

步驟 2 · 找位能 f

由 $f_x = e^x \cos y$:$f = e^x \cos y + g(y,z)$。
$f_y = -e^x \sin y + g_y(y,z) = -e^x \sin y$ ⇒ $g_y = 0$ ⇒ $g = h(z)$。
$f_z = h'(z) = 2$ ⇒ $h(z) = 2z + K$。
$\boxed{f(x,y,z) = e^x \cos y + 2z + K}$。

步驟 3 · 代入端點

$f(1,\pi,3) = e\cos\pi + 6 = -e + 6$。
$f(0,\pi/2,1) = e^0 \cos(\pi/2) + 2 = 0 + 2 = 2$。
$W = f(1,\pi,3) - f(0,\pi/2,1) = (-e + 6) - 2 = 4 - e$。

$W = 4 - e \approx 1.282$。同樣的路徑若改往返一週回到起點,由定理 15.7 必為 0。

15.3.3 等價條件

三條件等價

設 $\mathbf{F}=M\,\mathbf{i}+N\,\mathbf{j}+P\,\mathbf{k}$ 在開連通區域 $R$ 上具連續一階偏導,$C$ 為 $R$ 內分段光滑曲線。下列三條互相等價

  1. $\mathbf{F}$ 保守(即 $\mathbf{F}=\nabla f$ 對某 $f$)。
  2. $\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r}$ 路徑無關
  3. 對 $R$ 內每條曲線 $C$,$\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r}=0$。
例題 5 · 拆解非保守為保守 + 殘餘
求 $\displaystyle\int_{C_1} \mathbf{F}\cdot d\mathbf{r}$,其中 $\mathbf{F}(x,y)=(y^3+1)\,\mathbf{i}+(3xy^2+1)\,\mathbf{j}$,$C_1$ 是從 $(0,0)$ 到 $(2,0)$ 的上半圓路徑(中心 $(1,0)$、半徑 $1$)。
分解 + 端點代入
步驟 1 · 拆解 F

令 $\mathbf{F}_1 = y^3\,\mathbf{i} + 3xy^2\,\mathbf{j}$ 與 $\mathbf{F}_2 = \mathbf{i} + \mathbf{j}$。則 $\mathbf{F}=\mathbf{F}_1+\mathbf{F}_2$。

步驟 2 · F₁ 是保守

$\partial M_1/\partial y = 3y^2 = \partial N_1/\partial x$ ✓。位能 $f_1 = xy^3$。
$\displaystyle\int_{C_1}\mathbf{F}_1\cdot d\mathbf{r} = f_1(2,0)-f_1(0,0) = 0 - 0 = 0$。

步驟 3 · F₂ 用參數化算

$C_1:\mathbf{r}(t)=(1-\cos t,\,\sin t),\ 0\le t\le \pi$(順著 $(0,0)\to(2,0)$ 走上半圓)。
$\mathbf{r}'(t)=(\sin t,\cos t)$;$\mathbf{F}_2\cdot\mathbf{r}'=\sin t + \cos t$。
$\displaystyle\int_0^\pi (\sin t+\cos t)\,dt = [-\cos t+\sin t]_0^\pi = (1+0)-(-1+0)=2$。

$\displaystyle\int_{C_1}\mathbf{F}\cdot d\mathbf{r} = 0 + 2 = 2$。技巧:能拆出「保守部分」就用端點,剩下的小部分再硬算。

概念測驗 15.3

Q15-3-1 · 等價條件
下列哪一個敘述不等價於「$\mathbf{F}$ 在開連通區域 $R$ 上保守」?
Q15-3-2 · 套用基本定理
若 $\mathbf{F}=\nabla f$ 且 $f(x,y) = x^2 + y^2$,則沿任何從 $(0,0)$ 到 $(3,4)$ 的路徑,$\int_C \mathbf{F}\cdot d\mathbf{r}$ 等於?
第 15.4 節 · Green 定理

Green 定理:邊界線積分 ↔ 區域雙重積分

Green 定理把邊界線積分區域雙重積分畫上等號 —— 它說:在一個簡單連通的平面區域 $R$ 上,沿其邊界 $C$ 的線積分(逆時針)等於某個雙重積分。這是把1D 微積分基本定理推廣到平面的版本,也是後面 Stokes 定理(§15.8)與散度定理(§15.7)的二維特例。

15.4.1 定理陳述

術語 簡單曲線、簡單連通

簡單曲線:$\mathbf{r}(c)\ne\mathbf{r}(d)$,其中 $c,d\in(a,b)$ — 不自交。
簡單連通區域:任意簡單閉曲線所圍區域都仍在 $R$ 內 — 直觀說「沒有洞」。圓盤是;圓環不是。

Green 定理

設 $R$ 為簡單連通區域,其邊界 $C$ 為分段光滑、逆時針定向(即 $R$ 永遠在 $C$ 的左側)。若 $M,N$ 在含 $R$ 的開區域上具連續一階偏導,則 $$\oint_C M\,dx + N\,dy = \iint_R\!\left(\dfrac{\partial N}{\partial x} - \dfrac{\partial M}{\partial y}\right) dA.$$

當 $\mathbf{F}=M\,\mathbf{i}+N\,\mathbf{j}$ 為保守場,$\partial N/\partial x = \partial M/\partial y$ ⇒ 右邊為 0 ⇒ 與定理 15.7 第三條(閉曲線積分為 0)一致。

例題 1 · 使用 Green 定理
求 $\displaystyle\int_C y^3\,dx + (x^3 + 3xy^2)\,dy$,其中 $C$ 是「(0,0) → (1,1) 沿 $y=x^3$,再從 (1,1) → (0,0) 沿 $y=x$」所圍成的閉曲線(逆時針)。
化簡為雙重積分
步驟 1 · 算 $\partial N/\partial x - \partial M/\partial y$

$M=y^3,\ N=x^3+3xy^2$。
$\partial M/\partial y = 3y^2$;$\partial N/\partial x = 3x^2 + 3y^2$。
差為 $3x^2 + 3y^2 - 3y^2 = 3x^2$。

步驟 2 · 確認區域 R

$y=x^3$ 與 $y=x$ 在 $0\le x\le 1$ 之間,下方為 $y=x^3$、上方為 $y=x$(因為 $x>x^3$ 當 $0

步驟 3 · 雙重積分

$\displaystyle\iint_R 3x^2\,dA = \int_0^1 \int_{x^3}^{x} 3x^2 \,dy\,dx = \int_0^1 3x^2(x - x^3)\,dx = \int_0^1 (3x^3 - 3x^5)\,dx = \dfrac{3}{4} - \dfrac{1}{2} = \dfrac{1}{4}$。

$\displaystyle\oint_C y^3\,dx + (x^3+3xy^2)\,dy = \dfrac{1}{4}$。要驗證方向:題目從 $y=x^3$(下界)走到 $y=x$(上界)再回 — 這是逆時針,$R$ 在左邊 ✓。
例題 2 · 用 Green 定理算功
受力 $\mathbf{F}(x,y)=y^3\,\mathbf{i}+(x^3+3xy^2)\,\mathbf{j}$。粒子沿半徑 3 的圓一週(逆時針),求 Green 定理算的功。
極座標雙重積分
步驟 1 · 由 §15.2 例題 8 已知直接算很繁瑣

$\partial N/\partial x - \partial M/\partial y = 3x^2 + 3y^2 - 3y^2 = 3x^2$。
Green 給:$W = \displaystyle\iint_R 3x^2\,dA$,其中 $R$ 為以原點為中心、半徑 3 的圓盤。

步驟 2 · 換極座標

$x = r\cos\theta$,$dA = r\,dr\,d\theta$:
$\displaystyle W = \int_0^{2\pi}\!\int_0^3 3r^2\cos^2\theta\cdot r\,dr\,d\theta = 3\!\left(\int_0^{2\pi}\cos^2\theta\,d\theta\right)\!\left(\int_0^3 r^3\,dr\right).$
$\int_0^{2\pi}\cos^2\theta\,d\theta=\pi$;$\int_0^3 r^3\,dr=\dfrac{81}{4}$。

步驟 3 · 合計

$W = 3 \cdot \pi \cdot \dfrac{81}{4} = \dfrac{243\pi}{4}$。

$W = \dfrac{243\pi}{4} \approx 190.85$。和 §15.2 例題 8 直接展開的結果一致 — 但這裡只用了 3 行。
例題 3 · 拆出保守項
求 $\displaystyle\int_C y^3\,dx + 3xy^2\,dy$,其中 $C$ 是 $y = x^3$ 由 $(0,0)$ 到 $(1,1)$,再沿 $y = x$ 由 $(1,1)$ 回 $(0,0)$(與 例題 1 同一條閉曲線)。
看出 F 保守
步驟 1 · 驗保守

$M = y^3$,$N = 3xy^2$。
$\partial M/\partial y = 3y^2 = \partial N/\partial x$ ✓ 保守。位能 $f = xy^3$(驗 $f_x = y^3$、$f_y = 3xy^2$)。

步驟 2 · 直接套等價條件

因為 $C$ 是曲線,且 $\mathbf{F}$ 在含 $R$ 的開區域上保守,由定理 15.7 第三條:

$\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r} = 0$。

或用 Green:$\partial N/\partial x - \partial M/\partial y = 0$,雙重積分自然為 0。

$\displaystyle\oint_C y^3\,dx + 3xy^2\,dy = 0$。對照 例題 1 ($M=y^3, N=x^3+3xy^2$) 結果 $\tfrac{1}{4}$ — 差的就是非保守部分 $x^3$ 對應到的 Green 積分。

15.4.2 互動 示範 E:邊界線積分 ↔ 區域雙重積分

左右兩個圖同步播放動畫:左邊 marker 沿邊界 $C$ 走,累積 $\oint M\,dx + N\,dy$;右邊用固定中點格點在區域 $R$ 上累積 $\iint(\partial N/\partial x-\partial M/\partial y)\,dA$。動畫點的顯示會降採樣以保持流暢,但右側數值使用完整高解析度格點與 prefix sum 計算,因此 reset 後會得到相同掃描順序與相同終點誤差。進度條只表示動畫時間進度;Green 定理的驗證看 banner 中的左右數值差。

左:邊界線積分 ∮ M dx + N dy
右:區域雙重積分 ∬(N_x − M_y) dA
公式
M(x,y)
N(x,y)x³ + 3xy²
N_x − M_y3x²
左 · 邊界進度0%
0.0000
右 · 區域進度0%
0.0000
目標值:1/4 = 0.250
尚未播放
速度
速度1.0×

15.4.3 線積分求面積

把 Green 定理「反過來用」:選擇 $M, N$ 使 $\partial N/\partial x - \partial M/\partial y = 1$,則 $\oint_C M\,dx + N\,dy = \iint_R dA = $ 區域面積。最常用的選擇是 $M = -y/2,\ N = x/2$。

線積分求面積

若 $R$ 是由分段光滑簡單閉曲線 $C$(逆時針)圍成的區域,則 $$\text{面積}(R) = \dfrac{1}{2}\oint_C (x\,dy - y\,dx).$$

例題 5 · 橢圓面積
用線積分公式求橢圓 $\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1$ 的面積。
套用定理 15.9
步驟 1 · 參數化邊界

$\mathbf{r}(t) = a\cos t\,\mathbf{i} + b\sin t\,\mathbf{j},\ 0\le t\le 2\pi$ — 逆時針一週。
$dx = -a\sin t\,dt$,$dy = b\cos t\,dt$。

步驟 2 · 代入公式

$x\,dy - y\,dx = (a\cos t)(b\cos t\,dt) - (b\sin t)(-a\sin t\,dt) = ab(\cos^2 t + \sin^2 t)\,dt = ab\,dt$。

步驟 3 · 整合

$\text{面積} = \dfrac{1}{2}\int_0^{2\pi} ab\,dt = \dfrac{1}{2}\cdot 2\pi ab = \pi ab$。

橢圓面積為 $\pi a b$(圓 $a=b=r$ 時退化為 $\pi r^2$)。
向量形式 · 預告 Green 定理的兩種向量形式

設 $\mathbf{F}=M\,\mathbf{i}+N\,\mathbf{j}$,把 $\mathbf{F}$ 推廣到 3D($P=0$),則:

旋度形式 — 預告 Stokes
$\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r} = \iint_R (\mathrm{curl}\,\mathbf{F})\cdot\mathbf{k}\,dA$
散度形式 — 預告散度定理
$\displaystyle\oint_C \mathbf{F}\cdot \mathbf{N}\,ds = \iint_R \mathrm{div}\,\mathbf{F}\,dA$

這兩個寫法分別會在 §15.8 Stokes 定理(推到 3D 曲面)與 §15.7 散度定理(推到 3D 區域)變得更一般。

概念測驗 15.4

Q15-4-1 · 適用條件
使用 Green 定理時,下列哪一個條件非必要
Q15-4-2 · 應用 Green
若 $M = 0$、$N = x$,沿任意逆時針簡單閉曲線 $C$,$\oint_C N\,dy = \oint_C x\,dy$ 等於?
速查 · 公式速查表

第 15.1–15.4 節公式速查

把本章前四節要記住的公式、定理、運算子整理成一頁。第一次看可能不熟,多回來查幾次就熟了。

15.1向量場與三個微分算子
梯度 ∇f
$\nabla f = f_x\,\mathbf{i} + f_y\,\mathbf{j} + f_z\,\mathbf{k}$

純量函數 → 向量場。在每點指向 $f$ 上升最快的方向。

旋度 ∇ × F
$\nabla\times\mathbf{F} = \begin{vmatrix}\mathbf{i}&\mathbf{j}&\mathbf{k}\\ \partial_x&\partial_y&\partial_z\\ M & N & P\end{vmatrix}$

向量場 → 向量場。curl F = 0 ⇔ F 保守(在開球上,§15.1 定理 15.2)。

散度 ∇ · F
$\nabla\cdot\mathbf{F} = \dfrac{\partial M}{\partial x} + \dfrac{\partial N}{\partial y} + \dfrac{\partial P}{\partial z}$

向量場 → 純量。div F = 0 ⇔ F 不可壓縮 / 無散度。恆等式:div(curl F) = 0(定理 15.3)。

對象輸入輸出
梯度 ∇f純量場 f向量場
旋度 ∇×F向量場 F向量場
散度 ∇·F向量場 F純量場
15.2線積分計算公式
純量線積分 (定理 15.4) ∫_C f ds
$\displaystyle\int_C f\,ds = \int_a^b f(\mathbf{r}(t))\,\|\mathbf{r}'(t)\|\,dt$

對方向無關。$f\equiv 1$ 時給弧長。$\|\mathbf{r}'\| = \sqrt{x'^2 + y'^2 + z'^2}$。

向量線積分(定義 15.7) ∫_C F·dr
$\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot \mathbf{r}'(t)\,dt = \int_C M\,dx + N\,dy + P\,dz$

方向會影響符號:$\int_{-C} = -\int_C$。物理意義:力 F 沿 C 做的功。

15.3路徑無關三等價
基本定理 (定理 15.5) 線積分基本定理
$\displaystyle\int_C \nabla f\cdot d\mathbf{r} = f(B) - f(A)$

F 保守 ⇒ 線積分只取決於兩端點。

三等價 (定理 15.7) 等價條件
  1. F 保守(即 F = ∇f)
  2. $\int_C \mathbf{F}\cdot d\mathbf{r}$ 路徑無關
  3. 對任何閉曲線 $\oint_C \mathbf{F}\cdot d\mathbf{r} = 0$

前提:F 在開連通區域上具連續一階偏導。

保守判定法 保守場判定
平面 (定理 15.1):$\dfrac{\partial N}{\partial x} = \dfrac{\partial M}{\partial y}$
空間 (定理 15.2):$\mathrm{curl}\,\mathbf{F} = \mathbf{0}$

區域必須開且簡單連通(否則只有「F 保守 ⇒ curl = 0」一方向)。

15.4Green 定理(線 ↔ 面)
Green 定理 (定理 15.8) Green 定理
$\displaystyle\oint_C M\,dx + N\,dy = \iint_R\!\left(\dfrac{\partial N}{\partial x} - \dfrac{\partial M}{\partial y}\right)dA$

前提:R 簡單連通,C 分段光滑、逆時針(R 在左側),M、N 一階偏導連續。

線積分求面積 (定理 15.9) 面積公式
$\displaystyle\text{面積}(R) = \dfrac{1}{2}\oint_C (x\,dy - y\,dx)$

取 M = −y/2、N = x/2,∂N/∂x − ∂M/∂y = 1。橢圓 (a,b):$\pi ab$。

向量形式(預告) 向量形式
旋度形式:$\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r} = \iint_R (\mathrm{curl}\,\mathbf{F})\cdot \mathbf{k}\,dA$
散度形式:$\displaystyle\oint_C \mathbf{F}\cdot \mathbf{N}\,ds = \iint_R \mathrm{div}\,\mathbf{F}\,dA$

旋度形式是 Stokes 定理(§15.8)在平面上的特例;散度形式是散度定理(§15.7)的二維版本。

速查四節觀念地圖
主題關鍵物件核心關係
15.1 向量場F、∇f、curl F、div FF = ∇f ⇔ F 保守
15.2 線積分∫f ds、∫F·dr把曲線參數化轉成 1D 定積分
15.3 路徑無關位能 f(B) − f(A)保守 ⇔ 路徑無關 ⇔ ∮ = 0
15.4 Green邊界 C、區域 R∮_C = ∬_R(N_x − M_y)