| |

6: Line Integrals

Integrating functions along curves.


Line Integrals of Scalar Functions

Definition

For a curve CC parametrized by r(t)\mathbf{r}(t), aโ‰คtโ‰คba \leq t \leq b:

โˆซCfโ€‰ds=โˆซabf(r(t))โˆฃrโ€ฒ(t)โˆฃโ€‰dt\int_C f \, ds = \int_a^b f(\mathbf{r}(t)) |\mathbf{r}'(t)| \, dt

where ds=โˆฃrโ€ฒ(t)โˆฃโ€‰dtds = |\mathbf{r}'(t)| \, dt is the arc length element.

Interpretation

  • If f=1f = 1: gives the arc length of CC
  • If f=ฯf = \rho (density): gives the mass of a wire
  • Area of a โ€œfenceโ€ along CC with height ff

Properties

  • Independent of parametrization direction
  • โˆซCfโ€‰ds=โˆซC1fโ€‰ds+โˆซC2fโ€‰ds\int_C f \, ds = \int_{C_1} f \, ds + \int_{C_2} f \, ds for piecewise curves

Line Integrals of Vector Fields

Definition

For a vector field F=โŸจP,Q,RโŸฉ\mathbf{F} = \langle P, Q, R \rangle along curve CC:

โˆซ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

Alternative Notations

โˆซCFโ‹…dr=โˆซCPโ€‰dx+Qโ€‰dy+Rโ€‰dz=โˆซCFโ‹…Tโ€‰ds\int_C \mathbf{F} \cdot d\mathbf{r} = \int_C P \, dx + Q \, dy + R \, dz = \int_C \mathbf{F} \cdot \mathbf{T} \, ds

Physical Interpretation: Work

If F\mathbf{F} is a force field, โˆซCFโ‹…dr\int_C \mathbf{F} \cdot d\mathbf{r} is the work done moving along CC.

Properties

  • Depends on direction: โˆซโˆ’CFโ‹…dr=โˆ’โˆซCFโ‹…dr\int_{-C} \mathbf{F} \cdot d\mathbf{r} = -\int_C \mathbf{F} \cdot d\mathbf{r}
  • Additive over paths: โˆซC1+C2=โˆซC1+โˆซC2\int_{C_1 + C_2} = \int_{C_1} + \int_{C_2}

The Fundamental Theorem for Line Integrals

If F=โˆ‡f\mathbf{F} = \nabla f (conservative field) and CC goes from AA to BB:

โˆซCโˆ‡fโ‹…dr=f(B)โˆ’f(A)\int_C \nabla f \cdot d\mathbf{r} = f(B) - f(A)

Key insight: For conservative fields, the line integral depends only on endpoints, not the path!


Conservative Vector Fields

A vector field F\mathbf{F} is conservative if F=โˆ‡f\mathbf{F} = \nabla f for some scalar function ff (called the potential function).

Equivalent Conditions

The following are equivalent for F\mathbf{F} on a simply connected domain:

  1. F\mathbf{F} is conservative (F=โˆ‡f\mathbf{F} = \nabla f)
  2. โˆซCFโ‹…dr\int_C \mathbf{F} \cdot d\mathbf{r} is path-independent
  3. โˆฎCFโ‹…dr=0\oint_C \mathbf{F} \cdot d\mathbf{r} = 0 for every closed curve
  4. curlย F=0\text{curl } \mathbf{F} = \mathbf{0}

Test for Conservative Field in 2D

F=โŸจP,QโŸฉ\mathbf{F} = \langle P, Q \rangle is conservative iff:

โˆ‚Pโˆ‚y=โˆ‚Qโˆ‚x\frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}

Test for Conservative Field in 3D

F=โŸจP,Q,RโŸฉ\mathbf{F} = \langle P, Q, R \rangle is conservative iff:

โˆ‚Pโˆ‚y=โˆ‚Qโˆ‚x,โˆ‚Pโˆ‚z=โˆ‚Rโˆ‚x,โˆ‚Qโˆ‚z=โˆ‚Rโˆ‚y\frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}, \quad \frac{\partial P}{\partial z} = \frac{\partial R}{\partial x}, \quad \frac{\partial Q}{\partial z} = \frac{\partial R}{\partial y}

Finding the Potential Function

If F=โŸจP,QโŸฉ\mathbf{F} = \langle P, Q \rangle is conservative:

  1. Integrate: f=โˆซPโ€‰dx=โ€ฆ+g(y)f = \int P \, dx = \ldots + g(y)
  2. Differentiate: โˆ‚fโˆ‚y=Q\frac{\partial f}{\partial y} = Q
  3. Solve for g(y)g(y)

Applications

Work Done by a Force

W=โˆซCFโ‹…drW = \int_C \mathbf{F} \cdot d\mathbf{r}

Circulation

For a closed curve CC:

Circulation=โˆฎCFโ‹…dr\text{Circulation} = \oint_C \mathbf{F} \cdot d\mathbf{r}

Measures the tendency of the field to circulate around CC.

Flux Across a Curve (2D)

Flux=โˆซCFโ‹…nโ€‰ds\text{Flux} = \int_C \mathbf{F} \cdot \mathbf{n} \, ds

where n\mathbf{n} is the outward normal.


Summary

IntegralFormulaPhysical Meaning
Scalar line integralโˆซCfโ€‰ds\int_C f \, dsMass of wire, arc length
Vector line integralโˆซCFโ‹…dr\int_C \mathbf{F} \cdot d\mathbf{r}Work done by force
Conservative fieldโˆซCโˆ‡fโ‹…dr=f(B)โˆ’f(A)\int_C \nabla f \cdot d\mathbf{r} = f(B) - f(A)Path-independent
CirculationโˆฎCFโ‹…dr\oint_C \mathbf{F} \cdot d\mathbf{r}Rotational tendency