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.

Key takeaways
  • 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 ∥r′(t)∥\|\mathbf{r}'(t)\|.
  • Vector line integrals compute work or circulation; they use the dot product with the velocity vector r′(t)\mathbf{r}'(t), 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 r(t)\mathbf{r}(t).

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 ∮E⋅dr\oint \mathbf{E}\cdot d\mathbf{r} in Faraday's law) are all line integrals. In complex analysis, the contour integral ∮Cf(z) dz\oint_C f(z)\,dz is precisely a vector line integral in disguise (treating C≅R2\mathbb{C} \cong \mathbb{R}^2), 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 ∫CF⋅dr\int_C \mathbf{F}\cdot d\mathbf{r} 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 r(t)=(cos⁡t,sin⁡t)\mathbf{r}(t) = (\cos t, \sin t), t∈[0,2π]t\in[0,2\pi], what is ∥r′(t)∥\|\mathbf{r}'(t)\|?]

  • cos⁡t\cos t
  • 11 ✓
  • tt
  • sin⁡t+cos⁡t\sin t + \cos t

Ask the tutor: How does the line integral ∮CF⋅dr\oint_C \mathbf{F}\cdot d\mathbf{r} around a closed curve relate to a double integral over the region it encloses?

DefinitionParametrized curves and line integrals

Let C⊂RnC \subset \mathbb{R}^n (n=2n = 2 or 33) be a curve, and let

r:[a,b]→Rn,r(t)=(x1(t),…,xn(t)),\mathbf{r} : [a,b] \to \mathbb{R}^n, \qquad \mathbf{r}(t) = (x_1(t), \dots, x_n(t)),

be a parametrization of CC, meaning r\mathbf{r} is continuous, r([a,b])=C\mathbf{r}([a,b]) = C, and r\mathbf{r} is injective on (a,b)(a,b) (the curve does not cross itself, except possibly r(a)=r(b)\mathbf{r}(a) = \mathbf{r}(b) for a closed curve). We call CC smooth if r\mathbf{r} is continuously differentiable on [a,b][a,b] and r′(t)≠0\mathbf{r}'(t) \neq \mathbf{0} for all t∈(a,b)t \in (a,b); we call CC piecewise smooth if [a,b][a,b] can be partitioned into finitely many subintervals on each of which r\mathbf{r} is smooth in this sense.

Scalar line integral. If f:C→Rf : C \to \mathbb{R} is continuous, the line integral of ff over CC with respect to arc length is

∫Cf ds:=∫abf(r(t)) ∥r′(t)∥ dt.\int_C f \, ds := \int_a^b f(\mathbf{r}(t)) \, \|\mathbf{r}'(t)\| \, dt.

The special case f≡1f \equiv 1 gives the arc length of CC:

L(C)=∫Cds=∫ab∥r′(t)∥ dt.L(C) = \int_C ds = \int_a^b \|\mathbf{r}'(t)\| \, dt.

Vector line integral (work integral). If F:C→Rn\mathbf{F} : C \to \mathbb{R}^n is a continuous vector field, the line integral of F\mathbf{F} over the oriented curve CC (traversed in the direction of increasing tt) is

∫CF⋅dr:=∫abF(r(t))⋅r′(t) dt.\int_C \mathbf{F} \cdot d\mathbf{r} := \int_a^b \mathbf{F}(\mathbf{r}(t)) \cdot \mathbf{r}'(t) \, dt.

Writing F=(F1,…,Fn)\mathbf{F} = (F_1, \dots, F_n) and dr=(dx1,…,dxn)d\mathbf{r} = (dx_1, \dots, dx_n), this is also written

∫CF1 dx1+⋯+Fn dxn.\int_C F_1\,dx_1 + \cdots + F_n\,dx_n.

For a piecewise smooth curve built from smooth pieces C1,…,CkC_1, \dots, C_k joined end to end, both integrals are defined by summing over the pieces:

∫Cf ds:=∑i=1k∫Cif ds,∫CF⋅dr:=∑i=1k∫CiF⋅dr.\int_C f\,ds := \sum_{i=1}^k \int_{C_i} f\,ds, \qquad \int_C \mathbf{F}\cdot d\mathbf{r} := \sum_{i=1}^k \int_{C_i} \mathbf{F}\cdot d\mathbf{r}.

Intuition

Think of walking along a wire bent into the shape of CC, carrying a scale that reads the value of ff at your current location. The scalar line integral ∫Cf ds\int_C f\, ds is what you'd get by chopping the wire into tiny arcs of length Δs\Delta s, multiplying each by the reading ff there, and summing — exactly the Riemann-sum philosophy of the ordinary integral, but with "dxdx" replaced by the arc-length element "dsds." The factor ∥r′(t)∥\|\mathbf{r}'(t)\| converts a small change dtdt in the parameter into the actual length dsds 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 F\mathbf{F} is a force field and you move along CC, only the component of F\mathbf{F} 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 F(r(t))⋅r′(t)\mathbf{F}(\mathbf{r}(t)) \cdot \mathbf{r}'(t): it isolates the tangential component of F\mathbf{F} 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.

Figure
Tangential projection producing the work integrand
r(t) r′(t) (tangent) F(r(t)) proj. of F on tangent Only the tangential component of F contributes to F·dr

The central theorem

TheoremWell-definedness under reparametrization

Let CC be a smooth curve. Let r:[a,b]→Rn\mathbf{r} : [a,b] \to \mathbb{R}^n and ρ:[c,d]→Rn\boldsymbol{\rho} : [c,d] \to \mathbb{R}^n both be smooth parametrizations of CC with r′(t)≠0\mathbf{r}'(t) \neq \mathbf{0}, ρ′(u)≠0\boldsymbol{\rho}'(u) \neq \mathbf{0} on the open intervals, related by a C1C^1 reparametrization map φ:[c,d]→[a,b]\varphi : [c,d] \to [a,b], bijective, with φ′(u)≠0\varphi'(u) \neq 0 for all uu, such that

ρ(u)=r(φ(u))for all u∈[c,d].\boldsymbol{\rho}(u) = \mathbf{r}(\varphi(u)) \quad \text{for all } u \in [c,d].

Let f:C→Rf : C \to \mathbb{R} be continuous and let F:C→Rn\mathbf{F} : C \to \mathbb{R}^n be continuous. Then:

(a) The scalar line integral is parametrization-independent:

∫abf(r(t)) ∥r′(t)∥ dt  =  ∫cdf(ρ(u)) ∥ρ′(u)∥ du.\int_a^b f(\mathbf{r}(t))\,\|\mathbf{r}'(t)\|\,dt \;=\; \int_c^d f(\boldsymbol{\rho}(u))\,\|\boldsymbol{\rho}'(u)\|\,du.

(b) If φ\varphi is increasing (so φ(c)=a\varphi(c)=a, φ(d)=b\varphi(d)=b; orientation-preserving), then

∫abF(r(t))⋅r′(t) dt  =  ∫cdF(ρ(u))⋅ρ′(u) du.\int_a^b \mathbf{F}(\mathbf{r}(t))\cdot \mathbf{r}'(t)\,dt \;=\; \int_c^d \mathbf{F}(\boldsymbol{\rho}(u))\cdot \boldsymbol{\rho}'(u)\,du.

If φ\varphi is decreasing (so φ(c)=b\varphi(c) = b, φ(d)=a\varphi(d) = a; orientation-reversing), the two vector line integrals are negatives of each other.

Proof

The technique is the substitution rule for Riemann integrals applied coordinatewise, plus the chain rule. Since φ\varphi is C1C^1, bijective, with φ′≠0\varphi' \neq 0 everywhere on (c,d)(c,d), and [c,d][c,d] is an interval, φ′\varphi' has constant sign on (c,d)(c,d) (an application of the Intermediate Value Theorem to φ′\varphi': if φ′\varphi' took both a positive and a negative value, by IVT it would vanish somewhere, contradicting φ′≠0\varphi' \neq 0). Hence φ\varphi is strictly monotonic. We treat the increasing case; the decreasing case is identical with sign changes tracked explicitly.

Step 1 (chain rule). By definition ρ(u)=r(φ(u))\boldsymbol{\rho}(u) = \mathbf{r}(\varphi(u)), so by the chain rule applied to each component,

ρ′(u)=r′(φ(u)) φ′(u).\boldsymbol{\rho}'(u) = \mathbf{r}'(\varphi(u))\,\varphi'(u).

Step 2 (proof of (a)). Taking norms,

∥ρ′(u)∥=∥r′(φ(u))∥ ∣φ′(u)∣,\|\boldsymbol{\rho}'(u)\| = \|\mathbf{r}'(\varphi(u))\| \, |\varphi'(u)|,

using that ∥cv∥=∣c∣∥v∥\|c\mathbf{v}\| = |c|\|\mathbf{v}\| for a scalar cc and vector v\mathbf{v}. Therefore

∫cdf(ρ(u))∥ρ′(u)∥ du=∫cdf(r(φ(u))) ∥r′(φ(u))∥ ∣φ′(u)∣ du.\int_c^d f(\boldsymbol{\rho}(u))\|\boldsymbol{\rho}'(u)\|\,du = \int_c^d f(\mathbf{r}(\varphi(u)))\,\|\mathbf{r}'(\varphi(u))\|\,|\varphi'(u)|\,du.

Since φ\varphi is increasing, φ′>0\varphi' > 0 on (c,d)(c,d), so ∣φ′(u)∣=φ′(u)|\varphi'(u)| = \varphi'(u), and the integrand is exactly

g(φ(u)) φ′(u),where g(t):=f(r(t))∥r′(t)∥g(\varphi(u))\,\varphi'(u), \qquad \text{where } g(t) := f(\mathbf{r}(t))\|\mathbf{r}'(t)\|

is continuous on [a,b][a,b] (composition and product of continuous functions; ∥r′(⋅)∥\|\mathbf{r}'(\cdot)\| is continuous since r′\mathbf{r}' is continuous). By the substitution rule for the single-variable Riemann integral (valid since φ\varphi is C1C^1 and gg is continuous, hence Riemann integrable), with t=φ(u)t = \varphi(u), dt=φ′(u) dudt = \varphi'(u)\,du, and limits φ(c)=a\varphi(c)=a, φ(d)=b\varphi(d)=b:

∫cdg(φ(u)) φ′(u) du=∫abg(t) dt=∫abf(r(t))∥r′(t)∥ dt.\int_c^d g(\varphi(u))\,\varphi'(u)\,du = \int_a^b g(t)\,dt = \int_a^b f(\mathbf{r}(t))\|\mathbf{r}'(t)\|\,dt.

This proves (a).

Step 3 (proof of (b), increasing case). Using Step 1,

F(ρ(u))⋅ρ′(u)=F(r(φ(u)))⋅(r′(φ(u)) φ′(u))=[F(r(φ(u)))⋅r′(φ(u))] φ′(u),\mathbf{F}(\boldsymbol{\rho}(u))\cdot \boldsymbol{\rho}'(u) = \mathbf{F}(\mathbf{r}(\varphi(u))) \cdot \big(\mathbf{r}'(\varphi(u))\,\varphi'(u)\big) = \big[\mathbf{F}(\mathbf{r}(\varphi(u)))\cdot \mathbf{r}'(\varphi(u))\big]\,\varphi'(u),

using bilinearity of the dot product to pull out the scalar φ′(u)\varphi'(u). Set h(t):=F(r(t))⋅r′(t)h(t) := \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t), continuous on [a,b][a,b]. Then the right side of (b) becomes

∫cdh(φ(u)) φ′(u) du=∫abh(t) dt=∫abF(r(t))⋅r′(t) dt,\int_c^d h(\varphi(u))\,\varphi'(u)\,du = \int_a^b h(t)\,dt = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt,

again by the substitution rule, since φ\varphi is increasing with φ(c)=a,φ(d)=b\varphi(c)=a,\varphi(d)=b. This proves the first claim of (b).

Step 4 (decreasing case). If φ\varphi is decreasing, then φ′<0\varphi' < 0 throughout, φ(c)=b\varphi(c) = b, φ(d)=a\varphi(d) = a. The scalar case (a) is unaffected because ∣φ′(u)∣=−φ′(u)|\varphi'(u)| = -\varphi'(u) exactly compensates for the reversal of integration limits: substitution gives

∫cdg(φ(u)) (−φ′(u)) du=−∫cdg(φ(u))φ′(u) du=−∫bag(t) dt=∫abg(t) dt,\int_c^d g(\varphi(u))\,(-\varphi'(u))\,du = -\int_c^d g(\varphi(u))\varphi'(u)\,du = -\int_b^a g(t)\,dt = \int_a^b g(t)\,dt,

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

∫cdh(φ(u))φ′(u) du=∫bah(t) dt=−∫abh(t) dt,\int_c^d h(\varphi(u))\varphi'(u)\,du = \int_b^a h(t)\,dt = -\int_a^b h(t)\,dt,

so the vector line integral over ρ\boldsymbol{\rho} equals the negative of the vector line integral over r\mathbf{r}. This is the claimed sign reversal, and the proof is complete. ■\blacksquare

∎
CorollaryPiecewise-smooth invariance

The definitions of ∫Cf ds\int_C f\,ds and ∫CF⋅dr\int_C \mathbf{F}\cdot d\mathbf{r} 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

r(t)=(t2,23t3),t∈[0,2],\mathbf{r}(t) = (t^2, \tfrac{2}{3}t^3), \qquad t \in [0,2],

and has linear density δ(x,y)=1+y\delta(x,y) = 1 + y (mass per unit length). Find the total mass of the wire. Solution. Mass is M=∫Cδ ds=∫02δ(r(t)) ∥r′(t)∥ dt\displaystyle M = \int_C \delta\,ds = \int_0^2 \delta(\mathbf{r}(t))\,\|\mathbf{r}'(t)\|\,dt. Compute r′(t)=(2t, 2t2)\mathbf{r}'(t) = (2t,\, 2t^2), so

∥r′(t)∥=(2t)2+(2t2)2=4t2+4t4=2∣t∣1+t2=2t1+t2\|\mathbf{r}'(t)\| = \sqrt{(2t)^2 + (2t^2)^2} = \sqrt{4t^2 + 4t^4} = 2|t|\sqrt{1+t^2} = 2t\sqrt{1+t^2}

for t∈[0,2]t \in [0,2] (where t≥0t \geq 0, so ∣t∣=t|t| = t). Next, δ(r(t))=1+23t3\delta(\mathbf{r}(t)) = 1 + \tfrac{2}{3}t^3. So

M=∫02(1+23t3)⋅2t1+t2 dt=∫02(2t+43t4)1+t2 dt.M = \int_0^2 \Big(1 + \tfrac{2}{3}t^3\Big)\cdot 2t\sqrt{1+t^2}\,dt = \int_0^2 \Big(2t + \tfrac{4}{3}t^4\Big)\sqrt{1+t^2}\,dt.

Split into two integrals: M=M1+M2M = M_1 + M_2 where

M1=∫022t1+t2 dt,M2=43∫02t41+t2 dt.M_1 = \int_0^2 2t\sqrt{1+t^2}\,dt, \qquad M_2 = \tfrac{4}{3}\int_0^2 t^4\sqrt{1+t^2}\,dt.

Computing M1M_1: substitute w=1+t2w = 1+t^2, dw=2t dtdw = 2t\,dt; when t=0t=0, w=1w=1; when t=2t=2, w=5w=5:

M1=∫15w dw=[23w3/2]15=23(53/2−1)=23(55−1).M_1 = \int_1^5 \sqrt{w}\,dw = \Big[\tfrac{2}{3}w^{3/2}\Big]_1^5 = \tfrac{2}{3}\big(5^{3/2} - 1\big) = \tfrac{2}{3}(5\sqrt5 - 1).

Numerically 55≈11.18035\sqrt5 \approx 11.1803, so M1≈23(10.1803)≈6.7869M_1 \approx \tfrac{2}{3}(10.1803) \approx 6.7869.

Computing M2M_2: 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 ∫t41+t2 dt\int t^4\sqrt{1+t^2}\,dt via hyperbolic substitution t=sinh⁡θt = \sinh\theta, dt=cosh⁡θ dθdt = \cosh\theta\,d\theta, 1+t2=cosh⁡θ\sqrt{1+t^2} = \cosh\theta:

∫t41+t2 dt=∫sinh⁡4θcosh⁡2θ dθ.\int t^4 \sqrt{1+t^2}\,dt = \int \sinh^4\theta \cosh^2\theta \, d\theta.

Rather than carry the antiderivative symbolically, we evaluate M2M_2 numerically (Simpson's rule with n=8n=8 subintervals on [0,2][0,2], step h=0.25h = 0.25), which is standard practice once a closed form is unwieldy. Let ψ(t)=t41+t2\psi(t) = t^4\sqrt{1+t^2}:

tt000.250.250.50.50.750.751.01.01.251.251.51.51.751.752.02.0
ψ(t)\psi(t)000.003940.003940.06990.06990.35360.35361.11801.11802.64322.64325.22025.22029.20499.204914.719614.7196

Simpson's rule:

∫02ψ(t) dt≈h3[ψ0+ψ8+4(ψ1+ψ3+ψ5+ψ7)+2(ψ2+ψ4+ψ6)].\int_0^2 \psi(t)\,dt \approx \tfrac{h}{3}\Big[\psi_0 + \psi_8 + 4(\psi_1+\psi_3+\psi_5+\psi_7) + 2(\psi_2+\psi_4+\psi_6)\Big].

Compute the odd-index sum: ψ1+ψ3+ψ5+ψ7=0.00394+0.3536+2.6432+9.2049=12.2056\psi_1+\psi_3+\psi_5+\psi_7 = 0.00394 + 0.3536 + 2.6432 + 9.2049 = 12.2056, times 44: 48.822548.8225. Even-index (interior) sum: ψ2+ψ4+ψ6=0.0699+1.1180+5.2202=6.4081\psi_2+\psi_4+\psi_6 = 0.0699 + 1.1180 + 5.2202 = 6.4081, times 22: 12.816212.8162. Endpoints: ψ0+ψ8=0+14.7196=14.7196\psi_0+\psi_8 = 0 + 14.7196 = 14.7196. Total bracket: 14.7196+48.8225+12.8162=76.358314.7196 + 48.8225 + 12.8162 = 76.3583. Multiply by h/3=0.25/3=0.08333h/3 = 0.25/3 = 0.08333:

∫02t41+t2 dt≈76.3583×0.08333≈6.3632.\int_0^2 t^4\sqrt{1+t^2}\,dt \approx 76.3583 \times 0.08333 \approx 6.3632.

So M2≈43(6.3632)≈8.4843M_2 \approx \tfrac{4}{3}(6.3632) \approx 8.4843.

Total mass:

M=M1+M2≈6.7869+8.4843≈15.271.M = M_1 + M_2 \approx 6.7869 + 8.4843 \approx 15.271.

This example illustrates that setting up a line integral is always mechanical (parametrize, compute ∥r′(t)∥\|\mathbf{r}'(t)\|, 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 F(x,y,z)=(y,−x,z2)\mathbf{F}(x,y,z) = (y, -x, z^2), a vector field on R3\mathbb{R}^3. Let CC be the piecewise-smooth curve consisting of:

  • C1C_1: one quarter turn of a helix, r1(t)=(cos⁡t,sin⁡t,t)\mathbf{r}_1(t) = (\cos t, \sin t, t) for t∈[0,π/2]t \in [0, \pi/2];
  • C2C_2: the straight segment from r1(π/2)=(0,1,π/2)\mathbf{r}_1(\pi/2) = (0,1,\pi/2) to (3,1,π/2)(3, 1, \pi/2).

Compute ∫CF⋅dr\displaystyle \int_C \mathbf{F}\cdot d\mathbf{r}. Solution. By definition, ∫CF⋅dr=∫C1F⋅dr+∫C2F⋅dr\int_C \mathbf{F}\cdot d\mathbf{r} = \int_{C_1}\mathbf{F}\cdot d\mathbf{r} + \int_{C_2}\mathbf{F}\cdot d\mathbf{r}.

On C1C_1: r1′(t)=(−sin⁡t,cos⁡t,1)\mathbf{r}_1'(t) = (-\sin t, \cos t, 1). Evaluate F\mathbf{F} along the path:

F(r1(t))=(sin⁡t, −cos⁡t, t2).\mathbf{F}(\mathbf{r}_1(t)) = (\sin t,\, -\cos t,\, t^2).

Dot product:

F(r1(t))⋅r1′(t)=sin⁡t⋅(−sin⁡t)+(−cos⁡t)(cos⁡t)+t2⋅1=−sin⁡2t−cos⁡2t+t2=−1+t2.\mathbf{F}(\mathbf{r}_1(t))\cdot \mathbf{r}_1'(t) = \sin t\cdot(-\sin t) + (-\cos t)(\cos t) + t^2 \cdot 1 = -\sin^2 t - \cos^2 t + t^2 = -1 + t^2.

So

∫C1F⋅dr=∫0π/2(t2−1) dt=[t33−t]0π/2=(π/2)33−π2.\int_{C_1}\mathbf{F}\cdot d\mathbf{r} = \int_0^{\pi/2} (t^2 - 1)\,dt = \Big[\tfrac{t^3}{3} - t\Big]_0^{\pi/2} = \frac{(\pi/2)^3}{3} - \frac{\pi}{2}.

Numerically, (π/2)3=(1.5708)3≈3.8758(\pi/2)^3 = (1.5708)^3 \approx 3.8758, so 13(3.8758)≈1.2919\tfrac{1}{3}(3.8758) \approx 1.2919, and π/2≈1.5708\pi/2 \approx 1.5708. Thus

∫C1F⋅dr≈1.2919−1.5708=−0.2789.\int_{C_1}\mathbf{F}\cdot d\mathbf{r} \approx 1.2919 - 1.5708 = -0.2789.

On C2C_2: parametrize the segment from (0,1,π/2)(0,1,\pi/2) to (3,1,π/2)(3,1,\pi/2) linearly:

r2(s)=(3s, 1, π/2),s∈[0,1],r2′(s)=(3,0,0).\mathbf{r}_2(s) = (3s,\, 1,\, \pi/2), \qquad s\in[0,1], \qquad \mathbf{r}_2'(s) = (3, 0, 0).

Here yy and zz are constant along C2C_2. Evaluate F\mathbf{F}:

F(r2(s))=(1, −3s, (π/2)2).\mathbf{F}(\mathbf{r}_2(s)) = (1,\, -3s,\, (\pi/2)^2).

Dot product with r2′(s)=(3,0,0)\mathbf{r}_2'(s) = (3,0,0):

F(r2(s))⋅r2′(s)=1⋅3+(−3s)⋅0+(π/2)2⋅0=3.\mathbf{F}(\mathbf{r}_2(s)) \cdot \mathbf{r}_2'(s) = 1\cdot 3 + (-3s)\cdot 0 + (\pi/2)^2\cdot 0 = 3.

So

∫C2F⋅dr=∫013 ds=3.\int_{C_2}\mathbf{F}\cdot d\mathbf{r} = \int_0^1 3\,ds = 3.

Total:

∫CF⋅dr=(π324−π2)+3≈−0.2789+3=2.7211.\int_C \mathbf{F}\cdot d\mathbf{r} = \Big(\frac{\pi^3}{24} - \frac{\pi}{2}\Big) + 3 \approx -0.2789 + 3 = 2.7211.

This example shows the two essential mechanics of vector line integrals in action: the trigonometric identity sin⁡2t+cos⁡2t=1\sin^2 t + \cos^2 t = 1 collapsing the helix computation, and the fact that only the tangential direction of r2′\mathbf{r}_2' (purely in xx) survives the dot product on the straight piece, silently discarding the yy- and zz-components of F\mathbf{F} entirely.

CounterexampleDropping smoothness: a cusp breaks the arc-length formula

The theorem's hypothesis r′(t)≠0\mathbf{r}'(t) \neq \mathbf{0} on (a,b)(a,b) (regularity) is essential for ∫ab∥r′(t)∥ dt\int_a^b \|\mathbf{r}'(t)\|\,dt to correctly compute arc length — and, more subtly, for reparametrization invariance to behave as expected in edge cases. Consider r(t)=(t3,∣t∣3)\mathbf{r}(t) = (t^3, |t|^3) for t∈[−1,1]t \in [-1,1], which traces a curve with a cusp-like flattening at the origin (in fact here r\mathbf{r} is C1C^1 but r′(0)=(0,0)\mathbf{r}'(0) = (0,0), violating regularity at the single interior point t=0t=0). Compute r′(t)=(3t2, 3t∣t∣)\mathbf{r}'(t) = (3t^2,\, 3t|t|) for t≠0t\ne 0 (using ddt∣t∣3=3t2 sgn(t)⋅∣t∣=3t∣t∣\frac{d}{dt}|t|^3 = 3t^2\,\mathrm{sgn}(t) \cdot |t| = 3t|t|), and r′(0)=(0,0)\mathbf{r}'(0) = (0,0) by direct differentiation of the definition of the derivative. So

∥r′(t)∥=9t4+9t2∣t∣2=9t4+9t4=32 t2.\|\mathbf{r}'(t)\| = \sqrt{9t^4 + 9t^2|t|^2} = \sqrt{9t^4+9t^4} = 3\sqrt2\, t^2 .

The formula ∫−11∥r′(t)∥ dt=32∫−11t2 dt=32⋅23=22\int_{-1}^1 \|\mathbf{r}'(t)\|\,dt = 3\sqrt2\int_{-1}^1 t^2\,dt = 3\sqrt2 \cdot \tfrac{2}{3} = 2\sqrt2 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 r\mathbf{r} fails to be injective (self-intersects) without our accounting for it: if r\mathbf{r} retraces part of the curve — e.g. r(t)=(cos⁡(2πsin⁡t),sin⁡(2πsin⁡t))\mathbf{r}(t) = (\cos(2\pi\sin t), \sin(2\pi \sin t)) for t∈[0,π]t \in [0,\pi], which sends tt and π−t\pi - t to different points generally but can be engineered to backtrack over the same arc of the unit circle as tt increases past π/2\pi/2 — then ∫ab∥r′(t)∥ dt\int_a^b \|\mathbf{r}'(t)\|\,dt counts the doubled-back portion twice, and no longer equals the length of the point set C=r([a,b])C = \mathbf{r}([a,b]), 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 r\mathbf{r} is injective on the open interval, as the definition requires. Dropping injectivity breaks the identification of ∫Cds\int_C ds with the length of CC as a set.

Scope, edge cases & common traps

SituationWhat to watch for
Piecewise smooth curvesSplit at corners; sum the integral over each smooth piece — never differentiate through a corner.
Reversing orientation, −C-C∫−Cf ds=∫Cf ds\int_{-C} f\,ds = \int_C f\,ds (scalar integral unaffected), but ∫−CF⋅dr=−∫CF⋅dr\int_{-C}\mathbf{F}\cdot d\mathbf{r} = -\int_C \mathbf{F}\cdot d\mathbf{r}.
Closed curvesNotation ∮C\oint_C is common; still just the definition with r(a)=r(b)\mathbf{r}(a) = \mathbf{r}(b).
Self-intersecting parametrizations∫Cf ds\int_C f\,ds may double-count arc length if r\mathbf{r} is not injective on (a,b)(a,b); check injectivity before invoking "arc length."
Cusps, non-regular pointsr′(t)=0\mathbf{r}'(t) = 0 at isolated points is often harmless (integral still converges), but tangent direction and hence orientation may be undefined there.
Confusing dsds and drd\mathbf{r}ds=∥r′(t)∥ dtds = \|\mathbf{r}'(t)\|\,dt is a scalar (always positive); dr=r′(t) dtd\mathbf{r} = \mathbf{r}'(t)\,dt is a vector. Never write ∫CF ds\int_C \mathbf{F}\,ds meaning work — that computes a vector, not the work scalar.

The mathematician behind it

Origins · 1 minLeonhard Euler and how this was discovered
LE
Leonhard Euler
1707–1783 · 18th-century analysis and mechanics, University of Basel and St. Petersburg/Berlin Academies

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.

History
- 1730s–1740s: Euler develops parametrized curve techniques and the calculus of variations, computing work-like quantities along paths in mechanics.
- 1828: George Green's essay on electricity and magnetism introduces potential functions and integral identities relating line and area integrals — the seed of what becomes Green's Theorem.
- 1846–1850: Stokes and Kelvin formulate circulation integrals for fluid and electromagnetic fields, cementing the vector line integral ∮F⋅dr\oint \mathbf{F}\cdot d\mathbf{r} as standard.
- 1880s: Josiah Willard Gibbs and Oliver Heaviside systematize vector notation, giving line integrals their modern dot-product form.
- 20th century: Line integrals become foundational in the rigorous theory of Conservative Fields and Potentials and differential forms, unifying with Stokes' theorem in general dimension.
Why does the scalar line integral use ∥r′(t)∥\|\mathbf{r}'(t)\| while the vector line integral uses r′(t)\mathbf{r}'(t) directly?

The scalar integral ∫Cf ds\int_C f\,ds accumulates ff against arc length, a quantity that is always nonnegative and does not care about direction of travel — so we need the speed ∥r′(t)∥\|\mathbf{r}'(t)\|, a scalar. The vector integral ∫CF⋅dr\int_C \mathbf{F}\cdot d\mathbf{r} accumulates the tangential component of F\mathbf{F} against signed displacement, so it needs the full vector r′(t)\mathbf{r}'(t) (which encodes both speed and direction) dotted with F\mathbf{F}. This is why reversing orientation leaves ∫Cf ds\int_C f\,ds unchanged but flips the sign of ∫CF⋅dr\int_C \mathbf{F}\cdot d\mathbf{r}: 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 r(t)\mathbf{r}(t), both ∫Cf ds\int_C f\,ds and ∫CF⋅dr\int_C \mathbf{F}\cdot d\mathbf{r} reduce immediately to ordinary single-variable Riemann integrals over [a,b][a,b]. 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 xx itself as the parameter when the curve is a graph y=g(x)y=g(x)). 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 [a,b][a,b] into subintervals on which r\mathbf{r} is C1C^1 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 F(r(t))⋅r′(t)\mathbf{F}(\mathbf{r}(t))\cdot \mathbf{r}'(t) certainly depends on speed (a faster r′(t)\mathbf{r}'(t) makes each integrand value larger), the reparametrization theorem shows the total integral ∫abF(r(t))⋅r′(t) dt\int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt 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 f≡1f \equiv 1 in the scalar line integral: ∫C1 ds=∫ab∥r′(t)∥ dt\int_C 1\,ds = \int_a^b \|\mathbf{r}'(t)\|\,dt. 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 f=1f=1 instance of ∫Cf ds\int_C f\,ds. This is why the notation dsds for "arc-length element" is used generally, and why mass, average temperature, and other physical quantities distributed along a wire all use the same ∫Cf ds\int_C f\,ds template with ff 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 ff weighted by unsigned arc length, a purely geometric quantity attached to the point set CC; walking a path backward covers the same length. The vector integral sums up the signed tangential component of F\mathbf{F}, which is a directional quantity: walking backward means your velocity vector r′(t)\mathbf{r}'(t) flips sign, so the dot product with F\mathbf{F} flips sign too. Both behaviors follow rigorously from the same proof (the reparametrization theorem), just applied with ∣φ′∣|\varphi'| versus φ′\varphi' respectively.

Before this

Where this leads