Skip to main content

Section 7.4 Exterior Differential Operator \(d\) and Boundary Operator \(\partial\)

We now introduce the two most central objects in the study of integration of differential forms, the exterior differential operator \(d\) on differential forms and boundary operator \(\partial\) on singular cubes or chains.

Subsection 7.4.1 Exterior Differential Operator

We use \(\bbR^{m}_{P}\) to denote the tangent space at \(P\text{.}\) Let \(T\bbR^{m}=\{(P, \bv): P\in \bbR^{m}, \bv\in \bbR^{m}_{P}\}\) denote the tangent bundle of \(\bbR^{m}\text{,}\) and \(\Lambda^{k}(T\bbR^{m})=\{ (P, \omega): P\in \bbR^{m}, \omega \in \Lambda^{k}(\bbR^{m}_{P})\}\) denote the set of \(k\)-forms on \(\bbR^{m}\text{:}\) it assigns an alternating tensor of order \(k\) at each point of \(\bbR^{m}\text{.}\) Such a form is called differentiable if the coefficients of the form in the standard basis \(\{dx_{i_{1}}\wedge \cdots \wedge dx_{i_{k}}\}\) are differentiable functions. In fact, we will take \(\Lambda^{k}(T\bbR^{m})\) to mean the set of \(k\)-forms that are infinitely times differentiable. The slight complication of this notation is to give indication that elements in \(T\bbR^{m}\) and in \(\Lambda^{k}(T\bbR^{m})\) have a value at each base point, while the notation \(\Lambda^{k}(\bbR^{m})\) does not have any relation with a base point.
For a differentiable function \(f\text{,}\) \(df=\sum_{i=1}^{m} \frac{\partial f}{\partial x_{i}}\, dx_{i}\) may be regarded as the output of a linear operator
\begin{equation*} d: f\in \Lambda^{0}(T\bbR^{m}):=C^{\infty}(\bbR^{m})\mapsto df\in \Lambda^{1}(T\bbR^{m}). \end{equation*}
We now extend this operator to
\begin{equation*} d: \omega \in \Lambda^{k}(T\bbR^{m})\mapsto d\omega \in \Lambda^{k+1}(T\bbR^{m}) \end{equation*}
for \(1\le k\le m\text{.}\) Any \(\omega\in \Lambda^{1}(T\bbR^{m})\) can be expressed as \(\omega(\bx)=\sum_{i=1}^{m}\omega_{i}(\bx)dx_{i}\text{.}\) We define
\begin{equation*} d\omega(\bx)=\sum_{i=1}^{m}d \omega_{i}(\bx)\wedge dx_{i}. \end{equation*}
Since \(d \omega_{i}(\bx) =\sum_{j=1}^{m}\frac{\partial \omega_{i}}{\partial x_{j}}dx_{j}\text{,}\) we have
\begin{equation*} d\omega(\bx)=\sum_{j < i} \left( \frac{\partial \omega_{i}}{\partial x_j} - \frac{\partial \omega_{j}}{\partial x_{i}} \right) dx_{j} \wedge dx_{i}. \end{equation*}
Recall that our discussion on the curl of a vector field in higher dimensions leads us to this object: if we treat the vector field \(X(\bx)\) as a one form \(\omega(\bx)\text{,}\) then the curl of \(X(\bx)\) corresponds to \(d\omega(\bx)\text{.}\)
For \(k\ge 2\text{,}\) it turns out to be natural to define \(d\) in a similar way: express
\begin{equation*} \omega (\bx)=\sum_{1\le i_{1} < i_{2} < \ldots < i_{k}\le m} \omega_{i_{1}i_{2}\ldots i_{k}}(\bx)\ dx_{i_{1}}\wedge dx_{i_{2}}\wedge\ldots \wedge dx_{i_{k}} \end{equation*}
and define
\begin{equation*} d \omega (\bx)=\sum_{1\le i_{1} < i_{2} < \ldots < i_{k}\le m} d\omega_{i_{1}i_{2}\ldots i_{k}}(\bx)\wedge dx_{i_{1}}\wedge dx_{i_{2}}\wedge\ldots \wedge dx_{i_{k}}. \end{equation*}
In other words, for any single term \(\omega_{i_{1}i_{2}\ldots i_{k}}(\bx) dx_{i_{1}}\wedge dx_{i_{2}}\wedge\ldots \wedge dx_{i_{k}}\text{,}\) its exterior differential is simply
\begin{equation*} d \omega_{i_{1}i_{2}\ldots i_{k}}(\bx)\wedge dx_{i_{1}}\wedge dx_{i_{2}}\wedge\ldots \wedge dx_{i_{k}}. \end{equation*}
We will discuss soon why this definition is natural.
For example, for such an \(\omega\) with \(k=2\) in \(\bbR^{3}\text{,}\) using
\begin{align*} \amp d\left(\omega_{12}(\bx) dx_{1}\wedge dx_{2}\right)\\ = \amp \left(\frac{\partial\omega_{12}}{\partial x_{1}}\, dx_{1}+ \frac{\partial\omega_{12}}{\partial x_{2}}\, dx_{2}+ \frac{\partial\omega_{12}}{\partial x_{3}}\, dx_{3}\right)dx_{1} \wedge dx_{2}\\ = \amp \frac{\partial \omega_{12}}{\partial x_{3}} dx_{3} \wedge dx_{1}\wedge dx_{2}\\ = \amp \frac{\partial \omega_{12}}{\partial x_{3}} dx_{1}\wedge dx_{2}\wedge dx_{3} \end{align*}
and similar computations we get
\begin{align*} \amp d\left(\omega_{12}(\bx) dx_{1}\wedge dx_{2}+ \omega_{23}(\bx) dx_{2}\wedge dx_{3}+ \omega_{13}(\bx) dx_{1}\wedge dx_{3}\right)\\ =\amp \frac{\partial \omega_{12}}{\partial x_{3}} dx_{3} \wedge dx_{1}\wedge dx_{2}+ \frac{\partial \omega_{23}}{\partial x_{1}} dx_{1}\wedge dx_{2}\wedge dx_{3}+ \frac{\partial \omega_{13}}{\partial x_{2}} dx_{2}\wedge dx_{1}\wedge dx_{3}\\ =\amp \left( \frac{\partial \omega_{12}}{\partial x_{3}} + \frac{\partial \omega_{23}}{\partial x_{1}} -\frac{\partial \omega_{13}}{\partial x_{2}}\right) dx_{1}\wedge dx_{2}\wedge dx_{3}. \end{align*}
The most important properties of this operator are summarized in the following theorem; the central ones are the last two.
In the case of \(\omega(\bx)=\sum_{i=1}^{m}\omega_{i}(\bx)dx_{i}\text{,}\) the property \(d \circ d =0\) is demonstrated as
\begin{align*} \amp d\left(\sum_{i,\, j =1}^{n} \frac{\partial \omega_{i}}{\partial x_j} dx_{j} \wedge dx_{i}\right) \\ =\amp \sum_{i,\,j =1}^{n} d \left( \frac{\partial \omega_{i}}{\partial x_j} \right) \wedge dx_{j} \wedge dx_{i} \\ =\amp \sum_{i=1}^{n}\sum_{j,\,k=1}^{n} \left( \frac{\partial^{2} \omega_{i}}{\partial x_j \,\partial x_{k}} \right)dx_{k} \wedge dx_{j} \wedge dx_{i} \\ =\amp \sum_{i=1}^{n}\sum_{k < j}^{n} \left( \frac{\partial^{2} \omega_{i}}{\partial x_j \,\partial x_{k}} - \frac{\partial^{2} \omega_{i}}{\partial x_k \,\partial x_{j}} \right)dx_{k} \wedge dx_{j} \wedge dx_{i} =0 \end{align*}
This can also be seen by applying the rules of exterior differentiation:
\begin{align*} d(d\omega)=\amp d(\sum_{i=1}^{n} d\omega_{i}(\bx)\wedge dx_{i})\\ =\amp \sum_{i=1}^{n} \left(d\left( d\omega_{i}(\bx) \right) \wedge dx_{i} -d \omega_{i}(\bx)\wedge d(dx_{i})\right) =0 \end{align*}
using \(d\left( d\omega_{i}(\bx) \right)=0\) and \(d(dx_{i})=0\text{,}\) which can be verified more easily.

Exercises Exercises

1.
Let \(\omega (x, y ,z)=P(x, y, z)\, dy\wedge dz\) be a continuous \(2\)-form in \(\bbR^{3}\) and \(F(u, v)=(f_{1}(u, v), f_{2}(u, v), f_{3}(u, v))\) be a differentiable map from \(\bbR^{2}\) to \(\bbR^{3}\text{.}\)
  1. Compute \(d\omega\text{,}\) \(d(d\omega)\text{,}\) \(F^{*}(\omega)\text{,}\) \(F^{*}(d \omega)\) and \(d F^{*}(\omega)\text{.}\)
  2. If \(f_{3}(u, v)=\text{const.}\) for \((u, v)\in \bbR^{2}\text{,}\) verify that \(F^{*}(\omega)=0\) and \(F^{*}(d \omega)=0\text{.}\)
2.
\(F(u, v, w)=(f_{1}(u, v, w), f_{2}(u, v, w ), f_{3}(u, v, w))\) be a differentiable map from \(\bbR^{3}\) to \(\bbR^{3}\text{.}\) Compute \(F^{*}\left( G(x, y, z) dx\wedge dy\wedge dz\right)\text{.}\)
3.
Compute \(d\left[ (P\, dx + Q \, dy +R \, dz)\wedge dz \right]\text{.}\)

Subsection 7.4.2 The Boundary Operator, Singular Chain, and Stokes Theorem

Since \(k\)-forms act on \(k\)-tuples of vectors, or \(k\)-dimensional subspaces, we now discuss the geometric objects which interact with \(k\)-forms. Our ultimate goal is to introduce \(k\)-dimensional surfaces or manifolds. A proper definition of the latter requires some preparation. Informally we can think of a \(k\)-dimensional surface as pieced together by reasonably well behaved patches. Here "reasonably well behaved" means that it can be represented by a parametric map defined on a simple domain in \(\bbR^{k}\text{,}\) and a simple domain is meant either the standard cube \(I^{k}:=[0,1]\times\cdots\times[0, 1]\) or the standard simplex \(Q^{k}\) (another commonly used notation is \(\Delta^{k}\)), defined as \(\{(x_{1},\ldots, x_{k}): x_{i}\ge 0 \text{ for each } i=1,\ldots, k, \text{ and } \sum_{i=1}^{k}x_{i}\le 1\}\text{.}\) The latter is a generalization of triangle in \(\bbR^{2}\) and tetrahedron in \(\bbR^{3}\text{.}\)
Piecing together the patches would require consideration of the "faces" and other lower dimensional edges of the patches. Both the cube and the simplex have relative simple description of their faces and lower dimensional edges. For the purpose of developing integration, the cube is easier, for the integration limits are easy. But it is even easier to catalog all lower dimensional faces and edges of the simplex, for the simplex \(Q^{k}\) has \(k+1\) vertices defined by requiring any \(k\) of the \(k+1\) inequalities in the definition of \(Q^{k}\) to be equalities, and any \(l\) dimensional edge/face of \(Q^{k}\) corresponds to setting \(k-l\) of the \(k+1\) inequalities in the definition of \(Q^{k}\) to be equalities, which has \(l+1\) vertices. For \(I^{k}\text{,}\) its \(k-1\) dimensional faces are easy to describe: it has one pair corresponding to each \(x_{i}\) being \(0\) or \(1\text{;}\) however, it has \(2^{k}\) vertices vs the \(k+1\) vertices of \(Q^{k}\text{,}\) and not any choice of \(l+1\) vertices of \(I^{k}\) correspond to an \(l\) dimensional edge/face of \(I^{k}\text{.}\)
We will follow Spivak to focus on using \(I^{k}\) as our standard domain. An actual theory of piecing together patches modeled on either \(I^{k}\) or \(Q^{k}\) is difficult. In two dimension, it amounts to showing that any surface (to be properly defined) can be triangulated. One way to bypass this task is to use a partition of unity to write the integrand\(\mbox{---}\)a differential form in this context\(\mbox{---}\)as the sum of some terms, each of which has support in a cube.
For now we will only focus on how a \(k\)-form \(\omega\) defined on \(A\subset \bbR^{n}\) interacts with a single \(k\)-dimensional patch in \(A\text{,}\) called a singular \(k\)-cube, defined as a continuous (or differentiable) map \(c: I^{k}\mapsto A\subset \bbR^{n}\text{.}\) We will not require \(c\) to be bijective, or the Jacobian of \(c\) to have rank \(k\) everywhere, so \(c(I^{k})\) may not be a \(k\)-dimensional geometric object, or has a clear lower dimensional faces/edges. But we will use \(c\) to pull back \(\omega\) to \(I^{k}\text{,}\) then \(c^{*}(\omega)\) becomes a \(k\)-form on \(I^{k}\text{,}\) and \(I^{k}\) has clearly defined lower dimensional faces/edges.
In fact, since our set up was to study the integration of a \(k\)-form \(\omega\) on the \(k\)-dimensional boundary faces of a singular \((k+1)\)-cube, we will change \(c\) to be a singular \((k+1)\)-cube now. \(I^{k+1}\) has \(2(k+1)\) \(k\)-dimensional faces, and each face of \(I^{k+1}\) has identical geometry as \(I^{k}\text{.}\) Since \(x_{i}=0\) or \(1\) gives rise to a face of \(c\text{,}\) we denote such a face by \(c_{i, 0}\) or \(c_{i, 1}\) respectively. Technically define
\begin{equation*} F_{i, 0}(x_{1},\ldots, x_{k})=(x_{1},\ldots, x_{i-1}, 0, x_{i}, \ldots, x_{k}), \end{equation*}
namely, setting the \(i\)th component of \(F_{i, 0}(x_{1},\ldots, x_{k})\) to be \(0\text{,}\) and assigning the components in the \(i+1\) through \(k+1\) position as \((x_{i}, \ldots, x_{k})\text{.}\) Similarly for \(F_{i, 1}\text{.}\) Then \(c_{i, 0}=c\circ F_{i, 0}\) and \(c_{i, 1}=c\circ F_{i, 1}\) each defines a singular \(k\)-cube in \(A\text{.}\)
We will let \(s\) to take either \(0\) or \(1\) and integrate \(c_{i, s}^{*}(\omega)=f_{i, s}(\bx)dx_{1}\wedge\cdots\wedge dx_{k}\) on \(I^{k}\) and define
\begin{equation*} \int_{c_{i, s} } \omega:= \int_{I^{k}} c_{i, s}^{*}(\omega)=\int_{I^{k}} f_{i, s}(\bx)dx_{1}\cdots dx_{k}. \end{equation*}
To consider the effect of the integration of \(\omega\) on all faces of \(I^{k+1}\) we will consider an appropriate algebraic sum of these integrals. The result amounts to considering some algebraic sums of the \(c_{i, s}\)’s, and leads to the definition of a \(k\)-chain as a finite sum of singular \(k\)-cubes with integer coefficients.

Definition 7.4.2. The Boundary of a Singular Cube and a Singular Chain.

The boundary of the singular \((k+1)\)-cube \(c\) is defined to be
\begin{equation*} \partial c=\sum_{i=1}^{k+1}\sum_{s=0}^{1}(-1)^{i+s}c_{i, s}\text{.} \end{equation*}
The boundary of a \(k\)-chain, \(m_{1}c_{1}+\ldots+m_{r} c_{r}\text{,}\) is defined as \(m_{1}\partial c_{1}+\ldots+m_{r} \partial c_{r}\text{.}\)
The reason for this choice of sign will become clear in the proof of Stokes Theorem.

Remark 7.4.3.

The sum in the definition of the boundary is a formal sum of maps from \(I^{k}\) into to A, not as a sum of vector-valued functions. For one thing, if \(c_{1}, c_{2}:I^{k}\mapsto A\text{,}\) then as the sum of vector-valued functions \(c_{1}+c_{2}\) may not take values in \(A\text{.}\) Secondly, we are going to use \(c_{1}+c_{2}\) only in the context of how they pull back forms on \(A\) to those on \(I^{k}\text{:}\) \((c_{1}+c_{2})^{*}(\omega)=c_{1}^{*}(\omega)+c_{2}^{*}(\omega)\text{.}\)
Let’s take the case of \(c(x, y)=(x, y^{2})\) for \((x, y)\in I^{2}\text{,}\) \(A=I^{2}\) and \(c_{1,0}(t)=c(0, t)=(0, t^{2})\text{,}\) \(c_{1, 1}(t)=c(1, t)=(1, t^{2})\text{.}\) Then the vector-valued algebraic sum \(c_{1, 1}(t)-c_{1, 0}(t)\) of \(c_{1,0}(t)\) and \(c_{1, 1}(t)\) is the map \(c(t)=(1, 0)\text{.}\) Then for any differential form \(\omega\) defined in \((x, y)\in I^{2}\text{,}\) \(c^{*}(\omega)=0\text{,}\) while if we take \(\omega=x\, dy\text{,}\) then \((c_{1, 1}-c_{1, 0})^{*}(x\, dy)=1\, d(t^{2})- 0 \, d(t^{2})=2t\, dt\text{.}\) If we consider the vector-valued sum \(c_{1, 1}(t)+c_{1, 0}(t)\text{,}\) it is \(t\mapsto (1, 2 t^{2})\text{,}\) which may not take value in \(A=I^{2}\) for a certain range of \(t\text{.}\)
As a simple illustration of the integral of a \(k\)-form on a \(k\)-cube or chain, consider the case of \(k=1\text{:}\) suppose that \(\omega(\bx)=\sum_{i=1}^{n}\omega_{i}(\bx)dx_{i}\) is a \(1\)-form in \(\bbR^{n}\text{,}\) and \(c:[0, 1]\mapsto \bbR^{n}\) is a \(1\)-cube, then \(c^{*}(\omega)=\sum_{i=1}^{n}\omega_{i}(c(t))c_{i}'(t)dt\text{,}\) so
\begin{equation*} \int_{c} \omega =\int_{[0, 1]} \sum_{i=1}^{n}\omega_{i}(c(t))c_{i}'(t)dt \end{equation*}
In the case that \(\omega=df\) for some differentiable function \(f(\bx)\text{,}\) \(\omega_{i}(\bx)=D_{i}f(\bx)\text{,}\) and \(\sum_{i=1}^{n} D_{i}f(c(t))c_{i}'(t) =[f(c(t))]'\text{,}\) so
\begin{equation*} \int_{[0, 1]} \sum_{i=1}^{n}\omega_{i}(c(t))c_{i}'(t)dt =\int_{[0, 1]} [f(c(t))]'\, dt=f(c(1))-f(c(0))= \int_{\partial c} f. \end{equation*}
Once these definitions are properly developed, we are be ready to prove a version of Stokes Theorem on a singular cube (or chain).

Proof.

\(c^{*}(\omega)\) is a \(k\)-form on \(I^{k+1}\text{,}\) so can be written as
\begin{equation*} c^{*}(\omega)(\bx)=\sum_{i=1}^{k+1}f_{i}(\bx) dx_{1}\wedge \cdots \wedge\widehat{dx_{i}}\wedge \cdots \wedge dx_{k+1}, \end{equation*}
where \(\widehat{dx_{i}}\) means that the \(dx_{i}\) is omitted in the wedge product. Then
\begin{equation*} c^{*}(d \omega)(\bx)=d \left[ c^{*}( \omega)\right](\bx)= \sum_{i=1}^{k+1}df_{i}(\bx)\wedge dx_{1}\wedge \cdots \widehat{dx_{i}}\wedge \cdots \wedge dx_{k+1}. \end{equation*}
We claim that
\begin{equation*} c_{i, 0}^{*}(\omega) = f_{i}(x_{1},\ldots, x_{i-1}, 0, x_{i}, \ldots, x_{k}) dx_{1}\wedge \cdots \wedge dx_{k}, \end{equation*}
and
\begin{equation*} c_{i, 1}^{*}(\omega) = f_{i}(x_{1},\ldots, x_{i-1}, 1, x_{i}, \ldots, x_{k}) dx_{1}\wedge \cdots \wedge dx_{k}. \end{equation*}
This is because \(F_{i, 0}^{*}(dx_{i})=0\) and \(F_{i, 1}^{*}(dx_{i})=0\) (Heuristically, on these faces \(x_{i}\) is a constant, so \(dx_{i}=0\) when applied to tangent vectors in these faces), so, for \(j\ne i\text{,}\)
\begin{equation*} F_{i, 0}^{*} (dx_{1}\wedge \cdots \widehat{dx_{j}}\wedge \cdots \wedge dx_{k+1})=0\text{,} \end{equation*}
and \(c_{i, 0}^{*}(\omega)\) will have only one term arising from \(f_{i}(\bx) dx_{1}\wedge \cdots \wedge\widehat{dx_{i}}\wedge \cdots \wedge dx_{k+1}\) with \(x_{i}=0\) in \(f_{i}(\bx)\text{:}\)
\begin{equation*} c_{i, 0}^{*}(\omega) =F_{i, 0}^{*} (c^{*}(\omega))= f_{i}(x_{1},\ldots, x_{i-1}, 0, x_{i}, \ldots, x_{k}) dx_{1}\wedge \cdots \wedge dx_{k}. \end{equation*}
The same argument works for \(c_{i, 1}^{*}(\omega)\text{.}\)
Note that
\begin{align*} \amp df_{i}(\bx)\wedge dx_{1}\wedge \cdots \wedge \widehat{dx_{i}}\wedge \cdots \wedge dx_{k+1}\\ = \amp (-1)^{i+1}D_{i} f_{i}(\bx) dx_{1}\wedge \cdots \wedge dx_{i}\wedge \cdots \wedge dx_{k+1}, \end{align*}
so
\begin{align*} \amp \int_{I^{k+1}} df_{i}(\bx)\wedge dx_{1}\wedge \cdots \widehat{dx_{i}}\wedge \cdots \wedge dx_{k+1}\\ = \amp (-1)^{i+1}\int_{I^{k+1}} D_{i} f_{i}(\bx) dx_{1}\wedge \cdots dx_{i}\wedge \cdots \wedge dx_{k+1} \end{align*}
But integrating out the \(i\)-th coordinate first gives
\begin{align*} \amp \int_{I^{k+1}} D_{i} f_{i}(\bx) dx_{1}\wedge \cdots dx_{i}\wedge \cdots \wedge dx_{k+1} \\ =\amp \int_{I^{k}} f_{i}(x_{1},\ldots, x_{i-1}, x_{i}, x_{i+1}, \ldots, x_{k+1})\Big|_{x_{i}=0}^{x_{i}=1} dx_{1}\cdots \widehat{dx_{i}}\cdots d x_{k+1} \end{align*}
so
\begin{align*} \amp \int_{I^{k+1}} df_{i}(\bx)\wedge dx_{1}\wedge \cdots \widehat{dx_{i}}\wedge \cdots \wedge dx_{k+1}\\ =\amp (-1)^{i+1} \int_{I^{k}} \left( F_{i, 1}^{*}(c^{*}(\omega))- F_{i, 0}^{*}(c^{*}(\omega))\right)\\ =\amp (-1)^{i+1} \int_{I^{k}} \left( c_{i, 1}^{*}(\omega)- c_{i, 0}^{*}(\omega)\right) \end{align*}
It is now clear from the definition of \(\partial c \) that
\begin{equation*} \int_{\partial c}\omega= \sum_{i=1}^{k+1}\sum_{s=0}^{1}(-1)^{i+s} \int_{I^{k}} c_{i, s}^{*} (\omega) =\int_{I^{k+1}} d c^{*}( \omega)= \int_{c} d\omega\text{.} \end{equation*}

Remark 7.4.5.

This version of the Stokes Theorem is formulated as integrals on standard cells \(I^{k}\) and \(I^{k+1}\) of forms pulled back by a map \(c\) defined on \(I^{k+1}\text{.}\) In concrete situations \(c\) often defines a \((k+1)\)-dimensional differentiable surface with the restriction of \(c\) to the boundary of \(I^{k+1}\) defining \(k\)-dimensional differentiable surfaces. In such cases the integrals can be considered as defined on these geometric surfaces. The \(k=1\) case gives the classical Stokes Theorem for a surface parametrized via a map from \(I^{2}\mbox{--}\) see the example below for details. If we encounter more complicated surfaces in applications, we need to partition the surface as the non-overlapping union of several pieces which may share some common edges and each piece can be parametrized via a map from \(I^{2}\text{,}\) one then needs to account for the contributions from the difference pieces in the boundary integral \(\int_{\partial c}\omega\text{.}\)
In some sense, the operator \(d\) and the boundary \(\partial c\) are motivated and defined to make the Stokes Theorem hold in the general setting.
The \(\partial\) operator also has the property that \(\partial \circ \partial =0\text{.}\) It is a reflection of the property that each of the faces of \(I^{k+1}\) has \((k-1)\)-dimensional edges, and when computing \(\partial \circ \partial ( I^{k+1})\text{,}\) each of these edges appears as the edge of exactly two faces with opposite orientation! The proof given in Spivak is merely an analytical way of book-keeping this property.

Example 7.4.6. Example relating the integral of a two form to a classical surface integral.

Consider the two form
\begin{equation*} \omega(x, y, z) = P(x, y, z) \, dy\wedge dz + Q(x, y, z)\, dz\wedge dx + R(x, y, z) \, dx\wedge dy \end{equation*}
in \(\bbR^{3}\text{.}\) Suppose \(\vg: (u, v)\in I^{2} \mapsto \bbR^{3}\) is a singular \(2\)-cube. We defined \(\int_{\vg}\omega \) as \(\int_{I^{2}} \vg^{*}(\omega)\text{.}\) Let’s see a more concrete form of \(\vg^{*}(\omega)\text{.}\)
\begin{align*} \vg^{*}(\omega) \amp= P\circ \vg \left(\frac{\partial y}{\partial u} \, du + \frac{\partial y}{\partial v} \, dv\right) \wedge \left(\frac{\partial z}{\partial u} \, du + \frac{\partial z}{\partial v} \, dv\right) \\ \amp + Q\circ \vg \left(\frac{\partial z}{\partial u} \, du + \frac{\partial z}{\partial v} \, dv\right) \wedge \left(\frac{\partial x}{\partial u} \, du + \frac{\partial x}{\partial v} \, dv\right) \\ \amp + R\circ \vg \left(\frac{\partial x}{\partial u} \, du + \frac{\partial x}{\partial v} \, dv\right) \wedge \left(\frac{\partial y}{\partial u} \, du + \frac{\partial y}{\partial v} \, dv\right) \\ \amp= P\circ \vg \left(\frac{\partial y}{\partial u} \frac{\partial z}{\partial v}- \frac{\partial y}{\partial v} \frac{\partial z}{\partial u} \right) du\wedge dv \\ \amp+ Q\circ \vg \left(\frac{\partial z}{\partial u} \frac{\partial x}{\partial v}- \frac{\partial z}{\partial v} \frac{\partial x}{\partial u} \right) du\wedge dv \\ \amp+ R\circ \vg \left(\frac{\partial x}{\partial u} \frac{\partial y}{\partial v}- \frac{\partial x}{\partial v} \frac{\partial y}{\partial u} \right) du\wedge dv \end{align*}
Note that
\begin{equation*} D_{u}\vg\times D_{v}\vg=\left( \frac{\partial y}{\partial u} \frac{\partial z}{\partial v}- \frac{\partial y}{\partial v} \frac{\partial z}{\partial u}, \frac{\partial z}{\partial u} \frac{\partial x}{\partial v}- \frac{\partial z}{\partial v} \frac{\partial x}{\partial u}, \frac{\partial x}{\partial u} \frac{\partial y}{\partial v}- \frac{\partial x}{\partial v} \frac{\partial y}{\partial u}\right), \end{equation*}
so
\begin{equation*} \vg^{*}(\omega)=(P\circ \vg, Q\circ \vg, R\circ \vg) \cdot \left( D_{u}\vg\times D_{v}\vg\right)\, du\wedge dv, \end{equation*}
and if we use \(\nu\) to denote the unit vector in the direction of \(D_{u}\vg\times D_{v}\vg\) (when it is not \(\mathbf 0\)), then
\begin{equation*} \vg^{*}(\omega)=(P\circ \vg, Q\circ \vg, R\circ \vg)\cdot \nu \Vert D_{u}\vg\times D_{v}\vg\Vert \, du\wedge dv \end{equation*}
and
\begin{equation*} \int_{I^{2}} \vg^{*}(\omega)= \int_{I^{2}} (P\circ \vg, Q\circ \vg, R\circ \vg)\cdot \nu \Vert D_{u}\vg\times D_{v}\vg\Vert \, du\, dv. \end{equation*}
Recall that the integral of \(\Vert D_{u}\vg\times D_{v}\vg\Vert\) gives the surface area of the parametric surface \(\vg=\vg(u, v)\) over the parameter domain, and the integral on the right hand side above is identified as the surface integral
\begin{equation*} \int_{\vg(I^{2})} (P, Q, R)\cdot \nu \, dA. \end{equation*}
Because of this relation one often finds in older texts that \(\int_{S} (P, Q, R)\cdot \nu \, dA\) is written as \(\int_{S} P\, dy dz + Q\, dz dx +R\, dx dy\) on a surface \(S\text{.}\)
If we look at the term involving \(P, Q\) or \(R\) individually, say, the term \(P\circ \vg \left(\frac{\partial y}{\partial u} \frac{\partial z}{\partial v}- \frac{\partial y}{\partial v} \frac{\partial z}{\partial u} \right)\text{,}\) then
\begin{equation*} \int_{I^{2}} P\circ \vg \left(\frac{\partial y}{\partial u} \frac{\partial z}{\partial v}- \frac{\partial y}{\partial v} \frac{\partial z}{\partial u} \right) \, du dv =\int_{\text{Projection into the } y, z \text{ plane of } \vg(I^{2})} P \,dy dz \end{equation*}
according to the change of variables formula in integration, provided that \(\frac{\partial y}{\partial u} \frac{\partial z}{\partial v}- \frac{\partial y}{\partial v} \frac{\partial z}{\partial u}>0\text{.}\) In other words, this integral can be treated as an integral in the \(y\mbox{--}z\) coordinate plane. When the sign is not specified, the integral takes into account of the orientation of the projection, such as in the case that \(\vg\) is a parametrization for the round sphere that includes portions of both the upper and lower hemisphere, where \(\frac{\partial y}{\partial u} \frac{\partial z}{\partial v}- \frac{\partial y}{\partial v} \frac{\partial z}{\partial u}\) will be positive in some region while negative in some other region, so the resulting integral reflects this. As a result, \(\int_{\vg}\omega\) can be interpreted as projecting \(\omega\) to each of the possible two dimensional coordinate planes and computing the integral of the projected component in the projected domain, taking into account of the orientation of the projection, and summing up these integrals.
For example, if \(\vg\) is a parametrization for the upper half unit sphere centered at the origin, then its projection onto the \(y\mbox{--}z\) plane will be two-to-one, with the right half and left half carrying opposite signs in the Jacobian. Suppose the unit normal corresponding to the parametrization \(\vg\) is outward with respect to the sphere. Since \(\frac{\partial y}{\partial u} \frac{\partial z}{\partial v}- \frac{\partial y}{\partial v} \frac{\partial z}{\partial u}\) is the \(x\)-component of the normal, we know it is positive when \(\vg\) lands on the right half of the sphere and is negative and when \(\vg\) lands on the left half of the sphere. If \(\omega=x\, dy\wedge dz\text{,}\) then the \(x\) factor would also take opposite signs on the two halves of the sphere, so
\begin{equation*} \int_{\vg: x=\vg_{1}\ge 0} x\, dy\wedge dz =\int_{y^{2}+z^{2}\le 1, z\ge 0} \sqrt{1-y^{2}-z^{2}}\, dy dz\text{,} \end{equation*}
\begin{equation*} \int_{\vg: x=\vg_{1}\le 0} x\, dy\wedge dz =\int_{y^{2}+z^{2}\le 1, z\ge 0} -\sqrt{1-y^{2}-z^{2}} (-1)\, dy dz\text{,} \end{equation*}
which results in
\begin{equation*} \int_{\vg}x\, dy\wedge dz=2 \int_{y^{2}+z^{2}\le 1, z\ge 0} \sqrt{1-y^{2}-z^{2}}\, dy dz, \end{equation*}
provided the parametrization gives a positive Jacobian when \(x >0\) (which is the case if \(D_{u}\vg\times D_{v}\) points upward).
If one chooses to use \(\vg(x,y)=(x,y, \sqrt{1-x^{2}-y^{2}})\) as a parametrization, then one could also use this parametrization to evaluate the integral directly, using
\begin{equation*} dy\wedge dz= dy\wedge (\frac{\partial z}{\partial x}dx + \frac{\partial z}{\partial y}dy)=- \frac{\partial z}{\partial x}dx\wedge dy, \end{equation*}
and get
\begin{equation*} \int_{\vg}x\, dy\wedge dz= - \int_{x^{2}+y^{2}\le 1} x \frac{\partial z}{\partial x}\,dx\, dy =\int_{x^{2}+y^{2}\le 1}\frac{x^{2}}{\sqrt{1-x^{2}-y^{2}}} \,dx\, dy. \end{equation*}
A third option to evaluate the above integral is to think of \(\vg\) as part of \(\partial c\) for some singular \(3\)-cube (or chain). One could imagine defining a \(3\)-cube \(c\) mapping into the upper half unit ball such that its restriction to its top face gives rise to \(\vg\text{,}\) its restriction to its bottom face gives rise to a parametrization for the unit disk in the plane \(z=0\text{,}\) and its restriction to its lateral faces maps to the unit circle \(x^{2}+y^{2}=1, z=0\text{,}\) then
\begin{equation*} \int_{\partial c} x \, dy\wedge dz= \int_{\vg}x\, dy\wedge dz - \int_{\text{bottom}} x\, dy\wedge dz. \end{equation*}
But on the bottom face, \(z=0\text{,}\) so \(dy\wedge dz=0\) in the integral. On the other hand, we can apply the Stokes’ Theorem to get
\begin{equation*} \int_{\vg}x\, dy\wedge dz= \int_{c} d(x \, dy\wedge dz)= \int_{c} dx \wedge dy\wedge dz. \end{equation*}
A similar consideration for how to compute integrals of a \(3\)-form leads us to conclude that \(\int_{c} dx \wedge dy\wedge dz\) is the volume of the upper half unit sphere.
In higher dimensions, a surface may no longer have a notion of a normal vector, but the latter interpretation of projecting on each coordinate plane still applies.

Exercises Exercises

1.
Define \(c(u, v)=(u, v)\) for \((u, v)\in I^{2}\text{.}\) For any differentiable \(1\)-form \(\omega= P \, dx + Q\, dy\) in \(I^{2}\text{,}\) work out \((\partial c)^{*}(\omega)\) and \(d \left( c^{*}(\omega) \right)\text{.}\)
2.
Let \(c(u, v)=(f_{1}(u, v), f_{2}(u, v), f_{3}(u, v))\) be a differentiable map from \(I^{2}\) to \(\bbR^{3}\) and \(\omega = P\, dx + Q\, dy + R\, dz\) be a differentiable \(1\)-form in \(\bbR^{3}\text{.}\) Work out \((\partial c)^{*}(\omega)\) and \(d \left( c^{*}(\omega) \right)\text{.}\)
3.
Let \(m\) be an integer and \(R >0\text{.}\) Define \(c_{R,m}(t)=(R\cos(2\pi m t), R\sin (2\pi m t))\) as a map \(I^{1}\mapsto \bbR^{2}\setminus\{(0, 0)\}\text{.}\) For any \(r_{1}, r_{2}>0, r_{1}\ne r_{2}\text{,}\) construct a map \(c:I^{2}\mapsto \bbR^{2}\setminus\{(0, 0)\}\) such that \(c_{r_{2},m}-c_{r_{1},m}=\partial c\) as a singular \(2\)-chain.
4.
If \(c\) is a singular \(1\)-cube in \(\bbR^{2} -\{ \mathbf 0\}\) with \(c(0) = c(1)\text{,}\) show that there is an integer \(m\) such that \(c - c_{1,m} = \partial c^{2}\) for some \(2\)-chain \(c^{2}\text{.}\) Here \(c_{R, m}(t)=R(\cos(2\pi m t), \sin (2\pi m t))\text{.}\)

Subsection 7.4.3 Closed and Exact Forms

Definition 7.4.7.

A \(k\)-form \(\omega\) is called closed if \(d\omega=0\text{;}\) it is called exact if there exists a \((k-1)\)-form \(\eta\) such that \(\omega=d\eta\text{.}\)
Note that, due to \(d\circ d=0\text{,}\) any exact form must be closed.
Questions that we need to address include
  • How do we check whether a form is closed or exact?
  • Is every closed form also exact?
Since for any one form \(\omega(\bx)=\sum_{i=1}^{m}\omega_{i}(\bx)dx_{i}\) we have
\begin{equation*} d\omega(\bx)=\sum_{j < i} \left( \frac{\partial \omega_{i}}{\partial x_j} - \frac{\partial \omega_{j}}{\partial x_{i}} \right) dx_{j} \wedge dx_{i}, \end{equation*}
it’s clear that \(d\omega=0\) iff \(\frac{\partial \omega_{i}}{\partial x_j} = \frac{\partial \omega_{j}}{\partial x_{i}}\) for all \(i, j\text{.}\) These are \(\frac{m(m-1)}{2}\) conditions on \(m\) components of \(\omega\text{.}\)
For a two-form \(\omega(\bx)=\sum_{i < j} \omega_{ij} dx_{i}\wedge dx_{j}\text{,}\)
\begin{equation*} d\omega(\bx)=\sum_{i < j}d \omega_{ij} \wedge dx_{i}\wedge dx_{j}, \end{equation*}
and if one examines the coefficient of \(dx_{i}\wedge dx_{j}\wedge dx_{k}\) for some \(i < j < k\text{,}\) one gets
\begin{equation*} D_{k} \omega_{ij} + D_{i} \omega_{jk}-D_{j}\omega_{ik}. \end{equation*}
So \(d\omega=0\) if and only if all the triple sums above are equal to zero. But these conditions are not that easy to comprehend. In dimension \(4\text{,}\) a two form would have \(6\) components, and \(d\omega=0\) encodes \(4\) equations.
Based on our observation earlier that \(\omega=d\eta\) for any one-form \(\eta\) would satisfy \(d\omega=0\text{,}\) we get plenty of solutions this way, and the solutions are in terms of \(m\) arbitrary differentiable functions as components of \(\eta\) in regions of \(\bbR^{m}\text{.}\) Whether these provide all possible solutions is the second question raised above.The answer turns out to depend on the topology of the domain.
The one form \(\omega=-\frac{y}{x^{2}+y^{2}}dx + \frac{x}{x^{2}+y^{2}} dy\) is closed on \(\bbR^{2}\setminus\{0\}\text{,}\) but is not exact, for it were equal to \(df\) for some differentiable function \(f\) on \(\bbR^{2}\setminus\{0\}\text{,}\) then for any \(1\)-cube \(c\) in \(\bbR^{2}\setminus\{0\}\text{,}\) \(\int_{c} df =f(c(1))-f(c(0))\) as the simplest form of Stokes’ Theorem. As a consequence, \(\int_{c} df =0\) when \(c(1)=c(0)\text{.}\) But if we take \(c(t)=(\cos (2\pi t), \sin (2\pi t))\text{,}\) \(0\le t \le 1\text{,}\) we find that \(\int_{c} \omega= 2\pi\text{.}\)

Definition 7.4.8.

A domain \(A\subset \bbR^{m}\) is called star-shaped if there exists a point \(O\in A\) such that for any \(P\in A\) and any \(t\in [0, 1]\text{,}\) \((1-t)O+tP\in A\text{.}\)

Proof.

We may assume that \(A\) is star-shaped with respect to the origin. The key information we use is that \(F(t, x)=tx\) for \((t, x)\in [0, 1]\times A\) is a homotopy in \(A\) of \(F(1, \cdot)\) and \(F(0, \cdot)\text{.}\) The heart of the argument is that there exists \(I: \Lambda^{l+1}(TA)\mapsto \Lambda^{l}(TA)\) for \(l=1, \ldots, m\) such that
\begin{equation} \omega = I(d\omega) + d\left(I(\omega)\right) \text{ for any } \omega \in \Lambda^{k}(TA).\tag{7.4.1} \end{equation}
As a result, when \(d\omega=0\text{,}\) we find \(\omega=d\left(I(\omega)\right)\text{.}\)
Let’s assume that
\begin{equation*} \omega(\bx)=\sum_{1\le i_{1} < \cdots < i_{k}\le m} \omega_{i_{1}\cdots i_{k}}(\bx) dx_{i_{1}}\wedge\cdots \wedge dx_{i_{k}}. \end{equation*}
For each \(t\in [0, 1]\text{,}\)
\begin{equation*} F(t, \cdot)^{*}(\omega)= \sum_{1\le i_{1} < \cdots < i_{k}\le m} t^{k}\omega_{i_{1}\cdots i_{k}}(t\bx) dx_{i_{1}}\wedge\cdots \wedge dx_{i_{k}} \end{equation*}
is a \(k\)-form on \(A\text{.}\) Note that \(F(1, \cdot)^{*}(\omega)=\omega\) and \(F(0, \cdot)^{*}(\omega)=0\text{.}\)
Consideration for \(D_{t} F(t, \cdot)^{*}(\omega)\) leads to the \(k\)-form on \([0, 1]\times A\)
\begin{equation*} F^{*}(\omega)= \sum_{1\le i_{1} < \cdots < i_{k}\le m} \omega_{i_{1}\cdots i_{k}}(t\bx) \left(t\,dx_{i_{1}}+ x_{i_{1}} dt\right)\wedge\cdots \wedge \left(t \, dx_{i_{k}}+ x_{i_{k}}dt\right). \end{equation*}
\(F^{*}(\omega)(\frac{\partial }{\partial t}, \cdot)\) defines a \((k-1)\)-form on \([0, 1]\times A\) by
\begin{equation*} F^{*}(\omega)(\frac{\partial }{\partial t}, \cdot): (\bv_{1},\cdots, \bv_{k-1})\mapsto F^{*}(\omega)(\frac{\partial }{\partial t}, \bv_{1},\cdots, \bv_{k-1}). \end{equation*}
We define
\begin{equation*} I(\omega) = \int_{0}^{1}F^{*}(\omega)(\frac{\partial }{\partial t}, \cdot)\, dt. \end{equation*}
More concretely, \(F^{*}(\omega)(\frac{\partial }{\partial t}, \cdot)\) is obtained from \(F^{*}(\omega)\) by only keeping terms with one factor of \(x_{i_{l}}dt\) and the remaining factors of \(t dx_{i_{j}}\text{,}\) then dropping the \(dt\) factor (as its action on \(\frac{\partial }{\partial t}\) would be \(1\)) and adjusting the sign according to the position of \(x_{i_{l}}dt\text{,}\) and integrating out the resulting expression in \(t\) to get
\begin{align*} I(\omega) = \amp \sum_{1\le i_{1} < \cdots < i_{k}\le m} \int_{0}^{1} t^{k-1}\omega_{i_{1}\cdots i_{k}}(t\bx)\,dt \left(x_{i_{1}} dx_{i_{2}}\wedge\cdots \wedge dx_{i_{k}}\right.\\ \amp\left.- x_{i_{2}}dx_{i_{1}}\wedge dx_{i_{3}}\wedge \cdots \wedge dx_{i_{k}}+ \cdots +(-1)^{k+1} x_{i_{k}}dx_{i_{1}}\wedge\cdots \wedge dx_{i_{k-1}}\right). \end{align*}
It is then straightforward to verify that
\begin{align*} \amp I(d\omega) + d\left(I(\omega)\right) \\ = \amp \sum_{1\le i_{1} < \cdots < i_{k}\le m} \int_{0}^{1}\left(\sum_{l=1}^{m}t^{k} x_{l}D_{l} \omega_{i_{1}\cdots i_{k}}(t\bx) +k t^{k-1} \omega_{i_{1}\cdots i_{k}}(t\bx)\right)\, dt \\ = \amp \omega(\bx). \end{align*}
Below are the verifications.
\begin{align*} \amp dI(\omega) \\ = \amp \sum_{1\le i_{1} < \cdots < i_{k}\le m} \left\{\sum_{l=1}^{m} \left( \int_{0}^{1} t^{k}D_{l}\omega_{i_{1}\cdots i_{k}}(t\bx)\,dt\right) dx_{l}\wedge \left(x_{i_{1}} dx_{i_{2}}\wedge\cdots \wedge dx_{i_{k}} \right. \right.\\ \amp\left. - x_{i_{2}}dx_{i_{1}}\wedge dx_{i_{3}}\wedge \cdots \wedge dx_{i_{k}}+ \cdots +(-1)^{k+1} x_{i_{k}}dx_{i_{1}}\wedge\cdots \wedge dx_{i_{k-1}}\right)\\ \amp +\left(\int_{0}^{1} t^{k-1}\omega_{i_{1}\cdots i_{k}}(t\bx)\,dt\right) \left(d x_{i_{1}}\wedge dx_{i_{2}}\wedge\cdots \wedge dx_{i_{k}} \right.\\ \amp \left. \left.- dx_{i_{2}}\wedge dx_{i_{1}}\wedge dx_{i_{3}}\wedge \cdots \wedge dx_{i_{k}}+ \cdots +(-1)^{k+1} dx_{i_{k}}\wedge dx_{i_{1}}\wedge\cdots \wedge dx_{i_{k-1}}\right)\right\}\\ = \amp \sum_{1\le i_{1} < \cdots < i_{k}\le m} \left\{\sum_{l=1}^{m} \left( \int_{0}^{1} t^{k}D_{l}\omega_{i_{1}\cdots i_{k}}(t\bx)\,dt\right) dx_{l}\wedge \left(x_{i_{1}} dx_{i_{2}}\wedge\cdots \wedge dx_{i_{k}}\right. \right.\\ \amp \left.- x_{i_{2}}dx_{i_{1}}\wedge dx_{i_{3}}\wedge \cdots \wedge dx_{i_{k}}+ \cdots +(-1)^{k+1} x_{i_{k}}dx_{i_{1}}\wedge\cdots \wedge dx_{i_{k-1}}\right) \\ \amp \left. + \left(\int_{0}^{1} k t^{k-1}\omega_{i_{1}\cdots i_{k}}(t\bx)\,dt\right)d x_{i_{1}}\wedge dx_{i_{2}}\wedge\cdots \wedge dx_{i_{k}}\right\}, \end{align*}
while
\begin{align*} \amp I(d\omega) \\ = \amp \sum_{1\le i_{1} < \cdots < i_{k}\le m; 1\le l \le m} \left\{ \left( \int_{0}^{1} t^{k}D_{l}\omega_{i_{1}\cdots i_{k}}(t\bx)\,dt\right) \left(x_{l} d x_{i_{1}}\wedge dx_{i_{2}}\wedge\cdots \wedge dx_{i_{k}} \right. \right.\\ \amp +dx_{l}\left[ -x_{i_{1}} dx_{i_{2}}\wedge\cdots \wedge dx_{i_{k}}+ x_{i_{2}} dx_{i_{1}}\wedge dx_{i_{3}}\wedge \cdots \wedge dx_{i_{k}} \right. \\ \amp \left. \left.\left.+ \cdots +(-1)^{k} x_{i_{k}} dx_{i_{1}}\wedge\cdots \wedge dx_{i_{k-1}}\right]\right)\right\} \end{align*}
Adding the above two terms completes our verification.

Remark 7.4.10.

We used a specific homotopy \(F(t, \cdot)\) in this proof for a star-shaped domain; this proof can be adapted to work for other homotopy. In particular, it can be used to show that if \(F(t, \cdot)\) is a (differentiable) homotopy for \(t\in [a, b]\text{,}\) and \(\omega\) is a closed form, then \(F(b, \cdot)^{*}(\omega) - F(a, \cdot)^{*}(\omega)\) is exact, and often one can construct an \(\eta=I(\omega)\) explicitly as described in the proof of Poincaré’s Lemma so that \(d\eta= F(b, \cdot)^{*}(\omega) - F(a, \cdot)^{*}(\omega)\text{.}\)

Exercises Exercises

1.
Let \(\Theta(x,y)=\frac{-y\, dx + x\, dy}{x^{2}+y^{2}}\) be the \(1\)-form on \(\bbR^{2}\setminus\{(0, 0)\}\text{.}\)
  1. Show that \(\Theta(x,y)\) is closed on \(\bbR^{2}\setminus\{(0, 0)\}\) but not exact in \(\bbR^{2}\setminus\{(0, 0)\}\text{.}\)
  2. Show also that \(\Theta (x, y)\) is exact on \(\bbR^{2}\setminus\{(x, 0): x\le 0\}\text{.}\)
  3. Suppose that \(\omega\) is a \(1\)-form on \(\bbR^{2}-\{\mathbf 0\}\) such that \(d\omega=0\text{,}\) prove that \(\omega = \lambda \Theta + dg\) for some \(\lambda \in \bbR\) and and \(g:\bbR^{2}-\{\mathbf 0\}\mapsto \bbR\text{.}\)
Hint.
With \(c_{R,1}(t)=(R\cos (2\pi t), R\sin (2\pi t))\) for \(t\in I^{1}\text{,}\) and \(c_{R,1}^{*}(\omega)\) being closed on \(I^{1}\text{,}\) we can write
\begin{equation*} c_{R,1}^{*}(\omega) = \lambda_{R} dt + d(g_{R}), \end{equation*}
for some function \(g_{R}(t)\) satisfying \(g_{R}(1)=g_{R}(0)\text{.}\) Show that the number is independent of \(R>0\text{.}\)
2.
Consider the two-form
\begin{equation*} \omega=\frac{x\, dy\wedge dz + y dz\wedge dx + z dx \wedge dy}{(x^{2}+y^{2} +z^{2})^{3/2}} \end{equation*}
on \(\bbR^{3}\setminus\{\mathbf 0\}\text{.}\)
  1. Verify that \(d\omega =0\text{.}\)
  2. Suppose that \(c: (u, v)\in \bbR^{2}\mapsto \bbR^{3}\setminus\{\mathbf 0\}\) is differentiable. Verify that
    \begin{equation*} c^{*}(\omega)=\frac{c(u, v) \cdot \left(D_{u} c\times D_{v} c\right) }{|c(u, v)|^{3}} du\wedge dv. \end{equation*}
  3. Suppose that \(c\Big|_{I^{2}}\) is injective and \(|D_{u} c\times D_{v} c|>0\) so that \(c(I^{2})\) is a differentiable surface in \(\bbR^{3}\setminus\{\mathbf 0\}\text{.}\) Show that
    \begin{equation*} \int_{c(I^{2})} \frac{(x, y, z)\cdot \bn(x, y, z)}{(x^{2}+y^{2} +z^{2})^{3/2}}\, dA= \int_{I^{2}} c^{*}(\omega)\text{,} \end{equation*}
    where
    \begin{equation*} \bn (c(u, v))=\frac{ D_{u} c\times D_{v} c}{|D_{u} c\times D_{v}c|} \end{equation*}
    is a unit normal to the parametric surface \(c(u, v)\) at \(c(u, v)\text{.}\)
  4. Choose the spherical polar coordinate parametrization \(s\) for the sphere \(x^{2}+y^{2}+z^{2}=R^{2}\) defined for \((\phi, \theta)\in [0, \pi]\times [0, 2\pi]\) to show that \(D_{u} s\times D_{v} s\) is an outward normal and that \(\int_{s}\omega= 4\pi\text{.}\)
  5. Show that for any continuous \(1\)-form \(\eta\) in \(\bbR^{3}\setminus\{\mathbf 0\}\text{,}\) \(\int_{\partial s} \eta =0\text{.}\)
  6. Show that there does not exist a \(1\)-form \(\eta\) in \(\bbR^{3}\setminus\{\mathbf 0\}\) such that \(d\eta=\omega\) in \(\bbR^{3}\setminus\{\mathbf 0\}\text{.}\)