Let be a continuous -periodic function and on . On a circle about the axis, , giving the displayed line integral. A single-valued potential of a conservative vector field on the full punctured space exists if and only if this integral is zero. Necessity is the fundamental theorem for line integrals. For sufficiency, the primitive is -periodic when the mean is zero, and the gradient in cylindrical coordinates gives .
On a domain with one angular cut removed, the same primitive gives a potential of a conservative vector field even when the mean is nonzero, because the angle has a single-valued continuous branch there. For example has integral around the full circle but primitive on .

Articles by others on the same topic (0)

There are currently no matching articles.