line integral | Physics Library

Line Integral in Physics: Curves, Work, Circulation, and Path Dependence

A line integral accumulates a quantity along a curve. In physics, line integrals appear whenever a distributed quantity must be summed along a wire, trajectory, streamline, orbit, or field line, or whenever a vector field does work along a path. They are central to mechanics, gravitation, Electromagnetism, fluid mechanics, and Differential Geometry [1, 2, 3, 4].

Two closely related but distinct forms occur repeatedly:

∫ f ds C

(1)

for a scalar field f, and

∫ F ⋅ dr C

(2)

for a vector field F. The first weights each element of arc length by a scalar. The second measures the component of a vector field along the directed tangent to the path.

The distinction between the scalar length element ds and the vector displacement element dr is fundamental.

1 A curve as a vector-valued function

Let a curve C in three-dimensional space be parameterized by a scalar u:

r = r(u), u0 ≤ u ≤ u1.

(3)

For a regular smooth curve,

dr- ⁄= 0 du

(4)

throughout the interval, except possibly at isolated junctions for a piecewise smooth curve.

An infinitesimal displacement along the curve is

dr dr = ---du. du

(5)

Its magnitude is the infinitesimal arc length,

ds = |dr|.

(6)

Therefore

| | ||dr|| ds = |du|du

(7)

for an orientation in which u increases along the curve.

If T is the unit tangent,

dr∕ds dr T = ------- = --, |dr∕ds | ds

(8)

then

dr = T ds.

(9)

Thus ds carries length only, while dr carries both length and direction.

Figure 1. A parameterized curve and its differential displacement. The scalar element ds is the magnitude of the directed vector element dr.

2 Scalar line integrals

Let f(r) be a scalar field defined along C. The scalar line integral is

∫ f ds. C

(10)

Using the parameterization r(u),

∫ ∫ u1 | | f ds = f(r(u )) ||dr||du. C u0 |du|

(11)

This formula is the precise meaning of “adding f along the curve.” A Riemann-sum interpretation is

∫ f ds = lim ∑ f(r )Δs , C i i i

(12)

where the curve is divided into short segments of lengths Δs_i.

2.1 Arc length as the simplest line integral

Set

f = 1.

(13)

Then

∫ L = ds C

(14)

is simply the length of the curve. In parameter form,

∫ | | u1|dr | L = ||du-||du. u0

(15)

For a circle of radius R,

r (𝜃) = R cos 𝜃ex + R sin 𝜃ey,

(16)

with 0 ≤ 𝜃 ≤ 2π. Since

| | ||dr|| |d𝜃| = R,

(17)

we recover

∫ 2π L = R d𝜃 = 2 πR. 0

(18)

2.2 Mass of a thin curved wire

If a thin wire follows C and has linear mass density λ(r) with units kg/m, then

∫ M = λds. C

(19)

The dimensions make the interpretation transparent:

(kg∕m )(m ) = kg.

(20)

The same structure appears for Electric Charge distributed along a filament and for other scalar densities defined per unit length.

3 Vector line integrals

Let F(r) be a vector field. The directed line integral of F along C is

∫ F ⋅ dr. C

(21)

Using

dr- dr = du du,

(22)

we obtain

∫ ∫ u1 dr F ⋅ dr = F (r(u )) ⋅---du. C u0 du

(23)

Since

dr = T ds,

(24)

we may also write

F ⋅ dr = (F ⋅ T )ds.

(25)

Only the tangent component of the field contributes.

4 Mechanical work as a line integral

The infinitesimal work done by a force through displacement dr is

dW = F ⋅ dr.

(26)

If 𝜃 is the angle between F and the path tangent,

dW = F ds cos𝜃.

(27)

Therefore the total work from point A to point B along path C is

∫ W = F ⋅ dr. A →B C

(28)

Figure 2. Work is the line integral of the component of force tangent to the path. A force perpendicular to the instantaneous displacement does no infinitesimal work.

This definition contains several familiar facts. If the force is everywhere perpendicular to the motion, then

F ⋅ dr = 0

(29)

and the force does no work. The magnetic part of the Lorentz force is a standard example because

qv × B

(30)

is perpendicular to v.

If F is constant,

∫ W = F ⋅ dr. C

(31)

But

∫ dr = rB − rA, C

(32)

W = F ⋅ (rB − rA).

(33)

For a constant force, only the endpoint displacement matters.

5 Orientation matters

A scalar line integral with ds does not change if the path orientation is reversed, because ds is a nonnegative length element:

∫ ∫ f ds = f ds. − C C

(34)

A vector line integral does change sign because dr reverses direction:

∫ ∫ F ⋅ dr = − F ⋅ dr. −C C

(35)

This orientation dependence is essential in work, circulation, and electromotive-force calculations.

6 Independence of parameterization

A geometric line integral should depend on the curve, not on how quickly the parameter moves along it. Suppose the same oriented curve is described by

u = g (v ),

(36)

where g is differentiable and increases monotonically. Then

dr-= drdu-. dv dudv

(37)

Substitution into the parameterized form shows that the factor du∕dv is exactly compensated by the change of integration variable. Thus the line integral is invariant under any smooth orientation-preserving reparameterization.

If the new parameter reverses orientation, the scalar ds integral remains unchanged while the directed dr integral changes sign.

7 Path dependence

For a general vector field, the value of

∫ F ⋅ dr C

(38)

can depend on the entire path between the endpoints.

Let C₁ and C₂ connect the same points A and B. If

∫ ∫ F ⋅ dr ⁄= F ⋅ dr, C1 C2

(39)

then the field is path dependent in that region.

Figure 3. Two curves connect the same endpoints. A vector line integral is path independent only when every admissible path between the endpoints gives the same value.

The difference between the two directed path integrals is a closed-loop integral. Traverse C₁ from A to B and return along −C₂:

∫ ∫ ∮ F ⋅ dr − F ⋅ dr = F ⋅ dr. C1 C2 C

(40)

Therefore path independence is equivalent to vanishing circulation around every closed loop in the region.

8 Conservative fields and potentials

A vector field is conservative in a region if there exists a scalar potential function Φ such that

F = ∇ Φ.

(41)

In mechanics it is more common to define potential energy V by

F = − ∇V.

(42)

Let a curve be parameterized by u. By the chain rule,

d-Φ dr- du = ∇ Φ ⋅ du.

(43)

Therefore

∫ ∫ u1 ∇ Φ ⋅ dr = d-Φ du. C u0 du

(44)

Hence

∫ B ∇ Φ ⋅ dr = Φ (B) − Φ (A ). A

(45)

This is the fundamental theorem for line integrals.

For a conservative mechanical force,

∫ B W = F ⋅ dr = V(A ) − V(B ). A→B A

(46)

Thus

W = − ΔV. A→B

(47)

Figure 4. For a conservative force F = −∇V , the force is normal to surfaces of constant potential and the work depends only on the endpoint values of V .

9 Example: work done by uniform gravity

Near Earth’s surface, let

F = − mg ey.

(48)

For any path from height y_A to height y_B,

dr = dx ex + dyey + dz ez.

(49)

Then

F ⋅ dr = − mg dy.

(50)

Therefore

∫ yB W = − mg dy yA

(51)

and

W = mg (yA − yB).

(52)

The horizontal shape of the path does not matter. This is exactly the path independence expected from the potential energy

V = mgy.

(53)

10 Closed line integrals and circulation

A line integral around a closed curve is commonly written

∮ F ⋅ dr. C

(54)

In fluid mechanics, if F is the fluid velocity v, then

∮ Γ = v ⋅ dr C

(55)

is the circulation around the loop.

In electromagnetism, closely related line integrals occur in Maxwell’s Equations. Examples include electromotive force,

∮ ℰ = E ⋅ dl, C

(56)

and Ampere-Maxwell circulation,

∮ B ⋅ dl. C

(57)

The notation dl is often used instead of dr when emphasizing a directed line element along a contour.

11 Connection with curl and Stokes’ theorem

For a sufficiently smooth vector field and an oriented surface S whose boundary is C, Stokes’ theorem states

∮ ∫ F ⋅ dr = (∇ × F) ⋅ n dS. C S

(58)

Thus circulation around the boundary is related to curl distributed across the enclosed surface.

∇ × F = 0

(59)

throughout a simply connected region, then every closed-loop line integral vanishes there and F is conservative.

The phrase “simply connected” matters. A region with a hole can support a curl-free field whose circulation around a loop enclosing the hole is nonzero. A standard two-dimensional example away from the origin is

--−-y--- ---x---- F (x,y) = x2 + y2 ex + x2 + y2ey.

(60)

The curl vanishes wherever (x,y)≠(0, 0), but around a circle centered on the excluded origin,

∮ F ⋅ dr = 2π. C

(61)

So “curl zero” and “path independent” are equivalent only when the topology and regularity assumptions are satisfied.

12 Line integrals in generalized coordinates

Suppose a particle position depends on generalized coordinates q_i:

r = r(q1,q2,...,t).

(62)

For an allowed virtual displacement at fixed time,

∑ δr = ∂r-δq . ∂qi i i

(63)

The virtual work is

δW = F ⋅ δr.

(64)

Therefore

∑ δW = Qiδqi, i

(65)

where the generalized force is

Q = F ⋅ ∂r-. i ∂qi

(66)

This is a direct extension of the same tangent-projection idea underlying the ordinary work line integral.

13 A differential-form viewpoint

The expression

F ⋅ dr

(67)

can be written in Cartesian coordinates as

F dx + F dy + F dz. x y z

(68)

Mathematically, this is a differential one-form integrated along a curve. The curve parameterization pulls that one-form back to an ordinary one-variable integral:

F dx-+ F dy- + F dz-. xdu ydu zdu

(69)

This viewpoint becomes valuable in advanced mechanics, electromagnetism, differential geometry, and relativity because it separates the geometric object being integrated from the coordinates used to describe it.

14 What a line integral is not

Several related integrals should not be confused.

A time integral such as

∫ t1 L dt t0

(70)

is an integral over time. It may describe a path through configuration space, but its measure is dt, not spatial arc length ds.

A surface integral such as

∫ F ⋅ n dS S

(71)

accumulates flux through a two-dimensional surface rather than along a one-dimensional curve.

A volume integral accumulates throughout a three-dimensional region. The dimension of the domain and the differential element determine what kind of integral is being performed.

15 A practical calculation procedure

For a line integral in physics, the following sequence is reliable:

Identify the geometric path C and its orientation.
Choose a convenient parameter u and write r(u).
Compute dr∕du.
For a scalar line integral, compute
$| | ||dr-|| ds = |du |du.$ (72)
For a vector line integral, substitute the path into F and compute
$dr F (r(u)) ⋅--. du$ (73)
Integrate over the parameter interval.
Check dimensions, orientation, and whether a potential-function shortcut is available.

16 Summary

A line integral is an integral whose domain is a curve. Its two most common forms in physics are

∫ f ds C

(74)

and

∫ F ⋅ dr. C

(75)

The scalar element ds measures distance along the curve, while the vector element dr carries the tangent direction. Mechanical work is the vector line integral of force, circulation is a closed vector line integral, and conservative-force work reduces to a difference of potential energies. Parameterization is a computational device; the geometric integral itself depends on the oriented curve. Stokes’ theorem then connects closed line integrals to curl and forms a bridge from mechanics into electromagnetism and field theory.

References

[1] J. R. Taylor, Classical Mechanics, University Science Books, 2005.

[2] J. B. Marion and S. T. Thornton, Classical Dynamics of Particles and Systems, 5th ed., Brooks/Cole, 2004.

[3] D. J. Griffiths, Introduction to Electrodynamics, 4th ed., Cambridge University Press, 2017.

[4] H. M. Schey, Div, Grad, Curl, and All That: An Informal Text on Vector Calculus, 4th ed., W. W. Norton, 2005.

[5] G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed., Academic Press, 2013.

"line integral" is owned by bloftin.
(view preamble)