Definition: Potential Energy
A potential energy function of a conservative force is a scalar field such that
There are infinitely many such functions but we are free to choose where and thus fix a particular one, so long as we are consistent with our choice. Once is fixed, we call the potential energy of a point mass at the position due to .
NOTATION
Theorem: Work of a Conservative Force
The work done by a conservative force acting on a physical system is equal to the negative change in its potential energy.
NOTE
The exact choice of the potential energy function is irrelevant.
PROOF