# 5.2: Vector Fields

- Page ID
- 119738

\( \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}\)Learning Objectives

- Recognize a vector field in a plane or in space.
- Sketch a vector field from a given equation.
- Identify a conservative field and its associated potential function.
- Explain how to find a potential function for a conservative vector field.
- Explain how to test a vector field to determine whether it is conservative.

Vector fields are an important tool for describing many physical concepts, such as gravitation and electromagnetism, which affect the behavior of objects over a large region of a plane or of space. They are also useful for dealing with large-scale behavior such as atmospheric storms or deep-sea ocean currents. In this section, we examine the basic definitions and graphs of vector fields so we can study them in more detail in the rest of this chapter.

## Examples of Vector Fields

How can we model the gravitational force exerted by multiple astronomical objects? How can we model the velocity of water particles on the surface of a river? Figure \(\PageIndex{1}\) gives visual representations of such phenomena.

Figure \(\PageIndex{1a}\) shows a gravitational field exerted by two astronomical objects, such as a star and a planet or a planet and a moon. At any point in the figure, the vector associated with a point gives the net gravitational force exerted by the two objects on an object of unit mass. The vectors of largest magnitude in the figure are the vectors closest to the larger object. The larger object has greater mass, so it exerts a gravitational force of greater magnitude than the smaller object.

Figure \(\PageIndex{1b}\) shows the velocity of a river at points on its surface. The vector associated with a given point on the river’s surface gives the velocity of the water at that point. Since the vectors to the left of the figure are small in magnitude, the water is flowing slowly on that part of the surface. As the water moves from left to right, it encounters some rapids around a rock. The speed of the water increases, and a whirlpool occurs in part of the rapids.

Each figure illustrates an example of a vector field. Intuitively, a vector field is a map of vectors. In this section, we study vector fields in \(ℝ^2\) and \(ℝ^3\).

DEFINITION: vector field

- A vector field \(\vecs{F}\) in \(ℝ^2\) is an assignment of a two-dimensional vector \(\vecs{F}(x,y)\) to each point \((x,y)\) of a subset \(D\) of \(ℝ^2\). The subset \(D\) is the domain of the vector field.
- A vector field \(\vecs{F}\) in \(ℝ^3\) is an assignment of a three-dimensional vector \(\vecs{F}(x,y,z)\) to each point \((x,y,z)\) of a subset \(D\) of \(ℝ^3\). The subset \(D\) is the domain of the vector field.

## Vector Fields in \(ℝ^2\)

A vector field in \(ℝ^2\) can be represented in either of two equivalent ways. The first way is to use a vector with components that are two-variable functions:

\[\vecs{F}(x,y)=⟨P(x,y),Q(x,y)⟩\]

The second way is to use the standard unit vectors:

\[\vecs{F}(x,y)=P(x,y) \,\hat{\mathbf i}+Q(x,y) \,\hat{\mathbf j}.\]

A vector field is said to be *continuous* if its component functions are continuous.

Example \(\PageIndex{1}\): Finding a Vector Associated with a Given Point

Let \(\vecs{F} (x,y)=(2y^2+x−4)\,\hat{\mathbf i}+\cos(x)\,\hat{\mathbf j}\) be a vector field in \(ℝ^2\). Note that this is an example of a continuous vector field since both component functions are continuous. What vector is associated with point \((0,−1)\)?

**Solution**

Substitute the point values for \(x\) and \(y\):

\[\begin{align*} \vecs{F} (0,-1) &=(2{(−1)}^2+0−4) \,\hat{\mathbf i}+\cos(0) \,\hat{\mathbf j} \\[4pt] &=−2 \,\hat{\mathbf i} + \hat{\mathbf j}. \end{align*}\]

Exercise \(\PageIndex{1}\)

Let \(\vecs{G}(x,y)=x^2y\,\hat{\mathbf i}−(x+y)\,\hat{\mathbf j}\) be a vector field in \(ℝ^2\). What vector is associated with the point \((−2,3)\)?

**Hint**-
Substitute the point values into the vector function.

**Answer**-
\(\vecs{G}(−2,3)=12\hat{\mathbf i}−\hat{\mathbf j}\)

### Drawing a Vector Field

We can now represent a vector field in terms of its components of functions or unit vectors, but representing it visually by sketching it is more complex because the domain of a vector field is in \(ℝ^2\), as is the range. Therefore the “graph” of a vector field in \(ℝ^2\) lives in four-dimensional space. Since we cannot represent four-dimensional space visually, we instead draw vector fields in \(ℝ^2\) in a plane itself. To do this, draw the vector associated with a given point at the point in a plane. For example, suppose the vector associated with point \((4,−1)\) is \(⟨3,1⟩\). Then, we would draw vector \(⟨3,1⟩\) at point \((4,−1)\).

We should plot enough vectors to see the general shape, but not so many that the sketch becomes a jumbled mess. If we were to plot the image vector at each point in the region, it would fill the region completely and is useless. Instead, we can choose points at the intersections of grid lines and plot a sample of several vectors from each quadrant of a rectangular coordinate system in \(ℝ^2\).

There are two types of vector fields in \(ℝ^2\) on which this chapter focuses: radial fields and rotational fields. Radial fields model certain gravitational fields and energy source fields, and rotational fields model the movement of a fluid in a vortex. In a radial field, all vectors either point directly toward or directly away from the origin. Furthermore, the magnitude of any vector depends only on its distance from the origin. In a radial field, the vector located at point \((x,y)\) is perpendicular to the circle centered at the origin that contains point \((x,y)\), and all other vectors on this circle have the same magnitude.

Example \(\PageIndex{2}\): Drawing a Radial Vector Field

Sketch the vector field \(\vecs{F} (x,y)=\dfrac{x}{2}\hat{\mathbf i}+\dfrac{y}{2}\hat{\mathbf j}\).

**Solution**

To sketch this vector field, choose a sample of points from each quadrant and compute the corresponding vector. The following table gives a representative sample of points in a plane and the corresponding vectors.

\((x,y)\) |
\(\vecs{F}(x,y)\) |
\((x,y)\) |
\(\vecs{F}(x,y)\) |
\((x,y)\) |
\(\vecs{F}(x,y)\) |
---|---|---|---|---|---|

\((1,0)\) | \(⟨\dfrac{1}{2},0⟩\) | \((2,0)\) | \(⟨1,0⟩\) | \((1,1)\) | \(⟨\dfrac{1}{2},\dfrac{1}{2}⟩\) |

\((0,1)\) | \(⟨0,\dfrac{1}{2}⟩\) | \((0,2)\) | \(⟨0,1⟩\) | \((−1,1)\) | \(⟨−\dfrac{1}{2},\dfrac{1}{2}⟩\) |

\((−1,0)\) | \(⟨−\dfrac{1}{2},0⟩\) | \((−2,0)\) | \(⟨−1,0⟩\) | \((−1,−1)\) | \(⟨−\dfrac{1}{2},−\dfrac{1}{2}⟩\) |

\((0,−1)\) | \(⟨0,−\dfrac{1}{2}⟩\) | \((0,−2)\) | \(⟨0,−1⟩\) | \((1,−1)\) | \(⟨\dfrac{1}{2},−\dfrac{1}{2}⟩\) |

Figure \(\PageIndex{2a}\) shows the vector field. To see that each vector is perpendicular to the corresponding circle, Figure \(\PageIndex{2b}\) shows circles overlain on the vector field.

Exercise \(\PageIndex{2}\)

Draw the radial field \(\vecs{F} (x,y)=−\dfrac{x}{3}\hat{\mathbf i}−\dfrac{y}{3}\hat{\mathbf j}\).

**Hint**-
Sketch enough vectors to get an idea of the shape.

**Answer**

In contrast to radial fields, in a *rotational field*, the vector at point \((x,y)\) is tangent (not perpendicular) to a circle with radius \(r=\sqrt{x^2+y^2}\). In a standard rotational field, all vectors point either in a clockwise direction or in a counterclockwise direction, and the magnitude of a vector depends only on its distance from the origin. Both of the following examples are clockwise rotational fields, and we see from their visual representations that the vectors appear to rotate around the origin.

Example \(\PageIndex{3}\): Drawing a Rotational Vector Field

Sketch the vector field \(\vecs{F} (x,y)=⟨y,\,−x⟩\).

**Solution**

Create a table (see the one that follows) using a representative sample of points in a plane and their corresponding vectors. Figure \(\PageIndex{3}\) shows the resulting vector field.

\((x,y)\) |
\(\vecs{F}(x,y)\) |
\((x,y)\) |
\(\vecs{F}(x,y)\) |
\((x,y)\) |
\(\vecs{F}(x,y)\) |
---|---|---|---|---|---|

\((1,0)\) | \(⟨0,−1⟩\) | \((2,0)\) | \(⟨0,−2⟩\) | \((1,1)\) | \(⟨1,−1⟩\) |

\((0,1)\) | \(⟨1,0⟩\) | \((0,2)\) | \(⟨2,0⟩\) | \((−1,1)\) | \(⟨1,1⟩\) |

\((−1,0)\) | \(⟨0,1⟩\) | \((−2,0)\) | \(⟨0,2⟩\) | \((−1,−1)\) | \(⟨−1,1⟩\) |

\((0,−1)\) | \(⟨−1,0⟩\) | \((0,−2)\) | \(⟨−2,0⟩\) | \((1,−1)\) | \(⟨−1,−1⟩\) |

**Analysis**

Note that vector \(\vecs{F}(a,b)=⟨b,−a⟩\) points clockwise and is perpendicular to radial vector \(⟨a,b⟩\). (We can verify this assertion by computing the dot product of the two vectors: \(⟨a,b⟩·⟨−b,a⟩=−ab+ab=0\).) Furthermore, vector \(⟨b,−a⟩\) has length \(r=\sqrt{a^2+b^2}\). Thus, we have a complete description of this rotational vector field: the vector associated with point \((a,b)\) is the vector with length *r* tangent to the circle with radius *r*, and it points in the clockwise direction.

Sketches such as that in Figure \(\PageIndex{3}\) are often used to analyze major storm systems, including hurricanes and cyclones. In the northern hemisphere, storms rotate counterclockwise; in the southern hemisphere, storms rotate clockwise. (This is an effect caused by Earth’s rotation about its axis and is called the Coriolis Effect.)

Example \(\PageIndex{4}\): Sketching a Vector Field

Sketch vector field \(\vecs{F}(x,y)=\dfrac{y}{x^2+y^2}\hat{\mathbf i}, -\dfrac{x}{x^2+y^2}\hat{\mathbf j}\).

**Solution**

To visualize this vector field, first note that the dot product \(\vecs{F}(a,b)·(a \,\hat{\mathbf i}+b \,\hat{\mathbf j})\) is zero for any point \((a,b)\). Therefore, each vector is tangent to the circle on which it is located. Also, as \((a,b)\rightarrow(0,0)\), the magnitude of \(\vecs{F}(a,b)\) goes to infinity. To see this, note that

\(||\vecs{F}(a,b)||=\sqrt{\dfrac{a^2+b^2}{ {(a^2+b^2)}^2 }} =\sqrt{\dfrac{1}{a^2+b^2}}\).

Since \(\dfrac{1}{a^2+b^2}\rightarrow \infty\) as \((a,b)\rightarrow (0,0)\), then \(||\vecs F(a,b)||\rightarrow \infty\) as \((a,b)\rightarrow (0,0)\). This vector field looks similar to the vector field in Example \(\PageIndex{3}\), but in this case the magnitudes of the vectors close to the origin are large. Table \(\PageIndex{3}\) shows a sample of points and the corresponding vectors, and Figure \(\PageIndex{5}\) shows the vector field. Note that this vector field models the whirlpool motion of the river in Figure \(\PageIndex{5}\)(b). The domain of this vector field is all of \(ℝ^2\) except for point \((0,0)\).

\((x,y)\) |
\(\vecs{F}(x,y)\) |
\((x,y)\) |
\(\vecs{F}(x,y)\) |
\((x,y)\) |
\(\vecs{F}(x,y)\) |
---|---|---|---|---|---|

\((1,0)\) | \(⟨0,−1⟩\) | \((2,0)\) | \(⟨0,−\dfrac{1}{2}⟩\) | \((1,1)\) | \(⟨\dfrac{1}{2},−\dfrac{1}{2}⟩\) |

\((0,1)\) | \(⟨1,0⟩\) | \((0,2)\) | \(⟨\dfrac{1}{2},0⟩\) | \((−1,1)\) | \(⟨\dfrac{1}{2},\dfrac{1}{2}⟩\) |

\((−1,0)\) | \(⟨0,1⟩\) | \((−2,0)\) | \(⟨0,\dfrac{1}{2}⟩\) | \((−1,−1)\) | \(⟨−\dfrac{1}{2},\dfrac{1}{2}⟩\) |

\((0,−1)\) | \(⟨−1,0⟩\) | \((0,−2)\) | \(⟨−\dfrac{1}{2},0⟩\) | \((1,−1)\) | \(⟨−\dfrac{1}{2},−\dfrac{1}{2}⟩\) |

Exercise \(\PageIndex{4}\)

Sketch vector field \(\vecs{F}(x,y)=⟨−2y,\,2x⟩\). Is the vector field radial, rotational, or neither?

**Hint**-
Substitute enough points into \(\vecs{F}\) to get an idea of the shape.

**Answer**-
Rotational

Example \(\PageIndex{5}\): Velocity Field of a Fluid

Suppose that \(\vecs{v} (x,y)=−\dfrac{2y}{x^2+y^2}\hat{\mathbf i}+\dfrac{2x}{x^2+y^2}\hat{\mathbf j}\) is the velocity field of a fluid. How fast is the fluid moving at point \((1,−1)\)? (Assume the units of speed are meters per second.)

**Solution**

To find the velocity of the fluid at point \((1,−1)\), substitute the point into \(\vecs{v} \):

\(\vecs{v}(1,−1)=\dfrac{−2(−1)}{1+1}\hat{\mathbf i}+\dfrac{2(1)}{1+1}\hat{\mathbf j}=\hat{\mathbf i}+\hat{\mathbf j}\).

The speed of the fluid at \((1,−1)\) is the magnitude of this vector. Therefore, the speed is \(||\hat{\mathbf i}+\hat{\mathbf j}||=\sqrt{2}\) m/sec.

Exercise \(\PageIndex{5}\)

Vector field \(\vecs{v} (x,y)=⟨4|x|,\,1⟩\) models the velocity of water on the surface of a river. What is the speed of the water at point \((2,3)\)? Use meters per second as the units.

**Hint**-
Remember, speed is the magnitude of velocity.

**Answer**-
\(\sqrt{65}\) m/sec

We have examined vector fields that contain vectors of various magnitudes, but just as we have unit vectors, we can also have a unit vector field. A vector field \(\vecs{F}\) is a **unit vector field** if the magnitude of each vector in the field is 1. In a unit vector field, the only relevant information is the direction of each vector.

Example \(\PageIndex{6}\): A Unit Vector Field

Show that vector field \(\vecs{F} (x,y)=\left\langle\dfrac{y}{\sqrt{x^2+y^2}},−\dfrac{x}{\sqrt{x^2+y^2}}\right\rangle\) is a unit vector field.

**Solution**

To show that \(\vecs{F}\) is a unit field, we must show that the magnitude of each vector is \(1\). Note that

\[\begin{align*} \sqrt{ \left(\dfrac{y}{\sqrt{x^2+y^2}}\right)^2+\left(−\dfrac{x}{\sqrt{x^2+y^2}}\right)^2} &=\sqrt{ \dfrac{y^2}{x^2+y^2}+\dfrac{x^2}{x^2+y^2}} \\[4pt] &=\sqrt{\dfrac{x^2+y^2}{x^2+y^2}} \\[4pt] &=1 \end{align*}\]

Therefore, \(\vecs{F} \) is a unit vector field.

Exercise \(\PageIndex{6}\)

Is vector field \(\vecs{F} (x,y)=⟨−y,\,x⟩\) a unit vector field?

**Hint**-
Calculate the magnitude of \(\vecs{F} \) at an arbitrary point \((x,y)\).

**Answer**-
No.

Why are unit vector fields important? Suppose we are studying the flow of a fluid, and we care only about the direction in which the fluid is flowing at a given point. In this case, the speed of the fluid (which is the magnitude of the corresponding velocity vector) is irrelevant, because all we care about is the direction of each vector. Therefore, the unit vector field associated with velocity is the field we would study.

If \(\vecs{F} =⟨P,Q,R⟩\) is a vector field, then the corresponding unit vector field is \(\big\langle\tfrac{P}{||\vecs F||},\tfrac{Q}{||\vecs F||},\tfrac{R}{||\vecs F||}\big\rangle\). Notice that if \(\vecs{F}(x,y)=⟨y,\,−x⟩\) is the vector field from Example \(\PageIndex{6}\), then the magnitude of \(\vecs{F} \) is \(\sqrt{x^2+y^2}\), and therefore the corresponding unit vector field is the field \(\vecs{G} \) from the previous example.

If \(\vecs{F} \) is a vector field, then the process of dividing \(\vecs{F} \) by its magnitude to form unit vector field \(\vecs{F}/||\vecs{F}||\) is called normalizing the field \(\vecs{F} \).

## Vector Fields in \(ℝ^3\)

We have seen several examples of vector fields in \(ℝ^2\); let’s now turn our attention to vector fields in \(ℝ^3\). These vector fields can be used to model gravitational or electromagnetic fields, and they can also be used to model fluid flow or heat flow in three dimensions. A two-dimensional vector field can really only model the movement of water on a two-dimensional slice of a river (such as the river’s surface). Since a river flows through three spatial dimensions, to model the flow of the entire depth of the river, we need a vector field in three dimensions.

The extra dimension of a three-dimensional field can make vector fields in \(ℝ^3\) more difficult to visualize, but the idea is the same. To visualize a vector field in \(ℝ^3\), plot enough vectors to show the overall shape. We can use a similar method to visualizing a vector field in \(ℝ^2\) by choosing points in each octant.

Just as with vector fields in \(ℝ^2\), we can represent vector fields in \(ℝ^3\) with component functions. We simply need an extra component function for the extra dimension. We write either

\[\vecs{F}(x,y,z)=⟨P(x,y,z),Q(x,y,z),R(x,y,z)⟩\]

or

\[\vecs{F}(x,y,z)=P(x,y,z)\hat{\mathbf i}+Q(x,y,z)\hat{\mathbf j}+R(x,y,z)\hat{\mathbf k}.\]

Example \(\PageIndex{7}\): Sketching a Vector Field in Three Dimensions

Describe vector field \(\vecs{F}(x,y,z)=⟨1,\,1,\,z⟩\).

**Solution**

For this vector field, the \(x\)- and \(y\)-components are constant, so every point in \(ℝ^3\) has an associated vector with \(x\)- and \(y\)-components equal to one. To visualize \(\vecs{F}\), we first consider what the field looks like in the \(xy\)-plane. In the \(xy\)-plane, \(z=0\). Hence, each point of the form \((a,b,0)\) has vector \(⟨1,1,0⟩\) associated with it. For points not in the \(xy\)-plane but slightly above it, the associated vector has a small but positive \(z\)-component, and therefore the associated vector points slightly upward. For points that are far above the \(xy\)-plane, the \(z\)-component is large, so the vector is almost vertical. Figure \(\PageIndex{6}\) shows this vector field.

**Figure \(\PageIndex{6}\): **A visual representation of vector field \(\vecs{F}(x,y,z)=⟨1,1,z⟩\).

Exercise \(\PageIndex{7}\)

Sketch vector field \(\vecs{G}(x,y,z)=⟨2,\,\dfrac{z}{2},\,1⟩\).

**Hint**-
Substitute enough points into the vector field to get an idea of the general shape.

**Answer**

In the next example, we explore one of the classic cases of a three-dimensional vector field: a gravitational field.

Example \(\PageIndex{8}\): Describing a Gravitational Vector Field

Newton’s law of gravitation states that \(\vecs{F}=−G\dfrac{m_1m_2}{r^2}\hat{\mathbf r}\), where *G* is the universal gravitational constant. It describes the gravitational field exerted by an object (object 1) of mass \(m_1\) located at the origin on another object (object 2) of mass \(m_2\) located at point \((x,y,z)\). Field \(\vecs{F}\) denotes the gravitational force that object 1 exerts on object 2, \(r\) is the distance between the two objects, and \(\hat{\mathbf r}\) indicates the unit vector from the first object to the second. The minus sign shows that the gravitational force attracts toward the origin; that is, the force of object 1 is attractive. Sketch the vector field associated with this equation.

**Solution**

Since object 1 is located at the origin, the distance between the objects is given by \(r=\sqrt{x^2+y^2+z^2}\). The unit vector from object 1 to object 2 is \(\hat{\mathbf r}=\dfrac{⟨x,y,z⟩}{||⟨x,y,z⟩||}\), and hence \(\hat{\mathbf r}=\big\langle\dfrac{x}{r},\dfrac{y}{r},\dfrac{z}{r}\big\rangle\). Therefore, gravitational vector field \(\vecs{F}\) exerted by object 1 on object 2 is

\[ \vecs{F}=−Gm_1m_2\big\langle\dfrac{x}{r^3},\dfrac{y}{r^3},\dfrac{z}{r^3}\big\rangle. \nonumber\]

This is an example of a radial vector field in \(ℝ^3\).

Figure \(\PageIndex{7}\) shows what this gravitational field looks like for a large mass at the origin. Note that the magnitudes of the vectors increase as the vectors get closer to the origin.

Exercise \(\PageIndex{8}\)

The mass of asteroid 1 is 750,000 kg and the mass of asteroid 2 is 130,000 kg. Assume asteroid 1 is located at the origin, and asteroid 2 is located at \((15,−5,10)\), measured in units of 10 to the eighth power kilometers. Given that the universal gravitational constant is \(G=6.67384×10^{−11}m^3{kg}^{−1}s^{−2}\), find the gravitational force vector that asteroid 1 exerts on asteroid 2.

**Hint**-
Follow Example \(\PageIndex{8}\) and first compute the distance between the asteroids.

**Answer**-
\(1.49063×{10}^{−18}\), \(4.96876×{10}^{−19}\), \(9.93752×{10}^{−19}\) N

### Gradient Fields (Conservative Fields)

In this section, we study a special kind of vector field called a gradient field or a **conservative field**. These vector fields are extremely important in physics because they can be used to model physical systems in which energy is conserved. Gravitational fields and electric fields associated with a static charge are examples of gradient fields.

Recall that if \(f\) is a (scalar) function of \(x\) and \(y\), then the gradient of \(f\) is

\[ \text{grad}\, f =\vecs \nabla f(x,y) =f_x(x,y) \hat{\mathbf i} +f_y(x,y) \hat{\mathbf j}. \]

We can see from the form in which the gradient is written that \(\vecs \nabla f\) is a vector field in \(ℝ^2\). Similarly, if \(f\) is a function of \(x\), \(y\), and \(z\), then the gradient of \(f\) is

\[ \text{grad}\, f =\vecs \nabla f(x,y,z) = f_x(x,y,z) \hat{\mathbf i}+f_y(x,y,z) \hat{\mathbf j}+f_z(x,y,z)\hat{\mathbf k}. \]

The gradient of a three-variable function is a vector field in \(ℝ^3\). A gradient field is a vector field that can be written as the gradient of a function, and we have the following definition.

DEFINITION: Gradient Field

A vector field \(\vecs{F}\) in \(ℝ^2\) or in \(ℝ^3\) is a gradient field if there exists a scalar function \(f\) such that \(\vecs \nabla f=\vecs{F}\).

Example \(\PageIndex{9}\): Sketching a Gradient Vector Field

Use technology to plot the gradient vector field of \(f(x,y)=x^2y^2\).

**Solution**

The gradient of \(f\) is \(\vecs \nabla f(x,y)=⟨2xy^2,\,2x^2y⟩\). To sketch the vector field, use a computer algebra system such as Mathematica. Figure \(\PageIndex{8}\) shows \(\vecs \nabla f\).

Exercise \(\PageIndex{9}\)

Use technology to plot the gradient vector field of \(f(x,y)=\sin x\cos y\).

**Hint**-
Find the gradient of \(f\).

**Answer**

Consider the function \(f(x,y)=x^2y^2\) from Example \(\PageIndex{9}\). Figure \(\PageIndex{9}\) shows the level curves of this function overlaid on the function’s gradient vector field. The gradient vectors are perpendicular to the level curves, and the magnitudes of the vectors get larger as the level curves get closer together, because closely grouped level curves indicate the graph is steep, and the magnitude of the gradient vector is the largest value of the directional derivative. Therefore, you can see the local steepness of a graph by investigating the corresponding function’s gradient field.

As we learned earlier, a vector field \(\vecs{F}\) is a conservative vector field, or a gradient field if there exists a scalar function \(f\) such that \(\vecs \nabla f=\vecs{F}\). In this situation, \(f\) is called a **potential function** for \(\vecs{F}\). Conservative vector fields arise in many applications, particularly in physics. The reason such fields are called *conservative* is that they model forces of physical systems in which energy is conserved. We study conservative vector fields in more detail later in this chapter.

You might notice that, in some applications, a potential function \(f\) for \(\vecs{F}\) is defined instead as a function such that \(−\vecs \nabla f=\vecs{F}\). This is the case for certain contexts in physics, for example.

Example \(\PageIndex{10}\): Verifying a Potential Function

Is \(f(x,y,z)=x^2yz−\sin(xy)\) a potential function for vector field

\(\vecs{F}(x,y,z)=⟨2xyz−y\cos(xy),x^2z−x\cos(xy),x^2y⟩\)?

**Solution**

We need to confirm whether \(\vecs \nabla f=\vecs{F}\). We have

\[ \begin{align*} f_x(x,y) =2xyz−y\cos(xy) \\[4pt] f_y(x,y) =x^2z−x\cos(xy) \\[4pt] f_z(x,y) =x^2y \end{align*}.\]

Therefore, \(\vecs \nabla f=\vecs{F}\) and \(f\) is a potential function for \(\vecs{F}\).

Exercise \(\PageIndex{10}\)

Is \(f(x,y,z)=x^2\cos(yz)+y^2z^2\) a potential function for \(\vecs{F}(x,y,z)=⟨2x\cos(yz),−x^2z \sin(yz)+2yz^2,y^2⟩\)?

**Hint**-
Compute the gradient of \(f\).

**Answer**-
No

Example \(\PageIndex{11}\): Verifying a Potential Function

The velocity of a fluid is modeled by field \(\vecs v(x,y)=⟨xy,\tfrac{x^2}{2}−y⟩\). Verify that \(f(x,y)=\dfrac{x^2y}{2}−\dfrac{y^2}{2}\) is a potential function for \(\vecs{v}\).

**Solution**

To show that \(f\) is a potential function, we must show that \(\vecs \nabla f=\vecs v\). Note that \(f_x(x,y)=xy\) and \(f_y(x,y)=\dfrac{x^2}{2}−y\). Therefore, \(\vecs \nabla f(x,y)=⟨xy,\tfrac{x^2}{2}−y⟩\) and \(f\) is a potential function for \(\vecs{v}\) (Figure \(\PageIndex{10}\)).

Exercise \(\PageIndex{11}\)

Verify that \(f(x,y)=x^2y^2+x\) is a potential function for velocity field \(\vecs{v}(x,y)=⟨3x^2y^2+1,2x^3y⟩\).

**Hint**-
Calculate the gradient.

**Answer**-
\(\vecs \nabla f(x,y)=\vecs{v}(x,y)\)

If \(\vecs{F}\) is a conservative vector field, then there is at least one potential function \(f\) such that \(\vecs \nabla f=\vecs{F}\). But, could there be more than one potential function? If so, is there any relationship between two potential functions for the same vector field? Before answering these questions, let’s recall some facts from single-variable calculus to guide our intuition. Recall that if \(k(x)\) is an integrable function, then \(k\) has infinitely many antiderivatives. Furthermore, if \(\vecs{F}\) and \(\vecs{G}\) are both antiderivatives of \(k\), then \(\vecs{F}\) and \(\vecs{G}\) **differ only by a constant**. That is, there is some number \(C\) such that \(\vecs{F}(x)=\vecs{G}(x)+C\).

Now let \(\vecs{F}\) be a conservative vector field and let \(f\) and \(g\) be potential functions for \(\vecs{F}\). Since the gradient is like a derivative, \(\vecs{F}\) being conservative means that \(\vecs{F}\) is “integrable” with “antiderivatives” \(f\) and \(g\). Therefore, if the analogy with single-variable calculus is valid, we expect there is some constant \(C\) such that \(f(x)=g(x)+C\). The next theorem says that this is indeed the case.

To state the next theorem with precision, we need to assume the domain of the vector field is connected and open. To be connected means if \(P_1\) and \(P_2\) are any two points in the domain, then you can walk from \(P_1\) to \(P_2\) along a path that stays entirely inside the domain.

UNIQUENESS OF POTENTIAL FUNCTIONS

Let \(\vecs{F}\) be a conservative vector field on an open and connected domain and let \(f\) and \(g\) be functions such that \(\vecs \nabla f=\vecs{F}\) and \(\vecs \nabla g=\vecs{F}\). Then, there is a constant \(C\) such that \(f=g+C\).

Proof

Since \(f\) and \(g\) are both potential functions for \(\vecs{F}\), then \(\vecs \nabla (f−g)=\vecs \nabla f−\vecs \nabla g=\vecs{F}−\vecs{F}=\vecs 0\). Let \(h=f−g\), then we have \(\vecs \nabla h=\vecs 0\).We would like to show that \(h\) is a constant function.

Assume \(h\) is a function of \(x\) and \(y\) (the logic of this proof extends to any number of independent variables). Since \(\vecs \nabla h=\vecs 0\), we have \(h_x(x,y)=0\) and \(h_y(x,y)=0\). The expression \(h_x(x,y)=0\) implies that \(h\) is a constant function with respect to \(x\)—that is, \(h(x,y)=k_1(y)\) for some function \(k_1\). Similarly, \(h_y(x,y)=0\) implies \(h(x,y)=k_2(x)\) for some function \(k_2\). Therefore, function \(h\) depends only on \(y\) and also depends only on \(x\). Thus, \(h(x,y)=C\) for some constant \(C\) on the connected domain of \(\vecs{F}\). Note that we really do need connectedness at this point; if the domain of \(\vecs{F}\) came in two separate pieces, then \(k\) could be a constant \(C_1\) on one piece but could be a different constant \(C_2\) on the other piece. Since \(f−g=h=C\), we have that \(f=g+C\), as desired.

\(\square\)

## Conservative Vector Fields and Potential Functions

As we have learned, the Fundamental Theorem for Line Integrals says that if \(\vecs{F}\) is conservative, then calculating \(\int_C \vecs F·d\vecs r\) has two steps: first, find a potential function \(f\) for \(\vecs{F}\) and, second, calculate \(f(P_1)−f(P_0)\), where \(P_1\) is the endpoint of \(C\) and \(P_0\) is the starting point. To use this theorem for a conservative field \(\vecs{F}\), we must be able to find a potential function \(f\) for \(\vecs{F}\). Therefore, we must answer the following question: Given a conservative vector field \(\vecs{F}\), how do we find a function \(f\) such that \(\vecs \nabla f=\vecs{F}\)? Before giving a general method for finding a potential function, let’s motivate the method with an example.

Example \(\PageIndex{5}\): Finding a Potential Function

Find a potential function for \(\vecs F(x,y)=⟨2xy^3,3x^2y^2+\cos(y)⟩\), thereby showing that \(\vecs{F}\) is conservative.

**Solution**

Suppose that \(f(x,y)\) is a potential function for \(\vecs{F}\). Then, \(\vecs \nabla f=\vecs F\), and therefore

\[f_x(x,y)=2xy^3 \; \; \text{and} \;\; f_y(x,y)=3x^2y^2+\cos y. \nonumber\]

Integrating the equation \(f_x(x,y)=2xy^3\) with respect to \(x\) yields the equation

\[f(x,y)=x^2y^3+h(y). \nonumber\]

Notice that since we are integrating a two-variable function with respect to \(x\), we must add a constant of integration that is a constant with respect to \(x\), but may still be a function of \(y\). The equation \(f(x,y)=x^2y^3+h(y)\) can be confirmed by taking the partial derivative with respect to \(x\):

\[\dfrac{∂f}{∂x}=\dfrac{∂}{∂x}(x^2y^3)+\dfrac{∂}{∂x}(h(y))=2xy^3+0=2xy^3. \nonumber\]

Since \(f\) is a potential function for \(\vecs{F}\),

\[f_y(x,y)=3x^2y^2+\cos(y), \nonumber\]

and therefore

\[3x^2y^2+g′(y)=3x^2y^2+\cos(y). \nonumber\]

This implies that \(h′(y)=\cos y\), so \(h(y)=\sin y+C\). Therefore, *any* function of the form \(f(x,y)=x^2y^3+\sin(y)+C\) is a potential function. Taking, in particular, \(C=0\) gives the potential function \(f(x,y)=x^2y^3+\sin(y)\).

To verify that \(f\) is a potential function, note that \(\vecs \nabla f(x,y)=⟨2xy^3,3x^2y^2+\cos y⟩=\vecs F\).

Exercise \(\PageIndex{5}\)

Find a potential function for \(\vecs{F}(x,y)=⟨e^xy^3+y,3e^xy^2+x⟩\).

**Hint**-
Follow the steps in Example \(\PageIndex{5}\).

**Answer**-
\(f(x,y)=e^xy^3+xy\)

The logic of the previous example extends to finding the potential function for any conservative vector field in \(ℝ^2\). Thus, we have the following problem-solving strategy for finding potential functions:

PROBLEM-SOLVING STRATEGY: FINDING A POTENTIAL FUNCTION FOR A CONSERVATIVE VECTOR FIELD \(\vecs{F}(x,y)=⟨P(x,y),Q(x,y)⟩\)

- Integrate \(P\) with respect to \(x\). This results in a function of the form \(g(x,y)+h(y)\), where \(h(y)\) is unknown.
- Take the partial derivative of \(g(x,y)+h(y)\) with respect to \(y\), which results in the function \(gy(x,y)+h′(y)\).
- Use the equation \(gy(x,y)+h′(y)=Q(x,y)\) to find \(h′(y)\).
- Integrate \(h′(y)\) to find \(h(y)\).
- Any function of the form \(f(x,y)=g(x,y)+h(y)+C\), where \(C\) is a constant, is a potential function for \(\vecs{F}\).

We can adapt this strategy to find potential functions for vector fields in \(ℝ^3\), as shown in the next example.

Example \(\PageIndex{6}\): Finding a Potential Function in \(ℝ^3\)

Find a potential function for \(F(x,y,z)=⟨2xy,x^2+2yz^3,3y^2z^2+2z⟩\), thereby showing that \(\vecs{F}\) is conservative.

**Solution**

Suppose that \(f\) is a potential function. Then, \(\vecs \nabla f= \vecs{F}\) and therefore \(f_x(x,y,z)=2xy\). Integrating this equation with respect to \(x\) yields the equation \(f(x,y,z)=x^2y+g(y,z)\) for some function \(g\). Notice that, in this case, the constant of integration with respect to \(x\) is a function of \(y\) and \(z\).

Since \(f\) is a potential function,

\[x^2+2yz^3=f_y(x,y,z)=x^2+g_y(y,z). \nonumber\]

Therefore,

\[g_y(y,z)=2yz^3. \nonumber\]

Integrating this function with respect to \(y\) yields

\[g(y,z)=y^2z^3+h(z) \nonumber\]

for some function \(h(z)\) of \(z\) alone. (Notice that, because we know that \(g\) is a function of only \(y\) and \(z\), we do not need to write \(g(y,z)=y^2z^3+h(x,z)\).) Therefore,

\[f(x,y,z)=x^2y+g(y,z)=x^2y+y^2z^3+h(z). \nonumber\]

To find \(f\), we now must only find \(h\). Since \(f\) is a potential function,

\[3y^2z^2+2z=g_z(y,z)=3y^2z^2+h′(z). \nonumber\]

This implies that \(h′(z)=2z\), so \(h(z)=z^2+C\). Letting \(C=0\) gives the potential function

\[f(x,y,z)=x^2y+y^2z^3+z^2. \nonumber\]

To verify that \(f\) is a potential function, note that \(\vecs \nabla f(x,y,z)=⟨2xy,x^2+2yz^3,3y^2z^2+2z⟩=\vecs F(x,y,z)\).

Exercise \(\PageIndex{6}\)

Find a potential function for \(\vecs{F}(x,y,z)=⟨12x^2,\cos y\cos z,1−\sin y\sin z⟩\).

**Hint**-
Following Example \(\PageIndex{6}\), begin by integrating with respect to \(x\)

*.* **Answer**-
\(f(x,y,z)=4x^3+\sin y\cos z+z\)

We can apply the process of finding a potential function to a gravitational force. Recall that, if an object has unit mass and is located at the origin, then the gravitational force in \(ℝ^2\) that the object exerts on another object of unit mass at the point \((x,y)\) is given by vector field

\(\vecs F(x,y)=−G\left\langle\dfrac{x}{ {(x^2+y^2)}^{3/2} },\dfrac{y}{ {(x^2+y^2)}^{3/2} }\right\rangle\),

where \(G\) is the universal gravitational constant. In the next example, we build a potential function for \(\vecs{F}\), thus confirming what we already know: that gravity is conservative.

Example \(\PageIndex{7}\): Finding a Potential Function

Find a potential function \(f\) for \(\vecs{F}(x,y)=−G\left\langle\dfrac{x}{ {(x^2+y^2)}^{3/2} },\dfrac{y}{ {(x^2+y^2)}^{3/2} }\right\rangle\).

**Solution**

Suppose that \(f\) is a potential function. Then, \(\vecs \nabla f= \vecs{F}\) and therefore

\[f_x(x,y)=\dfrac{−Gx}{ {(x^2+y^2)}^{3/2} }.\nonumber\]

To integrate this function with respect to \(x\)*,* we can use \(u\)-substitution. If \(u=x^2+y^2\), then \(\dfrac{du}{2}=x\,dx\), so

\[\begin{align*} \int \dfrac{−Gx}{ {(x^2+y^2)}^{3/2} }\,dx &=\int \dfrac{−G}{2u^{3/2}} \,du \\[4pt] &=\dfrac{G}{\sqrt{u}}+h(y) \\[4pt] &=\dfrac{G}{\sqrt{x^2+y^2}}+h(y) \end{align*}\]

for some function \(h(y)\). Therefore,

\[f(x,y)=\dfrac{G}{ \sqrt{x^2+y^2}}+h(y).\nonumber\]

Since \(f\) is a potential function for \(\vecs{F}\),

\[f_y(x,y)=\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }\nonumber\].

Since \(f(x,y)=\dfrac{G}{ \sqrt{x^2+y^2}}+h(y)\), \(f_y(x,y)\) also equals \(\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }+h′(y)\).

Therefore,

\[\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }+h′(y)=\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }, \nonumber\]

which implies that \(h′(y)=0\). Thus, we can take \(h(y)\) to be any constant; in particular, we can let \(h(y)=0\). The function

\[f(x,y)=\dfrac{G}{ \sqrt{x^2+y^2} } \nonumber\]

is a potential function for the gravitational field \(\vecs{F}\). To confirm that \(f\) is a potential function, note that

\[\begin{align*} \vecs\nabla f(x,y) &=⟨−\dfrac{1}{2} \dfrac{G}{ {(x^2+y^2)}^{3/2} } (2x),−\dfrac{1}{2} \dfrac{G}{ {(x^2+y^2)}^{3/2} }(2y)⟩ \\[4pt] &=⟨\dfrac{−Gx}{ {(x^2+y^2)}^{3/2} },\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }⟩\\[4pt] &=\vecs F(x,y). \end{align*}\]

Exercise \(\PageIndex{7}\)

Find a potential function \(f\) for the three-dimensional gravitational force \(\vecs{F}(x,y,z)=\left\langle\dfrac{−Gx}{ {(x^2+y^2+z^2)}^{3/2} },\dfrac{−Gy}{ {(x^2+y^2+z^2)}^{3/2} },\dfrac{−Gz}{ {(x^2+y^2+z^2)}^{3/2} }\right\rangle\).

**Hint**-
Follow the Problem-Solving Strategy.

**Answer**-
\(f(x,y,z)=\dfrac{G}{\sqrt{x^2+y^2+z^2}}\)

## Testing a Vector Field

Until now, we have worked with vector fields that we know are conservative, but if we are not told that a vector field is conservative, we need to be able to test whether it is conservative. Recall that, if \(\vecs{F}\) is conservative, then \(\vecs{F}\) has the cross-partial property (see The Cross-Partial Property of Conservative Vector Fields). That is, if \(\vecs F=⟨P,Q,R⟩\) is conservative, then \(P_y=Q_x\), \(P_z=R_x\), and \(Q_z=R_y\). So, if \(\vecs{F}\) has the cross-partial property, then is \(\vecs{F}\)** **conservative? If the domain of \(\vecs{F}\) is open and simply connected, then the answer is yes.

Theorem: THE CROSS-PARTIAL TEST FOR CONSERVATIVE FIELDS

If \(\vecs{F}=⟨P,Q,R⟩\) is a vector field on an open, simply connected region \(D\) and \(P_y=Q_x\), \(P_z=R_x\), and \(Q_z=R_y\) throughout \(D\), then \(\vecs{F}\) is conservative.

Although a proof of this theorem is beyond the scope of the text, we can discover its power with some examples. Later, we see why it is necessary for the region to be simply connected.

Combining this theorem with the cross-partial property, we can determine whether a given vector field is conservative:

Theorem: CROSS-PARTIAL PROPERTY OF CONSERVATIVE FIELDS

Let \(\vecs{F}=⟨P,Q,R⟩\) be a vector field on an open, simply connected region \(D\)*.* Then \(P_y=Q_x\), \(P_z=R_x\), and \(Q_z=R_y\) throughout \(D\) if and only if \(\vecs{F}\) is conservative.

The version of this theorem in \(ℝ^2\) is also true. If \(\vecs F(x,y)=⟨P,Q⟩\) is a vector field on an open, simply connected domain in \(ℝ^2\), then \(\vecs F\) is conservative if and only if \(P_y=Q_x\).

Example \(\PageIndex{8}\): Determining Whether a Vector Field Is Conservative

Determine whether vector field \(\vecs F(x,y,z)=⟨xy^2z,x^2yz,z^2⟩\) is conservative.

**Solution**

Note that the domain of \(\vecs{F}\) is all of \(ℝ^2\) and \(ℝ^3\) is simply connected. Therefore, we can use **The Cross-Partial Property of Conservative Vector Fields** to determine whether \(\vecs{F}\) is conservative. Let

\[P(x,y,z)=xy^2z \nonumber\]

\[Q(x,y,z)=x^2yz \nonumber\]

and

\[R(x,y,z)=z^2.\nonumber\]

Since \(Q_z(x,y,z)=x^2y\) and \(R_y(x,y,z)=0\), the vector field is not conservative.

Example \(\PageIndex{9}\): Determining Whether a Vector Field Is Conservative

Determine vector field \(\vecs{F}(x,y)=⟨x\ln (y), \,\dfrac{x^2}{2y}⟩\) is conservative.

**Solution**

Note that the domain of \(\vecs{F}\) is the part of \(ℝ^2\) in which \(y>0\). Thus, the domain of \(\vecs{F}\) is part of a plane above the \(x\)-axis, and this domain is simply connected (there are no holes in this region and this region is connected). Therefore, we can use **The Cross-Partial Property of Conservative Vector Fields** to determine whether \(\vecs{F}\) is conservative. Let

\[P(x,y)=x\ln (y) \;\; \text{and} \;\;\ Q(x,y)=\dfrac{x^2}{2y}. \nonumber\]

Then \(P_y(x,y)=\dfrac{x}{y}=Q_x(x,y)\) and thus \(\vecs{F}\) is conservative.

Exercise \(\PageIndex{8}\)

Determine whether \(\vecs{F}(x,y)=⟨\sin x\cos y,\,\cos x\sin y⟩\) is conservative.

**Hint**-
Use

**The Cross-Partial Property of Conservative Vector Fields**from the previous section. **Answer**-
It is conservative.

When using **The Cross-Partial Property of Conservative Vector Fields**, it is important to remember that a theorem is a tool, and like any tool, it can be applied only under the right conditions. In the case of **The Cross-Partial Property of Conservative Vector Fields**, the theorem can be applied only if the domain of the vector field is simply connected.

To see what can go wrong when misapplying the theorem, consider the vector field from Example \(\PageIndex{4}\):

\[\vecs F(x,y)=\dfrac{y}{x^2+y^2}\,\hat{\mathbf i}+\dfrac{−x}{x^2+y^2}\,\hat{\mathbf j}.\]

This vector field satisfies the cross-partial property, since

\[\dfrac{∂}{∂y}\left(\dfrac{y}{x^2+y^2}\right)=\dfrac{(x^2+y^2)−y(2y)}{ {(x^2+y^2)}^2}=\dfrac{x^2−y^2}{ {(x^2+y^2)}^2}\]

and

\[\dfrac{∂}{∂x}\left(\dfrac{−x}{x^2+y^2}\right)=\dfrac{−(x^2+y^2)+x(2x)}{ {(x^2+y^2)}^2}=\dfrac{x^2−y^2}{ {(x^2+y^2)}^2}.\]

Since \(\vecs{F}\) satisfies the cross-partial property, we might be tempted to conclude that \(\vecs{F}\) is conservative. However, \(\vecs{F}\) is not conservative. To see this, let

\[\vecs r(t)=⟨\cos t,\sin t⟩,\;\; 0≤t≤\pi\]

be a parameterization of the upper half of a unit circle oriented counterclockwise (denote this \(C_1\)) and let

\[\vecs s(t)=⟨\cos t,−\sin t⟩,\;\; 0≤t≤\pi\]

be a parameterization of the lower half of a unit circle oriented clockwise (denote this \(C_2\)). Notice that \(C_1\) and \(C_2\) have the same starting point and endpoint. Since \({\sin}^2 t+{\cos}^2 t=1\),

\[\vecs F(\vecs r(t)) \cdot \vecs r′(t)=⟨\sin(t),−\cos(t)⟩ \cdot ⟨−\sin(t), \cos(t)⟩=−1\]

and

\[\vecs F(\vecs s(t))·\vecs s′(t)=⟨−\sin t,−\cos t⟩·⟨−\sin t,−\cos t⟩={\sin}^2 t+{\cos}^2t=1.\]

Therefore,

\[\int_{C_1} \vecs F·d\vecs r=\int_0^{\pi}−1\,dt=−\pi\]

and

\[\int_{C_2}\vecs F·d\vecs r=\int_0^{\pi} 1\,dt=\pi.\]

Thus, \(C_1\) and \(C_2\) have the same starting point and endpoint, but \(\int_{C_1} \vecs F·d\vecs r≠\int_{C_2} \vecs F·d\vecs r\). Therefore, \(\vecs{F}\) is not independent of path and \(\vecs{F}\) is not conservative.

To summarize: \(\vecs{F}\) satisfies the cross-partial property and yet \(\vecs{F}\) is not conservative. What went wrong? Does this contradict **The Cross-Partial Property of Conservative Vector Fields**? The issue is that the domain of \(\vecs{F}\) is all of \(ℝ^2\) except for the origin. In other words, the domain of \(\vecs{F}\) has a hole at the origin, and therefore the domain is not simply connected. Since the domain is not simply connected, **The Cross-Partial Property of Conservative Vector Fields** does not apply to \(\vecs{F}\).

## Key Concepts

- A vector field assigns a vector \(\vecs{F}(x,y)\) to each point \((x,y)\) in a subset \(D\) of \(ℝ^2\) or \(ℝ^3\). \(\vecs{F}(x,y,z)\) to each point \((x,y,z)\) in a subset \(D\) of \(ℝ^3\).
- Vector fields can describe the distribution of vector quantities such as forces or velocities over a region of the plane or of space. They are in common use in such areas as physics, engineering, meteorology, oceanography.
- We can sketch a vector field by examining its defining equation to determine relative magnitudes in various locations and then drawing enough vectors to determine a pattern.
- A vector field \(\vecs{F}\) is called conservative if there exists a scalar function \(f\) such that \(\vecs \nabla f=\vecs{F}\).

### Key Equations

**Vector field in \(ℝ^2\)**

\(\vecs{F}(x,y)=⟨P(x,y),\,Q(x,y)⟩\)

or

\(\vecs{F}(x,y)=P(x,y) \,\hat{\mathbf i}+Q(x,y) \,\hat{\mathbf j}\)**Vector field in \(ℝ^3\)**

\(\vecs{F}(x,y,z)=⟨P(x,y,z),\,Q(x,y,z),\,R(x,y,z)⟩\)

or

\(\vecs{F}(x,y,z)=P(x,y,z) \,\hat{\mathbf i} +Q(x,y,z) \,\hat{\mathbf j}+R(x,y,z) \,\hat{\mathbf k}\)

## Glossary

**conservative field**- a vector field for which there exists a scalar function \(f\) such that \(\vecs ∇f=\vecs{F}\)

**gradient field**- a vector field \(\vecs{F}\) for which there exists a scalar function \(f\) such that \(\vecs ∇f=\vecs{F}\); in other words, a vector field that is the gradient of a function; such vector fields are also called
*conservative*

**potential function**- a scalar function \(f\) such that \(\vecs ∇f=\vecs{F}\)

**radial field**- a vector field in which all vectors either point directly toward or directly away from the origin; the magnitude of any vector depends only on its distance from the origin

**rotational field**- a vector field in which the vector at point \((x,y)\) is tangent to a circle with radius \(r=\sqrt{x^2+y^2}\); in a rotational field, all vectors flow either clockwise or counterclockwise, and the magnitude of a vector depends only on its distance from the origin

**unit vector field**- a vector field in which the magnitude of every vector is 1

**vector field**- measured in \(ℝ^2\), an assignment of a vector \(\vecs{F}(x,y)\) to each point \((x,y)\) of a subset \(D\) of \(ℝ^2\); in \(ℝ^3\), an assignment of a vector \(\vecs{F}(x,y,z)\) to each point \((x,y,z)\) of a subset \(D\) of \(ℝ^3\)

## Contributors and Attributions

Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.