Angular circulation obstruction to a cylindrical potential

ID: angular-circulation-obstruction-to-a-cylindrical-potential

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 .

New to topics? Read the docs here!