# 16.3: Path Independence, Conservative Fields, and Potential Functions

- Page ID
- 2637

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)For certain vector fields, the amount of work required to move a particle from one point to another is dependent only on its initial and final positions, not on the path it takes. Gravitational and electric fields are examples of such vector fields. This section will discuss the properties of these vector fields.

Let \(\mathbf{F}\) be a vector field defined on an open region* D* in space, and suppose that for any two points *A *and *B *in *D* the line integral

\[\int_{C}^{ }\mathbf{F}\cdot \mathit{d}\mathbf{r} \nonumber \]

along a path *C* from *A *to *B* in *D *is the same over all paths from *A *to *B*. Then the integral \[\int_{C}^{ }\mathbf{F}\cdot \mathit{d}\mathbf{r} \nonumber \] is __path independent in D__

*and the field*

**F**is

__conservative on__

*D***.**

## Potential Function

Definition: If **F** is a vector field defined on *D *and \[\mathbf{F}=\triangledown f \nonumber \] for some scalar function *f* on *D*, then *f *is called a __potential function for F__. You can calculate all the line integrals in the domain **F** over any path between *A* and *B* after finding the potential function* f *

\[\int_{A}^{B}\mathbf{F}\cdot \mathit{d}\mathbf{r}=\int_{A}^{B}\triangledown f\mathit{d}\mathbf{r}=\mathit{f(B)}-\mathit{f(A)} \nonumber \]

This can be related back to the Fundamental Theorem of Calculus, since the gradient can be thought of as similar to the derivative. Another important property of conservative vector fields is that the integral of **F **around any closed path *D *is always 0.

## Assumptions on Curves, Vector Fields, and Domains

For computational sake, we have to assume the following properties regarding the curves, surfaces, domains, and vector fields:

- The curves we consider are
__piecewise smooth__, meaning they are composed of many infinitesimally small, smooth pieces connected end to end. - We assume that the domain
*D*is a__simply connected open region__, meaning that any two points in*D*can be joined by a smooth curve within the region and that every loop in*D*can be contracted to a point in*D*without ever leaving*D*.

Let *C* be a smooth curve joining the point *A* to point *B *in the plane ore in space and parametrized by \(\mathbf{r}(t)\). Let *f* be a differentiable function with a continuous gradient vector \(\mathbf{F}=\bigtriangledown{f}\) on a domain *D* containing *C*. Then \(\int_{C}\mathbf{F}\cdot d\mathbf{r}=f(B)-f(A)\).

Suppose that *A* and *B* are two points in region *D* and that the curve *C* is given by \[\mathbf{r}(t)=x\mathbf{i}+y\mathbf{j}+z\mathbf{k} \nonumber \] is a smooth curve in *D* that joins points *A *and *B*. Along *C*, f is a differentiable function of t and

\[\begin{align*} \dfrac{\partial f }{\partial t}&=\dfrac{\partial f }{\partial x}\dfrac{\partial x }{\partial t}+\dfrac{\partial f }{\partial y}\dfrac{\partial y }{\partial t}+\dfrac{\partial f }{\partial z}\dfrac{\partial z }{\partial t} \\ &=\bigtriangledown f\cdot \left ( \dfrac{\mathrm{d} x}{\mathrm{d} t}\mathbf{i}+\dfrac{\mathrm{d} y}{\mathrm{d} t}\mathbf{j}\dfrac{\mathrm{d} z}{\mathrm{d} t}\mathbf{k} \right ) \\ &=\bigtriangledown f\cdot \dfrac{\mathrm{d} \mathbf{r}}{\mathrm{d} t} \\ &=\mathbf{F}\cdot \dfrac{\mathrm{d} \mathbf{r}}{\mathrm{d} t} \end{align*} \]

Therefore,

\[\int_{C}\mathbf{F}\cdot d\mathbf{r}=\int_{t=a}^{t=b}\mathbf{F}\cdot \dfrac{\mathrm{d} \mathbf{r}}{\mathrm{d} t}dt=\int_a^b\dfrac{\mathrm{d} f}{\mathrm{d} t}dt \nonumber \]

*Note:

\[\mathbf{r}(a)=A, \; \mathbf{r}(b)=B \nonumber \]

Which means:

\[\left. f(g(t),h(t),k(t))\right|_a^b=f(B)-f(A) \nonumber \]

Thus proving Theorem 1. This shows us that the integral of a gradient field is easy to compute, provided we know the function \(f\).

\(\square\)

As mentioned earlier, this is very similar to the Fundamental Theorem of Calculus both in theory and importance. Like the FTC, it provides us with a way to evaluate line integrals without limits of Riemann sums.

Let \(\mathbf{F}=M\hat{\mathbf{i}}+N\hat{\mathbf{j}}+P\hat{\mathbf{k}}\) be a vector field whose components are continuous throughout an open connected region *D *in space. Then **F **is conservative if and only it **F **is a gradient field \(\bigtriangledown f\) for a differentiable function *f.*

If **F** is a gradient field, then \(\mathbf{F}=\bigtriangledown f\) for a differentiable function *f.* By Theorem 1, we know that \[\int_C\mathbf{F}\cdot d\mathbf{r}=f(B)-f(A) \nonumber \] and that the value of the line integral depends only on the two endpoints, not on the path. The line integral is said to be independent and **F** is a conservative field.

However, suppose **F** is a conservative vector field and we want to find some function* f* on *D *such that \(\bigtriangledown f=\mathbf{F}\). First, we must pick a point *A* in the domain *D* such that \(f(A)=0\). For any other point *B*, we must define \(f(B)\) as equal to \[\int_C\mathbf{F}\cdot d\mathbf{r}, \nonumber \] where the curve *C* is any smooth path in *D* from *A* to *B*. Because *F* is conservative, we know that \(f(B)\) is not dependant on *C* and vice versa. In order to show that \(\bigtriangledown f=\mathbf{F},\) we need to show that

\[\dfrac{\partial f}{\partial x}=M, \dfrac{\partial f}{\partial y}=N, \dfrac{\partial f}{\partial z}=P.\nonumber \]

Suppose B has coordinates \((x,y,z)\) and a nearby point \(B_0=(x_0,y,z).\) By definition, then, the value of function f at the nearby point is \[\int_{C_0}\mathbf{F}\cdot d\mathbf{r}, \nonumber \] where \(C_0\) is any path from A to \(B_0.\) We can take path C to be the union between path \(C_0\) and line segment L from B to \(B_0\). Therefore,

\[f(x,y,z)=\int_{C_0}\mathbf{F}\cdot d\mathbf{r}+\int_L\mathbf{F}\cdot d\mathbf{r}\nonumber \]

We can differentiate this integral, arriving at:

\[\dfrac{\partial }{\partial x}f(x,y,z)=\dfrac{\partial}{\partial x}\left ( \int_{C_0}\mathbf{F}\cdot d\mathbf{r}+\int_L\mathbf{F}\cdot d\mathbf{r} \right ) \nonumber \]

Only the last term of the above equation is dependent on x, so

\[\dfrac{\partial }{\partial x}f(x,y,z)=\dfrac{\partial }{\partial x}\int_L\mathbf{F}\cdot d\mathbf{r} \nonumber \]

Now, if we parametrize \(L\) such that

\[\mathbf{r}(t)=t\mathbf{i}+y\mathbf{j}+z\mathbf{k} \nonumber \]

where \(x_0\leq t \leq x\) Then,

\[\dfrac{\mathrm{d} r}{\mathrm{d} t}=\mathbf{i} \nonumber \] \[\mathbf{F}\cdot \dfrac{\mathrm{d} r}{\mathrm{d} t}=M \nonumber \]

and

\[\int_L\mathbf{f}\cdot d\mathbf{r}=\int_{x_0}^xM(t,y,z)dt] \nonumber \]

Substitution gives us

\[\dfrac{\partial }{\partial x}f(x,y,z)=\dfrac{\partial }{\partial x}\int_{x_0}^xM(t,y,z)dt=M(x,y,z) \nonumber \]

by the FTC. The partial derivatives

\[\dfrac{\partial f}{\partial y}=N \nonumber \]

and

\[\dfrac{\partial f}{\partial z}=P \nonumber \]

follow similarly, showing that

\[\mathbf{F}=\bigtriangledown f \nonumber \]

\(\square\)

In other words, \(\mathbf{F}=\bigtriangledown f\) is only true when, for any two point *A* and *B* in the region *D*, \(\int_C\mathbf{F}\cdot d\mathbf{r}\) is independent of the path *C* that joins the two points in *D*.

The following statements are equivalent:

- \(\oint_{C}\mathbf{F}\cdot d\mathbf{r}=0\) around every loop (closed curve
*C*) in*D.* - The field
**F**is*conservative*on*D*.

**Part 1**

We want to show that for any two points *A *and *B *in *D,* the ingtegral of

\[\mathbf{F}\cdot d\mathbf{r}\nonumber \]

has the same value over any two paths \(C_1\) & \(C_2\) from *A to B*.

We reverse the direction of \(C_2\) to make the path \(-C_2\) from *B to A*.

Together, the two curves \(C_1\) & \(-C_2\) make a closed loop, which we will call *C*.

If you recall from earlier in this section, the integral over a closed loop for a conservative field is always 0:

\[\begin{align*} \int_{C_1}\mathbf{F}\cdot d\mathbf{r}-\int_{C_2}\mathbf{F}\cdot d\mathbf{r}&=\int_{C_1}\mathbf{F}\cdot d\mathbf{r}+\int_{-C_2}\mathbf{F}\cdot d\mathbf{r} \\ &=\int_C\mathbf{F}\cdot d\mathbf{r} \\ &=0 \end{align*} \]

Therefore, the integrals over \(C_1\) & \(C_2\) must be equal.

**Part 2**

We want to show that the integral over \(\mathbf{F}\cdot d\mathbf{r}\) is zero for any closed loop *C*. We pick two points *A & B on C* and use them to break *C *into 2 pieces: \(C_1\) from A to B and \(C_2\) from B back to A.

Therefore:

\[\begin{align*} \oint _C\mathbf{F}\cdot d\mathbf{r}&=\int_{C_1}\mathbf{F}\cdot d\mathbf{r}+\int_{C_2}\mathbf{F}\cdot d\mathbf{r} \\ &=\int_A^B\mathbf{F}\cdot d\mathbf{r}-\int_A^B\mathbf{F}\cdot d\mathbf{r} \\ &=0 \end{align*} \]

\(\square\)

## Finding Potentials for Conservative Fields

**Component Test for Conservative Fields**: Let \(\mathbf{F}=M(x,y,z)\hat{\textbf{i}} + N(x,y,z) \hat{\textbf{j}}+ P(x,y,z) \hat{\textbf{k}} \) be a field on a connected and simply connected domain whose component functions have continuous first partial derivatives. Then,** F **is conservative if and only if

\[\dfrac{\partial P }{\partial x}=\dfrac{\partial M}{\partial z} \nonumber \]

\[\dfrac{\partial P }{\partial y}=\dfrac{\partial N}{\partial z} \nonumber \]

and

\[\dfrac{\partial N }{\partial x}=\dfrac{\partial M}{\partial y}. \nonumber \]

*Note: See Example 2

Any expression

\[M(x,y,z)dx+N(x,y,z)dy+P(x,y,z)dz \nonumber \]

is a *differential form*. A differential form is exact on a domain *D* in space if

\[M\,dx+N\,dy+P\,dz=\dfrac{\partial f}{\partial x}dx+\dfrac{\partial f}{\partial y}dy+\dfrac{\partial f}{\partial z}dz=df \nonumber \]

for some scalar function *f *throughout *D*.

**Component Test for Exactness of **\(Mdx+Ndy+Pdz\): The differential form \(Mdx+Ndy+Pdz\) is exact on a connected and simply connected domain if and only if

\[\dfrac{\partial P }{\partial x}=\dfrac{\partial M}{\partial z} \nonumber \]

\[\dfrac{\partial P }{\partial y}=\dfrac{\partial N}{\partial z} \nonumber \]

and

\[\dfrac{\partial N }{\partial x}=\dfrac{\partial M}{\partial y} \nonumber \]

Notice, this is the same as saying the field \(\mathbf{F}=M\hat{\mathbf{i}}+N\hat{\mathbf{j}}+P\hat{\mathbf{k}}\) is conservative.

Suppose the force field \(\mathbf{F}=\bigtriangledown f\) is the gradient of the function \(f(x,y,z)=-\dfrac{1}{x^2+y^2+z^2}\). Find the work done by **F** in moving an object along a smooth curve *C* joining \((1,0,0)\) to \((0,0,2)\) that does not pass through the origin.

###### Solution

Since we know that this is a conservative field, we can apply Theorem 1, which shows that regardless of the curve *C*, the work done by **F** will be as follows:

\[\begin{align*} \int_{C}\mathbf{F}\cdot d\mathbf{r}&=f(0,0,2)-f(1,0,0) \\ &=-\dfrac{1}{4}-(-1) \\ &=\dfrac{3}{4} \end{align*} \]

Show that

\[\mathbf{F}=(e^x \cos y+yz)\hat{\mathbf{i}}+(xz-e^x\sin y)\hat{\mathbf{j}}+(xy+z)\hat{\mathbf{k}} \nonumber \]

is conservative over its natural domain and find a potential function for it.

###### Solution

The natural domain of **F** is all of space, which is connected and simply connected. Let's define the following:

\[M=e^x\cos y+yz \nonumber \]

\[N=xz-e^x\sin y \nonumber \]

\[P=xy+z \nonumber \]

and calculate

\[\dfrac{\partial P }{\partial x}=y=\dfrac{\partial M}{\partial z} \nonumber \]

\[\dfrac{\partial P }{\partial y}=x=\dfrac{\partial N}{\partial z} \nonumber \]

\[\dfrac{\partial N }{\partial x}=-e^x\sin y=\dfrac{\partial M}{\partial y}. \nonumber \]

Because the partial derivatives are continuous, **F** is conservative. Now that we know there exists a function *f* where the gradient is equal to **F**, let's find *f.*

\[\dfrac{\partial f }{\partial x}=e^x\cos y+yz \nonumber \]

\[\dfrac{\partial f }{\partial y}=xz-e^x\sin y \nonumber \]

\[\dfrac{\partial f }{\partial z}=xy+z\nonumber \]

If we integrate the first of the three equations with respect to x, we find that

\[f(x,y,z)=\int(e^x/cos y+yz)dx=e^x\cos y+xyz+g(y,z) \nonumber \]

where \(g(y,z)\) is a constant dependent on \(y\) and \(z\) variables. We then calculate the partial derivative with respect to \(y\) from this equation and match it with the equation of above.

\[\dfrac{\partial }{\partial y}(f(x,y,z))=-e^x/sin y+xz+\dfrac{\partial g}{\partial y}=xz-e^x\sin y \nonumber \]

This means that the partial derivative of \(g\) with respect to \(y\) is 0, thus eliminating \(y\) from \(g\) entirely and leaving it as a function of \(z\) alone.

\[f(x,y,z)=e^x\cos y+xyz+h(z) \nonumber \]

We then repeat the process with the partial derivative with respect to \(z\).

\[\dfrac{\partial }{\partial z}(f(x,y,z))=xy+\dfrac{\mathrm{d} h}{\mathrm{d} z}=xy+z \nonumber \]

which means that

\[\dfrac{\mathrm{d} h}{\mathrm{d} z}= z \nonumber \]

so we can find \(h(z)\) by integrating:

\[h(z)=\dfrac{z^2}{2}+C. \nonumber \]

Therefore,

\[f(x,y,z)=e^x\cos y+xyz+\dfrac{z^2}{2}+C. \nonumber \]

We still have infinitely many potential functions for** F**-one at each value of C.

Show that \( ydx+xdy+4dz\) is exact and evaluate the integral

\[\int_{(1,1,1)}^{(2,3,-1)}ydx+xdy+4dz \nonumber \]

over any path from \((1,1,1)\) to \((2,3,-1)\).

###### Solution

We let \(M=y\), \(N=x\), and \(P=4\). Apply the Test for Exactness:

\[\dfrac{\partial N}{\partial x}=1=\dfrac{\partial M}{\partial y}\nonumber \]

\[\dfrac{\partial N}{\partial z}=0=\dfrac{\partial P}{\partial y}\nonumber \]

and

\[\dfrac{\partial N}{\partial z}=0=\dfrac{\partial P}{\partial y}.\nonumber \]

This proves that \(ydx+xdy+4dz\) is exact, so

\[ydx+xdy+4dz=df \nonumber \]

for some function *f*, and the integral's value is \(f(2,3,-1)-f(1,1,1)\).

We find fo up to a constant by integrating the following equations:

\[\dfrac{\partial f}{\partial x}=y, \dfrac{\partial f}{\partial y}=x, \dfrac{\partial f}{\partial z}=4 \nonumber \]

From the first equation, we get that \(f(x,y,z)=xy+g(y,z)\)

The second equation tells us that \(\dfrac{\partial f}{\partial y}=x+\dfrac{\partial g}{\partial y}=x\)

Therefore,

\[\dfrac{\partial g}{\partial y}=0 \nonumber \]

Hence,

\[f(x,y,z)=xy+h(z) \nonumber \]

The third equation tells us that \(\dfrac{\partial f}{\partial z}=0+\dfrac{d h}{d z}=4\) so \(h(z)=4z+C\)

Therefore,

\[f(x,y,z)=xy+4z+C \nonumber \]

By substitution, we find that:

\[f(2,3,-1)-f(1,1,1)=2+C-(5+C)=-3 \nonumber \]

## References

- Weir, Maurice D., Joel Hass, and George B. Thomas.
*Thomas' Calculus: Early Transcendentals*. Boston: Addison-Wesley, 2010. Print.

## Contributors and Attributions

- Alagu Chidambaram (UCD)
Integrated by Justin Marshall.