The components of the curl of a gradient are differences of mixed second derivatives:
If has continuous second partial derivatives in a neighborhood, equality of mixed derivatives makes every component vanish. Thus
The condition is a sufficient regularity hypothesis; no simple-connectivity assumption is needed for this local identity. Topology matters for the converse assertion that every curl-free field has a global potential.
For the given polynomial vector field, direct differentiation gives
An exact differential is a differential one-form equal to for a single-valued scalar function. This field is smooth on the simply connected domain , so its vanishing curl is sufficient for exactness. More concretely,
The explicit potential proves exactness globally, rather than relying on curl-free behavior without checking the domain.
Integrate the first component of with respect to :
Matching the component gives , and matching the component gives . Hence
The fundamental theorem for line integrals now yields
The potential is a single-valued polynomial everywhere, so any piecewise smooth path with these endpoints has the same integral. The plus-gradient convention here should not be confused with the minus gradient of a mechanical potential energy.
Parametrize any actual particle trajectory by time, with and acceleration . The chain rule gives
Integrating from the origin to the endpoint gives
Here is specific kinetic energy, because the source defines it without a mass factor. Equivalently, in the chosen units. The individual initial or final speeds are not fixed by this result. For a particle of mass , the change of ordinary kinetic energy would be .

Articles by others on the same topic (0)

There are currently no matching articles.