Abstract
For a closed curve \(\gamma \colon [a,b]\to \mathbb {R}^3\) with unit tangent field T, we can use a parallel normal vector field to transport a normal vector \(W_a\in T(a)^\perp \) at the starting point of \(\gamma \) to a normal vector \(W_b\in T(b)^\perp \) at the end point.
You have full access to this open access chapter, Download chapter PDF
For a closed curve \(\gamma \colon [a,b]\to \mathbb {R}^3\) with unit tangent field T, we can use a parallel normal vector field to transport a normal vector \(W_a\in T(a)^\perp \) at the starting point of \(\gamma \) to a normal vector \(W_b\in T(b)^\perp \) at the end point. If \(\gamma \) is closed, the angle \(\mathcal {T}(\gamma )\) between \(W_b\) and \(W_a\) is called the total torsion of \(\gamma \). A notion of total torsion can also be defined for curves in \(\mathbb {R}^3\) that are not necessarily closed. Therefore, for curves in \(\mathbb {R}^3\), total torsion provides another geometric functional besides length or bending energy. Critical points of a linear combination of length, total torsion and bending energy are needed for modelling the physical equilibrium shapes of elastic wires in \(\mathbb {R}^3\).
1 Total Torsion of Curves in \(\mathbb {R}^3\)
Let us focus now on curves \(\gamma \colon [a,b]\to \mathbb {R}^3\). In this case we can visualize the parallel transport of normal directions introduced in Sect. 4.1 as approximately implemented by a chain of so-called “constant velocity joints” (cf. [35]). Such joints are able to transport normal directions in an angle-preserving manner. Rotating the initial vector \(Z(a)\) of a parallel normal field by an angle \(\alpha \) will make the final vector \(Z(b)\) rotate by the same angle \(\alpha \) (see Figs. 5.1 and 5.2).
Definition 5.1
For a curve \(\gamma \colon [a,b]\to \mathbb {R}^3\) the orthogonal linear map
where \(Z\colon [a,b]\to \mathbb {R}^3\) is the parallel normal field along \(\gamma \) with \(Z(a)=X\) is called the normal transport of \(\gamma \).
After having chosen a pair \(W=(W_a,W_b)\) of unit vectors \(W_a\in T(a)^\perp \) and \(W_b\in T(b)^\perp \) we can describe the normal transport \(\mathcal {P}\) by an angle:
Definition 5.2
Let \(\gamma \colon [a,b]\to \mathbb {R}^3\) be curve with unit tangent T and normal transport \(\mathcal {P}\). Then, given a pair \(W=(W_a,W_b)\) of unit vectors \(W_a\in T(a)^\perp \) and \(W_b\) in \(T(b)^\perp \), the unique angle
with
is called the total torsion (cf. Sect. 5.4) of the curve \(\gamma \) with respect to \(W_a\) and \(W_b\).
For a closed curve we have \(T(a)=T(b)\) and we can always choose \(W(b)=W(a)\). The total torsion \(\mathcal {T}_W\) then becomes independent of the choice of \(W_a\), so in this case we can drop the subscript W and denote the total torsion of a closed curve \(\gamma \) by \(\mathcal {T}(\gamma )\). Let us determine the infinitesimal variation of the total torsion \(\mathcal {T}_W\) if we vary the curve \(\gamma \) as well as the unit vectors \(W_a\) and \(W_b\):
Theorem 5.3
Let\(t\mapsto \gamma _t\)be a variation with variational vector field ) of a curve\(\gamma \colon [a,b]\to \mathbb {R}^3\). Let\(t\mapsto W_a(t)\in T_t(a)^\perp \)and\(t\mapsto W_b(t)\in T_t(b)^\perp \)be two smooth families of unit vectors. Then the total torsion\(\mathcal {T}_W(t)\)of\(\gamma _t\)with respect to
satisfies
In terms of Y , the above integral can be expressed as
Proof
Let \(Z_t\) be the parallel normal field along \(\gamma _t\) with \(Z_t(a)\,{=}\,W_a(t)\). In particular, \(Z_0=:Z\) is a parallel normal field and we have
Taking the time derivative of the equation
at \(t=0\) yields
From Theorem 5.4
The second claim is a consequence of
where we used that ) (cf. proof of Theorem 2.8). □
The following Theorem was used in the above proof and will be needed also in Sect. 5.3:
Theorem 5.4
Let\(t\mapsto \gamma _t\)be a variation of a curve\(\gamma \colon [a,b]\to \mathbb {R}^3\)with unit tangent field T. Let\(t\mapsto Z_t\)be a smooth one-parameter family of maps such that\(Z_t\)is a parallel unit normal field along\(\gamma _t\). Then
Proof
The prime derivative commutes with the dot derivative, hence
Because \(\langle Z_t,Z_t\rangle =1\) and \(\langle Z_t,T_t\rangle =0\), for all t, we have
and therefore we can continue the previous calculation of ) as follows:
□
In Sect. 4.3 we described normal vector fields Y along a curve \(\gamma \colon [a,b]\to \mathbb {R}^n\) in terms of functions \(y\colon [a,b]\to \mathbb {R}^{n-1}\). Given a parallel unit normal field Z along a curve \(\gamma \colon [a,b]\to \mathbb {R}^3\) with unit tangent T, in terms of this correspondence, any normal field Y can be written as
Then the function ) in Theorem 5.3 also appears if, given a variation of \(\gamma \) and Z, we want to know the time derivative of the above formula:
Theorem 5.5
Let\(t\mapsto \gamma _t\)be a variation of a curve\(\gamma \colon [a,b]\to \mathbb {R}^3\)with unit tangent field T. Let\(t\mapsto Z_t\)be a smooth one-parameter family of maps such that\(Z_t\)is a parallel unit normal field along\(\gamma _t\)and\(t\mapsto y_t\)a smooth family of maps\(y_t\colon [a,b]\to \mathbb {R}^2\). Then
Proof
Taking into account the time derivatives of the equations that tell us \(T,Z,T\times Z\) are orthonormal, we obtain
□
2 Elastic Curves in \(\mathbb {R}^3\)
The torsion-free elastic curves studied in the Sects. 2.4 and 2.5 were critical points of bending energy under the constraint of fixed length. For general elastic curves in \(\mathbb {R}^3\) also the total torsion is constrained (see Fig. 5.3). Note that for a variation \(t\mapsto \gamma _t\) with support in the interior of \([a,b]\) of a curve \(\gamma \colon [a,b]\to \mathbb {R}^3\) with unit tangent T all parallel transport maps \(\mathcal {P}_t\) are defined on the same vector space \(T(a)^\perp \). Therefore it makes sense to consider the derivative \(\left .\frac {d}{dt}\right |{ }_{t=0}\mathcal {P}_t\).
Definition 5.6
A curve \(\gamma \colon [a,b]\to \mathbb {R}^3\) is called an elastic curve if it is a critical point of the bending energy \(\mathcal {B}\) under the constraint of fixed length \(\mathcal {L}\) and fixed normal transport \(\mathcal {P}\).
During a variation \(t\mapsto \gamma _t\) of a curve \(\gamma \colon [a,b]\to \mathbb {R}^3\) with constant support in the interior of \([a,b]\), after choosing unit vectors \(W_a\in T(a)^\perp \) and \(W_b\in T(b)^\perp \) (independent of t), we can measure the normal transport along \(\gamma _t\) as the total torsion angle \(\mathcal {T}_W(\gamma _t)\). Theorem 5.3 then will tell us the infinitesimal variation of the normal transport, in a way that does not depend on the choice of \(W_a\) and \(W_b\).
Theorem 5.7
Let\(\gamma \colon [a,b]\to \mathbb {R}^3\)be a unit speed curve with unit tangent T. Then the following are equivalent:
-
(i)
\(\gamma \)is an elastic curve.
-
(ii)
There are constants\(\lambda ,\mu \in \mathbb {R}\)such that
$$\displaystyle \begin{aligned} T^{\prime\prime\prime}-\langle T^{\prime\prime\prime},T\rangle T +\frac{3}{2}\langle T',T'\rangle T' - \mu T\times T^{\prime\prime} -\lambda T'=0.\end{aligned}$$ -
(iii)
There are constants\(\lambda ,\mu \in \mathbb {R}\)and a constant vector\(\mathbf {a}\in \mathbb {R}^3\)such that
$$\displaystyle \begin{aligned} T^{\prime\prime} +\frac{3}{2}\langle T',T'\rangle T - \mu T\times T' -\lambda T+\mathbf{a}=0.\end{aligned}$$ -
(iv)
There is a constant\(\mu \in \mathbb {R}\)and a constant vector\(\mathbf {a}\in \mathbb {R}^3\)such that
$$\displaystyle \begin{aligned} T^{\prime\prime} -\langle T^{\prime\prime},T\rangle T + \mathbf{a}-\langle \mathbf{a},T\rangle T - \mu T\times T'=0.\end{aligned}$$ -
(v)
There is a constant\(\mu \in \mathbb {R}\)and constant vectors\(\mathbf {a},\mathbf {b}\in \mathbb {R}^3\)such that
$$\displaystyle \begin{aligned} \gamma'\times \gamma^{\prime\prime} =\mu \gamma' + \mathbf{a}\times \gamma + \mathbf{b}.\end{aligned}$$ -
(vi)
There are constant vectors\(\mathbf {a},\mathbf {b}\in \mathbb {R}^3\)such that
$$\displaystyle \begin{aligned} \gamma^{\prime\prime} = (\mathbf{a}\times \gamma+\mathbf{b}) \times \gamma'.\end{aligned}$$
Proof
Theorem 2.21 was formulated in such a way that it is capable of dealing with several constraints, so that it is possible to prove Theorem 2.20 with more than just a single constraint. So more constraints than just the length are possible in Theorem 2.23. Therefore, the equivalence of (i) and (ii) can be shown following the same arguments that lead to Theorem 2.23. Here, taking derivatives of the equation \(\langle T,T\rangle =1\) gives
The equivalence of (ii) and (iii) follows from the equality
which can again be verified by taking derivatives of the equation \(\langle T,T\rangle =1\). (iv) is just the component of (iii) orthogonal to T, so it follows from (iii). In order to show that (iv) implies (iii), we have to show that (iv) implies that there is a constant \(\lambda \) such that also the equation obtained by taking the component of (iii) parallel to T is satisfied if (iv) holds, which is indeed the case:
To prove that (iv) is equivalent to (v), note first that, the left-hand side of (iv) being orthogonal to T, (v) is equivalent to the equation obtained from (iv) by taking the cross product with T:
or
Therefore, (iv) is equivalent to (v). Taking the cross product of the equation in (v) with T yields
which is equivalent to (vi). To show that (vi) implies (v), note that the component orthogonal to T of the equation in (v) is equivalent to (vi). This means that we have only to show based on (vi) that the scalar product with T of the sum of the terms without the \(\mu T\) term is constant. This is indeed the case:
□
In 1858 Gustav Kirchhoff realized (cf. [19]) that in the form (ii) or (iii) the equations for T describe the motion of the axis of a heavy symmetric top (or gyroscope). The vector \(\mathbf {a}\) describes the direction of gravity and \(\mu \) is related to the spinning speed of the gyroscope (see Fig. 5.4). Figure 5.5 illustrates an interesting special case of the characterization given in part (vi). of Theorem 5.7: Assume \(\mathbf {b}=0\), \(\mathbf {a}\neq 0\) and
Then equation in (vi) can be written as
and therefore the function
satisfies the linear second order equation
with the initial condition \(g(a)=g'(a)=0\). It follows that g vanishes identically and the image of \(\gamma \) is contained in the plane \(\mathbb {R}^2 \subset \mathbb {R}^3\) given by \(E=\{(x,y,z)\in \mathbb {R}^3\,|\, z=0\}\). Assuming that \(\gamma \) has unit speed, T is the unit tangent of \(\gamma \) and \(\kappa \) its curvature, we can rewrite the equation in (vi) further as
The second of the above equalities can be verified by expanding \(\gamma \) as
while the third equality follows by a simillar expansion of T. This means that \(\kappa (x)\) is proportional to the distance of \(\gamma (x)\) to the line in \(\mathbb {R}^2\) through the origin with direction \(\frac {\mathbf {a}}{|\mathbf {a}|}\):
Amazingly, this is exactly the description of planar elastic curves that had been given by Jakob Bernoulli in 1691 (see [25] for a historical survey, or [14]).
3 Vortex Filament Flow
Vortex filaments are curves of singularly concentrated vorticity in a moving fluid. Familiar examples are tornados and smoke rings. The mathematical theory of vortex filament motion started with Lord Kelvin, who in 1880 investigated the evolution of small pertubations of a straight vortex filament (cf. [39]). Later, these perturbations were called Kelvin waves. The full evolution equation for thin vortex filaments was found in 1906 by Tullio Levi-Civita and his student Luigi Sante da Rios. For a detailed history see [34]. Mathematically, the motion of a vortex filament can be described by a one-parameter family \(\gamma _t\) of curves and the da Rios equation says that this one-parameter family satisfies (Fig. 5.6)
Another breakthrough occurred in 1972 (cf. [15]) when Hidenori Hasimoto showed that the da Rios equation is equivalent to the non-linear Schrödinger equation:
Theorem 5.8
Let\(t\mapsto \gamma _t\)with\(t\in [t_1,t_2]\)be a smooth one-parameter family of unit speed curves\(\gamma _t\colon [a,b]\to \mathbb {R}^3\)which solves the da Rios equation. Let\(T_t\)be the unit tangent field of\(\gamma _t\). Then there is a smooth family\(t\mapsto W_t\)of unit vectors\(W_t\in T_t(a)^\perp \)such that the corresponding family\(t\mapsto \kappa _t\)of curvature functions for the curves\(\gamma _t\)satisfy
Proof
We choose an arbitrary unit vector \(\hat {W}\in T_{t_1}(a)^\perp \) and define for \(t\in [t_1,t_2]\) a family of unit vectors \(W_t\in T_t(a)^\perp \) as the solution of the linear initial value problems
Let \(Z_t\) be the parallel normal field along \(\gamma _t\) with \(Z_t(a)=W_t\). By Theorem 5.4
where we used that the assumption that \(\gamma _t\) solves the da Rios equation for all t implies
By construction we have \(W_t=Z_t(a)\), hence
and therefore
Using the formulas for \(T^{\prime \prime }\) and \(T^{\prime \prime \prime }\) from Sect. 4.3 and Theorem 5.5, it then follows that
where N is again the matrix of parallel normal fields which is used for the definition of \(\kappa \). This implies that \(t\mapsto \kappa _t\) satisfies the nonlinear Schrödinger equation. □
The nonlinear Schrödinger equation was known to be a so-called Soliton equation, and as a consequence also the da Rios equation admits infinitely many constants of the motion. Finally, in 1983 Marsden and Weinstein established (cf. [28]) vortex filament motion as a Hamiltonian mechanical system in its own right (see [10] for a survey article).
The closed curve in Fig. 3.4 is a critical point of bending energy under the constraint of fixed length and fixed enclosed area (cf. [2, Figure 8]) . It can be shown that this curve is the initial curve \(\gamma _0\) of a solution \(t\mapsto \gamma _t\) of the da Rios equation that is defined for all times \(t\in \mathbb {R}\). In fact, it can also be proven that this solution is periodic in t. This solution (shown in Fig. 5.7) matches quite well the qualitative behavior of the vortex filament shown in Fig. 5.6.
Definition 5.9
A vector field \(X\colon \mathbb {R}^3\to \mathbb {R}^3\) is called an infinitesimal rigid motion if there are vectors \(\mathbf {a},\mathbf {b}\in \mathbb {R}^3\) such that for all \(\mathbf {p}\in \mathbb {R}^3\) we have
The following is a reformulation of part (v) of Theorem 5.7:
Theorem 5.10
A curve\(\gamma \colon [a,b]\to \mathbb {R}^3\)is elastic if and only if there is an infinitesimal rigid motion X such that for every point of the curve the velocity ) prescribed by the da Rios equation is given by evaluating X at that point:
Figure 5.8 shows closed elastic curves and their evolution under the da Rios equation.
4 Total Squared Torsion
For pioneers of Differential Geometry like Jakob Bernoulli and Leonard Euler (cf. [25] for a historical survey), the motivation for studying elastic curves was to determine the shape \(\gamma \) of a perfectly elastic thin wire (originally shaped as a straight line segment of fixed length when it came out of the factory). In a stable equilibrium position of such a wire the elastic energy stored in its deformation is minimized. Since Bernoulli (1691) and Euler (1744) focused on plane curves, bending energy as introduced in Sect. 1.3 was sufficient for modeling elastic energy.
Later, Lagrange (1788, cf. [22]) and Binet (1844, cf. [5]) realized that for wires in space bending energy alone does not account for all relevant contributions to elastic energy. See also [40] and [4].
In \(\mathbb {R}^3\) one has to take account of the internal twisting of the wire: imagine a parallel normal field marked as a colored line on the surface on the wire in its original straight shape. If we bend the wire into space and want to know the elastic energy stored in the deformation, it is not enough to know the resulting shape \(\gamma \) of the wire. We also have to know where the colored line goes on the deformed curve. The twisting of the wire made visible by the colored line contributes to the elastic energy, even if the curve is not changed at all (cf. Fig. 5.9). This means that elastic wires in \(\mathbb {R}^3\) are more adequately modelled as a framed curve:
Definition 5.11
A framed curve in \(\mathbb {R}^3\) is a curve \(\gamma \colon [a,b]\to \mathbb {R}^3\) together with a unit normal field N along \(\gamma \).
Instead of drawing many arrows, we will usually indicate the unit normal field N of a framed curve by marking a colored line on a slightly thickened version of the curve.
Definition 5.12
For a unit normal field N along a curve \(\gamma \colon [a,b]\to \mathbb {R}^3\), the function \(\tau \colon [a,b]\to \mathbb {R}\) given by
is called the torsion of N.
The torsion \(\tau \) measures the deviation of N from being a parallel normal field. After choosing unit vectors \(W_a\in T(a)^\perp \) and \(W_b\in T(b)^\perp \), we can assign a total torsion angle also to a framed curve:
where the angles \(\alpha ,\beta \in \mathbb {R}/_{2\pi \mathbb {Z}}\) are defined by
\(\mathcal {T}_W(\gamma ,N)\) is related to the total torsion \(\mathcal {T}_W(\gamma )\) of the curve \(\gamma \) itself as follows:
Theorem 5.13
Let N be a unit normal field with torsion\(\tau \)along a curve\(\gamma \colon [a,b]\to \mathbb {R}^3\)with unit tangent field T. Then, for any choice of unit vectors\(W_a\in T(a)^\perp \)and\(W_b\in T(b)^\perp \)we have
Proof
Let Z be the parallel normal field along \(\gamma \) with \(Z(a)=W_a\). Then there is a unique function \(\eta \colon [a,b]\to \mathbb {R}\) with \(\eta (a)=\alpha \) such that
We have
Furthermore,
and therefore
This means that
□
Theorem 5.13 also explains why we use the terminology “total torsion”.
Figure 5.9 (taken from [14]) shows on the bottom a configuration where the end points of the wire are still the same as in the relaxed configuration and therefore, in view of the fixed length, the curve \(\gamma \) is still a straight line segment. However, additional energy has been stored in the twisting of the frame. In Fig. 5.10, moving the end points closer together has made it possible to for the wire to move away from the shape that would minimize bending energy in order to reduce its internal twisting.
One can show that in the limit of thin wires (where the thickness tends to zero) this additional energy is of the form
where c is a positive constant and \(\mathcal {S}(\gamma ,N)\) is defined as follows:
Definition 5.14
Let N be a unit normal field with torsion \(\tau \) along a curve \(\gamma \colon [a,b]\to \mathbb {R}^3\). Then the total squared torsion of the framed curve \((\gamma ,N)\) is defined as
The constant c depends on material properties and on the thickness r of the wire. Following [37], we call c the twisting modulus. We work in units where the bending energy is given as in Definition 1.19. Starting from the formulas for the restoring torque and the bending stiffness, one finds that
where G is the shear modulus of the wire material, E is the Young modulus and \(\nu \) is the Poisson ratio. According to a table (cf. [9]) of Poisson ratios for common materials, the dimensionless constant c lies between \(\frac {1}{3}\) and \(\frac {1}{2}\). For example, copper wires have \(c=\frac {3}{8}\). Also the twisting and bending of DNA strands (where there is no real “material”) can be modeled in the same way, see equation 4.1 of [37]. Depending on the ambient conditions, we have \(\frac {1}{2}\leq c\leq 2\) (see Fig. 5.11).
Fortunately, as we will see in Sect. 5.5, the specific value of c is irrelevant for the possible shapes of elastic curves, i.e. of those curves \(\gamma \) of a given length that are critical points of the total elastic energy \(\mathcal {B}+\mathcal {S}\). The value of c only effects the normal field N that goes together with such a curve \(\gamma \), not the shape of \(\gamma \) itself.
5 Elastic Framed Curves
In Sect. 5.4 we looked at the elastic energy (including the part that is due to internal twisting) stored in a perfectly elastic wire (modeled as a framed curve \((\gamma ,N)\)) that came out of the factory as a straight line segment. Here we will show that the for an energetic equilibrium configuration of such a wire the curve \(\gamma \) is an elastic curve (Definition 5.6) and the torsion \(\tau \) of the unit normal field N is constant.
Definition 5.15
Let \(\gamma \colon [a,b]\to \mathbb {R}^3\) be a curve and N a unit normal field along \(\gamma \). Then a smooth one-parameter family \(t\mapsto (\gamma _t,N_t)\) of framed curves is called a variation withsupport in the interior of \([a,b]\) if \(\gamma _t(x)=\gamma (x)\) and \(N_t(x)=N(x)\) for all x near the end points of the interval \([a,b]\).
Definition 5.16
A framed curve \((\gamma ,N)\) is called an elastic framed curve with twisting modulus\(c>0\) if
for all variations \(t\mapsto (\gamma _t,N_t)\) of \((\gamma ,N)\) with support in the interior of \([a,b]\) which fix the length, i.e. for which
Which curves \(\gamma \) in \(\mathbb {R}^3\) can be supplemented by a unit normal field N in such a way that \((\gamma ,N)\) is an elastic framed curve? It turns out that those curves are precisely the elastic curves:
Theorem 5.17
A framed curve\((\gamma ,N)\)in\(\mathbb {R}^3\)is elastic with twisting modulus c if and only if its torsion\(\tau \)is constant and\(\gamma \)is a critical point of
under the constraint of fixed length\(\mathcal {L}\).
Proof
Let \((\gamma ,N)\) be an elastic framed curve elastic with twisting modulus c. Let us first consider special variations \(t\mapsto (\gamma _t,N_t)\) of \((\gamma ,N)\) with support in the interior of \([a,b]\) for which the curve itself does not move at all, i.e. for all t we have \(\gamma _t=\gamma \), so that for those variations we have
The normals that we consider are of the form
where \(\alpha \colon [a,b]\to \mathbb {R}\) is a function with support in the interior of \([a,b]\). Then ), ), ) and
Therefore, for all such functions \(\alpha \) we have
and therefore we must have \(\tau '=0\). Let now \(t\mapsto \gamma _t\) be an arbitrary variation of \(\gamma \) with support in the interior of \([a,b]\) for which
Then, for small t, we can define unit normal fields \(N_t\) along \(\gamma _t\) (equal to N near the end points of the interval \([a,b]\)) by projecting \(N(x)\) to \(T_t(x)^\perp \) where \(T_t\) is the unit tangent field of \(\gamma _t\):
Then, by Theorem 5.13 and with \(\frac {d}{dt}\big \vert _{t=0}\mathcal {L}(\gamma _t)=0\), we have
This proves the “only if” direction of our claim. We leave the “if” direction to the reader. □
6 Frenet Normals
Definition 5.18
A unit normal field \(N\colon [a,b]\to \mathbb {R}^n\) along a curve \(\gamma \colon [a,b]\to \mathbb {R}^n\) with unit tangent T is called a Frenet normal field if there is a function \(\kappa _f\colon [a,b]\to \mathbb {R}\) such that
If we ignore the effects of gravity, the unit vector pointing upward in the reference frame of an airplane like the one in Fig. 5.12 (which is lacking a rudder) will be a Frenet normal for its flight path (see Fig. 5.13). A curve \(\gamma \colon [a,b]\to \mathbb {R}^2\) has exactly two unit normal fields, and both of them are Frenet. The one with \(N=-JT\) has \(\kappa _f = \kappa \) where \(\kappa \) is the curvature function of \(\gamma \).
Not every curve in \(\mathbb {R}^3\) has a Frenet normal field. For example, any Frenet normal field N for the curve (cf. [36, Chapter 1])
would have to satisfy (see Fig. 5.14)
which is impossible for a smooth map. Figure 5.14 shows a curve where four planar curves are stitched together in a smooth fashion, together with an attempt to define a Frenet normal field for this curve.
Even if a Frenet normal field exists on an open dense set of \([a,b]\) (which in general is not guaranteed), it can exhibit singularities that can be worse than the jump discontinuities from the previous example. For example, any Frenet normal field for the curve
will have unbounded rotation speed, as is visible in Fig. 5.15. After Frenet normals were introduced in the middle of the nineteenth century, they quickly became a popular tool for studying curves. The second half of the nineteenth century saw the powerful appearance of Complex Analysis and Algebraic Geometry in the landscape of Mathematics, while Topology (and certainly Differential Topology) were still in their infancy. In those days it seemed natural to assume that the curves \(\gamma \) under consideration were real analytic (locally representable as a power series). And every real analytic curve does indeed have a Frenet normal field:
Theorem 5.19
If\(\gamma \colon [a,b]\to \mathbb {R}^n\)is real analytic, then\(\gamma \)has a Frenet frame.
Proof
Without loss of generality we may assume that \(\gamma \) has unit speed. If \(\gamma \) parametrizes a piece of a straight line, then every unit normal field along \(\gamma \) is Frenet and we are done. Otherwise, because of the real analyticity of \(\gamma \), there are only finitely many parameter values \(x_1,\ldots x_m\in [a,b]\) where \(\gamma ^{\prime \prime }\) vanishes. On each subinterval of \([a,b]\) bounded by two of the points \(a,x_1,\ldots ,x_m,b\) there is a Frenet normal field, unique up to sign, which is obtained by setting \(N=\frac {\gamma ^{\prime \prime }}{|\gamma ^{\prime \prime }|}\). It is therefore sufficient to show that also in the neigborhood of each \(x_j\) there is a Frenet normal field, unique up to sign. In the end, the signs can then easily be adjusted to yield a Frenet normal field on the whole interval \([a,b]\). By real analyticity, there is a neighborhood of \(x_j\) where \(\gamma \) can be expressed as
with \(a_k \in \mathbb {R}^n\). Then
and there is an index \(\ell \in \mathbb {N}\) such that \(a_k=0\) for \(k=2,\ldots ,\ell -1\) but \(a_\ell \neq 0\). Then
with \(\eta (x) \neq 0\) for all x in some neighborhood of \(x_j\). In this neighborhood
is the desired Frenet normal field. □
Nowadays, the standard assumption for curves is that they are smooth, i.e. infinitely often differentiable. Because for \(n\geq 3\) not every \(C^\infty \) curve in \(\mathbb {R}^n\) has a Frenet normal field, for \(n\geq 3\) these fields cannot be used for studying global questions about smooth curves in \(\mathbb {R}^n\). Moreover, when used in the context of numerical algorithms that operate on space curves, Frenet normals can cause unexpected behavior near curves that do not have a Frenet normal.
References
G. Arreaga, R. Capovilla, C. Chryssomalakos, J. Guven, Areaconstrained planar elastica. Phys. Rev. E 65, 031801 (2002)
M. Bergou, M. Wardetzky, S. Robinson, B. Audoly, E. Grinspun, Discrete elastic rods, in ACM SIGGRAPH 2008 papers, SIGGRAPH‘08, vol. 27 (Association for Computing Machinery, New York, 2008), pp. 63:1–63:12
J. Binet, Mémoire sur l’intégration des équations de la courbe élastique à double courbure. C. R. Acad. Sci. 18, 1115–1119 (1844). Englisch translation: Neo-Classical physics
W.D. Callister, D.G. Rethwisch, Materials science-and-engineering: an introduction, 8th edn. (Wiley, Hoboken, 2009)
A. Chern, F. Knöppel, F. Pedit, U. Pinkall, Commuting Hamiltonian flows of curves in real space forms (2018). arXiv: 1809. 01394 [math.DG]
V.G.A. Goss, Snap buckling, writhing and loop formation in twisted rods. Ph.D. Thesis. University of London (2003)
H. Hasimoto, A soliton on a vortex filament. J. Fluid Mech. 51(3), 477–485 (1972).
G. Kirchoff, Über das Gleichgewicht und die Bewegung eines unendlich dünnen elastischen Stabes. J. F. D. Reine U. Angew. Math. 56, 285–313 (1858)
D. Kleckner, M.W. Scheeler, W.T.M. Irvine, The life of a vortex knot. Phys. Fluids 26(9), 091105 (2014)
J.L. Lagrange, Mécanique analytique, vol. 1 (Chez la Veuve Desaint, Paris, 1788)
R.L. Levien, From spiral to spline: optimal techniques in interactive curve design. Ph.D Thesis. University of California, Berkeley (2009)
J. Marsden, A. Weinstein, Coadjoint orbits, vortices, and Clebsch variables for incompressible fluids. Physica D 7(1), 305–323 (1983)
R.L. Ricca, The contributions of da rios and levi-civita to asymptotic potential theory and vortex filament dynamics. Fluid Dyna. Res. 18(5), 245–268 (1996)
F. Schmelz, H.C. Seherr-Thoss, E. Aucktor, Theory of constant velocity joints, in Universal joints and driveshafts: analysis, design, applications (Springer, Berlin, 1992), pp. 29–56
M. Spivak, A comprehensive introduction to differential geometry, vol. 2 (Publish or Perish, 1999)
D. Swigon, The mathematics of DNA sturcture, mechanics, and dynamics, in Mathematics of DNA structure, function and interactions, ed. by C.J. Benham, S. Harvey, W.K. Olson, D.W. Sumners, D. Swigon (Springer, New York, 2009), pp. 293–320
W. Thomson, Vibrations of a columnar vortex. Proc. R. Soc. 10, 443–456 (1880)
E.H. Tjaden, Einfache elastische Kurven. Ph.D. Thesis. Technischen Universität Berlin (1992)
L.J. Villegas Vicencio, M.J. Larrañaga Fu, J.R. Lerma Aragón, R. Romo, J. Tapia Mercado, Precession and nutation visualized. Lat. Am. J. Phys. Educ. 6(1), 179–182 (2012)
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}^3\). In: Differential Geometry. Compact Textbooks in Mathematics. Birkhäuser, Cham. https://doi.org/10.1007/978-3-031-39838-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-39838-4_5
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)