第一类曲线积分(对弧长的积分)

从定积分到曲线积分

定积分 abf(x)dx\int_a^b f(x) dx 是在直线段(区间)上的积分。如果把积分路径从直线段推广到平面或空间中的一条曲线,就得到了曲线积分。第一类曲线积分,又称对弧长的曲线积分,可以理解为”曲线形物体的质量”——当被积函数表示线密度时,积分结果就是曲线的质量。

第一类曲线积分的定义

第一类曲线积分

LL 为平面或空间中的一条光滑或分段光滑曲线,函数 f(x,y)f(x,y)(或 f(x,y,z)f(x,y,z))在 LL 上有界。将 LL 任意分成 nn 个小弧段 Δs1,Δs2,,Δsn\Delta s_1, \Delta s_2, \ldots, \Delta s_n,其中 Δsi\Delta s_i 表示第 ii 个小弧段及其弧长。在每个小弧段上任取一点 (ξi,ηi)(\xi_i, \eta_i)(或 (ξi,ηi,ζi)(\xi_i, \eta_i, \zeta_i)),作和:

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

如果当各小弧段长度的最大值 λ0\lambda \to 0 时,这个和的极限存在,且与曲线的分法及点的取法无关,则称此极限为函数 ff 沿曲线 LL第一类曲线积分(对弧长的曲线积分),记作:

Lf(x,y)dsLf(x,y,z)ds\int_L f(x,y) \, ds \quad \text{或} \quad \int_L f(x,y,z) \, ds

其中 ff 称为被积函数LL 称为积分弧段dsds 称为弧长元素

物理意义

f(x,y,z)0f(x,y,z) \geq 0 时,Lf(x,y,z)ds\int_L f(x,y,z) \, ds 表示以 f(x,y,z)f(x,y,z)线密度的曲线形物体的质量。

特别地,当 f(x,y,z)=1f(x,y,z) = 1 时:

L1ds=曲线 L 的弧长\int_L 1 \, ds = \text{曲线 } L \text{ 的弧长}

第一类曲线积分的性质

定理1
  1. 线性性质L[af+bg]ds=aLfds+bLgds\int_L [af + bg] \, ds = a\int_L f \, ds + b\int_L g \, ds

  2. 弧段可加性:若 L=L1+L2L = L_1 + L_2L1L_1L2L_2 首尾相接),则 Lfds=L1fds+L2fds\int_L f \, ds = \int_{L_1} f \, ds + \int_{L_2} f \, ds

  3. 比较性质:若在 LLfgf \leq g,则 LfdsLgds\int_L f \, ds \leq \int_L g \, ds

  4. 与方向无关:第一类曲线积分与曲线的方向无关,即 Lfds=Lfds\int_L f \, ds = \int_{L^-} f \, ds 其中 LL^- 表示与 LL 方向相反的同一条曲线。

几何解释
推论
证明
符号说明

第一类曲线积分的计算

平面曲线(参数方程)

参数方程计算

设平面曲线 LL 由参数方程给出: {x=x(t)y=y(t),αtβ\begin{cases} x = x(t) \\ y = y(t) \end{cases}, \quad \alpha \leq t \leq \beta 其中 x(t),y(t)x(t), y(t)[α,β][\alpha, \beta] 上具有一阶连续导数,且 x2(t)+y2(t)0x'^2(t) + y'^2(t) \neq 0,则

Lf(x,y)ds=αβf(x(t),y(t))x2(t)+y2(t)dt\int_L f(x,y) \, ds = \int_\alpha^\beta f(x(t), y(t)) \sqrt{x'^2(t) + y'^2(t)} \, dt

其中弧长元素 ds=x2(t)+y2(t)dtds = \sqrt{x'^2(t) + y'^2(t)} \, dt

平面曲线(直角坐标)

若曲线 LLy=y(x)y = y(x)axba \leq x \leq b)给出,则:

Lf(x,y)ds=abf(x,y(x))1+y2(x)dx\int_L f(x,y) \, ds = \int_a^b f(x, y(x)) \sqrt{1 + y'^2(x)} \, dx

若曲线 LLx=x(y)x = x(y)cydc \leq y \leq d)给出,则:

Lf(x,y)ds=cdf(x(y),y)1+x2(y)dy\int_L f(x,y) \, ds = \int_c^d f(x(y), y) \sqrt{1 + x'^2(y)} \, dy

平面曲线(极坐标)

若曲线 LL 由极坐标方程 ρ=ρ(θ)\rho = \rho(\theta)αθβ\alpha \leq \theta \leq \beta)给出,则:

Lf(x,y)ds=αβf(ρcosθ,ρsinθ)ρ2(θ)+ρ2(θ)dθ\int_L f(x,y) \, ds = \int_\alpha^\beta f(\rho\cos\theta, \rho\sin\theta) \sqrt{\rho^2(\theta) + \rho'^2(\theta)} \, d\theta

空间曲线

设空间曲线 LL 由参数方程给出: {x=x(t)y=y(t)z=z(t),αtβ\begin{cases} x = x(t) \\ y = y(t) \\ z = z(t) \end{cases}, \quad \alpha \leq t \leq \beta

则:

Lf(x,y,z)ds=αβf(x(t),y(t),z(t))x2(t)+y2(t)+z2(t)dt\int_L f(x,y,z) \, ds = \int_\alpha^\beta f(x(t), y(t), z(t)) \sqrt{x'^2(t) + y'^2(t) + z'^2(t)} \, dt

典型例题

例题1:圆周上的第一类曲线积分

计算 L(x2+y2)ds\int_L (x^2 + y^2) \, ds,其中 LL 是圆周 x2+y2=a2x^2 + y^2 = a^2

参考答案(3 个标签)
第一类曲线积分圆周参数方程

解题思路: 圆周用参数方程表示,代入公式计算。

详细步骤

  1. 参数方程:x=acost,y=asint,0t2πx = a\cos t, \, y = a\sin t, \, 0 \leq t \leq 2\pi
  2. x(t)=asint,y(t)=acostx'(t) = -a\sin t, \, y'(t) = a\cos t
  3. ds=a2sin2t+a2cos2tdt=adtds = \sqrt{a^2\sin^2 t + a^2\cos^2 t} \, dt = a \, dt
  4. 被积函数:x2+y2=a2x^2 + y^2 = a^2
  5. L(x2+y2)ds=02πa2adt=a302πdt=2πa3\int_L (x^2+y^2) ds = \int_0^{2\pi} a^2 \cdot a \, dt = a^3 \int_0^{2\pi} dt = 2\pi a^3

答案2πa32\pi a^3

例题2:抛物线上的第一类曲线积分

计算 Lyds\int_L y \, ds,其中 LL 是抛物线 y2=2xy^2 = 2x 从原点到点 (2,2)(2, 2) 的一段。

参考答案(3 个标签)
第一类曲线积分抛物线直角坐标

解题思路: 抛物线用 x=x(y)x = x(y) 表示更方便,以 yy 为积分变量。

详细步骤

  1. 曲线方程:x=y22,0y2x = \frac{y^2}{2}, \, 0 \leq y \leq 2
  2. x(y)=yx'(y) = y
  3. ds=1+x2(y)dy=1+y2dyds = \sqrt{1 + x'^2(y)} \, dy = \sqrt{1 + y^2} \, dy
  4. Lyds=02y1+y2dy\int_L y \, ds = \int_0^2 y\sqrt{1+y^2} \, dy
  5. u=1+y2u = 1+y^2du=2ydydu = 2y \, dy=1215udu=1223[u3/2]15=13(551)= \frac{1}{2}\int_1^5 \sqrt{u} \, du = \frac{1}{2} \cdot \frac{2}{3}[u^{3/2}]_1^5 = \frac{1}{3}(5\sqrt{5} - 1)

答案13(551)\frac{1}{3}(5\sqrt{5} - 1)

例题3:空间曲线的第一类曲线积分

计算 L(x2+y2+z2)ds\int_L (x^2 + y^2 + z^2) \, ds,其中 LL 是螺旋线 x=acost,y=asint,z=btx = a\cos t, \, y = a\sin t, \, z = bt0t2π0 \leq t \leq 2\pi

参考答案(4 个标签)
第一类曲线积分螺旋线空间曲线参数方程

解题思路: 空间曲线参数方程,直接代入公式。

详细步骤

  1. x(t)=asint,y(t)=acost,z(t)=bx'(t) = -a\sin t, \, y'(t) = a\cos t, \, z'(t) = b
  2. ds=a2sin2t+a2cos2t+b2dt=a2+b2dtds = \sqrt{a^2\sin^2 t + a^2\cos^2 t + b^2} \, dt = \sqrt{a^2 + b^2} \, dt
  3. 被积函数:x2+y2+z2=a2+b2t2x^2+y^2+z^2 = a^2 + b^2t^2
  4. L(x2+y2+z2)ds=02π(a2+b2t2)a2+b2dt=a2+b2[a2t+b2t33]02π=a2+b2(2πa2+8π3b23)\int_L (x^2+y^2+z^2) ds = \int_0^{2\pi} (a^2 + b^2t^2)\sqrt{a^2+b^2} \, dt = \sqrt{a^2+b^2}\left[a^2t + \frac{b^2t^3}{3}\right]_0^{2\pi} = \sqrt{a^2+b^2}\left(2\pi a^2 + \frac{8\pi^3 b^2}{3}\right)

答案a2+b2(2πa2+8π3b23)\sqrt{a^2+b^2}\left(2\pi a^2 + \frac{8\pi^3 b^2}{3}\right)


练习题

练习1

计算 Lxds\int_L x \, ds,其中 LL 是直线 y=xy = x(0,0)(0,0)(1,1)(1,1) 的一段。

参考答案(3 个标签)
第一类曲线积分直线段直角坐标

解题思路: 直线段用 y=xy=x 表示,ds=1+1dx=2dxds = \sqrt{1+1}dx = \sqrt{2}dx

详细步骤

  1. y=x,0x1y = x, \, 0 \leq x \leq 1ds=2dxds = \sqrt{2} \, dx
  2. Lxds=01x2dx=212=22\int_L x \, ds = \int_0^1 x\sqrt{2} \, dx = \sqrt{2} \cdot \frac{1}{2} = \frac{\sqrt{2}}{2}

答案22\frac{\sqrt{2}}{2}

练习2

计算 Lx2+y2ds\int_L \sqrt{x^2+y^2} \, ds,其中 LL 是圆周 x2+y2=axx^2 + y^2 = axa>0a > 0)。

参考答案(3 个标签)
第一类曲线积分偏心圆极坐标

解题思路: 偏心圆用极坐标表示,ρ=acosθ\rho = a\cos\theta

详细步骤

  1. 极坐标:ρ=acosθ,π2θπ2\rho = a\cos\theta, \, -\frac{\pi}{2} \leq \theta \leq \frac{\pi}{2}
  2. ρ(θ)=asinθ\rho'(\theta) = -a\sin\theta
  3. ds=ρ2+ρ2dθ=a2cos2θ+a2sin2θdθ=adθds = \sqrt{\rho^2 + \rho'^2} \, d\theta = \sqrt{a^2\cos^2\theta + a^2\sin^2\theta} \, d\theta = a \, d\theta
  4. 被积函数:x2+y2=ρ=acosθ\sqrt{x^2+y^2} = \rho = a\cos\theta
  5. Lx2+y2ds=π/2π/2acosθadθ=a2π/2π/2cosθdθ=a22=2a2\int_L \sqrt{x^2+y^2} ds = \int_{-\pi/2}^{\pi/2} a\cos\theta \cdot a \, d\theta = a^2 \int_{-\pi/2}^{\pi/2} \cos\theta \, d\theta = a^2 \cdot 2 = 2a^2

答案2a22a^2


总结

本文出现的符号

符号类型读音/说明在本文中的含义
L\int_L曲线积分line integral over L沿曲线 L 的积分
dsds弧长元素arc length element曲线弧长微元,ds>0ds > 0
LL积分弧段integration curve曲线积分的路径
LL^-反向曲线reverse curve与 L 方向相反的同一条曲线
λ\lambda分割细度mesh size各小弧段长度的最大值

中英对照

中文术语英文术语音标说明
第一类曲线积分line integral of the first kind/laɪn ˈɪntɪɡrəl əv ðə fɜːrst kaɪnd/对弧长的曲线积分
对弧长的积分integral with respect to arc length/ˈɪntɪɡrəl wɪð rɪˈspɛkt tuː ɑːrk lɛŋθ/即第一类曲线积分
弧长元素arc length element/ɑːrk lɛŋθ ˈɛləmənt/曲线弧长的微元
光滑曲线smooth curve/smuːð kɜːrv/切线连续变化的曲线
分段光滑piecewise smooth/ˈpiːswaɪz smuːð/由有限段光滑曲线连接而成
线密度linear density/ˈlɪniər ˈdɛnsəti/单位弧长的质量
螺旋线helix/ˈhiːlɪks/空间螺旋曲线
参数方程parametric equation/ˌpærəˈmɛtrɪk ɪˈkweɪʒən/用参数表示曲线的方程