保守场、势函数与路径无关 | 多变量微积分 I | 自在学

保守场、势函数与路径无关

两条不同路径在同一势函数中连接起点和终点

两条路可以弯得完全不同；如果向量场来自一个势函数，沿路的总累积仍然只看起点和终点。

上一章算向量线积分时，我们老老实实做了四件事：给路径参数化，把向量场代到路径上，求出位移向量，再做一个一元积分。只算一条路时，这套办法没有问题。可要是同一股力把物体从 $A$ 推到 $B$ ，中间有十条、百条可能的路线，难道每条路都要从头参数化一次吗？

一般向量场里，答案确实可能随路线改变；但有一类场会把整条路径上的累计压缩成一个端点差。找到它背后的标量函数以后，再曲折的路线也只需代入两次。这类场就是保守场，背后的标量函数就是势函数。

这章真正要解决的不是记住一个新名词，而是把下面几个问题串起来：

为什么有些线积分必须沿路硬算，有些却只看端点？
怎样从向量场反推出势函数？
为什么 $P_y=Q_x$ 有时足够，有时却会被区域里的一个洞骗过？
平面里的结论到了三维空间要怎样改写？

先感受一次重复计算有多浪费

看这个平面向量场：

\mathbf F(x,y)=\langle 2xy+3,\ x^2+4y\rangle

我们要从 $A=(0,1)$ 走到 $B=(2,3)$ ，计算

\int_C \mathbf F\cdot d\mathbf r

先按上一章的办法，真的选两条路来算。

直线路径

从 $A$ 到 $B$ 的直线可以写成

\mathbf r_1(t)=\langle 2t,1+2t\rangle,qquad 0\le t\le 1

于是

\mathbf r_1'(t)=\langle 2,2\rangle

把 $x=2t$ 、 $y=1+2t$ 代入向量场：

\mathbf F(\mathbf r_1(t)) =\langle 4t+8t^2+3,\ 4t^2+8t+4\rangle

点乘后得到

\mathbf F(\mathbf r_1(t))\cdot \mathbf r_1'(t) =24t^2+24t+14

所以

\int_{C_1}\mathbf F\cdot d\mathbf r =\int_0^1(24t^2+24t+14)\,dt =34

先横着走，再竖着走

现在换一条折线：先从 $(0,1)$ 走到 $(2,1)$ ，再走到 $(2,3)$ 。

第一段上 $y=1$ 、 $dy=0$ ，只有水平方向的分量参与做功：

\int_{C_{2a}}\mathbf F\cdot d\mathbf r =\int_0^2(2x+3)\,dx =10

第二段上 $x=2$ 、 $dx=0$ ，只剩竖直方向的分量：

\int_{C_{2b}}\mathbf F\cdot d\mathbf r =\int_1^3(4+4y)\,dy =24

两段相加仍是

\int_{C_2}\mathbf F\cdot d\mathbf r=10+24=34

两条路算出同一个数，当然可能只是巧合。真正让人警觉的是：这个场背后存在函数

\phi(x,y)=x^2y+3x+2y^2

它的梯度恰好是原向量场：

\nabla\phi =\left\langle \phi_x,\phi_y\right\rangle =\langle 2xy+3,x^2+4y\rangle =\mathbf F

于是前面两段计算都可以缩成

\int_C\mathbf F\cdot d\mathbf r =\phi(2,3)-\phi(0,1) =36-2 =34

这就是势函数真正省下的东西：它不是帮我们把某一条路算快一点，而是一次性消除了对中间路线的依赖。

下面的交互把这种差别放在一起。先看 $\langle 2x,2y\rangle$ ，再切到 $\langle -y,x\rangle$ ，拖动终点或改变弯曲程度，观察两条同端点路径的积分是否还能对上。

从高度图理解势函数

设平面向量场写成

\mathbf F(x,y)=\langle P(x,y),Q(x,y)\rangle

如果在区域 $D$ 上存在可微函数 $\phi$ ，满足

\mathbf F=\nabla\phi

也就是

P=\phi_x,qquad Q=\phi_y

那么 $\mathbf F$ 叫作 $D$ 上的保守场， $\phi$ 叫作它的势函数。

先别把这个定义看成两个偏导公式。把 $\phi(x,y)$ 想成一张起伏的高度图：每个平面位置 $(x,y)$ 上方都有一个高度 $\phi(x,y)$ 。梯度 $\nabla\phi$ 指向最陡上升方向，因此向量场里的每支箭头都在告诉你“势往哪边涨得最快”。

势函数曲面、等势线和梯度方向的关系

势函数给出高度；等势线连接同一高度的点；梯度垂直穿过等势线，指向最陡上升方向。

沿着等势线走时， $\phi$ 没有变化，所以梯度在切向上的分量为 $0$ 。沿着梯度方向走， $\phi$ 增长最快。保守场把“沿路受到多少推动”翻译成了“最终爬高了多少”。只要起点和终点的高度固定，中间是直上、绕行还是先下后上，净高度差都不会变。

数学里常写 $\mathbf F=\nabla\phi$ 。物理里若 $U$ 表示势能，力场通常写成 $\mathbf F=-\nabla U$ 。因此数学势函数可以取 $\phi=-U$ 。符号约定不同，端点差的结构没有变。

势函数也不唯一。若 $\phi$ 是势函数，那么 $\phi+C$ 仍是势函数，因为常数的梯度为零。在连通区域内，任何两个势函数都只会相差一个常数；而端点相减时，这个常数会自动消失。

线积分基本定理为什么成立

设曲线 $C$ 由

\mathbf r(t)=\langle x(t),y(t)\rangle,qquad a\le t\le b

给出，并且整条曲线都留在势函数的定义区域里。若 $\mathbf F=\nabla\phi$ ，那么

\int_C\mathbf F\cdot d\mathbf r =\int_a^b\nabla\phi(\mathbf r(t))\cdot\mathbf r'(t)\,dt

右边的点积看起来像线积分专属的新东西，其实它正是多元链式法则：

\frac{d}{dt}\phi(\mathbf r(t)) =\phi_x\frac{dx}{dt}+\phi_y\frac{dy}{dt} =\nabla\phi(\mathbf r(t))\cdot\mathbf r'(t)

因此整个积分变成

\int_C\mathbf F\cdot d\mathbf r =\int_a^b\frac{d}{dt}\phi(\mathbf r(t))\,dt =\phi(\mathbf r(b))-\phi(\mathbf r(a))

若用 $A$ 、 $B$ 表示起点和终点，就是

\boxed{ \int_C\nabla\phi\cdot d\mathbf r=\phi(B)-\phi(A) }

一元微积分里，导数沿区间积分后只剩原函数的端点差；这里，梯度沿曲线积分后也只剩势函数的端点差。中间所有细小变化会像望远镜求和一样逐段抵消，只留下首尾。

把位移写成 $d\mathbf r=\langle dx,dy\rangle$ ，同一件事还可以写成

\mathbf F\cdot d\mathbf r =P\,dx+Q\,dy =\phi_x\,dx+\phi_y\,dy =d\phi

因此 $P\,dx+Q\,dy$ 若等于某个函数的全微分 $d\phi$ ，就叫恰当微分。说“向量场保守”、说“它是梯度场”、说“微分式恰当”，只是从向量、函数和微分式三个角度描述同一结构。

端点公式只能用于已经确认是梯度场的向量场。看到线积分就直接写成“终点减起点”，相当于在还没找到原函数时先用了微积分基本定理，逻辑上少了最关键的一步。

路径无关、闭路积分与势函数是一回事

在一个开且路径连通的区域 $D$ 中，设向量场连续。下面四种说法彼此等价：

存在势函数 $\phi$ ，使 $\mathbf F=\nabla\phi$ 。
任意两条都位于 $D$ 内、起点和终点相同的分段光滑路径，线积分相等。
对 $D$ 内每一条允许的闭合路径 $C$ ，都有

\oint_C\mathbf F\cdot d\mathbf r=0

固定基准点 $A$ 后，可以用“从 $A$ 走到 $X$ 的线积分”定义一个单值函数

\phi(X)=\int_A^X\mathbf F\cdot d\mathbf r

而且这个函数满足 $\nabla\phi=\mathbf F$ 。

这里的等价关系不需要区域没有洞。只要势函数真的存在，任何形状的区域里都能用端点公式。区域是否有洞，稍后只会影响一种快速判别法能不能反过来使用。

为什么路径无关等价于所有闭路积分为零

设 $C_1$ 、 $C_2$ 都从 $A$ 走到 $B$ 。沿 $C_1$ 去，再沿反向回来，就拼成一条闭合路径：

\oint_C\mathbf F\cdot d\mathbf r =\int_{C_1}\mathbf F\cdot d\mathbf r -\int_{C_2}\mathbf F\cdot d\mathbf r

如果同端点路径的积分总相等，右边自然是 $0$ 。反过来，如果每条闭路积分都是 $0$ ，那么上式就逼着两条同端点路径的积分相等。

闭合路径积分为零和非零的对比

保守场绕一圈回到原位时，正负贡献完全抵消；有净环流的场则会留下非零累计。

为什么路径无关能够造出势函数

固定基准点 $A$ ，把 $\phi(X)$ 定义成从 $A$ 到 $X$ 的功。若积分与路径无关，这个定义就不会因为选路不同而给出两个值。

要看 $\phi_x=P$ ，可以在到达 $X=(x,y)$ 前，把最后一小段安排成水平线。末段上 $dy=0$ ，势的增量就是，所以对的变化率为。同理，把最后一小段安排成竖直线，就得到。于是

\nabla\phi=\langle P,Q\rangle=\mathbf F

这解释了势函数为什么不是凭空猜出的“辅助量”：它本来就可以定义成从一个固定位置走到当前位置时，向量场累计出的总功。

“闭路积分为零”指区域内每一条允许的闭合路径，而不是你随手检查的一两个圆或矩形。某几条闭路恰好为零，只能说明这些路径没有净累计，不能证明整个场保守。

怎样把势函数真正找出来

知道势函数存在以后，常用的构造办法有两种。第一种直接解偏导条件，计算通常最短；第二种沿一条方便的坐标折线积分，更能看出势函数与“从基准点累计的功”之间的关系。

方法一：先积分一个分量，再用另一个分量补齐

对

\mathbf F=\langle P,Q\rangle

我们要同时满足

\phi_x=P,qquad \phi_y=Q

可以按下面的顺序做：

先对 $P$ 关于 $x$ 积分。此时 $y$ 被暂时固定，所以“积分常数”可以随 $y$ 改变，必须写成未知函数 $h(y)$ ：

把开头的场再做一遍。由

\phi_x=2xy+3

先对 $x$ 积分：

\phi=x^2y+3x+h(y)

再求 $y$ 偏导并与第二分量比较：

\phi_y=x^2+h'(y)=x^2+4y

所以

h'(y)=4y,qquad h(y)=2y^2+C

最终得到

\phi(x,y)=x^2y+3x+2y^2+C

下面的构造器把“积分—比较—补项—复核”拆开显示。切换不同向量场时，特别留意 $h(y)$ 为什么不能漏掉。

方法二：从基准点沿坐标折线累计

固定 $A=(x_0,y_0)$ 。若已经知道向量场保守，可以从 $A$ 先水平走到 $(x,y_0)$ ，再竖直走到。于是

\phi(x,y) =\phi(x_0,y_0) +\int_{x_0}^{x}P(s,y_0)\,ds +\int_{y_0}^{y}Q(x,t)\,dt

这条公式看着更长，却有两个好处：每一段上都有一个微分为零，计算很干净；而且它直接保留了“势函数就是从基准点累计的功”这个含义。

仍取 $A=(0,1)$ ，并暂定 $\phi(0,1)=0$ 。对开头的场，先横后竖得到

\phi(x,y) =\int_0^x(2s+3)\,ds +\int_1^y(x^2+4t)\,dt

因此

\phi(x,y)=x^2y+3x+2y^2-2

它和方法一得到的势函数只差常数 $-2$ ，梯度当然完全相同。

坐标折线必须留在向量场的定义区域里。若水平再竖直会穿过被排除的点或跑出区域，就换一条允许的路径；保守性保证任何允许路径都会给出同一个结果。

一次失败的构造比一句“不保守”更有解释力

对旋转场

\mathbf F=\langle -y,x\rangle

假设存在势函数。由 $\phi_x=-y$ 得

\phi=-xy+h(y)

再要求 $\phi_y=x$ ：

-x+h'(y)=x

这会逼出

h'(y)=2x

但 $h$ 只依赖 $y$ ，它的导数不可能突然依赖 $x$ 。矛盾说明势函数不存在。这里不是“少补了一项”，而是两个分量根本不可能来自同一个标量函数。

混合偏导判别：先看局部，再看区域

每次都构造到一半才发现冲突，有点慢。若 $P,Q$ 有连续的一阶偏导，并且

\mathbf F=\nabla\phi

那么

P_y=\phi_{xy},qquad Q_x=\phi_{yx}

连续混合偏导可以交换次序，所以保守场必定满足

\boxed{P_y=Q_x}

因此只要算出 $P_y\ne Q_x$ ，就可以立即判定：这个场不保守，不必再尝试找势函数。

麻烦出在反方向。 $P_y=Q_x$ 只比较了每个点附近的局部变化，它没有自动检查整个区域能否绕着一个洞转圈。要从偏导相等推出保守，需要把区域条件一并写全：

若 $D$ 是开、连通、单连通区域， $P,Q$ 在 $D$ 上有连续的一阶偏导，并且处处满足 $P_y=Q_x$ ，那么在上是保守场。

“单连通”可以先理解成：区域内任意闭合曲线都能一直留在区域里，连续收缩成一个点。圆盘、矩形和整个平面都满足；挖掉中心的圆环不满足。

平面判别条件和区域形状的关系

偏导相等检查局部；单连通条件负责排除闭合路径绕洞积累的全局问题。

区域有洞不等于向量场一定不保守。它只表示“ $P_y=Q_x$ 足以推出保守”这条快捷结论暂时失效。例如 $⟨ x, y ⟩ = \nabla ((x^{2} + y^{2}) / 2)$ 在挖掉原点的平面上仍然保守，因为势函数已经明确存在。

单连通陷阱：每一点都无旋，绕一圈却不为零

考虑去掉原点的平面

D=\mathbb R^2\setminus\{(0,0)\}

以及向量场

\mathbf F(x,y)= \left\langle \frac{-y}{x^2+y^2}, \frac{x}{x^2+y^2} \right\rangle

在 $D$ 上，两个分量的一阶偏导都连续，而且

P_y =\frac{y^2-x^2}{(x^2+y^2)^2}

Q_x =\frac{y^2-x^2}{(x^2+y^2)^2}

局部判别完全通过。可 $D$ 有一个洞，所以现在还不能宣布保守。

去掉原点的平面中绕洞一圈的旋转场反例

原点被排除后，小范围看不到旋转；但绕洞一整圈，方向变化会积累成非零结果。

沿单位圆逆时针走一圈：

\mathbf r(t)=\langle \cos t,\sin t\rangle,qquad 0\le t\le 2\pi

这时

\mathbf F(\mathbf r(t)) =\langle -\sin t,\cos t\rangle

而

\mathbf r'(t) =\langle -\sin t,\cos t\rangle

所以

\oint_C\mathbf F\cdot d\mathbf r =\int_0^{2\pi} (\sin^2t+\cos^2t)\,dt =2\pi

闭路积分不为零，说明这个场在整个 $D$ 上没有单值势函数。

它的微妙之处在于：如果只看一小块不绕原点的区域，可以把极角 $\theta$ 当作局部势函数；但绕原点一圈后，极角会增加 $2\pi$ 。同一个点不能同时拿到两个势值，因此局部势函数无法拼成整个穿孔平面上的单值函数。

以后看到分母里有 $x^2+y^2$ ，先标出原点是否被排除；看到对数、反正切或极角，也要检查势函数能否在整个区域内保持单值。公式本身算对了，区域没看清，结论仍可能错。

非保守场怎样暴露路径依赖

再看更简单的旋转场

\mathbf F(x,y)=\langle -y,x\rangle

从 $A=(0,0)$ 到 $B=(1,1)$ ，沿直线

\mathbf r_1(t)=\langle t,t\rangle,qquad 0\le t\le 1

有

\mathbf F(\mathbf r_1(t))\cdot\mathbf r_1'(t) =\langle -t,t\rangle\cdot\langle 1,1\rangle =0

所以直线上的积分为 $0$ 。

若改成先沿 $x$ 轴走到 $(1,0)$ ，再竖直走到 $(1,1)$ ，第一段因为 $y=0$ 而贡献 $0$ ；第二段上 $x=1$ 、，于是

\int_0^1 x\,dy=\int_0^1 1\,dy=1

同样的端点，答案分别是 $0$ 和 $1$ 。这时路径不是计算过程里的临时选择，而是题目数据的一部分；不把路径说清楚，线积分就没有唯一答案。

保守场和非保守场中路径是否影响积分的对比

保守场把路径差异全部消掉；非保守场里，绕行方式可能直接改变积分。

反过来还要小心：两条路径碰巧算出相同结果，并不能证明路径无关。证明保守需要势函数、全部闭路积分为零，或在满足区域条件时使用混合偏导判别；只比较两条路，最多能在结果不同时否定保守。

空间里的保守场

三维空间中，向量场写成

\mathbf F(x,y,z)=\langle P(x,y,z),Q(x,y,z),R(x,y,z)\rangle

若存在势函数 $\phi(x,y,z)$ ，就要同时满足

\phi_x=P,qquad \phi_y=Q,qquad \phi_z=R

线积分基本定理完全不变。对任何从 $A$ 到 $B$ 的空间曲线，

\int_C\mathbf F\cdot d\mathbf r =\phi(B)-\phi(A)

只是快速判别从一组交叉偏导变成了三组：

P_y=Q_x,qquad P_z=R_x,qquad Q_z=R_y

它们合在一起就是

\nabla\times\mathbf F=\mathbf 0

若向量场的一阶偏导连续，保守必然推出这三组等式。反过来，要由零旋度推出保守，同样需要合适的定义区域；在整个空间或开、连通、单连通的空间区域里可以使用，遇到被挖掉的轴、曲线或孔洞时则要重新检查全局结构。

例题：在三维中逐层补齐势函数

判断

\mathbf F =\langle y,\ x+2yz,\ y^2+z^2\rangle

是否保守，并求一个势函数。

先检查三组交叉偏导：

P_y=1=Q_x

P_z=0=R_x

Q_z=2y=R_y

向量场在整个空间中光滑，所以它是保守场。接着构造势函数。

由 $\phi_x=y$ ，先对 $x$ 积分：

\phi=xy+g(y,z)

例如从 $(0,0,0)$ 到 $(1,2,3)$ 的任意空间路径上，线积分都是

\phi(1,2,3)-\phi(0,0,0) =2+12+9 =23

不管路径是直线、螺旋线还是分段折线，只要始终留在定义区域里，答案都不会改变。

一套不会漏条件的判断顺序

遇到

\int_C P\,dx+Q\,dy

时，可以按下面的顺序想，而不是一上来就参数化：

先看势函数是否已经给出，或向量场是否明显是某个熟悉函数的梯度。若是，直接使用端点差。

若势函数不明显，先标出向量场的定义区域。分母为零的点、对数的取值范围、根号与反三角函数的分支都可能改变区域。

在偏导连续的前提下计算 $P_y$ 与。若不相等，立即判定不保守；此时若题目给定路径，就沿该路径直接积分。

容易出现的误区

把“有洞”直接翻译成“不保守”。 有洞只会让零旋度判别失去充分性；显式势函数仍然可以证明保守。
偏积分后只加常数 $C$ 。 对 $x$ 积分时应加 $h(y)$ ；三维中还可能要加 $g(y,z)$ 。
找出一个候选势函数却不复核。 每个分量都要重新求偏导检查，尤其是三维题。
把数学势函数和物理势能混成同一个符号。 力场常等于势能的负梯度，先看题目采用哪种约定。
忽略路径方向。 从 $A$ 到 $B$ 的积分是；从回到就是它的相反数。

练习

练习 1：构造二维势函数

判断

\mathbf F(x,y)=\langle 3x^2y,\ x^3+2y\rangle

在 $\mathbb R^2$ 上是否保守。若保守，求一个势函数。

练习 2：端点公式

计算保守场

\mathbf F(x,y)=\langle e^x\cos y,\ -e^x\sin y\rangle

从 $(0,0)$ 到 $(\ln 2,\pi/3)$ 的线积分。

练习 3：先确认保守再求功

设

\mathbf F(x,y)=\langle y^2,\ 2xy+1\rangle

求从 $(1,0)$ 到 $(2,3)$ 的线积分。

练习 4：同一个公式，换区域后会怎样

在右半平面

D=\{(x,y):x>0\}

上考虑

\mathbf F(x,y)= \left\langle \frac{-y}{x^2+y^2}, \frac{x}{x^2+y^2} \right\rangle

它在 $D$ 上是否保守？求从 $(1,0)$ 到 $(1,1)$ 的线积分。

练习 5：三维势函数与空间线积分

设

\mathbf F(x,y,z)=\langle y,\ x+2yz,\ y^2+z^2\rangle

求从 $(0,0,0)$ 到 $(1,2,3)$ 的线积分。

练习 6：有洞时零旋度能说明多少

在圆环区域

D=\{(x,y):1<x^2+y^2<4\}

上，已知一个光滑向量场满足 $P_y=Q_x$ 。能否只凭这些信息断定它保守？

从闭路积分走向 Green 定理

这一章留下了一个很自然的问题。平面判别里出现的是

Q_x-P_y

闭路判别里出现的是

\oint_C P\,dx+Q\,dy

一个是区域内部每一点的局部旋转量，一个是沿边界走一圈的总环流。它们为什么会互相控制？

下一章会证明，在边界和向量场足够光滑、整个内部区域都可用时，边界环流正好等于内部局部旋转的二重积分：

\oint_C P\,dx+Q\,dy =\iint_D(Q_x-P_y)\,dA

现在单连通条件的作用也开始显形了：若 $Q_x-P_y=0$ ，并且闭合曲线围住的内部都属于向量场的定义区域，右边就是 $0$ ，于是闭路积分为零；若曲线围住了一个被挖掉的奇点，整个内部并不在定义区域里，这个推理链条就会断掉。

所以，保守场不是几条孤立公式的集合。它把梯度、端点差、路径无关、闭路积分和区域拓扑连成了一条线；下一章则会把这条线扩展成“边界怎样记录内部旋转”的完整关系。

P\,dx

\langle x,y\rangle=\nabla\bigl((x^2+y^2)/2\bigr)

2

\phi_x=y^2

\phi(x,y)=\arctan\frac{y}{x}