Abstract
Curves in the plane \(\mathbb {R}^2\) are special in several respects: For a closed plane curve \(\gamma \) an enclosed area \(\mathcal {A}(\gamma )\) can be defined, providing another geometric functional in addition to length and bending energy.
You have full access to this open access chapter, Download chapter PDF
Curves in the plane \(\mathbb {R}^2\) are special in several respects: For a closed plane curve \(\gamma \) an enclosed area \(\mathcal {A}(\gamma )\) can be defined, providing another geometric functional in addition to length and bending energy. Unlike the situation in higher dimensions, the geometry of an arbitrary unit speed plane curve \(\gamma \colon [a,b] \to \mathbb {R}^2\) is captured in a smooth real-valued curvature function \(\kappa \colon [a,b]\to \mathbb {R}\). We prove our first theorem in Global Differential Geometry: The integral of the curvature of a closed plane curve is \(2\pi n\) where n is an integer, called the tangent winding number of \(\gamma \). Two closed plane curves can be smoothly deformed into each other if and only if they have the same tangent winding number.
1 Plane Curves
The case of curves \(\gamma \colon [a,b]\to \mathbb {R}^2\) is special because \(\mathbb {R}^2\) comes with a distinguished linear map \(J\colon \mathbb {R}^2 \rightarrow \mathbb {R}^2\), the \(90^\circ \)-rotation in the counterclockwise (positive) direction:
Here are some properties of J that are easy to check: We have \(J^2=-I\) and J is orthogonal as well as skew-adjoint, i.e. for all vectors \(X,Y\in \mathbb {R}^2\) we have
Furthermore, the determinant function \(\det \) on \(\mathbb {R}^2\) can be expressed in terms of J and the scalar product:
If \(\gamma \colon [a,b]\to \mathbb {R}^2\) is a curve and \(T\colon [a,b]\to \mathbb {R}^2\) is its unit tangent, then \(\frac {dT}{ds}\) is orthogonal to T and therefore proportional to JT:
Definition 3.1
Let \(\gamma \colon [a,b]\to \mathbb {R}^2\) be a curve and \(T \colon [a, b] \to \mathbb {R}^2\) its unit tangent. Then the unique function \(\kappa \colon [a,b]\to \mathbb {R}\) such that
is called the curvature of \(\gamma \).
More explicitly,
We convince ourselves that the curvature is independent of the parametrization: Let \(\tilde \gamma =\gamma \circ \varphi \) be a reparametrization of a plane curve \(\gamma \). Then
and, since \(\varphi '>0\), \(|\tilde \gamma '|=\varphi '|\gamma '\circ \varphi |\). Hence
and therefore
The curvature \(\kappa \) of a straight line segment vanishes since we can parametrize the segment going from a point \(p\in \mathbb {R}^2\) to a point \(q\in \mathbb {R}^2\) by
and therefore \(\gamma ''=0\), so that \(\kappa =0\). A circular arc
of radius r has constant curvature \(\kappa =\frac {1}{r}\). If we restrict attention to unit speed curves \(\gamma \colon [0,L]\to \mathbb {R}^2\), the curvature function \(\kappa \colon [0,L]\to \mathbb {R}\) determines \(\gamma \) up to orientation-preserving congruence:
Theorem 3.2 (Fundamental Theorem of Plane Curves)
-
(i)
For everysmooth function\(\kappa \colon [0,L]\to \mathbb {R}\)there is a unit speed curve\(\gamma :[0,L]\to \mathbb {R}^2\)with curvature\(\kappa \).
-
(ii)
If\(\gamma ,\tilde {\gamma }\colon [0,L]\to \mathbb {R}^2\)are unit speed curves with the same curvature function\(\kappa \), then there is an orthogonal\((2\times 2)\)-matrix A with\(\det A=1\)and a vector\(\mathbf {b}\in \mathbb {R}^2\)such that
$$\displaystyle \begin{aligned} \tilde{\gamma}=A\gamma +\mathbf{b}. \end{aligned}$$
Proof
For (ii), denote by \(T,\tilde {T}\) the unit tangent fields of \(\gamma \) and \(\tilde {\gamma }\) and take for A the orthogonal \((2\times 2)\)-matrix A with determinant one for which \(A T(0)=\tilde {T}(0)\). Then both \(\tilde {T}\) and
solve the linear initial value problem
and therefore, by the uniqueness part of the Picard-Lindelöf theorem, we must have \(\hat {T}=\tilde {T}\). Then
which proves (ii). For (i), define \(\alpha \colon [0,L]\to \mathbb {R}\) and \(T,\gamma \colon [0,L]\to \mathbb {R}^2\) by
Then \(|T|=1\) and \(\gamma '=T\), so \(\gamma \) is a curve and T is its unit tangent field. Furthermore, \(T'=\kappa JT\) and therefore \(\gamma \) has curvature \(\kappa \). □
2 Area of a Plane Curve
Let \(\gamma \colon [a,b]\to \mathbb {R}^2\) be a curve such that \(\det (\gamma ,\gamma ')>0\) and the map
is a bijective map onto a subset \(S\subset \mathbb {R}^2\). Then the derivative \(f'(t,x)\) at the point \((t,x)\in (0,1)\times [a,b]\) satisfies
and using the transformation formula of integrals it is not difficult to show that the area of S is given by
For the curve \(\gamma \) shown on the left of Fig. 3.1, the above formula correctly yields the area enclosed by \(\gamma \) and the line segments from the origin to \(\gamma (a)\) and \(\gamma (b)\). It therefore seems reasonable to use this formula in order to define an area for arbitrary curves \(\gamma \colon [a,b]\to \mathbb {R}^2\):
Definition 3.3
The sector area of a curve \(\gamma \colon [a,b]\to \mathbb {R}^2\) is defined as
The curve on the right of Fig. 3.1 illustrates the consequences of this definition. There the position vector from the origin to \(\gamma (x)\) covers some areas multiple times. However, for some of these times (where \(\gamma \), as seen from the origin, moves clockwise) the contribution to the covered area, as it is computed by the above formula, is negative.
The sector area \(\mathcal {A}(\gamma )\) depends on the origin in \(\mathbb {R}^2\), which means that it changes if we apply a translation \(\mathbf {p}\mapsto \mathbf {p}-\mathbf {v}\) to \(\gamma \). Therefore, at first sight the sector area does not look like a good geometric invariant for curves. However, this dependence disappears as soon as we restrict attention to closed curves, or consider differences between the sector areas of curves that share the same endpoints (see Fig. 3.2):
Let \(\mathbf {v}\in \mathbb {R}^2\) be a vector and \(\gamma \colon [a,b]\to \mathbb {R}^2\) a curve. Then we define a modified sector area \(\mathcal {A}_{\mathbf {v}}(\gamma )\) as the sector area of the curve \(\gamma \) translated by the vector \(\mathbf {v}\):
Theorem 3.4
Let\(\gamma \colon [a,b]\to \mathbb {R}^2\)be a closed curve and\(\gamma _1,\gamma _2\colon [a,b]\to \mathbb {R}^2\)two curves with\(\gamma _1(a)=\gamma _2(a)\)and\(\gamma _1(b)=\gamma _2(b)\). Then, for any vector\(\mathbf {v}\in \mathbb {R}^2\)we have
Proof
Because \(\gamma \) is closed, we have
By the same arguments we obtain
□
In particular, we expect that for variations with support in the interior of \([a,b]\) of a curve \(\gamma \colon [a,b]\to \mathbb {R}^2\), the corresponding variation of sector area is independent of the choice of origin:
Theorem 3.5
Let\(t\mapsto \gamma _t\)be a variation with support in the interior of\([a,b]\)of a curve\(\gamma \colon [a,b]\to \mathbb {R}^2\). Then
Proof
Since Y vanishes at the endpoints, we have
□
As a consequence, the sector area functional by itself does not have any critical points. On the other hand, minimizing length among all curves with the same endpoints and the same sector area is possible:
Theorem 3.6
A curve\(\gamma \colon [a,b]\to \mathbb {R}^2\)is a critical point of length under the constraint of fixed sector area if and only if its curvature\(\kappa \)is constant, i.e. if and only if its image lies on a circle or a straight line.
Proof
By Theorems 2.9 and 2.20\(\gamma \) is a critical point of length under the constraint of fixed sector area if and only if there is a constant \(\lambda \in \mathbb {R}\) such that
□
3 Planar Elastic Curves
For a unit speed curve \(\gamma \colon [0,L]\to \mathbb {R}^2\) with unit tangent T and curvature \(\kappa \) we have
The bending energy of a plane curve is also called its total squared curvature. This is because for a unit speed plane curve \(\gamma \) as above we have
By Theorem 2.23, \(\gamma \) is an elastic curve with tension \(\lambda \) if and only if
which means
This differential equation can be interpreted as the equation of motion
for a particle with unit mass moving on the real line subject to the potential energy
As expected (and as is easy to verify by taking the derivative) the total energy
is constant. In particular, we see that along for each solution the potential energy is bounded from above by E. In Fig. 3.3 we see examples that should be compared to the shapes of the corresponding curves that were shown in Sect. 2.5.
If we look for critical points of the total squared curvature while constraining not only the length but also the sector area, by Theorem 3.6 we arrive at the differential equation for \(\kappa \):
The closed curve in Fig. 3.4 is such a critical point.
4 Tangent Winding Number
Definition 3.7
For a curve \(\gamma \colon [a,b]\to \mathbb {R}^2\) with curvature \(\kappa \) the integral
is called the total curvature of \(\gamma \).
In this section we will prove that for a closed curve in \(\mathbb {R}^2\) the total curvature is an integer multiple of \(2\pi \):
Theorem 3.8
If\(\gamma \colon [a,b]\to \mathbb {R}^2\)is a closed curve with curvature\(\kappa \), then there is an integer\(n\in \mathbb {Z}\)such that
n is called thetangent winding numberof\(\gamma \).
Proof
Define \(\alpha \colon [a,b]\to \mathbb {R}\) by
where \(\alpha _0\) is chosen in such a way that
As in the proof of Theorem 3.2, we conclude
Since \(\gamma \) is closed, we have \(T(b) = T(a)\), which means
Therefore, there is an integer \(n\in \mathbb {Z}\) such that
□
As is clear from the above proof, the tangent winding number counts how often the unit tangent \(T(x)\) turns around the unit circle \(S^1\) as x runs from a to b (see Fig. 3.5). Figure 3.6 shows that all integers \(n\in \mathbb {Z}\) arise as the tangent winding number of some curve in \(\mathbb {R}^2\).
5 Regular Homotopy
The following two sections will deal with the question: “Given two curves \(\gamma ,\tilde {\gamma }\) in \(\mathbb {R}^n\), is it always possible to smoothly deform \(\gamma \) into \(\tilde {\gamma }\) through intermediate curves?” For convenience, we assume that \(\gamma \) and \(\tilde {\gamma }\) have the same parameter interval.
Definition 3.9
A regular homotopy between two curves \(\gamma ,\tilde {\gamma }\colon [a,b]\to \mathbb {R}^n\) is a one-parameter family \(t\mapsto \gamma _t\) of curves \(\gamma _t\colon [a,b]\to \mathbb {R}^n\), defined for \(t\in [0,1]\), such that \(\gamma _0=\gamma \) and \(\gamma _1=\tilde {\gamma }\). If there exists such a regular homotopy, \(\gamma \) and \(\tilde {\gamma }\) are called regularlyhomotopic.
Regular homotopy is an equivalence relation on the set of curves \(\gamma \colon [a,b]\to \mathbb {R}^n\): Reflexivity and symmetry are easy and for transitivity we make use (see Appendix A.2) of a smooth function \(h\colon [0,1]\to [0,1]\) such that
If now \(t\mapsto \gamma _t\) is a regular homotopy between \(\gamma \) and \(\hat {\gamma }\) and \(t\mapsto \tilde {\gamma }_t\) a regular homotopy between \(\hat {\gamma }\) and \(\tilde {\gamma }\) then
is a regular homotopy from \(\gamma \) to \(\tilde {\gamma }\). One can think of regular homotopies as smooth paths in the space of all curves \(\gamma \colon [a,b]\to \mathbb {R}^n\), the equivalence classes under regular homotopy are the path-connected components of this space. Indeed, this space is connected, as we will prove below for the case \(n=2\). Using the curvature function for curves in \(\mathbb {R}^n\) that will be introduced in Sect. 4.2, it would not be difficult to modify the proof and show that any two curves \(\gamma \colon [a,b]\to \mathbb {R}^n\) are regularly homotopic.
Theorem 3.10
Any two curves\(\gamma ,\tilde {\gamma }\colon [a,b]\to \mathbb {R}^2\)are regularly homotopic.
Proof
By transitivity, we can construct the desired regular homotopy in steps. As a first step we use a regular homotopy to achieve that \(\gamma \) has length \(b-a\):
Therefore, without loss of generality we may assume that the original curve \(\gamma \) already has length b-a. Then we can use a regular homotopy to achieve that \(\gamma \) has unit speed: using the inverse of the arclength function \(s\colon [a,b]\to [0,L]\) of \(\gamma \) (Definition 1.13), we define a regular homotopy
So we can assume without loss of generality that \(\gamma \) has unit speed. Now we use a regular homotopy in order to translate the starting point of \(\gamma \) to the origin and achieve \(\gamma (a)=0\):
Similarly, we can rotate \(\gamma \) to achieve that the unit tangent
of \(\gamma \) at the starting point becomes the first standard basis vector \({\mathbf {e}}_1\) of \(\mathbb {R}^2\) (Fig. 3.7):
We apply the same normalizations to \(\tilde {\gamma }\). Now we consider the linear interpolation
between the curvature functions \(\kappa \) of \(\gamma \) and \(\tilde {\kappa }\) of \(\tilde {\gamma }\) and define the desired regular homotopy from \(\gamma \) to \(\tilde {\gamma }\) by
□
6 Whitney-Graustein Theorem
Definition 3.11
A regular homotopy through closed curves between two closed curves \(\gamma ,\tilde {\gamma }\colon [a,b]\to \mathbb {R}^2\) is a regular homotopy \(t\mapsto \gamma _t\) between \(\gamma \) and \(\tilde {\gamma }\) such that for all \(t\in [0,1]\) the curve \(\gamma _t\) is closed. If there exists such a regular homotopy, \(\gamma \) and \(\tilde {\gamma }\) are called regularly homotopic through closed curves.
Let us start with an example that will be needed below. Recall that \(\gamma \colon [a,b]\to \mathbb {R}^n\) is called closed if \(\gamma =\hat {\gamma }|{ }_{[a,b]}\) for some periodic smooth map \(\hat {\gamma }\colon \mathbb {R}\to \mathbb {R}^n\) with period \(b-a\). A simple way to make a new closed curve \(\tilde {\gamma }\colon [a,b]:\to \mathbb {R}^n\) out of such a curve \(\gamma \) is by a so-called parameter shift, which depends on a number \(\tau \in \mathbb {R}\):
This closed curve \(\tilde {\gamma }\) is regularly homotopic through closed curves to \(\gamma \), a suitable regular homotopy being \(t\mapsto \gamma _t\) with
Like regular homotopy in Sect. 3.5, regular homotopy as closed curves is an equivalence relation on the set of closed curves in \(\mathbb {R}^2\) and the equivalence classes can be thought of as the connected components of this space. This time however, the whole space is not connected:
Theorem 3.12 ([45])
Two closed curves\(\gamma ,\tilde {\gamma }\colon [a,b]\to \mathbb {R}^2\)are regularly homotopic through closed curves if and only if they have the same tangent winding number.
In Fig. 3.8 we see an example of a regular homotopy through closed curves.
Proof
Suppose there is a regular homotopy as closed curves \(t\mapsto \gamma _t\) between \(\gamma \) and \(\tilde {\gamma }\). Denote by \(ds_t=|\gamma _t^{\prime }|\) and \(\kappa _t\) the speed and the curvature of \(\gamma _t\). Then the tangent winding number
is an integer for all \(t\in [0,1]\) and it depends continuously on t. Therefore it is constant and \(n_0=n_1\) means that \(\gamma \) and \(\tilde {\gamma }\) they have the same tangent winding number.
Conversely, suppose that \(\gamma \) and \(\tilde {\gamma }\) they have the same tangent winding number. As in the proof of Theorem 3.10 we can assume without loss of generality that \(\gamma \) and \(\tilde {\gamma }\) both have unit speed. By Lemma 3.13 below and the fact that parameter shifts can be accomplished by regular homotopy as closed curves, we may also assume that the curvature functions \(\kappa \) and \(\tilde {\kappa }\) are either constant or linearly independent. As in the proof of Theorem 3.10, we can apply another regular homotopy through closed curves to achieve \(\gamma (a)=0\) and \(\gamma '(a)={\mathbf {e}}_1\) (see Fig. 3.7). The same can be assumed for \(\tilde {\gamma }\).
Let then \(t\mapsto \gamma _t\) be the regular homotopy between \(\gamma \) and \(\tilde {\gamma }\) constructed at the end of the proof of Theorem 3.10. The only problem is that for the intermediate curves \(\gamma _t\) might not be closed. We are going to repair this by modifying \(\gamma _t\) to a closed curve \(\tilde {\gamma }_t\) as follows:
The only fact that needs to be checked is that \(\tilde {\gamma }_t^{\prime }(x)\neq 0\) for all \(x\in [a,b]\).
Suppose we would have
and therefore
The inequality sign in the above formula must be an equality, and this implies that \(T_t\) is constant, i.e.
This would imply that \(\kappa \) and \(\tilde {\kappa }\) are linearly dependent as functions, which by our assumptions means that \(\kappa \) and \(\tilde {\kappa }\) are constant. Since both coefficients in the previous equation are positive, this would imply \(\kappa =\tilde {\kappa }=0\), which is impossible for closed curves. □
As a consequence of Theorem 3.12, every closed curve in \(\mathbb {R}^2\) is regularly homotopic through closed curves to one of the curves in the following list in Fig. 3.6.
We conclude this chapter with the Lemma that was needed in the proof of the Whitney-Graustein theorem:
Lemma 3.13
Let\(\kappa \colon \mathbb {R}\to \mathbb {R}\)be a non-zero periodic function such that for all\(\tau \in \mathbb {R}\)the functions\(\kappa \)and\(x\mapsto \kappa (x-\tau )\)are linearly dependent. Then\(\kappa \)is constant.
Proof
Given our assumptions, there is a smooth function \(\lambda \colon \mathbb {R}\to \mathbb {R}\) such that for all \(x\in \mathbb {R}\) we have
Differentiation with respect to \(\tau \) at \(\tau =0\) yields
The only non-zero periodic functions that satisfy such a differential equations are the constant functions. □
Suppose we have a diffeomorphism \(g\colon M\to \mathbb {R}^2\) where
is the unit disk in \(\mathbb {R}^2\). Then we can define a closed curve \(\gamma \colon [a,b]\to \mathbb {R}^2\) in such a way that the Fig. 3.9 becomes a commutative diagram.
If a closed curve bounds a region in \(\mathbb {R}^2\) that can be mapped onto the unit disk by a diffeomorphism, its tangent winding number is one or minus one:
Theorem 3.14
In the setup of Fig.3.9, the tangent winding number of\(\gamma \)is\(\pm 1\), where the plus sign applies if and only if g preserves orientation, i.e. if\(\det g'(x)>0\)for all\(x\in M\).
Proof
Already in the proof of Theorem 3.12 we saw that applying a scale or a rotation to \(\gamma \) does not change the regular homotopy class of \(\gamma \). Therefore, without loss of generality we may assume
For \(t\in [0,1]\) let \(A_t\) be the \(2\times 2\)-matrix such that
where the plus sign is chosen if and only if \(\det g'(0)>0\). Then the matrix \(A_t\) is invertible for all t and the one-parameter family \(t\mapsto \gamma _t=A_t \gamma \) of closed curves is a regular homotopy, so after replacing g with \(A_1\circ g\) we can assume without loss of generality that
Now define for \(r\in (0,1]\) closed curves \(\gamma _r\colon [0,2\pi ]\to \mathbb {R}^2\) by
For small \(\epsilon >0\) the curve \(\gamma _\epsilon \) is close the parametrization
of to the unit circle, so the tangent winding number of \(\gamma _\epsilon \) is \(\pm 1\). On the other hand, \(\gamma =\gamma _1\) is regularly homotopic to \(\gamma _\epsilon \), and therefore also the tangent winding number of \(\gamma \) is \(\pm 1\) (Fig. 3.8). □
References
H. Whitney, On regular closed curves in the plane. Compos. Math. 4, 276–284 (1937)
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). Curves in \(\mathbb {R}^2\). In: Differential Geometry. Compact Textbooks in Mathematics. Birkhäuser, Cham. https://doi.org/10.1007/978-3-031-39838-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-031-39838-4_3
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)