Abstract
For immersed curves in Euclidean space of any codimension we establish a Li–Yau type inequality that gives a lower bound of the (normalized) bending energy in terms of multiplicity. The obtained inequality is optimal for any codimension and any multiplicity except for the case of planar closed curves with odd multiplicity; in this remaining case we discover a hidden algebraic obstruction and indeed prove an exhaustive non-optimality result. The proof is mainly variational and involves Langer–Singer’s classification of elasticae and André’s algebraic-independence theorem for certain hypergeometric functions. We also discuss applications to elastic flows, networks, and knots.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical Li–Yau inequality [25] asserts that if a closed surface \(\Sigma \subset \textbf{R}^n\), \(n\ge 3\), has a point of multiplicity \(k\ge 1\), then the Willmore energy \(W[\Sigma ]:=\int _{\Sigma }|H|^2dS\) is bounded below by multiplicity in the form of
where H denotes the mean curvature vector. (See also a different proof in \(\textbf{R}^3\) [44].) This estimate is sharp due to a nearly k-times covered sphere. In particular, if \(W[\Sigma ]<8\pi \) then \(\Sigma \) must be embedded. This result is used as a fundamental tool in many studies; the Willmore flow [22], the Willmore conjecture [30], and others.
In this paper we establish a one-dimensional analogue of the Li–Yau inequality, and reveal that a new phenomenon emerges due to low dimensionality. For an immersed curve \(\gamma \) in \(\textbf{R}^n\) we let \(\kappa \) denote the curvature vector \(\kappa :=\partial _s^2\gamma \), where \(\partial _s\psi :=\frac{1}{|\gamma '|}\psi '\), and define the normalized bending energy \(\bar{B}[\gamma ]\) as the bending energy \(B[\gamma ]:=\int _\gamma |\kappa |^2ds\) normalized by the length \(L=L[\gamma ]:=\int _\gamma ds\) to be scale-invariant:
In addition, using the complete elliptic integral of the first kind K(m) and of the second kind E(m), we define a unique parameter \(m^*\in (0,1)\) such that \(K(m^*)=2E(m^*)\), and then the key universal constant \(\varpi ^*>0\) by
Finally, we say that a curve \(\gamma \) has a point \(p\in \textbf{R}^n\) of multiplicity k if the preimage \(\gamma ^{-1}(p)\) contains at least k distinct points.
Our first theorem asserts a general Li–Yau type inequality involving multiplicity for closed curves \(\gamma :\textbf{T}^1\rightarrow \textbf{R}^n\), where \(\textbf{T}^1:=\textbf{R}/\textbf{Z}\). Hereafter we specify the natural \(H^2\)-Sobolev regularity for curves.
Theorem 1.1
(Multiplicity inequality for closed curves) Let \(n\ge 2\) and \(k\ge 2\). Let \(\gamma :\textbf{T}^1\rightarrow \textbf{R}^n\) be an immersed closed \(H^2\)-curve with a point of multiplicity k. Then
In particular, if an immersed closed curve \(\gamma \) has the property that \(\bar{B}[\gamma ]<4\varpi ^*\), then \(\gamma \) must be embedded. This threshold is optimal because a figure-eight elastica gives an explicit example of a non-embedded analytic planar closed curve with energy \(\bar{B}=4\varpi ^*\) (see Definition 2.3 and Lemma 2.5).
We also discuss more on optimality and rigidity in inequality (1.3). On one hand, our inequality is optimal for many pairs of (n, k), namely either if \(n\ge 3\) or if k is even. We also prove the rigidity that any optimal curve is a k-leafed elastica, i.e., the curve consists of k half-fold figure-eight elasticae of same length (see Definition 3.1).
Theorem 1.2
(Optimality and rigidity) Let \(n\ge 2\) and \(k\ge 2\). Suppose either that \(n\ge 3\) or that k is even. Then there exists an immersed closed \(H^2\)-curve \(\gamma :\textbf{T}^1\rightarrow \textbf{R}^n\) with a point of multiplicity k such that
In addition, equality (1.4) is attained if and only if \(\gamma \) is a closed k-leafed elastica.
In particular, any 2-leafed elastica is (up to invariances) uniquely given by a figure-eight elastica, which is analytic and planar. Any 3-leafed is uniquely given by a new three-dimensional shape, which we introduce in Example 3.12 and call elastic propeller, whose regularity is of class \(C^{2,1}=W^{3,\infty }\) but not \(C^3\). For \(k\ge 4\), leafed elasticae are generically nonunique and not \(C^3\). See Sect. 3 for details.
On the other hand, somewhat interestingly, in the remaining case of \(n=2\) and odd \(k\ge 3\) (planar closed curves with odd multiplicity) a new algebraic obstruction comes into play and indeed we can prove an exhaustive non-optimality result.
Theorem 1.3
(Non-optimality) For any odd integer \(k\ge 3\) there exists a positive number \(\varepsilon _k>0\) such that for any immersed (planar) closed \(H^2\)-curve \(\gamma :\textbf{T}^1\rightarrow \textbf{R}^2\) with a point of multiplicity k,
Our results are new for all \(n\ge 3\) or \(k\ge 3\). In their very recent study [35], Müller–Rupp obtain Theorems 1.1 and 1.2 for the special pair \((n,k)=(2,2)\), finding the non-simple threshold \(4\varpi ^*\) (\(=:c^*=112.439...\) in their notation). They crucially use the assumption that \((n,k)=(2,2)\) since their proof relies on the fact that any planar closed curve with rotation number \(\ne \pm 1\) has a self-intersection; in particular, they explicitly mention that the case of \(n\ge 3\) is remained open. Our results resolve this problem, while retrieving their result as a special case by a different (in fact shorter) proof. For a general multiplicity k the non-optimal estimate \(\bar{B}\ge 16k^2\) was previously obtained by several authors [37, Corollary 3.3.1.3], [46, Theorem 4.4], [48, Theorem 1.6] (see also [50, Lemma 2.1]). All those results are improved by Theorem 1.2 and optimized in many cases. Theorem 1.3 highlights a new phenomenon compared to the original Li–Yau inequality (1.1), which instead is sharp regardless of codimension and multiplicity.
The study of the bending energy B was initiated by D. Bernoulli and L. Euler in the 18th century for modelling planar elastic rods, but is still ongoing; see e.g. [27, 32, 40, 45] and references therein. Corresponding variational solutions are called elastic curves or elasticae, and their known classification plays a key role in our study. Our results have direct applications to more modern subjects such as elastic flows and elastic networks. In Sect. 4, we apply our inequality to obtain optimal energy thresholds below which any elastic flow must be embedded for all time \(t\ge 0\), in the same manner as [35]; see Theorems 4.1 and 4.2. In Sect. 5 we are concerned with existence of minimal elastic \(\Theta \)-networks. This problem was solved by Dall’Acqua–Novaga–Pluda in the planar case [10, Theorem 4.10] (and [11]), see also [12], but they indicate in the last paragraph of [10, Section 4] that it remains open in higher codimensions. Here we resolve this problem in Theorem 5.1.
The normalized bending energy \(\bar{B}\) is a natural one-dimensional counterpart of the Willmore energy in the sense that both are scale-invariant functionals involving curvature and minimized only by a round shape. The total curvature \(TC[\gamma ]:=\int _\gamma |\kappa |ds\) is also similar but not effective for detecting embeddedness of closed curves since both the infima among embedded and non-embedded closed curves coincide with \(2\pi \); see [35]. The energy \(\bar{B}\) is certainly effective since a circle attains \(\bar{B}=4\pi ^2<4\varpi ^*\). Recall that \(4\pi ^2\) is the minimum of \(\bar{B}\) among closed curves since \(\bar{B}\ge TC^2\ge 4\pi ^2\) holds by the Cauchy-Schwarz inequality and Fenchel’s theorem.
We now discuss the idea of our proof. To apply variational methods we encounter the multiplicity-constraint making the admissible set non-open. Müller–Rupp’s proof [35] is mainly devoted to a careful analysis of possible self-intersections by using the rotation number, which has no direct extension to higher codimensions or multiplicities. Instead, our proof proceeds in such a way that we divide the objective curve at the point of multiplicity and then apply a variational argument to each component “independently”. Each variational problem is formulated to be well posed, and moreover its boundary condition is relaxed to being of zeroth order (although the most natural choice would be of first order since \(H^2\hookrightarrow C^1\)). This relaxation allows us to obtain a strong rigidity of optimal configurations, Proposition 2.6, which benefits from the celebrated classification of elasticae by Langer–Singer [24]. It is somewhat by chance that such independent and relaxed problems can be translated back to the original problem (before division) while keeping certain optimality. Indeed, nontriviality of this point is explicitly reflected in our non-optimality result, Theorem 1.3. The non-optimality is caused by an obstruction for constructing optimal planar closed curves, which is related with the irrationality of a certain geometric quantity. Although such an issue is quite delicate in general, surprisingly at least to the author, we can exhaustively verify non-optimality by reducing the problem to a classical deep result of André [2] on the algebraic independence of values of certain hypergeometric functions over the field of algebraic numbers. The case of higher codimensions stands in stark contrast to the planar case as it allows unified optimality, Theorem 1.2. The main ingredient here is the aforementioned elastic propeller in Example 3.12.
The above dividing idea motivates us to consider not only closed curves but also open curves. In fact, we mainly deal with open curves in our proof, and obtain very parallel results to Theorems 1.1 and 1.2, see Theorems 2.7 and 3.16. As for open curves, our results are fully optimal for all codimensions and multiplicities.
Finally, we indicate that the elastic propeller would be of particular interest in view of elastic knot theory, cf. [20] and references therein. More precisely, the elastic unknot of smallest energy is trivially the one-fold circle, but some numerical studies [3, 5] suggest another possible “stable” elastic unknot, which looks like a propeller and is experimentally reproducible by a springy wire as in Fig. 1. Our elastic propeller would give the first analytic representation of such a stable shape. Our result already partially supports this conjectural stability as it implies minimality among all perturbations keeping the triple point. In fact, we expect that the elastic propeller would be the stable elastic unknot of second smallest energy, partially because the figure-eight elastica is unstable in the space of a suitable closure of the trivial knot class.
This paper is organized as follows: In Sect. 2 we recall and discuss classical elasticae and prove Theorem 1.1 via the open-curve counterpart, Theorem 2.7. In Sect. 3 we introduce leafed elasticae and mainly discuss their rigidity, which is then applied to the proof of Theorems 1.2 and 1.3 again via the open-curve counterpart, Theorem 3.16. Sections 4 and 5 are about applications to elastic flows and elastic networks, respectively.
2 Elastica and Li–Yau type multiplicity inequality
The goal of this section is to prove Theorem 1.1. To this end we review and prove some results concerning classical elasticae; the most essential step is Proposition 2.6. In particular, the so-called figure-eight elastica plays a key role throughout in this paper. To define this we need to use some properties of elliptic integrals and functions, which we first address below for the sake of logical order.
2.1 Elliptic integrals and functions
Here we briefly collect some facts about Jacobi elliptic integrals and functions. For more details see classical textbooks, e.g. [49, Chapter XXII] (and also [1]).
The incomplete elliptic integral of the first kind F(x, m) and of the second kind E(x, m) with parameter \(m\in (0,1)\) (squared elliptic modulus) are defined by
respectively. The complete elliptic integral of first kind K(m) and of second kind E(m) are then defined by
respectively. The (Jacobi) amplitude function is defined by
The (Jacobi) elliptic functions are then given by
Note in particular that \({{\,\textrm{cn}\,}}(\cdot ,m)\) and \({{\,\textrm{sn}\,}}(\cdot ,m)\) are 4K(m)-periodic, have zeroes \((2\textbf{Z}+1)K(m)\) and \(2\textbf{Z}K(m)\), respectively, and change their sign at the zeroes (like cosine and sine).
To define a figure-eight elastica we need to define a unique parameter \(m^*\in (0,1)\) such that \(K(m^*)=2E(m^*)\); numerically, \(m^*\approx 0.82611\). Such a parameter indeed exists uniquely since it is easy to check that the continuous function \(K(m)-2E(m)\) is increasing from \(-\pi /2\) to \(\infty \). In addition, one can also easily check that
through the negativity of the integrand of \(K(\frac{1}{2})-2E(\frac{1}{2})\). This is enough sharp for our argument in this section, but later we need to improve this estimate, cf. Lemma 3.10 below.
2.2 Classical elastica
Here and hereafter \(n\ge 2\) is arbitrary if not specified. The classical Lagrange multiplier method ensures that if a smooth curve \(\gamma :[a,b]\rightarrow \textbf{R}^n\) minimizes the bending energy B in a suitable class of fixed-length curves, then there is some \(\lambda \in \textbf{R}\) such that the curve \(\gamma \) is a critical point of the energy
By calculating the first variation of \(E_\lambda \) (cf. [13, 15]) we obtain a fourth-order ODE,
where \(\nabla _s\) denotes the normal derivative along \(\gamma \); more precisely, \(\nabla _s\psi :=\partial _s\psi -\langle \partial _s\psi ,\partial _s\gamma \rangle \partial _s\gamma \), and here and hereafter \(\langle \cdot ,\cdot \rangle \) denotes the Euclidean inner product.
A smooth curve \(\gamma \) that solves (2.3) for some \(\lambda \in \textbf{R}\) is called elastica. The classification of planar elasticae is essentially obtained by Euler in 1744 and thus very classically known (cf. [26, 40]). Concerning general elasticae, Langer–Singer’s landmark study [24] provides an exhaustive classification result (see also the excellent lecture notes [42]). Here we just collect the facts that we use later for our main theorems. Recall that a planar curve \(\gamma \subset \textbf{R}^2\) is called wavelike elastica if there exist \(m\in (0,1)\) and \(s_0\in \textbf{R}\) such that, up to dilation, the curve \(\gamma \) parameterized by the arclength \(s\in [0,L]\) has signed curvature \(\textrm{k}\) of the form \(\textrm{k}(s)=2\sqrt{m}{{\,\textrm{cn}\,}}(s-s_0,m)\).
Theorem 2.1
(Langer–Singer [24, 42]) The following statements hold.
-
(i)
Any elastica is contained in an at most three-dimensional affine subspace of \(\textbf{R}^n\).
-
(ii)
If an elastica is non-planar, then it has everywhere non-zero curvature (and torsion), where we call an elastica planar (resp. non-planar) if it is contained (resp. not contained) in a plane.
-
(iii)
Any planar elastica with a point of vanishing curvature is either a straight line or a wavelike elastica.
In addition, a figure-eight elastica is defined to be a wavelike elastica with parameter \(m=m^*\). A key fact is that a figure-eight elastica is characterized by a unique wavelike elastica satisfying a certain Navier boundary condition.
Lemma 2.2
Suppose that a wavelike elastica \(\gamma :[a,b]\rightarrow \textbf{R}^2\) satisfies the Navier boundary condition that \(\gamma (a)=\gamma (b)\) and \(\gamma ''(a)=\gamma ''(b)=0\). Then there is a positive integer N such that \(\gamma \) is an \(\frac{N}{2}\)-fold figure-eight elastica (cf. Definition 2.3).
This lemma follows if one checks the fact that a figure-eight elastica is the only wavelike elastica that has a self-intersection at their inflection points (where curvature \(\textrm{k}\) changes the sign), recalling that explicit parametrizations of wavelike elasticae are classically known (cf. [27, Chapter XIX, Art. 263]). Here we give a complete argument, where one may refer to [12, 35] for precise derivations of the parameterizations via a dynamical system. Before that, we define the term “\(\frac{N}{2}\)-fold” more precisely (in a general codimension for later use).
Definition 2.3
(\(\frac{N}{2}\)-fold figure-eight elastica) Given a positive integer N, we call an immersed curve \(\gamma :[a,b]\rightarrow \textbf{R}^n\) \(\frac{N}{2}\)-fold figure-eight elastica if \(\gamma \) is contained in a plane and its signed curvature \(\textrm{k}(s)\) parameterized by the arclength \(s\in [0,L]\) satisfies (up to the choice of the sign) that
Similarly, we call a closed \(H^2\)-curve \(\gamma :\textbf{T}^1\rightarrow \textbf{R}^n\) N-fold closed figure-eight elastica if there is \(t_0\in \textbf{T}^1\) such that the curve \(\tilde{\gamma }:[0,1]\rightarrow \textbf{R}^n\) defined by \(\tilde{\gamma }(t):=\gamma (t+t_0)\) is an N-fold figure-eight elastica.
Remark 2.4
We also call a \(\frac{1}{2}\)-fold (resp. 1-fold closed) figure-eight elastica half-fold figure-eight elastica (resp. one-fold figure-eight elastica, or simply figure-eight elastica). Note that in Definition 2.3 the constant \(\Lambda \) just plays the role of a scaling factor; namely, if we let the curve \(\gamma \) represent the case of \(\Lambda =1\), then the general (arclength parameterized) curve \(\gamma _\Lambda \) is represented by \(\gamma _\Lambda (s)=\frac{1}{\Lambda }\gamma (\Lambda s)\).
Proof of Lemma 2.2
As is derived in [12, (6.9), (6.10)], up to similarity and reparameterization, any wavelike elastica is represented by (a restriction of)
Then the change of variables \(s=F(x,m)\) yields the simpler representations that
so that any zero of \(\tilde{\textrm{k}}(x)\) is of the form \(x=p\pi +\frac{\pi }{2}\) with \(p\in \textbf{Z}\). Hence, if a wavelike elastica satisfies the Navier boundary condition, then by (2.6) it is necessary that there are some integers \(p_1<p_2\) such that \(2E(p_1\pi +\frac{\pi }{2},m)-F(p_1\pi +\frac{\pi }{2},m)=2E(p_2\pi +\frac{\pi }{2},m)-F(p_2\pi +\frac{\pi }{2},m)\). By periodicity of \(E(\cdot ,m)\) and \(F(\cdot ,m)\), we need to have \(2E(m)-K(m)=0\), i.e., \(m=m^*\). Since in addition the Navier boundary condition implies that the curvature has to be zero at the endpoints, we obtain representation (2.4). \(\square \)
We summarize a few more basic properties of \(\frac{N}{2}\)-fold figure-eight elasticae that we use in this paper, cf. Fig. 2.
Lemma 2.5
(Basic properties of figure-eight elasticae) Let \(\gamma \) be an \(\frac{N}{2}\)-fold figure-eight elastica in \(\textbf{R}^n\). Then, up to reparameterization and up to similarities, \(\gamma \) is contained in the plane \(\textbf{R}^2\simeq \textbf{R}^2\times \{0\}\subset \textbf{R}^n\) and its arclength parameterization \(\gamma :[0,2NK(m^*)]\rightarrow \textbf{R}^2\) is given by \(\gamma (s)= -\gamma ^{m^*}_\textrm{wave}(s-K(m^*))\), that is,
In addition, the above representation satisfies the following properties.
-
(i)
The curve \(\gamma \) passes through the origin if and only if \(s=0,2K(m^*),\dots ,2NK(m^*)\). In addition, these points also characterize those where the signed curvature \(\textrm{k}(s)=2\sqrt{m^*}{{\,\textrm{cn}\,}}(s-K(m^*),m^*)\) vanishes.
-
(ii)
The curve \(\gamma \) possesses the symmetry that
$$\begin{aligned} \gamma (2K(m^*)-s)=P_1\gamma (s) \quad \text {for}\ s\in [0,K(m^*)], \end{aligned}$$and the periodicity that
$$\begin{aligned} \gamma (s+2K(m^*))=P_2\gamma (s) \quad \text {for}\ s\in [0,2(N-1)K(m^*)], \end{aligned}$$where \(P_i\) denotes the reflection with respect to the i-th component \(p\mapsto p-2\langle p,e_i \rangle e_i\).
-
(iii)
The normalized bending energy is given by
$$\begin{aligned} \bar{B}[\gamma ]=\varpi ^*N^2. \end{aligned}$$In particular, \(\varpi ^*\) and \(4\varpi ^*\) are the normalized bending energy of a half-fold and one-fold figure-eight elastica, respectively.
-
(iv)
Let \(\phi ^*\in (0,\pi /2)\) be the unique angle such that \(\cos \phi ^*=2m^*-1>0\), cf. (2.1). Then
$$\begin{aligned} \langle \gamma '(0),\gamma '(2K(m^*))\rangle = \cos 2\phi ^*. \end{aligned}$$
Proof
Curve representation (2.7) directly follows by Definition 2.3 with rescaling \(\Lambda =1\) and by representation (2.5) with parameter-shifting \(\gamma (s)\mapsto \gamma (s-K(m^*))\) and \(\pi \)-angle rotation \(\gamma \mapsto -\gamma \). (Our representation is chosen so that \(\gamma (0)\) is the origin and \(\gamma '(0)\) is contained in the first quadrant, i.e., \((\gamma ^1)'(0)>0\) and \((\gamma ^2)'(0)>0\), where \(\gamma ^i\) denotes the i-th component; see below for the proof.)
Property (i) follows by definition of \(m^*\) and by periodicity of elliptic functions and integrals. Indeed, thanks to the fact that \({{\,\textrm{cn}\,}}(-K(m),m)=0\) and the particular property that \(-2E({{\,\textrm{am}\,}}(-K(m^*),m^*),m^*)-K(m^*)= 2E(m^*)-K(m^*)=0\), the curve \(\gamma \) passes through the origin at \(s=0\) and hence, by periodicity, also at \(s=2K(m^*),\dots ,2NK(m^*)\). Those points also characterize the zeroes of curvature, cf. (2.4).
Property (ii) directly follows by symmetry and periodicity of the functions involved in representation (2.7).
We prove property (iii). By periodicity we may only compute the case of \(N=1\). Note that \(L[\gamma ] = 2K(m^*)\). In addition, by representation (2.4) with \(N=1\), and by even-symmetry of the function \({{\,\textrm{cn}\,}}(\cdot ,m^*)\), we compute
Since \(2E(m^*)=K(m^*)\), we see that \(\bar{B}[\gamma ]=L[\gamma ]B[\gamma ]=\varpi ^*\), cf. (1.2).
Before proving property (iv) we first compute the tangent vector at the origin, in particular confirming that \((\gamma ^1)'(0)>0\) and \((\gamma ^2)'(0)>0\). By a similar change of variables as in (2.6), we deduce that, for a unique \(c>0\) (making \(|\gamma '(0)|=1\)),
Direct computations imply that \((\gamma ^1)'(0)=c\frac{2m^*-1}{\sqrt{1-m^*}}\) and \((\gamma ^2)'(0)=c2\sqrt{m^*}\). By taking the explicit \(c=\sqrt{1-m^*}\) we deduce that
where the former positivity relies on the fact that \(m^*>0.5\), cf. (2.1). Now we prove (iv). By periodicity in (ii), it is now sufficient to prove that the tangent vector \(\gamma '(0)\) and the vector \(e_1=(1,0)^\top \) make the angle \(\phi ^*\), or equivalently, that \((\gamma ^1)'(0)=\cos \phi ^*\). The above computation of \((\gamma ^1)'(0)=2m^*-1\) and the definition that \(\cos \phi ^*=2m^*-1\) complete the proof. (See also [14] for a different derivation of the angle.) \(\square \)
We now state a key proposition for our main theorems, which is formulated in terms of a minimizing problem of the bending energy subject to a zeroth-order boundary condition. Hereafter we mainly deal with open curves with \(H^2\) (\(=W^{2,2}\)) Sobolev regularity, where this regularity is natural in view of the bending energy. Note that by Sobolev embedding \(H^2\hookrightarrow C^1\) such curves still possess pointwise meaning up to first order; in particular, both immersedness and multiplicity are well defined.
Proposition 2.6
(Minimality of half-fold figure-eight elasticae) Let \(\gamma :[a,b]\rightarrow \textbf{R}^n\) be an immersed \(H^2\)-curve such that \(\gamma (a)=\gamma (b)\). Then
where equality is attained if and only if \(\gamma \) is a half-fold figure-eight elastica.
As is already emphasized in the introduction, the choice of this zeroth-order boundary condition is a key idea in our strategy. Since Proposition 2.6 is later used for each part of the original curve after division at a multiplicity point, it seems natural to choose an up-to-first-order (clamped) boundary condition in view of \(H^2\hookrightarrow C^1\). However for such a condition the minimum value sensitively depends on a first-order quantity so that there remains an additional issue of complicated energy competition. Instead, here we first relax the boundary condition to deduce a geometrically unique minimizer, and then (in Sect. 3) consider whether a collection of such minimizers can be applied to the original problem.
For convenience we introduce a class of unit-speed curves. Let \(I:=(0,1)\) and \(\bar{I}:=[0,1]\). Let X be the class of all unit-speed curves \(\gamma \in H^2(I;\textbf{R}^n)\hookrightarrow C^1(\bar{I};\textbf{R}^n)\), that is,
Note that for any \(\gamma \in X\) we have \(L[\gamma ]=1\) and thus \(\bar{B}[\gamma ]=B[\gamma ]\). This setting of arclength parameterization does not lose generality thanks to the invariance of our problem up to rescaling and reparameterization. Finally, let
Proof of Proposition 2.6
Up to similarity and reparameterization, we may only argue within the class \(X_0\). Thus, it is sufficient to consider the (unnormalized) bending energy B and prove the following properties: There exists \(\bar{\gamma }\in X_0\) such that \(B[{\bar{\gamma }}]=\inf _{X_0}B\), such a minimizer \(\bar{\gamma }\) must be a half-fold figure-eight elastica, and \(B[\bar{\gamma }]=\varpi ^*\).
The existence of a minimizer follows from the standard direct method, which we demonstrate here for the reader’s convenience (and for using a similar argument later). Let \(\{\gamma _j\}\subset X_0\) be a minimizing sequence \(B[\gamma _j]\rightarrow \inf _{X_0}B\). Then, combining this limit with the fact that \(\gamma _j(0)=0\) (\(=\gamma _j(1)\)) and \(|\gamma _j'|\equiv 1\), we find that \(\{\gamma _j\}\) is bounded in \(H^2(I;\textbf{R}^n)\) so that there is a subsequence (without relabeling) that converges in the senses of \(H^2\)-weak and \(C^1\). The limit curve \({\bar{\gamma }}\) is thus a unit-speed curve in \(H^2(I;\textbf{R}^n)\) such that \({\bar{\gamma }}(0)={\bar{\gamma }}(1)=0\), i.e., \({\bar{\gamma }}\in X_0\), and the weak lower semicontinuity ensures that
This means that \({\bar{\gamma }}\) is a minimizer, completing the proof of existence.
Now we prove that any minimizer must be a half-fold figure-eight elastica. Fix any minimizer \(\gamma \in X_0\) (note that \(|\gamma '|\equiv 1\)). Thanks to the reparameterization invariance, the curve \(\gamma \) is also a minimizer in the class of (not necessary unit-speed but only) immersed curves with the same boundary condition. Then the standard Lagrange multiplier method [51, Proposition 1, Sect. 4.14] ensures that there exists \(\lambda \in \textbf{R}\) such that \(\gamma \) is a critical point of the functional \(E_\lambda \), cf. (2.2). More precisely, for any \(\eta \in H^2(I;\textbf{R}^n)\cap H^1_0(I;\textbf{R}^n)\) we have the \(H^2\)-continuous Fréchet derivatives given by
where we used \(|\gamma '|\equiv 1\) to reduce the formulae; then the minimality of \(\gamma \) implies that \(DE_\lambda [\gamma ]=DB[\gamma ]+\lambda DL[\gamma ]=0\) for some \(\lambda \in \textbf{R}\), where we used the fact that \(DL[\gamma ]\) is a non-zero functional since \(\gamma \) is not a segment. Since this identity holds in particular for all \(\eta \in C_c^\infty (I;\textbf{R}^n)\), we first deduce from a standard bootstrap argument that \(\gamma \in C^\infty (\bar{I};\textbf{R}^n)\). Then we deduce from integration by parts (see also [13, Lemma A.1]) that for all \(\eta \in C^\infty (\bar{I};\textbf{R}^n)\) such that \(\eta (0)=\eta (1)=0\),
This implies that \(\gamma \) is an elastica, cf. (2.3), and in addition, \(\kappa (0)=\kappa (1)=0\). Combining these facts with the original boundary condition that \(\gamma (0)=\gamma (1)=0\), and using Theorem 2.1 and Lemma 2.2, we find that the minimizer \(\gamma \) must be an \(\frac{N}{2}\)-fold figure-eight elastica for some positive integer N. By Lemma 2.5 (iii) and the energy-minimality of \(\gamma \), we have \(N=1\). We thus conclude that any minimizer is a half-fold figure-eight elastica.
Finally, by Lemma 2.5 (iii), we deduce that the minimum is \(\varpi ^*\). \(\square \)
2.3 Li–Yau type multiplicity inequality
We now turn to the proof of Theorem 1.1. For later use it is convenient to first prove an open-curve counterpart of Theorem 1.1.
Theorem 2.7
(Multiplicity inequality for open curves) Let \(\gamma :[0,1]\rightarrow \textbf{R}^n\) be an immersed curve with a point of multiplicity \(k\ge 2\). Then
In particular, if an immersed curve \(\gamma \) has the property that \(\bar{B}[\gamma ]<\varpi ^*\), then \(\gamma \) is embedded; the threshold \(\varpi ^*\) is optimal due to a half-fold figure-eight elastica.
Proof of Theorem 2.7
By the assumption on multiplicity, there are \(0\le a_1<\dots <a_k\le 1\) such that \(\gamma (a_1)=\dots =\gamma (a_k)\). If \(a_1>0\), then we may cut off the part \(\gamma |_{[0,a_1]}\) and create a new curve whose normalized bending energy is strictly less than the original one, and hence without loss of generality we may assume that \(a_1=0\). Similarly, we may assume that \(a_k=1\). Up to translation we may assume that the multiplicity point is the origin, and hence can apply Proposition 2.6 to each \(\gamma _i:=\gamma _{[a_i,a_{i+1}]}\), where \(i=1,\dots ,k-1\), to deduce that
Noting that \(B[\gamma ]=\sum _{i=1}^{k-1}B[\gamma _i]\) and \(L[\gamma ]=\sum _{i=1}^{k-1}L[\gamma _i]\), we have
where the last estimate follows by the elementary inequality of arithmetic and harmonic means. \(\square \)
Theorem 1.1 can be regarded as a special consequence of Theorem 2.7.
Proof of Theorem 1.1
Given any closed curve \(\gamma \) with a point of multiplicity k, we can create an open curve with a point of multiplicity \(k+1\) after cutting \(\gamma \) at the original point of multiplicity and opening the domain \(\textbf{T}^1\) to [0, 1]. Applying Theorem 2.7 to this curve, we obtain the improved inequality in Theorem 1.1. \(\square \)
3 Leafed elastica and optimality
The goal of this section is to prove Theorems 1.2 and 1.3. To this end we introduce the notion of leafed elastica, which is compatible with our problem. We first discuss some basic properties of leafed elasticae, from which we observe how the difference depending on the pair (n, k) occurs in optimality.
3.1 Leafed elastica
Leafed elasticae are defined by connecting leaves of half figure-eight elasticae, cf. Fig. 3.
Definition 3.1
(Leafed elastica) Let \(n\ge 2\) and \(k\ge 1\). We call an immersed \(H^2\)-curve \(\gamma :[a,b]\rightarrow \textbf{R}^n\) k-leafed elastica if there are \(a=a_0<a_1<\dots <a_k=b\) such that for each \(i=1,\dots ,k\) the curve \(\gamma _i:=\gamma |_{[a_{i-1},a_i]}\) is a half-fold figure-eight elastica, and also \(L[\gamma _1]=\dots =L[\gamma _k]\). Similarly, we call a closed \(H^2\)-curve \(\gamma :\textbf{T}^1\rightarrow \textbf{R}^n\) closed k-leafed elastica if there is \(t_0\in \textbf{T}^1\) such that the curve \(\tilde{\gamma }:[0,1]\rightarrow \textbf{R}^n\) defined by \(\tilde{\gamma }(t):=\gamma (t+t_0)\) is a k-leafed elastica. In addition, to specify the dimension n of the target space, sometimes we also use the term (closed) (n, k)-leafed elastica.
Remark 3.2
By definition, a k-leafed elastica \(\gamma \) has a point of multiplicity \(k+1\), namely \(\gamma (a_0)=\dots =\gamma (a_k)\). Also, a closed k-leafed elastica has a point of multiplicity k. We call such a point joint of a leafed elastica.
An easy consequence of the previous definition is the following:
Proposition 3.3
(Regularity and energy) Let \(k\ge 1\). Then any k-leafed (resp. closed k-leafed) elastica is of class \(C^{2,1}\) and piecewise analytic, has a point of multiplicity \(k+1\) (resp. k), and has the energy \(\bar{B}[\gamma ]=\varpi ^*k^2\).
Proof
The piecewise analyticity follows by the representation in (2.7). The whole \(C^{2,1}\)-regularity follows in this way; first, any k-leafed elastica \(\gamma \) is automatically of class \(C^1\) since \(H^2\hookrightarrow C^1\); also, the curvature of \(\gamma \) vanishes at each joint of leaves by Lemma 2.5 (i) so that \(\gamma \) is also of class \(C^2\); finally, the third derivative of \(\gamma \) is bounded in \(L^\infty \) since each (planar) leaf of \(\gamma \) has the signed curvature given in (2.4) (in an affine subspace \(\simeq \textbf{R}^2\)) so that, by the derivative formula
its derivative is bounded; consequently, \(\gamma \) is of class \(W^{3,\infty }=C^{2,1}\). The multiplicity at the joint is already discussed in Remark 3.2. Finally, the normalized bending energy can be explicitly computed, cf. Lemma 2.5 (iii). \(\square \)
We mention two obvious examples of classical figure-eight elasticae.
Example 3.4
Let \(k\ge 1\). Then a \(\frac{k}{2}\)-fold figure-eight elastica is an analytic planar example of an (n, k)-leafed elastica.
Example 3.5
Let \(k\ge 2\) be even. Then a closed \(\frac{k}{2}\)-fold figure-eight elastica is an analytic planar example of a closed (n, k)-leafed elastica.
Leafed elasticae have flexibility due to possible discontinuity of their third derivatives at the joints, and in particular these examples do not exhaust all possible configurations. For example, it is easy to imagine that for any \(k\ge 2\) there are more (open) k-leafed elasticae by reflecting or twisting leaves at their joints arbitrarily.
On the other hand, to obtain closed k-leafed elasticae, we are required to close it up in the first-order sense. This requirement causes non-negligible rigidity. Indeed, it is easy to observe
Proposition 3.6
No closed 1-leafed elastica exists. A closed 2-leafed elastica is (up to similarity and reparameterization) uniquely given by a figure-eight elastica.
Proof
This follows since the angle made by the tangent vectors at the endpoints of one leaf is given by \(2\phi ^*\in (0,\pi )\), cf. Lemma 2.5 and Fig. 3. \(\square \)
In general, whether there exists a closed (n, k)-leafed elastica can be characterized by whether the endpoints of leaves can be joined up to first order. This fact is summarized in the following lemma, the proof of which is straightforward and safely omitted.
Lemma 3.7
(Characterization of closed (n, k)-leafed elasticae) Let \(n\ge 2\) and \(k\ge 1\). Let \(\Omega ^*(n,k)\) be the set of all k-tuples \((\omega _1,\dots ,\omega _k)\) of n-dimensional unit-vectors \(\omega _1,\dots ,\omega _k\in \textbf{S}^{n-1}\subset \textbf{R}^n\) such that \(\langle \omega _{i},\omega _{i-1}\rangle =\cos 2\phi ^*\) holds for any \(i=1,\dots ,k\), where we interpret \(\omega _0:=\omega _k\).
-
(i)
If \(\gamma :\textbf{T}^1\rightarrow \textbf{R}^n\) is a unit-speed closed (n, k)-leafed elastica, then there is \(t_0\in \textbf{T}^1\) such that the k-tuple of vectors \(\omega _i:=\gamma '(\frac{i}{k}+t_0)\), \(i=1,\dots ,k\), is an element of \(\Omega ^*(n,k)\).
-
(ii)
Conversely, if \((\omega _1,\dots ,\omega _k)\in (\textbf{S}^{n-1})^k\) is an element of \(\Omega ^*(n,k)\), then there exists a unit-speed closed (n, k)-leafed elastica \(\gamma :\textbf{T}^1\rightarrow \textbf{R}^n\) such that \(\gamma (0)=0\) and \(\gamma '(\frac{i}{k})=\omega _i\) for \(i=1,\dots ,k\).
This characterization is useful both for ensuring nonexistence and for constructing concrete examples.
We first verify nonexistence of planar closed leafed elasticae with odd leaves caused by an algebraic obstruction for closing the leaves (there always exists a planar closed k-leafed elastica if k is even, cf. Example 3.5). This obstruction is related to an irrationality or transcendence problem involving special values of hypergeometric functions. Such a problem is in general difficult in spite of its classicality, see e.g. [17] and references therein. However, fortunately, our problem can be reduced to the following theorem of André [2]. Let \(\overline{\textbf{Q}}\subset \textbf{C}\) denote the field of algebraic numbers.
Theorem 3.8
(André [2]) For any \(z\in \overline{\textbf{Q}}\) with \(0<|z|<1\), the values of the Gaussian hypergeometric functions \(x_1:={}_2F_1[\frac{1}{2},\frac{1}{2};1;z]\) and \(x_2:={}_2F_1[-\frac{1}{2},\frac{1}{2};1;z]\) are algebraically independent over \(\overline{\textbf{Q}}\), i.e., those two values do not satisfy \(f(x_1,x_2)=0\) for any non-trivial \(f\in \overline{\textbf{Q}}[X_1,X_2]\) (polynomial with coefficients in \(\overline{\textbf{Q}}\)).
With the aid of this result we prove the following
Proposition 3.9
For any odd \(k\ge 3\) there exists no closed (2, k)-leafed elastica.
Proof
We first note that for any given \(\omega \in \textbf{S}^1\) there are only two possibilities of \(\omega '\in \textbf{S}^1\) such that \(\langle \omega ,\omega ' \rangle =\cos 2\phi ^*\), namely \(\omega '=R_\pm \omega \), where \(R_\pm \in \textrm{SO}(2)\) denotes the (counterclockwise) rotation matrix through angle \(\pm 2\phi ^*\). Combining this fact with Lemma 3.7, we deduce that the assertion is equivalent to the following statement: For any odd integer \(k\ge 3\) there is no k-tuple of rotation matrices \(R_1,\cdots ,R_k\in \textrm{SO}(2)\) through angle either \(2\phi ^*\) or \(-2\phi ^*\) such that \(R_k\cdots R_1=I\), where I denotes the identity matrix; in other words, for any odd \(k\ge 3\) there exists no k-tuple \((\sigma _1,\dots ,\sigma _k)\subset \{-1,1\}^k\) such that \(\sum _{i=1}^k\sigma _i2\phi ^*\in 2\pi \textbf{Z}\).
Now we prove that the above equivalent statement holds true. It is sufficient to prove that \(\phi ^*\not \in \pi \textbf{Q}\). By the well-known relation (e.g. found in [1, 17.3.9, 17.3.10]) that \({}_2F_1[\frac{1}{2},\frac{1}{2};1;m]=\frac{2}{\pi }K(m)\) and \({}_2F_1[-\frac{1}{2},\frac{1}{2};1;m]=\frac{2}{\pi }E(m)\) for \(m\in (0,1)\), and by definition of \(m^*\), we deduce that
By André’s theorem, the number \(m^*\in (0,1)\) is transcendental, and hence so is \(\cos \phi ^*\) (\(=2m^*-1\)). This implies the desired irrationality; indeed, for any rational angle \(\phi =(p/q)\pi \) with \(p/q\in \textbf{Q}\) we have \(T_q(\cos \phi )=\cos (q\phi )\in \{\pm 1\}\), where \(T_q\) denotes the q-th Chebyshev polynomial of the first kind, and hence \(\cos \phi \in \overline{\textbf{Q}}\). \(\square \)
In contrast, if the codimension is higher, namely \(n\ge 3\), then we can still construct a closed (n, k)-leafed elastica for any multiplicity \(k\ge 2\). We may again focus on the case of odd \(k\ge 3\) thanks to Example 3.5. To construct a key example we give an analytic estimate of the angle \(\phi ^*\in (0,\pi /2)\) (\(\approx 49.290^\circ \)) in the form of \(45^\circ<\phi ^*<60^\circ \). The upper bound plays a crucial role in Example 3.12, while the lower bound is used in Remark 3.18 and also plays a key role in the coming application to networks, namely in the proof of Lemma 5.6 below. To this end we verify and use the following fact:
Lemma 3.10
\(0.75<m^*<0.85\).
The proof is postponed to Appendix A. This lemma immediately implies
Lemma 3.11
\(\pi /4<\phi ^*<\pi /3\).
Proof
By definition \(\cos \phi ^*=2m^*-1\) of \(\phi ^*\), it is sufficient to prove that \(\cos (\pi /3)=1/2<2m^*-1<1/\sqrt{2}=\cos (\pi /4)\). Thanks to Lemma 3.10, this can be reduced to easy comparisons of rational numbers. \(\square \)
The key example can be now constructed as follows:
Example 3.12
(Elastic propeller) Let \(\omega _1,\omega _2,\omega _3\in \textbf{S}^2\subset \textbf{R}^3\) be taken so that the triple of them is an element of \(\Omega ^*(3,3)\), cf. Lemma 3.7. In fact, such a triple exists and is unique up to rigid motions, by the fact that \(2\phi ^*\in (0,2\pi /3)\), cf. Lemma 3.11, and by the elementary geometry that the vectors \(\omega _1,\omega _2,\omega _3\) need to make a triangular pyramid whose one face is an equilateral triangle and the others are all congruent to the same isosceles triangle of angle \(2\phi ^*\), cf. Fig. 4 (left). By using such a triple, in view of Lemma 3.7, we can construct an example of a closed (3, 3)-leafed elastica for \(n\ge 3\), cf. Fig. 4 (right), which is thus unique up to similarity and reparameterization. We call it elastic propeller.
The elastic propeller is the only example of a closed 3-leafed elastica.
Proposition 3.13
Let \(n\ge 3\). Then a closed (n, 3)-leafed elastica is (up to similarity and reparameterization) uniquely given by an elastic propeller.
Proof
This follows by the uniqueness of a closed (3, 3)-leafed elastica and the fact that any closed (n, 3)-leafed elastica must be contained in a three-dimensional affine subspace spanned by the three leaves. \(\square \)
An elastic propeller can be also used to construct (non-symmetric) closed leafed elasticae with any higher odd number of leaves in a unified manner.
Example 3.14
(Closed (n, k)-leafed elastica for \(n\ge 3\) and odd \(k\ge 5\)) For any \(n\ge 3\) and any odd \(k\ge 5\) we can construct an example of a (three-dimensional) closed (n, k)-leafed elastica by connecting an elastic propeller and a \(\frac{k-3}{2}\)-fold closed figure-eight elastica.
In summary, we obtain
Proposition 3.15
Let \(n\ge 2\) and \(k\ge 1\). Either if \(n\ge 3\) or if k is even, then there exists a closed (n, k)-leafed elastica.
Proof
It follows from Examples 3.5, 3.12, and 3.14. \(\square \)
3.2 Optimality and rigidity in the multiplicity inequality
From now on we prove Theorems 1.2 and 1.3 by using the above results on leafed elasticae. We first state and prove an open-curve counterpart of Theorem 1.2, which holds in full generality.
Theorem 3.16
(Optimality and rigidity for open curves) Let \(n\ge 2\) and \(k\ge 2\). Then there exists an immersed \(H^2\)-curve \(\gamma :[0,1]\rightarrow \textbf{R}^n\) with a point of multiplicity k such that
In addition, equality (3.2) is attained if and only if \(\gamma \) is a \((k-1)\)-leafed elastica.
Proof
The existence of an optimal curve follows since a \(\frac{k-1}{2}\)-fold figure-eight elastica attains equality. In addition, any \((k-1)\)-leafed elastica attains (3.2) by Proposition 3.3.
We now prove rigidity. Suppose that \(\gamma \) attains (3.2). Then, as in the proof of Theorem 2.7, the curve \(\gamma \) can be divided into k curves \(\gamma _1,\dots ,\gamma _{k-1}\). In addition, equality holds for all the inequalities in the proof of Theorem 2.7. In view of the HM-AM inequality (2.10) we have \(L[\gamma _1]=\dots =L[\gamma _{k-1}]\). In addition, in view of (2.9) we also have \(L[\gamma _i]B[\gamma _i]=\varpi ^*\) for all i, and hence by Proposition 2.6 each curve \(\gamma _i\) needs to be a half-fold figure-eight elastica. This means that \(\gamma \) is a \((k-1)\)-leafed elastica, and thus completes the proof. \(\square \)
Theorem 1.2 is now a direct consequence of Theorem 3.16 and the contents in Sect. 3.1.
Proof of Theorem 1.2
The existence of a closed curve in \(\textbf{R}^n\) with multiplicity k satisfying (1.4) is ensured by Proposition 3.15 combined with Proposition 3.3. Also, we deduce that any of such closed curves must be a k-leafed elastica by opening the given closed curve at a multiplicity point and applying Theorem 3.16 to the opened curve. Finally, any closed k-leafed elastica attains (1.4) by Proposition 3.3. \(\square \)
We finally prove Theorem 1.3. Proposition 3.9 combined with Theorem 3.16 is already sufficient for asserting the (weaker) statement that there exists no closed \(H^2\)-curve in \(\textbf{R}^2\) that has a point of multiplicity k and attains (1.4). However, this does not rule out existence of a minimizing sequence such that \(\bar{B}[\gamma _j]\rightarrow \varpi ^*k^2\). In order to rule out this phenomenon we ensure general existence of planar optimal curves (which are not necessarily leafed elasticae).
Let \(C_k\) denote the class of all immersed closed \(H^2\)-curves in the plane \(\textbf{R}^2\) with a point of multiplicity k. Let
We have \(\beta _1=4\pi ^2\) obviously. Theorems 1.1 and 1.2 imply that \(\beta _k=\varpi ^*k^2\) for any even k. Although for an odd \(k\ge 3\) the exact value of \(\beta _k\) remains open, here we prove that at least there exists a minimizer attaining the infimum in \(\beta _k\), which can be decomposed into k elasticae (this decomposition is however not used later).
Proposition 3.17
For any k (in particular, any odd \(k\ge 3\)) there exists a curve \(\bar{\gamma }\in C_k\) such that \(\bar{B}[\bar{\gamma }]=\beta _k\). In addition, the curve \(\bar{\gamma }\) can be divided into k (open) curves \(\bar{\gamma }_1,\dots ,\bar{\gamma }_k\) at a point of multiplicity k, and each curve \(\bar{\gamma }_i\) is an elastica satisfying (2.3) with the same multiplier \(\lambda >0\) (not depending on \(i=1,\dots ,k\)).
Proof
Fix an arbitrary k. Let \(\{\gamma _j\}\subset C_k\) be a minimizing sequence of \(\bar{B}\). After reparameterization, rescaling, and translation, we may assume that for each j the curve \(\gamma _j\) is of unit-speed and of unit-length \(L[\gamma _j]=1\), and also there are \(0=a_j(1)<a_j(2)<\dots <a_j(k+1)=1\) (\(=a_j(1)\)) in \(\textbf{T}^1\) such that \(\gamma _j(a_j(i))=0\) for all i (thanks to multiplicity k). Then a standard direct method argument, which is parallel to the proof of Proposition 2.6, implies the existence of a unit-speed curve \(\bar{\gamma }\in H^2(\textbf{T}^1;\textbf{R}^2)\) such that \(\beta _k=\bar{B}[\bar{\gamma }]\) and \(\gamma _j\rightarrow \bar{\gamma }\) in \(H^2\)-weakly and \(C^1\).
Now we ensure that the limit curve \(\bar{\gamma }\) still possesses multiplicity k. Using the above notation \(a_j(i)\), we prove that all adjacent points \(a_j(i)\) and \(a_j(i+1)\) do not collide as \(j\rightarrow \infty \). Let \(L_j(i):=|a_j(i+1)-a_j(i)|\). By the unit-speed parameterization, \(L_j(i)\) is nothing but the length of the curve \(\gamma _j|_i:=\gamma _j|_{[a_j(i),a_j(i+1)]}\), and hence by the Cauchy-Schwarz inequality \(\bar{B}=LB\ge TC^2\) involving the total curvature \(TC[\gamma ]=\int _\gamma |\kappa |ds\) we have
where the last estimate \(TC[\gamma _j|_i]\ge \pi \) follows by a generalization of Fenchel’s theorem, namely by Lemma 5.2 with \(N=1\). By the boundedness of \(B[\gamma _j]\) we deduce that there is \(\delta >0\) such that \(L_j(i)\ge \delta \) holds for all i and j. This means that no adjacent points collide, and hence up to a subsequence (without relabeling), all \(a_j(1),\dots ,a_j(k)\) converge to distinct k points \(a(1),\dots ,a(k)\) in \(\textbf{T}^1\) as \(j\rightarrow \infty \). By \(C^1\)-convergence we have \(\bar{\gamma }(a(i))=0\) for all \(i=1,\dots ,k\). Therefore, \(\bar{\gamma }\) still has multiplicity k so that \(\bar{\gamma }\in C_k\). This ensures the existence of a minimizer.
Finally, we prove that any minimizer \(\bar{\gamma }\in C_k\) can be divided into k elasticae with a same positive multiplier \(\lambda >0\). In fact, if \(\bar{B}[\bar{\gamma }]=\beta _k\), then after rescaling by \(\Lambda >0\) so that \(L[\Lambda \bar{\gamma }]=B[\Lambda \bar{\gamma }]=\sqrt{\beta _k}\), the curve \(\Lambda \bar{\gamma }\) is a minimizer of the functional \(E:=E_1=B+L\) since \(E\ge 2\bar{B}^\frac{1}{2}\) and equality is attained for \(\Lambda \bar{\gamma }\). In particular, if we let \(p\in \textbf{R}^2\) be a point of multiplicity k and choose (ordered) k distinct points \(a_1,\dots ,a_k\in \bar{\gamma }^{-1}(p)\), and if we divide \(\bar{\gamma }\) into k (open) curves \({\bar{\gamma }}_1,\dots ,{\bar{\gamma }}_k\) by cutting at \(a_1,\dots ,a_k\in \textbf{T}^1\), then the minimality of \(\Lambda \bar{\gamma }\) for E implies that each \(\Lambda \bar{\gamma }_i\) satisfies (2.3) with \(\lambda =1\). Hence, going back to the original scale, we find that \(\bar{\gamma }_i\) satisfies (2.3) with \(\lambda =\Lambda ^2\). This ensures the desired decomposition of \(\bar{\gamma }\) into k elasticae. \(\square \)
We are now in a position to complete the proof of Theorem 1.3.
Proof of Theorem 1.3
We argue by contradiction. Suppose that for an odd \(k\ge 3\) the assertion does not hold. Then there exists a sequence \(\{\gamma _j\}\subset C_k\) such that \(\bar{B}[\gamma _j]\rightarrow \varpi ^*k^2\); this means that \(\beta _k=\varpi ^*k^2\) since \(\varpi ^*k^2\) is a lower bound, cf. Theorem 1.1. By Proposition 3.17 there exists a closed curve \(\bar{\gamma }\in C_k\) attaining equality (1.4). Then by applying Theorem 3.16 (as in the proof of Theorem 1.2) we conclude that \(\bar{\gamma }\) must be a closed (2, k)-leafed elastica. However, this contradicts the nonexistence result in Proposition 3.9. \(\square \)
We close this section by mentioning miscellaneous remarks.
Remark 3.18
(Non-uniqueness of closed leafed elasticae) In contrast to the fact that generic uniqueness of closed k-leafed elasticae holds for \(k\le 3\), cf. Propositions 3.6 and 3.13, this is not the case for \(k\ge 4\). Indeed, for any \(n\ge 2\) and \(m\ge 1\), if an (n, 2m)-leafed elasticae consists of m figure-eight elasticae, then there is an \(\textbf{S}^{n-2}\)-freedom around the joint-axis; if \(n\ge 3\), then such rotation-type non-uniqueness phenomena occur for any number \(k\ge 4\) of leaves, cf. Example 3.14. In addition, there is another mechanism of non-uniqueness; for any \(k\ge 4\) there remains a certain freedom for gluing k papers of congruent obtuse isosceles triangles (with angle \(2\phi ^*>\pi /2\), cf. Lemma 3.11) along their equal-length sides even in the three-dimensional space (in contrast to \(k=3\)). See Fig. 5 for examples in the case of \(k=4\).
Examples of the elements in \(\Omega ^*(3,4)\) in Lemma 3.7
Remark 3.19
(Uniqueness of leafed elasticae under \(C^3\)-regularity) By representation (2.4) and derivative formula (3.1) we easily deduce that if a k-leafed elastica \(\gamma \) is of class \(C^3([0,1];\textbf{R}^n)\), then the curve \(\gamma \) is a unique planar curve given by a \(\frac{k}{2}\)-fold figure-eight elastica. As a consequence, if \(k\ge 2\) is even, and if \(\gamma \) is a closed (n, k)-leafed elastica of class \(C^3(\textbf{T}^1;\textbf{R}^n)\), then \(\gamma \) is a unique planar curve (up to similarity and reparameterization) given by a \(\frac{k}{2}\)-fold closed figure-eight elastica; also, if \(k\ge 3\) is odd, then there exists no closed (n, k)-leafed elastica of class \(C^3(\textbf{T}^1;\textbf{R}^n)\).
Remark 3.20
(Total curvature) As is indicated in [35], the total (absolute) curvature \(TC[\gamma ]=\int _\gamma |\kappa |ds\) is not an effective embeddedness criterion for closed curves since the total curvatures of both an embedded thin convex curve and a thin figure-eights (closed to a segment) are nearly \(2\pi \). However, we still have the optimal lower bound \(TC[\gamma ]>(k-1)\pi \) for open curves with multiplicity k via Fenchel’s theorem (as in the proof of Proposition 3.17) and hence \(TC[\gamma ]>k\pi \) for closed curves with multiplicity k.
4 Elastic flows
In this last section we discuss applications to elastic flows. We call the \(L^2\)-gradient flow of the energy \(E_\lambda :=B+\lambda L\) (as in (2.2)) for a given \(\lambda >0\) elastic flow, and that of the bending energy B under the fixed-length constraint \(L[\gamma ]=L_0>0\) fixed-length elastic flow. Such flows are given by one-parameter families of curves \(\gamma :\textbf{T}^1\times [0,\infty )\rightarrow \textbf{R}^n\) solving the fourth order PDE in the form of
where in the former case \(\lambda >0\) is a fixed number given in \(E_\lambda \), while in the latter case it depends on the solution and is given in the form of
At least since Wen’s 1995 paper [47] and Polden’s 1996 thesis [37], elastic flows have been studied by many authors, see e.g. the recent nice survey [28] and references therein. Concerning these flows, long-time existence and smooth convergence to an elastica are valid in general at least from smooth closed initial curves. Those results follow by combining the fundamental result by Dziuk–Kuwert–Schätzle [15] with recent developments on the Łojasiewicz-Simon inequality as is demonstrated in [35] (see also [28]); we note that the argument in [35] directly works for higher codimensions as so do the key ingredients [15, 29, 38, 39].
Our Li–Yau type inequality can be used for ensuring embeddedness of solutions for all \(t\ge 0\) below certain energy thresholds. Note that in second-order flows such a property holds generically (without smallness) by the maximum principle (see e.g. [7, 21]), but this is not the case for higher-order flows including elastic flows [6].
Theorem 4.1
Let \(\lambda >0\) and \(\gamma _0:\textbf{T}^1\rightarrow \textbf{R}^n\) be a closed curve such that \(\frac{1}{4\lambda }E_\lambda [\gamma _0]^2<4\varpi ^*\). Then the elastic flow starting from \(\gamma _0\) is embedded for all \(t\ge 0\). In addition, it smoothly converges as \(t\rightarrow \infty \) to a one-fold round circle of radius \(\frac{1}{\sqrt{2\lambda }}\) up to reparameterization.
Theorem 4.2
Let \(\gamma _0:\textbf{T}^1\rightarrow \textbf{R}^n\) be a closed curve such that \(\bar{B}[\gamma _0]<4\varpi ^*\). Then the fixed-length elastic flow starting from \(\gamma _0\) is embedded for all \(t\ge 0\). In addition, it smoothly converges as \(t\rightarrow \infty \) to a one-fold round circle of radius \(\frac{L[\gamma _0]}{2\pi }\) up to reparameterization.
These results extend Müller–Rupp’s corresponding results in [35] from \(n=2\) to \(n\ge 2\). The threshold \(4\varpi ^*\) is optimal simultaneously for all-time embeddedness and for convergence to a circle; indeed, to each flow, a figure-eight elastica of suitable size is a non-embedded stationary solution and attains the threshold \(4\varpi ^*\). We remark that if we include embeddedness of an initial curve in the assumption, then the threshold value is significantly improved when \(n=2\), see our subsequent work [34].
We may safely omit the proof of the above theorems since Müller-Rupp [35] already provide detailed proofs that completely work for \(n\ge 3\) once our result (Theorem 1.1) is established. A key point is that \(\bar{B}\le \frac{1}{4\lambda }E_\lambda ^2\) holds since \(4\lambda ab\le (a+\lambda b)^2\), and hence \(\bar{B}<4\varpi ^*\) holds for all time by the gradient-flow structure. Uniqueness of the limit profile follows since the circle is the only closed elastica such that \(\bar{B}<4\varpi ^*\); this can be verified by energy quantization of closed elasticae. (Similar arguments have been previously used for the Willmore flow [22] through the Li–Yau inequality [25] and Bryant’s classification of Willmore spheres [8].)
We argue more on the energy quantization of closed elasticae. Thanks to the classification of closed elasticae, cf. [23], any planar closed elastica is an N-fold circle (with energy \(\bar{B}=4\pi ^2N^2\)) or an N-fold figure-eight elastica (with \(\bar{B}=4\varpi ^*N^2\), cf. Lemma 2.5 (iii)), while any non-planar closed elastica is an embedded nontrivial torus knot or its multiple covering, all of which satisfy \(\bar{B}[\gamma ]>16\pi ^2\) by the classical Fáry-Milnor theorem \(TC[\gamma ]>4\pi \), cf. [16, 31]. Therefore, in order to show that
\(\gamma \) is a closed elastica such that \(\bar{B}[\gamma ]<4\varpi ^*\) \(\Longrightarrow \) \(\gamma \) is a circle,
it is sufficient to check that \(4\varpi ^*<16\pi ^2.\) This is already proved in [35, 41] by estimating elliptic integrals directly. This also follows variationally, since our key Proposition 2.6 combined with the fact that a circle belongs to \(X_0\) and has energy \(\bar{B}=4\pi ^2\) implies that \(\varpi ^*<4\pi ^2\). Here we give an alternative variational proof which only relies on the classification of planar closed elasticae:
Remark 4.3
(Variational argument for \(4\varpi ^*<16\pi ^2\)) Let \(Z_0\) be the class of zero-rotation-number planar closed \(H^2\)-curves of unit-length. Since \(Z_0\) is closed in \(H^2\)-weak (or \(C^1\)) and open in \(H^2\), by a direct method and bootstrap argument there is a smooth minimizer, which is by classification a figure-eight elastica, and hence \(\min _{Z_0}B=4\varpi ^*\). On the other hand, another “figure-eight” curve \(\tilde{\gamma }\in Z_0\) made by osculating two circles has energy \(B[\tilde{\gamma }]=16\pi ^2>\min _{Z_0}B=4\varpi ^*\).
The energy quantization observed here is summarized as follows:
Proposition 4.4
Let C be the set of all closed elasticae in \(\textbf{R}^n\), \(n\ge 3\). Then there is a strictly increasing sequence \(\{b_k\}_{k=1}^{\infty }\subset [4\pi ^2,\infty )\) such that \(\bar{B}(C)=\{b_1,b_2,\dots \}\) and that \(b_1=4\pi ^2\), \(b_2=4\varpi ^*\), and \(b_3=16\pi ^2\). In addition, the preimage \(\bar{B}^{-1}(b_1)\) consists of circles, \(\bar{B}^{-1}(b_2)\) figure-eight elasticae, and \(\bar{B}^{-1}(b_3)\) two-fold circles.
We finally discuss elastic flows of open curves (cf. references in [28]), where we may also obtain similar thresholds as in the above theorems (with \(4\varpi ^*\) replaced by \(\varpi ^*\)). Such thresholds are particularly effective for the zero Navier boundary condition, i.e., \(\kappa (0)=\kappa (1)=0\), as there always exist admissible initial curves below \(\varpi ^*\). However, for the clamped boundary condition, i.e., \(\gamma (0)=P_0\), \(\gamma (1)=P_1\), \(\gamma _s(0)=V_0\), \(\gamma _s(1)=V_1\) for \(P_0,P_1,V_0,V_1\in \textbf{R}^n\) (with \(|V_0|=|V_1|=1\)), it may happen that no admissible curve exists below the threshold. It is also difficult to detect convergent limits; indeed, even global minimizers may not be unique, and it is a quite delicate issue to seek an effective range in which uniqueness holds; see [32] for details. The same discussion is also valid for the fixed-length case.
5 Elastic networks
Recently many studies have been devoted to understanding the geometric nature of networks. This is also the case for elastic curves, see e.g. [4, 9, 10, 12, 18, 19, 36].
In this section, by applying our key inequality, Proposition 2.6, we prove that among so-called \(\Theta \)-networks in \(\textbf{R}^n\) there exists a minimizer of the energy \(E:=E_1=B+L\), thus extending [10, Theorem 4.10] to a general codimension. Note that our problem is equivalent to minimizing \(E_\lambda =B+\lambda L\) or \(\bar{B}=LB\) up to rescaling; we choose E just for the sake of compatibility with [10].
A triplet of immersed \(H^2\)-curves \(\Gamma =(\gamma _1,\gamma _2,\gamma _3)\in (H^2(I;\textbf{R}^n))^3\) is called (n-dimensional) \(\Theta \)-network if the endpoints of the curves meet at triple junctions, i.e., \(\gamma _1(0)=\gamma _2(0)=\gamma _3(0)\) and \(\gamma _1(1)=\gamma _2(1)=\gamma _3(1)\), and in addition if the curves meet at the triple junctions with equal angles of \(\frac{2\pi }{3}\). Let \(\Theta (\textbf{R}^n)\) denote the class of all n-dimensional \(\Theta \)-networks. For any \(\Gamma =(\gamma _1,\gamma _2,\gamma _3)\in \Theta (\textbf{R}^n)\) we define
The main result in this section is the following
Theorem 5.1
(Existence of minimal elastic \(\Theta \)-networks) Let \(n\ge 2\). Then there exists an n-dimensional \(\Theta \)-network \(\bar{\Gamma }\in \Theta (\textbf{R}^n)\) such that
This result is not a straightforward consequence of the direct method since the set \(\Theta (\textbf{R}^n)\) has no appropriate compactness in general, in the sense that a component-curve may degenerate into a point under the boundedness of the energy. Such a phenomenon can be however ruled out for a minimizing sequence by showing that the minimal energy among “degenerate” networks is greater than the energy of a certain (nondegenerate) \(\Theta \)-network. In fact, Dall’Acqua–Novaga–Pluda [10] demonstrate that this strategy successfully works at least in the planar case \(n=2\) (see also [11] for a more detailed proof), using a computer-assisted argument in the middle. Our argument here extends their result to \(n\ge 2\), and also provides a non-computer-assisted analytic proof, cf. Lemma 5.6 below.
Now we enter the proof of Theorem 5.1.
We first indicate that Fenchel’s theorem can be extended to piecewise smooth closed curves. The proof is given in Appendix B.
Lemma 5.2
Let \(\gamma _1,\dots ,\gamma _N\in W^{2,1}(I;\textbf{R}^n)\subset C^1(\bar{I};\textbf{R}^n)\) be immersed curves such that \(\gamma _{j}(1)=\gamma _{j+1}(0)=p_j\), where we interpret \(\gamma _{N+1}:=\gamma _1\). For all \(j=1,\dots ,N\) let \(\theta _j\in [0,\pi ]\) denote the external angle at the vertex \(p_j\), i.e.,
Then
Using this lemma, we prove the following key dichotomy result as in [10]:
Lemma 5.3
Let \(\{\Gamma _j\}_j=\{(\gamma _{1,j},\gamma _{2,j},\gamma _{3,j})\}_j\subset \Theta (\textbf{R}^n)\) be a sequence such that \(\sup _{j}E[\Gamma _j]<\infty \). Then, up to reparameterization, translation, and taking a subsequence (all without relabeling), one of the following mutually exclusive assertions holds:
-
(i)
There exists a \(\Theta \)-network \(\Gamma =(\gamma _1,\gamma _2,\gamma _3)\in \Theta (\textbf{R}^n)\) such that for each \(i=1,2,3\), the sequence \(\{\gamma _{i,j}\}_j\) converges to \(\gamma _i\) as \(j\rightarrow \infty \) in the \(H^2\)-weak and \(C^1\) topology. In particular, \(\liminf _{j\rightarrow \infty }E[\Gamma _j] \ge E[\Gamma ]\).
-
(ii)
Up to permutations of the index i, we have \(L[\gamma _{1,j}]\rightarrow 0\) as \(j\rightarrow \infty \). In addition, there are two immersed \(H^2\)-curves \(\gamma _2,\gamma _3:I\rightarrow \textbf{R}^n\) such that \(\gamma _2(0)=\gamma _2(1)=\gamma _3(0)=\gamma _3(1)\) and such that the sequence \(\{\gamma _{2,j}\}_j\) (resp. \(\{\gamma _{3,j}\}_j\)) converges to \(\gamma _2\) (resp. \(\gamma _3\)) as \(j\rightarrow \infty \) in the both \(H^2\)-weak and \(C^1\) topology. In particular, \(\liminf _{j\rightarrow \infty }E[\Gamma _j] \ge E[\gamma _2]+E[\gamma _3]\).
Remark 5.4
The latter case corresponds to “degenerate” networks. In fact we have an additional constraint on the angles of \(\gamma _2\) and \(\gamma _3\) at their endpoints due to the original angle condition for \(\Theta \)-networks, cf. [10, Definition 3.1], but here (and there) such a constraint is not used.
Proof of Lemma 5.3
Throughout the proof we may suppose that after reparameterization, each curve \(\gamma _{i,j}\) has domain \(\bar{I}=[0,1]\) and is of constant speed, and also after translation, \(\gamma _{i,j}(0)=0\). The proof proceeds similarly to [10].
We first consider the case that \(\inf _j\min _{i=1,2,3}L[\gamma _{i,j}]>0\). Then the assumptions of constant-speed and energy-boundedness imply that
By the fact that \(\sup _{j}\max _{i=1,2,3}L[\gamma _{i,j}]\le \sup _{j}E[\Gamma _j]<\infty \) we deduce the \(L^2\)-boundedness of \(\{\gamma ''_{i,j}\}_j\) for each \(i=1,2,3\). Then, noting the nondegeneracy assumption on length, we deduce from a parallel argument to the proof of Proposition 3.17 that up to a subsequence each sequence \(\{\gamma _{i,j}\}_j\) converges in the desired sense, and in particular \(C^1\)-convergence ensures that the limit curves again form a \(\Theta \)-network, so that assertion (i) holds.
Next, we consider the case that, after permutations, \(\inf _jL[\gamma _{1,j}]=0\) holds but we still have \(\inf _j\min _{i=2,3}L[\gamma _{i,j}]>0\). In this case, the same argument as above ensures the desired convergence of \(\gamma _{2,j}\) and \(\gamma _{3,j}\) so that assertion (ii) holds.
We finally prove that only the above cases are possible to occur, i.e., no two (or three) components degenerate. For each pair of \(i,i'\in \{1,2,3\}\) with \(i\ne i'\), the \(\frac{2\pi }{3}\)-angle condition on \(\Theta \)-networks implies that the curves \(\gamma _{i,j}\) and \(\gamma _{i',j}\) form a piecewise closed curve with exactly two jumps of angle \(\theta _1=\theta _2=\pi /3\), and hence by Lemma 5.2 we have \(TC[\gamma _{i,j}]+TC[\gamma _{i',j}]\ge 4\pi /3\). By the Cauchy–Schwarz inequality that \(L[\gamma ]B[\gamma ]\ge TC[\gamma ]^2\),
Then energy-boundedness implies that \(\inf _{j}\max _{k=i,i'}L[\gamma _{k,j}]>0\). By the arbitrariness of the choice of i and \(i'\), up to taking a subsequence, there are at least two indices \(i\in \{1,2,3\}\) such that \(\inf _{j}L[\gamma _{i,j}]>0\). \(\square \)
In view of the above lemma we are naturally led to study the energy of “drops” appearing in the degenerate case. The next statement is about energy optimal drops; it is a key ingredient that this estimate holds in any codimension.
Proposition 5.5
Let \(\gamma :[a,b]\rightarrow \textbf{R}^n\) be an immersed \(H^2\)-curve such that \(\gamma (a)=\gamma (b)\). Then
where equality is attained if and only if \(\gamma \) is a half-fold figure-eight elastica of length \(\sqrt{\varpi ^*}\).
Proof
Since \(E[\gamma ]= B[\gamma ]+L[\gamma ]\ge 2\sqrt{L[\gamma ]B[\gamma ]}\), Proposition 2.6 implies that \(E[\gamma ]\ge 2\sqrt{\varpi ^*}\). In addition, equality holds if and only if \(B[\gamma ]=L[\gamma ]\) and \(L[\gamma ]B[\gamma ]=\varpi ^*\); in particular, \(L[\gamma ]=\sqrt{\varpi ^*}\). Rigidity in Proposition 2.6 implies that \(\gamma \) is a half-fold figure-eight elastica, completing the proof. \(\square \)
Now the main issue is reduced to showing that there is a (nondegenerate) \(\Theta \)-network of less energy than the minimal energy of degenerate networks consisting of two drops. More precisely, we prove
Lemma 5.6
There exists a planar \(\Theta \)-network \(\Gamma \in \Theta (\textbf{R}^2)\) such that \(E[\Gamma ] < 4\sqrt{\varpi ^*}\).
In [10] the test network \(\Gamma \) is taken to be a standard double-bubble, but the desired estimate is shown only through computer-assisted numerical computations, cf. [10, Lemma 4.9] borrowed from [12, Proposition 6.4]. Here we provide a completely analytic proof by a totally different approach. In fact, we construct a competitor \(\Gamma \) by using a piece of a wavelike elastica, the energy estimate of which is based on monotonicity along deformations of wavelike elasticae with respect to parameter.
Proof of Lemma 5.6
Let \(C_\textrm{conv}\) be the class of all locally convex planar curves \(\zeta =(\zeta ^1,\zeta ^2)^\top :[-a,a]\rightarrow \textbf{R}^2\) such that \(\zeta ^1(x)=-\zeta ^1(-x)\) and \(\zeta ^2(x)=\zeta ^2(-x)\le 0\) hold for any \(x\in [-a,a]\), and such that \(\pm \zeta ^1(\pm a)>0\) and \(\zeta ^2(\pm a)=0\). Below we construct a planar competitor \(\Gamma =(\gamma _1,\gamma _2,\gamma _3)\in \Theta (\textbf{R}^2)\) with the property that \(\gamma _1\in C_\textrm{conv}\), \(\gamma _2=P_2\gamma _1\), where \(P_2\) denotes the refection with respect to the \(e_1\)-axis, and \(\gamma _3\) is a segment along the \(e_1\)-axis.
Recall (from Sect. 2.2 or [35]) that a half-period of a wavelike elastica in the plane \(\textbf{R}^2\) is given by \(\gamma _\textrm{wave}^m(s)\) in (2.5) with \(s\in [-K(m),K(m)]\). Then the same computation in the proof of Lemma 2.5 (iii) shows that
In addition, since the value of the first component of \(\gamma _\textrm{wave}^m\) at \(s=\pm K(m)\) is given by \((\gamma _\textrm{wave}^m)^1(\pm K(m))=\pm (2E(m)-K(m))\), and since \(2E(m)-K(m)>0\) holds for any \(m<m^*\) (by definition of \(m^*\) and monotonicity of \(2E-K\)), we have \(\gamma _\textrm{wave}^m\in C_\textrm{conv}\) for \(m<m^*\).
We then define (up to reparameterization) a network \(\Gamma _\textrm{wave}^m\) for \(m<m_*\) by
where \(\gamma _\textrm{seg}^m(x):=\big ( (2E(m)-K(m))x,0 \big )^\top \) for \(x\in (-1,1)\), cf. Fig. 6. (Note that \(\Gamma _\textrm{wave}^m\) is not necessarily a \(\Theta \)-network since the \(\frac{2\pi }{3}\)-angle condition at the junctions may not be satisfied.) By (5.2), and by \(L[\gamma _\textrm{seg}^m]=2(2E(m)-K(m))\) and \(B[\gamma _\textrm{seg}^m]=0\), we have
Then, after rescaling so that \(E=2\bar{B}^\frac{1}{2}\), namely taking
with \(\Lambda _m:=\sqrt{B[\Gamma _\textrm{wave}^m]/L[\Gamma _\textrm{wave}^m]}\), we have
In particular, by this representation and by definition of \(m^*\) and \(\varpi ^*\),
We now prove that the above-defined network \(\hat{\Gamma }_\textrm{wave}^m\) with parameter \(m=\frac{3}{4}<m^*\), cf. Lemma 3.10, gives the desired \(\Theta \)-network. More precisely, we prove:
-
(i)
\(\hat{\Gamma }_\textrm{wave}^{3/4}\in \Theta (\textbf{R}^2)\), i.e., satisfies the \(\frac{2\pi }{3}\)-angle condition at the junctions.
-
(ii)
\(E[\hat{\Gamma }_\textrm{wave}^{3/4}]<4\sqrt{\varpi ^*}\).
We first prove property (i). It suffices to consider \(\Gamma _\textrm{wave}^{3/4}\) (before rescaling). In addition, by symmetry we only need to prove that if we let \(\phi _m\in (0,\pi )\) denote the angle made by the tangent vector of \(\gamma _\textrm{wave}^{3/4}\) at the endpoint \(s=-K(m)\) and the vector \(-e_1=(-1,0)^\top \), then \(\phi _{3/4}=\pi /3\). Arguing similarly to the proof of Lemma 2.5 (iv), we obtain
In particular, \(\cos \phi _{3/4}=1/2\) and hence \(\phi _{3/4}=\pi /3\).
We finally prove property (ii). To this end, by (5.3) and (5.4), and by the fact that \(\frac{3}{4}<m^*\), it is sufficient to prove that the energy in (5.3) is strictly increasing in \(m\in (0,1)\). It is thus sufficient to show monotonicity of the functions f and g defined through \(h(m):=E(m)-(1-m)K(m)\) by
By the well-known derivative formulae (cf. [49, p.521]) that
we find that \(E'=\tfrac{1}{2m}h-\tfrac{1}{2}K\) and \(K'=\tfrac{1}{2m(1-m)}h\), and also that \(h'=\frac{1}{2}K\). Hence,
This implies the desired monotonicity of the energy in (5.3). \(\square \)
We are now ready to complete the proof of Theorem 5.1.
Proof of Theorem 5.1
Let \(\{\Gamma _j\}_j\subset \Theta (\textbf{R}^n)\) be a minimizing sequence such that \(E[\Gamma _j]\rightarrow \inf _{\Theta (\textbf{R}^n)}E\). Then, possibly after reparameterization, translation, and taking a subsequence, either assertion (i) or (ii) in Lemma 5.3 holds. However, assertion (ii) does not occur in view of the last lower semicontinuity condition that \(\liminf _{j\rightarrow \infty }E[\Gamma _j]\ge E[\gamma _2]+E[\gamma _3]\); indeed, since each of the curves \(\gamma _2\) and \(\gamma _3\) in (ii) is a competitor in Proposition 5.5, we have \(E[\gamma _2]+E[\gamma _3]\ge 4\sqrt{\varpi ^*}\); on the other hand, by Lemma 5.6,
Therefore we have assertion (i), which implies that there exists a minimizing \(\Theta \)-network \(\Gamma \in \Theta (\textbf{R}^n)\) since \(E[\Gamma ]\le \lim _{j\rightarrow \infty }E[\Gamma _j]=\inf _{\Theta (\textbf{R}^n)}E \le E[\Gamma ]\). \(\square \)
Concerning minimal elastic \(\Theta \)-networks, there are many further problems remained open; for example, as is posed in [10, 12], symmetry and global injectivity are still open even in the planar case. Component-wise injectivity as in [10, Proposition 4.11] can be shown via computer-assisted estimates also for any \(n\ge 2\).
Remark 5.7
(Generalized \(\Theta \)-networks) In fact, in the proof in Lemma 5.6, not only the energy \(E[\hat{\Gamma }_\textrm{wave}^m]\) but also the angle \(\phi _m\) in (5.5) is monotone in m, and hence the same assertion holds for a more general class of networks; namely, we may replace the symmetric angle condition \((\frac{2\pi }{3},\frac{2\pi }{3},\frac{2\pi }{3})\) by the partially asymmetric condition \((\alpha ,\alpha ,2\pi -2\alpha )\) with \(\alpha \in (0,\pi -\phi ^*)\), where we recall that \(\phi ^*=\phi _{m^*}\), cf. Lemma 2.5 (iv). In addition, if \(n>2\), then we may also allow the condition \((\alpha ,\alpha ,\beta )\) for any \(\beta \in (0,2\pi -2\alpha )\), where junctions are not asymptotically planar but conical; our construction in Lemma 5.6 also covers this case since we may just replace \(P_2\gamma _\textrm{wave}^m\) by \(R_\theta \gamma _\textrm{wave}^m\), where \(R_\theta \) denotes the rotation matrix around the axis \(\gamma _\textrm{seg}^m\) through a suitable angle \(\theta \in (0,\pi )\), to satisfy the desired angle condition. Accordingly, a parallel argument implies the same existence result of a minimal nondegenerate network as in Theorem 5.1 in such generalized classes.
However, the above upper bound \(\alpha <\pi -\phi ^*\) (\(<\frac{3\pi }{4}\)) would not be optimal in view of numerical computations in [10, 12]. In fact, we have \(4\sqrt{\varpi ^*}\approx 21.207\), while a suitable double-bubble \(\Gamma _\alpha \) corresponding to a given angle \(\alpha \in (0,\pi )\) has energy \(E[\Gamma _\alpha ]=4\sqrt{2\alpha (2\alpha +\sin \alpha )}\) and in particular \(E[\Gamma _{3\pi /4}]\approx 20.214\). Hence, at least up to \(\alpha \le \frac{3\pi }{4}\), a counterpart of Lemma 5.6 holds so that there still exists a nondegenerate minimal elastic network.
It would be interesting to ask whether and when minimal elastic networks degenerate.
Data Availability
This manuscript has no associated data.
References
Abramowitz, M., Stegun, I.A. (eds.): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover Publications Inc., New York, 1992. Reprint of the 1972 edition
André, Y.: G-fonctions et transcendance. J. Reine Angew. Math. 476, 95–125 (1996)
Avvakumov, S., Sossinsky, A.: On the normal form of knots. Russ. J. Math. Phys. 21(4), 421–429 (2014)
Barrett, J.W., Garcke, H., Nürnberg, R.: Elastic flow with junctions: variational approximation and applications to nonlinear splines. Math. Models Methods Appl. Sci. 22(11), 1250037 (2012)
Bartels, S., Reiter, P.: Stability of a simple scheme for the approximation of elastic knots and self-avoiding inextensible curves. Math. Comput. 90(330), 1499–1526 (2021)
Blatt, S.: Loss of convexity and embeddedness for geometric evolution equations of higher order. J. Evol. Equ. 10(1), 21–27 (2010)
Brendle, S.: Two-point functions and their applications in geometry. Bull. Am. Math. Soc. (NS) 51(4), 581–596 (2014)
Bryant, R.L.: A duality theorem for Willmore surfaces. J. Differ. Geom. 20(1), 23–53 (1984)
Dall’Acqua, A., Lin, C.-C., Pozzi, P.: Elastic flow of networks: long-time existence result. Geom. Flows 4(1), 83–136 (2019)
Dall’Acqua, A., Novaga, M., Pluda, A.: Minimal elastic networks. Indiana Univ. Math. J. 69(6), 1909–1932 (2020)
Dall’Acqua, A., Novaga, M., Pluda, A.: Minimal elastic networks. arXiv:1712.09589v2 (2021)
Dall’Acqua, A., Pluda, A.: Some minimization problems for planar networks of elastic curves. Geom. Flows 2(1), 105–124 (2017)
Dall’Acqua, A., Pozzi, P.: A Willmore–Helfrich L2-flow of curves with natural boundary conditions. Commun. Anal. Geom. 22(4), 617–669 (2014)
Djondjorov, P.A., Ts. Hadzhilazova, M., Mladenov, I.M., Vassilev, V.M.: Explicit Parameterization of Euler’s Elastica, Geometry, Integrability and Quantization, pp. 175–186 (2008)
Dziuk, G., Kuwert, E., Schätzle, R.: Evolution of elastic curves in Rn: existence and computation. SIAM J. Math. Anal. 33(5), 1228–1245 (2002)
Fáry, I.: Sur la courbure totale d’une courbe gauche faisant un noeud. Bull. Soc. Math. France 77, 128–138 (1949)
Fischler, S., Rivoal, T.: Linear independence of values of G-functions. J. Eur. Math. Soc. (JEMS) 22(5), 1531–1576 (2020)
Garcke, H., Menzel, J., Pluda, A.: Willmore flow of planar networks. J. Differ. Equ. 266(4), 2019–2051 (2019)
Garcke, H., Menzel, J., Pluda, A.: Long time existence of solutions to an elastic flow of networks. Commun. Partial Differ. Equ. 45(10), 1253–1305 (2020)
Gerlach, H., Reiter, P., von der Mosel, H.: The elastic trefoil is the doubly covered circle. Arch. Ration. Mech. Anal. 225(1), 89–139 (2017)
Huisken, G.: A distance comparison principle for evolving curves. Asian J. Math. 2(1), 127–133 (1998)
Kuwert, E., Schätzle, R.: Removability of point singularities of Willmore surfaces. Ann. Math. (2) 160(1), 315–357 (2004)
Langer, J., Singer, D.A.: Knotted elastic curves in R3. J. Lond. Math. Soc. (2) 30(3), 512–520 (1984)
Langer, J., Singer, D.A.: The total squared curvature of closed curves. J. Differ. Geom. 20(1), 1–22 (1984)
Li, P., Yau, S.T.: A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact surfaces. Invent. Math. 69(2), 269–291 (1982)
Linnér, A.: Unified representations of nonlinear splines. J. Approx. Theory 84(3), 315–350 (1996)
Love, A.E.H.: A Treatise on the Mathematical Theory of Elasticity, 4th edn., p. 1944. Dover Publications, New York (1944)
Mantegazza, C., Pluda, A., Pozzetta, M.: A survey of the elastic flow of curves and networks. Milan J. Math. 89(1), 59–121 (2021)
Mantegazza, C., Pozzetta, M.: The lojasiewicz–Simon inequality for the elastic flow. Calc. Var. Partial Differ. Equ. 60(1), Paper No. 56, 17 (2021)
Marques, F.C., Neves, A.: Min–max theory and the Willmore conjecture. Ann. Math. (2) 179(2), 683–782 (2014)
Milnor, J.W.: On the total curvature of knots. Ann. Math. 52(2), 248–257 (1950)
Miura, T.: Elastic curves and phase transitions. Math. Ann. 376(3–4), 1629–1674 (2019)
Miura, T.: A diameter bound for compact surfaces and the Plateau-Douglas problem. Ann. Sc. Norm. Super. Pisa Cl. Sci. 23(4), 1707–1721 (2022)
Miura, T., Müller, M., Rupp, F.: Optimal thresholds for preserving embeddedness of elastic flows. , Am. J. Math. (to appear) arXiv:2106.09549
Müller, M., Rupp, F.: A Li–Yau inequality for the 1-dimensional Willmore energy. Adv. Calc. Var. 16(2), 337–362 (2023)
Novaga, M., Pozzi, P.: A second order gradient flow of p-elastic planar networks. SIAM J. Math. Anal. 52(1), 682–708 (2020)
Polden, A.: Curves and surfaces of least total curvature and fouth-order flows/ Ph.D. thesis (1996)
Rupp, F.: On the Lojasiewicz–Simon gradient inequality on submanifolds. J. Funct. Anal. 279(8), 108708, 33 (2020)
Rupp, F., Spener, A.: Existence and convergence of the length-preserving elastic flow of clamped curves arXiv:2009.06991
Sachkov, Y.L.: Maxwell strata in the Euler elastic problem. J. Dyn. Control Syst. 14(2), 169–234 (2008)
Sachkov, Y.L.: Closed Euler elasticae. Tr. Mat. Inst. Steklova 278, 227–241 (2012)
Singer, D.A.: Lectures on Elastic Curves and Rods. Curvature and variational modeling in physics and biophysics. pp. 3–32 (2008)
Sullivan, J.M.: Curves of Finite Total Curvature. Discrete Differential Geometry, pp. 137–161 (2008)
Topping, P.: Mean curvature flow and geometric inequalities. J. Reine Angew. Math. 503, 47–61 (1998)
Truesdell, C.: The influence of elasticity on analysis: the classic heritage. Bull. Am. Math. Soc. N.S. 9(3), 293–310 (1983)
von der Mosel, H.: Minimizing the elastic energy of knots. Asymptot. Anal. 18(1–2), 49–65 (1998)
Wen, Y.: Curve straightening flow deforms closed plane curves with nonzero rotation number to circles. J. Differ. Equ. 120(1), 89–107 (1995)
Wheeler, G.: On the curve diffusion flow of closed plane curves. Ann. Mat. Pura Appl. 192(5), 931–950 (2013)
Whittaker, E.T., Watson, G.N.: A Course of Manalysis. An Introduction to the General Theory of Infinite Pand of Analytic Functions: with an Account of the Principal Transcendental Functions, 4th edn. Reprinted, Cambridge University Press, New York (1962)
Wojtowytsch, S.: Confined elasticae and the buckling of cylindrical shells. Adv. Calc. Var. 14(4), 555–587 (2021)
Zeidler, E.: Applied Functional Analysis: Main Principles and Their Applications, Applied Mathematical Sciences, vol. 109. Springer, New York (1995)
Acknowledgements
The author would like to thank Marius Müller, Fabian Rupp, and Ryotaro Sakamoto for their helpful comments and discussions. This work is in part supported by JSPS KAKENHI Grant Numbers 18H03670, 20K14341, and 21H00990, and by Grant for Basic Science Research Projects from The Sumitomo Foundation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Andrea Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: The parameter of figure-eight elastica
Here we give a proof of Lemma 3.10. Our proof is based on the series expansion and provides very simple machinery to estimate the value of the parameter \(m^*\) of a figure-eight elastica, which can be as accurate as one needs in principle.
Proof of Lemma 3.10
Recall the known series expansions of E and K (e.g. found in [1, 17.3.11, 17.3.12]) that are absolutely convergent for any \(m\in (0,1)\):
Letting \(f(m):= \frac{2}{\pi }(K(m)-2E(m))\), we deduce from these expansions that
Since \(m^*\) is a unique root of the increasing continuous function f, it is now sufficient to prove that
To this end we first state general criteria for clarity. Let
Then the following general estimate holds for any \(m\in (0,1)\) and any integer \(N\ge 1\):
Indeed, the lower bound is trivial since \(A_nm^n\ge 0\) and \(S_N(m)\) is a partial sum of \(\sum A_nm^n\), while the upper bound also follows since \(A_n\le 1\) holds by induction and hence \(\sum A_nm^n \le S_N(m) + \sum _{n=N+1}^\infty m^n = T_N(m)\). We thus obtain general criteria to compare f(m) and 0; namely, by (A.1) and (A.2) it is now sufficient to find some examples of \(N,N'\ge 1\) such that \(T_{N}(\frac{75}{100})<1\) and \(S_{N'}(\frac{85}{100})>1\). An explicit computation (of finite operations multiplying integers) shows that
thus completing the proof. \(\square \)
Appendix B: Fenchel’s theorem for curves with vertices
In this section we prove Lemma 5.2. Fenchel’s theorem asserts that the total curvature \(TC[\gamma ]=\int _\gamma |\kappa |ds\) satisfies \(TC[\gamma ]\ge 2\pi \) for smooth closed curves in \(\textbf{R}^n\), and hence by the standard mollifier approximation the same is true for \(W^{2,1}\) closed curves. Here we extend this to curves with vertices, or in other words to piecewise \(W^{2,1}\) closed curves. This generalizes [10, Theorem A.1] from \(n=2\) to \(n\ge 2\) by a different approach.
Our argument is based on the intuitive understanding that the external angle \(\theta \) can be directly incorporated into the total curvature TC. Indeed, if we consider a planar polygon with vertices of external angle \(\theta _1,\dots ,\theta _N\in (0,\pi )\), then by rounding each vertex by a small circular arc of angle \(\theta _j\), we obtain a closed curve \(\gamma \) of class \(C^{1,1}=W^{2,\infty }\) such that \(TC[\gamma ]=\theta _1+\dots +\theta _N\). Our proof is devoted to extending this idea to the general case. (Another possible approach might be to use Sullivan’s FTC-framework [43].)
Proof of Lemma 5.2
Up to reparameterizations we may assume that \(|\gamma _j|\equiv 1\) for all j; in this case the domain intervals are of the form \([0,L_j]\) (not necessarily \(L_j=1\)). Without loss of generality we may assume that \(\theta _j>0\) for all j; indeed, if \(\theta _j=0\), then we may regard the composite of \(\gamma _j\) and \(\gamma _{j+1}\) as a single \(W^{2,1}\)-curve. Below we first consider the generic case that \(\max _j\theta _j<\pi \), and then separately treat the case where \(\theta _j=\pi \) occurs.
Case 1: \(\theta _j<\pi \) for all j. The proof of this case consists of two steps: We first argue for locally polygonal vertices, and then extend it to the general case by approximation.
Suppose that at all vertices \(p_j\), both \(\gamma _j\) and \(\gamma _{j+1}\) are (locally) given by straight segments in small neighborhoods of the corresponding endpoints. In this case, around each vertex \(p_j\), the composite of two curves \(\gamma _j\) and \(\gamma _{j+1}\) makes a planar edge with a vertex of external angle \(\theta _j<\pi \), and hence we can concretely round each angular part by using circular arcs \(C_j\) of small radius and central angle \(\theta _j\). As a result we obtain a closed \(W^{2,1}\)-curve \(\bar{\gamma }\). Since all the segment parts have zero total curvature, while \(TC[C_j]=\theta _j\), we have
On the other hand, Fenchel’s theorem for closed \(W^{2,1}\)-curves implies that \(TC[\bar{\gamma }]\ge 2\pi \). Combining these two relations completes the proof in this case.
Finally we prove the general case. In view of the above “locally polygonal” case, it is sufficient to show that for each j there exists an immersed curve \(\gamma _{j,\delta }\in W^{2,1}(0,L_j;\textbf{R}^n)\) such that the family \(\gamma _{1,\delta },\dots ,\gamma _{N,\delta }\) not only has the same vertices \(p_1,\dots ,p_N\) and angles \(\theta _1,\dots ,\theta _N\) as \(\gamma _1,\dots ,\gamma _N\), but also satisfies the above “locally polygonal” assumption, and also \(\lim _{\delta \rightarrow +0}TC[\gamma _j^\delta ]= TC[\gamma _j]\). It is sufficient to prove that such a procedure can be done in a small neighborhood of each endpoint independently. Let \(\gamma \in W^{2,1}(0,L;\textbf{R}^n)\subset C^1([0,L];\textbf{R}^n)\) be a given unit-speed curve. Let \(\eta \in C^\infty (\textbf{R})\) be a nonincreasing cut-off function such that \(\eta \equiv 1\) on \((-\infty ,\frac{1}{2}]\) and \(\eta \equiv 0\) on \([1,\infty )\). Let \(\eta _\delta (x):=\eta (x/\delta )\) for \(\delta \in (0,\frac{L}{2})\). Let \(\xi (s):=\gamma (0)+s\gamma '(0)\) for \(s\in [0,L]\) and
This curve satisfies that \(\gamma _\delta (0)=\xi (0)=\gamma (0)\) and \(\gamma _\delta '(0)=\xi '(0)=\gamma '(0)\), that \(\gamma _\delta ''\equiv 0\) on \([0,\delta /2]\) (i.e., locally segment near \(s=0\)), and that \(\gamma _\delta \equiv \gamma \) on \([\delta ,L]\). It remains to show that \(TC[\gamma _\delta ]\rightarrow TC[\gamma ]\). It suffices to show that \(\gamma _\delta \rightarrow \gamma \) in \(W^{2,1}\) (since this also implies \(C^1\)-convergence). Here we explicitly compute only the second-order derivative, which is the most delicate part. Noting that the \(C^1\)-curve \(\gamma \) can be expanded as \(\gamma (s)=\gamma (0)+s\gamma '(0)+o(s)\) and \(\gamma '(s)=\gamma '(0)+o(1)\) so that \(\gamma (s)-\xi (s)=o(s)\) and \(\gamma '(s)-\xi '(s)=o(1)\), we compute
and hence, noting that \(\eta ^{(i)}(s/\delta )\equiv 0\) for \(s\ge \delta \) and \(i=0,1,2\), we obtain
Showing similarly that \(\gamma '_\delta \rightarrow \gamma '\) and \(\gamma _\delta \rightarrow \gamma \) in \(L^1\), we complete the proof.
Case 2: \(\theta _j=\pi \) for some j. We may assume that \(\theta _j=\pi \) holds for exactly one j since otherwise the assertion becomes trivial. To the vertex \(p_j\) we attach a teardrop-like planar \(W^{2,1}\)-curve \(\eta ^\delta :[0,L_\delta ]\rightarrow \textbf{R}^n\) such that \(\eta ^\delta (0)=\eta ^\delta (L_\delta )=p_j\), \(\gamma _j'(L_j)=(\eta ^\delta )'(0)=-(\eta ^\delta )'(L_\delta )\) (\(=-\gamma _{j+1}'(0)\)), and \(\lim _{\delta \rightarrow 0}TC[\eta ^\delta ]=\pi \). Such a curve can be constructed by closing a semi-circle of radius \(\delta \) by adding almost straight curves; see [33, Lemma 2.2] for more details. Then we may regard the composite of \(\gamma _j,\eta _\delta ,\gamma _{j+1}\) as a single \(W^{2,1}\)-curve \(\tilde{\gamma }_j^\delta \) with total curvature \(TC[\tilde{\gamma }_j^\delta ]=TC[\gamma _j]+(\pi +o(1))+TC[\gamma _{j+1}]\) as \(\delta \rightarrow 0\). Therefore, applying Case 1 to the family \(\gamma _1,\dots ,\gamma _N\) with \(\gamma _j,\gamma _{j+1}\) replaced by \(\tilde{\gamma }_j^\delta \), and taking \(\delta \rightarrow 0\), we complete the proof. \(\square \)
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/.