Line integrals

A single-variable integral ∫abf(x) dx\int_a^b f(x)\,dx totals a function along a straight segment of the xx-axis. A line integral does the same job along a curved path in space, and it totals a vector field rather than a scalar — at every point of the curve it asks how much the field points along the direction of travel, and adds that up. The single most important reading of this in MA10002 is mechanical: if F⃗\vec F is a force field, ∫CF⃗⋅dr⃗\int_C \vec F\cdot d\vec r is the work that force does on a particle dragged along the curve CC. This topic sits right after divergence, curl and the Laplacian in the vector calculus unit, and it opens the door to Green's, Gauss's and Stokes's theorems later in the course. Everything here reduces to one trick: turn the curve into a single parameter tt, and the line integral collapses into an ordinary definite integral you already know how to evaluate.

The core insight

A line integral ∫CF⃗⋅dr⃗\int_C \vec F\cdot d\vec r measures the total component of a vector field along a curve's direction of travel, and is computed by parametrizing the curve so the integral collapses to an ordinary single-variable integral in tt.

The core idea

Setting up the object. Let CC be a curve given by a parametrization r⃗(t)=(x(t),y(t),z(t))\vec r(t) = (x(t), y(t), z(t)) for t∈[a,b]t \in [a,b], and let F⃗(x,y,z)=F1ı^+F2ȷ^+F3k^\vec F(x,y,z) = F_1\hat\imath + F_2\hat\jmath + F_3\hat k be a vector field defined at points of CC. The line integral of F⃗\vec F along CC is

∫CF⃗⋅dr⃗=∫abF⃗(r⃗(t))⋅r⃗ ′(t) dt,\int_C \vec F\cdot d\vec r = \int_a^b \vec F(\vec r(t))\cdot \vec r\,'(t)\,dt,

where: r⃗ ′(t)=(x′(t),y′(t),z′(t))\vec r\,'(t) = (x'(t), y'(t), z'(t)) is the tangent vector to CC (its direction is the direction of travel), and the dot product F⃗⋅r⃗ ′\vec F\cdot \vec r\,' picks out only the part of F⃗\vec F pointing along that tangent at each instant. The same integral is often written in the equivalent differential form ∫CF1 dx+F2 dy+F3 dz\int_C F_1\,dx + F_2\,dy + F_3\,dz, which is just the dot-product form with dr⃗=(dx,dy,dz)d\vec r = (dx,dy,dz) spelled out.

Why the dot product. A vector field can point in any direction relative to the curve — along it, against it, or sideways to it. Only the component along the curve contributes to the running total; a field perpendicular to the path at some instant contributes nothing there. The dot product F⃗⋅r⃗ ′\vec F\cdot \vec r\,' is exactly the algebraic device that extracts this "along the path" component, instant by instant, before the ordinary integral adds them all up.

Work interpretation. If F⃗\vec F is a force field (units: newton, and lengths in metres), then ∫CF⃗⋅dr⃗\displaystyle\int_C \vec F\cdot d\vec r is the work (units: joule) that the force does on a particle moving along CC from its start point to its end point. This is by far the most common physical reading of a line integral in this course, and almost every exam problem is dressed up as "find the work done."

Orientation matters. A curve traversed in one direction and the same curve traversed in the opposite direction give line integrals that are negatives of each other, because reversing direction flips the sign of the tangent vector r⃗ ′(t)\vec r\,'(t). Always check that the chosen parametrization starts and ends where the problem says it should.

Figure
A curve from point A to point B with a tangent arrow at a sample point and the force vector at that point split into a component along the tangent and a component perpendicular to it
Only the component of F along the path contributes to the line integral A (t = a) B (t = b) tangent r'(t) force F component along path counts

Piecewise curves. If C=C1∪C2∪⋯C = C_1 \cup C_2 \cup \cdots is made of several joined pieces, the line integral over CC is simply the sum of the line integrals over each piece, each evaluated with its own parametrization.

Derivation AReducing a line integral to a single-variable integral

The goal is to show precisely why the abstract definition ∫CF⃗⋅dr⃗\int_C \vec F\cdot d\vec r always reduces to an ordinary definite integral ∫abg(t) dt\int_a^b g(t)\,dt in one variable tt once a curve is parametrized, so that every line-integral problem in this course becomes a four-step mechanical procedure rather than a fresh puzzle each time.

Step 1. Fix a parametrization of CC: write x=x(t)x = x(t), y=y(t)y = y(t), z=z(t)z = z(t) for t∈[a,b]t \in [a,b], chosen so that t=at = a gives the curve's start point and t=bt = b gives its end point (reversing this choice reverses the sign of the final answer). This turns the two- or three-dimensional curve into a single real-number line, the interval [a,b][a,b], which is the whole point: everything downstream is one-dimensional calculus.

Step 2. Differentiate the parametrization to get the tangent vector r⃗ ′(t)=(x′(t),y′(t),z′(t))\vec r\,'(t) = (x'(t), y'(t), z'(t)). This vector records the instantaneous direction and speed of travel along CC as tt increases, and it is exactly the dr⃗d\vec r that appears in F⃗⋅dr⃗\vec F\cdot d\vec r once both sides are divided by dtdt.

Step 3. Substitute x(t),y(t),z(t)x(t), y(t), z(t) into the components of F⃗\vec F to obtain F⃗(r⃗(t))\vec F(\vec r(t)), the field evaluated along the curve rather than over all of space. Then form the dot product F⃗(r⃗(t))⋅r⃗ ′(t)=F1x′(t)+F2y′(t)+F3z′(t)\vec F(\vec r(t))\cdot \vec r\,'(t) = F_1x'(t) + F_2y'(t) + F_3z'(t); because F⃗\vec F and r⃗ ′\vec r\,' are both now expressed purely in terms of tt, this dot product is a single ordinary function g(t)g(t).

Step 4. Integrate g(t)g(t) over [a,b][a,b] with ordinary single-variable calculus: ∫CF⃗⋅dr⃗=∫abg(t) dt\int_C \vec F\cdot d\vec r = \int_a^b g(t)\,dt. No new integration technique is needed beyond what a student already owns; the entire content of "line integral" is contained in Steps 1 to 3, which convert a geometric object (a curve carrying a field) into an algebraic one (a function of tt on an interval). Verified: applying Steps 1 to 4 to the two worked examples below reproduces exactly the values 33 J and −2π-2\pi J obtained directly from the definition.

Worked example

Problem. Evaluate ∫CF⃗⋅dr⃗\displaystyle\int_C \vec F\cdot d\vec r where F⃗(x,y)=(x2−y) ı^+(x+y2) ȷ^\vec F(x,y) = (x^2-y)\,\hat\imath + (x+y^2)\,\hat\jmath (force in newtons, x,yx,y in metres) and CC is the straight-line segment from (0,0)(0,0) to (1,2)(1,2).

Step 1. Parametrize CC. A straight segment from (0,0)(0,0) to (1,2)(1,2) is given by x=tx = t, y=2ty = 2t, t∈[0,1]t \in [0,1]: at t=0t=0 this is (0,0)(0,0), and at t=1t=1 it is (1,2)(1,2), matching the required start and end points.

Step 2. Differentiate: x′(t)=1x'(t) = 1, y′(t)=2y'(t) = 2, so r⃗ ′(t)=(1,2)\vec r\,'(t) = (1,2).

Step 3. Substitute into F⃗\vec F: F1=x2−y=t2−2tF_1 = x^2 - y = t^2 - 2t and F2=x+y2=t+4t2F_2 = x + y^2 = t + 4t^2. Form the dot product,

(t2−2t)(1)+(t+4t2)(2)=t2−2t+2t+8t2=9t2.(t^2-2t)(1) + (t+4t^2)(2) = t^2 - 2t + 2t + 8t^2 = 9t^2.

The −2t-2t and +2t+2t cancel, a useful consistency check that the algebra is on track.

Step 4. Integrate: ∫019t2 dt=9[t33]01=3\displaystyle\int_0^1 9t^2\,dt = 9\left[\frac{t^3}{3}\right]_0^1 = 3. So ∫CF⃗⋅dr⃗=3 J\displaystyle\int_C \vec F\cdot d\vec r = \mathbf{3\ J}: the force does 33 joules of work moving the particle from (0,0)(0,0) to (1,2)(1,2) along the straight line.

Competitive stretch

Now change only the path: let C′C' be the two-piece path from (0,0)(0,0) straight to (1,0)(1,0), then straight up to (1,2)(1,2), using the same F⃗\vec F. On C1C_1: x=t, y=0, t∈[0,1]x=t,\,y=0,\,t\in[0,1], so r⃗ ′=(1,0)\vec r\,'=(1,0), F1=t2F_1=t^2, F2=tF_2=t, and the integrand is t2(1)+t(0)=t2t^2(1)+t(0)=t^2, giving ∫01t2 dt=13\int_0^1 t^2\,dt = \tfrac13. On C2C_2: x=1, y=t, t∈[0,2]x=1,\,y=t,\,t\in[0,2], so r⃗ ′=(0,1)\vec r\,'=(0,1), F1=1−tF_1=1-t, F2=1+t2F_2=1+t^2, and the integrand is (1−t)(0)+(1+t2)(1)=1+t2(1-t)(0)+(1+t^2)(1)=1+t^2, giving ∫02(1+t2) dt=2+83=143\int_0^2(1+t^2)\,dt = 2+\tfrac83=\tfrac{14}{3}. Total: 13+143=5\tfrac13+\tfrac{14}{3}=5 J — different from the straight-line value of 33 J for the same endpoints, confirming this F⃗\vec F is path-dependent (not conservative), the exact question the next topic in the syllabus takes up systematically.

Common traps

  • Forgetting orientation: reversing the direction of travel along the same curve flips the sign of ∫CF⃗⋅dr⃗\int_C \vec F\cdot d\vec r, since r⃗ ′(t)\vec r\,'(t) reverses. Always check the parametrization matches the stated start and end points, or stated direction around a closed curve.
  • Confusing this with the scalar line integral ∫Cf ds\int_C f\,ds (which uses the arc-length differential ds=∣r⃗ ′(t)∣ dtds = |\vec r\,'(t)|\,dt) and using dsds where the problem actually wants the vector differential dr⃗d\vec r — these are two different integrals with two different setups.
  • Choosing a parametrization for a straight segment that does not actually land on both endpoints at the stated parameter values — always verify t=at=a and t=bt=b give the correct start and end points before integrating.
  • Dropping the dot product and integrating ∣F⃗∣|\vec F| or the field's components separately — the line integral of a vector field intrinsically depends on the angle between F⃗\vec F and the tangent direction, not just the field's magnitude.

Ask the tutor: Want to work through a line integral over a helix or an ellipse, or check whether a given field is conservative, with the AI tutor?

Do I always have to use t as the parameter, or can I use x or y directly?

You can parametrize with whichever variable makes the curve's equation simplest — using xx itself as the parameter (so yy is written as a function of xx) is perfectly valid and often faster for curves already given as y=f(x)y=f(x). Whatever letter you use plays the role of tt: it must run over a single interval, increasing from the start point to the end point, and every coordinate must be expressed in terms of it before you differentiate and dot with F⃗\vec F.

Why did the two paths in the competitive stretch give different answers for the same start and end points?

Because the field F⃗(x,y)=(x2−y)ı^+(x+y2)ȷ^\vec F(x,y)=(x^2-y)\hat\imath+(x+y^2)\hat\jmath is not conservative: its line integral genuinely depends on the route taken, not just the endpoints. Some fields (called conservative, arising as the gradient of a potential function) do give the same answer for every path between two fixed points — that special and very useful case is exactly the next topic after this one, and the way to test for it is a criterion you will meet there.

What is the difference between the line integral here and a normal definite integral from earlier calculus?

An ordinary definite integral ∫abf(x) dx\int_a^b f(x)\,dx totals a scalar function over a straight segment of the xx-axis. A line integral generalizes this in two ways at once: the path can be any curve in the plane or in space, and the thing being totalled is a vector field's component along that curve rather than a plain function's height. The parametrization step is exactly what bridges the two — it turns the curved, vector problem back into an ordinary one-variable integral you already know how to compute.

Before this

Where this leads