A one-form is an exact differential if a single-valued differentiable potential of a conservative vector field satisfies and on the domain. Then it equals , and its integral along a path is the endpoint difference of .
Integrate with respect to :Its derivative is . Matching the required second component forces , so the additive constant is arbitrary andThe fundamental theorem for line integrals now givesindependently of the convenient segmented path used before. Merely checking equality of mixed partial derivatives on an unspecified domain would not by itself construct this globally defined potential.
Articles by others on the same topic
There are currently no matching articles.