多元微积分 · 曲线积分

曲线积分

向量场F沿曲线C的曲线积分∫F·dr,是沿路把力在前进方向上的分量F·T一小段一小段加起来,也就是F沿C做的功。把F·T对路程s画出来,它下面的面积就是功;在梯度场F = ∇φ里,功只取决于起点和终点:W = φ(B) − φ(A)。

曲线积分与本页画面

一个物体沿路CC从A走到B,力场FF一路推着它。在每一小步dsds上,只有力沿前进方向的分量做功,这一步的功是F⋅T dsF\cdot T\,ds,其中TT是单位切向量。把这些小段加起来,就是FF沿CC的曲线积分,也就是功WW。

同一个功的三种写法
W=∫CF⋅dr=∫0LF⋅T ds=∫abF(r(t))⋅r′(t) dtW = \int_C F\cdot dr = \int_0^L F\cdot T\,ds = \int_a^b F(r(t))\cdot r'(t)\,dt

沿路的黄色小箭头表示F⋅TF\cdot T:力帮着走的地方,箭头朝前、实心;力拖后腿的地方,箭头朝后、空心。视图下方的图把F⋅TF\cdot T对从A起走过的路程ss画出来。横轴下方画斜线的面积算作负的,这样,曲线下到红色S为止的面积就是已经做的功,全部面积就是WW。曲线积分就这样变成了关于ss的普通积分。

S处的力分成两部分:沿路的部分画成黄色,横过路的部分画得很淡,它不做功。在径向场F=(x,y)F = (x, y)里沿以原点为圆心、半径为2的圆走一圈,力的大小一直是2,却始终朝外、横在路上,所以F⋅T=0F\cdot T = 0,W=0W = 0。功不是力的大小乘路的长度。“反向”沿同一条路倒着走,TT变成−T-T,WW变成−W-W。

在梯度场F=∇φF = \nabla\varphi里,由链式法则,F⋅T dsF\cdot T\,ds就是这一小步上φ\varphi的变化。走到S为止的功是φ(S)−φ(A)\varphi(S) - \varphi(A);∇φ\nabla\varphi连续时,沿任何一条分段光滑的路,功都只取决于两端:

曲线积分基本定理
∫C∇φ⋅dr=φ(B)−φ(A)\int_C \nabla\varphi\cdot dr = \varphi(B) - \varphi(A)

“等高线”不用公式就能说明为什么。它画出φ\varphi取整数的那些线。从一条线往上到下一条线,φ\varphi增加1,所以路在这两条线之间往上走一段,就做一个单位的功,这个功是一路连续攒起来的。路不管怎么绕,多出来的穿越总是一上一下成对出现,互相抵消。所以从A到B的每一条路,净穿过的条数都一样;这个条数再加上两端不足一个单位的部分,就是φ(B)−φ(A)\varphi(B) - \varphi(A)。

功只取决于起点和终点的场,叫保守场。在保守场里,每一条闭合路的功都是0,因为它的终点就是起点。

旋转场F=(−y,x)F = (-y, x)没有势。从(2,0)(2, 0)到(−2,0)(-2, 0),走上半圆时一路F⋅T=2F\cdot T = 2,路长2π2\pi,所以W=4π≈12.57W = 4\pi \approx 12.57。沿x轴走,力横在路上,W=0W = 0。从上半圆过去、再沿x轴回来,是一条功为4π4\pi的闭合路。

螺旋楼梯F=(−y,x)/(x2+y2)F = (-y, x)/(x^2 + y^2)介于两者之间。它在有定义的地方旋度都是0;在原点以外任何一点附近,它都是极角θ\theta的梯度。可是找不到一个绕原点一整圈都适用的角度函数,因为逆时针绕原点转一圈,角度就多出2π2\pi。它的等高线是一条条射线,功就是沿路连续记下的θ\theta的变化:逆时针绕原点一圈,功是2π≈6.282\pi \approx 6.28;不包围原点的圆,功是0。

值得注意

  • 函数对弧长的曲线积分∫Cf ds\int_C f\,ds是另一种积分。它把ff乘每一小段的长度加起来,比如算一根金属丝的质量;反过来走,值不变。

操作

  • 换场时路和S都保留,可以拿同一条路在几种场里比较。把贝塞尔曲线的B拖到A上,路就闭合了。

相关概念