多元微积分_保守场内的线积分

保守场数学定义：

如果一个矢量场是某个标量势的梯度，那么便称为保守场。一个矢量场V 称为保守的，即如果存在一个标量场φ，使得V=▽φ。在这里▽φ表示φ的梯度。当以上的等式成立时，φ就称为V的一个标量势。

物理学定义：

在物理系统里，假若一个粒子，从起始点移动到终结点，由于受到作用力，所做的功，不因为路径的不同而改变。则称此力为保守力。假若一个物理系统里，所有的作用力都是保守力，则称此系统为保守系统。
　　保守力的功与物体运动所经过的路径无关，只与运动物体的起点和终点的位置有关，当然也与保守力场的性质有关。

用f表示的平面

两个分量分别是x，y

而df/dt表示t的微小变化引起f的变化

另外有一个向量场f

它的梯度表示为：

那么F代表的是一个梯度场

$\vec{f}$称为保守场

我们说$\vec{f}$是保守的

要求f场内的曲线c的积分，先来参数化曲线表达式

定义曲线c的表达式为：

区间在[a,b]

向量场f是关于F偏导的场

积分等于场f（保守场）与曲线的微小变化dr的点积

求出dr

代入：


这似乎等于F的全导×dt

而$\frac{dF}{dt}$的原函数就是F（t）

以上，

是保守场第一个性质：

a点到b点的积分，就是梯度场F中b点的值减去a点的值，与曲线的路径无关

c1的积分等于c2的积分，

那么c1的积分减去c2的积分等于0

而c2的积分等于c2反向积分的负积分

保守场第二个性质：

保守场中闭合曲线的积分等于0

图中c1到反向c2积分=0

实例：
1.
求向量场内闭合曲线积分

但是dx和dy是什么？

先定义曲线：

再来参数化x，y分量

求dr

（上一节里为了推导没有消掉分母，这里乘以dt消掉了分母）

那么向量场f可以表示为：

这样积分就等于

所以，下次我们见到这样的表达式，我们就自然可以想象这是

向量场f的x分量 * dr的x分量 + 向量场f的y分量 * dr的y分量

学习了保守场，那我想知道这个场f是保守场吗

它是某一个标量场的梯度吗？

对于向量场

$\vec{f}(x,y)=(x^2+y^2)i+(2xy)j$

如果它是标量场梯度的话

则要使$\frac{\partial F}{\partial x}=x^2+y^2$,$\frac{\partial F}{\partial y}=2xy$

而要使$\frac{\partial F}{\partial x}=x^2+y^2$,

$\frac{\partial F}{\partial y}=2xy$

就是求$x^2+y^2$和$2xy$原函数的过程

接下来我们求这两个函数表达式的原函数

对于$x^2+y^2$，x是变量，y是常数，则原函数为$\frac{1}{3}{x}^3+x{y}^2$

对于$2xy$，y是变量，x是常数，它是指数函数的导数，原函数为$x{y}^2$

这个标量函数的表达式就是$F(x,y)=\frac{1}{3}{x}^3+x{y}^2$

以上的推导表明，向量场f是标量场F的梯度场，所以f是保守的，
保守场上的闭环线积分等于0

实例2：

这次我们求非闭合曲线c的积分：

向量场f的表达式则为

dr为：

有上面的例子我们知道向量场f是标量函数的梯度场

求标量场的表达式：

对于保守场，积分与路径无关，代入积分的区间

降值导入表达式：