Finding Potential Function For Conservative Force PDF
Finding Potential Function For Conservative Force PDF
Marc
c Conrad
November 6, 2007
1 Introduction
Given a vector field F, one thing we may be asked is to find a potential
function for F. That is, we want to find a scalar-valued function f (x, y, z)
such that ∇f = F. In general, we cannot guarantee the existance of such a
function. To establish the existance of a potential for F (that is, to show that
F is conservative), we can use the Component Test given on Page 1164 of the
text. If it is the case that F is conservative, then we can find the potential f
through a systematic procedure that is best illustrated by example.
2 An Example
2.1 Setting up the problem
Let F be the vector field 2xyi + (x2 + 2yz)j + (y 2 + 2z)k. Find a potential
function for F.
One can use the component test to show that F is conservative, but we will
skip that step and go directly to finding the potential. We want to find f
such that ∇f = F. That is we want to have
∂f ∂f ∂f
∇f = i+ j+ k = 2xyi + (x2 + 2yz)j + (y 2 + 2z)k
∂x ∂y ∂z
So the problem is to find a function f such that
1
∂f
= 2xy (1)
∂x
∂f
= x2 + 2yz (2)
∂y
∂f
= y 2 + 2z (3)
∂z
Note that the book uses the notation g(y, z) instead of C(y, z). Now, before
proceeding any further, we explore why the term C(y, z) appears in our
expression, and in particular why we must allow it to depend on y and z.
is that we want the most general antiderivative we can find. The function
f1 (x) = 12 x2 has the property that f10 (x) = x, but so do the functions f2 (x) =
1 2
2
x + 5, f3 (x) = 12 x2 − π and, in general f (x) = 12 x2 + C for any constant C.
Similarily, in our case we want (for the time being) to find the most gen-
∂f
eral function f (x, y, z) that has the property that = 2xy. The function
∂x
∂f1
f1 (x, y, z) = x2 y has the property that = 2xy, but so each of the follow-
∂x
ing functions
f2 (x, y, z) = x2 y − 2
f3 (x, y, z) = x2 y + yz
2 2z−cos(yz) −1 yz
f4 (x, y, z) = x y + sin ye + tan
y + z2 + 1
2
2
In general f (x, y, z) = x2 y + C(y, z) will have the desired property for any
function C(y, z). Hence, the most general form of f with the property that
∂f
= 2xy is f (x, y, z) = x2 y + C(y, z) and it is therefore the indefinite
∂x
integral.
We now return to the problem of finding the potential.
The reason for having C1 (z) in Equation (6) is the same as the reason for
having C(y, z) in Equation (4). That is, C(y, z) = y 2 z + C1 (z) has the
∂C
property that = 2yz for any choice of C1 (z) and (at the moment) we
∂y
want the most general expression for C(y, z) that we can find.
3
Now, substituting our expression for C(y, z) from Equation (6) into Equation
(4) gives us that
f (x, y, z) = x2 y + y 2 z + z 2 + C2 (10)
We can now verify by direct calculation that