Section 5.1 Integrating zero-forms and one-forms
Objectives
You should be able to:
Define the integral of a zero-form over oriented points.
Rephrase the Fundamental Theorem of line integrals in terms of oriented integrals of one- and zero-forms.
Subsection 5.1.1 General strategy
Let us start by summarizing step-by-step how we are developing our theory of integration. Suppose that we want to define integration ofWe define the orientation of a closed bounded region
(such as a closed interval in ), and the notion of canonical orientation. We define the induced orientation on the boundary of the regionWe define the integral of a
-form over an oriented region in terms of standard multiple integrals from calculus. To define the integral over a bounded region that has many components, we sum over the integrals on each components.We define the notion of a parametric space, which maps a region
to a -dimensional subspace with We show that the parametrization induces an orientation onTo define the integral of a
-form in on the subspace with a choice of orientation, we use the parametrization to pullback the -form to the region and then we integrate as in (2) using standard calculus.We show that the integral is invariant under orientation-preserving reparametrizations and changes sign under orientation-reversing reparametrizations, thus ensuring that our theory is oriented and reparametrization-invariant. We conclude that the integral is defined geometrically in terms of the subspace
and a choice of orientation.As a last step, we study what happens in the case of an exact
-form: this leads to Stokes' Theorem, which is the higher dimensional generalization of the Fundamental Theorem of Calculus and the Fundamental Theorem of line integrals.
Subsection 5.1.2 Integrating zero-forms over oriented points
We consider first the very simple and particular case of zero-forms. We would like to integrate a zero-form over a zero-dimensional space. What is a zero-dimensional space? It is just a point (or a union of points). But let us construct the theory step-by-step. STEP 1. We first need to define the orientation of a point.Definition 5.1.1. Oriented points.
Pick a point
Definition 5.1.2. Integral of a zero-form over an oriented point.
Let
In other words, we just evaluate the function at
To define the integral over a set of oriented points, we sum up the integrals over each point separately.
Example 5.1.3. Integral of a zero-form at points.
Consider the function
Subsection 5.1.3 Integrating one-forms over oriented curves
We move to the case of one-forms, which was already covered in Chapter 3. Here we review the construction to highlight how it fits within our general strategy. STEP 1. We start by considering a closed intervalDefinition 5.1.4. The orientation of an interval.
We define the orientation of an interval
The boundary of
Definition 5.1.5. The integral of a one-form over an oriented interval .
Let
where on the right-hand-side we use the standard definition of definite integrals from calculus.
Definition 5.1.6. (Oriented) line integrals.
Let
where the integral one the right-hand-side is defined in Definition 5.1.5.
Theorem 5.1.7. The Fundamental Theorem of Calculus.
Let
which is the Fundamental Theorem of Calculus (part II).
Theorem 5.1.8. The Fundamental Theorem of line integrals.
Let
Exercises 5.1.4 Exercises
1.
Evaluate the integral of the zero-formBy definition, the integral is
2.
Let
Let
since
3.
Suppose that
Let
where the last equality follows since we assume that
4.
Let
The integral of the zero-form is
If
If
5.
Let
for some parametric curve
First, we notice that
But then, by the Fundamental Theorem of line integrals, we know that
In particular, if the image curve is closed, then the boundary set is empty, i.e.
6.
You want to impress your calculus teacher, and you tell her that βintegration by partsβ can be rewritten as the βsimpleβ statement that
i.e. it is just the Fundamental Theorem of Calculus (part II) for a product of functions (
Explain why this is equivalent to integration by parts for definite integrals.
First, using the graded product rule for the exterior derivative, we know that
As for the right-hand-side, the boundary of the interval is
Putting this together and rearranging a bit, we get
which is the statement of integration by parts for definite integrals.