General Line Integrals in Two and Three Dimensions | 二维与三维中的一般线积分

📚 General Line Integrals in Two and Three Dimensions | 二维与三维中的一般线积分

Line integrals extend the familiar definite integral to integration along a curve in two or three dimensions. They are fundamental tools in physics and engineering, used to compute work done by a force, the mass of a wire, circulation of a fluid, and more. In this article, we explore both scalar and vector line integrals, their parameterisation, evaluation techniques, and key properties, with a focus on IB Mathematics requirements.

线积分将我们熟悉的定积分推广到沿着二维或三维空间中一条曲线的积分。它们是物理和工程中的基础工具，用于计算力所做的功、细线的质量、流体的环量等。在本文中，我们将探讨标量和向量线积分，以及它们的参数化、计算方法和关键性质，紧扣 IB 数学的要求。

1. Introduction to Line Integrals | 线积分简介

A line integral is an integral where the function to be integrated is evaluated along a curve C. Unlike an ordinary integral over an interval on the real line, the domain here is a one-dimensional curve embedded in ℝ² or ℝ³. We distinguish two main types: line integrals of scalar fields with respect to arc length, and line integrals of vector fields, often interpreted as work.

线积分是沿着曲线 C 对函数进行积分的一种运算。与在实数轴上的普通积分不同，这里的积分域是嵌入在 ℝ² 或 ℝ³ 中的一维曲线。我们通常区分两种主要类型：关于弧长的标量场线积分，以及常被解释为功的向量场线积分。

Scalar line integral: ∫_C f(x, y) ds    Vector line integral: ∫_C F · dr

标量线积分：∫_C f(x, y) ds    向量线积分：∫_C F · dr

---

2. Parameterisation of Curves | 曲线的参数化

To compute a line integral, we describe the curve C by a vector function. In two dimensions, r(t) = ⟨x(t), y(t)⟩, with t ∈ [a, b]. In three dimensions, r(t) = ⟨x(t), y(t), z(t)⟩ onent functions have continuous first derivatives except possibly at finitely many points.

为了计算线积分，我们需要用向量函数描述曲线 C。在二维中，r(t) = ⟨x(t), y(t)⟩，t ∈ [a, b]；在三维中，r(t) = ⟨x(t), y(t), z(t)⟩。曲线被假定为分段光滑，即分量函数具有连续的一阶导数，最多在有限个点处例外。

The tangent vector (or velocity) is r'(t) = ⟨x'(t), y'(t)⟩, and for a smooth curve its magnitude |r'(t)| is non-zero. The orientation of C is determined by the direction of increasing t.

切向量（或速度向量）为 r'(t) = ⟨x'(t), y'(t)⟩，对光滑曲线而言，其模长 |r'(t)| 不为零。曲线的方向由参数 t 增大的方向决定。

---

3. Arc Length Differential | 弧长微分

The key to evaluating line integrals is the arc length element ds. For a curve parameterised by t,

ds = |r'(t)| dt = √( (dx/dt)² + (dy/dt)² ) dt   (2D)

计算线积分的关键是弧长微元 ds。对于由 t 参数化的曲线，

ds = |r'(t)| dt = √( (dx/dt)² + (dy/dt)² ) dt   （二维）

In three dimensions, a (dz/dt)² term is added inside the square root:

ds = √( (dx/dt)² + (dy/dt)² + (dz/dt)² ) dt

在三维中，根号内需增加一项 (dz/dt)²：

ds = √( (dx/dt)² + (dy/dt)² + (dz/dt)² ) dt

This ds captures the length of an infinitesimal segment of the curve and is always positive, independent of orientation.

这个 ds 表示曲线上一段无穷小的弧长，它始终为正，与曲线的定向无关。

---

4. Line Integral of a Scalar Field | 标量场的线积分

The line integral of a scalar function f(x, y) over a curve C with respect to arc length is defined as

∫_C f(x, y) ds = ∫_a^b f(r(t)) |r'(t)| dt

标量函数 f(x, y) 沿曲线 C 关于弧长的线积分定义为

∫_C f(x, y) ds = ∫_a^b f(r(t)) |r'(t)| dt

If f(x, y) = 1, the integral gives the total arc length of C. More generally, if f represents the linear density of a wire, the integral yields the total mass. Scalar line integrals are independent of the orientation of the curve; reversing the parameterisation gives the same value.

若 f(x, y) = 1，积分结果就是曲线 C 的总弧长。更一般地，如果 f 表示细线的线密度，则积分给出总质量。标量线积分与曲线方向无关；反转参数化仍得到相同结果。

---

5. Line Integral of a Vector Field | 向量场的线积分

For a vector field F(x, y) = ⟨P(x, y), Q(x, y)⟩ in 2D (or with three components in 3D), the line integral along an oriented curve C is

∫_C F · dr = ∫_a^b F(r(t)) · r'(t) dt

对于二维向量场 F(x, y) = ⟨P(x, y), Q(x, y)⟩（三维中有三个分量），沿有向曲线 C 的线积分为

∫_C F · dr = ∫_a^b F(r(t)) · r'(t) dt

This integral measures the work done by a force field F along the path C. The differential dr = r'(t) dt points in the tangent direction, so F · r'(t) is the tangential component of the force. Reversing the orientation changes the sign of the integral.

该积分衡量力场 F 沿路径 C 所作的功。微分 dr = r'(t) dt 指向切线方向，因此 F · r'(t) 是力的切向分量。反转曲线方向会使积分变号。

---

广告 / Sponsored

6. Computing Line Integrals in 2D | 二维线积分的计算

To evaluate a line integral in the plane, follow these steps: (1) parameterise the curve, (2) compute r'(t) and |r'(t)| (or just r'(t) for vector fields), (3) substitute everything into the integral formula, and (4) integrate with respect to t.

计算平面中的线积分可遵循以下步骤：(1) 将曲线参数化，(2) 求出 r'(t) 以及 |r'(t)|（对于向量场只需 r'(t)），(3) 将所有量代入积分公式，(4) 对 t 求定积分。

Example (scalar): Evaluate ∫_C (x + y) ds where C is the line segment from (0,0) to (1,2). Parameterise: r(t) = ⟨t, 2t⟩, 0 ≤ t ≤ 1. Then |r'(t)| = √1² + 2² = √5. Integral = ∫₀¹ (t + 2t) √5 dt = 3√5 ∫₀¹ t dt = (3√5)/2.

标量示例：计算 ∫_C (x + y) ds，其中 C 是连接 (0,0) 和 (1,2) 的线段。参数化：r(t) = ⟨t, 2t⟩，0 ≤ t ≤ 1。则 |r'(t)| = √1² + 2² = √5。积分 = ∫₀¹ (t + 2t) √5 dt = 3√5 ∫₀¹ t dt = (3√5)/2。

Example (vector): Find the work done by F = ⟨−y, x⟩ along the quarter-circle r(t) = ⟨cos t, sin t⟩, 0 ≤ t ≤ π/2. Compute F(r(t)) = ⟨−sin t, cos t⟩, r'(t) = ⟨−sin t, cos t⟩. Dot product = sin² t + cos² t = 1. Work = ∫₀^π/2 1 dt = π/2.

向量示例：求力场 F = ⟨−y, x⟩ 沿四分之一圆 r(t) = ⟨cos t, sin t⟩（0 ≤ t ≤ π/2）所做的功。计算 F(r(t)) = ⟨−sin t, cos t⟩，r'(t) = ⟨−sin t, cos t⟩。点积 = sin² t + cos² t = 1。功 = ∫₀^π/2 1 dt = π/2。

---

7. Computing Line Integrals in 3D | 三维线积分的计算

The procedure extends naturally to three dimensions. The curve is given by r(t) = ⟨x(t), y(t), z(t)⟩, and the arc length element includes the z-derivative. For vector fields F = ⟨P, Q, R⟩, the integral becomes ∫_C P dx + Q dy + R dz = ∫_a^b (P x' + Q y' + R z') dt.

上述步骤可自然地推广到三维。曲线由 r(t) = ⟨x(t), y(t), z(t)⟩ 给出，弧长微元包含了 z 的导数。对于向量场 F = ⟨P, Q, R⟩，积分化为 ∫_C P dx + Q dy + R dz = ∫_a^b (P x' + Q y' + R z') dt。

Example: Evaluate ∫_C z ds along the helix r(t) = ⟨cos t, sin t, t⟩ for 0 ≤ t ≤ 2π. Here |r'(t)| = √( (−sin t)² + (cos t)² + 1² ) = √2. The integral is ∫₀^2π t · √2 dt = √2 [t²/2]₀^2π = 2√2 π².

示例：计算 ∫_C z ds，其中 C 为螺旋线 r(t) = ⟨cos t, sin t, t⟩，0 ≤ t ≤ 2π。此时 |r'(t)| = √( (−sin t)² + (cos t)² + 1² ) = √2。积分为 ∫₀^2π t · √2 dt = √2 [t²/2]₀^2π = 2√2 π²。

---

8. Properties of Line Integrals | 线积分的性质

Line integrals share several useful properties, which often simplify calculations or theoretical work:

线积分具有若干常用的性质，这些性质常能简化计算或理论推导：

• Linearity: ∫_C (a f + b g) ds = a ∫_C f ds + b ∫_C g ds, and similarly for vector fields.
• 线性性：∫_C (a f + b g) ds = a ∫_C f ds + b ∫_C g ds，向量场亦同。
• Additivity: If C is split into two consecutive curves C₁ and C₂, then ∫_C = ∫_C₁ + ∫_C₂.
• 可加性：若将 C 分为两段连接的曲线 C₁ 和 C₂，则 ∫_C = ∫_C₁ + ∫_C₂。
• Orientation (vector only): Denoting −C as the reverse curve, ∫_−C F · dr = −∫_C F · dr. Scalar integrals are unchanged.
• 定向性（仅向量）：记 −C 为反向曲线，则 ∫_−C F · dr = −∫_C F · dr。标量积分不变。
• Bounding: |∫_C f ds| ≤ max|f| × (length of C), for scalar functions.
• 估值：对于标量函数，|∫_C f ds| ≤ max|f| ×（C 的长度）。

---

9. Path Independence and Conservative Fields | 路径无关与保守场

A vector field F is called conservative if its line integral between any two points depends only on the endpoints, not on the chosen path. This occurs exactly when F is the gradient of some scalar potential function φ: F = ∇φ.

若向量场 F 在任意两点间的线积分只依赖于端点而与所选路径无关，则称其为保守场。当且仅当 F 是某个标量势函数 φ 的梯度时，即 F = ∇φ，该条件成立。

In simply connected regions, a field is conservative if and only if its curl is zero: curl F = 0 (in 3D). In two dimensions, the condition reduces to ∂Q/∂x = ∂P/∂y, where F = ⟨P, Q⟩.

在单连通区域中，一个场为保守场当且仅当其旋度为零：curl F = 0（三维）。在二维中，该条件简化为 ∂Q/∂x = ∂P/∂y，其中 F = ⟨P, Q⟩。

Determining conservativeness before computing a line integral can save enormous effort,

Published by TutorHao | IB Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）