Line and surface integrals · Definition

Conservative field

multivariable calculusvector calculus

Before you start you need to know

It singles out the fields whose work depends only on the endpoints of the path, not on the route. With them, a line integral reduces to subtracting two values.

Definition

A vector field \(\mathbf F\) is conservative if it is the gradient of a scalar function \(f\), called a potential function of \(\mathbf F\).

\[\mathbf F=\nabla f\]

The central result is the fundamental theorem for line integrals: if \(\mathbf F=\nabla f\) and \(C\) goes from \(A\) to \(B\), then \(\int_C\mathbf F\cdot d\mathbf r=f(B)-f(A)\). It is the multivariable version of the fundamental theorem of calculus. Two consequences follow: the integral does not depend on the path and, on a closed curve, equals \(0\). These three properties (being a gradient, path independence and zero circulation) are equivalent on a connected region.

To decide whether a plane field \(\mathbf F=\langle P,Q\rangle\) is conservative, use the cross-partials test: if it is, then \(P_y=Q_x\), because \(f_{xy}=f_{yx}\). Conversely, if \(P_y=Q_x\) on a region without holes (simply connected), the field is conservative. In space the three analogous equalities among the partials of \(P,Q,R\) are required. For \(\langle y,x\rangle\) we get \(1=1\) and the potential is \(xy\); for \(\langle -y,x\rangle\) it fails (\(-1\ne1\)).

To find the potential, integrate \(f_x=P\) with respect to \(x\), giving \(f=\int P\,dx+g(y)\); then differentiate in \(y\), set it equal to \(Q\) and solve for \(g\). The potential is defined up to a constant, which does not affect \(f(B)-f(A)\). With it, the integral is computed without parametrizing anything.

Typical mistake: applying \(P_y=Q_x\) on a region with a hole. The field \(\langle -y,x\rangle/(x^2+y^2)\) satisfies the equality on \(\mathbb R^2\setminus\{0\}\), but its circulation around the origin is \(2\pi\): it is not conservative there. This concept uses the gradient and the vector line integral, and is the case where work does not depend on the path.

Think about it

Is \(\mathbf F=\langle 3x^2y,\,x^3\rangle\) conservative? If so, give a potential.

Yes: \(P_y=3x^2=Q_x\). A potential is \(f=x^3y\).

If \(\mathbf F\) is conservative and its potential is \(5\) at \(A\) and \(9\) at \(B\), what is the integral from \(A\) to \(B\)?

\(9-5=4\), along any path.

Exercises 10

What comes next

References

  • James Stewart, Daniel K. Clegg, Saleem Watson, Calculus: Early Transcendentals, 9th edition, Cengage, 2021. §16.3
  • Joel Hass, Christopher Heil, Przemyslaw Bogacki, Maurice D. Weir, George B. Thomas Jr., Thomas' Calculus, 15th edition, Pearson, 2023. §16.3
  • Jerrold E. Marsden, Anthony Tromba, Vector Calculus, 6th edition, W. H. Freeman, 2012. §7.2