Editing Closed and exact differential forms

{{Short description|Concept of vector calculus}}
In [[mathematics]], especially [[vector calculus]] and [[differential topology]], a '''closed form''' is a [[differential form]] ''α'' whose [[exterior derivative]] is zero ({{nowrap|1=''dα'' = 0}}); and an '''exact form''' is a differential form, ''α'', that is the exterior derivative of another differential form ''β'', i.e. {{nowrap|1=''α'' = dβ}}.  Thus, an ''exact'' form is in the ''[[image (mathematics)|image]]'' of ''d'', and a ''closed'' form is in the ''[[kernel (algebra)|kernel]]''  of ''d'' (also known as null space).

For an exact form ''α'', {{nowrap|1=''α'' = ''dβ''}} for some differential form ''β'' of degree one less than that of ''α''. The form ''β'' is called a "potential form" or "primitive" for ''α''. Since the exterior derivative of a closed form is zero, ''β'' is not unique, but can be modified by the addition of any closed form of degree one less than that of ''α''.

Because {{nowrap|1=''d''{{i sup|2}} = 0}}, every exact form is necessarily closed. The question of whether ''every'' closed form is exact depends on the [[topology]] of the domain of interest.  On a [[Contractible space|contractible]] domain, every closed form is exact by the [[Poincaré lemma]]. More general questions of this kind on an arbitrary [[differentiable manifold]] are the subject of [[de Rham cohomology]], which allows one to obtain purely [[algebraic topology|topological]] information using differential methods.

== Examples ==
{{details|Winding number}}
[[File:Irrotationalfield.svg|thumb|Vector field corresponding to (the [[Hodge dual]] of) ''dθ''.]]
A simple example of a form that is closed but not exact is the 1-form <math>d\theta</math><ref group="note">This is an abuse of notation. The argument <math>\theta</math> is not a well-defined function, and <math>d\theta</math> is not the differential of any zero-form. The discussion that follows elaborates on this.</ref> given by the derivative of [[Argument (complex analysis)|argument]] on the [[punctured plane]] {{nowrap|<math>\mathbb{R}^2\smallsetminus\{0\}</math>.}} Since <math>\theta</math> is not actually a function (see the next paragraph) <math>d\theta</math> is not an exact form. Still, <math>d\theta</math> has vanishing derivative and is therefore closed.

Note that the argument <math>\theta</math> is only defined up to an integer multiple of <math>2\pi</math> since a single point <math>p</math> can be assigned different arguments {{nowrap|<math>r</math>,}} {{nowrap|<math>r+2\pi</math>,}} etc. We can assign arguments in a locally consistent manner around {{nowrap|<math>p</math>,}} but not in a globally consistent manner. This is because if we trace a loop from <math>p</math> counterclockwise around the origin and back to {{nowrap|<math>p</math>,}} the argument increases by {{nowrap|<math>2\pi</math>.}} Generally, the argument <math>\theta</math> changes by
:<math>\oint_{S^1} d\theta</math>
over a counter-clockwise oriented loop {{nowrap|<math>S^1</math>.}}

Even though the argument <math>\theta</math> is not technically a function, the different ''local'' definitions of <math>\theta</math> at a point <math>p</math> differ from one another by constants. Since the derivative at <math>p</math> only uses local data, and since functions that differ by a constant have the same derivative, the argument has a globally well-defined derivative {{nowrap|"<math>d\theta</math>".}}<ref group=note>The article ''[[Covering space]]'' has more information on the mathematics of functions that are only locally well-defined.</ref>

The upshot is that <math>d\theta</math> is a one-form on <math>\mathbb{R}^2\smallsetminus\{0\}</math> that is not actually the derivative of any well-defined function {{nowrap|<math>\theta</math>.}} We say that <math>d\theta</math> is not ''exact''. Explicitly, <math>d\theta</math> is given as:
:<math>d\theta = \frac{-y\,dx + x\,dy}{x^2+y^2} ,</math>
which by inspection has derivative zero. Notice that if we restrict the domain to the right half-plane, we can write <math>d\theta = d\left(\tan^{-1}(y/x)\right)</math>, but the angle function <math>\theta = \tan^{-1}(y/x)</math> is neither smooth nor continuous over <math>\mathbb{R}^2\smallsetminus\{0\}</math> (as is any choice of angle function). Because <math>d\theta</math> has vanishing derivative, we say that it is ''closed''.

On the other hand, for the one-form
:<math>\alpha = -y\,dx + x\,dy,</math>
<math> d\alpha \ne 0</math>.
Thus <math>\alpha</math> is not even closed, never mind exact.

The form <math>d\theta</math> generates the de Rham cohomology group <math>H^1_{dR}(\mathbb{R}^2\smallsetminus\{0\}) \cong \mathbb{R},</math> meaning that any closed form <math>\omega</math> is the sum of an exact form <math>df</math> and a multiple of {{nowrap|<math>d\theta</math>:}} {{nowrap|<math>\omega = df + k\ d\theta</math>,}} where <math display="inline">k = \frac{1}{2\pi}\oint_{S^1} \omega</math> accounts for a non-trivial contour integral around the origin, which is the only obstruction to a closed form on the punctured plane (locally the derivative of a [[function (mathematics)|potential function]]) being the derivative of a globally defined function.

== Examples in low dimensions ==

Differential forms in <math>\R^2</math> and <math>\R^3</math> were well known in the [[mathematical physics]] of the nineteenth century. In the plane, 0-forms are just functions, and 2-forms are functions times the basic area element <math>dx\wedge dy</math>, so that it is the 1-forms

:<math> \alpha = f(x,y) \, dx + g(x,y) \, dy</math>

that are of real interest. The formula for the [[exterior derivative]] <math>d</math> here is

:<math> d \alpha = (g_x-f_y) \, dx\wedge dy</math>

where the subscripts denote [[partial derivative]]s. Therefore the condition for <math>\alpha</math> to be ''closed'' is

:<math> f_y=g_x.</math>

In this case if <math>h(x,y)</math> is a function then

:<math> dh = h_x \, dx + h_y \, dy.</math>

The implication from 'exact' to 'closed' is then a consequence of the [[symmetry of second derivatives]], with respect to <math>x</math> and <math>y</math>.

The [[gradient theorem]] asserts that a 1-form is exact if and only if the line integral of the form depends only on the endpoints of the curve, or equivalently,
if the integral around any smooth closed curve is zero.

=== Vector field analogies ===
On a [[Riemannian manifold]], or more generally a [[pseudo-Riemannian manifold]], ''k''-forms correspond to ''k''-vector fields (by [[musical isomorphism | duality via the metric]]), so there is a notion of a vector field corresponding to a closed or exact form.

In 3 dimensions, an exact vector field (thought of as a 1-form) is called a [[conservative vector field]], meaning that it is the derivative ([[gradient]]) of a 0-form (smooth scalar field), called the [[scalar potential]]. A closed vector field (thought of as a 1-form) is one whose derivative ([[curl (mathematics)|curl]]) vanishes, and is called an [[irrotational vector field]].

Thinking of a vector field as a 2-form instead, a closed vector field is one whose derivative ([[divergence]]) vanishes, and is called an [[incompressible flow]] (sometimes [[solenoidal vector field]]). The term incompressible is used because a non-zero divergence corresponds to the presence of sources and sinks in analogy with a fluid.

The concepts of conservative and incompressible vector fields generalize to ''n'' dimensions, because gradient and divergence generalize to ''n'' dimensions; curl is defined only in three dimensions, thus the concept of irrotational vector field does not generalize in this way.

== Poincaré lemma <!--'Poincaré lemma' redirects here-->==
The '''[[Poincaré lemma]]'''<!--boldface per WP:R#PLA--> states that if ''B'' is an open ball in '''R'''<sup>''n''</sup>, any closed ''p''-form ''ω'' defined on ''B'' is exact, for any integer ''p'' with {{nowrap|1 ≤ ''p'' ≤ ''n''}}.<ref>{{harvnb|Warner|1983|pages=155-156}}</ref>

More generally, the lemma states that on a contractible open subset of a manifold (e.g., <math>\mathbb{R}^n</math>), a closed ''p''-form, ''p'' > 0, is exact.{{fact|date=February 2023}}

== Formulation as cohomology ==

When the difference of two closed forms is an exact form, they are said to be '''cohomologous''' to each other.  That is, if ''ζ'' and ''η'' are closed forms, and one can find some ''β'' such that
:<math>\zeta - \eta = d\beta</math>
then one says that ''ζ'' and ''η'' are cohomologous to each other. Exact forms are sometimes said to be '''cohomologous to zero'''. The set of all forms cohomologous to a given form (and thus to each other) is called a [[de Rham cohomology]] class; the general study of such classes is known as [[cohomology]]. It makes no real sense to ask whether a 0-form (smooth function) is exact, since ''d'' increases degree by 1; but the clues from topology suggest that only the zero function should be called "exact". The cohomology classes are identified with [[locally constant]] functions.

Using contracting homotopies similar to the one used in the proof of the Poincaré lemma, it can be shown that de Rham cohomology is homotopy-invariant.<ref>{{harvnb|Warner|1983|page=162–207}}</ref>



== Relevance to thermodynamics ==

Consider a thermodynamic system whose equilibrium states are specified by <math> n </math> thermodynamic variables, <math> x_1, x_2, \ldots, x_n </math>. The first law of thermodynamics can be stated as follows: In any process that results in an infinitesimal change of state where the internal energy of the system changes by an amount <math> dU(x_1, x_2, \ldots, x_n),</math> and 
an amount of work <math> dW(x_1, x_2, \ldots, x_n)</math> is done on the system, one must also supply an amount of heat

:<math> dU - dW. </math>

The second law of thermodynamics is an empirical law of nature which says that there is no thermodynamic system for which <math> dU = dW </math> in every circumstance, or in mathematical terms that, the differential form <math> dU - dW </math> is not closed. Caratheodory's theorem<ref>{{harvnb|Chandrasekhar|1939|loc=Ch.I}}</ref> further states that there exists an integrating denominator <math> T </math> such that

:<math> dS \equiv \frac{dU - dW}{T} </math>

''is'' a closed 1-form. The integrating denominator <math> T </math> is the temperature, and the state function <math> S(x_1, x_2, \ldots, x_n)</math> is the equilibrium entropy.


== Application in electrodynamics ==

In electrodynamics, the case of the magnetic field <math>\vec B(\mathbf r)</math> produced by a stationary electrical current is important. There one deals with the [[vector potential]] <math>\vec A(\mathbf r )</math> of this field. This case corresponds to {{nowrap|1=''k'' = 2}}, and the defining region is the full <math>\R^3</math>. The current-density vector is {{nowrap|<math>\vec j</math>.}} It corresponds to the current two-form

:<math>\mathbf I :=j_1(x_1,x_2, x_3) \, {\rm d}x_2\wedge {\rm d}x_3+j_2(x_1,x_2, x_3) \, {\rm d}x_3\wedge {\rm d}x_1+j_3(x_1,x_2, x_3) \, {\rm d}x_1\wedge {\rm d}x_2.</math>

For the magnetic field <math>\vec B</math>  one has analogous results: it corresponds to the induction two-form {{nowrap|<math>\Phi_B:=B_1{\rm d}x_2\wedge {\rm d}x_3 +\cdots</math>,}} and can be derived from the vector potential <math>\vec A</math>, or the corresponding one-form <math>\mathbf A</math>,

:<math> \vec B =\operatorname{curl}\vec A =\left\{ \frac{\partial A_3}{\partial x_2}-\frac{\partial A_2}{\partial x_3} , \frac{\partial A_1}{\partial x_3}-\frac{\partial A_3}{\partial x_1} ,\frac{\partial A_2}{\partial x_1}-\frac{\partial A_1}{\partial x_2}\right\},
\text{ or }
\Phi_B={\rm d}\mathbf A.</math>

Thereby the vector potential <math>\vec A</math> corresponds to the potential one-form

:<math>\mathbf A:=A_1 \, {\rm d}x_1+A_2 \, {\rm d}x_2+A_3 \, {\rm d}x_3.</math>

The closedness of the magnetic-induction two-form corresponds to the property of the magnetic field that it is source-free: {{nowrap|<math>\operatorname{div} \vec B \equiv 0</math>,}} i.e., that there are no [[magnetic monopole]]s.

In a special gauge, <math>\operatorname{div}\vec A{~\stackrel{!}{=}~}0</math>, this implies {{nowrap|1=for ''i'' = 1, 2, 3}}
:<math>A_i(\vec r) = \int \frac{\mu_0 j_i\left(\vec r'\right)\,\, dx_1'\,dx_2'\,dx_3'}{4\pi |\vec r -\vec r'|} \, .</math>

(Here <math>\mu_0</math> is the [[magnetic constant]].)

This equation is remarkable, because it corresponds completely to a well-known formula for the ''electrical'' field <math>\vec E</math>, namely for the ''electrostatic Coulomb potential'' <math>\varphi (x_1,x_2, x_3)</math> of a ''charge density'' <math>\rho (x_1,x_2,x_3)</math>. At this place one can already guess that
* <math>\vec E</math> and <math>\vec B ,</math>
* <math>\rho </math> and <math>\vec j ,</math>
* <math>\varphi</math> and <math>\vec A</math>
can be ''unified'' to quantities with six rsp. four nontrivial components, which is the basis of the [[relativistic invariance]] of the [[Maxwell equations]].

If the condition of stationarity is left, on the left-hand side of the above-mentioned equation one must add, in the equations for {{nowrap|<math>A_i</math>,}} to the three space coordinates, as a fourth variable also the time ''t'', whereas on the right-hand side, in {{nowrap|<math>j_i'</math>,}} the so-called "retarded time", {{nowrap|<math>t':=t-\frac{|\vec r -\vec r'|}{c}</math>,}} must be used, i.e. it is added to the argument of the current-density. Finally, as before, one integrates over the three primed space coordinates. (As usual ''c'' is the vacuum velocity of light.)

== Notes ==
{{reflist|group=note}}

== Citations ==
{{reflist|30em}}
{{reflist|group=Note}}

== References ==
* {{cite book|last=Chandrasekhar|first=S.|author-link=Subrahmanyan Chandrasekhar|year=1939|title= An Introduction to the Study of Stellar Structure|publisher=Dover}}
* {{Cite book | last1=Flanders | first1=Harley |author-link=Harley Flanders|orig-year=1963| title=Differential forms with applications to the physical sciences | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-66169-8 | year=1989}}.
* {{citation|last=Warner|first= Frank W.|title= Foundations of differentiable manifolds and Lie groups|series= Graduate Texts in Mathematics|volume= 94|publisher= Springer|year=1983|isbn= 0-387-90894-3}}
* {{citation|last=Napier|first=Terrence|last2= Ramachandran|first2= Mohan|title=An introduction to Riemann surfaces|publisher=Birkhäuser|year= 2011|isbn= 978-0-8176-4693-6}}
* {{citation|title=Lecture Notes on Elementary Topology and Geometry|first=I. M.|last= Singer|author-link= Isadore Singer|first2= J. A.|last2= Thorpe|
year=1976|isbn=0721114784|publisher=University of Bangalore Press}}

{{Manifolds}}

[[Category:Differential forms]]
[[Category:Lemmas in mathematical analysis]]