在數學中,線積分(英語:Line integral)[註 1]是積分的一種。積分函數的取值沿的不是區間,而是被稱為積分路徑的特定曲線。[註 2]
在曲線積分中,被積的函數可以是純量函數或向量函數。當被積函數是純量函數時,積分的值是積分路徑各點上的函數值乘上該點切向量的長度,在被積分函數是向量函數時,積分值是積分向量函數與曲線切向量的內積。在函數是純量函數的情形下,可以把切向量的絕對值(長度)看成此曲線把該點附近定義域的極小區間,在對應域內拉長了切向量絕對值的長度,這也是曲線積分與一般區間上的積分的主要不同點。物理學中的許多簡潔公式(例如W=F·s)在推廣之後都是以曲線積分的形式出現
。
曲線積分在物理學中是很重要的工具,例如計算電場或重力場中的做功。
大致來說,向量分析中的曲線積分可以看成在某一場中沿特定路徑的累積效果。更具體地說,如果曲線
,純量場的曲線積分可以想成某個曲線(不是
)向下切割出的面積,這可以通過建立函數z = f(x,y)和x-y平面內的曲線C來想像這個曲面,可以把
平面上的曲線
想成屏風的底座,
代表在該點屏風的高度(這裡假設
),則
的曲線積分就是該「屏風」的面積,也就是前面所說曲線
向下切割的面積,其中
是曲線
的參數化。
梯度場中的曲線積分
設有純量場:F : U ⊆ Rn
R,則對於路徑C ⊂ U,F的曲線積分是:
![{\displaystyle \int _{C}f\,\mathrm {d} s=\int _{a}^{b}f(\mathbf {r} (t))|\mathbf {r} '(t)|\,\mathrm {d} t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6116e40164c9ab39942b515bb9d1beae0569cd1)
其中,r: [a, b]
C 是一個一一對應的參數方程式,並且r(a)和r(b)分別是路徑曲線C的兩個端點。
f稱為積分函數,C是積分路徑。不嚴格地說,ds可以被看作積分路徑上的一段很小的「弧長」。曲線積分的結果不依賴於參量化函數r。
幾何上,當純量場f定義在一個平面(n=2)上時,它的圖像是空間中一個曲面z=f(x,y),曲線積分就是以曲線C為界的有符號的截面面積。參見動畫演示。
向量場的曲線積分
設有向量場:F : U ⊆ Rn
Rn,則其在路徑C ⊂ U上關於方向r的曲線積分是:
![{\displaystyle \int _{C}\mathbf {F} (\mathbf {r} )\cdot \,\mathrm {d} \mathbf {r} =\int _{a}^{b}\mathbf {F} (\mathbf {r} (t))\cdot \mathbf {r} '(t)\,\mathrm {d} t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7b58be6a4469e3a50ad263a23bdee41f34ef152)
其中,r: [a, b]
C 是一個一一的參量化函數,並且r(a)和r(b)分別是路徑曲線C的兩個端點。這時曲線積分值的絕對值與參量化函數r無關,但其方向與參量化函數r的選擇有關。特別地,當方向相反時,積分值也相反。
如果向量場F是一個純量場G的梯度,即:
![{\displaystyle \nabla G=\mathbf {F} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8cc95b357d90e0eb14bb6ac8f02e8d8e88ec83b)
那麼,由G和r組成的複合函數的導數是:
![{\displaystyle {\operatorname {d} \over \operatorname {d} \!t}G{\bigl (}\mathbf {r} (t){\bigr )}=\nabla G{\bigl (}\mathbf {r} (t){\bigr )}\cdot \mathbf {r} '(t)=\mathbf {F} {\bigl (}\mathbf {r} (t){\bigr )}\cdot \mathbf {r} '(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32e6986b212ccd378d21f463be5c313a8b2d0504)
於是對路徑C就有:
。
用文字表示,就是說若F是一個梯度場,那麼F的曲線積分與所取的路徑無關,而只與路徑的起點和終點的選取有關。
在各種保守力的場都是路徑無關的,一個常見的例子就是重力場或電場。在計算這種場的做功時,可以選擇適當的路徑進行積分,使得計算變得簡單。
如果將複數看作二維的向量,那麼二維向量場的曲線積分就是相應複函數的共軛函數在同樣路徑上的積分值的實部。
根據柯西-黎曼方程式,一個全純函數的共軛函數所對應的向量場的旋度是0。
在複分析中,曲線積分是通過複數的加法和乘法定義的。令
為複數集
的一個開子集,
是一個函數,
是一個參數為
的可求長曲線,其中
。則曲線積分:
![{\displaystyle \int _{L}f(z)\,\mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f35be1535f58dc0488582eb8f67d913bba75b36)
可以通過將區間
分劃為
來定義。考慮下式:
![{\displaystyle \sum _{k=1}^{n}f(\gamma (t_{k}))[\gamma (t_{k})-\gamma (t_{k-1})]=\sum _{k=1}^{n}f(\gamma _{k})\Delta \gamma _{k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f0b31adece290a85580a3b70a88f05091d20aee)
曲線積分是區間分劃的長度趨於零時這個黎曼和的極限。
當
連續可微時,曲線積分可以用一個實變函數的積分表示:
![{\displaystyle \int _{L}f(z)\,\mathrm {d} z=\int _{a}^{b}f{\bigl (}\gamma (t){\bigr )}\,\gamma \,'(t)\,\mathrm {d} t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5d98b1f6d7e954fadcd929736ed7eb652915647)
當
為閉合曲線時,積分的起點和終點重合,這時
沿
的曲線積分通常記作
![{\displaystyle \oint _{L}f(z)\,dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ea05379e49dc7131f57831b6981076ed1f10179)
對於共軛微分算子
的曲線積分定義為[1]
![{\displaystyle \int _{L}f{\overline {\mathrm {d} z}}={\overline {\int _{L}{\overline {f}}\mathrm {d} z}}=\int _{a}^{b}f{\bigl (}\gamma (t){\bigr )}\,{\overline {\gamma '(t)}}\,\mathrm {d} t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fc915df756740f14a4879cadb6e2fe2c1eee125)
複函數的曲線積分有很多技巧。將複函數分作實部和虛部,可以將問題簡化為兩個實值函數的曲線積分。其它情況下可以用柯西積分公式。如果積分路徑是閉合的,並且積分函數在區域中是解析的且沒有奇異點,那麼它的曲線積分是零,這是柯西積分定理的推論。根據留數定理,可以用複數平面上的圍道積分計算實值函數在實區間上的積分。
考慮複函數
,設積分路徑
為單位圓(模長為1的複數的集合)。我們使用
來將路徑參數化,其中
在
內。代入積分式就得到:
用柯西積分定理也可以得到結果。
量子力學中的「曲線積分形式」和曲線積分並不相同,因為曲線積分形式中所用的積分是函數空間上的泛函積分,即關於空間中每個路徑的機率函數進行積分。然而,曲線積分在量子力學中仍有重要作用,比如說復圍道積分常常用來計算量子散射理論中的機率振幅。
- ^ Ahlfors, Lars. Complex Analysis 2nd edition. : 103.