Abstract
We apply the direct method of the calculus of variations to show that any nonplanar Frenet curve in \({\mathbb {R}}^{3}\) can be extended to an infinitely narrow flat ribbon having minimal bending energy. We also show that, in general, minimizers are not free of planar points, yet such points must be isolated under the mild condition that the torsion does not vanish.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Result
In 1930, motivated by the problem of finding the equilibrium shape of a free-standing Möbius band, Sadowsky [13, 18] announced without proof that the bending energy \(\int _{S} H^{2}\, dA\) of the envelope of the rectifying planes of a \(C^{3}\) unit-speed curve \(\gamma :[0, l] \rightarrow {\mathbb {R}}^{3}\) is given by
here w is the width of the ribbon, which is measured in the normal plane of \(\gamma \) and assumed to be infinitely small, while \(\kappa > 0\) and \(\tau \) are the curvature and torsion of \(\gamma \), respectively. A proof of Sadowsky’s claim was given by Wunderlich in 1962 [21, 22].
Energy (1) defines a functional on the space of \(C^{3}\) curves \(\gamma \) in \({\mathbb {R}}^{3}\), a functional that has attracted a renewed wave of interest in the last twenty years; see, e.g., [1,2,3,4, 8, 10,11,12, 15, 19]. On the other hand, given a fixed curve \(\gamma \), it is well known that if the curvature is nowhere zero, then there exist plenty of (infinitely narrow) flat ribbons along \(\gamma \). It is therefore natural to interpret Sadowsky’s energy formula, or rather a suitable generalization thereof, as a functional on the set of all such ribbons.
An important first step in this direction was taken in [16], where the author extended Sadowsky’s formula to any flat ribbon along \(\gamma \). Indeed, he showed that the bending energy, in the limit of infinitely small width, is given by
where \(\kappa _{n}\) and \(\tau _{g}\) are the normal curvature and the geodesic torsion of \(\gamma \), respectively, and where \(J = \{ t \in [0, l] \mid \kappa _{n}(t) \ne 0 \}\); see also [6, 7, 9].
In this context, a natural question arises: if \(\gamma \) is nonplanar, i.e., when the energy is bounded away from zero, does there exist an optimal flat ribbon along \(\gamma \), that is, one having minimal bending energy? The purpose of this short note is to answer such question affirmatively when \(\gamma \) is a Frenet curve.
A preliminary step in our analysis consists in transforming (2) into a proper functional. To do so, it is enough to observe that (the normals of) any two flat ribbons along the same curve are related by a rotation \(\theta :[0, l] \rightarrow {\mathbb {R}}\) about the common tangent. In particular, when the principal normal \(P = \gamma '' /\kappa \) is well-defined, the normal curvature and the geodesic torsion of \(\gamma \) with respect to the rotated normal \(P(\theta )\) can be expressed by
Substituting these relations into (2), we thus obtain the functional
where the integrand is understood to be 0 (resp, \(+\infty \)) at any point where both the numerator and denominator vanish (resp., the denominator vanishes but the numerator does not).
Our main result pertains the functional E and is contained in the following theorem.
Theorem 1.1
-
(1)
There is a minimizer \(\theta _{\min }\) of E on \(W^{1,4}([0, l])\), i.e., we have
$$\begin{aligned} E(\theta _{\min }) \le E(\theta ) \quad \text {for all }\theta \in W^{1,4}([0, l]). \end{aligned}$$ -
(2)
For any \(a, b \in {\mathbb {R}}\), there is a minimizer of E on the subset
$$\begin{aligned} \{ \theta \in W^{1,4}([0, l]) \mid \theta (0) = a \text { and } \theta (l) = b \} \end{aligned}$$of \(W^{1,4}([0, l])\).
Remark 1.2
\(W^{1,4}((0, l)) \subset C^{0}((0,l))\) by Sobolev embedding theorem, and we interpret \(\theta \in W^{1,4}([0,l])\) as the continuous extension of a function in \(W^{1,4}((0,l))\).
Remark 1.3
The theorem remains valid if one replaces \(\kappa \in C^{1}([0,l], {\mathbb {R}}_{>0})\) in (3) with any \(f \in C^{0}([0,l])\).
The proof of Theorem 1.1, which will be finalized in Sect. 4, is based on the direct method in the calculus of variation; see Sect. 5 for an alternative proof relying on \(\Gamma \)-convergence. It involves showing the coercivity and the weak sequential lower semicontinuity of E on \(W^{1,4}([0, l])\) or a suitable closed subset therein. As we explain below, each of these tasks presents some challenge.
First of all, our functional is not coercive on \(W^{1,4}([0, l])\), as it is \(2\pi \)-periodic in \(\theta \). Consider, for example, the constant function \(\theta _{n} = 2\pi n\): it defines an unbounded sequence in \(W^{1,4}([0, l])\), and yet \(E(\theta _{n}) = \int _{0}^{l}\frac{(\kappa ^{2} + \tau ^{2})^{2}}{\kappa ^{2}} \, dt\) is (constant and) finite. On the other hand, we can use this periodicity to our advantage: since \(W^{1,4}([0,l])\) embeds into the Hölder space \(C^{0, \frac{3}{4}}([0,l])\)—and hence also in \(C^0 ([0,l])\)—the fact that E is \(2\pi \)-periodic allows us to only consider functions satisfying \(\theta (0) \in [0, 2\pi ]\). In the next section we show that E is indeed coercive on the closed subset
of \(W^{1,4}([0,l])\).
As for the sequential lower semicontinuity, the main issue is that our integrand is not continuous. To deal with this problem we use an approximation argument. It turns out, as shown in Sect. 3, that the sequential lower semicontinuity of E follows straightforwardly from that of the regular functional
which for \(\varepsilon \rightarrow 0\) approximates E monotonically from below.
We emphasize that, precisely because of this discontinuity, the classical indirect method of the calculus of variations does not seem readily applicable in our case. Indeed, to use the Euler–Lagrange equation (in the standard way) one would need to assume that \(\theta _{\min }\) is free of singular points, i.e., that \(\theta _{\min }(t) \notin \pi /2+\pi \mathbb {Z}\) for all \(t \in [0,l]\). Our next result confirms that such assumption is, in general, invalid.
Theorem 1.4
Suppose that the torsion \(\tau \) is a constant function satisfying
Then the minimizer \(\theta _{\min }\) of E in \(W^{1,4}([0,l])\) has at least n singular points.
Thus, according to Theorem 1.4, one can enforce the presence of singular points. On the other hand, it turns out that the set of singular points is necessarily discrete when the torsion does not vanish.
Theorem 1.5
Let \(t_0\) be a singular point of \(\theta _{\min }\) with \(\tau (t_0) \not = 0\). Then \(t_0\) is an isolated singular point, i.e., there is an \(\varepsilon > 0\) such that the \(\varepsilon \)-neighborhood \(I_{\varepsilon } {:}{=}(t_0 - \varepsilon , t_0 + \varepsilon ) \cap [0,l]\) around \(t_0\) does not contain any other singular point.
It is somewhat surprising that both Theorems 1.4 and 1.5 can be obtained, as we do in Sect. 6, on the basis of such elementary results as the fundamental theorem of calculus, the reverse triangle inequality, and Hölder’s inequality.
2 Coercivity
Once and for all, let
The purpose of this section is to prove the following lemma.
Lemma 2.1
The functional E is coercive on the closed subset
of \(W^{1,4}([0,l])\), i.e., we have for \(\theta \in V\) that \(E(\theta ) \rightarrow \infty \) if \(\Vert \theta \Vert _{W^{1,4}} \rightarrow \infty \).
Proof
The strategy is to show that \(E \rightarrow \infty \) if \(\Vert \theta ' \Vert _{L^{4}} \rightarrow \infty \), and that \(\Vert \theta ' \Vert _{L^{4}} \rightarrow \infty \) when \(\Vert \theta \Vert _{W^{1,4}} \rightarrow \infty \).
First, note that
Since \(|\theta ' + \tau |\ge \frac{|\theta ' |}{2}\) if \(|\theta ' |\ge 2 \Vert \tau \Vert _{L^{\infty }} \le 2\Lambda \), equation (4) implies
and so if the homogeneous Sobolev norm \(\Vert \theta ' \Vert _{L^{4}}\) goes to infinity, then so does E.
Next, let \(x \ne y \in [0,l]\). Applying Hölder’s inequality, we obtain the following Morrey estimate:
Together with \(\theta (0) \in [0, l]\), this implies
from which we conclude that
as desired. \(\square \)
3 Weak Sequential Lower Semicontinuity
In this section we prove the sequential lower semicontinuity of E on \(W^{1,4}([0,l])\).
Lemma 3.1
The functional E is weakly sequentially lower semicontinuous, i.e., for any sequence of functions \(\theta _n \in W^{1,4}([0,l])\) with weak limit \(\theta \in W^{1,4}([0,l])\) we have
As already mentioned in the introduction, the plan is to consider for \(\varepsilon >0\) the regular functional
Note that, for fixed \(\theta \), the integrand is monotonically decreasing in \(\varepsilon \). Using Beppo Levi’s monotone convergence theorem, we thus get that
Now, if we knew that \(E_{\varepsilon }\) was weakly sequentially lower semicontinuous, then the following well-known lemma would imply the same for E. It simply states the the supremum of any collection of lower semicontinuous functions is again lower semicontinuous.
Lemma 3.2
Let X be a topological space, and let \(A_i :X \rightarrow [0, \infty ]\), \(i \in I\) be a family of lower semicontinuous functions. Then \(A :X \rightarrow [0, \infty ]\) defined by \(A(x) = \sup _{i \in I} A_i (x)\) is lower semicontinuous.
Proof
We need to show that the set \(A^{-1} ((a,\infty ])\) is open for all \(a \in [0, \infty )\). First, using the fact that \(A= \sup _{i \in I} A_i\), we get
Since \(A_i\) is lower semicontinuous for all \(i \in I\), we observe that \(A^{-1} ((a,\infty ])\) is the union of open sets, and so open itself. \(\square \)
It remains to show the lower semicontinuity of \(E_\varepsilon \).
Lemma 3.3
For all \(\varepsilon >0\), the functional \(E_\varepsilon \) is weakly sequentially lower semicontinuous on \(W^{1,4}([0,l])\).
As the integrand is convex in \(\theta '\), to prove Lemma 3.3 it would be enough to invoke [20, Theorem 1.6]. We nevertheless include an independent proof—which combines Sobolev embeddings with Mazur’s lemma—for the benefit of the reader.
Proof of Lemma 3.3
Let \(\theta _{n}\) converge weakly to \(\theta \) in \(W^{1,4}([0,l])\). Since \(W^{1,4}([0,l])\) embeds compactly into \(C^{0}([0,l])\) and the image of any weakly convergent sequence under a compact embedding converges strongly, we deduce that \(\theta _{n}\) and \((\kappa ^{2} \cos ^{2}\theta _{n}+\varepsilon ^{2})^{-1}\) converge uniformly to \(\theta \) and \((\kappa ^{2} \cos ^{2}\theta +\varepsilon ^{2})^{-1}\), respectively. Moreover, exchanging \(\theta _{n}\) by a suitable subsequence, we may assume that \(E_{\varepsilon }(\theta _{n})\) converges to the limit inferior of the original sequence.
We now aim to get rid of \(\theta _{n}\) in the expression of \(E_{\varepsilon }(\theta _{n})\) and only keep \(\theta '_{n}\). To this end, we first rewrite \(E_{\varepsilon }(\theta _{n})\) as
where
Since \(\cos \theta _n\) and \((\kappa ^2 \cos ^{2}\theta _n + \varepsilon ^2)^{-1}\) converge uniformly to \(\cos \theta \) and \((\kappa ^2\cos ^{2}\theta + \varepsilon ^2)^{-1}\), respectively, and
Hölder’s inequality implies that \(I_1(\theta _{n})\), \(I_2(\theta _{n})\), and \(I_3(\theta _{n})\) converge to 0 as n tends to \(\infty \); hence that \(I_4(\theta _{n})\) converges to \(\lim _{n \rightarrow \infty } E_{\varepsilon }(\theta _n)\).
To deal with the term \(I_4\) we use that the integrand is convex in \(\theta '_n\). Let \(m \in \mathbb {N}\). Mazur’s lemma [17, Theorem 3.13] tells us that there are convex combinations \(\phi _n = \sum _{i=m}^{m+n} \lambda _{n,i} \theta _i\) of \(\theta _m, \dotsc , \theta _{m+n}\) that converge strongly to \(\theta \) in \(W^{1,4}([0,l])\). Using the convexity of the integrand, we obtain
As \(I_{4}\) is continuous on \(W^{1,4}([0,l])\) and the convex combinations \(\phi _{n}\) converge to \(\theta \) strongly, this yields
Finally, taking the limit as \(m \rightarrow \infty \), we deduce that
Hence \(E_4\) is weakly sequentially lower semicontinuous on \(W^{1,4}([0,l])\). \(\square \)
4 Existence of Minimizers
We are now ready to prove our main result, Theorem 1.1 in the introduction.
Proof of Theorem 1.1
To begin with, let
where \(\lfloor \cdot \rfloor \) denotes the floor function. We are going to show that E has a minimizer on both V and its subset \(V'\), which is also closed and convex in \(W^{1,4}([0,l])\). This way, the statement will follow directly from the periodicity of E.
Let thus \(\theta _{n}\) be a minimizing sequence for E on either V or \(V'\). By Lemma 2.1, the sequence \(\theta _{n}\) is bounded in \(W^{1,4}([0,l])\), and so, according to [14, Lemma 1.13.3], we can assume after passing to a subsequence that it converges weakly to a function \(\theta _{0} \in W^{1,4}([0,l])\); in particular, since any closed and convex subset of a Banach space is weakly closed, we deduce that the limit \(\theta _{0}\) is contained in either V or \(V'\).
Now, as E is weakly sequentially lower semicontinuos by Lemma 3.3, we have
where the infimum is taken over V or \(V'\). Hence these inequalities must be equalities, and so \(\theta _{0}\) is a minimizer of E on V or \(V'\). \(\square \)
5 \(\Gamma \)-Convergence
Here we give an alternative proof of Theorem 1.1 based on the fundamental theorem of \(\Gamma \)-convergence [5, Theorem 7.8].
To begin with, note that \(E_{\varepsilon }\) is coercive on V, as \(E_{\varepsilon } > E\); having already shown that it is weakly sequentially lower semicontinuous, we have the existence of minimizers for any \(\varepsilon > 0\).
Proposition 5.1
-
(1)
There is a minimizer of \(E_{\varepsilon }\) on \(W^{1,4}([0, l])\).
-
(2)
For any \(a, b \in {\mathbb {R}}\), there is a minimizer of \(E_{\varepsilon }\) on the subset
$$\begin{aligned} W^{1,4}_{ab}([0,l]) = \{ \theta \in W^{1,4}([0, l]) \mid \theta (0) = a \text { and } \theta (l) = b \} \end{aligned}$$of \(W^{1,4}([0, l])\).
To apply the fundamental theorem, we first show that \(E_{\varepsilon } \xrightarrow {\Gamma } E\) weakly.
Proposition 5.2
The functionals \(E_{\varepsilon }\) \(\Gamma \)-converge to E on \(W^{1,4}([0,l])\) with the weak topology as \(\varepsilon \) goes to 0.
Proof
To show the \(\Gamma \)-convergence of \(E_{\varepsilon }\), we have to prove a liminf and a limsup inequality.
For the liminf inequality, suppose that \(\theta _{\varepsilon }\) converges weakly to \(\theta \) in \(W^{1,4}([0,l])\), and choose a null sequence \(\varepsilon _{n}\) such that
Clearly, as the functionals \(E_{\varepsilon _{n}}\) are weakly sequentially lower semicontinuous,
Letting m go to infinity and observing that the right-hand side converges to \(E(\theta )\), we thus obtain
as desired.
As for the limsup inequality, for \(\theta \in W^{1,4}([0,l])\) we simply take \(\theta _\varepsilon = \theta \) for all \(\varepsilon >0\) as recovery sequence. This we can do, because the monotonicity of the integrand implies
via Beppo Levi’s monotone convergence theorem. \(\square \)
Having shown that the approximating functionals \(E_{\varepsilon }\) have a minimizer and \(\Gamma \)-converge to E, the missing ingredient needed to deduce the existence of a minimizer of E is equicoercivity, which we discuss below.
Definition 5.3
A family of functionals \(F_\alpha :X \rightarrow {{\mathbb {R}}}\), \(\alpha \in I\) on a normed vector space X is said to be equicoercive if the set
is bounded for all \(t \in {\mathbb {R}}\).
Lemma 5.4
The family of functionals \(E_\varepsilon \), \(0 < \varepsilon \le 1\) is equicoercive on V.
Proof
As \(E_\varepsilon \) is pointwise nonincreasing in \(\varepsilon >0\), we have
and so
But the set on the right-hand side is bounded, as we know that \(E_1\) is coercive on \(W^{1,4}([0,l])\). \(\square \)
Applying [5, Theorem 7.8], we finally get the existence of a minimizer of E.
Theorem 5.5
The infimum of E is attained and we have
where the minima are taken over \(W^{1,4}([0,l])\) or \(W^{1,4}_{ab}([0,l])\).
To keep the exposition as self-contained as possible, we close this section by giving an independent proof of Theorem 5.5.
Proof of Theorem 5.5
From \(E_\varepsilon \le E\) we immediately get the inequality
Moreover, as \(E(0) = \int _0^l \kappa ^2 + \tau ^2 \,dt \le \Lambda ^2\,l + \Vert \tau \Vert ^2_{L^2}\) and \(E_{\varepsilon }\) is monotonically decreasing in \(\varepsilon > 0\), we have the uniform bound
To show the existence of a minimizer of E, let \(\varepsilon _n > 0\) be a null sequence, and choose minimizers \(\theta _{\varepsilon _{n}} \in V\) (resp., \(\theta _{\varepsilon _{n}} \in V'\)) of \(E_{\varepsilon _n}\). As \(E_{\varepsilon _n} (\theta _{\varepsilon _{n}}) \le \Lambda ^2\,l+ \Vert \tau \Vert _{L^2}^2\), Lemma 5.4 ensures that the sequence \(\theta _{\varepsilon _{n}}\) is bounded in \(W^{1,4}([0,l])\). Hence, exactly as in the proof of Theorem 1.1, we can assume that it converges weakly to some \(\theta _0 \in V\) (resp., \(\theta _0 \in V'\)) in \(W^{1,4}([0,l])\).
Now, applying the liminf inequality, we obtain
where the infimum and minimum are taken over V (resp., \(V'\)). Together with (5), this implies
and so this series of inequalities must hold with equality. Especially, we have
and the theorem follows by periodicity. \(\square \)
6 Number of Singular Points
Let \(t \in [0, l]\). We say that t is a singular point of \(\theta \in W^{1,4}([0,l])\) if \(\theta (t) \in \frac{\pi }{2} + \pi \mathbb {Z}\), i.e., if the denominator of our integrand vanishes. Clearly, when \(E(\theta ) <\infty \), singular points of \(\theta \) correspond to planar points of the associated flat ribbon. The purpose of this section is to show that under certain assumptions, a minimizer has “many" singular points; besides, we will see that if \(\tau (t) \ne 0\), then t is at most an isolated singular point.
We begin with a lemma. To state it, let us introduce for any compact interval \(I \subset [0, l]\) the energy
Lemma 6.1
Let a, b such that \(0 \le a <b \le l\), and suppose that the torsion \(\tau \) never vanishes in [a, b]. Then
where
and
Proof
First, an application of the fundamental theorem of calculus and the reverse triangle inequality yields
Note that, as \(\tau \) never vanishes in [0, l], it must have a sign there. Hence
Moreover, by Hölder’s inequality,
Summing up, we get
which is the desired conclusion. \(\square \)
Applying Lemma 6.1 for \(a=0\) and \(b=l\), we can now deduce that minimizers of E are generally not free of singular points. In fact, by making sure that the right-hand side of (6) is large enough, one can enforce the presence of any given number of singular points—as explained by Theorem 1.4 in the introduction (reproduced below for the reader’s convenience).
Theorem 1.4
Suppose that the torsion \(\tau \) is a constant function satisfying
Then the minimizer \(\theta _{\min }\) of E in \(W^{1,4}([0,l])\) has at least n singular points.
Proof
Let \(K = \max _{t\in [0,l]} |\kappa (t) |\). Using the linear function \(\theta _0(t) = - \int _0^t \tau (s) \,ds\) as competitor, we obtain
Now we apply Lemma 6.1 to the complete interval, i.e., for \(a=0\) and \(b=l\). Since \(A= \min _{t\in [0,l]} |\tau (t)|= |\tau |\) and \(B= \max _{t\in [0,l]} |\kappa (t) \cos (\theta (t)) |\le K\), equation (6) yields
which is larger than \(n \pi \) if \(|\tau |> n \frac{\pi }{l} + K\). \(\square \)
Although, as we just saw, singularities abound, the following generalized version of Theorem 1.5 shows that they typically form a discrete set. The proof is again based on Lemma 6.1.
Theorem 6.2
Suppose that \(E(\theta ) < \infty \), and let \(t_0\) be a singular point of \(\theta \) with \(\tau (t_0) \not = 0\). Then \(t_0\) is an isolated singular point, i.e., there is an \(\varepsilon > 0\) such that the \(\varepsilon \)-neighborhood \(I_{\varepsilon } {:}{=}(t_0 - \varepsilon , t_0 + \varepsilon ) \cap [0,l]\) around \(t_0\) does not contain any other singular point.
The simple heuristic behind the proof is that, in the neighborhood of a singular point, we must have
as otherwise the energy cannot be bounded. So when \(\tau \) does not vanish, the function \(\theta \) must be strictly monotone.
Proof of Theorem 6.2
Let \(t_0\) be a singular point of \(\theta \), and choose \(\varepsilon >0\) such that \(|\theta (t) - \theta (t_0) |\le \pi \) for all \(t\in I_\varepsilon \). Noting that, by Hölder’s inequality,
we first obtain, using that \(\cos \) is Lipschitz continuous with Lipschitz constant one,
Then, as
an application of Lemma 6.1 with \([a,b] = [t_0,t]\) gives
Finally, since
it follows that there is an \(\varepsilon >0\) such that
This shows that \(I_\varepsilon \) does not contain any other singular point, as desired. \(\square \)
Data availability
Not applicable.
References
Audoly, B., Neukirch, S.: A one-dimensional model for elastic ribbons: a little stretching makes a big difference. J. Mech. Phys. Solids 153, Paper No. 104457, 31 pp (2021)
Bartels, S.: Numerical simulation of inextensible elastic ribbons. SIAM J. Numer. Anal. 58(6), 3332–3354 (2020)
Bevilacqua, G., Lussardi, L., Marzocchi, A.: Variational analysis of inextensible elastic curves. Proc. A. 478(2260), Paper No. 20210741, 16 pp (2022)
Chubelaschwili, D., Pinkall, U.: Elastic strips. Manuscr. Math. 133(3–4), 307–326 (2010)
Dal Maso, G.: An Introduction to \(\Gamma \)-Convergence, Progress in Nonlinear Differential Equations and Their Applications, vol. 8. Birkhäuser, Boston (1993)
Dias, M.A., Audoly, B.: A non-linear rod model for folded elastic strips. J. Mech. Phys. Solids 62, 57–80 (2014)
Efrati, E.: Non-Euclidean ribbons: generalized Sadowsky functional for residually-stressed thin and narrow bodies. J. Elasticity 119(1–2), 251–261 (2015)
Freddi, L., Hornung, P., Mora, M.G., Paroni, R.: A corrected Sadowsky functional for inextensible elastic ribbons. J. Elasticity 123(2), 125–136 (2016)
Freddi, L., Hornung, P., Mora, M.G., Paroni, R.: A variational model for anisotropic and naturally twisted ribbons. SIAM J. Math. Anal. 48(6), 3883–3906 (2016)
Freddi, L., Hornung, P., Mora, M.G., Paroni, R.: Stability of boundary conditions for the Sadowsky functional. J. Nonlinear Sci. 32(5), Paper No. 72, 30 pp (2022)
Giomi, L., Mahadevan, L.: Statistical mechanics of developable ribbons, Phys. Rev. Lett. 104(23), Paper No. 238104, 4 pp (2010)
Hangan, T.: Elastic strips and differential geometry. Rend. Sem. Mat. Univ. Politec. Torino 63(2), 179–186 (2005)
Hinz, D.F., Fried, E.: Translation of Michael Sadowsky’s paper “An elementary proof for the existence of a developable Möbius band and the attribution of the geometric problem to a variational problem’’. J. Elasticity 119(1–2), 3–6 (2015)
Megginson, R.E.: An Introduction to Banach Space Theory, Graduate Texts in Mathematics, vol. 183. Springer, New York (1998)
Paroni, R., Tomassetti, G.: Macroscopic and microscopic behavior of narrow elastic ribbons. J. Elasticity 135(1–2), 409–433 (2019)
Raffaelli, M.: Nonrigidity of flat ribbons. Proc. R. Soc. Edinb. Sect. A 153(4), 1297–1314 (2023)
Rudin, W.: Functional Analysis. International Series in Pure and Applied Mathematics, 2nd edn. McGraw-Hill, New York (1991)
Sadowsky, M.: Ein elementarer Beweis für die Existenz eines abwickelbaren Möbiusschen Bandes und Zurückführung des geometrischen Problems auf ein Variationsproblem. Sitzber. Preuss. Akad. Wiss. 22, 412–415 (1930)
Starostin, E.L., van der Heijden, G.H.M.: Forceless Sadowsky strips are spherical. Phys. Rev. E 97(2), Paper No. 023001, 6 pp (2018)
Struwe, M.: Variational Methods: Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, vol. 34, 4th edn. Springer, Berlin (2008)
Todres, R.E.: Translation of W. Wunderlich’s “On a developable Möbius band’’. J. Elasticity 119(1–2), 23–34 (2015)
Wunderlich, W.: Über ein abwickelbares Möbiusband. Monatsh. Math. 66, 276–289 (1962)
Acknowledgements
We thank an anonymous referee for several corrections.
Funding
Open access funding provided by TU Wien (TUW).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The second-named author was supported by Austrian Science Fund (FWF) project F 77.
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
Blatt, S., Raffaelli, M. Existence of Optimal Flat Ribbons. J Geom Anal 34, 250 (2024). https://doi.org/10.1007/s12220-024-01683-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01683-w