多變數微積分・線積分

線積分

向量場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)走上半圓,長度2π2\pi的路徑上處處F⋅T=2F\cdot T = 2,因此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上,就會閉合路徑。

相關概念