Definition and Basic Concepts

Curve in Space

Curve: continuous mapping C: [a,b] → ℝⁿ. Domain: interval [a,b]. Image: set of points in space. Smoothness: piecewise continuously differentiable for integrability.

Line Integral Concept

Line integral: integral over curve C of function f or vector field F. Measures accumulation along path. Generalizes definite integrals to curves.

Types of Line Integrals

Scalar line integrals: integrate scalar functions over curve length. Vector line integrals: integrate vector fields dot tangent vectors. Different interpretations and uses.

Parametrization of Curves

Parameter Variable

Parameter t ∈ [a,b] defines curve point r(t). Parametrization converts geometric curve to analytic form.

Vector Form

r(t) = (x(t), y(t), z(t)) in ℝ³ or (x(t), y(t)) in ℝ². Differentiable functions x(t), y(t), z(t).

Orientation

Direction of traversal given by increasing t. Reversing t reverses curve orientation, affecting vector line integrals.

Scalar Line Integrals

Definition

Integrate scalar function f along curve C weighted by arc length:

∫_C f(s) ds = ∫_a^b f(r(t)) |r'(t)| dt

Arc Length Element

ds = |r'(t)| dt; magnitude of velocity vector. Accounts for stretch of curve.

Interpretation

Measures total accumulation of scalar quantity along curve, e.g., mass if density is f.

Vector Line Integrals

Definition

Integral of vector field F along curve C:

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

Dot Product with Tangent

F(r(t)) · r'(t) projects vector field onto curve tangent, measuring work or flow.

Orientation Dependence

Integral changes sign if curve orientation reverses. Direction critical for vector integrals.

Physical Interpretation

Work Done by Force

Line integral of force field F along path C gives mechanical work done moving particle.

Circulation and Flux

Circulation: line integral around closed curve, measures tendency to rotate. Flux relates to surface integrals.

Applications in Fluid Flow

Integral represents net flow of fluid along path, used in fluid dynamics and electromagnetism.

Computation Methods

Parametrization Substitution

Replace curve with parametric form r(t), compute r'(t), substitute into integral.

Breaking Curve into Pieces

Split complex curve into simpler segments, sum integrals over each segment.

Numerical Approximation

Use Riemann sums or trapezoidal methods when analytic integration infeasible.

Properties of Line Integrals

Linearity

Integral of sum equals sum of integrals; scalar multiples factor out.

Additivity Over Curves

Integral over concatenated paths equals sum of integrals over each path.

Dependence on Orientation

Scalar line integrals independent of orientation; vector line integrals reverse sign if orientation reverses.

Path Independence and Conservative Fields

Path Independence

Integral depends only on endpoints if vector field is conservative.

Conservative Vector Fields

Exist scalar potential φ with F = ∇φ. Integral equals difference φ(end) - φ(start).

Closed Curve Integral Zero

For conservative F, integral over any closed curve is zero.

Fundamental Theorem for Line Integrals

Theorem Statement

If F = ∇φ, then:

∫_C F · dr = φ(r(b)) - φ(r(a))

Implication

Computes line integrals via potential values at endpoints, simplifies calculation.

Conditions

Requires F continuous and domain simply connected with continuous partial derivatives.

Applications in Physics and Engineering

Electromagnetism

Work done by electric/magnetic fields, circulation of fields around loops.

Fluid Mechanics

Flow rate computations, circulation around vortices.

Mechanics

Work-energy principle, path-dependent forces, friction calculations.

Examples and Practice Problems

Example 1: Scalar Line Integral

Compute ∫_C y ds where C is line segment from (0,0) to (1,1).

Parametrization: r(t) = (t, t), 0 ≤ t ≤ 1|r'(t)| = √(1² + 1²) = √2Integral: ∫_0^1 t * √2 dt = √2 * ∫_0^1 t dt = √2 * (1/2) = √2 / 2

Example 2: Vector Line Integral

Compute ∫_C F · dr with F(x,y) = (y, x), C: quarter circle x² + y² =1, from (1,0) to (0,1).

Parametrization: r(t) = (cos t, sin t), t ∈ [0, π/2]r'(t) = (-sin t, cos t)F(r(t)) = (sin t, cos t)Dot product: F(r(t)) · r'(t) = sin t * (-sin t) + cos t * cos t = -sin² t + cos² tIntegral: ∫_0^{π/2} (-sin² t + cos² t) dt = ∫_0^{π/2} cos 2t dt = (1/2) sin 2t |_0^{π/2} = 0

References

  • Stewart, J. "Calculus: Early Transcendentals." Brooks/Cole, 8th ed., 2015, pp. 1020-1050.
  • Marsden, J. E., & Tromba, A. J. "Vector Calculus." W. H. Freeman, 6th ed., 2012, pp. 180-220.
  • Spivak, M. "Calculus on Manifolds." W. A. Benjamin, 1965, pp. 30-60.
  • Thomas, G. B., Weir, M. D., & Hass, J. "Thomas' Calculus." Pearson, 14th ed., 2018, pp. 1100-1140.
  • Fitzpatrick, P. M. "Advanced Calculus." American Mathematical Society, 2006, pp. 140-175.