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)| dtArc 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) dtDot 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 / 2Example 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} = 0References
- 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.