路径无关、全微分与有洞区域

它解决什么问题

二型曲线积分里有一类题会问：是否与路径无关，或者是否存在势函数。

最容易错的地方是：旋度为零或偏导相等，只是局部条件；区域有洞时，局部无旋不一定推出全局路径无关。

设向量场为，如果存在势函数使得，也就是，那么，因此

所以积分与路径无关。

核心逻辑是：

存 在 全 局 势 函 数 路 径 无 关 任 意 闭 路 积 分 为

如果区域单连通，也就是没有洞，且，则可以推出存在势函数，进而路径无关。

二维中，若微分形式为，无洞区域上有时，可以判断它是全微分。

所以在无洞区域里可以记：

存 在 势 函 数 路 径 无 关

有洞时，只说明局部无旋，不一定说明全局有势函数。

经典反例是穿孔平面上的场：

在原点以外，它局部满足，但沿单位圆有，所以，这说明它没有全局单值势函数，也不是路径无关。

本质上，这个场局部像，但角度绕原点一圈会增加，无法在穿孔平面上定义成全局单值函数。

判断路径无关时按这个流程：

洞的作用可以用 Green 公式理解。

如果闭曲线围成的整个内部都在定义域内，且，则

但如果围住一个洞，洞里有奇点，Green 公式不能跨过这个洞直接用在整个内部区域上。

这时绕大圈的积分可能等于绕洞小圈的积分，局部无旋仍然会留下全局环量。

Green 公式解释了为什么“无洞”重要；第 17 章的旋度解释了为什么“局部无旋”只是局部信息。

路径无关真正管的是全局：任意两条路径的积分都一样，等价于任意闭路积分都为。

暂无。