Nonexact angular one-form

ID: nonexact-angular-one-form

On the punctured plane, this one-form is closed and locally the differential of the polar angle. Its line integral around a closed curve is times the winding number. A once-winding circle therefore has nonzero integral, proving that no global single-valued angle potential exists and the form is not an exact differential form.
For a counterclockwise circle of radius , substitute , . The pullback of a differential form is
The radius cancels. In coordinates, and satisfy away from the origin, so there. The nonzero integral is a global obstruction to being an exact differential form, not a nonzero local exterior derivative.
Figure 1.
Smooth local circulation scales with enclosed area, whereas a closed angular form detects winding around an excluded point
. Details.
Compare this with the smooth one-form on the whole plane. Here , and its integral around a radius- circle is , the enclosed area. The Generalized Stokes theorem applies to the full disc for . For , that disc crosses the excluded origin, where the one-form is undefined. On an annulus the theorem applies, but its induced inner boundary is clockwise: the two integrals and cancel. This explains exactly why closedness and nonzero circulation can coexist.

New to topics? Read the docs here!