Line and surface integrals · Definition
Conservative field
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\).
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
- A potential function of the field \(\mathbf F=\langle 2x,\,2y\rangle\) is:
- Which of these fields is conservative?
- Let \(\mathbf F=\langle 2xy,\,x^2\rangle=\nabla(x^2y)\). Compute \(\int_C\mathbf F\cdot d\mathbf r\) for any curve \(C\) from \((0,0)\) to \((1,2)\).
- Find a potential of \(\mathbf F=\langle 2x+y,\;x+2y\rangle\).
- If \(\mathbf F\) is conservative and \(C\) is a closed curve, then \(\oint_C\mathbf F\cdot d\mathbf r\) equals:
- Compute \(\int_C\mathbf F\cdot d\mathbf r\) with \(\mathbf F=\langle e^y,\,xe^y\rangle\), from \((0,0)\) to \((2,1)\), along any path.
- For which value of \(a\) is the field \(\mathbf F=\langle axy,\,x^2\rangle\) conservative?
- Compute the circulation of \(\mathbf F=\langle y,-x\rangle\) over the unit circle traversed once counterclockwise.
- Two different paths from \(A\) to \(B\) give different line integrals of \(\mathbf F\). What follows?
- Let \(\mathbf F=\langle yz,\,xz,\,xy\rangle\). Compute \(\int_C\mathbf F\cdot d\mathbf r\) for any curve from \((1,1,1)\) to \((2,3,2)\).
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