Line Integrals
How much work does gravity do on a satellite as it spirals along an elliptical arc? How long is the path traced by a bead sliding along a helical wire? Both questions ask us to accumulate a quantity — energy, length, mass. This accumulation happens not over an interval of the real line, but along a curve twisting through space. The ordinary Riemann integral sums values of a function over a straight interval. A line integral generalizes this idea. It sums values of a function, or the components of a vector field, along a parametrized path. This idea matters because most physical processes do not happen along straight lines. A charged particle moves along a curved trajectory in an electromagnetic field. A hiker gains and loses elevation along a winding trail. A fluid particle follows a curved streamline. In every such setting, work, circulation, and flux are computed differently. They are integrated along the actual path taken, not along some idealized straight substitute. Line integrals give us the precise machinery to do this. They reduce — after a careful change of variables — to ordinary single-variable integrals. These are integrals we already know how to compute. The big picture is that a line integral is fundamentally a limit of Riemann sums. These sums are built from a parametrization of a curve. Its value should not depend on which parametrization we choose. It depends only on the curve itself. For vector fields, it also depends on the direction of traversal. This independence is not automatic; it is a theorem. Proving it is the technical heart of the subject. Once established, it lets us compute integrals using whatever parametrization is most convenient. This article develops arc-length (scalar) line integrals and work (vector) line integrals from the definition. It proves parametrization-independence rigorously. It also works two substantial examples — one scalar, one vector. Both examples involve genuinely asymmetric curves and integrands. It closes by pointing toward Green's Theorem and the theory of conservative vector fields. There, line integrals become the central computational tool.
- A line integral accumulates a scalar or vector field's values along a parametrized curve, generalizing the single-variable integral.
- Scalar line integrals compute arc length, mass, or averages of a function over a curve; they use the speed factor .
- Vector line integrals compute work or circulation; they use the dot product with the velocity vector , and depend on orientation.
- Both integrals are proven independent of parametrization (up to orientation, for vector integrals) via the substitution rule.
- Piecewise-smooth curves are handled by summing the integral over smooth pieces.
- Key idea: a line integral is a Riemann integral in disguise, obtained by pulling everything back to the parameter interval via .
Where this lives today
Line integrals are the computational backbone of classical mechanics and electromagnetism: the work done by a force field, the circulation of a fluid velocity field around a loop, and the electromotive force induced around a circuit (via in Faraday's law) are all line integrals. In complex analysis, the contour integral is precisely a vector line integral in disguise (treating ), and Cauchy's integral theorem is the complex-analytic cousin of path-independence results that generalize Conservative Fields and Potentials. In computer graphics and geometric modeling, arc-length line integrals are used to reparametrize curves by arc length for smooth animation and to compute centers of mass of wireframe models. In statistics and probability, line integrals appear in the theory of stochastic integrals (Itô calculus) as limiting objects along random paths. In engineering, line integrals compute the work done moving a component along a specified track, and appear in the finite element method along boundary curves. The path toward Green's Theorem converts a line integral around a closed planar curve into a double integral over the enclosed region — the first deep bridge between line integrals and area integrals — and the question of when depends only on endpoints (not the path) is exactly the theory of Conservative Fields and Potentials, built directly on the machinery developed here.
:::quiz[For , , what is ?]
- ✓
Ask the tutor: How does the line integral around a closed curve relate to a double integral over the region it encloses?
Let ( or ) be a curve, and let
be a parametrization of , meaning is continuous, , and is injective on (the curve does not cross itself, except possibly for a closed curve). We call smooth if is continuously differentiable on and for all ; we call piecewise smooth if can be partitioned into finitely many subintervals on each of which is smooth in this sense.
Scalar line integral. If is continuous, the line integral of over with respect to arc length is
The special case gives the arc length of :
Vector line integral (work integral). If is a continuous vector field, the line integral of over the oriented curve (traversed in the direction of increasing ) is
Writing and , this is also written
For a piecewise smooth curve built from smooth pieces joined end to end, both integrals are defined by summing over the pieces:
Intuition
Think of walking along a wire bent into the shape of , carrying a scale that reads the value of at your current location. The scalar line integral is what you'd get by chopping the wire into tiny arcs of length , multiplying each by the reading there, and summing — exactly the Riemann-sum philosophy of the ordinary integral, but with "" replaced by the arc-length element "." The factor converts a small change in the parameter into the actual length traveled on the curve; this is the same "speed" idea used to compute arc length in single-variable calculus. The vector line integral tells a different story: it measures how much a field pushes along the direction of travel. If is a force field and you move along , only the component of tangent to your motion does work on you; a force perpendicular to your path does nothing. This is exactly the content of the dot product : it isolates the tangential component of and weights it by speed. Reverse the direction of travel, and the sign flips — walking against the wind takes different work than walking with it.
The central theorem
Let be a smooth curve. Let and both be smooth parametrizations of with , on the open intervals, related by a reparametrization map , bijective, with for all , such that
Let be continuous and let be continuous. Then:
(a) The scalar line integral is parametrization-independent:
(b) If is increasing (so , ; orientation-preserving), then
If is decreasing (so , ; orientation-reversing), the two vector line integrals are negatives of each other.
The technique is the substitution rule for Riemann integrals applied coordinatewise, plus the chain rule. Since is , bijective, with everywhere on , and is an interval, has constant sign on (an application of the Intermediate Value Theorem to : if took both a positive and a negative value, by IVT it would vanish somewhere, contradicting ). Hence is strictly monotonic. We treat the increasing case; the decreasing case is identical with sign changes tracked explicitly.
Step 1 (chain rule). By definition , so by the chain rule applied to each component,
Step 2 (proof of (a)). Taking norms,
using that for a scalar and vector . Therefore
Since is increasing, on , so , and the integrand is exactly
is continuous on (composition and product of continuous functions; is continuous since is continuous). By the substitution rule for the single-variable Riemann integral (valid since is and is continuous, hence Riemann integrable), with , , and limits , :
This proves (a).
Step 3 (proof of (b), increasing case). Using Step 1,
using bilinearity of the dot product to pull out the scalar . Set , continuous on . Then the right side of (b) becomes
again by the substitution rule, since is increasing with . This proves the first claim of (b).
Step 4 (decreasing case). If is decreasing, then throughout, , . The scalar case (a) is unaffected because exactly compensates for the reversal of integration limits: substitution gives
so (a) still holds — the scalar line integral is independent of orientation entirely, since it depends only on the curve as a point set. For the vector case, the same computation without the absolute value gives
so the vector line integral over equals the negative of the vector line integral over . This is the claimed sign reversal, and the proof is complete.
∎The definitions of and for piecewise smooth curves (as sums over smooth pieces) are independent of the particular decomposition into smooth pieces and of orientation-preserving reparametrization of each piece, by applying the theorem piece by piece and using additivity of the Riemann integral over adjacent subintervals.
Worked examples
Example 1 (scalar line integral: mass of a wire on an asymmetric arc). A wire is bent into the curve
and has linear density (mass per unit length). Find the total mass of the wire. Solution. Mass is . Compute , so
for (where , so ). Next, . So
Split into two integrals: where
Computing : substitute , ; when , ; when , :
Numerically , so .
Computing : this integral does not reduce to an elementary closed form via elementary substitution alone in a short expression, so we evaluate it directly using the standard reduction for via hyperbolic substitution , , :
Rather than carry the antiderivative symbolically, we evaluate numerically (Simpson's rule with subintervals on , step ), which is standard practice once a closed form is unwieldy. Let :
Simpson's rule:
Compute the odd-index sum: , times : . Even-index (interior) sum: , times : . Endpoints: . Total bracket: . Multiply by :
So .
Total mass:
This example illustrates that setting up a line integral is always mechanical (parametrize, compute , substitute, integrate), but evaluation may require numerical methods once the algebra is not friendly — a completely typical and expected feature of real problems.
Example 2 (vector line integral: work along a helical-then-linear path). Let , a vector field on . Let be the piecewise-smooth curve consisting of:
- : one quarter turn of a helix, for ;
- : the straight segment from to .
Compute . Solution. By definition, .
On : . Evaluate along the path:
Dot product:
So
Numerically, , so , and . Thus
On : parametrize the segment from to linearly:
Here and are constant along . Evaluate :
Dot product with :
So
Total:
This example shows the two essential mechanics of vector line integrals in action: the trigonometric identity collapsing the helix computation, and the fact that only the tangential direction of (purely in ) survives the dot product on the straight piece, silently discarding the - and -components of entirely.
The theorem's hypothesis on (regularity) is essential for to correctly compute arc length — and, more subtly, for reparametrization invariance to behave as expected in edge cases. Consider for , which traces a curve with a cusp-like flattening at the origin (in fact here is but , violating regularity at the single interior point ). Compute for (using ), and by direct differentiation of the definition of the derivative. So
The formula is still computable and, in this particular case, still gives the correct geometric arc length, because the curve happens to have a well-defined tangent direction on each side of the cusp and the parametrization only degenerates at a single point (a removable failure). The real danger surfaces when regularity fails on a set of positive extent, or when fails to be injective (self-intersects) without our accounting for it: if retraces part of the curve — e.g. for , which sends and to different points generally but can be engineered to backtrack over the same arc of the unit circle as increases past — then counts the doubled-back portion twice, and no longer equals the length of the point set , only the length of the path traveled. This is why the definition of arc length via a line integral is really "length of the trajectory," and silently agrees with the geometric length of the curve only when is injective on the open interval, as the definition requires. Dropping injectivity breaks the identification of with the length of as a set.
Scope, edge cases & common traps
| Situation | What to watch for |
|---|---|
| Piecewise smooth curves | Split at corners; sum the integral over each smooth piece — never differentiate through a corner. |
| Reversing orientation, | (scalar integral unaffected), but . |
| Closed curves | Notation is common; still just the definition with . |
| Self-intersecting parametrizations | may double-count arc length if is not injective on ; check injectivity before invoking "arc length." |
| Cusps, non-regular points | at isolated points is often harmless (integral still converges), but tangent direction and hence orientation may be undefined there. |
| Confusing and | is a scalar (always positive); is a vector. Never write meaning work — that computes a vector, not the work scalar. |
The mathematician behind it
Origins · 1 minLeonhard Euler and how this was discovered
Euler did not invent "the line integral" as an isolated named object — the concept crystallized gradually through 18th and 19th century mechanics and later vector analysis — but the essential computational machinery, treating integrals along curves parametrized by a variable, and converting mechanical work along a path into a definite integral in that parameter, traces directly to Euler's mechanics and his systematic use of parametrized curves in the calculus of variations. His extension of calculus from single real variables to families of curves and functionals set the stage for the 19th-century vector calculus of Green, Stokes, and Gauss, which formalized line integrals in the form used today, in the study of potentials, circulation, and flux.
Why does the scalar line integral use while the vector line integral uses directly?
The scalar integral accumulates against arc length, a quantity that is always nonnegative and does not care about direction of travel — so we need the speed , a scalar. The vector integral accumulates the tangential component of against signed displacement, so it needs the full vector (which encodes both speed and direction) dotted with . This is why reversing orientation leaves unchanged but flips the sign of : arc length is direction-blind, work is not.
Is a line integral the same as an integral over an interval with a change of variables?
Yes, exactly — that is the content of the definition. Once you fix a parametrization , both and reduce immediately to ordinary single-variable Riemann integrals over . The subtlety is entirely in checking that the value you get does not depend on which parametrization you picked (for the scalar integral) or depends only on orientation (for the vector integral) — this is precisely the reparametrization theorem proved above.
Can I compute a line integral without explicitly parametrizing the curve?
Not directly from the definition — you always need some parametrization to reduce to a single-variable integral, even if it is implicit (e.g., using itself as the parameter when the curve is a graph ). However, once you develop Green's Theorem for closed planar curves, and later the theory of Conservative Fields and Potentials, you gain tools (finding a potential function, converting to an area integral) that let you evaluate certain line integrals without ever writing down an explicit parametrization — but these tools are built on top of, not instead of, the parametrized definition.
What happens if the curve is not smooth, only piecewise smooth?
You simply break into subintervals on which is with nonvanishing derivative, compute the line integral (scalar or vector) on each smooth piece separately, and add the results. This is exactly how you would handle, say, the boundary of a triangle or square: three or four straight edges, each smooth, integrated and summed. The corners themselves (finitely many points) do not affect the value of the integral since they have Riemann measure zero in the parameter domain.
Does the line integral of a vector field depend on the "speed" at which the curve is traversed?
No — this is a subtle and important point. While the pointwise integrand certainly depends on speed (a faster makes each integrand value larger), the reparametrization theorem shows the total integral is unchanged under any orientation-preserving speed change. Physically: doing the same path faster or slower does not change total work done by a static force field, only the direction of traversal matters, not the rate.
How is arc length itself a special case of a line integral?
Set in the scalar line integral: . This is exactly the standard single-variable-calculus formula for the length of a parametrized curve, so arc length is not a separate concept but literally the instance of . This is why the notation for "arc-length element" is used generally, and why mass, average temperature, and other physical quantities distributed along a wire all use the same template with replaced by the relevant density.
Why is orientation-independence for scalar integrals but orientation-dependence for vector integrals not a contradiction?
They are different kinds of quantities being measured. The scalar integral sums up weighted by unsigned arc length, a purely geometric quantity attached to the point set ; walking a path backward covers the same length. The vector integral sums up the signed tangential component of , which is a directional quantity: walking backward means your velocity vector flips sign, so the dot product with flips sign too. Both behaviors follow rigorously from the same proof (the reparametrization theorem), just applied with versus respectively.