Abstract
We consider the problem of producing a ruled Möbius band by subjecting an unstretchable, homogeneous, isotropic, elastic material surface material surface in a circular helicoidal reference configuration to a deformation that is isometric and chirality preserving. We find that such a Möbius band is completely determined by the unit binormal of the Frenet frame of its midline, which must be a geodesic and must have uniform torsion inversely proportional to the pitch of the helicoidal reference configuration. Granted that the energy density of the material surface depends quadratically on the mean curvature of its deformed configuration, we show that the total energy stored in producing a ruled Möbius band as described reduces, in closed form and without approximation, to an integral over the midline of the Möbius band. We formulate and numerically solve a constrained variational problem for finding relative minima of the dimensionally reduced bending energy and construct corresponding stable Möbius bands. The only input parameter entering our variational problem is the number \(\nu \) of turns in a helicoidal reference configuration. We only find solutions if \(\nu \) exceeds a certain threshold, which we compute to machine precision. Above that threshold, an interplay between the operative constraints leads to a multiplicity of coexisting stable solutions with \(n\ge 3\) half twists. For each \(n\ge 3\), we construct an energetically optimal Möbius band which exhibits \(n\)-fold rotational symmetry. All other energy minima yield Möbius bands which lack symmetry. To our knowledge, this study contains the first examples of stable Möbius bands produced by isometrically deforming reference configurations that are not flat.
Similar content being viewed by others
1 Introduction
Our primary goal in this work is to supply provisional guidelines for producing Möbius bands from helicoidal templates. Candidates for such templates include coiled graphene nanoribbons like those synthesized by Daigle et al. [1] and helicoidal metalo-polymers like those synthesized by Fu et al. [2]. Helicoidal protein \(\beta \)-sheets described by Salemme [3] could also serve the intended purpose. It might also be possible to create suitable templates from DNA, prion proteins, collagen, chiral metal-organic frameworks, artificial proteins, or plasmonic nanoparticles.
We consider an idealized situation in which a ruled Möbius band is produced by subjecting an unstretchable, homogeneous, isotropic, elastic material surface in a circular helicoidal reference configuration to an isometric and chirality preserving deformation. We find that such a Möbius band must be generated by the unit binormal of its midline,Footnote 1 which must be a closed geodesic and have uniform torsion. Granted that the energy, per unit area, stored in bending a helicoidal reference configuration into a Möbius band depends quadratically on the mean curvature of the Möbius band and considering that a circular helicoid is a minimal surface and, thus, has zero mean curvature, we find that the total bending energy simplifies to an integral over the midline of the Möbius band. The integrand of the dimensionally reduced representation of the total bending energy is proportional to the square of the normal curvature of the midline of the Möbius band. Moreover, since the midline has uniform torsion, its squared normal curvature depends linearly on the square of the second derivative, with respect to arclength, of the unit binormal determining the Möbius band. The problem of finding a ruled Möbius band produced as described accordingly simplifies to the problem of determining the unit binormal of the corresponding midline.
After formulating a properly constrained variational problem for the unit binormal, we derive the corresponding first and second variation conditions. With a scaling in which lengths are measured relative to the length of the axis of a helicoidal reference configuration and energies are measured relative to an effective bending modulus that emerges during the derivation of the dimensionally reduced total bending energy, we find our problem has only one free parameter: the number, \(\nu \), of times a helicoidal reference configuration turns about its axis.
Using finite differences, we develop a second-order accurate scheme for constructing numerical solutions that satisfy discretized counterparts of our first and second variation conditions. Consistent with the intuitive expectation that it should not be possible to join the ends of a circular helicoid to form a Möbius band if the helicoid has too few turns, we find that a solution does not exist unless \(\nu \) satisfies \(\nu \ge 1.29\). The Möbius band determined by the solution corresponding to \(\nu=1.29\) is stable, has \(n=3\) half twists, and exhibits 3-fold rotational symmetry.
Also, we find one stable solution for each considered value of \(\nu \) satisfying \(1.30\le \nu <1.40\) and two stable solutions for each considered value of \(\nu \) satisfying \(\nu \ge 1.40\). Each such solution produces an unknotted Möbius band that is stable in the sense that it delivers a local minimum of the bending energy. These Möbius bands typically lack symmetry. However, for each natural number \(j\ge 2\), we discover particular values \(\nu _{j}\) of \(\nu \) which yield stable Möbius bands with \(n=2j+1\) half twists and \((2j+1)\)-fold rotational symmetry. Moreover, we find that the stable Möbius band with \(n\ge 3\) half twists and \(n\)-fold rotational symmetry has lower dimensionless bending energy than every other stable Möbius band with the same number of half twists and is, thus, energetically optimal. Post-processing our numerical results for \(j=1,\dots ,13\), we obtain heuristic approximations for the dimensionless bending energy \(F_{j}\) of the optimal Möbius band with \(n=2j+1\) half twists and for \(\nu _{j}\). We then use the latter approximation in conjunction with the interval halving to compute machine precision estimates of \(\nu _{j}\) up to \(j=100\). In so doing, we find that said approximation holds with at most 0.067% error.
Our numerical method does not rely on a priori symmetry assumptions of any kind. The energetically optimal Möbius bands with \(n\) half twists and \(n\)-fold rotational symmetry that we obtain arise naturally from our variational problem, which requires that bending energy be minimized while ensuring that the operative constraints and junction conditions are met. An alternative method designed to obtain only Möbius bands with \(n\) half twists and \(n\)-fold rotational symmetry might be more efficient than ours. However, such a method would not allow for the construction asymmetric competitors and, thus, would leave open the question of whether Möbius bands with \(n\) half twists and \(n\)-fold rotational symmetry are energetically optimal. Our numerical method also allows us to study the stability of solutions for the entire class of kinematically admissible perturbations rather than for the restricted subclass of perturbations that would otherwise be dictated within a method designed only for obtained solutions with symmetry.
In Sect. 2, we introduce our basic kinematical ingredients, derive the consequences of stipulating that the deformation from a circular helicoid to a ruled Möbius band be isometric and chirality preserving, and apply those consequences to show that any such Möbius band admits a parametrization entirely in terms of the unit binormal of the Frenet frame of its midline. In Sect. 3, we use the aforementioned parametrization to obtain a dimensional reduction of a simple but commonly used expression for bending energy. We then formulate a constrained variational problem, based on a dimensionless counterpart of the reduced bending energy, and derive the corresponding first and second variation conditions. In Sect. 4, we present discretized versions of the first and second variation conditions, constraints, and junction conditions. Our numerical results are presented in Sect. 5, where we describe local minima of the dimensionless bending energy and provide guidelines for constructing energetically optimal Möbius bands with \(n\) half twists and \(n\)-fold rotational symmetry for any choice of \(n\ge 3\). We summarize and discuss our main findings, and we describe several possible areas of application of our work in Sect. 6. Calculations of several essential differential geometric quantities appear in the Appendix, and graphs of the left- and right-handed enantiomers of each energetically optimal Möbius band determined as an outcome of this study are provided as Supplemental Material.
2 Kinematics
2.1 Parameterizations of the Reference and Deformed Configurations
Consider a material surface in a (circular) helicoidal reference configuration ℋ with pitch \(p\ne 0\), axis \(\mathcal{A}\) of length \(\ell \), and radius \(a\). Given an orthonormal basis \(\{\boldsymbol{e}_{1},\boldsymbol{e}_{2},\boldsymbol{e}_{3}\}\) with positive orientation, we parametrize ℋ by a mapping \(\hat{\boldsymbol{x}}\) with the explicit form
where \(\boldsymbol{f}\) is defined such that
and where each ordered pair \((s,\upsilon )\) belongs to the rectangular parameter set
Thus, ℋ is right-handed or left-handed depending on whether \(p\) is positive or negative, respectively. Also, the dimensionless ratio
measures the number of times ℋ turns about its axis \(\mathcal{A}\). Setting \(\upsilon =0\) in (1) shows that \(\hat{\boldsymbol{x}}\) is defined so that \(s\) measures arclength along \(\mathcal{A}\). Illustrations of left- and right-handed referential helicoids parametrized by (1), both with \(\nu =1.70\) turns, appear in Fig. 1.
A ruled Möbius band ℬ obtained by subjecting a helicoidal reference configuration ℋ to an isometric and chirality preserving deformation \(\boldsymbol{\eta }\) can be parametrized by a mapping \(\hat{\boldsymbol{y}}\) that is also defined on the parameter set \(R\) and has the general form
Without loss of generality, we stipulate that the point-valued mapping \(\boldsymbol{d}\) that enters (5), which is called the directrix of ℬ, parametrizes the closed midline \(\mathcal{C}\) of ℬ. The vector-valued mapping \(\boldsymbol{g}\) that enters (5), which is called the generatrix of ℬ, determines the orientation of a ruling through each point of \(\mathcal{C}\). We assume that \(\boldsymbol{d}\) and \(\boldsymbol{g}\) are at least four times continuously differentiable. To ensure that the ends of \(\mathcal{A}\) are smoothly joined to form \(\mathcal{C}\), we require that the values of \(\boldsymbol{d}\) and its first three derivatives agree at \(s=0\) and \(s=\ell \):
Moreover, to ensure that ℬ is nonorientable, we require the rulings at \(s=0\) and \(s=\ell \) to be antipodal:
Granted that the directrix \(\boldsymbol{d}\) and the generatrix \(\boldsymbol{g}\) satisfy (6)1 and (7), the shape of the surface ℬ parametrized by (5) is independent of the particular values of \(\boldsymbol{d}(0)=\boldsymbol{d}(\ell )\) and \(\boldsymbol{g}(0)=-\boldsymbol{g}(\ell )\), which can therefore be chosen for convenience.
Figure 2 contains illustrations of left- and right-handed ruled Möbius bands, with \(n=3\) half twists and circular midlines of radius \(\ell /2\pi \), obtained by prescribing \(\boldsymbol{d}\) and \(\boldsymbol{g}\) of (5) to be given by
and
where the minus and plus signs yield left- and right-handed enantiomers, respectively. It will become apparent that the Möbius bands depicted in Fig. 2 cannot be obtained by isometrically deforming helicoidal reference configurations and, thus, do not correspond to solutions of the problem considered in this study.
2.2 Consequences of Isometry and Chirality Preservation
Under a deformation \(\boldsymbol{\eta }\) from ℋ to ℬ, each material point \(\boldsymbol{x}=\hat{\boldsymbol{x}}(s,\upsilon )\) on ℋ is mapped to a unique point
of ℬ. Since we have assumed that the directrix \(\boldsymbol{d}\) of ℬ parametrizes the midline \(\mathcal{C}\) of ℬ, we see from (1), (5), and (10) that
Hence, \(\boldsymbol{\eta }\) maps the axis \(\mathcal{A}\) of ℋ onto \(\mathcal{C}\). Since \(\mathcal{A}\) is a geodesic of ℋ and since geodesics are preserved under isometric deformations, \(\mathcal{C}\) must be a geodesic of ℬ. An illustration of an isometric deformation \(\boldsymbol{\eta }\) from a helicoidal reference configuration ℋ with \(\nu =1.29\) turns to a Möbius band ℬ with \(n=3\) half twists and 3-fold rotational symmetry appears in Fig. 3.
To qualify as an isometric deformation, \(\boldsymbol{\eta }\) must preserve the length of any curve connecting any two points on ℋ and, thus, bend ℋ into ℬ entirely without stretching. Differentiating the identity \(\hat{\boldsymbol{y}}(s,\upsilon )=\boldsymbol{\eta }( \hat{\boldsymbol{x}}(s,\upsilon ))\) with respect to \(s\) and \(\upsilon \), we consequently infer that the corresponding metric coefficients of ℋ and ℬ must match for each \((s,\upsilon )\) in \(R\). In Appendix A.1, we show that those metric requirements are met if and only if the directrix \(\boldsymbol{d}\) and generatrix \(\boldsymbol{g}\) of ℬ satisfy
Immediately useful consequences of (12) include
While (13)1 stems from differentiating (12)2, (13)2 can be confirmed with reference to (12)5 and (13)1. By (12)3 and (12)4, \(\dot{\boldsymbol{d}}\) must be orthogonal to both \(\boldsymbol{g}\) and \(\dot{\boldsymbol{g}}\). Referring to (13), we thus find that \(\dot{\boldsymbol{d}}\) must be determined by \(\boldsymbol{g}\) through
Since, by (12)5 and (13)1, \(\dot{\boldsymbol{g}}\times (\boldsymbol{g}\times \dot{\boldsymbol{g}})=4\pi ^{2}\boldsymbol{g}/p^{2}\), we find from (14) that \(\boldsymbol{g}\) can be expressed as
An isometric deformation \(\boldsymbol{\eta }\) from ℋ to ℬ preserves the chirality of ℋ if and only if, as arclength increases, the rulings of ℬ turn around its midline \(\mathcal{C}\) in the same way that the rulings of ℋ turn around its axis \(\mathcal{A}\). As arclength along \(\mathcal{C}\) increases, the rule vector of a helicoidal reference configuration ℋ with parametrization (1) rotates anticlockwise or clockwise about \(\mathcal{A}\) depending on the sign of the pitch \(p\). The rotation about \(\mathcal{A}\) is clockwise or anticlockwise depending on whether ℋ is left-handed (\(p<0\)) or right-handed (\(p>0\)). Hence, ℬ has the same chirality as ℋ only if
and, thus, only if the plus sign must prevail in (14) and (15), giving
In view of (5) and (12)\(_{1\text{--}3}\), \(\boldsymbol{n}=\boldsymbol{g}\times \dot{\boldsymbol{d}}\) defines a unit normal to ℬ at each point of \(\mathcal{C}\). With reference to (12)2, (13)1, and (17)1, we find that
Invoking (12)5, we confirm that the right-hand of (18) is of unit magnitude. With (18), we may rewrite (17) as
The positively-oriented orthonormal triad \(\{\dot{\boldsymbol{d}},\boldsymbol{n},\boldsymbol{g}\}\) can thus be recognized as the Darboux frame of the midline \(\mathcal{C}\) of ℬ. Since \(\mathcal{C}\) is a geodesic of ℬ, its vector curvature \(\ddot{\boldsymbol{d}}\) must be normal to ℬ and, thus, must be given by
where the normal curvature \(k\) of \(\mathcal{C}\) is given by
Next, noticing that, by (18)–(20),
we find that the torsion \(\tau \) of \(\mathcal{C}\) must be uniform and is determined by the pitch \(p\) of ℋ through
Thus, in particular, \(\tau \) is positive (negative) for a right-handed (left-handed) referential helicoid ℋ. From (18) and the definition \(\tau _{g}=\dot{\boldsymbol{n}}\cdot \boldsymbol{g}=-\boldsymbol{n} \cdot \dot{\boldsymbol{g}}\) of the geodesic torsion of \(\mathcal{C}\), we also find that
As a consequence of (24), the angle between the Darboux and Frenet frames of \(\mathcal{C}\) is fixed. With this in mind, we notice from (20) that the unit normal \(\boldsymbol{n}\) of the Darboux frame of \(\mathcal{C}\) must also serve as the unit normal of the Frenet frame of \(\mathcal{C}\) and, accordingly, that the unit binormal \(\boldsymbol{b}\) of the Frenet frame of \(\mathcal{C}\) must be given by
Invoking Fenchel’s [4] definitions of the Frenet frame and the curvature,Footnote 2 we thus infer that the generatrix \(\boldsymbol{g}\) of ℬ is equal to the unit binormal \(\boldsymbol{b}\) of the midline \(\mathcal{C}\) of ℬ. By (25), the normalization which \(\boldsymbol{b}\) must satisfy to qualify as the unit normal of \(\mathcal{C}\), namely
is sufficient to ensure that (12)2 holds. Using (25) in (12)5, we deduce that \(\boldsymbol{b}\) must satisfy an additional normalization of the form
Integrating the consequence
of using (25) in (17)1, we next conclude that the directrix \(\boldsymbol{d}\) of \(\mathcal{C}\) must be determined as a functional of the unit binormal \(\boldsymbol{b}\) of the Frenet frame of \(\mathcal{C}\) through
where, as previously noted, \(\boldsymbol{d}(0)\) can be chosen arbitrarily.Footnote 3 Furthermore, using (25) and (29) in (5), we obtain the parametrization \(\hat{\boldsymbol{y}}\) of ℬ in the form
and, thus, that ℬ must be a binormal scroll with midline \(\mathcal{C}\) of uniform torsion \(\tau =2\pi /p\).
2.3 Explicit Form of the Deformation from ℋ to ℬ
Let \(\boldsymbol{o}\) denote the reference placement of the material point corresponding to the parameter pair \((s,\upsilon )=(0,0)\), and let \(x_{i}=(\boldsymbol{x}-\boldsymbol{o})\cdot \boldsymbol{e}_{i}\), \(i=1,2,3\). Referring to (1) and (2), we thus see the Cartesian coordinates \((x_{1},x_{2},x_{3})\) of a point \(\boldsymbol{x}=\hat{\boldsymbol{x}}(s,\upsilon )\) on a helicoidal reference configuration ℋ must satisfy
In view of (1), (10), (30), and (31), we infer that the deformation \(\boldsymbol{\eta }\) takes the material point \(\boldsymbol{x}=\hat{\boldsymbol{x}}(s,\upsilon )\) on ℋ with Cartesian coordinates \((x_{1},x_{2},x_{3})\) to the point \(\boldsymbol{y}\) on ℬ given by
2.4 Closure and Junction Conditions
Using (29) to evaluate the difference \(\boldsymbol{d}(\ell )-\boldsymbol{d}(0)\), we see that the closure condition (6)1 takes the form
As a first step toward considering the implications of (6)\(_{2 \text{--}4}\), we use (25) to recast the antipodal junction condition (7) in terms of \(\boldsymbol{b}\), giving
Next, we differentiate (28) to yield:
Using (28) and (35) in (6)\(_{2 \text{--}4}\) and taking advantage of (34), we obtain the conditions:
Since \(\boldsymbol{b}(0)\) can be chosen arbitrarily without influencing the shape of ℬ, we see from (36)1,2 that \(\dot{\boldsymbol{b}}\) and \(\ddot{\boldsymbol{b}}\) must satisfy antipodal junction conditions:
Using (37) to simplify (36)3 and relying again on the arbitrary nature of \(\boldsymbol{b}(0)\), we find that \(\dddot{\boldsymbol{b}}\) must also satisfy an antipodal junction condition:
2.5 Number of Half Twists in a Ruled Möbius Band
Granted that \(\boldsymbol{b}\) satisfies the antipodal junction conditions (34), (37), and (38), a theorem due to Călugăreanu [7] can be used to determine how many half twists are in a Möbius band ℬ with midline \(\mathcal{C}\) and parametrization \(\hat{\boldsymbol{y}}\) of the form (30). If ℬ is an unknot, we find that its number \(n\) of half twists is given by
where
measures the writhe of \(\mathcal{C}\).Footnote 4 Since (29) can be used to express \(\mathsf{w}\) in terms of \(\boldsymbol{b}\), (39) determines \(n\) in terms of \(\boldsymbol{b}\). If ℬ is a knot, then (39) changes to \(n=2(\nu +\mathsf{w}-\mathsf{c})\), where \(\mathsf{c}\) measures the number of times that \(\mathcal{C}\) crosses over itself.Footnote 5
3 Energetics
3.1 Dimensional Reduction of the Bending Energy
The energy stored in isometrically deforming a homogeneous, isotropic, elastic material surface can include only contributions due to bending. Since the Gaussian curvature is preserved under an isometric deformation \(\boldsymbol{\eta }\) and since the mean curvature of a circular helicoidal reference configuration ℋ vanishes, the bending energy density of a ruled Möbius band ℬ obtained from a smooth, isometric, chirality preserving deformation \(\boldsymbol{\eta }\) of any such ℋ can depend only on the mean curvature \(H\) of ℬ. For simplicity, we take that dependence to be quadratic. The resistance to bending is then characterized by a constant modulus \(\mu >0\) and the total energy \(E\) stored in bending ℋ to ℬ has the form
To convert (41) to an integral over the parameter set \(R\) defined in (3), we determine the first and second fundamental forms \(\mathsf{I}\) and \(\mathsf{II}\) of ℬ. With reference to the explicit representation (30) of the parametrization \(\hat{\boldsymbol{y}}\) of ℬ and to the normalization conditions (26) and (27) that apply to \(\boldsymbol{b}\), we show in Appendix A.2 that
where \(\jmath \), defined according to
is the Jacobian needed to convert the area element \(\text{d}a\) of ℬ to the area element \(\text{d}s\,\text{d}\upsilon \) of the parameter set \(R\). From (42), we obtain the mean curvature \(H\) of ℬ in the form
and, thus, is a multiplicatively separable function of \(s\) and \(\upsilon \).
Since the integrand of the double integral arising from using (43) and (44) in (41) is also a multiplicatively separable function of \(s\) and \(\upsilon \) and the parameter set \(R\) is rectangular, \(E\) splits into the product
with
With reference to (43), we notice that \(I_{2}\) can be evaluated explicitly. Introducing
we thus obtain a dimensional reduction, in closed form, of \(E\):
The energy stored in bending a circular helicoidal reference configuration ℋ with pitch \(p\), length \(\ell \), and radius \(a\) into a ruled Möbius band ℬ with midline \(\mathcal{C}\) is therefore equivalent to the energy stored in bending an inextensible elastica of length \(\ell \) and effective bending stiffness \(\alpha \ell \) into a space curve with the shape of \(\mathcal{C}\). To acquire some insight regarding \(\alpha \), which can be identified as a characteristic measure of bending energy, let \(\mu \) and the width-to-length ratio \(2a/\ell \) of ℋ be fixed. We then see from (47) that
where \(m\) defined by
can be recognized as the slope of the helical edge of ℋ. Granted that \(\mu \) and \(2a/\ell \) are fixed, we thus see from (49) that: (i) \(\alpha \) is insensitive to \(m\) for sufficiently small values of \(|m|\); (ii) since
\(\alpha \) decays more rapidly than \(|m|^{-1/2}\) but more slowly than \(|m|^{-1}\) as \(|m|\) increases for sufficiently large values of \(|m|\); (iii) since
where equality is achieved if and only if \(m=0\), it follows that
and, thus, that \(\alpha \ell /2\mu a\) increases monotonically with \(m\) for \(m<0\) and decreases monotonically with \(m\) for \(m>0\).
Toward formulating a variational problem for determining admissible choices of the unit binormal \(\boldsymbol{b}\) of the midline \(\mathcal{C}\) of ℬ, we express the dimensionally reduced expression (48) for bending energy \(E\) of ℬ as a functional of \(\boldsymbol{b}\). Specifically, from (35)1 and the consequence
of (26) and (27), we find that the square \(k^{2}=|\ddot{\boldsymbol{d}}|^{2}\) of the normal curvature \(k\) of \(\mathcal{C}\) can be expressed as
Using (55) in (48) and invoking the definition (4) of the number \(\nu\) of turns of ℋ, we thus obtain an alternative representation for the total energy \(E\) stored in bending ℋ to ℬ:
3.2 Scaling
We adopt a scaling whereby lengths are measured relative to the length \(\ell \) of the axis \(\mathcal{A}\) of a helicoidal reference configuration ℋ and energies are measured relative to the parameter \(\alpha \) that emerges as a natural offshoot in the derivation of the dimensional reduced version (48) of the bending energy \(E\). This is accomplished by defining dimensionless counterparts \(x\) and \(\boldsymbol{u}\) of the arclength \(s\) and the unit binormal \(\boldsymbol{b}\) through
and defining a dimensionless counterpart \(F\) of the bending energy \(E\) through
where a prime signifies differentiation with respect to \(x\).
With the change of variables (57), the parametrization (29) of midline \(\mathcal{C}\) of ℬ takes the form
Accordingly, the parametrization (30) of ℬ takes the form
Moreover, the normalization conditions (26) and (27) are converted to
the closure condition (33) reads
and the antipodal junction conditions (34), (37), and (38) become
3.3 Variational Problem
In seeking admissible local minima of the dimensionless energy functional \(F\) defined in (58), we interpret the normalization conditions (61) and the closure condition (62) as constraints and introduce corresponding Lagrange multipliers \(\rho \), \(\lambda \), and \(\boldsymbol{\gamma }\) that penalize deviations from the constraints. Since (61) are pointwise conditions, the scalar multipliers \(\rho \) and \(\lambda \) generally depend on the dimensionless arclength \(x\). Since (62) is a global condition, \(\boldsymbol{\gamma }\) is a constant vector multiplier. We, thus, introduce a constraint functional \(G\) given by
and consider the problem of minimizing the Lagrangian \(L\) defined by
subject to the antipodal junction conditions (63), which, viewed variationally, amount to antiperiodic essential boundary conditions.
3.4 Equilibrium Conditions
For a choice of \(\boldsymbol{u}\) satisfying (63) to deliver a local minimum of the augmented Lagrangian \(L\) defined in (65), it must satisfy the first and second variation conditions
for all variations \(\boldsymbol{v}=\delta \boldsymbol{u}\) admissible in the sense that they comply with the consequences
of varying the pointwise constraints (61), the consequence
of varying the closure condition (62), and the consequences
of varying the antipodal junction conditions (63).Footnote 6
Varying \(L\), integrating by parts, and using (63) and (69), we find that the first-variation condition (66)1 takes the form
Applying standard localization arguments, we thus obtain the Euler–Lagrange equation
and the natural junction condition
Granted that (71) and (72) hold, the second variation \(\delta ^{2} L\) of \(L\) reads
Integrating by parts and invoking the admissibility conditions (69) to simplify (73), we find that the second-variation condition takes the form
A solution \(\{\boldsymbol{u},\rho ,\lambda ,\boldsymbol{\gamma }\}\) of the boundary-value problem comprised by the Euler–Lagrange equation (71), the pointwise and global constraints (61) and (62), and the essential and natural junction conditions (63) and (72) is stable if the inequality (74) holds for all variations \(\boldsymbol{v}\) of \(\boldsymbol{u}\) that satisfy the admissibility conditions (67)–(69). With reference to (41), (56), and (58), a Möbius band ℬ determined by any stable solution, through (60), delivers a local minimum of the bending energy \(E\) and, thus, is itself stable.
Combining the consequence \(\boldsymbol{u}\cdot \boldsymbol{u}'''+3\boldsymbol{u}'\cdot \boldsymbol{u}''=0\) of differentiating (61)1 thrice with the consequence \(\boldsymbol{u}'\cdot \boldsymbol{u}''=0\) of differentiating (61)2, we see that \(\boldsymbol{u}\) must obey
Resolving the Euler–Lagrange equation (71) in the direction of \(\boldsymbol{u}\) and invoking (61)1, (61)2, the consequence \(|\boldsymbol{u}''|^{2}+\boldsymbol{u}'\cdot \boldsymbol{u}'''=0\) of differentiating (61)2 twice, and (75), we obtain the identity
Evaluating (76) at \(x=0\) and at \(x=1\) and using the antipodal junction conditions (63)2,4 and the natural junction condition (72), we find that \(\rho \) must satisfy the junction condition
The boundary-value problem for \(\{\boldsymbol{u},\rho ,\lambda ,\boldsymbol{\gamma }\}\) involves one control parameter: the number \(\nu \) of turns, as defined in (4), contained in a helicoidal reference configuration ℋ. Since \(\nu \) does not depend on the sign of \(p\), any solution can be used to construct an enantiomorphic pair of Möbius bands, each with the same number \(n\) of half twists.
4 Discretization
4.1 Euler–Lagrange Equation, Constraints, and Junction Conditions
To formulate a discrete version of the boundary-value problem for \(\{\boldsymbol{u},\rho ,\lambda ,\boldsymbol{\gamma }\}\), we partition the range \([0,1]\) of the dimensionless arclength \(x\) into \(N\) subintervals of dimensionless length \(h=1/N\) and define \(\boldsymbol{u}_{i}\), \(\lambda _{i}\), and \(\rho _{i}\), \(i=0,\dots ,N\), by
where, in keeping with (63)1, (72), and (77), the values of \(\boldsymbol{u}_{i}\), \(\lambda _{i}\), and \(\rho _{i}\) at \(i=0\) and \(i=N\) must satisfy
The discretization \(\boldsymbol{u}_{i}\), \(i=0,\dots ,N\), of \(\boldsymbol{u}\) can be used directly to construct a polygonal approximation of a curve on the surface of the unit sphere, namely the binormal indicatrix of \(\mathcal{C}\). To remove the degrees-of-freedom that would otherwise arise by allowing that indicatrix to rotate rigidly about an axis through one of its points and the center of the unit sphere, it is convenient to arbitrarily choose and fix \(\boldsymbol{u}(0)=-\boldsymbol{u}(1)\). With this convention, the antipodal matching condition (63)1 and its consequence (79)1 become moot.
We use second-order central finite differences to approximate all four derivatives of \(\boldsymbol{u}\) and the derivative of \(\lambda \). To develop the central difference approximations that are needed to obtain discrete versions of the Euler–Lagrange equation at \(i=1\) and \(i=N-1\) and of the antipodal junction conditions (63)\(_{2\text{--}4}\), it is therefore convenient to introduce equally spaced ghost points, two before \(i=0\) and two after \(i= N\). Recognizing from (26) and (34) that the dimensionless version \(\boldsymbol{u}\) of the unit binormal \(\boldsymbol{b}\) determines an open curve on the surface of the unit sphere, we see that \(\boldsymbol{u}\) has an antipodal extension \(\boldsymbol{u}^{e}\) of the form
With reference to (80), the values of \(\boldsymbol{u}_{i}\) at the ghost points are related to corresponding interior values through
For the interior points \(i=1,\dots ,N-1\), the resulting discrete approximations \(D_{h}\boldsymbol{u}_{i}\), \(D^{2}_{h}\boldsymbol{u}_{i}\), \(D^{4}_{h}\boldsymbol{u}_{i}\), and \(D_{h}\lambda _{i}\) of \(\boldsymbol{u}^{\prime}\), \(\boldsymbol{u}^{\prime \prime}\), \(\boldsymbol{u}^{\prime \prime \prime \prime}\), and \(\lambda ^{\prime}\) read
Also, as consequences of (79)1 and (81), we see that
from which we conclude that the discrete approximations of the antipodal conditions (63)\(_{2\text{--}4}\) hold trivially and are of no subsequent consequence.
The discrete approximations of \(\boldsymbol{u}\) and \(\boldsymbol{u}'\) can be combined with the trapezoidal rule to approximate the integral term in (59) to yield a discretized version of the parameterization \(\boldsymbol{d}\) of the midline \(\mathcal{C}\) of a Möbius band ℬ, namely
with \(\boldsymbol{d}_{0}=\boldsymbol{d}(0)=\boldsymbol{d}(\ell )\), where the minus and plus signs in (84) correspond to the midlines of the left- and right-handed enatiomeric Möbius bands, as obtained by substituting \(p=-\ell /\nu \) and \(p= \ell /\nu \) from (4) in (59), respectively. Accordingly, the discretized version of the ruled parametrization \(\hat{\boldsymbol{y}}\) in (60) is given by
where \(\boldsymbol{d}_{i}\) is defined in (84). In view of (84) and introducing the discrete approximation
of the unit tangent \(\dot{\boldsymbol{d}}\) to the midline \(\mathcal{C}\) of a Möbius band ℬ, the discrete approximation of the writhe \(\mathsf{w}\) defined in (40) is given by
Also, in view of (82)2 and (83)2, the discrete approximation of the dimensionless bending energy \(F\) defined in (58) reads
Finally, the discrete conditions arising from our finite-difference discretizations of the Euler–Lagrange equation (71), the pointwise constraints (61), and the global constraint (62) are:
-
Euler–Lagrange equation (71):
$$ D^{4}_{h}\boldsymbol{u}_{i}+\lambda _{i}D^{2}_{h}\boldsymbol{u}_{i} +D_{h} \lambda _{i}D_{h}\boldsymbol{u}_{i} +\boldsymbol{\gamma }\times D_{h} \boldsymbol{u}_{i}=\rho _{i}\boldsymbol{u}_{i}, \quad i=1,\dots ,N-1. $$(89) -
Pointwise constraint (61)1:
$$ \boldsymbol{u}_{i}\cdot \boldsymbol{u}_{i}=1, \quad i=1,\dots ,N-1. $$(90) -
Pointwise constraint (61)2:
$$ \left . \begin{aligned} \boldsymbol{u}_{1}\cdot \boldsymbol{u}_{N-1}&=8\pi ^{2}\nu ^{2}h^{2}-1, \\ \boldsymbol{u}_{i-1}\cdot \boldsymbol{u}_{i+1}&=1-8\pi ^{2}\nu ^{2}h^{2}, \quad i=1,\dots ,N-1. \end{aligned} \right \} $$(91) -
Global constraint (62):Footnote 7
$$ \sum _{i=0}^{N-1}\boldsymbol{u}_{i}\times \boldsymbol{u}_{i+1}=\mathbf{0. }$$(92)
The system comprised by (89)–(92) consists of \(5N-1\) scalar equations for the same number of scalar unknowns \(\boldsymbol{u}_{1},\dots ,\boldsymbol{u}_{N-1}\), \(\lambda _{1},\dots ,\lambda _{N}\), \(\rho _{1},\dots ,\rho _{N-1}\), and \(\boldsymbol{\gamma }\). Granted knowledge of these quantities, \(\lambda _{0}\) is determined from (79)2. Also, in view of (76), the provision that \(\boldsymbol{u}_{0}\) is given, and (83)1,2, \(\rho _{0}=\rho _{N}\) is determined by
4.2 Second Variation and Projected Hessian
For the previously described discretization, the second variation (74) of the dimensionless augmented Lagragrian \(L\) is approximated by the quadratic form,
in the admissible variations \(\boldsymbol{v}_{i}\), \(i=0,\dots ,N\). The sum (94) can be recast in matrix form V⊤HV, where V is the \((3N-3)\times 1\) column matrix assembled from the admissible variations \(\boldsymbol{v}_{i}\), \(i=1,\dots ,N-1\), and H is the \((3N-3)\times (3N-3)\) Hessian matrix of the system (89)–(92) for determining \(\boldsymbol{u}_{1},\dots ,\boldsymbol{u}_{N-1}\), \(\lambda _{1},\dots ,\lambda _{N}\), \(\rho _{1},\dots ,\rho _{N-1}\), and \(\boldsymbol{\gamma }\). We apply the method of Nocedal and Overton [9] to derive a constraint gradient matrix A and the associated projected Hessian \(\hat{\boldsymbol{\mathsf{H}}}\). A constraint gradient matrix A of dimension \((2N+2)\times (3N-3)\) can be obtained by differentiating the \(2N+2\) scalar constraints comprised by the \(N-1\) scalar constraints in (90), the \(N\) constraints in (91), and the three scalar constraints in (92) with respect to \(3N-3\) unknowns \(\boldsymbol{u}_{i}\), \(i=1,\dots ,N-1\). Because the \(3N-3\) scalar unknowns \(\boldsymbol{u}_{i}\), \(i=1,\dots ,N-1\), must satisfy \(2N+2\) constraints, there are a total of \((3N-3)-(2N+2)=N-4\) independent scalar unknowns. The matrix Z of dimension \((3N-3)\times (N-4)\), which can be derived from the QR factorization of A, consists of orthonormal columns that span the null space of the transpose A⊤ of A. The \((N-4)\times (N-4)\) projected Hessian \(\hat{\boldsymbol{\mathsf{H}}}\) matrix is then given by \(\hat{\boldsymbol{\mathsf{H}}}=\boldsymbol{\mathsf{Z}}^{ \top }\boldsymbol{\mathsf{H}} \boldsymbol{\mathsf{Z}}\). If each eigenvalue of \(\hat{\boldsymbol{\mathsf{H}}}\) evaluated at an equilibrium solution is positive, then that equilibrium solution is stable. If, otherwise, one or more eigenvalues of \(\hat{\boldsymbol{\mathsf{H}}}\) is negative or zero, then that equilibrium solution corresponds to a saddle point.
5 Numerical Results
Using the Levenberg–Marquardt Algorithm from the fsolve package of MATLAB to solve the system (89)–(92) of \(5N-1\) nonlinear equations, we found that the choice \(N=150\) was sufficient to accurately resolve each solution obtained to a tolerance of \(10^{-8}\). To assess the stability of each numerical solution to the equilibrium conditions, we used the eig package of MATLAB to compute the \(N-4\) eigenvalues of the projected Hessian \(\hat{\boldsymbol{\mathsf{H}}}\) derived from the quadratic form (94).
Given a vector \(\boldsymbol{\omega }\) and the corresponding rotation \(\boldsymbol{Q}=\exp (\boldsymbol{\omega }\times )\), it is evident that the Lagrangian \(L\) defined in (65) is invariant under transformations of the form \(\{\boldsymbol{u},\boldsymbol{\gamma }\}\mapsto \{\boldsymbol{Q} \boldsymbol{u},\boldsymbol{Q}\boldsymbol{\gamma }\}\).Footnote 8 Consistent with this observation, we found that \(\hat{\boldsymbol{\mathsf{H}}}\) has three degenerate eigenvalues due to the rigid mode corresponding to the additional degree-of-freedom \(\boldsymbol{\omega }\) that are not germane to the stability of our solutions. We therefore assessed stability by determining the sign of the smallest nonvanishing eigenvalue of \(\hat{\boldsymbol{\mathsf{H}}}\). Although stable and saddle solutions were found, we focus subsequently on stable solutions.
We first tried to solve (89)–(92) for the conservative choice \(\nu =10^{-2}\). After failing in that effort, we systematically increased \(\nu \) by increments of \(10^{-2}\) until finding a first stable solution at \(\nu =1.29\). The existence of a threshold below which no stable solution exists is consistent with the intuitive expectation that it should not be possible to connect the ends of a helicoidal reference configuration ℋ with \(\nu \) turns to form a Möbius band ℬ unless \(\nu \) is sufficiently large. It is impossible to meet the closure condition (33) for \(\nu <1.29\), as illustrated in Fig. 4.
Further increasing \(\nu \) by increments of \(10^{-2}\), we found a stable solution for \(1.30\le \nu \le 1.39\) and discovered a second threshold, at \(\nu =1.40\), at and above which we found two stable solutions. Above \(\nu =13.5\), we stopped systematically increasing \(\nu \) by increments of \(10^{-2}\) in favor of testing only select values of \(\nu \). Although only two stable solutions were found for each \(\nu >1.40\) that we considered, we cannot rule out the existence of additional thresholds beyond which more than two stable solutions exist.
Since \(\nu \), as defined by (4), is independent of the sign of the pitch \(p\) of a helicoidal reference configuration ℋ, any solution corresponding to a given value of \(\nu \) can be used to construct an enantiomorphic pair of Möbius bands, each with the same number \(n\) of half twists. From this juncture onward, without loss of generality, we use the version of (84) with a plus sign in junction with (85) to construct and graph only the right-handed stable Möbius band ℬ determined by each stable solution obtained for \(1.29\le \nu \le 13.5\). Inspecting the graphs visually, we found that each stable Möbius band is an unknot.Footnote 9 After computing the discrete approximation (87) of the writhe \(\mathsf{w}\) of the midline \(\mathcal{C}\) of each stable Möbius band ℬ, we evaluated (39) to compute the number \(n\) of half twists in each such ℬ. In so doing, we found that \(n\) increases stepwise in accord with \(n=2j+1\), \(j=1,\dots ,13\), as \(\nu \) increases from \(\nu =1.29\) to \(\nu =13.5\). In so doing, we also confirmed the accuracy of (39)–(40), using (87) to approximate \(\mathsf{w}\), by visual inspection of the graphs. We consistently found that one of the two stable Möbius bands determined for each \(\nu \ge 1.40\) has an additional full twist and larger dimensionless bending energy than the other.
The lower envelope of the dimensionless bending energy \(F\) determined by evaluating (88) at each stable solution obtained for \(1.29\le \nu \le 13.5\) is shown in Fig. 5. The values of \(\nu \) corresponding to the peaks and valleys of that envelope are especially significant. Machine precision estimates of those values, obtained by the interval halving method, are listed in Tables 1 and 2. For convenience, we denote the values of \(\nu \) and \(F\) at the \(j\)-th valley by \(\nu _{j}\) and \(F_{j}\), \(j=1,\dots ,13\). Similarly, we denote the values of \(\nu \) and \(F\) at the \(j\)-th peak by \(\bar{\nu }_{j}\) and \(\bar{F}_{j}\), \(j=1,\dots ,12\).
With reference to Fig. 5, we observe that:
-
Each stable solution obtained for \(\nu _{1}\le \nu \le \bar{\nu }_{1}\) determines a stable Möbius band ℬ with \(n=3\) half twists.
-
For \(j=1,\dots ,11\), each stable solution obtained for \(\bar{\nu }_{j}<\nu <\bar{\nu }_{j+1}\) determines a stable Möbius band ℬ with \(n=2j+3\) half twists.
-
For \(\bar{\nu }_{12}<\nu \le 13.5\), each stable solution determines a stable Möbius band ℬ with \(n=27\) half twists.
Letting \(\mathcal{B}_{j}\) denote the stable Möbius band with \(n=2j+1\) half twists determined by any stable solution obtained for \(\nu _{j}\), \(j=1,\dots ,13\), we also notice from Fig. 5 that:
-
For \(j=1,\dots ,13\), \(\mathcal{B}_{j}\) has lower dimensionless bending energy than every other stable Möbius band ℬ with \(n=2j+1\) half twists and is, thus, energetically optimal.
-
For \(j=1,\dots ,13\), the dimensionless bending energy \(F_{j}\) of \(\mathcal{B}_{j}\) decreases monotonically as \(j\) increases from \(j=1\) to \(j=13\).Footnote 10
In connection with the last of the above points, we see from a plot of \(F_{j}\) versus \(\nu _{j}\) shown in Fig. 6 that, for \(j=1,\dots ,13\), \(F_{j}\) decays in accord with the heuristic relation
From plan and isometric views of \(\mathcal{B}_{j}\), \(j=1,\dots ,12\), provided in Figs. 7 and 8, we gain the impression that the energetically optimal Möbius band \(\mathcal{B}_{j}\) with \(n=2j+1\) half twists exhibits \((2j+1)\)-fold rotational symmetry. This impression is confirmed by plots presented in Fig. 9, from which it is evident that the discrete approximation (86) of the unit tangent \(\dot{\boldsymbol{d}}\) to the midline \(\mathcal{C}_{j}\) of each \(\mathcal{B}_{j}\) with \(n=2j+1\) half twists that is depicted in Figs. 7 and 8 is periodic with period \(1/n\). For \(j=1,\dots ,13\), all stable Möbius bands with \(n=2j+1\) half twists except the energetically optimal Möbius band \(\mathcal{B}_{j}\) exhibit broken symmetry. This finding is illustrated in Fig. 10, where we graph the energetically optimal Möbius band \(\mathcal{B}_{2}\) with \(n=5\) half twists and two stable Möbius bands with the same number of half twists, and equal dimensionless bending energy \(F=50.0>F_{2}=40.3\), obtained for \(\nu =2.26\) and \(\nu =2.45\).
The machine precision estimates of \(\nu _{j}\), \(j=1,\dots ,13\), listed in Table 2 were obtained by solving (89)–(92) for \(\nu =1.29+10^{-2}m\), \(m=0,1,\dots ,1221\), extracting lower precision estimates of \(\nu _{j}\) from a rough version the lower envelope shown in Fig. 5, and, finally, applying the interval-halving method to obtain refined estimates. We next develop a heuristic relation between \(\nu _{j}\) and \(j\) which allows us to avoid this computationally costly procedure. For an energetically optimal Möbius band \(\mathcal{B}_{j}\) with \(n=2j+1\) half twists, we see from (39) that \(\nu _{j}\) is given by
where \(\mathsf{w}_{j}\) is the writhe of the midline \(\mathcal{C}_{j}\) of \(\mathcal{B}_{j}\). To obtain a provisional relation between \(\mathsf{w}_{j}\) and \(j\), we use (87) to compute \(\mathsf{w}_{j}\) for \(j=1,\dots ,13\). From the plot provided in Fig. 11, we infer that \(\mathsf{w}_{j}\) is closely approximated by the heuristic relation
From Table 3, we see that, for \(j=1,\dots ,13\), the values of \(\nu ^{*}_{j}\) determined by
differ from the machine precision values of \(\nu _{j}\) in Table 2 by at most 0.091%.
To test whether (98) can be used to provide an accurate initial guess for values of \(\nu _{j}\) with \(j>13\), we solved (89)–(92) in an interval about \(\nu =\nu ^{*}_{j}\) for \(j=10q\), \(q=2,3,\dots ,10\), and used interval halving to obtain machine precision estimates of \(\nu _{j}\). From Table 4, we see that, for the choices of \(j\) considered, the values of \(\nu ^{*}_{j}\) and the refined values of \(\nu _{j}\) differ by at most 0.067%. Consistent with our results for \(\nu _{j}\), \(j=1,\dots ,13\), we found that the energetically optimal Möbius band \(\mathcal{B}_{j}\) determined by each value of \(\nu _{j}\) in Table 4 has \(n=2j+1\) half twists and has \((2j+1)\)-fold rotational symmetry. This finding is illustrated in Figs. 12 and 13, where we present plan and isometric views of \(\mathcal{B}_{j}\) for \(j=20\), \(j=60\), and \(j=100\), and in Fig. 14, where we plot the corresponding tangent indicatrices. From plots shown in Fig. 15 of the empirical relation (95) for the dimensionless bending energy \(F_{j}\) and the numerically values of \(F_{j}\) obtained for each considered choice of \(j\), we see that (95) remains accurate up to \(j=100\). This boosts our confidence in the heuristic foundation of the expression (98) for the approximation \(\nu ^{*}_{j}\) of \(\nu _{j}\).
We found that the midline \(\mathcal{C}_{j}\) of an energetically optimal Möbius band \(\mathcal{B}_{j}\) with \(n=2j+1\) half twists becomes increasingly planar as \(j\) increases. This phenomenon is illustrated in Fig. 16, which contains plots the deviation \(\triangle _{j}\) of \(\mathcal{C}_{j}\) from its plane of symmetry and graphs of those midlines for \(j=1,2,3,9\), and \(j=100\), and in Fig. 17, where plot of the natural logarithm of the maximum value \(\triangle ^{\text{max}}_{j}\) of \(\triangle _{j}\) versus the natural logarithm \(2j+1\) for \(j=1,2,\dots ,13\), and \(j=10q\), \(q=2,3,\dots ,10\). From Fig. 16, it is evident that \(\triangle _{j}\) has period \(1/n\) and its amplitude decreases with \(n\). From Fig. 17, we see that \(\triangle ^{\text{max}}_{j}\) obeys a scaling relation of the form
Thus, \(\triangle _{j}\to 0\) as \(j\to \infty \). The midline \(\mathcal{C}_{j}\) of \(\mathcal{B}_{j}\) with \(n=2j+1\) half twists undulates \(2n\) times about its plane of symmetry. If the length \(\ell \) of \(\mathcal{C}_{j}\) is fixed, then the amplitude of the undulation must decrease as \(j\) increases. That \(\mathcal{C}_{j}\) becomes increasingly planar as \(j\) increases is therefore consistent with intuition. However, with reference to (23), the midline \(\mathcal{C}_{j}\) of \(\mathcal{B}_{j}\) cannot be planar since it must have uniform torsion
Using (98) in (100), we see that
and, thus, that \(\tau _{j}\) increases monotonically with the number \(2j+1\) of turns in \(\mathcal{B}_{j}\).
A solution to (89)–(92) obtained for a choice of \(\nu \ge 1.29\) can be used to construct enantiomeric Möbius bands corresponding to enantiomeric helicoidal reference configurations of axial length \(\ell \) with \(\nu \ge 1.29\) turns. While the right-handed Möbius band is determined by (85) after using the solution obtained for the given choice of \(\nu \) to construct \(\boldsymbol{d}_{i}\), \(i=1,\dots ,N\), by choosing the plus sign in (84), its left-handed enantiomer is determined in the same way except that the minus sign is chosen in (84). It is evident from (88) that the enantiomeric Möbius bands determined for a given choice of \(\nu \ge 1.29\) have identical dimensionless bending energy. Our results concerning energy minima, therefore, apply equally well to left-handed Möbius bands. Graphs of the left-handed counterparts of the energetically optimal Möbius bands presented in this section are provided in our Supplemental Material. Whereas the right-handed Möbius band determined for each \(\nu \) arises from isometrically deforming a right-handed helicoidal reference configuration with axis of length \(\ell \) and positive pitch \(p=\ell /\nu \), the left-handed enantiomer of that Möbius band arises from isometrically deforming a left-handed helicoidal reference configuration with axis of length \(\ell \) and negative pitch \(p=-\ell /\nu \).
6 Summary and Discussion
We derived the exact provisions under which a (circular) helicoidal reference configuration ℋ of given pitch \(p\ne 0\), axial length \(\ell \), and radius \(a\) can be isometrically deformed into a ruled Möbius band ℬ with the same chirality as ℋ. Leveraging those provisions, we found that the rulings of any such ℬ must align with the unit binormal \(\boldsymbol{b}\) of the midline \(\mathcal{C}\) of ℬ and, moreover, that \(\mathcal{C}\) must be a geodesic of ℬ and must have uniform torsion \(\tau =2\pi /p\). On this basis, we obtained a general representation for ℬ in terms of \(\boldsymbol{b}\), with parametric dependence on \(p\) and \(\ell \). Granted that the energy, per unit area, stored in bending ℋ to ℬ is of the form \(2\mu H^{2}\), with \(H\) being the mean curvature of ℬ, we discovered that the total bending energy \(E\) reduces, without approximation and in closed form, and valid independent of the width of ℬ, to an integral over \(\mathcal{C}\), with integrand proportional to the square of the normal curvature \(k\) of \(\mathcal{C}\). We then formulated a variational problem for determining \(\boldsymbol{b}\) subject to constraints needed to ensure that the deformation \(\boldsymbol{\eta }\) from ℋ to ℬ is isometric and that the ends of ℋ join smoothly to form ℬ. We found that the dimensionless version of our variational problem involves only one input parameter: \(\nu =\ell /|p|\), which measures the number of times ℋ turns around its axis. Deriving the first and second variation conditions for our dimensionless variational problem, we developed a numerical method for satisfying those conditions. Using that method, we constructed solutions corresponding to local minima of the dimensionless bending energy \(F\). We solved that problem exhaustively for values of \(\nu \) up to 13.5 and then selectively for values of \(\nu \) up to slightly above 100. Over the considered range of \(\nu \), we found that any ℬ determined by such a local minimum of \(F\) is unknotted and has an odd number \(n\) of half twists between \(n=3\) and \(n=201\). For \(n=2j+1\), \(j=1,\dots ,13\), we found that there is a choice \(\nu _{j}\) of \(\nu \) such that the corresponding Möbius band \(\mathcal{B}_{j}\) exhibits \(n\)-fold rotational symmetry and has lower dimensionless bending energy than any other stable Möbius band ℬ with the same number of half twists. For select values of \(j\) between \(j=14\) and \(j=100\), we found that a heuristic approximation \(\nu ^{*}_{j}\) of \(\nu _{j}\) obtained by post-processing our numerical results for \(j=1,\dots ,13\) can be used reliably to compute a solution that determines an energetically optimal Möbius band \(\mathcal{B}_{j}\) with \(n=2j+1\) half twists and \(n\)-fold rotational symmetry. We therefore infer that a helicoid ℋ cannot be isometrically deformed into a ruled Möbius band ℬ with \(n\) half twists and \(n\) fold rotational symmetry unless it has the specific number \(\nu \) of turns needed to ensure that ℬ is energetically optimal. These energetically optimal Möbius bands emerge naturally by minimizing \(F\) without imposing symmetry requirements of any kind.
The absence of a solution to our variational problem for \(\nu <1.29\) is analogous to a discovery of Schönke and Fried [11], who found that a chain made from \(N\ge 7\) identical twisted links connected by hinges cannot be closed into a linkage with the topology of a Möbius band unless the twist angle exceeds a certain critical threshold that depends on \(N\). Each linkage consisting of \(N\ge 7\) critically twisted links of length \(\ell /N\) can be thought of as a discrete approximation of the Möbius band we obtain for \(\nu =\nu _{1}=1.29\). Moreover, the relaxed configuration of the open chain that forms any such linkage is a discrete approximation of a helicoid. Passing to the limit \(N\to \infty \) with \(\ell \) fixed, Schönke and Fried [11] found that the sequence of critically twisted linkages converges to a Möbius band with \(n=3\) half twists and 3-fold rotational symmetry. That limit surface is a binormal scroll and its midline is a geodesic which has uniform torsion equal to the value \(\tau _{1}=2\pi \nu _{1}/\ell \) of the torsion of the midline of the Möbius band \(\mathcal{B}_{1}\) with \(n=3\) half twists obtained in the present work. Thus, that limit surface is identical to \(\mathcal{B}_{1}\).
For \(1.29\le \nu \le 13.5\), we discovered two branches of solutions that minimize \(F\). The lower envelope of \(F\) versus \(\nu \), shown in Fig. 5, was constructed from those branches. Although we did not encounter evidence of more than two solution branches for \(1.29\le \nu \le 1.01\times 10^{2}\), we cannot dismiss their possible existence. We speculate, however, that for any additional solution that might exist for a choice of \(\nu \) considered in the present work would have dimensionless bending energy greater than the corresponding values of \(F\) on the branches of solutions discussed here.
For certain values of \(\nu \), we obtained solutions that yield knotted Möbius bands. However, each such solution was found to be a saddle point of the dimensionless bending energy \(F\). Langer and Singer [12] conjectured that a knotted elastica cannot be in equilibrium unless it has points of self-contact. Since the integrand of the dimensionless bending energy \(F\) is proportional to the square of the normal curvature \(k\) of the midline \(\mathcal{C}\) of ℬ and since each knotted ℬ we encountered was observed to be free of self-contact, our findings concerning the stability of knotted Möbius bands appear to support this conjecture.
We also obtained saddle solutions that yield unknotted Möbius bands which might serve to model transition states in biological processes. Louie and Somorjai [13] observed that \(\beta \)-barrel proteins with antiparallel strands constructed from \(\alpha\)-helical proteins, which resemble the midlines of the Möbius bands corresponding to our unknotted saddle solutions, are intermediate states in this protein folding transformation. Stępień et al. [14] observed that porphyrins, which exhibit configurations that are also similar to the Möbius bands corresponding to our unknotted saddle solutions, might be stabilized by electronic interactions. Wallin et al. [15] found that attractive non-native interactions are vital for forming knotted proteins. Liu et al. [16] discovered that knotted DNA rings transform into circular rings in solutions of sufficiently low ion concentrations, indicating that ionic interactions might stabilize knots. Based on these studies and our findings, we suspect that bending energy is insufficient to stabilize the saddle solutions and that this deficiency might be rectified by including energetic contributions that account for electrostatic and short-range weak interactions.
A unit binormal \(\boldsymbol{b}\) determined by solving our variational problem can be used to construct a Möbius band ℬ of width equal to twice the radius \(a\) of its helicoidal precursor ℋ. However, ℬ will intersect itself if \(a\) is too large. It would be cumbersome to use our numerical method to determine the supremum of \(a\) below which a helicoidal reference configuration ℋ with \(\nu \) turns can be deformed isometrically into a Möbius band ℬ which does not intersect itself. A more effective approach to the challenge might rest on augmenting our framework to include a constraint that forbids the interpenetration of matter.
Our framework provides a foundation for exploring analogous deformations of other reference shapes, including hyperbolic hyperboloids of one sheet, which, as Lasters et al. [17] observe, resemble protein \(\beta \)-barrels. Any ruled surface can sustain an isometric deformation if the rulings are rigid material line elements. Classifying the stable deformed configurations of all such reference shapes might facilitate studies of molecular synthesis and protein folding, helping to eliminate backbone strain of the kind discussed by Dou et al. [18]. Our findings might provide guidelines for designing novel deployable structures such as those described by Schönke and Fried [11, Figs. 7–8]. Since reported configurations allow elastic bending, they can further be used in compliant mechanisms. Modularly using connected Möbius bands in lattices could lead to bi- or multi-stable systems. The analogy between bendable Möbius bands and linkages with torsional spring hinges poses various vital questions regarding the constructability and stability of the resulting mechanisms.
Wang et al. [19] devised a strategy for synthesizing Möbius molecules that can switch between distinct topologies. Our framework could provide guidelines for making uniformly twisted, adjustable, and topologically switchable molecules. For the value \(\bar{\nu}_{j}\), \(j=1,2,\dots ,12\), of \(\nu \) corresponding to each peak of the lower envelope shown in Fig. 5, two co-existing equilibrated Möbius bands have identical dimensionless bending energy \(F=\bar{F}_{j}\) but different numbers, \(n=2j+1\) and \(n=2j+3\), of half twists. Since those Möbius bands can both be constructed from a reference helicoid with \(\nu =\bar{\nu _{j}}\) turns, machine precision values of which are given in Table 1, a topological switch between them is feasible, entirely without stretching. An example of such a switch is illustrated, for the case \(j=1\) involving Möbius bands with \(n=3\) and \(n=5\) half twists, in Fig. 18. Converting one of these Möbius bands into the other would necessarily require the ability to (i) cut a Möbius band along one of its rulings, (ii) increase or reduce the number of twists of an open ribbon by one full twist while ensuring that chirality is preserved, and (iii) reconnect the ends of the open ribbon obtained after altering its number of twists. Each stable Möbius band obtained in this work is a static equilibrium configuration corresponding to a local minimizer of the underlying bending energy. A dynamical theory that could describe the folding pathway traversed when bending a reference helicoid into a Möbius band or the switching pathways between two coexisting Möbius bands with distinct numbers of half twists might be a worthwhile direction for future research.
Synthesizing a Möbius molecule with a chosen chirality is known to be challenging. Batch processes designed to produce chiral molecules often yield mixtures in which right- and left-handed molecules are present. Han et al. [20] synthesized Möbius molecules by folding and cutting DNA and observed nearly 1:1.4 distribution of left and right-handed Möbius molecules. In an effort to produce self-assembled molecules of a chosen chirality, Geng et al. [21] used chiral block copolymers as reference molecules. Their process predominantly yielded Möbius bands with left-handed chirality. By bending and cyclizing twisted fibers resembling circular helicoids, Ouyang et al. [22] found that right- and left-handed fibers exclusively yielded right- and left-handed Möbius molecules, respectively. Ouyang et al. [22] also acknowledged the challenges entailed in fabricating twisted fibers that yield self-assembled Möbius bands with targeted numbers of half twists. Our chirality preserving isometric deformations might provide a basis for developing alternative strategies for synthesizing Möbius molecules with desired chirality. Moreover, our numerical results might help design reference molecules that could be self-assembled into Möbius molecules with programmed numbers of half twists.
Naturally occurring and synthetic Möbius bands that resemble the energetically optimal Möbius bands obtained here have many potential applications. Rosengren et al. [23] demonstrated that Möbius cyclotides are very resistant to proteolysis, which makes them excellent templates for drug design applications, as revealed by Craik et al. [24], and insecticidal agents, as shown by Jennings et al. [25]. Irobalieva et al. [26] showed that supercoiled DNA plasmids adopt diverse three-dimensional conformations ranging from circular to lemniscular. These configurations are crucial for DNA functionalities and are similar to our energetically optimal Möbius bands shown in Fig. 7. In a review of the structural design and self-assembly of DNA origami, Hong et al. [27] highlighted the utility of synthetic DNA plasmids, resembling our Möbius bands, in applications such as in electronics, elaborated by Maune et al. [28] and in drug delivery, as discussed by Zhang et al. [29]. We anticipate our work will provide new pathways for constructing synthetic molecules, thereby hastening advances in the above applications. In particular, our heuristic relation between the number \(n=2j+1\) of half twists in an energetically optimal Möbius band \(\mathcal{B}_{j}\) and the number \(\nu _{j}\) of turns of its helicoidal precursor ℋ establishes a guideline for selecting a reference helicoid that can be used to synthesize a stable Möbius band with \(n\)-fold rotational symmetry.
Change history
24 March 2023
The original online version of this article was revised: Supplementary figures were missing from this article and have now been uploaded.
Notes
Such a surface is called a binormal scroll.
According to Adams et al. [5], Fenchel’s [4] definitions of the Frenet frame and curvature allow the curvature to be negative or to vanish and are meaningful as long as the arclength derivatives of the unit tangent and unit the binormal do not vanish simultaneously. (For the conventional definitions of those objects, the curvature of \(\mathcal{C}\) is equal to \(|k|\) and it follows from (20) and (24) that the angle between the Frenet and Darboux frames may be chosen equal to either 0 or \(\pi \).) We allow the normal curvature \(k\) to vanish at isolated points of \(\mathcal{C}\). The vector curvature \(\ddot{\boldsymbol{d}}\) defined in (20) will therefore vanish at any point of \(\mathcal{C}\) at which \(k\) vanishes. Regardless, we see from (12)5 and (25) that \(\dot{\boldsymbol{b}}\) never vanishes. Fenchel’s [4] definitions of the Frenet frame and curvature therefore apply in the present context.
The writhe \(\mathsf{w}\) connotes the extent to which a curve is coiled. While the torsion \(\tau\) and the writhe \(\mathsf{w}\) of a curve can be altered without changing the topology of the curve, their sum, as proven by Călugăreanu [7], remains preserved if the topology of the curve is constrained to be invariant.
See Kleitman [8] for a definition of the crossing number \(\mathsf{c}\) of a knot.
Here, \(\boldsymbol{\omega }\times \) is the unique skew tensor with axial vector \(\boldsymbol{\omega }\); see Bauchau and Trainelli [10] for further detail.
In contrast, we found that Möbius bands determined by saddle solutions can be unknotted or knotted.
There is a 17.9% difference between \(F_{1}\) and \(F_{13}\).
References
Daigle, M., Miao, D., Lucotti, A., Tommasini, M., Morin, J.F.: Helically coiled graphene nanoribbons. Angew. Chem., Int. Ed. Engl. 56(22), 6213–6217 (2017)
Su, F., Zhang, S., Chen, Z., Zhang, Z., Li, Z., Lu, S., Zhang, M., Fang, F., Kang, S., Guo, C., Su, C., Yu, X., Wang, H., Li, X.: Precise synthesis of concentric ring, helicoid, and ladder metallo-polymers with chevron-shaped monomers. J. Am. Chem. Soc. 144, 16559–16571 (2022)
Salemme, F.R.: Structural properties of protein \(\beta \)-sheets. Prog. Biophys. Mol. Biol. 42, 95–133 (1983)
Fenchel, W.: On the differential geometry of closed space curves. Bull. Am. Math. Soc. 57, 44–54 (1951)
Adams, C., Collins, D., Hawkins, K., Sia, C., Silversmith, R., Tshishiku, B.: Duality properties of indicatrices of knots. Geom. Dedic. 159, 185–206 (2012)
Koenigs, G.: Sur la forme des courbes à torsion constante. Ann. Fac. Sci. Univ. Toulouse Sci. Math. Sci. Phys. 1, E1–E8 (1887)
Călugăreanu, G.: Sur les classes d’isotopie des noeuds tridimensionnels et leurs invariants. Czechoslov. Math. J. 11(4), 588–625 (1961)
Kleitman, D.J.: The crossing number of \(K_{5,n}\). J. Comb. Theory 9(4), 315–323 (1970)
Nocedal, J., Overton, M.L.: Projected Hessian updating algorithms for nonlinearly constrained optimization. SIAM J. Numer. Anal. 22(5), 821–850 (1985)
Bauchau, O.A., Trainelli, L.: The vectorial parameterization of rotation. Nonlinear Dyn. 32(1), 71–92 (2003)
Schönke, J., Fried, E.: Single degree of freedom everting ring linkages with nonorientable topology. Proc. Natl. Acad. Sci. USA 116(1), 90–95 (2019)
Langer, J., Singer, D.A.: Knotted elastic curves in 3. J. Lond. Math. Soc. 2(3), 512–520 (1984)
Louie, A., Somorjai, R.: Differential geometry of proteins: a structural and dynamical representation of patterns. J. Theor. Biol. 98(2), 189–209 (1982)
Stępień, M., Sprutta, N., Latos-Grażyński, L.: Figure eights, Möbius bands, and more: conformation and aromaticity of porphyrinoids. Angew. Chem., Int. Ed. Engl. 50(19), 4288–4340 (2011)
Wallin, S., Zeldovich, K.B., Shakhnovich, E.I.: The folding mechanics of a knotted protein. J. Mol. Biol. 368(3), 884–893 (2007)
Liu, L.F., Depew, R.E., Wang, J.C.: Knotted single-stranded DNA rings: a novel topological isomer of circular single-stranded DNA formed by treatment with escherichia coli \(\omega \) protein. J. Mol. Biol. 106(2), 439–452 (1976)
Lasters, I., Wodak, S.J., Alard, P., Van Cutsem, E.: Structural principles of parallel beta-barrels in proteins. Proc. Natl. Acad. Sci. USA 85(10), 3338–3342 (1988)
Dou, J., Vorobieva, A.A., Sheffler, W., Doyle, L.A., Park, H., Bick, M.J., Mao, B., Foight, G.W., Lee, M.Y., Gagnon, L.A., Carter, L., Banumathi, S., Ovchinnikov, S., Marcos, E., Huang, O.-S., Vaughan, J.C., Stoddard, B.L., Baker, D.: De novo design of a fluorescence-activating \(\beta \)-barrel. Nature 561(7724), 485–491 (2018)
Wang, E., He, Z., Zhao, E., Meng, L., Schütt, C., Lam, J.W., Sung, H.H., Williams, I.D., Huang, X., Herges, R., Tang, B.Z.: Aggregation-induced-emission-active macrocycle exhibiting analogous triply and singly twisted Moebius topologies. Chemistry 21, 11707–11711 (2015)
Han, D., Pal, S., Liu, Y., Yan, H.: Folding and cutting DNA into reconfigurable topological nanostructures. Nat. Nanotechnol. 5(10), 712–717 (2010)
Geng, Z., Xiong, B., Wang, L., Wang, K., Ren, M., Zhang, L., Zhu, J., Yang, Z.: Moebius strips of chiral block copolymers. Nat. Commun. 10(1), 1–9 (2019)
Ouyang, G., Ji, L., Jiang, Y., Würthner, F., Liu, M.: Self-assembled Möbius strips with controlled helicity. Nat. Commun. 11(1), 1–9 (2020)
Rosengren, K.J., Daly, N.L., Plan, M.R., Waine, C., Craik, D.J.: Twists, knots, and rings in proteins structural definition of the cyclotide framework. J. Biol. Chem. 278(10), 8606–8616 (2003)
Craik, D.J., Simonsen, S., Daly, N.L.: The cyclotides: novel macrocyclic peptides as scaffolds in drug design. Curr. Opin. Drug Discov. Dev. 5(2), 251–260 (2002)
Jennings, C., West, J., Waine, C., Craik, D., Anderson, M.: Biosynthesis and insecticidal properties of plant cyclotides: the cyclic knotted proteins from oldenlandia affinis. Proc. Natl. Acad. Sci. USA 98(19), 10614–10619 (2001)
Irobalieva, R.N., Fogg, J.M., Catanese, D.J., Sutthibutpong, T., Chen, M., Barker, A.K., Ludtke, S.J., Harris, S.A., Schmid, M.F., Chiu, W., Zechiedrich, L.: Structural diversity of supercoiled DNA. Nat. Commun. 6(1), 1–11 (2015)
Hong, F., Zhang, F., Liu, Y., Yan, H.: DNA origami: scaffolds for creating higher order structures. Chem. Rev. 117(20), 12584–12640 (2017)
Maune, H.T., Han, S.P., Barish, R.D., Bockrath, M., Goddard, W.A. III, Rothemund, P.W., Winfree, E.: Self-assembly of carbon nanotubes into two-dimensional geometries using DNA origami templates. Nat. Nanotechnol. 5(1), 61–66 (2010)
Zhang, Q., Jiang, Q., Li, N., Dai, L., Liu, Q., Song, L., Wang, J., Li, Y., Tian, J., Ding, B., Du, Y.: DNA origami as an in vivo drug delivery vehicle for cancer therapy. ACS Nano 8(7), 6633–6643 (2014)
Acknowledgements
The authors express their gratitude for support provided by the Okinawa Institute of Science and Technology Graduate University, funded by the Cabinet Office of the Government of Japan. They also extend their appreciation to Roger Fosdick and two anonymous referees for thoroughly reviewing the initial manuscript and offering valuable comments that enhanced the clarity and presentation of the results.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to the work reported in the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
In memory of Jerald L. Ericksen
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this article was revised: Supplementary figures were missing from this article and have now been uploaded.
Supplementary Information
Below are the links to the electronic supplementary material.
Appendix A
Appendix A
1.1 A.1 Metric Coefficients
The metric coefficients of a helicoidal reference configuration ℋ with parameterization \(\hat{\boldsymbol{x}}\) of the form (1)–(2) are given by
Similarly, we find that the metric coefficients of a Möbius band ℬ with parametrization \(\hat{\boldsymbol{y}}\) of the form (5) are given by
A smooth deformation \(\boldsymbol{\eta }\) from ℋ to ℬ is isometric if and only if the corresponding metric coefficients of ℋ and ℬ satisfy
Using (A.1) and (A.2) in (A.3), the directrix \(\boldsymbol{d}\) and generatrix \(\boldsymbol{g}\) of ℬ must satisfy
While the first of (A.4) holds only if
which respectively correspond to (12)1,4,5, the second and third of (A.4) hold only if
which respectively correspond to (12)2,3. If, conversely, (A.5) and (A.6) hold, then the matching conditions (A.4) are satisfied. Hence, as claimed in Sect. 2.2, the metric coefficients of ℋ and ℬ match if and only if \(\boldsymbol{d}\) and \(\boldsymbol{g}\) satisfy (12).
1.2 A.2 First and Second Fundamental Forms
Recalling the definition (43) of \(\jmath \), we see from (A.3) and (A.4) that the first fundamental form \(\mathsf{I}\) shared by ℋ and ℬ is given by
To calculate the second fundamental form \(\mathsf{II}\) of ℬ, we first note from the final form (30) of the parametrization \(\hat{\boldsymbol{y}}\) of ℬ, the normalization (26) of \(\boldsymbol{b}\), and the consequence \(\boldsymbol{b}\cdot \dot{\boldsymbol{b}}=0\) of differentiating (26) that
Thus, by the normalization (27) of \(\dot{\boldsymbol{b}}\),
and \(\bar{\boldsymbol{n}}\) defined by
defines a unit normal to ℬ at each point on ℬ. With reference to (18), the choice of sign in (A.10) ensures that \(\bar{\boldsymbol{n}}\) satisfies \(\bar{\boldsymbol{n}}(\cdot ,0)=\boldsymbol{n}\) on the midline \(\mathcal{C}\) of ℬ. Next, combining (A.10), the further consequences
(30), the consequence
of (18), (25), and (35)1, and the respective consequences \(\boldsymbol{b}\cdot \dot{\boldsymbol{b}}=0\) and \(\dot{\boldsymbol{b}}\cdot \ddot{\boldsymbol{b}}=0\) of differentiating (26) and (27), we find that
and, thus, conclude that \(\mathsf{II}\) is given by
The relations (A.7) and (A.14) are consistent with (42)1 and (42)2, respectively.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chaurasia, V., Fried, E. Stable Möbius Bands from Isometrically Deformed Circular Helicoids. J Elast (2023). https://doi.org/10.1007/s10659-023-10008-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10659-023-10008-x
Keywords
- Material surface
- Pure bending
- Dimensional reduction
- Lagrange multipliers
- Local minima
- Binormal scroll
- Negative Gaussian curvature
- Curve of constant torsion