Line Integrals

⚡ Key Takeaways

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.

💡 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.

DefinitionScalar Line Integral

Let $C$ be a smooth curve parametrized by $\mathbf{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

1

\quad \int_C f\,ds = \int_a^b f(\mathbf{r}(t))\,\|\mathbf{r}'(t)\|\,dt

where $ds = \|\mathbf{r}'(t)\|\,dt$ is the arc-length element, $\mathbf{r}'(t) = (x'(t), y'(t), z'(t))$ is the velocity vector, and $\|\mathbf{r}'(t)\| = \sqrt{x'(t)^2 + y'(t)^2 + z'(t)^2}$ is its magnitude (speed).

DefinitionVector Line Integral

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

2

\quad \int_C \mathbf{F}\cdot d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot \mathbf{r}'(t)\,dt

In component form, with $d\mathbf{r} = (dx, dy, dz)$ ,

3

\quad \int_C \mathbf{F}\cdot d\mathbf{r} = \int_C P\,dx + Q\,dy + R\,dz

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

💡 The Core Insight

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

4

\quad \int_C \mathbf{F}\cdot d\mathbf{r} = \int_C (\mathbf{F}\cdot\mathbf{T})\,ds

Derivation hint: Substitute $\mathbf{r}'(t)\,dt = \mathbf{T}\,\|\mathbf{r}'(t)\|\,dt = \mathbf{T}\,ds$ into equation [2].

TheoremFundamental Theorem of Line Integrals

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

5

\quad \int_C \nabla\varphi\cdot d\mathbf{r} = \varphi(B) - \varphi(A)

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

ProofFundamental Theorem of Line Integrals

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

Step 1. Parametrize $C$ by $\mathbf{r}(t)$ , $t\in[a,b]$ , with $\mathbf{r}(a) = A$ and $\mathbf{r}(b) = B$ .

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

6

\quad \int_C \nabla\varphi\cdot d\mathbf{r} = \int_a^b \nabla\varphi(\mathbf{r}(t))\cdot \mathbf{r}'(t)\,dt

Derivation hint: Direct substitution of $\mathbf{F} = \nabla\varphi$ into the vector line integral definition.

Step 3. Recognize the integrand by the chain rule. Define $g(t) = \varphi(\mathbf{r}(t))$ . Then

7

\quad g'(t) = \frac{\partial\varphi}{\partial x}x'(t) + \frac{\partial\varphi}{\partial y}y'(t) + \frac{\partial\varphi}{\partial z}z'(t) = \nabla\varphi(\mathbf{r}(t))\cdot\mathbf{r}'(t)

Derivation hint: Multivariable chain rule for the composition of $\varphi$ with the vector function $\mathbf{r}(t)$ .

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

8

\quad \int_a^b g'(t)\,dt = g(b) - g(a) = \varphi(\mathbf{r}(b)) - \varphi(\mathbf{r}(a)) = \varphi(B) - \varphi(A)

Derivation hint: $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. $\blacksquare$

∎

WT

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 \mathbf{F}\cdot d\mathbf{r}$ measures the "swirl" of a field threading a region is central to his fluid-dynamics legacy.

🧠 Intuition

Imagine walking a hiking trail $C$ while a wind field $\mathbf{F}$ blows. The vector line integral $\int_C\mathbf{F}\cdot d\mathbf{r}$ measures how much the wind helps or hinders you: when the wind aligns with your direction of travel ( $\mathbf{F}\cdot\mathbf{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\,ds$ 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.

Figure

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

ExampleScalar Line Integral — Mass of a Wire

Given: A wire follows the helix $\mathbf{r}(t) = (\cos t, \sin t, t)$ for $t\in[0,2\pi]$ , with linear density $f(x,y,z) = z$ (units: kg/m, with $z$ in meters).

Find: the total mass $M = \int_C f\,ds$ .

Step 1. Compute the velocity: $\mathbf{r}'(t) = (-\sin t, \cos t, 1)$ .

Step 2. Compute the speed:

\|\mathbf{r}'(t)\| = \sqrt{\sin^2 t + \cos^2 t + 1} = \sqrt{2}

Step 3. Express $f$ along the curve: $f(\mathbf{r}(t)) = z = t$ .

Step 4. Apply equation [1]:

M = \int_0^{2\pi} t \cdot \sqrt{2}\,dt = \sqrt{2}\left[\frac{t^2}{2}\right]_0^{2\pi} = \sqrt{2}\cdot 2\pi^2

\boxed{M = 2\sqrt{2}\,\pi^2 \approx 27.92 \text{ kg}}

ExampleVector Line Integral — Work Done by a Force

Given: A particle moves along the parabola $y = x^2$ from $(0,0)$ to $(2,4)$ under the force field $\mathbf{F}(x,y) = (xy,\; x - y)$ (units: newtons, position in meters).

Find: the work $W = \int_C \mathbf{F}\cdot d\mathbf{r}$ .

Step 1. Parametrize: $\mathbf{r}(t) = (t, t^2)$ , $t\in[0,2]$ . Then $\mathbf{r}'(t) = (1, 2t)$ .

Step 2. Evaluate $\mathbf{F}$ on the curve:

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

Step 3. Form the dot product:

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

Step 4. Apply equation [2]:

W = \int_0^2 (-t^3 + 2t^2)\,dt = \left[-\frac{t^4}{4} + \frac{2t^3}{3}\right]_0^2 = -4 + \frac{16}{3} = \frac{4}{3}

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

⚠️ Common mistake

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\,ds = \int_C f\,ds$ , because $ds = \|\mathbf{r}'\|\,dt > 0$ regardless of direction. But the vector integral flips sign: $\int_{-C}\mathbf{F}\cdot d\mathbf{r} = -\int_C\mathbf{F}\cdot d\mathbf{r}$ , because the tangent vector reverses. Confusing these is a common source of sign errors.

⚠️ Common mistake

A line integral does not generally depend only on the endpoints. Path independence holds only for conservative fields ( $\mathbf{F} = \nabla\varphi$ ). For a general field, two different paths between the same endpoints give different answers. Always check whether $\mathbf{F}$ is conservative (e.g., via $\partial P/\partial y = \partial Q/\partial x$ on a simply connected domain) before invoking equation [5].

Counterexample

Consider $\mathbf{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 $\mathbf{r}(t) = (\cos t, \sin t)$ , $t: 0\to\pi$ :

\int = \int_0^\pi (-\sin t)(-\sin t) + (\cos t)(\cos t)\,dt = \int_0^\pi 1\,dt = \pi

Lower path $\mathbf{r}(t) = (\cos t, -\sin t)$ , $t: 0\to\pi$ gives $-\pi$ . 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 $\pi - (-\pi) = 2\pi \neq 0$ .

connection

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\mathbf{F}\cdot d\mathbf{r}$ to the curl of $\mathbf{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 $\mathbf{F}$ being a Conservative Vector Field, which on simply connected domains is equivalent to $\nabla\times\mathbf{F} = \mathbf{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.

🔬 Where this appears

⏳ History

- 1743 — Alexis Clairaut studies path-dependence conditions for differential expressions

P\,dx + Q\,dy

, 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 \mathbf{F}\cdot d\mathbf{r}

.

- 1899 — Henri Poincaré and Élie Cartan develop the theory of differential forms, unifying line, surface, and volume integrals under the generalized Stokes theorem.

open-problem

The equivalence " $\nabla\times\mathbf{F} = \mathbf{0}$ implies $\mathbf{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 $\mathbf{F} = (-y, x)/(x^2+y^2)$ has zero curl yet nonzero circulation $2\pi$ 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\,ds$ 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.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also