Skip to main content

Section 2.2 Exact one-forms and conservative vector fields

We introduce a class of one-forms that arise as differentials of a function; the associated vector field is the gradient of the function. But not all one-forms are differentials of functions: we call such one-forms “exact”, and their corresponding vector fields “conservative”.

Subsection 2.2.1 Differential of a function

One-forms may seem strange, but in fact there is a large class of one-forms that can be obtained directly from functions.

Definition 2.2.1. Differential of a function.

Let \(f\) be a smooth function on an open subset \(U \subseteq \mathbb{R}^3\text{.}\) Its differential (it will become known as “exterior derivative” shortly) is

\begin{equation*} df = \frac{\partial f}{\partial x}\ dx + \frac{\partial f}{\partial y}\ dy + \frac{\partial f}{\partial z}\ dz\text{.} \end{equation*}

It is a one-form on \(U\text{.}\) A similar definition of course holds for \(\mathbb{R}\text{,}\) \(\mathbb{R}^2\text{,}\) and more generally \(\mathbb{R}^n\text{.}\)

Using the correspondence in Principle 2.1.3 between one-forms and vector fields, we can find the vector field associated to the differential of a function.

Recall from Calculus III that at a given point \((x_0,y_0,z_0) \in U\text{,}\) the gradient vector field \(\boldsymbol{\nabla} f(x_0, y_0, z_0)\) gives the direction of fastest increase of \(f\text{.}\) In three dimensions, this direction is orthogonal to the level surfaces. In two dimensions, it is perpendicular to the level curves: think of a topographical map, the direction of fastest increase is the direction perpendicular to the contour lines.

Consider the function \(f(x,y) = x^2 e^y \text{.}\) Its differential is

\begin{equation*} df = \frac{\partial f}{\partial x}\ dx + \frac{\partial f}{\partial y}\ dy = 2 x e^y\ dx + x^2 e^y \ dy, \end{equation*}

which is a one-form on \(\mathbb{R}^2\text{.}\) Its associated vector field is the function \(\mathbf{F}: \mathbb{R}^2 \to \mathbb{R}^2\) with

\begin{equation*} \mathbf{F}(x,y) = \left( 2 x e^y, x^2 e^y \right) = \left( \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y} \right) = \boldsymbol{\nabla} f. \end{equation*}

Remark 2.2.4.

Using the definition of the differential of a function, we can somewhat make sense of the placeholders \(dx\text{,}\) \(dy\text{,}\) and \(dz\text{.}\) Consider for instance the function \(f(x,y,z) = x\text{.}\) Its differential becomes

\begin{equation*} df = \frac{\partial f}{\partial x}\ dx + \frac{\partial f}{\partial y}\ dy + \frac{\partial f}{\partial z}\ dz = dx. \end{equation*}

In other words, the placeholders \(dx\text{,}\) \(dy\text{,}\) and \(dz\) are simply the differentials of the component functions \(x\text{,}\) \(y\text{,}\) and \(z\) on \(\mathbb{R}^3\text{.}\)

Note that we will give a more satisfying algebraic meaning for these placeholders later on in Subsection 4.1.1.

Subsection 2.2.2 Exact one-forms and conservative vector fields

Differentials of functions are one-forms, but not all one-forms are differentials of functions, just like not all vector fields can be written as the gradient of a function. Such one-forms and vector fields are special, and hence have their own name.

Definition 2.2.5. Exact one-forms.

We say that a one-form \(\omega\) on \(U \subseteq \mathbb{R}^3\) is exact if \(\omega=d f\) for some function \(f\) on \(U\text{.}\)

We can define a similar concept for vector fields.

Definition 2.2.6. Conservative vector fields.

A vector field \(\mathbf{F}\) on \(U \subseteq \mathbb{R}^3\) is conservative if \(\mathbf{F} = \boldsymbol{\nabla} V\) for some function \(V\) on \(U\text{.}\) We call \(V\) a potential for \(\mathbf{F}\text{.}\) 1 

Note that in physics, the potential of a conservative vector field is usually defined as \(\mathbf{F} = - \boldsymbol{\nabla} V\text{,}\) with an extra minus sign. The difference is purely conventional; the minus sign is introduced so that when \(\mathbf{F}\) is a force field, then \(V\) becomes the potential energy physically.

Clearly, by Fact 2.2.2, we see that if a one-form is exact, its associated vector field is conservative, and vice-versa.

Consider the one-form \(\omega = \cos x\ dx - \sin y\ dy\) on \(\mathbb{R}^2\text{.}\) \(\omega\) is an exact one-form, since it can be written as \(\omega = d f\) for the function \(f(x,y) = \sin x + \cos y\text{.}\) In the language of vector fields, this is the statement that the vector field \(\mathbf{F}:\mathbb{R}^2 \to \mathbb{R}^2\) associated to \(\omega\text{,}\) which is given by \(\mathbf{F}(x,y) = (\cos x, - \sin y )\text{,}\) is conservative, since it can be written as \(\mathbf{F} = \boldsymbol{\nabla} f\) for the function \(f\) above. The function \(f\) is called the potential of the vector field \(\mathbf{F}\text{.}\)

The gravitational force field \(\mathbf{F}: \mathbb{R}^3 \setminus \{(0,0,0) \} \to \mathbb{R}^3\) that a mass \(M\) at the origin exerts on a mass \(m\) at position \((x,y,z)\) is given by

\begin{equation*} \mathbf{F}(x,y,z) = - \frac{G M m }{r^3} (x,y,z), \end{equation*}

where \(r = \sqrt{x^2+y^2+z^2}\) and \(G\) is the gravitional constant. The corresponding one-form is

\begin{equation*} \omega = -\frac{GM m}{r^3} \left( x\ dx + y\ dy + z\ dz \right). \end{equation*}

It is easy to see that the gravitational force field is conservative, or equivalently that the one-form \(\omega\) is exact, since \(\omega = d \varphi\) with the function \(\varphi\) given by

\begin{equation*} \varphi(x,y,z) = \frac{GM m}{r}. \end{equation*}

\(\varphi\) is the potential function, which from physics you may recognize as minus the gravitational potential energy.

Subsection 2.2.3 Closed one-forms in \(\mathbb{R}^2\)

Since not all one-forms can be written as differentials of functions, i.e. not all one-forms are exact, a natural question arises: can we determine, looking at a one-form, whether it is exact or not? Similarly, can we easily determine whether a vector field is conservative? Unfortunately we will not be able to fully answer this question at the moment, we will come back to it in Section 3.6. For the time being, we will be able to find a necessary condition for a one-form to be exact, which in the context of vector calculus is sometimes called a "screening test" for conservative vector fields.

Let us focus first on one-forms and vector fields on \(U \subseteq \mathbb{R}^2\text{.}\)

Definition 2.2.9. Closed one-forms in \(\mathbb{R}^2\).

We say that a one-form \(\omega = f\ dx + g\ dy\) on \(U \subseteq \mathbb{R}^2\) is closed if

\begin{equation*} \frac{\partial f}{\partial y} = \frac{\partial g}{\partial x}. \end{equation*}

This definition may seem ad hoc, but it is important because of the following lemma.

Suppose that \(\omega\) is exact: then it can be written as

\begin{equation*} \omega = f\ dx + g \ dy = d F = \frac{\partial F}{\partial x}\ dx + \frac{\partial F}{\partial y}\ dy \end{equation*}

for some smooth function \(F\) on \(U \subseteq \mathbb{R}^2\text{.}\) It will then be closed if

\begin{equation*} \frac{\partial f}{\partial y} = \frac{\partial^2 F}{\partial y \partial x} \end{equation*}

is equal to

\begin{equation*} \frac{\partial g}{\partial x} = \frac{\partial^2 F}{\partial x \partial y}. \end{equation*}

Equality of the two expressions follows from the Clairaut-Schwarz theorem, which states that partial derivatives commute, as long as they are continuous. But continuity of the partial derivatives is guaranteed by the fact that all partial derivatives of \(F\) exist and are continuous, since by definition (see Definition 2.1.1) one-forms are assumed to have smooth component functions. Therefore the one-form is closed.

Note however that the converse statement is not necessarily true: not all closed one-forms on \(U \subseteq \mathbb{R}^2\) are exact. In fact, the question of when closed one-forms are exact is an important one; the result is known as Poincare's lemma. We will come back to this in Section 3.6. But what Lemma 2.2.10 tells us is that one-forms that are not closed cannot be exact.

There is of course an analogous statement for conservative vector fields. The only minor difference is that we need to impose a condition on the component functions of vector fields, since vector fields are not always smooth by definition (see Definition Definition 2.1.2.

In the context of vector fields, it is called a screening test, because it is a quick test to determine whether a vector field has a chance at all to be conservative. In other words, if a vector field does not pass the screening test, then it is certainly not conservative. However, if it passes the screening test, at this stage we cannot conclude anything. Just like closed one-forms are not necessarily exact.

Consider the exact one-form on \(\mathbb{R}^2\) from Example 2.2.7, \(\omega = \cos x\ dx - \sin y\ dy\text{.}\) We show that it is closed, according to Definition 2.2.9. The partial derivatives are easily calculated:

\begin{equation*} \frac{\partial}{\partial y} \cos x = 0, \qquad \frac{\partial}{\partial x} (- \sin y) = 0. \end{equation*}

Thus Definition 2.2.9 is satisfied, and \(\omega\) is closed.

If a vector field is conservative, then it passes the screening test. Correspondingly, if a one-form is exact, then it is closed. But the converse statement is not necessarily true (we will revisit it later in Section 3.6). Consider for instance the one-form

\begin{equation*} \omega = - \frac{y}{x^2+y^2}\ dx + \frac{x}{x^2+y^2}\ dy. \end{equation*}

Calculating the partial derivatives for Definition 2.2.9, we get that

\begin{equation*} \frac{\partial}{\partial y}\left( - \frac{y}{x^2+y^2} \right) = \frac{y^2- x^2}{x^2+y^2}, \qquad \frac{\partial}{\partial x}\left( \frac{x}{x^2+y^2} \right) = \frac{ y^2-x^2}{x^2+y^2}. \end{equation*}

The two expressions are equal, and thus \(\omega\) is closed. However, one can show that \(\omega\) is not exact: there does not exist a function \(f\) such that \(\omega= d f\) (see Exercise 3.4.3.2).

Subsection 2.2.4 Closed one-forms in \(\mathbb{R}^3\)

We focused on \(\mathbb{R}^2\) for simplicity, but similar results hold for one-forms and vector fields in \(\mathbb{R}^3\text{.}\)

Definition 2.2.14. Closed one-forms in \(\mathbb{R}^3\).

We say that a one-form \(\omega = f\ dx + g\ dy + h\ dz\) on \(U \subseteq \mathbb{R}^3\) is closed if

\begin{equation*} \frac{\partial f}{\partial y} = \frac{\partial g}{\partial x}, \qquad \frac{\partial f}{\partial z} = \frac{\partial h}{\partial x}, \qquad \frac{\partial g}{\partial z} = \frac{\partial h}{\partial y}. \end{equation*}

We then have the lemma:

Suppose that \(\omega\) is exact: then it can be written as

\begin{equation*} \omega = f\ dx + g \ dy + h\ dz = d F = \frac{\partial F}{\partial x}\ dx + \frac{\partial F}{\partial y}\ dy + \frac{\partial F}{\partial z}\ dz \end{equation*}

for some smooth function \(F\) on \(U \subseteq \mathbb{R}^3\text{.}\) It will then be closed if

\begin{equation*} \frac{\partial^2 F}{\partial y \partial x} = \frac{\partial^2 F}{\partial x \partial y}, \qquad \frac{\partial^2 F}{\partial z \partial x} = \frac{\partial^2 F}{\partial x \partial z}, \qquad \frac{\partial^2 F}{\partial z \partial y} = \frac{\partial^2 F}{\partial y \partial z}. \end{equation*}

As before, these equalities follow from the Clairaut-Schwarz theorem, which states that partial derivatives commute as long as they are continuous.

The analogous statement for vector fields goes as follows:

Remark 2.2.17.

At this stage the definition of closeness for one-forms and the associated screening test for vector fields appear to be rather ad hoc. Sure, they are necessary conditions for a one-form to be exact and a vector field to be conservative, but is that it? No, not really. In fact, those conditions will come out very naturally when we go beyond one-forms and introduce the theory of \(k\)-forms in general. We will see how we can "differentiate" forms - this is the notion of exterior derivative. Then the definition of closed one-forms in Definition 2.2.9 will be simply that a one-form \(\omega\) is closed if its exterior derivative \(d \omega\) vanishes. Furthermore, if \(F\) is the vector field associated to a one-form \(\omega\text{,}\) then the vector field associated to its derivative \(d \omega\) will be called the "curl" of \(\mathbf{F}\text{,}\) and denoted by \(\boldsymbol{\nabla} \times \mathbf{F}\text{.}\) The screening test for vector fields will then be that \(\mathbf{F}\) is "curl-free", that is \(\boldsymbol{\nabla} \times \mathbf{F} = 0\text{.}\) All fun stuff, but it will have to wait for a bit! Coming in Chapter 4.

Exercises 2.2.5 Exercises

1.

Consider the function \(f(x,y,z) = \sin(y) + z x\text{.}\) Find its differential \(d f\text{.}\)

Solution.

\(d f\) is given by:

\begin{align*} df =\amp \frac{\partial f}{\partial x}\ dx + \frac{\partial f}{\partial y}\ dy + \frac{\partial f}{\partial z}\ dz\\ =\amp z\ dx + \cos(y)\ dy + x\ dz. \end{align*}

2.

Consider the one-form \(\omega = x \ dx - y \ dy\) on \(\mathbb{R}^2\text{.}\) Show that it is exact, and find a function \(f\) such that \(\omega = d f\text{.}\)

Solution.

Suppose that there exists a function \(f(x,y)\) such that \(d f = \frac{\partial f}{\partial x}\ dx + \frac{\partial f}{\partial y}\ dy = x\ dx - y\ dy\text{.}\) Then we must have

\begin{equation*} \frac{\partial f}{\partial x} = x, \qquad \frac{\partial f}{\partial y} = - y. \end{equation*}

Integrating the first equation (recalling that this is a partial derivative, so the “constant of integration” is any function of \(y\) alone), we get:

\begin{equation*} f(x,y) = \frac{x^2}{2} + g(y) \end{equation*}

for some function \(g(y)\text{.}\) Substituting into the second equation, we get

\begin{equation*} \frac{\partial f}{\partial y} = g'(y) = - y,\text{,} \end{equation*}

which can be integrated to

\begin{equation*} g(y) = - \frac{y^2}{2} + C \end{equation*}

for any constant \(C\text{.}\) Since we are only interested in finding one \(f\) such that \(d f = \omega\text{,}\) we can choose \(C = 0\text{.}\) We conclude that the function

\begin{equation*} f(x,y) = \frac{x^2}{2} - \frac{y^2}{2} \end{equation*}

is such that \(d f= \omega\text{,}\) and hence that \(\omega\) is an exact one-form.

3.

True or False. If \(\mathbf{F}\) and \(\mathbf{G}\) are both conservative, then \(\mathbf{F} + \mathbf{G}\) is also conservative.

Solution.

True. If \(\mathbf{F}\) and \(\mathbf{G}\) are both conservative, then \(\mathbf{F} = \boldsymbol{\nabla} f\) and \(\mathbf{G} = \boldsymbol{\nabla} g\) for some functions \(f\) and \(g\text{.}\) But then \(\mathbf{F} + \mathbf{G} = \boldsymbol{\nabla}(f+g)\text{,}\) and hence \(\mathbf{F} + \mathbf{G}\) is also conservative.

4.

Consider the vector field \(\mathbf{F}(x,y,z) = \left( y z e^{x y}, x z e^{x y}, e^{x y} \right)\text{.}\) Show that it is conservative and find a potential.

Solution.

\(\mathbf{F}\) is conservative if there exists a function \(f\) such that \(\mathbf{F} = \boldsymbol{\nabla}{f}\text{.}\) So we need to solve the equations

\begin{equation*} \frac{\partial f}{\partial x} = y z e^{x y}, \qquad \frac{\partial f}{\partial y} = x z e^{x y}, \qquad \frac{\partial f}{\partial z} = e^{x y}. \end{equation*}

Let us start by integrating the last one. We get:

\begin{equation*} f(x,y,z) = z e^{x y} + g(x,y) \end{equation*}

for some function \(g(x,y)\text{.}\) Substituting back into the second one, we get:

\begin{equation*} \frac{\partial f}{\partial y} = x z e^{x y} + \frac{\partial g}{\partial y} = x z e^{x y}, \end{equation*}

from which we conclude that \(\frac{\partial g}{\partial y} = 0\text{,}\) that is, \(g(x,y) = h(x)\) for some function \(h(x)\text{.}\) Finally, substituting back into the first equation, we get:

\begin{equation*} \frac{\partial f}{\partial x} = y z e^{x y} + \frac{dh}{dx} = y z e^{x y}, \end{equation*}

from which we get \(h'(x) = 0\text{,}\) that is \(h(x) = C\) for some constant \(C\text{.}\) We choose \(C=0\text{,}\) and we conclude that \(\mathbf{F}\) is conservative, with potential

\begin{equation*} f(x,y,z) = z e^{x y}. \end{equation*}

5.

Show that the one-form \(\omega = f'(x)\ dx + g'(y)\ dy\) on \(\mathbb{R}^2\) is exact, for any smooth functions \(f,g: \mathbb{R} \to \mathbb{R}\text{.}\)

Solution.

Consider the function \(F(x,y) = f(x) + g(y)\text{.}\) Its differential is

\begin{equation*} d F = \frac{\partial F}{\partial x}\ dx + \frac{\partial F}{\partial y}\ dy = f'(x)\ dx + g'(y)\ dy. \end{equation*}

Therefore \(\omega\) is exact, and it is a well defined one-form on \(\mathbb{R}^2\) as \(f\) and \(g\) are smooth.

6.

Show that the one-form \(\omega = \cos(y)\ dx - x \sin(y)\ dy\) is closed. Is it exact?

Solution.

Let us write \(\omega = f\ dx + g\ dy\) for \(f(x,y) = \cos(y)\) and \(g(x,y) = - x \sin(y)\text{.}\) To show that it is closed, we calculate:

\begin{equation*} \frac{\partial f}{\partial y} = - \sin(y), \qquad \frac{\partial g}{\partial x} = - \sin(y). \end{equation*}

As the two partial derivatives are equal, we conclude that \(\omega\) is a closed one-form.

Is it exact? We are looking for a function \(F(x,y)\) such that \(d F = \omega\text{,}\) that is,

\begin{equation*} \frac{\partial F}{\partial x} = \cos(y), \qquad \frac{\partial F}{\partial y} = - x \sin(y). \end{equation*}

Integrating the first equation, we get \(F(x,y) = x \cos(y) + h(y)\) for some function \(h(y)\text{.}\) Substituting in the second equation, we get

\begin{equation*} \frac{\partial F}{\partial y} = - x \sin(y) + h'(y) = - x \sin(y), \end{equation*}

from which we conclude that \(h'(y) = 0\text{,}\) that is \(h(y) = C\text{.}\) We pick \(C=0\text{.}\) We conclude that \(\omega = d F\) with \(F(x,y) = x \cos(y)\text{,}\) and hence it is exact.

7.

Show that the vector field \(\mathbf{F}(x,y,z) = \left( y+z, x+z, x+y \right)\) passes the screening test.

Solution.

We simply need to calculate partial derivatives. If we denote the component functions by \((f_1,f_2,f_3)\text{,}\) we get:

\begin{gather*} \frac{\partial f_1}{\partial y} = 1, \qquad \frac{\partial f_1}{\partial z} = 1, \qquad \frac{\partial f_2}{\partial z} = 1\\ \frac{\partial f_2}{\partial x} = 1, \qquad \frac{\partial f_3}{\partial x} = 1, \qquad \frac{\partial f_3}{\partial y} = 1. \end{gather*}

It follows that \(\mathbf{F}\) passes the screening test. In fact, it is easy to show that it is conservative, with a potential given by \(f(x,y,z) = x y + x z + y z.\)

8.

Determine whether the one-form \(\omega = x\ dx + x\ dy + z\ dz\) is exact. If it is, find a function \(f\) such that \(\omega = df\text{.}\)

Solution.

If we write \(\omega = f\ dx + g\ dy + h\ dz\text{,}\) we see right away that

\begin{equation*} \frac{\partial f}{\partial y} = 0, \end{equation*}

while

\begin{equation*} \frac{\partial g}{\partial x} = 1. \end{equation*}

Thus \(\omega\) is not closed, and hence it cannot exact.

9.

Consider the vector field \(\mathbf{F}(x,y) = (x y^n , 2 x^2 y^3)\) for some positive integer \(n\text{.}\) Find the value of \(n\) for which \(\mathbf{F}\) is conservative on \(\mathbb{R}^2\text{,}\) and find a potential for this value of \(n\text{.}\)

Solution.

For \(\mathbf{F}\) to be conservative, it must pass the screening test. We write \(\mathbf{F} = (f_1, f_2)\text{,}\) and calculate:

\begin{equation*} \frac{\partial f_1}{\partial y} = n x y^{n-1}, \qquad \frac{\partial f_2}{\partial x} = 4 x y^3. \end{equation*}

We see that the two partial derivatives are equal for all \((x,y)\) if and only if \(n=4\text{,}\) in which case the vector field becomes \(\mathbf{F} = (x y^4, 2 x^2 y^3)\text{.}\) To show that it is conservative and find a potential function, we are looking for a function \(f(x,y)\) such that \(\boldsymbol{\nabla} f= (x y^4, 2 x^2 y^3).\) So we must have

\begin{equation*} \frac{\partial f}{\partial x}= x y^4, \qquad \frac{\partial f}{\partial y} = 2 x^2 y^3. \end{equation*}

Integrating the first equation, we get

\begin{equation*} f(x,y) = \frac{1}{2} x^2 y^4 + g(y) \end{equation*}

for some function \(g(y)\text{.}\) Substituting in the second equation, we get

\begin{equation*} \frac{\partial f}{\partial y}= 2 x^2 y^3 + g'(y) =2 x^2 y^3\text{,} \end{equation*}

from which we get \(g'(y) = 0\text{,}\) that is \(g(y) = C\text{.}\) We pick \(C=0\text{.}\) Thus \(\mathbf{F}\) is conservative for \(n=4\text{,}\) and a potential function is given by

\begin{equation*} f(x,y) = \frac{1}{2} x^2 y^4. \end{equation*}