Line Integrals

Line integrals of vector and scalar fields along paths to compute physical work and circulation.

What it is

A line integral accumulates a mathematical field along an oriented geometric curve CC in space:

  1. Scalar line integral with respect to arc length ss: ∫Cf ds=∫abf(r⃗(t))∥r⃗′(t)∥ dt\int_C f \, ds = \int_a^b f(\vec{r}(t)) \|\vec{r}'(t)\| \, dt Used to compute the total mass, center of mass, or moment of inertia of thin wires with position-dependent density λ(x,y,z)\lambda(x,y,z).
  2. Vector line integral (circulation or work): W=∫CF⃗⋅dr⃗=∫abF⃗(r⃗(t))⋅r⃗′(t) dt=∫C(Fxdx+Fydy+Fzdz)W = \int_C \vec{F} \cdot d\vec{r} = \int_a^b \vec{F}(\vec{r}(t)) \cdot \vec{r}'(t) \, dt = \int_C (F_x dx + F_y dy + F_z dz) Measures the net tangential push of the vector field along the path. Over closed curves, it is denoted ∮CF⃗⋅dr⃗\oint_C \vec{F} \cdot d\vec{r} and termed circulation.

Why it appears in physics

Line integrals define mechanical work and physical potential differences:

  • Mechanical work: W=∫ABF⃗⋅dr⃗W = \int_A^B \vec{F} \cdot d\vec{r}.
  • Work-energy theorem: ∫ABF⃗net⋅dr⃗=ΔEk\int_A^B \vec{F}_{\text{net}} \cdot d\vec{r} = \Delta E_k.
  • Electrostatic potential difference: V(B)−V(A)=−∫ABE⃗⋅dr⃗V(B) - V(A) = -\int_A^B \vec{E} \cdot d\vec{r}.
  • Electromotive force (emf): E=∮CE⃗⋅dr⃗=−dΦBdt\mathcal{E} = \oint_C \vec{E} \cdot d\vec{r} = -\frac{d\Phi_B}{dt} (Faraday's law).
  • Ampère's circuital law: ∮CB⃗⋅dr⃗=μ0Ienclosed\oint_C \vec{B} \cdot d\vec{r} = \mu_0 I_{\text{enclosed}}.

Visual or geometric intuition

Walking along a curved path in windy weather:

  • Wind behind you delivers positive work (F⃗⋅dr⃗>0\vec{F}\cdot d\vec{r} > 0).
  • Wind in your face requires muscular resistance (negative work, F⃗⋅dr⃗<0\vec{F}\cdot d\vec{r} < 0).
  • Crosswinds blowing at 90∘90^\circ do zero mechanical work on you (F⃗⋅dr⃗=0\vec{F}\cdot d\vec{r} = 0). The line integral sums these infinitesimal projections along the entire trajectory.

Minimal symbolic language

  • Curve parameterization: r⃗(t)=x(t)i^+y(t)j^+z(t)k^\vec{r}(t) = x(t)\hat{i} + y(t)\hat{j} + z(t)\hat{k} for t∈[a,b]t \in [a, b].
  • Tangent velocity vector: dr⃗=r⃗′(t)dtd\vec{r} = \vec{r}'(t) dt.
  • Fundamental theorem for line integrals: If F⃗=∇⃗ϕ\vec{F} = \vec{\nabla}\phi, ∫AB∇⃗ϕ⋅dr⃗=ϕ(B)−ϕ(A)\int_A^B \vec{\nabla}\phi \cdot d\vec{r} = \phi(B) - \phi(A) Path independence holds identically across the domain.
  • Closed loop in conservative field: ∮CF⃗⋅dr⃗=0\oint_C \vec{F} \cdot d\vec{r} = 0.

What the result means

The scalar value represents total energy exchanged between field and moving particle. A zero closed circulation signifies absence of net dissipation or pump mechanisms.

When not to use it

  • Do not assume path independence without proving ∇⃗×F⃗=0⃗\vec{\nabla}\times\vec{F} = \vec{0} across a simply connected domain.
  • Do not reverse curve orientation unintentionally: reversing path direction negates the sign: ∫−C=−∫C\int_{-C} = -\int_C.

Operational summary

Parameterize curve r⃗(t)\vec{r}(t), compute velocity r⃗′(t)\vec{r}'(t), evaluate field F⃗(r⃗(t))\vec{F}(\vec{r}(t)), take the dot product F⃗⋅r⃗′\vec{F}\cdot\vec{r}', and evaluate the definite 1D integral over t∈[a,b]t \in [a, b].

Procedure

Before calculating

Check if F⃗\vec{F} is conservative by verifying ∇⃗×F⃗=0⃗\vec{\nabla}\times\vec{F} = \vec{0}. If conservative, find potential ϕ\phi and evaluate ϕ(B)−ϕ(A)\phi(B) - \phi(A) directly. Otherwise, proceed with curve parameterization.

Step 1: Identify the mathematical object

Identify the start point AA, end point BB, and geometric equation of path CC.

Step 2: Choose the operation

Select parameter t∈[t1,t2]t \in [t_1, t_2] such that r⃗(t)=(x(t),y(t),z(t))\vec{r}(t) = (x(t), y(t), z(t)).

Step 3: Conserve units and signs

Compute tangent differential dr⃗=r⃗′(t)dtd\vec{r} = \vec{r}'(t) dt. Ensure the parameterization marches from AA to BB.

Step 4: Calculate

Substitute parameterization into F⃗\vec{F} and form scalar product: I=∫t1t2F⃗(r⃗(t))⋅r⃗′(t) dtI = \int_{t_1}^{t_2} \vec{F}(\vec{r}(t)) \cdot \vec{r}'(t) \, dt Integrate the 1D definite integral.

Step 5: Interpret the result

Interpret mechanical work sign: positive work adds kinetic energy; negative work opposes motion.

Self-check checklist

  • Was potential path independence tested first?
  • Does orientation match physical traversal direction?
  • Do units equal Joules (force) or Volts (electric field)?

Guided example

Physical situation

A particle moves in the xyxy-plane subjected to a non-conservative force: F⃗(x,y)=(x2y)i^+(2x−y2)j^[N]\vec{F}(x,y) = (x^2 y) \hat{i} + (2x - y^2) \hat{j} \quad [\text{N}] The particle travels from (0,0)(0,0) to (1,1)(1,1) along two different paths:

  • Path 1 (C1C_1): Parabola y=x2y = x^2.
  • Path 2 (C2C_2): Straight line y=xy = x. Determine the mechanical work along both paths and verify field conservativeness.

Mathematical translation

W=∫C[x2ydx+(2x−y2)dy]W = \int_C [x^2 y dx + (2x - y^2) dy] For C1C_1: y=x2  ⟹  dy=2xdxy = x^2 \implies dy = 2x dx. For C2C_2: y=x  ⟹  dy=dxy = x \implies dy = dx.

Step-by-step calculation

  1. Path 1 (y=x2y = x^2): W1=∫01[x4+(2x−x4)2x]dx=∫01[4x2+x4−2x5]dx=[4x33+x55−x63]01=1+15=1.200 JW_1 = \int_0^1 [x^4 + (2x - x^4) 2x] dx = \int_0^1 [4x^2 + x^4 - 2x^5] dx = \left[ \frac{4x^3}{3} + \frac{x^5}{5} - \frac{x^6}{3} \right]_0^1 = 1 + \frac{1}{5} = 1.200 \text{ J}

  2. Path 2 (y=xy = x): W2=∫01[x3+2x−x2]dx=[x44+x2−x33]01=1112≈0.917 JW_2 = \int_0^1 [x^3 + 2x - x^2] dx = \left[ \frac{x^4}{4} + x^2 - \frac{x^3}{3} \right]_0^1 = \frac{11}{12} \approx 0.917 \text{ J}

  3. Curl verification: ∂xFy−∂yFx=2−x2≠0\partial_x F_y - \partial_y F_x = 2 - x^2 \neq 0

Reading the result

Because W1≠W2W_1 \neq W_2, work depends explicitly on path geometry, confirming the non-zero curl of non-conservative forces.

Common error avoided

Assuming identical start and end points ensure identical work without proving zero curl.


Inverse example

Given result

An electric field satisfies ∮CE⃗⋅dr⃗=0\oint_C \vec{E} \cdot d\vec{r} = 0 for all closed contours in a region.

What physical question it can answer

Does this imply time-constant magnetic flux? By Faraday's law ∮CE⃗⋅dr⃗=−dΦBdt=0\oint_C \vec{E}\cdot d\vec{r} = -\frac{d\Phi_B}{dt} = 0. Since this holds for arbitrary loops, ∇⃗×E⃗=0⃗\vec{\nabla}\times\vec{E} = \vec{0}, proving ∂tB⃗=0⃗\partial_t \vec{B} = \vec{0} across the domain.

Common errors

Error 1: Conflating scalar and vector line integrals

Using arc length ds=∥r⃗′∥dtds = \|\vec{r}'\|dt instead of vector dot product F⃗⋅dr⃗\vec{F}\cdot d\vec{r} for work or circulation.

Error 2: Assuming path independence for dissipative forces

Applying potential differences ΔU\Delta U to calculate friction work. Friction is non-conservative with non-zero curl.

Error 3: Inverting limits of integration without sign correction

Integrating in the wrong geometric traversal direction without flipping signs.

Error 4: Dropping the scalar product

Multiplying scalar magnitudes ∥F⃗∥∥dr⃗∥\|\vec{F}\| \|d\vec{r}\| rather than taking the dot product F⃗⋅dr⃗\vec{F}\cdot d\vec{r}.

Error 5: Omitting segments in piecewise curves

Integrating only one edge of a polygon boundary while leaving the remaining enclosing segments uncalculated.

Quick detection rule

If reversing path traversal fails to invert the sign of mechanical work, the vector differential dr⃗d\vec{r} was misformulated.

Physical applications

1. Classical thermodynamics and power cycles

Net mechanical work per engine cycle equals the closed line integral in indicator diagrams: Wnet=∮PdVW_{\text{net}} = \oint P dV.

2. Electromagnetism: Ampère and Faraday integral laws

  • Ampère: ∮B⃗⋅dr⃗=μ0I\oint \vec{B}\cdot d\vec{r} = \mu_0 I (magnetostatics in solenoids).
  • Faraday: ∮E⃗⋅dr⃗=−dΦB/dt\oint \vec{E}\cdot d\vec{r} = -d\Phi_B/dt (generator induction).

3. Celestial dynamics and orbital gravity assists

Orbital energy transfers during planetary flybys are computed via line integrals of gravitational force vectors.

4. Aerodynamics and circulation

Airfoil lift depends on velocity circulation along enclosing loops: Γ=∮v⃗⋅dr⃗\Gamma = \oint \vec{v}\cdot d\vec{r}.

5. Quantum mechanics: Aharonov-Bohm effect

Electrons circling a shielded solenoid pick up an observable geometric phase proportional to the magnetic vector potential line integral: Δϕ=qℏ∮A⃗⋅dr⃗\Delta\phi = \frac{q}{\hbar} \oint \vec{A}\cdot d\vec{r}.

Practice

Problem 1: Gravitational work in central orbits

Spacecraft of mass m=1000 kgm = 1000 \text{ kg} shifts from rA=7000 kmr_A = 7000 \text{ km} to rB=14000 kmr_B = 14000 \text{ km} in Earth's gravity field (ME=5.972×1024 kgM_E = 5.972 \times 10^{24} \text{ kg}).

  1. Prove the field is conservative.
  2. Calculate gravitational work performed.

Solution:

  1. Purely radial central field has zero curl, confirming conservativeness with U(r)=−GMm/rU(r) = -GMm/r.
  2. W=−ΔU=GMm(1/rB−1/rA)≈−28.47 GJW = -\Delta U = GMm(1/r_B - 1/r_A) \approx -28.47 \text{ GJ}.

Problem 2: Ampèrian circulation around an infinite wire

Current is I=10 AI = 10 \text{ A} along the zz-axis with B⃗=μ0I2πre^θ\vec{B} = \frac{\mu_0 I}{2\pi r}\hat{e}_\theta. Evaluate circulation ∮CB⃗⋅dr⃗\oint_C \vec{B}\cdot d\vec{r} around circle of radius R=0.50 mR = 0.50 \text{ m}.

Solution:

dr⃗=Rdθe^θ  ⟹  B⃗⋅dr⃗=μ0I2πdθd\vec{r} = R d\theta \hat{e}_\theta \implies \vec{B}\cdot d\vec{r} = \frac{\mu_0 I}{2\pi} d\theta ∮B⃗⋅dr⃗=μ0I=4π×10−7×10≈1.257×10−5 T⋅m\oint \vec{B}\cdot d\vec{r} = \mu_0 I = 4\pi \times 10^{-7} \times 10 \approx 1.257 \times 10^{-5} \text{ T}\cdot\text{m}


Problem 3: Mass of an inhomogeneous helical wire

Helix path r⃗(t)=cos⁡ti^+sin⁡tj^+2tk^\vec{r}(t) = \cos t \hat{i} + \sin t \hat{j} + 2t \hat{k} for t∈[0,4π]t \in [0, 4\pi] with density λ=ρ0z\lambda = \rho_0 z (ρ0=0.05 kg/m2\rho_0 = 0.05 \text{ kg/m}^2). Compute total wire mass M=∫CλdsM = \int_C \lambda ds.

Solution:

∥r⃗′(t)∥=(−sin⁡t)2+cos⁡2t+22=5\|\vec{r}'(t)\| = \sqrt{(-\sin t)^2 + \cos^2 t + 2^2} = \sqrt{5} M=∫04πρ0(2t)5dt=5ρ0[t2]04π=16π25(0.05)≈17.65 kgM = \int_0^{4\pi} \rho_0 (2t) \sqrt{5} dt = \sqrt{5}\rho_0 [t^2]_0^{4\pi} = 16\pi^2 \sqrt{5}(0.05) \approx 17.65 \text{ kg}