Section 5.8 Stokes' theorem
Objectives
You should be able to:
State Stokes' theorem for integrals of exact two-forms over parametric surfaces in
Rephrase Stokes' theorem in terms of the associated vector fields.
Show that Stokes' theorem implies that the integral of an exact two-form over a closed surface in
vanishes.Use Stokes' theorem to evaluate surface integrals of exact two-forms.
Use Stokes' theorem to evaluate line integrals of one-forms over closed curves in
Use Stokes' theorem and its consequences to show that a given two-form cannot be exact.
Subsection 5.8.1 Stoke's theorem
In the previous section we studied integrals of exact two-forms over bounded regions inTheorem 5.8.1. Stokes' theorem.
Let
In other words, the surface integral of the exact two-form
Proof.
Stokes' theorem pretty much follows from Green's theorem by pullback. More precisely, by definition of the surface integral,
We know that the exterior derivative commutes with pullback, see Lemma 4.7.4:
This is now the integral of the exact two-form
where on the right-hand-side we have a line integral of the one-form
We are almost done, but not quite: the last step is actually quite subtle. We would like to say that
If the parametrization
which is the statement of Stokes' theorem.
Corollary 5.8.2. The surface integrals of an exact two-form along two surfaces that share the same oriented boundary are equal.
Let
Corollary 5.8.3. The surface integral of an exact two-form along a closed surface vanishes.
Let
Remark 5.8.4.
We can read Stokes' theorem in two ways, just like Green's theorem.
The integral of an exact two-form
over the parametric surface is equal to the line integral of the one-form over the oriented boundary of the parametric surface.The integral of a one-form
over a closed oriented simple curve in is equal to the surface integral of its exterior derivative over any surface whose boundary is with the appropriate orientation.
These two different readings highlight the two different types of applications of Stokes' theorem: either to calculate surface integrals via the first reading, or to calculate line integrals via the second reading. We note that Corollary 5.8.2 can also be useful computationally, to replace a complicated surface integral by an easier one.
Example 5.8.5. Using Stokes' theorem to evaluate a surface integral by transforming it into a line integral.
Use Stokes' theorem to evaluate the surface integral of the two-form
The surface is shown in the following figure:

To start with, for Stokes' theorem to apply, the two-form
and thus
The boundary
To evaluate the line integral on the right-hand-side we parametrize the oriented boundary with
We calculate the pullback of the one-form
The line integral is then:
where we used the fact that
Therefore, by Stokes' theorem, we conclude that
Example 5.8.7. Using Stokes' theorem to evaluate a surface integral by using a simpler surface.
Let us consider the same integral as in the previous example, Example 5.8.5. That is, we want to evaluate the surface integral of the two-form
We can use Stokes' theorem in a different way to evaluate this surface integral. Since we know that the two-form is exact (as
so we can evaluate the surface integral over the oriented disk instead.
To do so, we parametrize the disk by
and
It is easy to see that the normal vector
The surface integral is then:
Fortunately, this is the same answer that we found in Example 5.8.5, as it should!
Example 5.8.8. Using Stokes' theorem to evaluate a line integral by transforming it into a surface integral.
Use Stokes' theorem to evaluate the line integral of the one-form
It may be hard to visualize the curve and the region at first. A picture is worth a thousand words. Here is a figure representing the part of the paraboloid

We want to evaluate the line integral of
where
To evaluate the surface integral of
Next, we parametrize the surface
and
The region
The normal vector is
As its
Finally, we calculate the pullback of the two-form
We then evaluate the surface integral:
Therefore, by Stokes' theorem, the lintegral of
It is a good exercise to evaluate the line integral directly along the boundary curve (which you will need to split into three parametric curves). You should get the same answer
Remark 5.8.10.
We can also use Stokes' theorem to show that a two-form is not exact, by showing that its surface integral along a closed surface does not vanish. This is similar to what we did for one-forms using the Fundamental Theorem of line integrals, see Exercise 3.4.3.2 (and also Exercise 5.7.3.5 ). We use Stokes' theorem in this way in Exercise 5.8.3.5 for the two-form in Remark 4.6.6.
Subsection 5.8.2 Stokes' theorem in terms of vector fields
As usual we translate Stokes' theorem in terms of the associated vector fields, as in Corollary 5.6.5.Theorem 5.8.11. Stokes' theorem for vector fields.
Let
where on the left-hand-side we used the shorthand notation introduced in Remark 5.6.6 to denote the surface integral of the vector field
The surface integral of the curl of a vector field is the same for any two surfaces that share the same oriented boundary.
The surface integral of the curl of a vector field along a closed surface always vanishes.
Exercises 5.8.3 Exercises
1.
Let
Use Stokes' theorem to show that
First, the oriented boundary of
So we may as well evaluate the integral of
To do so, we need to evaluate the exterior derivative
To evaluate the surface integral
and, by Stokes' theorem,
2.
Consider the force field
Use Stokes' theorem to find the work done by the force field when moving an object counterclockwise along the circle
Let
So instead of evaluating the line integral of
First, we calculate the curl of
To calculate the surface integral, we need to parametrize the surface
with
The tangent vectors are
The normal vector is
which points upward as required. Therefore, the surface integral is
Therefore, by Stokes' theorem we conclude that the work done by the force field when moving an object counterclockwise along the circle
3.
Let
Use Stokes' theorem to evaluate the surface integral
We can use Stokes' theorem in two different ways here: either to rewrite the surface integral as a line integral, or to rewrite it as a surface integral over a simpler surface. For completeness I will do it both ways.
First, we can use Stokes' theorem to rewrite the surface integral as a line integral. Let us do this first. We notice that the boundary curve
where the right-hand-side is the line integral of the vector field
To evaluate the line integral, we split the square into four line segments
We calculate the tangent vectors:
We finally evaluate the line integrals:
Adding up these four line integrals, we get
Another approach would have been to use Stokes' theorem to rewrite the surface integral as a simpler surface integral. For instance we could have replaced the surface
To evaluate the integral on the right-hand-side, we first calculate the curl of
Next, we need to parametrize
and
The tangent vectors are
with normal vector
This is the correct orientation. We thus have
The same answer as before!
4.
Let
with
Use Stokes' theorem to show that the line integral of
First, by Stokes' theorem we know that
with the orientation induced by the parametrization. To evaluate the integral on the right-hand-side, we calculate the exterior derivative:
We calculate its pullback:
Therefore, the surface integral becomes
which is simply the area of the region
5.
Consider the two-form
from Remark 4.6.6. It is defined on
Show that
is closed, that is,Show that
is not exact by showing that the surface integral of along the sphere is non-zero.Does that contradict Poincare's theorem for two-forms?
(a) To show that it is closed, we calculate the exterior derivative. We get:
Therefore,
(b) In fact, we already did such a surface integral in Exercise 5.6.4.5, but for completeness we redo it here. We parametrize the sphere as always with spherical coordinates,
and
The pullback of
We finally calculate the surface integral:
The result is certainly non-zero!
As the surface integral of
(c) We have shown that
6.
Let
The key here is recall some of the vector calculus identities that we encountered previously. From Lemma 4.4.9, we know that
From the point of view of differential forms, this identity follows from the graded product rule for the exterior derivative.
Using this identity, we can write:
The second term on the right-hand-side is the surface integral of the curl of the vector field
Therefore, we conclude that