Line Integrals

A line integral integrates a scalar field or vector field along a curve in space. Key result: for a conservative vector field, the line integral depends only on endpoints (Fundamental Theorem of Line Integrals). Applies to work, flux, arc length, mass of wires, and circulation. Developed in the 19th century by Cauchy, Green, Stokes, and Kelvin in the context of physics and complex analysis.

A line integral generalizes the ordinary definite integral $\int_{a}^{b} f (x) d x$ by replacing the interval $[a, b]$ with a curve $C$ in $R^{2}$ or $R^{3}$ . There are two principal types: the scalar line integral $\int_{C} f d s$ , which sums a scalar quantity weighted by arc length, and the vector line integral $\int_{C} F \cdot d r$ , which sums the tangential component of a vector field along the path. Line integrals matter because they encode physical quantities — work done by a force, fluid circulation, mass of a non-uniform wire — that inherently depend on motion along a path. A surprising fact: for a special class of fields (conservative fields), the vector line integral is completely independent of the path taken and depends only on the endpoints, mirroring the Fundamental Theorem of Calculus.

The Core Insight

Chop the curve into tiny pieces. On each piece the curve looks straight and the field looks constant, so the contribution is just (field value) × (length of piece) for scalars, or (field) · (tangent displacement vector) for vectors. Summing and taking the limit converts the geometry of a parametrized curve into a single ordinary integral over the parameter.

Formal Statement

Scalar Line Integral

Let $C$ be a smooth curve parametrized by $r (t) = (x (t), y (t), z (t))$ for $t \in [a, b]$ , and let $f$ be a continuous scalar field defined on $C$ . The scalar line integral of $f$ along $C$ is

\int_{C} f d s = \int_{a}^{b} f (r (t)) ∥ r^{'} (t) ∥ d t

where $d s = ∥ r^{'} (t) ∥ d t$ is the arc-length element, $r^{'} (t) = (x^{'} (t), y^{'} (t), z^{'} (t))$ is the velocity vector, and $∥ r^{'} (t) ∥ = x^{'} (t)^{2} + y^{'} (t)^{2} + z^{'} (t)^{2}$ is its magnitude (speed).

⟳Partition

[a, b]

into subintervals; on each, approximate arc length by

∥ r^{'} (t_{i}^{*}) ∥Δ t

from the linear approximation

Δ r \approx r^{'} Δ t

; form a Riemann sum and take the limit.

Vector Line Integral

Let $F = (P, Q, R)$ be a continuous vector field on a smooth oriented curve $C$ parametrized by $r (t)$ , $t \in [a, b]$ . The vector line integral (work integral) is

\int_{C} F \cdot d r = \int_{a}^{b} F (r (t)) \cdot r^{'} (t) d t

In component form, with $d r = (d x, d y, d z)$ ,

\int_{C} F \cdot d r = \int_{C} P d x + Q d y + R d z

Here $F \cdot r^{'}$ is the dot product extracting the tangential component of $F$ , and the orientation (direction of increasing $t$ ) determines the sign.

⟳Work is force times displacement; over an infinitesimal step

d r

, the work is

F \cdot d r

; substitute

d r = r^{'} (t) d t

and integrate over the parameter.

Tangential Form

The vector integral can be rewritten using the unit tangent $T = r^{'} /∥ r^{'} ∥$ , exposing it as a scalar line integral of the tangential component:

\int_{C} F \cdot d r = \int_{C} (F \cdot T) d s

⟳Substitute

r^{'} (t) d t = T ∥ r^{'} (t) ∥ d t = T d s

into equation [2].

Fundamental Theorem of Line Integrals

Let $F = \nabla φ$ be a conservative vector field with continuous potential function $φ$ on an open region containing a piecewise-smooth curve $C$ from point $A$ to point $B$ . Then

\int_{C} \nabla φ \cdot d r = φ (B) - φ (A)

The integral is independent of the path $C$ joining $A$ to $B$ ; in particular, around any closed loop it is zero.

⟳Apply the multivariable chain rule to

\frac{d}{d t} φ (r (t)) = \nabla φ \cdot r^{'} (t)

, then integrate using the single-variable Fundamental Theorem of Calculus.

Why It Holds / Derivation

Fundamental Theorem of Line Integrals

We prove equation [5] for a smooth curve; the piecewise case follows by adding contributions.

Step 1. Parametrize

C

r (t)

t \in [a, b]

, with

r (a) = A

and

r (b) = B

. Step 2. By definition (equation [2]),

\int_{C} \nabla φ \cdot d r = \int_{a}^{b} \nabla φ (r (t)) \cdot r^{'} (t) d t

⟳Direct substitution of

F = \nabla φ

into the vector line integral definition.

Step 3. Recognize the integrand by the chain rule. Define

g (t) = φ (r (t))

. Then

g^{'} (t) = \frac{\partial φ}{\partial x} x^{'} (t) + \frac{\partial φ}{\partial y} y^{'} (t) + \frac{\partial φ}{\partial z} z^{'} (t) = \nabla φ (r (t)) \cdot r^{'} (t)

⟳Multivariable chain rule for the composition of

φ

with the vector function

r (t)

Step 4. Apply the single-variable Fundamental Theorem of Calculus:

\int_{a}^{b} g^{'} (t) d t = g (b) - g (a) = φ (r (b)) - φ (r (a)) = φ (B) - φ (A)

⟳

g

is differentiable on

[a, b]

with continuous derivative; FTC applies directly.

Since the right-hand side depends only on $A$ and $B$ , the integral is path-independent. $■$

William Thomson, Lord Kelvin | 1824–1907

Kelvin connected line integrals of vector fields to physical circulation and helped formalize what is now Stokes' theorem (which he communicated to Stokes as an exam problem in 1854). His work on electromagnetism, fluid vortices, and thermodynamics relied heavily on integrating fields along curves and around loops. The notion that the circulation $\oint_{C} F \cdot d r$ measures the "swirl" of a field threading a region is central to his fluid-dynamics legacy.

Building Intuition

Imagine walking a hiking trail $C$ while a wind field $F$ blows. The vector line integral $\int_{C} F \cdot d r$ measures how much the wind helps or hinders you: when the wind aligns with your direction of travel ( $F \cdot T > 0$ ) it adds positively; when it opposes you it subtracts. The total is the net "boost." Now imagine the trail is a wire of varying thickness, and $f$ is its density. The scalar line integral $\int_{C} f d s$ sums up little chunks of mass — density times length — to give the total mass. The crucial distinction: the scalar integral ignores direction (reversing the path gives the same answer), while the vector integral flips sign when you walk the trail backwards.

A curve C divided into infinitesimal segments, showing the tangent vector T and a vector field F

Worked Examples

Scalar Line Integral — Mass of a Wire

Given: A wire follows the helix

r (t) = (cos t, sin t, t)

for

t \in [0, 2 π]

, with linear density

f (x, y, z) = z

(units: kg/m, with

z

in meters). Find: the total mass

M = \int_{C} f d s

. Step 1. Compute the velocity:

r^{'} (t) = (- sin t, cos t, 1)

. Step 2. Compute the speed:

∥ r^{'} (t) ∥ = sin^{2} t + cos^{2} t + 1 = 2

Step 3. Express

f

along the curve:

f (r (t)) = z = t

. Step 4. Apply equation [1]:

M = \int_{0}^{2 π} t \cdot 2 d t = 2 [\frac{t ^{2}}{2}]_{0}^{2 π} = 2 \cdot 2 π^{2}

M = 22 π^{2} \approx 27.92 kg

Vector Line Integral — Work Done by a Force

Given: A particle moves along the parabola

y = x^{2}

from

(0, 0)

(2, 4)

under the force field

F (x, y) = (x y, x - y)

(units: newtons, position in meters). Find: the work

W = \int_{C} F \cdot d r

. Step 1. Parametrize:

r (t) = (t, t^{2})

t \in [0, 2]

. Then

r^{'} (t) = (1, 2 t)

. Step 2. Evaluate

F

on the curve:

F (r (t)) = (t \cdot t^{2}, t - t^{2}) = (t^{3}, t - t^{2})

Step 3. Form the dot product:

F \cdot r^{'} = t^{3} (1) + (t - t^{2}) (2 t) = t^{3} + 2 t^{2} - 2 t^{3} = - t^{3} + 2 t^{2}

Step 4. Apply equation [2]:

W = \int_{0}^{2} (- t^{3} + 2 t^{2}) d t = [- \frac{t ^{4}}{4} + \frac{2 t ^{3}}{3}]_{0}^{2} = - 4 + \frac{16}{3} = \frac{4}{3}

W = \frac{4}{3} J \approx 1.33 J

Common Misconceptions

Scalar and vector line integrals behave differently under reversal of orientation. Reversing the direction of the curve (

- C

) leaves the scalar integral unchanged,

\int_{- C} f d s = \int_{C} f d s

, because

d s = ∥ r^{'} ∥ d t > 0

regardless of direction. But the vector integral flips sign:

\int_{- C} F \cdot d r = - \int_{C} F \cdot d r

, because the tangent vector reverses. Confusing these is a common source of sign errors. A line integral does not generally depend only on the endpoints. Path independence holds only for conservative fields (

F = \nabla φ

). For a general field, two different paths between the same endpoints give different answers. Always check whether

F

is conservative (e.g., via

\partial P / \partial y = \partial Q / \partial x

on a simply connected domain) before invoking equation [5].

Consider $F (x, y) = (- y, x)$ and two paths from $(1, 0)$ to $(- 1, 0)$ : the upper semicircle and the lower semicircle of the unit circle.

Upper path $r (t) = (cos t, sin t)$ , $t : 0 \to π$ :

\int = \int_{0}^{π} (- sin t) (- sin t) + (cos t) (cos t) d t = \int_{0}^{π} 1 d t = π

Lower path $r (t) = (cos t, - sin t)$ , $t : 0 \to π$ gives $- π$ . The two paths disagree, so this field is not conservative — indeed $\partial (- y) / \partial y = - 1 \neq = 1 = \partial (x) / \partial x$ , so the integral around the full circle is $π - (- π) = 2 π \neq = 0$ .

Connections

The vector line integral around a closed loop is tied to surface integrals by Green's Theorem in the plane and Stokes' Theorem in space, which relate $\oint_{C} F \cdot d r$ to the curl of $F$ over an enclosed region. The Fundamental Theorem of Line Integrals (equation [5]) is the curve-level case of the Generalized Stokes Theorem on differential forms. Path independence is logically equivalent to $F$ being a Conservative Vector Field, which on simply connected domains is equivalent to $\nabla \times F = 0$ . Complex-analytic Contour Integration is essentially a vector line integral in the plane, and Cauchy's Integral Theorem is its path-independence statement for holomorphic functions.

Real-World Applications

Mechanical work and energy — computing the work done by a variable force (gravity, friction, springs) as an object moves along a trajectory; underlies the work–energy theorem.
Electromagnetism — Ampère's law $\oint_{C} B \cdot d r = μ_{0} I_{e n c}$ and the EMF $E = \oint_{C} E \cdot d r$ in Faraday's law are line integrals around loops.
Fluid dynamics — the circulation $Γ = \oint_{C} v \cdot d r$ quantifies vortex strength and underlies the Kutta–Joukowski lift theorem for airfoils.
Structural engineering — computing the total mass, center of mass, and moment of inertia of curved beams and cables of variable density via scalar line integrals.
Thermodynamics — work done in a quasi-static process, $W = \int_{C} P d V$ , is a path-dependent line integral in state space, distinguishing process variables from state functions.
Computer graphics & robotics — accumulating cost or arc length along motion paths for path planning and curve rendering.
Geophysics — measuring gravitational or magnetic potential differences along survey traverses.

Historical Development

1743 — Alexis Clairaut studies path-dependence conditions for differential expressions $P d x + Q d y$ , foreshadowing exactness criteria.
1825 — Augustin-Louis Cauchy publishes work on integrals of complex functions along paths, founding contour integration.
1828 — George Green's privately published Essay introduces what becomes Green's theorem, linking plane line integrals to area integrals.
1831 — Michael Faraday's electromagnetic induction experiments give physical meaning to loop integrals of the electric field.
1850s — William Thomson (Kelvin) develops circulation and curl concepts; in 1854 he poses the curl–circulation relation to George Stokes.
1854 — Stokes sets the theorem now bearing his name as a Cambridge Tripos exam question.
1873 — James Clerk Maxwell's Treatise on Electricity and Magnetism systematizes line integrals throughout field theory.
1880s–1890s — Josiah Willard Gibbs and Oliver Heaviside formalize modern vector calculus notation, standardizing $\int_{C} F \cdot d r$ .
1899 — Henri Poincaré and Élie Cartan develop the theory of differential forms, unifying line, surface, and volume integrals under the generalized Stokes theorem.

Subtleties & Limits

The equivalence " $\nabla \times F = 0$ implies $F$ conservative" depends on the topology of the domain. On a simply connected region it holds, but on a region with holes it can fail — the classic example $F = (- y, x) / (x^{2} + y^{2})$ has zero curl yet nonzero circulation $2 π$ around the origin. Quantifying this failure is the subject of de Rham cohomology, which counts the independent "obstructions" (the dimension of closed-but-not-exact forms) and connects line integrals to the deep topology of the underlying space. For non-smooth or fractal curves, defining $\int_{C} f d s$ requires care about rectifiability, and rough-path theory (Lyons, 1990s) extends line-integral notions to curves too irregular for classical arc length, with applications to stochastic differential equations.

Line Integrals

The Core Insight

Formal Statement

Scalar Line Integral

Vector Line Integral

Tangential Form

Fundamental Theorem of Line Integrals

Why It Holds / Derivation

Fundamental Theorem of Line Integrals

William Thomson, Lord Kelvin | 1824–1907

Building Intuition

A curve C divided into infinitesimal segments, showing the tangent vector T and a vector field F

Worked Examples

Scalar Line Integral — Mass of a Wire

Vector Line Integral — Work Done by a Force

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads