Abstract
For a curve \(\gamma \colon [a,b]\to \mathbb {R}^n\), global quantities like the length or the bending energy were defined as integrals over arclength of certain functions on \([a,b]\).
You have full access to this open access chapter, Download chapter PDF
For a curve \(\gamma \colon [a,b]\to \mathbb {R}^n\), global quantities like the length or the bending energy were defined as integrals over arclength of certain functions on \([a,b]\). Before we can define similar quantities for a surface \(f \colon M\to \mathbb {R}^n\), for example, the area of f, we have to find a way to integrate functions \(g \colon M\to \mathbb {R}\) in a geometrically meaningful fashion. We will do this in terms of the area 2-form\(\det \) of the metric induced by f. This means that first we have to develop the theory of differential forms on two-dimensional domains M, including the theorem of Stokes.
1 Integration on Surfaces
Let \(M,\tilde {M}\subset \mathbb {R}^2\) be two compact domains with smooth boundary, \(\varphi \colon \tilde {M} \to M\) an orientation-preserving diffeomorphism and \(g\colon M\to \mathbb {R}\) a smooth function. By the transformation formula for integrals, we have
Therefore, if one were to just use \(\int _Mg\) as the definition for an integral of a function g over the surface f, this integral would not be invariant under reparametrization of f. On the other hand, we are now going to convince ourselves that it is perfectly possible to define the integral of an object like the area form \(\det \), as it was introduced in Theorem 6.22:
Definition 7.1
Let M be a compact domain with smooth boundary in \(\mathbb {R}^2\). Then a map
is called a 2-form on M if for each \(p\in M\) the restriction of \(\sigma \) to \(T_pM\times T_pM\) is a skew-symmetric bilinear form and the function
is smooth.
We denote the set of all 2-forms on M by \(\Omega ^2(M)\). As a linear subspace of the vector space of all real-valued functions on some set, also \(\Omega ^2(M)\) is a real vector space. It is also clear how to define the product of a 2-form \(\sigma \) with a function \(g\in C^\infty (M)\). One can say that 2-forms are similar to Riemannian metrics, only skew symmetric instead of symmetric and without any non-degeneracy assumptions.
Remark 7.2
A “model example” of a 2-form which we have already encountered is the well-known \(\det \in \Omega ^2(M)\).
2-forms are transported under diffeomorphisms by demanding that the transported form applied to the transported tangent vectors yields the same value as before:
Definition 7.3
Let \(M,\tilde {M}\subset \mathbb {R}^2\) be two compact domains with smooth boundary, \(\varphi \colon \tilde {M}\to M\) a smooth map and \(\sigma \) a 2-form on M. Then we define the pull-back of \(\sigma \) under \(\varphi \) as the 2-form \(\varphi ^*\sigma \) on \(\tilde {M}\) that for \(p\in \tilde {M}\) and \(X,Y\in T_p\tilde {M}\) is given by
Theorem 7.4
In the situation of Definition7.3, the map
is linear and for\(g\in C^\infty (M)\)satisfies
The integral over M of a 2-form \(\sigma \in \Omega ^2(M)\) is defined as follows:
Definition 7.5
The integralof a 2-form\(\sigma \) on a compact domain M with smooth boundary in \(\mathbb {R}^2\) is defined as
where U and V are the two vector fields on M introduced in Definition 6.10.
The above definition is useful because \(\int _M \sigma \) is invariant under pull-back of \(\sigma \) by an orientation-preserving diffeomorphism \(\varphi \colon \tilde {M}\to M\).
Theorem 7.6
Let\(M,\tilde {M}\subset \mathbb {R}^2\)be two compact domains with smooth boundary,\(\varphi \colon \tilde {M} \to M\)an orientation-preserving diffeomorphism and\(\sigma \in \Omega ^2(M)\)a 2-form. Then
Proof
Let us write
which means
Therefore, by the skew symmetry of \(\sigma \) and the transformation formula,
□
In the context of surfaces \(f\colon M\to \mathbb {R}^n\), we will never integrate functions \(g\in C^\infty (M)\) directly, but instead we will first make g into a 2-form by multiplying it with the area form \(\det \) of the induced metric. Then we can be sure that
is a quantity that will stay the same if we reparametrize f as \(\tilde {f}=f\circ \varphi \) (and, of course, simultaneously change g to \(g\circ \varphi \)). Theorem 7.6 above makes it possible to define the area of a Riemannian domain in such a way that it does not change under isometries:
Definition 7.7
The area of a Riemannian domain\((M,\langle \,,\rangle )\) is defined as
where \(\det \) is the area form of \(\langle \,,\rangle \).
2 Integration Over Curves
In order to adequately deal with surfaces, we have found it necessary to add tangent spaces, Riemannian metrics and 2-forms to our toolbox. Let us investigate whether some of these notions might be useful already in the context of curves. For a curve \(\gamma \colon [a,b]\to \mathbb {R}\), the analog of the domain M of a surface \(f\colon M\to \mathbb {R}^n\) is the interval \([a,b]\). The tangent bundle of \([a,b]\) is
and the tangent space at \(p\in [a,b]\) is \(\{p\}\times \mathbb {R}\). The analog of the vector fields \(U,V\) on M is the single vector field \(X\in \Gamma ([a,b])\) defined as
The objects that can naturally be integrated over curves are the so-called 1-forms. We will need 1-forms also on planar domains (Fig. 7.1), so we take the opportunity to define also those.
Definition 7.8
Let \([a, b]\) be a closed interval and \(M\subset \mathbb {R}^2\) a planar domain with smooth boundary. Smoothness of maps defined on \(T{[a,b]}\) or TM is to be understood in the sense of Definition A.1. Then
-
(i)
A smooth map \(\omega \colon T[a,b]\to \mathbb {R}\) is called a 1-form if its restriction to each tangent space \(T_p[a,b]\) is linear. The space of all 1-forms on \([a,b]\) is denoted by \(\Omega ^1([a,b])\).
-
(ii)
A smooth map \(\omega \colon TM\to \mathbb {R}\) is called a 1-form if its restriction to each tangent space \(T_pM\) is linear. The space of all 1-forms on M is denoted by \(\Omega ^1(M)\).
A general theory of m-forms on domains in \(\mathbb {R}^k\) is beyond the scope of this book, so we just collect some special cases that we need:
Definition 7.9
Let \([a,b]\subset \mathbb {R}\) be a closed interval and \(M\subset \mathbb {R}^2\) a planar domain with smooth boundary.
-
(i)
If \(\omega \) is a 1-form on \([a,b]\) and \(\varphi \colon [\tilde {a},\tilde {b}] \to [a,b]\) is a smooth map, then we define the pull-back of \(\omega \) under \(\varphi \) as the 1-form \(\varphi ^*\omega \in \Omega ^1([\tilde {a},\tilde {b}])\) which is for all \(Y\in \Gamma (T[\tilde a,\tilde b])\) given by
$$\displaystyle \begin{aligned} (\varphi^*\omega)(Y)=\omega(d\varphi(Y)).\end{aligned}$$ -
(ii)
If \(\omega \) is a 1-form on M and \(\varphi \colon \tilde {M} \to M\) is a smooth map, then we define the pull-back of \(\omega \) under \(\varphi \) as the 1-form \(\varphi ^*\omega \in \Omega ^1(\tilde {M})\) which is for all \(Y\in \Gamma (T\tilde M)\) given by
$$\displaystyle \begin{aligned} (\varphi^*\omega)(Y)=\omega(d\varphi(Y)).\end{aligned}$$ -
(iii)
If \(\omega \) is a 1-form on M and \(\gamma \colon [a,b] \to M\) is a smooth map, then we define the pull-back of \(\omega \) under \(\gamma \) as the 1-form \(\gamma ^*\omega \in \Omega ^1([a,b])\) which is for all \(Y\in \Gamma (T[a,b])\) given by
$$\displaystyle \begin{aligned} (\gamma^*\omega)(Y)=\omega(d\gamma(Y)).\end{aligned}$$
Definition 7.10
For \(\omega \in \Omega ^1([a,b])\) we define the integralof a 1-form\(\omega \) over \([a,b]\) as
Theorem 7.11
Let\(\varphi \colon [\tilde {a},\tilde {b}] \to [a,b]\)be an orientation-preserving diffeomorphism, i.e. a bijective smooth map with\(\varphi '>0\). Then
Proof
By the substitution rule and \(d\varphi (\tilde {X})=\varphi ' \cdot X\circ \varphi \) we have
□
Theorem 7.12
Let\(M\subset \mathbb {R}^2\)be a compact domain with smooth boundary and\(\omega \in \Omega ^1(M)\)a 1-form. Let\(\tilde {\gamma }\colon [\tilde {a},\tilde {b}] \to M\)be a reparametrization of a smooth map\(\gamma \colon [a,b]\to M\), so\(\tilde {\gamma }=\gamma \circ \varphi \)for an orientation-preserving diffeomorphism\(\varphi \colon [\tilde {a},\tilde {b}] \to [a,b]\). Then
Proof
By the chain rule, we have \(d\tilde {\gamma }=d\gamma \circ d\varphi \) and therefore
Therefore, Theorem 7.11 gives us
□
As a consequence, we can define the integral of a 1-form \(\omega \) on M over a curve in M in a way that is invariant under reparametrization:
Definition 7.13
Let \(M\subset \mathbb {R}^2\) be a compact domain with smooth boundary and \(\omega \in \Omega ^1(M)\). Let \(\gamma \colon [a,b]\to M\) be a curve. Then we define
In the context of a regular curve \(\gamma \colon [a,b]\to \mathbb {R}^n\), what is the analog of the area form \(\det \) of a surface \(f\colon M\to \mathbb {R}^n\)?
Definition 7.14
The arclength 1-form\(ds\in \Omega ^1([a,b])\) of a curve \(\gamma \colon [a,b]\to \mathbb {R}^n\) is defined as
If we define the arclength function s as in Definition 1.13, the arclength 1-form ds is indeed the derivative of s, which explains the notation. Moreover, if we interpret the left-hand side according to Definition 7.13 and the right-hand side according to Definition 1.14, for a function \(g\colon [a,b]\to \mathbb {R}\) we have
3 Stokes’ Theorem
When dealing with curves, we frequently used the fundamental theorem of calculus, for example in the form of integration by parts. Also in surface theory we would no get very far without the surface analog of this theorem, which is the so-called Stokes’ theorem.
Let \(M\subset \mathbb {R}^2\) be a compact connected domain with smooth boundary. The boundary \(\partial M\) of M can be parametrized by a finite collection of n closed curves
where \(j\in \{1,\ldots n\}\). We assume that each \(\gamma _j\) is oriented in such a way that for any vector \(Y\in \mathbb {R}^2\) which at \(\gamma _j(x)\) points out of M, we have
Given a 1-form \(\omega \in \Omega ^1(M)\), we make use of Definition 7.13 in order to define the integral of \(\omega \) over \(\partial M\):
Theorem 7.15 (Stokes Theorem)
Let\(M\subset \mathbb {R}^2\)be a compact domain with smooth boundary and\(\omega \in \Omega ^1(M)\). Then there is a unique 2-form\(d\omega \in \Omega ^2(M)\)such that for all subdomains\(\tilde {M}\subset M\)we have
In fact,\(d\omega \)is the unique 2-form on M that satisfies
Proof
\(\tilde {M}\) could be an arbitrarily small disk around an arbitrary point p in the interior of M, so there can be at most one 2-form \(\sigma \) with the property that for all subdomains \(\tilde {M}\)
This proves the uniqueness part of the claim. If we write
we have
and therefore
Let us define \(\sigma \in \Omega ^2(M)\) as the unique 2-form for which
Now we apply Green’s theorem from vector calculus to the map
and obtain
We can apply this argument also to any subdomain \(\tilde {M}\subset M\), which proves the existence part of the claim. □
Theorem 7.16
If\(\varphi \colon \tilde {M}\to M\)is a smooth map and\(\omega \in \Omega ^1(M)\), then
Proof
The proof is easy if \(\varphi \) is an orientation-preserving diffeomorphism: If \(\hat {M}\subset \tilde {M}\) is any subdomain, then by Theorems 7.6, 7.11 and 7.15 we have
By the uniqueness part of Theorem 7.15 we then must have \(\varphi ^*(d\omega )=d(\varphi ^*\omega )\).
Unfortunately, here we only assume that \(\varphi \) is a smooth map, so we have to rely on the coordinate formula provided in Theorem 7.15. We use the notation from the proof of Theorem 7.6 together with the equalities \(a_{\tilde {v}}=b_{\tilde {u}}\) and \(c_{\tilde {v}}=d_{\tilde {u}}\) that follow from the commutativity of partial derivatives of the component functions of \(\varphi \) to compute:
which proves the claim. □
Author information
Authors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Pinkall, U., Gross, O. (2024). Integration and Stokes’ Theorem. In: Differential Geometry. Compact Textbooks in Mathematics. Birkhäuser, Cham. https://doi.org/10.1007/978-3-031-39838-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-39838-4_7
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-031-39837-7
Online ISBN: 978-3-031-39838-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)