The form of class is exact on if there is (a potential) with , i.e. and . A form is closed if on .
Examples
Example 20.7 (Reconstructing a potential)
Let on . It is closed: both cross derivatives equal . To find a potential, integrate in at fixed :
then adjust by matching : gives . So , and for any piecewise arc from to ,
independently of the path — the two-step recipe (integrate in , correct in ) is the practical converse of Theorem 20.6 on domains where closed forms are exact.
Example 20.8 (Closed does not imply exact)
On , the angle form
is closed (direct computation: both and equal ), but its integral along the unit circle is (same computation as Example 20.3, divided by ): is not exact on . Locally, for a determination of the polar angle; the failure is global — the angle cannot be defined continuously around the puncture. On domains without holes the pathology disappears: on a star-shaped open set, every closed form is exact (Poincaré’s lemma, Exercise 20.8).