知识点

对弧长的曲线积分

对弧长的曲线积分把被积函数沿一条曲线累加,累加的依据是弧长。本页讨论平面曲线 LL 与空间曲线 Γ\Gamma 上的第一类曲线积分,记弧长元素为 ds\mathrm{d}s。这里的曲线都指光滑曲线:存在参数方程,各分量有一阶连续导数,且导函数不同时为零。

定义

设 LL 为 xOyxOy 平面内的一条光滑曲线弧,函数 f(x,y)f(x,y) 在 LL 上有界。将 LL 任意分成 nn 个小弧段

Δs1,Δs2,…,Δsn,\Delta s_1,\Delta s_2,\dots,\Delta s_n,

其中 Δsi\Delta s_i 也表示第 ii 个小弧段的长度。在每个小弧段上任取一点 (ξi,ηi)(\xi_i,\eta_i),作和式

∑i=1nf(ξi,ηi) Δsi.\sum_{i=1}^{n}f(\xi_i,\eta_i)\,\Delta s_i.

记 λ\lambda 为各小弧段长度的最大值。若极限

lim⁡λ→0∑i=1nf(ξi,ηi) Δsi\lim_{\lambda\to 0}\sum_{i=1}^{n}f(\xi_i,\eta_i)\,\Delta s_i

存在,且与 LL 的分法及点 (ξi,ηi)(\xi_i,\eta_i) 的取法无关,则称此极限为函数 f(x,y)f(x,y) 在曲线弧 LL 上对弧长的曲线积分,也称第一类曲线积分,记作

∫Lf(x,y) ds.\int_L f(x,y)\,\mathrm{d}s.

其中 LL 称为积分弧段,f(x,y)f(x,y) 称为被积函数,ds\mathrm{d}s 称为弧长元素。若 ff 在 LL 上连续,则上述积分存在。

对空间曲线 Γ\Gamma 上的第一类曲线积分,定义完全类似,记作

∫Γf(x,y,z) ds.\int_\Gamma f(x,y,z)\,\mathrm{d}s.

物理意义:若曲线形构件占据位置 LL,线密度为 ρ(x,y)\rho(x,y),则构件的质量为

M=∫Lρ(x,y) ds.M=\int_L \rho(x,y)\,\mathrm{d}s.

因为 ρ(x,y) ds\rho(x,y)\,\mathrm{d}s 是一小段弧的质量微元,沿曲线累加就得到总质量。

性质

线性:设 α,β\alpha,\beta 为常数,则

∫L[αf(x,y)+βg(x,y)] ds=α∫Lf(x,y) ds+β∫Lg(x,y) ds.\int_L \bigl[\alpha f(x,y)+\beta g(x,y)\bigr]\,\mathrm{d}s =\alpha\int_L f(x,y)\,\mathrm{d}s+\beta\int_L g(x,y)\,\mathrm{d}s.

对弧段可加:若 L=L1+L2L=L_1+L_2,其中 L1L_1 与 L2L_2 首尾相接且只在端点相交,则

∫Lf(x,y) ds=∫L1f(x,y) ds+∫L2f(x,y) ds.\int_L f(x,y)\,\mathrm{d}s =\int_{L_1} f(x,y)\,\mathrm{d}s+\int_{L_2} f(x,y)\,\mathrm{d}s.

与方向无关:设 L−L^- 表示与 LL 方向相反的弧,则

∫L−f(x,y) ds=∫Lf(x,y) ds.\int_{L^-}f(x,y)\,\mathrm{d}s=\int_L f(x,y)\,\mathrm{d}s.

原因是弧长元素 ds>0\mathrm{d}s>0,只记录小弧段的长度,不记录沿哪个方向走过。这一点与对坐标的曲线积分不同,后者反向时积分变号。

把对弧长的曲线积分化成定积分时,积分下限必须小于上限。ds\mathrm{d}s 恒为正,参数区间反向时应先把参数范围改写成从小到大的形式,不能靠交换上下限制造符号。

计算方法

把曲线参数化后,ds\mathrm{d}s 就是参数增量的长度倍数,曲线积分随即化为普通定积分。计算时按下面的顺序进行。

  1. 写出参数方程并确定参数范围

    选取使曲线只被经过一次的参数区间,并保证区间下限小于上限。空间曲线还要写出 zz 的参数表达式。

  2. 计算弧长元素

    由 ds=(dx)2+(dy)2\mathrm{d}s=\sqrt{(\mathrm{d}x)^2+(\mathrm{d}y)^2} 写出 ds\mathrm{d}s 关于参数增量的表达式,例如参数为 tt 时

    ds=[φ′(t)]2+[ψ′(t)]2 dt.\mathrm{d}s=\sqrt{[\varphi'(t)]^2+[\psi'(t)]^2}\,\mathrm{d}t.
  3. 把被积函数用参数表示

    将 x=φ(t)x=\varphi(t)、y=ψ(t)y=\psi(t) 代入 f(x,y)f(x,y),被积函数变成只含 tt 的函数。

  4. 计算定积分

    用所得的定积分公式计算。结果是一个数,与曲线的参数化方式无关。

参数方程

设 f(x,y)f(x,y) 在曲线弧 LL 上连续,LL 的参数方程为

{x=φ(t),y=ψ(t),α≤t≤β,\begin{cases} x=\varphi(t),\\ y=\psi(t), \end{cases} \qquad \alpha\le t\le \beta,

其中 φ(t)\varphi(t)、ψ(t)\psi(t) 在 [α,β][\alpha,\beta] 上具有一阶连续导数,且

[φ′(t)]2+[ψ′(t)]2≠0.[\varphi'(t)]^2+[\psi'(t)]^2\ne 0.

则曲线积分存在,且

∫Lf(x,y) ds=∫αβf[φ(t),ψ(t)][φ′(t)]2+[ψ′(t)]2 dt.\int_L f(x,y)\,\mathrm{d}s =\int_\alpha^\beta f\bigl[\varphi(t),\psi(t)\bigr] \sqrt{[\varphi'(t)]^2+[\psi'(t)]^2}\,\mathrm{d}t.

右端是普通定积分,下限 α\alpha 小于上限 β\beta。

直角坐标

若曲线 LL 由 y=y(x)y=y(x)(a≤x≤ba\le x\le b)给出,把 xx 看作参数,则 ds=1+[y′(x)]2 dx\mathrm{d}s=\sqrt{1+[y'(x)]^2}\,\mathrm{d}x,于是

∫Lf(x,y) ds=∫abf[x,y(x)]1+[y′(x)]2 dx.\int_L f(x,y)\,\mathrm{d}s =\int_a^b f\bigl[x,y(x)\bigr]\sqrt{1+[y'(x)]^2}\,\mathrm{d}x.

极坐标

若曲线 LL 由极坐标 r=r(θ)r=r(\theta)(α≤θ≤β\alpha\le\theta\le\beta)给出,则

x=rcos⁡θ,y=rsin⁡θ,x=r\cos\theta,\qquad y=r\sin\theta,

并且

ds=r2+[r′(θ)]2 dθ.\mathrm{d}s=\sqrt{r^2+[r'(\theta)]^2}\,\mathrm{d}\theta.

因此

∫Lf(x,y) ds=∫αβf(rcos⁡θ,rsin⁡θ)r2+[r′(θ)]2 dθ.\int_L f(x,y)\,\mathrm{d}s =\int_\alpha^\beta f(r\cos\theta,r\sin\theta) \sqrt{r^2+[r'(\theta)]^2}\,\mathrm{d}\theta.

空间曲线

若空间曲线 Γ\Gamma 的参数方程为

x=φ(t),y=ψ(t),z=ω(t),α≤t≤β,x=\varphi(t),\qquad y=\psi(t),\qquad z=\omega(t), \qquad \alpha\le t\le \beta,

则

∫Γf(x,y,z) ds=∫αβf[φ(t),ψ(t),ω(t)][φ′(t)]2+[ψ′(t)]2+[ω′(t)]2 dt.\int_\Gamma f(x,y,z)\,\mathrm{d}s =\int_\alpha^\beta f\bigl[\varphi(t),\psi(t),\omega(t)\bigr] \sqrt{[\varphi'(t)]^2+[\psi'(t)]^2+[\omega'(t)]^2}\,\mathrm{d}t.

例子

直线段上的积分:LL 为 y=xy=x,0≤x≤10\le x\le 1

取 xx 为参数,y=xy=x,y′=1y'=1,所以

ds=1+1 dx=2 dx.\mathrm{d}s=\sqrt{1+1}\,\mathrm{d}x=\sqrt{2}\,\mathrm{d}x.

被积函数 x+y=2xx+y=2x,于是

∫L(x+y) ds=∫012x⋅2 dx=2.\int_L (x+y)\,\mathrm{d}s =\int_0^1 2x\cdot\sqrt{2}\,\mathrm{d}x =\sqrt{2}.

上半圆周:LL 为 x2+y2=1x^2+y^2=1,y≥0y\ge 0

用极坐标,r=1r=1,0≤θ≤π0\le\theta\le\pi,则 r′=0r'=0,

ds=12+02 dθ=dθ.\mathrm{d}s=\sqrt{1^2+0^2}\,\mathrm{d}\theta=\mathrm{d}\theta.

被积函数 y=sin⁡θy=\sin\theta,所以

∫Ly ds=∫0πsin⁡θ dθ=2.\int_L y\,\mathrm{d}s=\int_0^\pi \sin\theta\,\mathrm{d}\theta=2.

这里参数区间从 00 到 π\pi,下限小于上限;曲线从 (1,0)(1,0) 沿上半圆走到 (−1,0)(-1,0),第一类积分不关心这个走向。

空间曲线:Γ\Gamma 为 x=y=z=tx=y=z=t,0≤t≤10\le t\le 1

此时

ds=12+12+12 dt=3 dt,\mathrm{d}s=\sqrt{1^2+1^2+1^2}\,\mathrm{d}t=\sqrt{3}\,\mathrm{d}t,

被积函数 x+y+z=3tx+y+z=3t,于是

∫Γ(x+y+z) ds=∫013t⋅3 dt=332.\int_\Gamma (x+y+z)\,\mathrm{d}s =\int_0^1 3t\cdot\sqrt{3}\,\mathrm{d}t =\frac{3\sqrt{3}}{2}.

探索

改变行进方向会改变弧长积分吗?

比较线段上同一标量函数的两种方向。

正在准备演示…

题集

练习

  1. 关于对弧长的曲线积分,下列哪条叙述正确?

    选择答案
    参考解答

    ds>0\mathrm{d}s>0 只记录长度,不记录方向;化成定积分时必须让下限小于上限。

  2. LL 为从 (0,0)(0,0) 到 (3,0)(3,0) 的直线段,则 ∫L(x+y) ds=\displaystyle\int_L (x+y)\,\mathrm{d}s= 。

    参考解答

    在 LL 上 y=0y=0,ds=dx\mathrm{d}s=\mathrm{d}x,所以

    ∫03x dx=92.\int_0^3 x\,\mathrm{d}x=\frac{9}{2}.
  3. LL 为单位圆的上半圆周,则 ∫Ly ds=\displaystyle\int_L y\,\mathrm{d}s= 。

    参考解答

    令 x=cos⁡θx=\cos\theta,y=sin⁡θy=\sin\theta,0≤θ≤π0\le\theta\le\pi,则 ds=dθ\mathrm{d}s=\mathrm{d}\theta,

    ∫0πsin⁡θ dθ=2.\int_0^\pi \sin\theta\,\mathrm{d}\theta=2.
  4. LL 为圆周 x2+y2=4x^2+y^2=4,则 ∫L(x2+y2) ds=\displaystyle\int_L (x^2+y^2)\,\mathrm{d}s=

    选择答案
    参考解答

    在 LL 上 x2+y2=4x^2+y^2=4,而圆的周长为 2π⋅2=4π2\pi\cdot 2=4\pi,所以积分为 4⋅4π=16π4\cdot 4\pi=16\pi。

使用要点