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 .
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 derivativesThe chain rule therefore givesUse the Cartesian coordinates definition and the unit vectorsCollecting their coefficients provesThis is the gradient in cylindrical coordinates. The factor converts a change in angle into a change per unit arc length.