- Research
- Open Access
- Published:
Computing confined elasticae
Advances in Continuous and Discrete Models volume 2022, Article number: 58 (2022)
Abstract
We devise a numerical scheme for computing arc-length parameterized curves of low bending energy that are confined to convex domains. We address the convergence of the discrete formulations to a continuous model and the unconditional stability of an iterative scheme. Numerical simulations confirm the theoretical results and lead to a classification of observed optimal curves within spheres.
1 Introduction
Equilibrium configurations of thin elastic rods have been of interest since the times of Euler. The mathematical modeling of these deformable structures has been reduced from three dimensions to a one-dimensional problem for the centerline of the rod \(u:I\to \mathbb{R}^{3}\); see [8, 22, 29, 32, 37]. In the bending regime the rod is inextensible so that \(|u'|=1\) on I. Considering a circular cross section and omitting twist contributions, the elastic energy reduces to the functional
for a parameter \(\kappa >0\) that describes the bending rigidity. Elasticae, i.e., rods of minimal bending energy, can be stated explicitly, e.g., for periodic boundary conditions [33, 34]. Applications of elastic thin rods include DNA modeling [1, 27, 43], the movement of actin filaments in cells [36] or of thin microswimmers [41], the fabrication of textiles [30], and investigating the reach of a rod injected into a cylinder [38].
To obtain minimally bent elastic rods, the bending energy can be reduced by a gradient-flow approach. This method can be used for analytic considerations, cf. for instance [19, 26, 34, 39, 42] and numerical computations [2–7, 13–15, 20, 21, 25, 45]. An efficient finite-element approach with an accurate treatment of the inextensibility condition can be used to find equilibria of free elastic rods [7] and self-avoiding rods [12, 13]. It can also be generalized to include twist contributions defined via torsion quantities [11]. We follow common conventions and refer to rods as elastic curves when twist contributions are omitted.
In this paper, we prpose a generalization of the existing scheme [7] to calculate elasticae of confined elastic curves. Confinements of elastic structures arise on a variety of length scales, such as DNA plasmids or biopolymers inside a cell or chamber [18, 40]. The boundary of closely packed elastic sheets or a wire in a container can be modeled as confined elastic rods in two dimensions [16, 23]. Planar settings have been addressed numerically and analytically in [24, 46], and a numerical scheme for thick elastic curves in containers is devised in [44].
We propose an approach that can be used for rods embedded in arbitrary dimensions confined to convex domains. For the mathematical modelling, we use a gradient flow to minimize the bending energy. The admissible rod configurations during the flow are restricted to a domain \(D\subset \mathbb{R}^{3}\).
The task to unbend a rod inside D can be translated to minimizing \(E_{\mathrm{bend}}\) among all
Since the constraint \(v(x)\in D\) will be treated via a penalty approach, we also make use of the set of unconstrained curves
The bounded linear operator \(L_{\mathrm{bc}}:H^{2}(I;\mathbb{R}^{3}) \to \mathbb{R}^{\ell}\) realizes appropriate boundary conditions, e.g., periodic boundary conditions are imposed via \(L_{\mathrm{bc}}(v) = 0\) with
if \(I=(a,b)\). Since we aim at the construction of an efficient numerical scheme, we restrict our considerations to those subsets D that can be written as finite intersections of simple quadratic confinements \(D_{r}\), \(r=1,2,\dots ,r_{D} \), i.e.,
for symmetric positive semidefinite matrices \(G_{D_{r}} \in \mathbb{R}^{3\times 3}\). We call the finite intersection a composite quadratic confinement. Our scheme therefore excludes the sets defined by, e.g., other vector norms, such as \(D=\{y\in \mathbb{R}^{3}: |y|_{p}^{2}\leq 1\}\) with \(p\neq 2\). For ease of presentation, we often consider one set \(D_{r}\) and then omit the index r. Some basic simple quadratic confinements are the ball with radius R and \(G_{D}=I_{3}/R^{2}\), the ellipsoid with radii \(R_{1}\), \(R_{2}\), \(R_{3}\) and \((G_{D})_{ij}=\delta _{ij}/R_{i}^{2}\), or the space between two parallel planes with distance 2R with normal vector n and \(G_{D}=nn^{t}/R^{2}\). Infinite cylinders have \((G_{D})_{ii}=0\) for exactly one index i. Boxes and finite cylinders can be constructed as composite quadratic confinements. In general, any simple or composite quadratic confinement is a convex, closed, and connected set. We remark that our convergence analysis also applies to nonquadratic confinements, but the efficiency of the devised iterative scheme substantially depends on this feature.
We enforce the confinement via a potential approach, so a nonnegative term is added to the bending energy whenever the curve violates the confining restrictions. We define the potential \(V_{D}:\mathbb{R}^{3}\to \mathbb{R}\) for a simple quadratic confinement D that vanishes in D and is strictly positive on \(\mathbb{R}^{3}\backslash D\) via
where the concave part \(V_{D}^{\mathrm{cv}}\) is given by the continuous function
The potential is used to define the penalizing confinement energy functional
which is nonnegative by the definition of the potential and zero if and only if the curve entirely lies within D. For a composite confinement defined via a family \((D_{r})_{r=1,\dots ,r_{D} }\) of simple quadratic confinements, we sum the corresponding confinement energies up, i.e.,
We remark that translated domains and half-spaces, e.g., \(D = \{y\in \mathbb{R}^{3}: |y-y_{D}|_{D}^{2} \le 1\}\) and \(D = \{y\in \mathbb{R}^{3}: a_{D}\cdot y \le 1 \}\), can be similarly treated.
Given \(\varepsilon >0\), a curve \(u_{\varepsilon}\in \mathcal{A}\) is called an (approximately) confined elastica if it is stationary for the functional
in the set \(\mathcal{A}\). If \(V_{D}(u_{\varepsilon})=0\) almost everywhere on I, then the rod is called an exactly confined elastica. The parameter ε determines the steepness of the quadratic well potential and defines a length-scale for the penetration depth of the curve into the space outside of D.
Considering a simple quadratic confinement \(D\subset \mathbb{R}^{3}\), we let \(V_{D}\in C^{1}(\mathbb{R}^{3};\mathbb{R})\) be the corresponding quadratic-well potential and choose \(\varepsilon >0\). Trajectories \(u\in H^{1}([0,T];L^{2}(I;\mathbb{R}^{3}))\cap L^{\infty}([0,T]; \mathcal{A})\) are defined by gradient flow evolutions. In particular, for an inner product \((\cdot ,\cdot )_{\star}\) on \(L^{2}(I;\mathbb{R}^{3})\) and an initial configuration \(u(0,x)=u_{0}(x)\), we define the temporal evolution as the solution of the time-dependent nonlinear system of partial differential equations
for test functions \(v\in \mathcal{V}\) with a suitable set \(\mathcal{V}\) and all \(t\in [0,T]\). The function \(\lambda \in L^{1}([0,T]\times I)\) is a Lagrange multiplier associated with the arc-length condition. Confined elasticae are stationary points for (2).
For time discretization, we use backward differential quotients. Let \(\tau >0\) be the fixed time-step, and let \(k\geq 0\) be a nonnegative integer. We set \(u^{0}:=u_{0}\) and define the time step
The gradient flow system is evaluated implicitly except for the concave confinement energy, which is handled explicitly due to its nonlinearity and antimonotonicity, and the Lagrange multiplier term, which is treated semiimplicitly. We hence have
for suitable test curves \(v\in \mathcal{V}\). To ensure that the parameterization by arc-length is approximately preserved throughout the gradient flow, the constraint \(|[u^{k}]'|^{2} =1\) is linearized. This yields the first-order orthogonality condition
By imposing the same condition on test curves, i.e.,
the Lagrange multiplier term disappears in (4). Given \(u^{0},u^{1},\ldots ,u^{k}\in H^{2}(I;\mathbb{R}^{3})\), there are unique functions \(d_{t}u^{k+1}\in H^{2}(I;\mathbb{R}^{3})\) that solve the gradient flow equation (3) with all v satisfying (5) and \(L_{\mathrm{bc}}[v]=0\). This is a direct consequence of the Lax–Milgram lemma, provided that \(v\mapsto \|v\|_{\star }+ \|v''\|\) defines an equivalent norm on the kernel of \(L_{\mathrm{bc}}\) as a closed subspace of \(H^{2}(I;\mathbb{R}^{3})\).
For numerical computations, we subdivide I into a partition \(\mathcal{P}_{h}\) of maximal length h, which can be represented by the nodes \(x_{0}< x_{1}<\cdots <x_{N}\). We use the space of piecewise cubic, globally continuously differentiable splines on \(\mathcal{P}_{h}\) as a conforming subspace \(V_{h}\subset H^{2}(I)\). On an interval \([x_{i},x_{i+1}]\), these functions are entirely defined by the values and the derivatives at the endpoints. We also employ the space of piecewise linear, globally continuous finite element functions determined by the nodal values and denote the set by \(W_{h}\). The corresponding interpolation operators are denoted as \(\mathcal{I}_{3,h}\) and \(\mathcal{I}_{1,h}\), respectively. We impose the orthogonality of \(d_{t}u_{h}^{k+1}\) and \(u_{h}^{k}\) only at the nodes. The confinement quantities are evaluated by mass lumping, so only the values
at the nodes are required. In the nodal points the concavity of \(V_{D}^{\mathrm{cv}}\) is used to prove an energy monotonicity property.
We consider a controlled violation of the arclength constraint at the nodes of the partitioning determined by a parameter \(\delta _{h}\ge 0\) and define the discrete admissible set via
The set of test functions relative to \(u_{h}\) is
We thus obtain the following fully practical numerical scheme to compute confined elasticae: Given \(u_{h}^{0} \in \mathcal{A}_{h}\), define \(u_{h}^{1},\ldots ,u_{h}^{k}\in V_{h}^{3}\) by calculating \(d_{t}u_{h}^{k+1}\in \mathcal{F}_{h}[u_{h}^{k}]\) such that
for all \(v_{h}\in \mathcal{F}_{h}[u_{h}^{k}]\).
The key feature of our numerical method is that it detects stationary configurations of low energy. It can in general not be guaranteed that these are global minimizers, but the stable symmetries observed in the experiments for different starting values indicate that this is often the case. Our convergence theory assumes almost global discrete minimizers. Different approaches based on working with the Euler–Lagrange equations or using additional properties of the energy functional can lead to more general convergence theories but are beyond the scope of our paper.
The remainder of the paper is structured into a first part proving the convergence of the proposed numerical scheme and into a second part that presenting the results of numerical experiments and describes confined elasticae for closed rods in balls. The numerical simulations were done in the web application Knotevolve [9], which is accessible at aam.uni-freiburg.de/knotevolve.
2 Convergence results
In this section, we provide convergence results following ideas from [10]. The first result establishes the unconditional variational convergence of the discrete minimization problems to the continuous one defining confined elasticae. The following partial Γ convergence result relies on a regularity condition and is a consequence of conformity properties of the discrete model. We assume the setting introduced above, in particular, that \(L_{\mathrm{bc}}:H^{2}(I;\mathbb{R}^{3})\to \mathbb{R}^{\ell}\) is a bounded linear operator depending on the boundary values of a function and its derivatives and that \(D\subset \mathbb{R}^{3}\) is convex and closed.
Proposition 1
Define \(E_{h}: H^{2}(I;\mathbb{R}^{3}) \to \mathbb{R} \cup \{+\infty\}\) via
if \(u_{h} \in \mathcal{A}_{h}\) and \(E_{h}[u_{h}] = + \infty \) if \(u_{h}\in H^{2}(I;\mathbb{R}^{3})\setminus \mathcal{A}_{h}\). Analogously, let
for \(u\in \mathcal{A}_{D}\) and \(E_{\mathrm{bend}}[u]=+\infty \) if \(u\in H^{2}(I;\mathbb{R}^{3}) \setminus \mathcal{A}_{D}\).
-
(i)
For every sequence \((u_{h})_{h>0} \subset H^{2}(I;\mathbb{R}^{3})\) with weak limit \(u \in H^{2}(I;\mathbb{R}^{3})\), we have \(E_{\mathrm{bend}}[u] \le \liminf_{(h,\varepsilon )\to 0} E_{h, \varepsilon}[u_{h}]\).
-
(ii)
For every \(u\in \mathcal{A}_{D}\) with \(u \in H^{3}(I;\mathbb{R}^{3})\), there exists a sequence \((u_{h})_{h>0} \subset H^{2}(I;\mathbb{R}^{3})\) such that \(\lim_{(h,\varepsilon )\to 0} E_{h,\varepsilon}[u_{h}] = E_{ \mathrm{bend}}[u]\).
Proof
Throughout this proof, we write \(h\to 0\) for a sequence \((h,\varepsilon )\to 0\).
(i) We consider a sequence \((u_{h})_{h>0} \subset H^{2}(I;\mathbb{R}^{3})\) and a limit \(u\in H^{2}(I;\mathbb{R}^{3})\) with \(u_{h} \rightharpoonup u\) in \(H^{2}(I;\mathbb{R}^{3})\) as \(h\to 0\). The compact embedding of \(H^{2}\) into \(L^{2}\) allows us to assume (after extraction of a subsequence) that \(u_{h} \to u\) strongly in \(L^{2}(I;\mathbb{R}^{3})\). To show that \(E[u]\le \liminf_{h\to 0} E_{h,\varepsilon}[u_{h}]\), it suffices to consider the case that the limit inferior is finite. Since \(|\mathcal{I}_{1,h} |u_{h}'|^{2} -1|\le \delta _{h}\), we find that
which implies that \(|u'|^{2} =1\) in I. Similarly, since \(\|\mathcal{I}_{1,h} V_{D}(u_{h})\|_{L^{1}(I)} \to 0\), it follows that \(u\in D\) in I. Since the bending energy is weakly lower semicontinuous and the potential term is nonnegative, we deduce the stated inequality.
(ii) Given \(u\in \mathcal{A}_{D}\) such that \(u\in H^{3}(I;\mathbb{R}^{3})\), we define \(u_{h} = \mathcal{I}_{3,h}u\) and note that \(u_{h} \to u\) in \(H^{2}(I;\mathbb{R}^{3})\) and \(u_{h}(x_{i}) \in D\) as well as \(|u_{h}'(x_{i})|=1\) for all \(i=0,1,\dots ,N\), in particular, \(u_{h}\in \mathcal{A}_{h}\). This implies that \(\lim_{h \to 0} E_{h,\varepsilon}[u_{h}] = E_{\mathrm{bend}}[u]\). □
Remark 2
The regularity condition can be avoided if a density result for inextensible confined curves in the spirit of [31] is available. Alternatively, a standard regularization of a given curve \(u\in \mathcal{A}_{D}\) can be considered following [11, 14], which requires an appropriate scaling of the discretization and penalty parameters.
The proposition implies the convergence of discrete (almost) minimizers, provided that the boundary conditions imply a coercivity property and exact minimizers are regular. We say that \(u_{h} \in \mathcal{A}_{h}\) is a discrete almost minimizer if \(E_{h,\varepsilon}[u_{h}] \le \min_{v_{h}\in \mathcal{A}_{h}} E_{h, \varepsilon}[v_{h}] + \varrho _{h}\) with tolerance \(\varrho _{h}\ge 0\) satisfying \(\varrho _{h} \to 0\) as \(h\to 0\).
Corollary 3
Assume that minimizers \(u\in \mathcal{A}_{D}\) for \(E_{\mathrm{bend}}\) satisfy \(u\in H^{3}(I;\mathbb{R}^{3})\) and that there exists \(c>0\) such that \(\|v\|_{H^{2}(I)} \le c \|v''\|_{L^{2}(I)}\) for all \(v\in H^{2}(I;\mathbb{R}^{3})\) with \(L_{\mathrm{bc}}[v]=0\) or D is bounded. Then sequences of discrete almost minimizers for \(E_{h,\varepsilon}\) accumulate weakly in \(H^{2}(I;\mathbb{R}^{3})\) at minimizers for \(E_{\mathrm{bend}}\).
Proof
The assumed inequality implies that discrete almost minimizers \(u_{h} = u_{\mathrm{bc},h} + u_{0,h}\) are bounded in \(H^{2}(I;\mathbb{R}^{3})\), where \((u_{\mathrm{bc},h})_{h>0}\) is a bounded sequence of discrete functions that satisfies \(L_{\mathrm{bc}}(u_{\mathrm{bc},h}) = \ell _{\mathrm{bc}}\). Given a weak accumulation point \(u\in H^{2}(I;\mathbb{R}^{3})\) of the sequence \((u_{h})_{h>0}\) with \(u_{h}\in \mathcal{A}_{h}\) for all \(h>0\) and a minimizer \(\widetilde{u}\in H^{3}(I;\mathbb{R}^{3})\) for E, we choose a sequence \(\widetilde{u}_{h}\) as in Proposition 1(ii). We then have that
Hence \(u\in \mathcal{A}_{D}\) is minimal for E. □
Our second convergence result concerns an estimate on the confinement violation.
Proposition 4
Let \(u_{h} \in \mathcal{A}_{h}\). Then
Proof
The Gagliardo–Nirenberg inequality bounds the norm in \(L^{p}(I)\) by the product of norms in \(L^{q}(I)\) and \(W^{1,r}(I)\) with exponents \(1-\alpha \) and α such that \(\frac{1}{p}+\frac{1}{q}=\alpha (1-\frac{1}{r}+\frac{1}{q})\); see [35]. With \(p=r=\infty \), \(q=2\), and \(\alpha =1/3\), we have
The \(W^{1,\infty}\) norm can be uniformly bounded due to the stability of the nodal interpolation operator in \(W^{1,\infty}\) and the nodal constraints \(|u_{h}'(x_{i})|^{2} =1\), \(i=0,1,\dots ,N\). The term \((\varepsilon ^{-1} \|\mathcal{I}_{1,h}(|u_{h}|_{D}-1)_{+}\|_{L^{2}}^{2})^{1/3}\) is bounded by the third root of the potential part of the discrete energy. □
Remark 5
A stronger estimate on the constraint violation can be derived if the solution u and the Lagrange multiplier λ are sufficiently regular, so that the Euler–Lagrange equations hold in strong form, i.e., \(\kappa u^{(4)} + \varepsilon ^{-1} \nabla V_{D}(u) = (\lambda u')'\), which implies \(\|\nabla V_{D}(u)\|_{L^{\infty}(I)} = \mathcal{O}(\varepsilon )\), where \(|\nabla V_{D}(y)|\) is proportional to the distance of a point \(y\in \mathbb{R}^{3}\) to the set D.
Our third convergence result follows from the unconditional energy stability of the numerical scheme and states that the sequence of corrections \((d_{t} u_{h}^{k})_{k=1,2,\dots}\) converges to zero as \(k\to \infty \). Moreover, it provides a bound on the violation of the arclength constraint due to its linearized treatment.
Proposition 6
Given an inner product \((\cdot ,\cdot )_{\star}\) on \(H^{2}(I;\mathbb{R}^{3})\), the iterates \((u_{h}^{k})_{k=0,1,\dots}\) of scheme (6) satisfy
for all \(K\ge 0\), and, provided that \(\|v\|_{L^{\infty}(I)} \le c_{\star }\|v\|_{\star}\) for all \(v\in H^{2}(I;\mathbb{R}^{3})\) with \(L_{\mathrm{bc}}(v) = 0\),
Proof
By the concavity of \(V_{D}^{\mathrm{cv}}\) we have that
This implies that by choosing \(v_{h} = d_{t} u_{h}^{k+1}\) in (6) we have
Multiplication by τ and summation over \(k=0,1,\dots ,K-1\) yield the stability estimate. The orthogonality \([u_{h}^{k-1}]' \cdot [d_{t} u_{h}^{k}]'\) for \(k=1,2,\dots ,K\) at the nodes leads to the relation
Summing this identity over \(k=1,2,\dots ,K\), noting that \(|[u_{h}^{0}]'|^{2} =1\) at the nodes, and including the energy stability prove the estimate. □
3 Elasticae in balls and cylinders
Our numerical calculations are performed in Matlab and with the Knotevolve web application [9]. We consider closed elastic rods confined to balls and cylinders. The highly symmetric stationary configurations found for balls give rise to the following definition, which provides a concise classification via two integer numbers. For the scalar product \((d_{t}u_{h}^{k+1},v_{h})_{\star}\), we use the \(L^{2}\) inner product. In this case the factor \(c_{\star}\) is h-dependent with \(c_{\star }\le c h^{-1/2}\) so that the step-size condition \(\tau h^{-1/2} \to 0\) needs to be imposed to guarantee the results of the previous section. The parameter values \(\kappa =10\) and \(\varepsilon =1/(10\kappa )\) are employed if not stated otherwise.
Definition 7
An arclength parameterized curve is called a μ-circle if it is a μ-fold covered planar circle. It is called a μ-ν-clew if it shows a ν-fold symmetry around one axis running through the center of the ball. The integer μ is then defined as the winding number of u around the rotational axis.
3.1 Confined trefoil knot
As an illustrative example of the gradient flow, we use a trefoil knot of length 31.9 that is confined to a ball of radius 4.6 with \(h\approx 0.3\) and \(\tau =0.1h\).Footnote 1 Snapshots of the evolution are depicted in Fig. 1. Also, the bending energy \(\kappa \|[u_{h}^{k}]''\|^{2}/2\), the confinement energy \((2\varepsilon )^{-1}E_{D}[u_{h}^{k}]\), and the violation of arc-length parameterization \(\|\mathcal{I}_{1,h}\{|[u_{h}^{k}]'|^{2}-1\}\|_{L^{\infty}}\) are visualized as functions of k.
First, the trefoil knot evolves into a double-covered circle. At some point, it unfolds into a bent lemniscate whose outermost points reach the surface of the ball. This configuration then moves to the left and starts to unfold into a buckled circle that runs close to the ball’s surface. The final elastica is a 1-2-clew. The symmetry axis of the elastica, which is also depicted in Fig. 1, is different from the symmetry axis of the initial curve. The local curvature of the 1-2-clew is periodic along the curve with periodicity 4. We generally observe that the curvature of a μ-ν-clew is 2ν-periodic.
A similar shape was previously also obtained for modeling semiflexible biopolymers in spherical domains that are slightly smaller than the flat circle of the same length; see [40]. The shape that we call 1-2-clew also arises when packing a thick rope of maximal length without self-penetration on the sphere [28].
3.2 Closed curves in spheres
When confining a rod of length L to balls of varying radii, we observe a multitude of equilibrium configurations. Examples are illustrated in Fig. 2, where we used \(C_{4}\) and \(C_{5}\) symmetric initial configurations. Both the symmetry number ν and the winding number μ depend on the symmetry of the initial configuration and on the ratio \(L/R\). All elasticae run close to the surface of the ball and slightly exceed the confining domain. With decreasing radius, either the winding number or the symmetry number is gradually increased by 2. This follows from an increasing number of self-intersections of the rod that always affect two of its segments. The gradient flow used to minimize the energy preserves certain symmetries. When starting with an even symmetry, the elastica is an odd-even-clew or an odd-circle as illustrated in Fig. 2. An initially odd rotational symmetry in turn generally leads to even-odd-clews or even-circles. An exception is the transition from the 2-1-clew to the 1-2-clew as illustrated in the introductory example. This transition involves large deformations. When the radius of the ball is too small, the confinement is too restrictive for the curve to undergo such large transitions.
The parameter ε can be understood as a length scale of maximal penetration into the complement of D. Numerical experiments for an initial \(C_{4}\) symmetric closed rod of length 28.38 confined to a sphere of radius 3.1 and for an initially \(C_{5}\) symmetric closed rod of length 34.08 confined to a sphere of radius 2.5 were carried out for multiple values of ε.Footnote 2 The numerical results shown in Fig. 3 indicate that
Thus the maximal penetration decreases linearly with ε whilst not depending on whether the initial rod configuration lies inside D. This indicates that the estimate as sketched in Remark 5 is valid in the case of spherical confinements.
We can observe that when varying ε for the same initial configuration, the final shape is not unique; see Fig. 3. In the first example (dots), mainly 1-2-clews were obtained as final shapes, but for one value of ε, also a 2-1-clew could be observed. The second example (crosses), which relaxed to a 2-3-clew for sufficiently small ε, turned into a twofold covered circle whenever the confinement was too weak. This observation underlines that the energy landscape is nontrivially dependent on all parameters. A priori, it is in general difficult to specify which stationary configuration will be selected or if a given state is globally optimal.
The unconfined elastica of a closed rod of length L is the circle of radius \(r_{L}=L/(2\pi )\). The bending energy of this elastica is given by \(E_{L}=\kappa L/(2r_{L}^{2})=2\kappa \pi ^{2}/L\). To categorize the equilibrium configurations of closed rods that are confined to balls of radius R, we evaluate \((E_{\mathrm{bend}}/E_{L})^{1/2}\) as a function of \(r_{L}/R\). The first quantity measures the excess bending induced by the confinement, whereas the second quantity determines how many times too small the confining ball is compared to the unconfined elastica. We remark that for μ-fold covered circles, both quantities equal μ.
When starting with the four- and five-fold symmetric initial configurations, we observe two distinct families of the bending energy dependency on the ratio \(r_{L}/R\). The result is shown in Fig. 4. The elasticae in the five-fold symmetric case follow the pattern 1-circle, 1-2-clew, 3-2-clew, 3-circle, 3-4-clew, 5-4-clew, etc. for increasing \(r_{L}/R\). In the four-fold symmetric case, we find (1-circle, 1-2-clew), 2-1-clew, 2-circle, 2-3-clew, 4-3-clew, 4-circle, 4-5-clew, and so on. The first two are special as they involve a large deformation of the rod when transiting from the even-odd to odd-even. Both patterns are very regular and are expected to continue for larger \(r_{L}/R\).
During the unfolding process, intermediate nearly stationary configurations are observed. These include a shape that could be called a 1-3-clew or multiply covered circles that are completely inside the ball. This can be seen in Fig. 1: The initial rod evolves into a two-fold covered circle in the first place; later, the circle opens up. These configurations seem to be saddle-point structures as they are attractive with respect to the previous configuration, whereas there are adjacent configurations with smaller total energy. As the numerical representation of the rod cannot match those saddle-points perfectly, the rod exits those configurations after a certain number of steps.
For irregularly shaped initial rod configurations, the previously described elastica shapes are found as well.Footnote 3 Hence the symmetry of the final shape can solely be attributed to the ratio \(r_{L}/R\) and to the question whether the initial configuration prefers the odd-even or even-odd elasticae family.
Conjecture 8
Consider a rod of length L confined to a ball of radius R. Let \(r_{L}=L/(2\pi )\) be the radius of the unconfined elastica, and let \(j\in \mathbf{N}\) be a positive integer with \(j< r_{L}/R< j+1\). Then there is a number \(\xi (j)\in (0,1)\) such that the globally least bent confined elastica is a j-(\(j+1\))-clew if \(r_{L}/R< j+\xi \). Otherwise, the global optimizer is the (\(j+1\))-j-clew. If \(r_{L}/R<1\), then the flat 1-circle is an exactly confined elastica. In the cases where \(r_{L}/R=j\), the j-fold covered circle is the global elastica.
Interestingly, all elasticae for \(r_{L}/R\geq 1\) lie on the surface of the ball up to the penetration due to the finite potential. Brunnett and Crouch [17] derived a differential equation for the geodesic curvature \(\kappa _{g}\) of the rod on the sphere, i.e., the projection of the total curvature on the tangent plane at each point:
Here C is a constant consisting of the tension energy of the rod and the sphere square curvature. This differential equation can be solved by the Jacobi elliptic cosine function. The parameters of these functions must be adjusted so that the curvature is periodic. When using the solution to calculate the actual rod position, a nine-component ODE is solved, again imposing periodicity. This raises the question whether the resulting configurations coincide with our experimentally observed μ-ν-clews and μ-circles, thus leading to an analytic definition of our clews. For the μ-ν-clew, ν and μ should arise when taking the periodic boundary conditions into account for the geodesic curvature and the rod position, respectively. It is also of analytic interest if all elasticae confined to balls are in fact elasticae on the sphere. A proof would however go beyond the scope of this paper.
3.3 Closed curves in cylinders
We close our discussion by experimentally investigating closed curves confined to cylinders of different heights and radii.Footnote 4 As shown in Fig. 5, large cylinder heights apparently lead to flat configurations that resemble semicircles connected by straight lines. If the cylinder is long enough, then we assume that the true global elastica consists of two semicircles connected by two straight lines. If the height and diameter are equal, then we observe a shape similar to a 4-3-clew (for height and diameter 6) or a 3-2-clew (for height and diameter 8). Other combinations of height and diameter reveal a large variety of optimal shapes. A concise classification as in the case of spherical confinement however is not obvious.
4 Conclusions
We have devised a stable and convergent numerical scheme for approximation of confined inextensible curves with low bending energy. The scheme leads to an experimental classification of stationary configurations. Numerical studies confirm the theoretical results.
Availability of data and materials
Not applicable.
Notes
In Knotevolve, these configurations can be loaded as torus knots with 101 nodes, \(p=1\), and either \(q=4\) or \(q=5\), respectively.
See, for instance, a knot with crossing number 10 relaxing into a 3-2-clew: aam.uni-freiburg.de/knotevolve/10_053?Rho=0&StepW=0.1&CnfmType=ellipsoid&CnfmRadius=3,3,3
References
Balaeff, A., Mahadevan, L., Schulten, K.: Modeling DNA loops using the theory of elasticity. Phys. Rev. E 73, 031919 (2006). https://doi.org/10.1103/PhysRevE.73.031919
Barrett, J.W., Garcke, H., Nürnberg, R.: Numerical approximation of anisotropic geometric evolution equations in the plane. IMA J. Numer. Anal. 28(2), 292–330 (2008). https://doi.org/10.1093/imanum/drm013
Barrett, J.W., Garcke, H., Nürnberg, R.: Numerical approximation of gradient flows for closed curves in \(\mathbb{R}^{d}\). IMA J. Numer. Anal. 30(1), 4–60 (2010). https://doi.org/10.1093/imanum/drp005
Barrett, J.W., Garcke, H., Nürnberg, R.: The approximation of planar curve evolutions by stable fully implicit finite element schemes that equidistribute. Numer. Methods Partial Differ. Equ. 27(1), 1–30 (2011). https://doi.org/10.1002/num.20637
Barrett, J.W., Garcke, H., Nürnberg, R.: Finite element methods for fourth order axisymmetric geometric evolution equations. J. Comput. Phys. 376, 733–766 (2019). https://doi.org/10.1016/j.jcp.2018.10.006
Barrett, J.W., Garcke, H., Nürnberg, R.: Stable discretizations of elastic flow in Riemannian manifolds. SIAM J. Numer. Anal. 57(4), 1987–2018 (2019). https://doi.org/10.1137/18M1227111
Bartels, S.: A simple scheme for the approximation of the elastic flow of inextensible curves. IMA J. Numer. Anal. 33(4), 1115–1125 (2013). https://doi.org/10.1093/imanum/drs041
Bartels, S.: Finite element simulation of nonlinear bending models for thin elastic rods and plates. In: Geometric Partial Differential Equations. Part I. Handb. Numer. Anal., vol. 21, pp. 221–273. Elsevier/North-Holland, Amsterdam (2020)
Bartels, S., Falk, P., Weyer, P.: Knotevolve – a tool for relaxing knots and inextensible curves (2020). https://aam.uni-freiburg.de/knotevolve/
Bartels, S., Palus, C.: Stable gradient flow discretizations for simulating bilayer plate bending with isometry and obstacle constraints. IMA J. Numer. Anal. 42, 1903–1928 (2022). https://doi.org/10.1093/imanum/drab050
Bartels, S., Reiter, P.: Numerical solution of a bending-torsion model for elastic rods. Numer. Math. 146(4), 661–697 (2020). https://doi.org/10.1007/s00211-020-01156-6
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). https://doi.org/10.1090/mcom/3633
Bartels, S., Reiter, P., Riege, J.: A simple scheme for the approximation of self-avoiding inextensible curves. IMA J. Numer. Anal. 38(2), 543–565 (2018). https://doi.org/10.1093/imanum/drx021
Bonito, A., Guignard, D., Nochetto, R., Yang, S.: Numerical analysis of the LDG method for large deformations of prestrained plates (2021). arXiv:2106.13877
Bonito, A., Guignard, D., Nochetto, R.H., Yang, S.: LDG approximation of large deformations of prestrained plates. J. Comput. Phys. 448, 110719 (2022). https://doi.org/10.1016/j.jcp.2021.110719
Boué, L., Adda-Bedia, M., Boudaoud, A., Cassani, D., Couder, Y., Eddi, A., Trejo, M.: Spiral patterns in the packing of flexible structures. Phys. Rev. Lett. 97, 166104 (2006). https://doi.org/10.1103/PhysRevLett.97.166104
Brunnett, G., Crouch, P.E.: Elastic curves on the sphere. Adv. Comput. Math. 2(1), 23–40 (1994). https://doi.org/10.1007/BF02519034
Choi, M.C., Santangelo, C.D., Pelletier, O., Kim, J.H., Kwon, S.Y., Wen, Z., Li, Y., Pincus, P.A., Safinya, C.R., Kim, M.W.: Direct observation of biaxial confinement of a semiflexible filament in a channel. Macromolecules 38(23), 9882–9884 (2005). https://doi.org/10.1021/ma051348n
Dall’Acqua, A., Lin, C.-C., Pozzi, P.: Evolution of open elastic curves in \(\mathbb{R}^{n}\) subject to fixed length and natural boundary conditions. Analysis 34(2), 209–222 (2014). https://doi.org/10.1515/anly-2014-1249
Deckelnick, K., Dziuk, G.: Error analysis for the elastic flow of parametrized curves. Math. Comput. 78(266), 645–671 (2009). https://doi.org/10.1090/S0025-5718-08-02176-5
Deckelnick, K., Dziuk, G., Elliott, C.M.: Computation of geometric partial differential equations and mean curvature flow. Acta Numer. 14, 139–232 (2005). https://doi.org/10.1017/S0962492904000224
Dill, E.H.: Kirchhoff’s theory of rods. Arch. Hist. Exact Sci. 44(1), 1–23 (1992). https://doi.org/10.1007/BF00379680
Donato, C.C., Gomes, M.A.F., de Souza, R.E.: Scaling properties in the packing of crumpled wires. Phys. Rev. E 67, 026110 (2003). https://doi.org/10.1103/PhysRevE.67.026110
Dondl, P.W., Mugnai, L., Röger, M.: Confined elastic curves. SIAM J. Appl. Math. 71(6), 2205–2226 (2011). https://doi.org/10.1137/100805339
Dörfler, W., Nürnberg, R.: Discrete gradient flows for general curvature energies. SIAM J. Sci. Comput. 41(3), A2012–A2036 (2019). https://doi.org/10.1137/18M122844X
Dziuk, G., Kuwert, E., Schätzle, R.: Evolution of elastic curves in \(\mathbb{R}^{n}\): existence and computation. SIAM J. Math. Anal. 33(5), 1228–1245 (2002). https://doi.org/10.1137/S0036141001383709
Furrer, P.B., Manning, R.S., Maddocks, J.H.: DNA rings with multiple energy minima. Biophys. J. 79(1), 116–136 (2000). https://doi.org/10.1016/S0006-3495(00)76277-1
Gerlach, H., von der Mosel, H.: What are the longest ropes on the unit sphere? Arch. Ration. Mech. Anal. 201(1), 303–342 (2011). https://doi.org/10.1007/s00205-010-0390-y
Green, A.E., Laws, N., Naghdi, P.M.: A linear theory of straight elastic rods. Arch. Ration. Mech. Anal. 25(4), 285–298 (1967). https://doi.org/10.1007/BF00250931
Grothaus, M., Marheineke, N.: On a nonlinear partial differential algebraic system arising in the technical textile industry: analysis and numerics. IMA J. Numer. Anal. 36(4), 1783–1803 (2016). https://doi.org/10.1093/imanum/drv056
Hornung, P.: Deformation of framed curves with boundary conditions. Calc. Var. Partial Differ. Equ. 60(3), Paper No. 87 (2021). https://doi.org/10.1007/s00526-021-01980-0
Kirchhoff, G.: Ueber das Gleichgewicht und die Bewegung eines unendlich dünnen elastischen Stabes. J. Reine Angew. Math. 56, 285–313 (1859). https://doi.org/10.1515/crll.1859.56.285
Langer, J., Singer, D.A.: Knotted elastic curves in \(\mathbb{R}^{3}\). J. Lond. Math. Soc. (2) 30(3), 512–520 (1984). https://doi.org/10.1112/jlms/s2-30.3.512
Langer, J., Singer, D.A.: Curve straightening and a minimax argument for closed elastic curves. Topology 24(1), 75–88 (1985). https://doi.org/10.1016/0040-9383(85)90046-1
Leoni, G.: A First Course in Sobolev Spaces, 2nd edn. Graduate Studies in Mathematics, vol. 181, p. xxii+734. Am. Math. Soc., Providence (2017). https://doi.org/10.1090/gsm/181
Manhart, A., Oelz, D., Schmeiser, C., Sfakianakis, N.: An extended filament based lamellipodium model produces various moving cell shapes in the presence of chemotactic signals. J. Theor. Biol. 382, 244–258 (2015). https://doi.org/10.1016/j.jtbi.2015.06.044
Mora, M.G., Müller, S.: Derivation of the nonlinear bending-torsion theory for inextensible rods by Γ-convergence. Calc. Var. Partial Differ. Equ. 18(3), 287–305 (2003). https://doi.org/10.1007/s00526-003-0204-2
Mulcahy, C.G., Su, T., Wicks, N., Reis, P.M.: Extending the reach of a rod injected into a cylinder through axial rotation. J. Appl. Mech. 83(5), 051003 (2016). https://doi.org/10.1115/1.4032500
Öelz, D.B.: On the curve straightening flow of inextensible, open, planar curves. SeMA J. 54, 5–24 (2011). https://doi.org/10.1007/bf03322585
Ostermeir, K., Alim, K., Frey, E.: Buckling of stiff polymer rings in weak spherical confinement. Phys. Rev. E 81, 061802 (2010). https://doi.org/10.1103/PhysRevE.81.061802
Ranner, T.: A stable finite element method for low inertia undulatory locomotion in three dimensions. Appl. Numer. Math. 156, 422–445 (2020). https://doi.org/10.1016/j.apnum.2020.05.009
Reiter, P., Schumacher, H.: Sobolev gradients for the Möbius energy. Arch. Ration. Mech. Anal. 242(2), 701–746 (2021). https://doi.org/10.1007/s00205-021-01680-1
Shi, Y., Hearst, J.E.: The Kirchhoff elastic rod, the nonlinear Schrödinger equation, and DNA supercoiling. J. Chem. Phys. 101(6), 5186–5200 (1994). https://doi.org/10.1063/1.468506
Walker, S.: A descent scheme for thick elastic curves with self-contact and container constraints. Preprint (2021). https://www.math.lsu.edu/~walker/pdfs/Walker2021_elastic_curve_self_contact.pdf
Walker, S.W.: Shape optimization of self-avoiding curves. J. Comput. Phys. 311, 275–298 (2016). https://doi.org/10.1016/j.jcp.2016.02.011
Wojtowytsch, S.: Confined elasticae and the buckling of cylindrical shells. Adv. Calc. Var. 14(4), 555–587 (2021). https://doi.org/10.1515/acv-2019-0033
Acknowledgements
Not applicable.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
All results have been obtained in joint work. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
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
Bartels, S., Weyer, P. Computing confined elasticae. Adv Cont Discr Mod 2022, 58 (2022). https://doi.org/10.1186/s13662-022-03731-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-022-03731-7
MSC
- 65N30
- 35Q74
- 65N12
- 74K10
Keywords
- Rods
- Elasticity
- Constraints
- Numerical scheme