Mathematics · Glossary

What is Exact and closed forms?

Also known as: exact form · potential · closed form

Definition 20.5 University Mathematics — Year 2 · Chapter 20 — Line Integrals and Multiple Integrals

The form ω=P ⁣dx+Q ⁣dy\omega = P\,\dd x + Q\,\dd y of class C0\mathcal{C}^0 is exact on UU if there is fC1(U)f \in \mathcal{C}^1(U) (a potential) with ω= ⁣df\omega = \dd f, i.e. P=fxP = f_x and Q=fyQ = f_y. A C1\mathcal{C}^1 form is closed if Py=QxP_y = Q_x on UU.

Examples

Example 20.7 (Reconstructing a potential)

Let ω=yexy ⁣dx+(xexy+2y) ⁣dy\omega = y\,\eu^{xy}\,\dd x + (x\,\eu^{xy} + 2y)\,\dd y on R2\R^2. It is closed: both cross derivatives equal exy(1+xy)\eu^{xy}(1 + xy). To find a potential, integrate PP in xx at fixed yy:

f(x,y)=yexy ⁣dx=exy+c(y),f(x, y) = \int y\,\eu^{xy}\,\dd x = \eu^{xy} + c(y),

then adjust cc by matching fyf_y: xexy+c(y)=xexy+2yx\,\eu^{xy} + c'(y) = x\,\eu^{xy} + 2y gives c(y)=y2c(y) = y^2. So f(x,y)=exy+y2f(x,y) = \eu^{xy} + y^2, and for any piecewise C1\mathcal C^1 arc from (0,0)(0,0) to (1,1)(1,1),

γω=f(1,1)f(0,0)=(e+1)1=e,\int_\gamma\omega = f(1,1) - f(0,0) = (\eu + 1) - 1 = \eu ,

independently of the path — the two-step recipe (integrate in xx, correct in yy) is the practical converse of Theorem 20.6 on domains where closed forms are exact.

Example 20.8 (Closed does not imply exact)

On U=R2{0}U = \R^2 \setminus \{0\}, the angle form

ω=y ⁣dx+x ⁣dyx2+y2\omega = \frac{-y\,\dd x + x\,\dd y}{x^2 + y^2}

is closed (direct computation: both PyP_y and QxQ_x equal y2x2(x2+y2)2\frac{y^2 - x^2}{(x^2+y^2)^2}), but its integral along the unit circle is 2π02\pi \neq 0 (same computation as Example 20.3, divided by 11): ω\omega is not exact on UU. Locally, ω= ⁣dθ\omega = \dd\theta for a determination θ\theta 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 C1\mathcal{C}^1 form is exact (Poincaré’s lemma, Exercise 20.8).

Read in context →