Section 5.6 Surface integrals
Objectives
You should be able to:
Define the surface integral of a two-form along a parametric surface in
and evaluate it.Rewrite the definition of surface integrals as flux integrals for the associated vector field.
Show that surface integrals are invariant under orientation-preserving reparametrizations of the surface.
Show that surface integrals change sign under reparametrizations of the surface that reverse its orientation.
Subsection 5.6.1 The definition of surface integrals
We define the integral of a two-form along a parametric surface: we pull back to the regionDefinition 5.6.1. Surface integrals.
Let
where the integral on the right-hand-side is defined in Definition 5.3.1, with
Example 5.6.2. An example of a surface integral.
Consider the two-form
We calculate the pullback of the two-form:
The surface integral then becomes:
Note that it is important here that we wrote the two-form
Subsection 5.6.2 Reparametrization-invariance and orientability of surface integrals
We defined surface integrals in terms of parametric surfaces: the parametrization was key, as we used it to pullback toLemma 5.6.3. Surface integrals are invariant under orientation-preserving reparametrizations.
Let
If
is orientation-preserving (that is, ), thenIf
is orientation-reversing (that is, ), then
Proof.
Let us rewrite the two surface integrals using the pullback. First,
Second,
From Exercise 4.7.5.7, we know that we can pullback through a chain of maps
In the end, what we need to compare is two integrals over regions in
while if
We thus conclude that if the reparametrization is orientation-preserving,
while if it is orientation-reversing,
Subsection 5.6.3 Surface integrals in terms of vector fields
Let us now translate our definition in surface integrals in terms of vector fields, using the dictionary between differential forms and vector calculus concepts that we established. We first need to do a bit of work to rephrase the pullback of a two-form along a parametric surface in terms of associated vector fields.Lemma 5.6.4. The pullback of a two-form along a parametric surface in terms of vector fields.
Let
Proof.
This is just a calculation:
Corollary 5.6.5.
Let
where on the right-hand-side this is a double integral over the region
Proof.
This follows directly from Lemma 5.6.4, the definition of surface integrals Definition 5.6.1, and the definition of integrals over region in
Remark 5.6.6.
Sometimes, the following shorthand notation is used:
Such integrals are also called flux integrals, because of the physics interpretation, which we will study in Section 5.9. The integral calculates the flux of the vector field
Example 5.6.7. An example of a surface integral of a vector field.
Calculate the surface integral of the vector field
over the upper half-sphere of radius one, with the inwards orientation.
We can use our parametrization from Example 5.5.6 with
and
We showed in that example that the normal vector points outwards, so the orientation on the upper half-sphere induced by this parametrization is opposite to what is asked in the problem. Therefore, we will need to take minus the integral over the parametric surface
We calculated in Example 5.5.6 the normal vector:
The integrand is then (noting that
The surface integral then becomes (recall that we need to add a minus sign since the surface integral is with respect to the inwards orientation, while our parametrization induces the outwards orientation):
Exercises 5.6.4 Exercises
1.
Find the surface integral of the two-form
along the lower half-sphere
We use spherical coordinates to parametrize the lower half sphere of radius
and
Here the inclination angle was restricted to be between
To evaluate the surface integral we first need to calculate the pullback
Then we integrate, recalling that we have to add a minus sign because of the orientation:
where I used the fact that
which you can check independently using trigonometric identities to evaluate the definite integrals.
2.
Find the flux (the surface integral) of the vector field
along the parallelogram realized as the parametric surface
Let us solve this problem using the vector field approach. We know the parametric surface; we need to calculate the normal vector. The tangent vectors are
(We note that those are constant vectors, since the image surface is planar.) The normal vector is then
We then calculate the surface integral:
3.
Find the surface integral of the two-form
over the surface of the cube with vertices
The cube is shown in the figure below. It has six sides, which we consider as separate parametric surfaces,

All six sides can be parametrized easily, with the same domain
and
Calculating the normal vectors, we see that the normal vectors for
To calculate these surface integrals, we need the pullbacks. A straightforward calculation gives:
Therefore,
4.
Let
along
We see that the cylinder

To evaluate the surface integral of
Let us consider
and
We need to make sure that the normal vector points inwards. The tangent vectors are
The normal vector is
As
We then evaluate the surface integral:
where we used the fact that
Let us now consider
and
We look at the normal vector. The tangent vectors are
and the normal vector is
We thus see that at a point with coordinates
We evaluate the surface integral:
since, as above,
Finally, we consider
and
The tangent vectors are
and the normal vector is
As
We evaluate the surface integral:
Finally, we compute the surface integral over
Done! :-)
5.
An “inverse square field” is a vector field
for some constant
As usual we use spherical coordinates to parametrize the sphere of fixed radius
and
Let use differential forms to calculate the surface integral. To the vector field
To calculate the surface integral, we calculate the pullback, noting that
In particular, we see that it does not depend on the radius
which is indeed independent of the radius