Abstract
Aiming at simulating elastic rods, we discretize a rod model based on a general theory of hyperelasticity for inextensible and unshearable rods. After reviewing this model and discussing topological effects of periodic rods, we prove convergence of the discretized functionals and stability of a corresponding discrete flow. Our experiments numerically confirm thresholds, e.g., for Michell’s instability, and indicate a complex energy landscape, in particular in the presence of impermeability.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Long slender objects—such as springy wires made of plastic or metal—can be approximated by curves. In many cases, equilibrium shapes are characterized in terms of the bending energy, i.e., (half of) the total squared curvature. The latter has a long history, dating back to Bernoulli, and can be seen as the starting point of elasticity theory.
The bending energy depends just on the centerline of an object and does not incorporate other physical effects such as twisting, friction, or shear. For instance, only relying on the bending energy one cannot explain why a telephone cable tends to curl. It also does not preclude self-penetration.
In this paper we extend the study of inextensible elastic curves by the first author [4] to inextensible and unshearable elastic rods. To this end we discretize the minimization problem
and devise a numerical scheme in order to simulate a suitable \(H^{2}\)-like gradient flow.
Here \(c_{\mathrm{b}},c_{\mathrm{t}}>0\) are bending and torsion rigidities that are determined by the Lamé coefficients of the material and geometrical properties of the rod. Furthermore, \(L_{\mathrm {bc}}^{\mathrm{rod}}: H^{2}\times H^{1}\rightarrow Y\) encodes the boundary data \(\ell _{\mathrm{bc}}^{\mathrm{rod}}\) in some finite-dimensional linear space Y. We assume that it only involves linear combinations of boundary points of \(y\), \(y'\), and b. Therefore \(L_{\mathrm {bc}}^{\mathrm{rod}}\) is continuous with respect to weak convergence in \(H^{2}\times H^{1}\). In particular \(L_{\mathrm {bc}}^{\mathrm{rod}}\) can be used to incorporate periodicity in case of a closed curve \(y\).
For ease of readability, we will rescale \(I_{\mathrm{rod}}\) by \(1/c_{\mathrm{t}}\) from now on and abbreviate
We will always assume \({\mathcal {A}}\) to be nonempty which is guaranteed if the boundary data \(\ell _{\mathrm{bc}}^{\mathrm{rod}}\) is compatible with the frame condition and implies that the distance between the endpoints is strictly less than L. Any boundary data on a frame F can be matched by adjusting a reference frame \(F_{0}\) using a suitable cumulative angle function \(\varphi \) (see Sect. 2.3 below).
1.1 Elastic rods
Based on the work of Mora and Müller [52] for general rods, the minimization problem (\(\mathrm{P}_\mathrm{rod}\)) can be rigorously derived from a general three-dimensional hyperelastic model, see [5] for a short formal derivation. In the situation of rods with circular cross-section, made of some isotropic and homogeneous material, we find that \(c_{\mathrm{b}}\ge 2c_{\mathrm t}\). According to Coleman and Swigon [16, p. 195] there is some indication that values less than \(\varkappa =\tfrac{3}{2}\) are appropriate for modeling DNA.
The study of elastic rods has a long history. It is closely related to elasticae, i.e., stationary points of the bending energy, see Levien [43] and references therein. A comprehensive presentation on the subject from the perspective of elasticity theory is provided by Antman [1].
We find applications in different fields such as the modeling of coiling and kinking of submarine cables (Zajac [76]; Goyal et al. [32, 33]), cell filaments (Manhart et al. [46]), computer graphics (Bergou et al. [8]; Spillmann and Teschner [65]), and biomechanics [58]. Modeling in molecular biology and engineering has stimulated a lot of activity in this field as well.
A prototypical model for DNA supercoiling which has received considerable attention is the twisted elastic ring investigated by Maddocks in various collaborations [23, 38, 45, 47, 48]. The solution of the corresponding minimization problem leads to an intrinsically straight uniform rod with equal bending stiffness. The analysis bases on Hamiltonian formulations of rod mechanics. The general idea is to impose a twist rate \(\beta \) on a unit loop.
For small values of \(\beta \) the round circle (with a uniform twist) remains an equilibrium. This phenomenon is known as Michell’s instability [50], see Goriely [29] and references therein. Larger perturbations lead to instability and bifurcation phenomena, cf. Goriely and Tabor [30, 31].
Ivey and Singer [37] reconsidered the problem from a variational point of view, obtaining a complete description of the space of closed and quasiperiodic minimizers. Recently, a reformulation in terms of symplectic geometry has been given by Needham [53]. Regarding the discretization of elasticae we refer to Scholtes et al. [63].
1.2 Discretization
We aim at numerically detecting configurations of framed curves with low bending and twisting energy. For this we consider the gradient flow of the energy functional in (\(\mathrm{P}_\mathrm{rod}\)), a weighted sum of an elastic bending energy term and a functional that tracks the twisting of the frame about its centerline.
We implement a constraint ensuring that the curves stay close to arclength parametrization if the initial curve is arclength parametrized. Moreover the bending energy can be replaced by the squared \(L^{2}\) norm of the second derivative of the curve which is a crucial point in the analysis of the discretization.
Related discretization approaches and the corresponding approximation results have been obtained by Le Tallec, Mani, and Rochinha [42] and Arunakirinathar and Reddy [2]. Here, we devise a discretization based on a reformulation of the energy functional that provides coercivity properties also when the frame constraints are only approximately satisfied. Moreover, the reformulation allows us to develop a fully practical and stable method for the iterative solution of the discrete variational problem.
The design of physically meaningful discretizations of rod models where twist is often modeled in terms of rotations is subject of continuing research in mechanical engineering. For instance, objective and path-independent interpolation strategies for so-called geometrically exact beams, including orthogonal (see, e.g., [62]) and non-orthogonal (see. e.g., [60]) interpolations of quaternions have been discussed. The situation becomes more involved on curved initial geometries [49]. An outline on major contributions to beam formulations can be found in [19].
1.3 Gradient flows
Recently, gradient flows involving the bending energy have received much attention, with respect to rigorous analysis, see Dziuk et al. [25], as well as regarding discretization aspects, see Deckelnick and Dziuk [22], Barrett et al. [3], Bartels [4], Dall’Acqua et al. [20], Pozzi and Stinner [57]. Lin and Schwetlick [44] also include frames in their model. A Newton scheme has been used in [42] to determine stationary configurations for the bending torsion model considered in this article.
1.4 Impermeability
Based on earlier work aiming at modeling DNA plasmids [15, 18, 71, 73], Coleman and Swigon [16] take self-contact phenomena into account and discuss the interaction between certain topological quantities such as writhe, excess link, and the number of self-contact points. In [17] they include the case of (two-bridge) torus knots. In contrast to a related approach by Starostin [66] they impose a (small) positive thickness.
The corresponding case of open curves with appropriate boundary conditions has also been studied by several authors. Van der Heijden et al. [74] provide a comprehensive study of jump phenomena in clamped rods with and without self-contact. A more detailed classification of the respective equilibrium configurations is given by Neukirch and Henderson [54]. Clauvelin, Audoly, and Neukirch [14] modeled the situation of a small loosely knotted arc with open end-points and studied the shape of the set of self-contact and the influence of twist applied to the end-points as well. Starostin and van der Heijden [67] model the situation of so-called two-braids, i.e., structures formed by two elastic rods winding around each other, which also covers the case of (2, b)-torus knots [68, 69]. The dynamic evolution of intertwined clamped loops subject to varying loads has been addressed by Goyal et al. [32, 33].
Some of the above-mentioned models involve initial assumptions on the geometry, especially regarding the contact situation, focussing on explicit constructions for modeling and simulation. Our approach of treating (\(\mathrm{P}_\mathrm{rod}\)) does not rely on any precondition.
We will redefine (\(\mathrm{P}_\mathrm{rod}\)) in Sect. 6.6 to incorporate impermeability. To this end, we rely on the tangent-point energies whose impact on the evolution of (unframed) curves has been discussed in [6]. We thereby extend a regularization ansatz due to von der Mosel [75] with O’Hara’s energies [55] in place of the tangent-point functional. In fact, one might conjecture that any self-avoiding functional will qualitatively produce the same results.
Computationally, this case is particularly challenging since strong forces related to bending effects have to by compensated by repulsive forces related to the tangent-point functional to avoid self-intersections. Regularization approaches guaranteeing global injectivity have been successfully implemented in different fields, see Krömer and Valdman [39] for an example in the context of elasticity.
The existence of curves minimizing (\(\mathrm{P}_\mathrm{rod}\)) follows via the direct method of the calculus of variations or, equally, from the Gamma-convergence (Proposition 1) together with the coercivity of the functionals. In the presence of uniform thickness bounds, however, we cannot rely on these reasoning, see Gonzalez et al. [28]. While (\(\mathrm{P}_\mathrm{rod}\)) covers the “uniform symmetric case” of the Kirchhoff rod, which constitutes maybe the simplest model that involves both bending and twisting, the setting discussed in [28] offers more flexibility and especially also covers the cases of extensible shearable rods. Schuricht and von der Mosel [64] derived the Euler–Lagrange equations for elastic rods with self-contact. A similar approach has been followed by Hoffman and Seidman [34, 35].
The evolution of impermeable rods preserves isotopy classes, so topology aspects come into play. Here we will encounter a more involved picture compared to the analysis of the twist-free setting, see Langer and Singer [40] and Gerlach et al. [26]. A complete characterization of minimizers is wide open.
1.5 Outline
We review the geometry of elastic rods in Sect. 2. In Sect. 3 we derive an approximation result (Lemma 1) that is used in Sect. 4 in order to prove Gamma-convergence of the discrete problem to the continuous one (Proposition 1). We prove stability of the numerical scheme in Sect. 5 (Proposition 2). Several experiments discussed in Sect. 6 indicate a complex energy landscape.
1.6 Notation
The inner products corresponding to \(L^{2}\), \(H^{1}\), \(H^{2}\) are denoted by \(\left( \cdot ,\cdot \right) _{}\), \(\left( \cdot ,\cdot \right) _{H^{1}}\), and \(\left( \cdot ,\cdot \right) _{H^{2}}\), respectively. The norms are written accordingly. Constants may change from line to line.
2 Elastic rods
Here we provide a short presentation of the geometry of elastic rods which is inspired by Langer, Singer and Ivey [37, 41]. It is not essential for the analysis of the numerical scheme in the subsequent sections but sheds some light on the interpretation of the experiments in the last section.
2.1 Framed curves
A rod is modeled by a curve \(y:[0,L]\rightarrow {\mathbb {R}}^{3}\) which corresponds to its centerline and an orthonormal frame \(F:[0,L]\rightarrow \mathrm {SO}(3)\) whose columns \(F=[t,b,d]\) are called directors. Of course, \(d = t\times b\) where \(\times \) denotes the vector cross product. In the following we consider \(y\in H^{2}\) and \(F\in H^{1}\).
We will assume that the first column of \(F\) coincides with the unit tangent , \(x\in [0,L]\). The idea is that the directors b and d track the twisting of the material about the centerline.
The assumed energy regime for bending stiffness in (\(\mathrm{P}_\mathrm{rod}\)) imposes inextensibility as a physical property. Therefore we can prescribe arclength parametrization which leads to the unit tangent vector \(t=y'\) and the curvature \(k=\left|t'\right|=\left|y''\right|\).
Our analysis also covers the case of closed rods where [0, L] is understood to be the periodic interval \({\mathbb {R}}/L{\mathbb {Z}}\). We will realize the latter by imposing suitable (periodic) boundary conditions at 0 and L. In general a twist-free frame (see Sect. 2.3 below) of a closed curve will not close up, i.e., there can be a discontinuity at one point of \({\mathbb {R}}/L{\mathbb {Z}}\). One has to take care of this fact when defining boundary conditions.
An important frame that will always be well-defined and continuous for sufficiently smooth (both open and closed) curves \(y\) with nonvanishing curvature is the Frénet frame where \(b_{\mathrm F} = t'/\left|t'\right|\).
A rod is assumed to have some small diameter which can be considered infinitesimal; however, self-penetrations are not excluded at this stage (see Sect. 6.6 below for a discussion on modeling impermeability).
2.2 Twist rate
Using the orthonormality of the frame, we may express the variation of the director b by
The first term tracks the change of b that is imposed by the spatial behavior of the curve. It is just a component of the curvature vector as \(y''={(y''\cdot b)}b + (y''\cdot d)d\). Only the second one actually provides information about the twisting of the frame about the centerline. Therefore we will call \(b'\cdot d\) the twist rate of the frame.
We may also characterize a frame by a \(9\times 9\) linear system, namely
for scalar coefficient functions \(k_{b}\), \(k_{d}\), and \(\beta \) where denote the zero and identity matrices. Here \(k_{b}=y''\cdot b\) and \(k_{d}=y''\cdot d\) are the components of the curvature k of \(y\) and \(\beta =b'\cdot d\) is the twist rate. For instance, the Frénet frame is characterized by \(k_{d}\equiv 0\).
A more detailed discussion of the impact of the twist rate is given in Sect. 2.4 below.
2.3 Reference frame
For any curve \(y\), a point \(\xi \in [0,L]\), and \(\widehat{b}\in {\mathbb {S}}^{2}\), \({{\widehat{b}}}\perp y'(\xi )\), we obtain by integration a unique frame \(F_{0}=[t_{0},b_{0},d_{0}]\) for \(y\) with \(F_{0}(\xi )=[y'(\xi ),{{\widehat{b}}},y'(\xi )\times \widehat{b}]\) whose twist rate is constantly zero. We call it synonymously a Bishop frame, natural frame, reference frame, or twist-free frame for \(y\) as it is a frame in rest position subject to a fixed curve. Therefore, up to a rotation of the initial vector \({{\widehat{b}}}\) (which corresponds to an element of \({\mathbb {S}}^{1}\)) there is a unique twist-free frame for any given curve.
A twist-free frame \(F_{0}\) provides a useful reference configuration. Denoting the (cumulative) angle between the director b of any other frame and \(b_{0}\) by \(\varphi \), we arrive at \(b=(\cos \varphi )b_{0}+(\sin \varphi )d_{0}\) and \(d=-(\sin \varphi )b_{0}+(\cos \varphi )d_{0}\). Consequently, the rate of change of \(\varphi \) is just the twist rate
Two frames that just differ by a constant angle \(\varphi \) may be considered equivalent, in particular when modeling rods with a circular diameter where there is no natural choice of a director. This is of course different for small ribbons with lateral extension in a particular direction.
Note that even for closed curves with frames that close up, \(\varphi (L)-\varphi (0)\) does not need to be an integer multiple of \(2\pi \), unless the twist-free reference frame closes up. The latter applies in particular to rods with planar centerline where the vector being perpendicular to the respective plane provides a “canonical” twist-free frame.
In general, there is no direct correlation between \(\varphi (L)-\varphi (0)\) and the angle enclosed by b(0) and b(L). One can think of a revolute joint that controls the latter angle.
2.4 Total twist
An important quantity, in the literature often simply referred to as “twist”, is the total twist (more precisely, total twist rate)
where s is an arclength parameter and the last expression is parametrization invariant.
As the first identity suggests, the total twist can be interpreted as the number of rotations the director b (or, equivalently, d) performs about the curve, i.e., the centerline of the rod.
The total twist takes integer values on any closed curve for which both frame and twist-free reference frame close up (i.e., there are no discontinuities of the frames as periodic functions on \({\mathbb {R}}/L{\mathbb {Z}}\)). In particular, this holds for any planar closed curve with a closed frame. In the latter case we can even compute the total twist by counting signed crossings of the corresponding link as follows.
A given (sufficiently smooth) embedded closed curve \(y\) together with a closed frame \([y',b,y'\times b]\) defines a link consisting of \(y\) and \(y+\varepsilon b\) for some small \(\varepsilon >0\). Its Gauss linking number amounts to half of the sum of all signed crossings of \(y\) and \(y+\varepsilon b\) with respect to a (regular) projection direction.
For embedded closed curves, the Gauss linking number decomposes into the sum of the total twist and the writhe functional. This identity has been derived by Călugăreanu [12, 13]; see Moffatt and Ricca [51] for an account on the history of this result.
Writhe vanishes on planar (and spherical) embedded curves. Consequently, the total twist will be close to the Gauss linking number for embedded curves that are nearly planar. This applies to several situations in Sect. 6.
2.5 Energies
We assume that the behavior of the rod is driven by a linear combination of the bending energy (half of the total squared curvature) and the twisting energy (half of the total squared twist rate), cf. Mora and Müller [52]. More precisely we consider the functional
where s is an arclength parameter, k(s) denotes the curvature of \(y\) at \(y(s)\), and \({c_{\mathrm b}},c_{\mathrm t}{{}>{}}0\) are material constants. Minimizers are called elastic rods.
As mentioned in the introduction, we rescale the energy functional by \(1/c_{\mathrm{t}}\) and define \( \varkappa = {c_{\mathrm{b}}}/{c_{\mathrm{t}}}. \)
At the end of this section, we will briefly discuss two related minimization issues.
2.6 Optimal frames
For a given curve \(y\), we may consider the problem to find a director b minimizing \(I_\mathrm{rod}[y,\cdot ]\) subject to the boundary condition \(L_\mathrm{bc}^\mathrm{rod}[y,b] = \ell _{\mathrm{bc}}^\mathrm{rod}\).
In first place, if b is a stationary point of \(I_\mathrm{rod}[y,\cdot ]\) for some fixed \(y\) then
is constant due to du Bois-Reymond’s lemma. According to the Cauchy–Schwarz inequality, the twisting energy is bounded below by \(\frac{2\pi ^{2}}{L}{{\,\mathrm{Tw}\,}}(y,b)^{2}\). This minimum is attained if and only if (3) holds such that the twisting energy then amounts to \(\frac{2\pi ^{2}}{L}{{\,\mathrm{Tw}\,}}(y,b)^{2} = \tfrac{L}{2}\beta ^{2}\). In particular, we can check whether a given rod has a uniform twist rate by computing the quotient of total squared twist rate over squared total twist rate.
Note that for any global minimizer \((y,b)\) of \(I_\mathrm{rod}\), the director b is a global minimizer of \(I_\mathrm{rod}[y,\cdot ]\) as well.
In case \(L_\mathrm{bc}^\mathrm{rod}[y,b]\) does not impose a condition on b at both points 0 and L, minimizing \(I_\mathrm{rod}[y,\cdot ]\) is equivalent to constructing a twist-free frame.
Otherwise we face a clamped problem, i.e., b has to satisfy \(b(0)={{\widehat{b}}}_{-}\) and \(b(L)={{\widehat{b}}}_{+}\) for \({\widehat{b}}_{-},{{\widehat{b}}}_{+}\in {\mathbb {S}}^{2}\), \(\widehat{b}_{-}\perp y'(0)\), \({{\widehat{b}}}_{+}\perp y'(L)\). (If the boundary condition just forces the frame to close up, i.e., \(b(0)=b(L)\), we may just let \({{\widehat{b}}}_{-}={{\widehat{b}}}_{+}\) for an arbitrary vector perpendicular to \(y'(0)\) and \(y'(L)\).) In this case there is a global minimizer \(b_{\min }\) with constant twist rate (3). Using a twist-free reference frame \(F_{0}=[y',b_{0},d_{0}]\) with \(b_{0}={{\widehat{b}}}_{-}\) we have \(\varphi (0)=0\) and \(\varphi (L)\in (-\pi ,\pi ]\). If \(\varphi (L)\ne \pi \) there is a unique minimizer b with twist rate \(\varphi ' \equiv \frac{\varphi (L)}{L}\). If \(\varphi (L)=\pi \) there are precisely two minimizers with twist rate \(\varphi ' \equiv \pm \frac{\pi }{L}\).
Topological restrictions can enforce arbitrary angles \(\varphi (L)\in {\mathbb {R}}\), however, this does not apply to (\(\mathrm{P}_\mathrm{rod}\)) which does not preserve this sort of condition throughout the evolution. Keeping track of topology enforces modeling impermeability—quite a natural feature which we will address in Sect. 6.6.
2.7 Releasing total twist
In light of Sect. 2.6 we must have \(\left|{{\,\mathrm{Tw}\,}}(y,b)\right|\le \frac{1}{2}\) for any global minimizer \((y,b)\) of \(I_\mathrm{rod}\). In general, we have
however, the absolute value of the total twist does not have to be decreasing throughout the evolution.
At the final stage of an evolution of a closed curve (the frame does not have to close up), all we can hope for, however, is \(\left|{{\,\mathrm{Tw}\,}}(y,b)\right|\le 1\). We briefly explain how this bound can be realized.
One can change the Gauss linking number of a given (embedded) rod by \(\pm 2\) by locally forming a small loop, performing a suitable self-penetration and moving the curve back to the original position. The value of the writhe functional is not affected as it only depends on the curve, not on the frame. So we have changed the total twist by \(\pm 2\) as well according to the Călugăreanu identity (cf. Sect. 2.4).
A self-penetration of the curve will in general lead to a change in topology resulting in a discontinuity of the linking number. While the total twist is continuous throughout the evolution, the writhe functional is not well-defined on non-embedded curves and thereby compensates the change of the linking number.
An evolution does not necessarily realize the bound \(\left|{{\,\mathrm{Tw}\,}}\right|\le 1\). First of all, it is in general unclear whether it will in fact converge to a (local) minimizer at all. Another obstruction is discussed in the next section.
2.8 Michell’s instability
Among all closed curves, the round circle framed by its Frénet normal vector is the unique global minimizer of \(I_\mathrm{rod}\) (up to a constant rotation of the frame).
It is a remarkable fact that the round circle remains a minimizer (at least a local one, cf. Sect. 2.7) when we add some twist by increasing the (constant) twist rate \(\beta \) (which results in a discontinuity of the frame at one point). This phenomenon which is referred to as Michell’s instability has been discovered 130 years ago [50] and then been rediscovered several times, see Goriely [29] for more details.
Zajac [76] has found the threshold \(\beta _{*} = 2\pi \sqrt{3}\varkappa /L\) that separates the stable and unstable regime. As before, L denotes the length of the curve. More precisely, the circular rod is stable as long as \(\left|\beta \right|<\beta _{*}\) and unstable if \(\left|\beta \right|>\beta _{*}\). The dependency on \(\varkappa =c_{\mathrm{b}}/c_{\mathrm{t}}\) is quite intuitive: If \(\varkappa \) is very big, the bending energy dominates which always prefers the circle. A proof of Zajac’s result adapted to our setting can be found in Ivey and Singer [37, Sect. 6].
Values of \(\varkappa <\tfrac{1}{3}\sqrt{3}\approx 0.5774\) lead to an initial twist \(\beta _{*}<\frac{2\pi }{L}\). Starting an evolution with \(\beta _{\mathrm {ini}}\in \left( \beta _{*},\frac{2\pi }{L}\right) \), we have \(\left|{{\,\mathrm{Tw}\,}}\right|={{\,\mathrm{Tw}\,}}<1\). Therefore the rod cannot reduce twist by self-penetration, so we will merely face some buckling of the rod—which is difficult to detect numerically. In Experiment 6.2 we chose \(\varkappa =\tfrac{3}{2}\), for which we measure a drastic change of the twisting energy by self-penetration of the curve.
Interestingly, Michell’s instability does not occur for initially curved curves, see Olsen et al. [72] and Hu [36].
3 Density
We can smoothly approximate any framed curve in \({\mathcal {A}}\), i.e., \({\mathcal {A}}\cap \left( C^{\infty }\times C^{\infty }\right) \) is dense in \({\mathcal {A}}\) with respect to the \(H^{2}\times H^{1}\)-topology, preserving given boundary conditions.
Lemma 1
For any rod \((y,b)\in {\mathcal {A}}\) and \(\varepsilon >0\) there is another rod \((y_{\varepsilon },b_{\varepsilon })\in {\mathcal {A}}\cap \left( C^{\infty }\times C^{\infty }\right) \) with \(\left\Vert y_{\varepsilon }-y\right\Vert _{H^{2}}\le \varepsilon \) and \(\left\Vert b_{\varepsilon }-b\right\Vert _{H^{1}}\le \varepsilon \).
Proof
Our strategy is as follows. We first construct smooth approximizers \((y_{\delta },b_{\delta })\in C^{\infty }\times C^{\infty }\). In a second step we correct the boundary values by adding (smooth) functions \(v_{\delta }\) and \(c_{\delta }\). The new curve \(y_{\delta }+v_{\delta }\) will not have length L. We balance the length by adding another smooth function \(w_{\delta }\) compactly supported in \((0,L)\setminus {{\,\mathrm{supp}\,}}v_{\delta }\). Now we reparametrize the curve \(y_{\delta }+v_{\delta }+w_{\delta }\) to arclength and apply the same reparametrization to the vector field \(b_{\delta }+c_{\delta }\). Renormalizing it by the usual Gram–Schmidt scheme produces the required director.
We choose \(\delta \in (0,\delta _{0}]\) for some \(\delta _{0}\in (0,1]\) which will be fixed later on only depending on \((y,b)\) and \(\varepsilon \). Using a standard mollifier, we obtain \((y_{\delta },b_{\delta })\in C^{\infty }((0,L),{\mathbb {R}}^{3})\times C^{\infty }((0,L),{\mathbb {R}}^{3})\) with \(\left\Vert y_{\delta }-y\right\Vert _{H^{2}}\le \delta \) and \(\left\Vert b_{\delta }-b\right\Vert _{H^{1}}\le \delta \).
In order to match the boundary conditions, we subtract suitable functions. More precisely, we let
where \(\zeta _{0},\zeta _{1}\in C^{\infty }([0,L])\) fulfill \(\zeta _{j}(0) = \delta _{j,0}\), \(\zeta _{j}'(0) = \delta _{j,1}\), \(\left. \zeta _{j}\right| _{[\mu ,L]}\equiv 0\), \(j=0,1\), for some \(\mu \in (0,L/2)\) to be determined later.
By construction we have \(L_{\mathrm {bc}}^{\mathrm{rod}}[{\bar{y}}_{\delta },{\bar{b}}_{\delta }] =L_{\mathrm {bc}}^{\mathrm{rod}}[y,b]=\ell _{\mathrm{bc}}^{\mathrm{rod}}\) as well as
where \(C_{\mu }\) only depends on \(\mu \) and \({\widetilde{C}}>0\) on the embedding \(H^{1}\hookrightarrow C^{0}\).
Now we prepare the length correction. If \(\left|y(L)-y(0)\right|=L\), the curve \(y\) just parametrizes the segment from \(y(0)\) to \(y(L)\), so \(y\in C^{\infty }\) and we only have to treat the director b (which can be done similarly as outlined below). If \(\left|y(L)-y(0)\right|<L\) we infer from \(H^{2}\subset C^{1}\) that \(y\in {\mathcal {A}}\) cannot only move on a straight line. So we may assume that there is some constant unit vector \(\mathbf {v}\in {\mathbb {S}}^{2}\), \(\mathbf {v}\perp \left( y(L)-y(0)\right) \) (this condition is empty for closed curves), such that \(y'\cdot \mathbf {v}>0\) on some closed interval \(I_{+}\subset [0,L]\). Due to the fact that \(\int _{0}^{L}y'(x)\cdot \mathbf {v}\,\mathrm {d}x =(y(L)-y(0))\cdot \mathbf {v}=0\) there has to be another closed interval \(I_{-}\subset [0,L]\) on which \(y'\cdot \mathbf {v}<0\). Diminishing \(I_{\pm }\) if necessary, they have positive distance to the boundary points 0 and L. Now we may choose \(\mu \in (0,L/2)\) such that they are both contained in \((\mu ,L-\mu )\).
As the intervals are closed there is some \(\lambda \in (0,\tfrac{1}{2}]\) such that \(\pm y'\cdot \mathbf {v}\ge 2\lambda \) on \(I_{\pm }\). Diminishing \(\delta _{0}\) if necessary, we may assume that \(\pm y_{\delta }'\cdot \mathbf {v}\ge \lambda \) on \(I_{\pm }\) for all \(\delta \in (0,\delta _{0}]\).
The length correction function will be defined by \(w_{\delta }=\omega _{\delta }\phi \mathbf {v}\) for some \(\omega _{\delta }\in {\mathbb {R}}\) to be defined later and \(\phi \in C^{\infty }([0,L])\) is compactly supported in (0, L) with \(\pm \phi '\ge 0\) on \(I_{\pm }\) and \(\phi '\equiv 0\) elsewhere, but \(\phi \not \equiv 0\).
The idea is that by choosing \(\omega _{\delta }\) accordingly, we can correct the length of (\(y_{\delta }\) and) \({\bar{y}}_{\delta }\) by an amount between \([-\alpha ,\alpha ]\) where \(\alpha >0\) does not depend on \(\delta \) (nor \(\delta _{0}\)). As \({\mathscr {L}}[{\bar{y}}_{\delta }]\rightarrow L\) for \(\delta \searrow 0\) we can perform the length correction if \(\delta _{0}\) is small enough. Furthermore, \(\omega _{\delta }\rightarrow 0\) as \(\delta \searrow 0\).
To make this more precise, let \(w=\omega \phi \mathbf {v}\) for some \(\omega \in {\mathbb {R}}\) with
As \(y_{\delta }'\cdot \mathbf {v}\phi '\) is bounded below by \(\lambda \left|\phi '\right|\) on [0, L], we obtain
Therefore,
Recalling that \(v_{\delta }\) and w have disjoint support, we infer
which allows for the desired length correction depending on the sign of \(\omega \). More precisely, we can change the length of \(y_{\delta }+v_{\delta }\) by at least \(\pm \alpha \)where \(\alpha = \frac{\lambda ^{2}\left\Vert \phi '\right\Vert _{L^{1}}}{2\left( 2+\widetilde{C}\right) \left\Vert \phi '\right\Vert _{C^{0}}}\). Diminishing \(\delta _{0}\) if necessary, we can ensure that \(\left|{\mathscr {L}}(y_{\delta }+v_{\delta })-L\right|\le \alpha \). So we can find \(\omega =\omega _{\delta }\) such that the curve \(\bar{{\bar{y}}}_{\delta }=y_{\delta }+v_{\delta }+w_{\delta }\) has length L with \(L_{\mathrm {bc}}^{\mathrm{rod}}[\bar{{\bar{y}}}_{\delta },\bar{b}_{\delta }]=\ell _{\mathrm{bc}}^{\mathrm{rod}}\).
The embedding \(H^{1}\hookrightarrow C^{0}\) guarantees that the curve \(\bar{{\bar{y}}}_{\delta }\) is immersed and \(\min \left|\bar{b}_{\delta }\right|\ge \tfrac{1}{2}\) if \(\delta _{0}\) is small enough. So we may apply the reparametrization operator from Lemma 2 and let and . We still have . Now
and \(\left\Vert {\bar{b}}_{\delta }-b\right\Vert _{H^{1}}\) tend to zero as \(\delta \searrow 0\). Using the continuity of the reparametrization and \(\left|y'\right|\equiv 1\) we find that tends to zero as well. Choosing \(\delta _{0}\) sufficiently small, we may assume that and \(\left\Vert {\bar{b}}_{\delta }-b\right\Vert _{H^{1}}\le \frac{\varepsilon }{4}\), and additionally since \(\psi _{\bar{{\bar{y}}}_{\delta }}\rightarrow {{\,\mathrm{id}\,}}_{[0,L]}\) with respect to \(H^{2}\)-convergence. Note that are still \(C^{\infty }\)-smooth with .
It remains to correct the director. To this end, we let . We have and if \(\delta _{0}\) is sufficiently small. Indeed, using Leibniz rule \(\left\Vert vw\right\Vert _{H^{1}}\le \left\Vert v\right\Vert _{H^{1}}\left\Vert w\right\Vert _{H^{1}}\) and the fact that both and get arbitrarily small provided \(\delta _{0}\) is chosen accordingly, the same applies to
and
Arguing as above, we find that the term is uniformly bounded. In fact, from we infer \(\left|{\widetilde{b}}_{\delta }\right|\ge \tfrac{1}{4}\) if \(\delta _{0}\) is sufficiently small. This allows for bounding as well. In the same way we prove boundedness of . Letting finishes the proof. \(\square \)
Let \(H_{\mathrm {r}}^{2}((0,L),{\mathbb {R}}^{3})\) denote the (open) subset of regular (i.e., non-vanishing derivative) curves in \(H^{2}((0,L),{\mathbb {R}}^{3})\).
Lemma 2
The operator \(H_{\mathrm {r}}^{2}((0,L),{\mathbb {R}}^{3})\rightarrow H_{\mathrm {r}}^{2}((0,L),{\mathbb {R}}^{3})\) defined by
that reparametrizes an immersed curve to constant speed is continuous with respect to the \(H^{2}\)-norm. Moreover, \(y\circ \psi _{y}^{-1}\in C^{\infty }\) if \(y\in C^{\infty }\) is immersed.
A proof can be found in [59, Appendix]; the argument applies without rescaling and the additional requirement of embeddedness. It applies to non-periodic intervals [0, L] as well. The last statement can be derived from the formula.
4 Discretization
Our discretization is based on cubic and linear finite element spaces. We consider a partition of [0, L] by a set of nodes \({\mathcal {N}}_{h}\) that contains the endpoints 0 and L. We define nodal bases \(\left( \varphi _{z}\right) _{z\in {\mathcal {N}}_{h}}\) and \(\left( \psi _{z,j}\right) _{z\in {\mathcal {N}}_{h}},j=0,1\) with the following properties. If \(z_{\pm }\in {\mathcal {N}}_{h}\) are neighboring nodes of \(z\in {\mathcal {N}}_{h}\) then \(\varphi _{z}\) and \(\psi _{z,j}\) are supported in \([z_{-},z_{+}]\). On the intervals \([z_-,z]\) and \([z,z_+]\) the functions \(\varphi _{z}\) are (affine) linear with \(\varphi _{z}(z)=1\) while \(\psi _{z,j}\) are cubic polynomials satisfying \(\psi _{z,j}(z)=\delta _{j,0}\) and \(\psi _{z,j}'(z)=\delta _{j,1}\), \(j=0,1\). We define nodal interpolation operators on \(C^{0}([0,L])\) and \(C^{1}([0,L])\) respectively by letting
Furthermore, we will employ the averaging operator \({Q}_h\) which is piecewise defined on any element \([z,z']\) (i.e., \(z,z'\in {\mathcal {N}}_{h}\) are neighboring) by
We have \(\left\Vert v-Q_{h}v\right\Vert _{L^{\infty }}\le Ch^{\alpha }\left[ v\right] _{C^{0,\alpha }}\) for all \(v\in C^{0,\alpha }\), \(\alpha \in (0,1]\) and \(\left\Vert Q_{h}v_{h}\right\Vert _{L^{\infty }}\le \left\Vert v_{h}\right\Vert _{L^{\infty }}\) for all piecewise linear functions \(v_{h}\) subject to \({\mathcal {N}}_{h}\).
Both for the discrete approximation result and the stability of our numerical scheme presented in Sect. 5 below it is crucial to exploit the structure of the dimensionally reduced functionals.
To identify convex and concave terms, we observe that the orthonormality of the frame \(F=[t,b,d]\) implies \(b'\cdot b=0\) and \(b'\cdot t=-b\cdot t'\). Therefore the integrand of the twisting functional becomes \((b'\cdot d)^{2} = \left|b'\right|^{2} - (b\cdot t')^{2}\).
To obtain a coercivity property (under the restriction \(\Vert b_h\Vert _{L^\infty }\le 1\)) we set
which ensures \(\varkappa \ge 2 \theta \). This will allow for controlling (part of) the second term of \(I_\mathrm{rod}[y,b]\) by the first one even if \(\varkappa <2\). Now we decompose
By \(V_\mathrm{rod}^h\subset H^{2}\times H^{1}\) we denote the cross product of piecewise cubic and piecewise linear functions subject to \({\mathcal {N}}_{h}\). With the product finite element space \(V_\mathrm{rod}^h\) and the operator \(Q_h\) we consider the following discretization of the minimization problem (\(\mathrm{P}_\mathrm{rod}\)) in which the pointwise orthogonality relation \(y'\cdot b =0\) is approximated via a penalty term. To this end we discretize the minimization problem
The operators \({Q}_h\) and \({\mathcal {I}}_h^{1,0}\) are included in a way that leads to a simple assembly of the corresponding matrices and avoids quadrature.
Note that the constraints are imposed on particular degrees of freedom which makes the method practical. In order to ensure \({\mathcal {A}}_{h}\ne \emptyset \), the distance between the endpoints of \(y_{h}\) must be less than L and the spatial mesh has to be chosen sufficiently fine.
For establishing the Gamma-convergence result, it is useful to write
where \(P_{b}\) and \(P_{{Q}_hb_{h}}\) denote the square roots of the positive semidefinite matrices and respectively.
The only difference to \(I_\mathrm{rod}\) is the penalization term and the fact that b is replaced by \({Q}_hb_{h}\) in the third term and once in the fourth term.
Our first task is to show that minimizers of \(I_\mathrm{rod}^{h,\varepsilon }\) within \({\mathcal {A}}_{h}\) approximate \(I_\mathrm{rod}\)-minimizers within \({\mathcal {A}}\). In the following statement, we assume that \(I_\mathrm{rod}\) and \(I_\mathrm{rod}^{h,\varepsilon }\) attain the value \(+\infty \) outside of \({\mathcal {A}}\) and \({\mathcal {A}}_{h}\), respectively.
Proposition 1
As \(\varepsilon ,h\searrow 0\), the functional \(I_\mathrm{rod}^{h,\varepsilon }\) Gamma-converges to \(I_\mathrm{rod}\) with respect to the weak \(H^{2}\times H^{1}\)-topology.
Note that there is no restriction on the ratio of \(\varepsilon \) and h.
Le Tallec et al. [42, Thm. 1] have derived a related result using different arguments. They show that any isolated minimum of the continuous problem is the strong limit of a sequence of local minima of the finite element problem.To approximate rods within finite element spaces, they consider interpolants and then correct the orthogonalities by an iterative scheme [42, Thm. 2]. Thereby they obtain admissible rods only in the limit. Although we could employ the latter result in the following proof, we prefer Lemma 1 which provides a constructive argument.
Proof
To establish the Lim-inf inequality, we consider an arbitrary sequence \(\left( (y_{h},b_{h})\right) _{{h>0}}\subset {\mathcal {A}}_{h}\) and \((y,b)\in H^{2}\times H^{1}\) with \(y_{h}\rightharpoonup y\) in \(H^{2}\) and \(b_{h}\rightharpoonup b\) in \(H^{1}\) as \(h\searrow 0\). In particular, we have \(y_{h}\rightarrow y\) in \(C^{1}\) and \(b_{h}\rightarrow b\) in \(C^{0}\).
We have to show that if \(\liminf _{{(h,\varepsilon )\searrow 0}}I_\mathrm{rod}^{h,\varepsilon }[y_{h},b_{h}]<\infty \) then the limit point \((y,b)\) belongs to \({\mathcal {A}}\) (such that the formula for \(I_\mathrm{rod}\) is applicable) and the \(\liminf \)-inequality holds.
As the mesh size tends to zero as \(h\searrow 0\), the condition \(\left|y'\right|=\left|b\right|=1\) is satisfied everywhere due to the uniform convergence \(y_{h}'\rightarrow y'\), \(b_{h}\rightarrow b\). Furthermore \(L_{\mathrm {bc}}^{\mathrm{rod}}\) is continuous with respect to weak convergence. It remains to verify that b is perpendicular to \(y'\). By the interpolation estimate we have
As \(y_{h}'\cdot b_{h}\rightarrow y'\cdot b\) in \(C^{0}\), we infer
As all terms of \(I_\mathrm{rod}^{h,\varepsilon }\) are non-negative, the term \(\varepsilon ^{-1}\int _{0}^{L}{\mathcal {I}}_{h}^{1,0}\left[ \left( y_{h}'\cdot b_{h}\right) ^{2}\right] \,\mathrm {d}x\) is uniformly bounded which implies \(\int _{0}^{L} \left( y'\cdot b\right) ^{2}\,\mathrm {d}x = 0\). This gives \(y'\perp b\), so \((y,b)\in {\mathcal {A}}\).
We use \(\left\Vert {Q}_hb_{h}+b\right\Vert _{L^\infty } \le 2\) to derive
The second term on the right-hand side tends to zero as \(h\searrow 0\) due to the boundedness of weakly converging sequences and
This estimate also yields \(y_{h}'\times {Q}_hb_{h}\rightarrow y'\times b\) in \(L^{2}\) which implies \(b_{h}'\cdot (y_{h}'\times {Q}_hb_{h})\rightharpoonup b'\cdot (y'\times b)\) (weakly) in \(L^{2}\) as \(h\searrow 0\).
Now the \(\liminf \)-inequality follows from the lower semicontinuity of the \(L^{2}\)-norm and the fact that the penalization term is non-negative (since it is the linear interpolation of a non-negative term).
We turn to the Lim-sup inequality. Let \((y,b)\in {\mathcal {A}}\) and \(\delta \in (0,1]\). Of course, \(I_\mathrm{rod}[y,b]<\infty \). We aim at constructing a recovery sequence. We apply Lemma 1 to obtain \(({\widetilde{y}}_{\delta },\widetilde{b}_{\delta })\in {\mathcal {A}}\cap \left( C^{\infty }\times C^{\infty }\right) \) with \(\left\Vert {\widetilde{y}}_{\delta }-y\right\Vert _{H^{2}}\le \delta \) and \(\Vert {\widetilde{b}}_{\delta }-b\Vert _{H^{1}}\le \delta \). We let \(\left( y_{h},b_{h}\right) =\left( {\mathcal {I}}_{h}^{3,1}{\widetilde{y}}_{\delta },{\mathcal {I}}_{h}^{1,0}\widetilde{b}_{\delta }\right) \). Owing to the smoothness of the regularized rod, we have \(\left\Vert y_{h}-{\widetilde{y}}_{\delta }\right\Vert _{H^{2}}\le C_{\delta }h\) and \(\Vert b_{h}-{\widetilde{b}}_{\delta }\Vert _{H^{1}}\le C_{\delta }h\). In particular, \((y_{h},b_{h})\in {\mathcal {A}}_{h}\). We have to bound \(I_\mathrm{rod}^{h,\varepsilon }[y_{h},b_{h}]-I_\mathrm{rod}[y,b]\) above by an expression that tends to zero. For the first three terms of \(I_\mathrm{rod}^{h,\varepsilon }[y_{h},b_{h}]\), we obtain
For the last two terms in the previous line, we infer
and, recalling (5),
We treat the fourth term of \(I_\mathrm{rod}^{h,\varepsilon }[y_{h},b_{h}]\) similarly as above. More precisely, we infer
Finally we deal with the penalty term. Due to \({\widetilde{y}}_{\delta }{}'\perp {\widetilde{b}}_{\delta }\) we find that \(y_{h}'(z)\cdot b_{h}(z)=0\) for all \(z\in {\mathcal {N}}_{h}\). Therefore \({\mathcal {I}}_{h}^{1,0}\left[ \left( y_{h}'\cdot b_{h}\right) ^{2}\right] (x)=0\) for all \(x\in I\) which implies that the penalty term vanishes on the entire sequence. \(\square \)
5 Iterative minimization
We linearize the pointwise constraints in our iterative algorithm for computing minimizers of \(I_\mathrm{rod}^{h,\varepsilon }\). Let \({\mathcal {T}}_{h}\) be a partition of [0, L] with respect to the set of nodes \({\mathcal {N}}_{h}\). By \({\mathcal {S}}^{m,k}({\mathcal {T}}_h)\) we denote the set of \(C^{k}([0,L])\) functions whose restriction on any subinterval from \({\mathcal {T}}_{h}\) is a polynomial of degree at most m.
For a vector field \(y_h\in {\mathcal {S}}^{3,1}({\mathcal {T}}_h)^3\) we set
while for a vector field \(b_h\in {\mathcal {S}}^{1,0}({\mathcal {T}}_h)^3\) we define
The functionals \(L_{\mathrm{bc},y}^\mathrm{rod}\) and \(L_{\mathrm{bc},b}^\mathrm{rod}\) are the components of \(L_{\mathrm{bc}}^\mathrm{rod}\) corresponding to the variables y and b, respectively, assuming for simplicity that the boundary conditions can be appropriately separated.
We recall that the discretized functional with penalized orthogonality relation is defined as
with the functionals
which are all separately convex, i.e., convex as functions in \(y_{h}\) for fixed \(b_{h}\) and vice versa.
Because of the requirement \(0<\theta \le \varkappa /2\), the functional \(I_\mathrm{rod}^{h,\varepsilon }\) is coercive on the set of functions \((y_h,b_h)\) with \(\Vert b_h\Vert _{L^\infty }^2 \le 3/2\). The nonlinear term \({N}_h\) does not occur if \(\varkappa \ge 2\). In this case the negative contribution in the energy functional \(-G_{h}\) can be treated using its separate concavity properties. Otherwise, an inductive argument is used in the stability analysis which requires a different treatment. We generate a sequence \((y_h^k,b_h^k)_{k=0,1,\dots }\) that approximates a stationary configuration for \(I_\mathrm{rod}^{h,\varepsilon }\) using a discrete gradient flow that is determined by the metrics \(\left( \cdot ,\cdot \right) _{\star }\) and \(\left( \cdot ,\cdot \right) _{\dagger }\). These can be chosen quite general, however, our stability result relies on certain embeddings, see (7) below. To allow for an implicit or explicit treatment of some terms, depending on the value of \(\varkappa \), we let
be either the identity \({{\widetilde{k}}}(k) = k\) or a negative shift \({{\widetilde{k}}}(k) = k-1\), corresponding to an explicit or implicit treatment of the derivative of \(G_h\) with respect to b.
The backward difference quotient of a function \(a^{k}\) is \(d_{t}a^{k} = \tau ^{-1} \left( a^{k}-a^{k-1}\right) \), which gives rise to the identity
that will be used frequently.
Algorithm 1
(Gradient descent for elastic rods) Choose an initial pair \((y_h^0,b_h^0) \in {\mathcal {A}}_h\) and a step size \(\tau >0\), set \(k=1\).
-
(1)
Compute \(d_t y_h^k\in {\mathcal {F}}_h[y_h^{k-1}]\) such that for all \(w_h \in {\mathcal {F}}_h[y_h^{k-1}]\) we have
$$\begin{aligned} \begin{aligned} (d_t y_h^k, w_h)_\star + \varkappa&([y_h^k]'', w_h'') + \partial _y P_{h,\varepsilon }[y_h^k,b_h^{k-1};w_h] \\&= \partial _y G_h[y_h^{k-1},b_h^{k-1};w_h] - \partial _y {N}_h [y_h^{k-1},b_h^{k-1};w_h]. \end{aligned} \end{aligned}$$ -
(2)
Compute \(d_t b_h^k\in {\mathcal {E}}_h[b_h^{k-1}]\) such that for all \(r_h\in {\mathcal {E}}_h[b_h^{k-1}]\) we have
$$\begin{aligned} \begin{aligned} (d_t b_h^k, r_h)_\dagger + \theta&([b_h^k]',r_h')+ \partial _b P_{h,\varepsilon }[y_h^k,b_h^k;r_h] \\&= \partial _b G_h[y_h^{{\widetilde{k}}},b_h^{k-1};r_h] - \partial _b {N}_h[y_h^{k-1},b_h^{k-1};r_h]. \end{aligned} \end{aligned}$$ -
(3)
Stop the iteration if \(\Vert d_t y_h^k\Vert _\star + \Vert d_t b_h^k\Vert _\dagger \le \varepsilon _{\mathrm{stop}}\); otherwise, increase \(k\rightarrow k+1\) and continue with (1).
Note that the \({N}_{h}\)-terms on the right-hand sides vanish in case \(\theta =1\) which corresponds to \(\varkappa \ge 2\).
It is useful to view \(d_t y_h^k\) and \(d_t b_h^k\) as the unknowns in Steps (1) and (2) instead of \(y_h^k=y_h^{k-1}+\tau d_t y_h^k\) and \(b_h^k = b_h^{k-1}+\tau d_t b_h^k\). The algorithm exploits the fact that the penalty term \(P_{h}\) is separately convex while \(-G_{h}\), the nonquadratic contribution to the torsion term, is separately concave. Therefore, the decoupled semi-implicit treatment of these terms is natural and unconditionally energy stable if \(\theta =1\), i.e., in the bending-dominated case.
Proposition 2
(Convergent iteration) Assume that we have
for all \((w_h,r_h)\in V^h_\mathrm{rod}\) with \(L_\mathrm{bc}^\mathrm{rod}[w_h,r_h] = 0\). For any \((y_h^0,b_h^0)\in V^h_\mathrm{rod}\) there is a constant \(c_{0}\ge 0\) with the following property. Algorithm 1 is well defined and produces a sequence \((y_h^k,b_h^k)_{k=0,1,\dots }\) such that for all \(L\ge 0\) with a constant \(c_0\ge 0\) we have
for all \(\tau \in (0,\tau _m)\) where
-
(a)
\(c_0=0\) and \(\tau _m=\infty \) if \(\theta =1\) and \({{\widetilde{k}}}= k\),
-
(b)
\(c_0>0\) and \(\tau _m = 1/(2c_0)\) if \(\theta \le 1\) and \({{\widetilde{k}}}= k-1\).
In both cases, additionally assuming in (a) that \(I_\mathrm{rod}^{h,\varepsilon }[y_h^k,b_h^k] \ge 0\) for all \(k=0,1,\dots ,L\), the unit-length violation is controlled via
where \(e_{0,h} = I_\mathrm{rod}^{h,\varepsilon }[y_h^0,b_h^0]{{}<\infty }\) and \(c_{\star ,\dagger }>0\) only depends on the metrics.
Remark 1
In case \(\theta =1\) and \({{\widetilde{k}}}=k\), i.e., in case of low torsion rigidity, our stability result is conditional in the sense that we assume that the discrete energies remain nonnegative. In this case it suffices to require the second line of (7). Moreover, if we even replace it by \(\Vert w_h'\Vert \le c_\star \Vert w_h\Vert _\star \) and \(\Vert r_h\Vert \le c_\dagger \Vert r_h\Vert _\dagger \) the estimates for the constraint violation still hold in \(L^1\) instead of \(L^\infty \).
In general, condition (7) can be satisfied if \(\left\Vert \cdot \right\Vert _{\star }\) and \(\left\Vert \cdot \right\Vert _{\dagger }\) are \(H^{2}\)- and \(H^{1}\)-seminorms and if \(L_\mathrm{bc}^\mathrm{rod}\) imposes suitable Dirichlet conditions on one endpoint of the interval. An \(L^{2}\)-gradient flow, however, requires stronger assumptions on the step size.
Proof of Proposition 2
(a) We first consider the case \(\theta =1\) and \({{\widetilde{k}}}=k\) so that the nonlinearities related to the operator \({N}_h\) disappear and the asserted estimate holds with \(c_0=0\). For this we note that the functional \(G_h\) is separately convex, i.e., convex in \(y_h\) and in \(b_h\). Therefore, we have that
which by summation leads to the inequality
Similarly, the functional \(P_{h,\varepsilon }\) is separately convex and we have
We choose \(w_h = d_t y_h^k\) and \(r_h = d_t b_h^k\) in the equations of Steps (1) and (2) of Algorithm 1 and find that (using (6))
Since for \(\theta =1\) we have that
we deduce the asserted estimate. The nodal orthogonality conditions encoded in the spaces \({\mathcal {F}}_h[y_h^{k-1}]\) and \({\mathcal {E}}_h[b_h^{k-1}]\) lead to the relations
for all \(z\in {\mathcal {N}}_{h}\). Repeated application leads to
Using (7) and the previously established bound for the discrete time derivatives proves the estimate for the constraint violation if \(\theta =1\) provided that the discrete energies \(I_\mathrm{rod}^{h,\varepsilon }[y_h^k,b_h^k]\) remain nonnegative so that the right-hand side is controlled by the inital discrete energy.
(b) We next turn to the case \(\theta \le 1\) and \({{\widetilde{k}}}= k-1\) and argue by induction over \(L\ge 0\). Assume that the estimates have been established for some \(\widetilde{L} = L-1\ge 0\) with \(c_0\ge c_{\star ,\dagger } e_{0,h}\) (independent of L); the estimates trivially hold for \(L=0\). Let \(0\le k\le L\) and choose \(w_h = d_t y_h^k\) and \(r_h = d_t b_h^k\) in Algorithm 1. From \(c_{0}\tau \le 1/2\) we infer
Since \(0<\theta \le \varkappa /2\) and \(\left\Vert Q_{h}r_{h}\right\Vert _{L^s} \le \left\Vert r_{h}\right\Vert _{L^s}\), \(1\le s\le \infty \), the second estimate implies that
In particular, we find the restricted coercivity bound
Arguing as above, i.e., choosing \(w_h = d_t y_h^k\) and \(r_h = d_t b_h^k\) in Algorithm 1, we find that
We note that
and use Hölder inequalities, e.g., to bound
Noting the inequalities (7) and the bounds (8) and (10) as well as the Young inequality we deduce that
where \(D_{0,h}'\) only depends on \(\varkappa \), \(\theta \), and \(e_{0,h}\), but in particular not on k. We consider the reduced energy functional
and note that because of (9) we have
We thus deduce from the estimate
that, imposing the condition \(2c_{0}\ge D_{0,h}'\) which implies \(\tau D_{0,h}' \le 1\),
This estimate and the unrestricted coercivity of \(\widehat{I}_\mathrm{rod}^{h,\varepsilon }\) imply that
In the considered one-dimensional setting these bounds imply the \(L^\infty \) estimates
To obtain the asserted full energy law we find immediately from (11) that
By the mean value theorem the terms on the right-hand side are equal to
where, e.g.,
The nodal values of \(\xi _h^{(\ell )}\) and \(\eta _h^{(\ell )}\), \(\ell =1,2\), are convex combinations of \(y_h^{k-1}\) and \(y_{h}^k\) and \(b_h^{k-1}\) and \(b_h^k\), respectively, and using their uniform bounds (8), (10), and (13) in combination with (7) we find that
With \(c_0 \ge c_{{N}''} D_{2,{N}} + c_{G''} D_{2,G}\) we deduce the asserted estimate after multiplication by \(\tau \) and summation over \(k=1,2,\dots ,L\). The second estimate is established as in (a), provided the step size \(\tau \) is bounded accordingly; the non-negativity of the discrete energy is guaranteed by (12). Note that all constants are formulated in terms of the initial discrete energy and generic constants related to parameters and functionals. Since the intermediate bound (13) is replaced by the bound (10) in the induction step, all estimates are re-initialized, and the condition on \(\tau \) does not change with the number of induction steps. \(\square \)
6 Experiments
Here we report on some numerical experiments. The parameters that have been used are shown in Table 1. The length of the curve is denoted by L, the number of nodes by N, the maximum step size \(h_{\max }\) is normally close to L/N where L is the length of the curve. Except for Experiment 6.1, the initial curve has constant twist rate \(\beta _{\mathrm {ini}}\). While the director b will always be clamped on both ends of the rod, the boundary conditions (bc) for the curve are either periodic (p) or clamped on both ends (c). Unless otherwise stated the penalization parameter has been chosen to be \(\varepsilon =\tfrac{2\pi }{N}\). We always use the time step size \(\tau = \tfrac{1}{8}{h_{\max }}\). In some cases we also added some small perturbation to the initial curve which is specified in the text.
We briefly comment on the legend of the corresponding energy plots where the horizontal axis shows the iteration steps of the evolution. Of course, “bending” refers to the scaled bending energy \(\tfrac{\varkappa }{2}\left\Vert y_{h}''\right\Vert _{L^{2}}^{2}\), “twisting” to the scaled twisting energy \(\frac{\theta }{2} \left\Vert b_{h}'\right\Vert _{}^{2} - \frac{\theta }{2} \left\Vert {Q_h b_h \cdot y_h''}\right\Vert _{}^{2} + \frac{1-\theta }{2} \left\Vert b_{h}'\cdot (y_{h}'\times {Q}_hb_{h})\right\Vert _{}^2\) while “total twist” means the functional \({{\,\mathrm{Tw}\,}}\) defined in Sect. 2.4, “potential” to the tangent-point energy (see Sect. 6.6), “penalizing” to \(P_{h,\varepsilon }\), and “total” is \(I_\mathrm{rod}^{h,\varepsilon }\).
In general the total twist is scaled differently, i.e., there is a second axis on the right margin of the energy plots while all other values refer to the axis on the left margin of the coordinate system. A coloring of a curve represents curvature values.
For typical discretizations with 400 nodes the overall runtime of our implementation in Matlab on a notebook (1.6 GHz DualCore, 8 GB RAM) took about \(2\tfrac{1}{2}\) minutes per 10,000 iteration steps. An impermeable rod in Experiment 6.6, with an assembly of the self-avoidance potential in C, requires about 42 minutes per 10,000 iteration steps. For 800 nodes we observed a runtime of \(6\tfrac{1}{2}\) minutes and almost three hours, respectively.
We would like to stress that we observe energy monotonicity for all our experiments, confirming the stability features discussed in Proposition 2. In particular, we did not observe difficulties related to negative energy values in the implicit case \(k={{\widetilde{k}}}\).
6.1 Uniform twist rate
According to Sect. 2.6, stationary frames have constant twist rate. We expect that a non-uniform twist configuration will become constant within the evolution.
We start with a straight line curve of length \(2\pi \) with uniform twist rate 4 on \([0,\frac{\pi }{2}]\) and 0 on \([\frac{\pi }{2},2\pi ]\). No perturbation of the initial rod was used.
Initial stage and some intermediate steps from the evolution are visualized in Fig. 1. After 4000 steps the twist rate is nearly constant and amounts to 1.
All energy values are neglectable except for the twisting energy which virtually coincides with the total energy. Furthermore, at initial and final step the twisting energy data matchs quite closely the expected values of \(\tfrac{1}{2}\int _{0}^{2\pi }\beta (s)^{2}\,\mathrm {d}s\) which amount to \(4\pi \) and \(\pi \).
Looking at the following experiments whose initial configurations all have a uniform twist rate, we find this property being violated in the course of the iteration. In first place, this is due to the spatial behavior of the curve which does not seems to allow for an simultaneous reaction by the director. Eventually, uniform twist rate is restored, at least when the evolution has reached a stationary configuration, cf. Sect. 2.6.
We can test for uniform twist rate by computing the quotient of \(\frac{2\pi ^{2}}{L}{{\,\mathrm{Tw}\,}}^{2}\) over the twisting energy. As to Experiments 6.2 to 6.4, throughout the evolutions this number stays close to 1 for most of the time where we detect a relative deviation below \(\frac{1}{200}\). The twist rate for Experiment 6.3 is plotted in Fig. 5 (right). In Experiment 6.4 we ignore the initial steps where the twist is zero. In the other cases, we also see that the twist rate eventually dissipates but it can last a relatively long time.
6.2 Michell’s instability
We aim at experimentally confirming Zajac’s threshold \(\beta _{*} = 2\pi \sqrt{3}\varkappa /L\), see Sect. 2.8.
We consider the initial curve \({y(s) =}\left( \cos s,\sin s,0\right) ^{\top }\) with the director
In order to break symmetry which seems to prevent rod configurations from leaving even energetically unfavorable states, a slight perturbation has been applied to the initial curve, namely
perpendicularly to the plane (i.e., in z-direction); the frame is corrected accordingly.
In order to quantitatively verify Zajac’s threshold, we had to choose a rather high penalty coefficient, namely \(\varepsilon =10^{-5}\). For \(\varkappa =3/2\), we obtain
In Fig. 3 (left) we plot the twisting energy of several evolutions using logarithmic scales on both axes. From top to bottom, the profiles correspond to initial values of \(\beta _{\mathrm {ini}}=\beta _{*}+\tfrac{2^{\ell }}{10}\) for \(\ell =-1,0,1,2,3,4\). More precisely, we plot the twisting energy of the evolutions corresponding to different values of \(\beta _{\mathrm {ini}}\) minus the twisting energy of the configuration at \(\beta _{*}\), i.e., \(\tfrac{1}{2}\int _{0}^{2\pi }\beta (s)^{2}\,\mathrm {d}s - \tfrac{27}{4}\pi \), which seems to be stationary. Of course, values less than \(\tfrac{27}{4}\pi \approx 21.2058\) are ignored.
Experimentally we find that evolutions for different initial values of \(\beta _{\mathrm {ini}}\) seem to be very similar and essentially only vary in speed. The region of iteration steps where the twisting energy drastically falls is a good indication for the latter. There is one caveat—probably due to symmetry it turned out that the evolution corresponding to the initial values \(\beta _{\mathrm {ini}}=3\) is remarkably slower than expected. Therefore we chose \(\beta _{\mathrm {ini}}=2.98\) instead.
The plot in Fig. 3 (left) indicates a reciprocal dependence of the evolution speed on \(\beta _{\mathrm {ini}}-\beta _{*}\). For values \(\beta _{\mathrm {ini}}\le \beta _{*}\) the initial configuration remained unchanged (at least until step \(k=5\cdot 10^{6}\)). This confirms Zajac’s threshold as desired.
We show a typical full energy profile in Fig. 3 (right) for the initial value \(\beta _{\mathrm {ini}}=4.2\). Some iteration steps are visualized in Fig. 2. The corresponding plots for the other initial values of \(\beta _{\mathrm {ini}}\) essentially differ by the scaling of the horizontal axis and the simulations looks very similar. Initial and final stage are round circles which correspond to the (unique) global bending energy minimum of \(L=2\pi \) among all closed curves.
Note that the total twist is reduced by precisely 2 from \(\beta _{\mathrm {ini}}=4.2\) to \(\beta =2.2\). In light of Sect. 2.7 a second reduction would be possible as well. However, in contrast to Experiment 6.3 below, the gradient of the energy does not seem to be steep enough to invest the amount of additional bending required for another self-penetration. As \(2.2<\beta _{*}\) the evolution becomes stationary due to Michell’s instability.
6.3 Reducing twist by self-penetration
We repeat the experiment from Sect. 6.2 with \(\varkappa =2\) and \(\beta _{\mathrm {ini}}=5\), i.e., for a continuous frame. Here we have \(\beta _{*}\approx 3.4641\). The same slight perturbation has been added to the initial curve as before in (14).
In this case we observe twist reduction by two consecutive self-penetrations although the evolution could possibly stop after the first one since the twist value is then already below the threshold \(\beta _{*}\). Obviously, the gradient of the energy of the noncircular configuration around iteration step \(k=48{,}000\) is so steep that Michell’s instability does not play any role here.
The evolution is visualized in Fig. 4 and the energy values are plotted in Fig. 5 (left). As the initial and final configurations are circular and the frame closes up (because of \(\beta _{\mathrm {ini}}\in {\mathbb {Z}}\)), the total twist is integer at the beginning and end of the evolution (cf. Sect. 2.4).
The twist rate, however, does not stay uniform throughout the evolution as can be seen from Fig. 5 (right). Eventually the twist will be balanced similarly to Experiment 6.1.
6.4 Planar figure eight
Any closed planar elastica (i.e., a critical point of the bending energy) is either a circle or a planar figure-eight curve, possibly several times covered, cf. Sachkov [61].
Explicit formulae for elastica based on special functions have been computed in the 19th century, see the references in Levien [43]. Here we make use of an arclength parametrization given by Dall’Acqua and Pluda [21] which relies on earlier work by Djondjorov et al. [24], namely
Here E denotes the incomplete elliptic integral of the second kind and K the complete elliptic integral of the first kind while \({{\,\mathrm{am}\,}}\) is the Jacobi amplitude function and \({{\,\mathrm{cn}\,}}\) the elliptic cosine function, cf. [21]. The (signed) curvature amounts to \(s\mapsto -2\sqrt{m} {{\,\mathrm{cn}\,}}(s,m)\). The figure-eight curve corresponds to \(m\approx 0.82611\) which is the uniquely defined number in (0, 1) with \(2E(\tfrac{\pi }{2},m)=K(m){{}\approx 2.321}\).
In order to break the symmetry which may result in an unstably stationary configuration, a slight perturbation similarly to (14) has been added to the initial curve, namely \(s\mapsto \tfrac{1}{1000}\sin \left( 7\cdot \tfrac{2\pi }{4K(m)} s\right) \), perpendicularly to the plane (i.e., in z-direction); the frame is corrected accordingly.
According to Ivey and Singer [37, Sect. 7] the twist-free planar figure-eight is stable if \(\varkappa =c_{\mathrm{b}}/c_{\mathrm{t}}<\tfrac{1}{2}\) and unstable if \(\varkappa >\tfrac{1}{2}\).
We performed several evolutions whose energy plots are depicted in Fig. 7 (left). As in Experiment 6.2, the evolutions are very similar and essentially only differ in speed. In each case the total twist is raised from zero to one which is still in accordance with the bound \(\left|{{\,\mathrm{Tw}\,}}\right|\le 1\) in Sect. 2.7. Mind the semi-logarithmic scaling of the horizontal axis. Negative values of the twisting energy are due to discretization errors and tend to zero when choosing a larger number of nodes.
Snapshots of the evolution for \(\varkappa =0.7\) can be found in Fig. 6. We observe an evolution to a round circle with one full twist. For the same reason as in Experiment 6.3 we face integer values of \({{\,\mathrm{Tw}\,}}\) at beginning and end of the evolution. The full energy plot is depicted in Fig. 7 (right).
The parameters \(\varkappa \) of the profiles shown in Fig. 7 (left) amount to \(\varkappa =\tfrac{1}{2}+\tfrac{2^{\ell }}{10}\) for \(\ell =-2,-1,0,1,2,3,4\). The red solid line corresponding to \(\varkappa =0.52\) is just about to lift at the right margin. The speed of the evolution seems to reciprocally depend on \(\varkappa -\tfrac{1}{2}\), suggesting that the evolutions for \(\varkappa \le \tfrac{1}{2}\) will be stationary. This confirms the threshold by Ivey and Singer as desired.
6.5 Open clamped rods
We can also simulate the evolution of open rods. Our initial curve is planar, namely
This curve is not parametrized by arclength, with the notation of elliptic integrals introduced in Experiment 6.4 we have \(L=4\sqrt{2}E(\tfrac{\pi }{2},-2)\approx 12.357\). No perturbation of the initial rod was used.
Choosing \(\beta _{\mathrm {ini}}=4\) gives an initial total twist of 8 according to Sect. 2.4.
The evolution is depicted in Fig. 8, the corresponding energy plot can be found in Fig. 9. It seems to become stationary after 30,000 steps although the total twist could be further reduced, see Sect. 2.7 (Figs. 10, 11).
6.6 Implementing impermeability
In order to preclude rods from self-penetrations we consider the modified total energy \(I_\mathrm{rod}+\varrho \mathrm {TP}\) where \(\varrho \ge 0\) and \(\mathrm {TP}\) denote the tangent-point functional
Here \(s,{\tilde{s}}\) denotes arclength parameters, and \(r(y(\tilde{s}), y(s))\) is the radius of the circle that is tangent to \(y\) at the point \(y({\tilde{s}})\) and that intersects with \(y\) in \(y(s)\).
As many so-called knot energies [56], the tangent-point energies provide a monotonic uniform bound on the bi-Lipschitz constant. This implies in particular that the energy values of a sequence of embedded curves converging to a curve with a self-intersection will necessarily blow up.
The tangent-point energies have been proposed by Gonzalez and Maddocks [27]; the scale invariant case \(q=2\) has already been introduced by Buck and Orloff [11]. They are defined on (smooth) embedded curves \(y:[0,L]\rightarrow {\mathbb {R}}^{n}\) and take values in \([0,+\infty ]\), see Strzelecki and von der Mosel [70] and references therein. Blatt [9] has characterized the energy spaces in terms of Sobolev–Slobodeckiĭ spaces; regularity aspects are discussed in [10].
More information on the discretization of the tangent-point functional can be found in [6, 7]. We cut out a strip of radius \(2h_{\max }\) off the diagonal in \([0,L]^{2}\).
We repeat Experiments 6.3 and 6.5 in the presence of self-avoidance. No perturbation was added to the initial curves. The parameters are chosen similarly, see Table 1.
Note that for closed curves with a closed frame the linking number is preserved throughout the evolution. Changes of the total twist will be entirely compensated by the writhe functional.
References
Antman, S.S.: Nonlinear Problems of Elasticity, Volume 107 of Applied Mathematical Sciences, 2nd edn. Springer, New York (2005)
Arunakirinathar, K., Reddy, B.D.: Mixed finite element methods for elastic rods of arbitrary geometry. Numer. Math. 64(1), 13–43 (1993)
Barrett, J.W., Garcke, H., Nürnberg, R.: Parametric approximation of isotropic and anisotropic elastic flow for closed and open curves. Numer. Math. 120(3), 489–542 (2012)
Bartels, S.: A simple scheme for the approximation of the elastic flow of inextensible curves. IMA J. Numer. Anal. 33(4), 1115–1125 (2013)
Bartels, S.: Finite Element Simulation of Nonlinear Bending Models for Thin Elastic Rods and Plates. Handbook of Numerical Analysis. Elsevier, Amsterdam (2019)
Bartels, S., Reiter, Ph.: Stability of a simple scheme for the approximation of elastic knots and self-avoiding inextensible curves. arXiv e-prints (2018)
Bartels, S., Reiter, Ph., Riege, J.: A simple scheme for the approximation of self-avoiding inextensible curves. IMA J. Numer. Anal. drx021 (2017)
Bergou, M., Wardetzky, M., Robinson, S., Audoly, B., Grinspun, E.: Discrete elastic rods. ACM Trans. Graph. 27(3), 63:1–63:12 (2008)
Blatt, S.: The energy spaces of the tangent point energies. J. Topol. Anal. 5(3), 261–270 (2013)
Blatt, S., Reiter, Ph: Regularity theory for tangent-point energies: the non-degenerate sub-critical case. Adv. Calc. Var. 8(2), 93–116 (2015)
Buck, G., Orloff, J.: A simple energy function for knots. Topol. Appl. 61(3), 205–214 (1995)
Călugăreanu, G.: L’intégrale de Gauss et l’analyse des nœuds tridimensionnels. Rev. Math. Pures Appl. 4, 5–20 (1959)
Călugăreanu, G.: Sur les classes d’isotopie des nœuds tridimensionnels et leurs invariants. Czechoslovak Math. J. 11(86), 588–625 (1961)
Clauvelin, N., Audoly, B., Neukirch, S.: Matched asymptotic expansions for twisted elastic knots: a self-contact problem with non-trivial contact topology. J. Mech. Phys. Solids 57(9), 1623–1656 (2009)
Coleman, B.D., Dill, E.H., Lembo, M., Lu, Z., Tobias, I.: On the dynamics of rods in the theory of Kirchhoff and Clebsch. Arch. Ration. Mech. Anal. 121(4), 339–359 (1992)
Coleman, B.D., Swigon, D.: Theory of supercoiled elastic rings with self-contact and its application to DNA plasmids. J. Elast. 60(3), 173–221 (2001)
Coleman, B.D., Swigon, D.: Theory of self-contact in Kirchhoff rods with applications to supercoiling of knotted and unknotted DNA plasmids. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 362(1820), 1281–1299 (2004)
Coleman, B.D., Swigon, D., Tobias, I.: Elastic stability of DNA configurations. II. Supercoiled plasmids with self-contact. Phys. Rev. E (3) 61(1), 759–770 (2000)
da Costa e Silva, C., Maassen, S.F., Pimenta, P.M., Schröder, J.: A simple finite element for the geometrically exact analysis of Bernoulli–Euler rods. Comput. Mech. 65(4), 905–923 (2020)
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 (Berlin) 34(2), 209–222 (2014)
Dall’Acqua, A., Pluda, A.: Some minimization problems for planar networks of elastic curves. Geom. Flows 2(1), 105–124 (2017)
Deckelnick, K., Dziuk, G.: Error analysis for the elastic flow of parametrized curves. Math. Comp. 78(266), 645–671 (2009)
Dichmann, D.J., Li, Y., Maddocks, J.H.: Hamiltonian formulations and symmetries in rod mechanics. In: Mathematical approaches to biomolecular structure and dynamics (Minneapolis, MN, 1994), volume 82 of IMA Vol. Mathematical Applications, pp. 71–113. Springer, New York (1996)
Djondjorov, P.A., Hadzhilazova, M.T., Mladenov, I.M., Vassilev, V.M.: Explicit Parameterization of Euler’s Elastica. Geometry, Integrability and Quantization, pp. 175–186. Softex, Sofia (2008)
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)
Gerlach, H., Reiter, Ph, von der Mosel, H.: The elastic trefoil is the doubly covered circle. Arch. Ration. Mech. Anal. 225(1), 89–139 (2017)
Gonzalez, O., Maddocks, J.H.: Global curvature, thickness, and the ideal shapes of knots. Proc. Natl. Acad. Sci. USA 96(9), 4769–4773 (1999)
Gonzalez, O., Maddocks, J.H., Schuricht, F., von der Mosel, H.: Global curvature and self-contact of nonlinearly elastic curves and rods. Calc. Var. Partial Differ. Equ. 14(1), 29–68 (2002)
Goriely, A.: Twisted elastic rings and the rediscoveries of Michell’s instability. J. Elast. 84(3), 281–299 (2006)
Goriely, A., Tabor, M.: Nonlinear dynamics of filaments. I. Dynamical instabilities. Phys. D 105(1–3), 20–44 (1997a)
Goriely, A., Tabor, M.: Nonlinear dynamics of filaments. II. Nonlinear analysis. Phys. D 105(1–3), 45–61 (1997b)
Goyal, S., Perkins, N., Lee, C.: Non-linear dynamic intertwining of rods with self-contact. Int. J. Non-Linear Mech. 43(1), 65–73 (2008). cited By 34
Goyal, S., Perkins, N.C., Lee, C.L.: Nonlinear dynamics and loop formation in Kirchhoff rods with implications to the mechanics of DNA and cables. J. Comput. Phys. 209(1), 371–389 (2005)
Hoffman, K.A., Seidman, T.I.: A variational characterization of a hyperelastic rod with hard self-contact. Nonlinear Anal. 74(16), 5388–5401 (2011a)
Hoffman, K.A., Seidman, T.I.: A variational rod model with a singular nonlocal potential. Arch. Ration. Mech. Anal. 200(1), 255–284 (2011b)
Hu, K.: Buckling of some isotropic, intrinsically curved elastics induced by a terminal twist. Appl. Math. Lett. 16(2), 193–197 (2003)
Ivey, T.A., Singer, D.A.: Knot types, homotopies and stability of closed elastic rods. Proc. Lond. Math. Soc. (3) 79(2), 429–450 (1999)
Kehrbaum, S., Maddocks, J.H.: Elastic rods, rigid bodies, quaternions and the last quadrature. Philos. Trans. R. Soc. Lond. Ser. A 355(1732), 2117–2136 (1997)
Krömer, S., Valdman, J.: Global injectivity in second-gradient nonlinear elasticity and its approximation with penalty terms. Math. Mech. Solids 24(11), 3644–3673 (2019)
Langer, J., Singer, D.A.: Curve straightening and a minimax argument for closed elastic curves. Topology 24(1), 75–88 (1985)
Langer, J., Singer, D.A.: Lagrangian aspects of the Kirchhoff elastic rod. SIAM Rev. 38(4), 605–618 (1996)
Le Tallec, P., Mani, S., Rochinha, F.A.: Finite element computation of hyperelastic rods in large displacements. RAIRO Modél. Math. Anal. Numér. 26(5), 595–625 (1992)
Levien, R.: The elastica: a mathematical history. Technical Report UCB/EECS-2008-103, EECS Department, University of California, Berkeley (2008)
Lin, C.-C., Schwetlick, H.R.: On the geometric flow of Kirchhoff elastic rods. SIAM J. Appl. Math. 65(2), 720–736 (2004)
Maddocks, J.H.: Bifurcation theory, symmetry breaking and homogenization in continuum mechanics descriptions of DNA. Mathematical modelling of the physics of the double helix. In: A Celebration of Mathematical Modeling, pp. 113–136. Kluwer, Dordrecht (2004)
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)
Manning, R.S., Maddocks, J.H.: Symmetry breaking and the twisted elastic ring. Comput. Methods Appl. Mech. Eng. 170(3–4), 313–330 (1999). Computational methods and bifurcation theory with applications
Manning, R.S., Rogers, K.A., Maddocks, J.H.: Isoperimetric conjugate points with application to the stability of DNA minicircles. R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 454(1980), 3047–3074 (1998)
Meier, C., Popp, A., Wall, W.A.: An objective 3D large deformation finite element formulation for geometrically exact curved Kirchhoff rods. Comput. Methods Appl. Mech. Eng. 278, 445–478 (2014)
Michell, J.H.: On the stability of a bent and twisted wire. Messenger Math. 11, 181–184; 1889–1890. Reprinted in [29]
Moffatt, H.K., Ricca, R.L.: Helicity and the Călugăreanu invariant. Proc. R. Soc. Lond. Ser. A 439(1906), 411–429 (1992)
Mora, M.G., Müller, S.: Derivation of the nonlinear bending-torsion theory for inextensible rods by \(\Gamma \)-convergence. Calc. Var. Partial Differ. Equ. 18(3), 287–305 (2003)
Needham, T.: Kähler structures on spaces of framed curves. Ann. Glob. Anal. Geom. 54(1), 123–153 (2018)
Neukirch, S., Henderson, M.E.: Classification of the spatial equilibria of the clamped elastica: symmetries and zoology of solutions. J. Elast. 68(1–3), 95–121 (2003)
O’Hara, J.: Family of energy functionals of knots. Topol. Appl. 48(2), 147–161 (1992)
O’Hara, J.: Energy of Knots and Conformal Geometry. Series on Knots and Everything, Vol. 33. World Scientific, River Edge (2003)
Pozzi, P., Stinner, B.: Curve shortening flow coupled to lateral diffusion. Numer. Math. 135(4), 1171–1205 (2017)
Ranner, T.: A stable finite element method for low inertia undulatory locomotion in three dimensions. arXiv e-prints (2019)
Reiter, Ph: Repulsive knot energies and pseudodifferential calculus for O’Hara’s knot energy family \(E^{(\alpha )},\alpha \in [2,3)\). Math. Nachr. 285(7), 889–913 (2012)
Romero, I.: The interpolation of rotations and its application to finite element models of geometrically exact rods. Comput. Mech. 34(2), 121–133 (2004)
Sachkov, Y.L.: Closed Euler elasticae. Proc. Steklov Inst. Math. 278(1), 218–232 (2012)
Sander, O.: Geodesic finite elements for Cosserat rods. Int. J. Numer. Methods Eng. 82(13), 1645–1670 (2010)
Scholtes, S., Schumacher, H., Wardetzky, M.: Variational Convergence of Discrete Elasticae. arXiv e-prints (2019)
Schuricht, F., von der Mosel, H.: Euler–Lagrange equations for nonlinearly elastic rods with self-contact. Arch. Ration. Mech. Anal. 168(1), 35–82 (2003)
Spillmann, J., Teschner, M.: An adaptive contact model for the robust simulation of knots. Comput. Graph. Forum 27(2), 497–506 (2008)
Starostin, E.L.: Symmetric equilibria of a thin elastic rod with self-contacts. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 362, 1317–1334 (1820), 2004
Starostin, E.L., van der Heijden, G.H.M.: Theory of equilibria of elastic 2-braids with interstrand interaction. J. Mech. Phys. Solids 64, 83–132 (2014a)
Starostin, E.L., van der Heijden, G.H.M.: Tightening elastic \((n, 2)\)-torus knots. J. Phys. Conf. Ser. 544(1), 012007 (2014b)
Starostin, E.L., van der Heijden, G.H.M.: Equilibria of elastic cable knots and links. In: Blatt, S., Reiter, Ph, Schikorra, A. (eds.) New Directions in Geometric and Applied Knot Theory, pp. 258–275. De Gruyter, Berlin (2018)
Strzelecki, P., von der Mosel, H.: Tangent-point self-avoidance energies for curves. J. Knot Theory Ramif. 21(5), 1250044-28 (2012)
Tobias, I., Coleman, B.D., Lembo, M.: A class of exact dynamical solutions in the elastic rod model of DNA with implications for the theory of fluctuations in the torsional motion of plasmids. J. Chem. Phys. 105(6), 2517–2526 (1996)
Tobias, I., Olson, W.K.: The effect of intrinsic curvature on supercoiling: predictions of elasticity theory. Biopolymers 33(4), 639–646 (1993)
Tobias, I., Swigon, D., Coleman, B.D.: Elastic stability of DNA configurations. I. General theory. Phys. Rev. E (3) 61(1), 747–758 (2000)
van der Heijden, G., Neukirch, S., Goss, V., Thompson, J.: Instability and self-contact phenomena in the writhing of clamped rods. Int. J. Mech. Sci. 45(1), 161–196 (2003)
von der Mosel, H.: Minimizing the elastic energy of knots. Asymptot. Anal. 18(1–2), 49–65 (1998)
Zajac, E.E.: Stability of two planar loop elasticas. Trans. ASME Ser. E. J. Appl. Mech. 29, 136–142 (1962)
Acknowledgements
Sören Bartels acknowledges support via the DFG Research Unit FOR 3013 Vector- and Tensor-Valued Surface PDEs. Philipp Reiter was partially supported by the German Research Foundation (DFG), Grant RE 3930/1–1.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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., Reiter, P. Numerical solution of a bending-torsion model for elastic rods. Numer. Math. 146, 661–697 (2020). https://doi.org/10.1007/s00211-020-01156-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-020-01156-6