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 .
Here is a scalar field: the source's description as a vector field is a typographical slip, since the displayed formula is for its gradient. For cylindrical coordinates, write , . Away from , a local choice of gives the partial derivatives
The chain rule therefore gives
Use the Cartesian coordinates definition and the unit vectors
Collecting their coefficients proves
This is the gradient in cylindrical coordinates. The factor converts a change in angle into a change per unit arc length.