An exact differential is an expression that equals for a single-valued differentiable function on the domain. Its line integral is an endpoint difference by the fundamental theorem for line integrals.
Integrating with respect to gives . Matching to requires . HenceThe arbitrary additive constant cancels. This constructs the vector-field potential globally and provides a second proof of path independence.
Articles by others on the same topic
There are currently no matching articles.