How to find a potential function for a conservative vector field
If a vector field comes from the gradient of a function, how do we work backward to find that function? We’ll integrate one component first, then use the other component to finish the potential.
The video works on the whole plane. When using zero curl to check another field, the same shortcut applies if the components have continuous first partial derivatives on an open, simply connected domain.
Write the two partial derivatives of the potential
Let be a vector field in the plane. If , then is a potential function for . The first component of the gradient is the derivative with respect to , and the second is the derivative with respect to .
Check the cross partials
If and have continuous first partial derivatives on an open, simply connected domain, then guarantees a potential exists. The scalar curl in the plane is , so checking these derivatives is the same as checking that the scalar curl is zero.
For the example, let and . Both components are smooth on the whole plane, which is open and simply connected. The cross partials agree.
Integrate one component and keep the function of y
We know . Integrate with respect to , holding fixed. Both and are constant with respect to .
Any function has an derivative of zero. So the first component tells us the -dependent part of , and the second component will tell us what belongs in .
Use the other component to find g(y)
Take the derivative of the expression we just found, then set it equal to .
Because , we get . So can be any constant , and the potential is
Differentiating this with respect to gives . Differentiating with respect to gives . Those are exactly the components of , so we’ve checked the potential.
Use the potential to evaluate a line integral
If a curve stays in the field’s domain and starts at and ends at , the fundamental theorem for line integrals gives
For example, from to , the ending value is and the starting value is , so the integral is . The constant cancels for any pair of endpoints.
To see why the same endpoint calculation works along different paths, read how path independence works.