Arresting the collapse of a catenary arch

Jemal Guven1, ∗ and Gregorio Manrique1, † 1Instituto de Ciencias Nucleares, Universidad Nacional Aut´onomade M´exico, 04510 Ciudad de M´exico, MEXICO

It is well known that viable architectural structures can be identified by locating the critical points of the gravitational potential energy congruent with some fixed surface metric. This is because, if the walls are thin, the lowest energy modes of deformation are strain-free, and thus described by surface isometries. If it is to stand, however, an arch had better possess some minimum rigidity. The bending energy consistent with this construction protocol, we will show, can only depend on curvature deviations away from the reference equilibrium form. The question of stability, like the determination of equilibrium, turns on the geometry. We show how to construct the self-adjoint operator controlling the response to deformations consistent with isometry. As illustration, we reassess the stability of a simple catenary arch in terms of the behavior of the ground state of this operator. The energy of this state increases monotonically with the bending rigidity and it is possible to identify the critical rigidity above which the arch is rendered stable. While this dependence may be monotonic, it exhibits a number of subcritical kinks indicating significant qualitative changes in the ground state associated with eigenvalue crossovers among the unstable modes in the spectrum; the number of such competing modes increasing rapidly as the rigidity is lowered. The initial collapse of a subcritical arch is controlled by the ground state; on the critical threshold, there are two unstable modes of equal energy, one raising the arch at its center, the other lowering it. The latter dominates as the instability grows. The qualitative behavior of the ground state changes as the rigidity is lowered—its nodal pattern as well as its parity undergoing abrupt changes as the intervals between crossovers converge—complicating the prediction of the dominant initial mode of collapse.

I. INTRODUCTION the surface of the wall. In mathematical terms, this means that they leave the metric on this sur- The first people to build with adobe, brick face fixed: they are isometries. The subject of or stone would have been quick to appreciate isometry was discussed with (unusual) relish in that these materials tend to withstand compres- volume five of Spivak [2]. The curious reader will sion considerably better than they do tension find complementary treatments in references [3– [1]. Unreinforced masonry will resist substan- 5] and, perhaps most comprehensively, in Steven tial compressive forces due to gravity before it Verpoort’s thesis [6]. Not only are the relevant crumbles; it will, however, develop cracks when degrees of freedom geometrical, so also are the subjected to even modest tension. But, before constraints connecting them. Despite the dif- it fails, it will behave–to a surprisingly good ference in scale, in this sense, the walls of any approximation—as an inextensible medium: it building—viewed in the large—are no different neither stretches nor shrinks. from a folded thin sheet, be it graphene or a Contemporary building materials, we know, modest A4 sheet of paper. The latter has come are not limited by tension like masonry, and under increasing scrutiny in recent years not only they will buckle rather than crumble. Never- for its technological importance but also as a le- theless, the most relevant modes of deformation gitimate problem—not to be underestimated— consistent with the integrity of any thin-walled falling within the scope of soft matter [7]; for arXiv:1710.03433v1 [cond-mat.soft] 10 Oct 2017 free-standing structure, whether it be a cathe- a sampling of the rapidly expanding literature dral vault or the canopy of an airport terminal, see, for example, [8–11]. Technically, even the are the same as those that constrain the design of parametrization of an isometrically folded thin masonry. For, if the walls are thin compared to sheet, never mind the physics, poses its own chal- their radius of curvature, the modes costing the lenges (as emphasised forcefully in a recent paper least energy are those preserving distances along [12]). In retrospect, the neglect of isometry by physicists or engineers until the closing years of the twentieth century will require some explana- ∗ E-mail address: [email protected] tion. † E-mail address: [email protected] 2

We will argue that, despite the differences in designed software enlisted to implement it in the underlying physics and the disparity in scale its full two-dimensional glory. The extraordi- involved, the geometrical framework used to de- nary scope of the approach is illustrated in ref- scribe thin sheets can be tweaked to shed in- erences [19] and [20]. Its aesthetic potential teresting light on the behavior of contempory was, of course, anticipated by Antoni Gaud´ı,and building materials and, whenever the thin wall more recently by the late Zaha Hadid [21, 22]. idealization is appropriate, the behavior of ma- One could quibble over the occasionally awkward sonry itself. Paradoxical as it may seem, there aesthetics—or question the impulses driving the is a limit in which it is not unrealistic to think construction of such cavernous structures—but of masonry as a soft material. such questions fall well outside the scope of this The recognition that a catenary somehow pro- paper. There is, however, a crucial aspect of the vides the optimal structure for spanning an protocol that is not addressed in the optimiza- opening predates Robert Hooke [13]. He was, tion process: an assessment of the stability of however, the first to articulate why in the lan- these structures in the geometrical spirit of the guage of mechanics; indeed, the significance of protocol [23].This turns out not to be straight- his discovery impressed him sufficiently that he forward; and geometry plays an even more sig- squandered valuable time composing an ana- nificant role than it does in the design itself. gram in Latin to record it [14–16]. Deciphered The stress, of course, is not constant within and translated, the well-known anagram de- an arch. In Hooke’s protocol, however, it de- claims “As hangs the chain, so but inverted pends only on the geometrical aspect ratio and stands the arch”. A hanging rope of fixed length, its mass; it does not depend on any other ma- suspended between two fixed points, will mini- terial properties. Notably, resistence to bending mize its potential energy when it traces out a is ignored—with impunity—in the design pro- catenary; this part is an elementary exercise in tocol; so it cannot contribute to the stress dis- the calculus of variations accommodating the lo- tributed within the equilibrium structure. This cal constraint on its length. Inverted, it will form may be very well in a hanging rope but, in an an arch. In the process, the tension in the chain arch, it cannot be the full story. For the protocol gets converted to compression and because the also ignores the fact that the gravitational po- lines of thrust are tangent to the catenary they tential energy is a maximum in a catenary arch. are steered safely into the foundations or lateral As such, it would collapse immediately, like a supports [17]. Curiously, in contrast to the law falling rope whether or not the one-third rule of reluctant schoolchildren associate with Hooke, thumb—confining the lines of thrust—is satisfied there is not a strain in sight. [24, 25]. Unlike a pencil, standing on its lead, the More generally, if the gravitational potential number of unstable modes of the arch consistent energy is stationary with respect to deforma- with isometry is infinite (or certainly large); the tions preserving the metric, the stress will be modes with the shortest wavelength turn out to tangential and the surface viable. Remarkably, be the most unstable gravitationally. While the this is true irrespective of its specific material cost to bend the arch may play no role in deter- properties. The problem is completely geometri- mining the equilibrium shape, or even contribute cal. The equations leading to this conclusion can to the stress, it clearly does play a very impor- be derived by applying the calculus of variations tant role in counteracting this instability. using Lagrange multipliers to impose isometry as But this begs the question: what is the ap- a constraint. We will show how to do this follow- propriate bending energy? The energy consis- ing the method developed by one of the authors tent with Hooke’s protocol cannot be the fa- (with Martin M¨uller)in another context [18]. miliar symmetric energy quadratic in curvature: Despite the simplicity of Hooke’s protocol, for, if it were, the equilibrium would itself pos- it remains the basis for identifying rather sess bending energy which would in turn shift more complex optimal geometries, with custom- the equilibrium, introducing additional bending 3 stresses within the structure. Hooke’s protocol constraint; an order that one is not accostumed would be rendered as good as useless. The ap- to chance upon in the description of physical sys- propriate bending energy can only penalize devi- tems. ations away from the equilibrium reference state, To illustrate how our framework may be ap- at lowest order it will be quadratic in the devi- plied, we will examine a symmetric catenary arch ation. There is no bending energy in the equi- and assess its stability from this point of view. librium state. This is not only true in the tra- This is as simple as it gets yet not quite as sim- ditional construction of a masonry arch which ple as we would have hoped. The compensation involves the use of centring, removed when the is that it turns out to be considerably more in- cement has cured, but also in the assembly of teresting than expected. pre-formed units in contemporary construction If the parameter µ is positive the spectrum of where the accommodation of tension is not an the operator is bounded from below. There is obstacle. Indeed, this understanding is implicit also a critical rigidity µc above which the low- in a promotional video produced by Norman Fos- est eigenvalue turns positive and the arch is ren- ter and Partners, where the principle informing dered stable with respect to small deformations; the design of an airport terminal is illustrated below µc the arch will be unstable; its domi- using a chain with resin sprayed onto the hang- nant mode of collapse described by the eigen- ing chain to lend it the rigidity it needs to stand function of this operator which corresponds to upon inversion [26, 27]. The bending energy pos- this lowest eigenvalue. To this point the behav- sesses an inhomogeneous spontaneous curvature ior accords with intuition. The lowest eigenvalue determined by the equilibrium we spray. also grows montonically with µ. However, as it Bending energies with this property may van- grows, it displays kinks, signalling interesting be- ish in the equilibrium state but will contribute at havior where these occur. second and higher order in deformations about It is useful to think of the self-adjoint op- it. It is also manifestly positive. If sufficiently erator as a Hamiltonian describing a quantum positive, the arch will stand. mechanical particle moving in one-dimension— For simplicity, we will suppose that a single albeit an unusual Hamiltonian sixth order in parameter µ characterizes the bending rigidity momentum—and to identify the eigenfunction of the medium. This simple energy is com- which corresponds to the lowest eigenvalue as pletely geometrical. Thus the question of stabil- the ground state of this Hamiltonian. ity, like the Hookean construction itself, is a ge- When the arch is just subcritical, the ground ometrical question. Extensions to accommodate state is symmetric and exhibits two nodes. This anisotropies or inhomogeneities are all straight- single state represents two physically distinct un- forward in principle, but obscure the essential stable modes: one raising the arch at its center, geometrical nature of the problem. the other lowering it. This degeneracy cannot To examine stability under small deformations be resolved at quadratic order and it is neces- it is necessary to expand the total energy— sary to proceed to the next order in deformations gravitational potential plus bending energy— to identify which of the two is the more unsta- constrained by isometry, to quadratic order ble. It turns out to be the mode lowering the about the equilibrium structure. It is not ob- arch at its center and this mode will dominate vious that the inclusion of the constraint at this as the instability grows, consistent with observa- order is going to be tractable analytically. By tions. The hinge-points where failure occurs are happy accident, we find it turns out to be. The located at the three anti-nodal positions along key result of this paper is the identification of the arch. This interpretation of this feature ap- the self-adjoint linear operator controlling small pears to be new. We predict how the positions of deformations and thus the stability of the struc- these hinges depend on the aspect ratio as well ture. Technically there is a snag: this operator is as the rigidity. sixth-order in derivatives—a consequence of the The spatial behavior of the ground state de- 4 pends somewhat sensitively on how far below where h = X · k is the local height above a given criticality the rigidity lies, indicating a qualita- horizontal plane, and k is the normal to this tive change in the instability as the rigidity is plane. The measure of surface area dA is invari- reduced. Below a second critical value, located ant under isometry. We will suppose for simplic- at the last kink, the unstable symmetric state ity that the mass density ρ is uniform and absorb with two nodes is replaced by an antisymmet- the acceleration due to gravity into its definition. ric state with an additional node as the ground The Hookean equilibria are critical points of H0 state. The ground state is no longer the state within the class of geometries with fixed bound- with the lowest number of nodes and it is no aries and a given induced metric. The latter is longer symmetric. As the rigidity is lowered even given by further, the number of nodes displayed by the ground state generally increases as one passes gab = ea · eb , (2) through the succession of discrete values of µ, where e = ∂ X, a, b = 1, 2 are the two surface where the kinks are located. The number of un- a a tangent vectors adapted to the parametrization. stable states also increases. What is more, the We will examine the corresponding equilibria in number of nodes exhibited by these states does Section III. not correlate simply with their energy which, un- like the ground state energy, does not generally Equilibrium biased bending energy: The bending increase monotonically with µ. Predicting the energy of a surface is quadratic in its curvature; mode of collapse is complicated accordingly. The if it is symmetric and isotropic, and the refer- collapse of a simple catenary arch, as simple an ence geometry is flat, it is given by (see, for architectural structure as one can conceive, turns example, [28]) out to be an unexpectedly complex process. It is possible that the reader may not be in- 1 Z Z H = µ dA (C +C )2 +µ ¯ dA C C . (3) terested in this specific problem. However, the B0 2 1 2 1 2 issues addressed here and their treatment are increasingly relevant in soft matter and the re- Here C1 and C2 are the principal curvatures, cently dubbed field of extreme mechanics where namely, the two real eigenvalues of the extrin- isometries play an important role in understand- sic curvature tensor, a measure of how fast the ing both the morphology and the physical be- surface normal n rotates into one direction as havior of thin sheets, whether macroscopic or one moves it along another, nanoscaled. The framework we introduce can K = e · ∂ n . (4) be adapted to accommodate different bending ab a b energies as well as external forces. The Gaussian curvature C1C2 is an isometry in- variant. Modulo the two material parameters, µ andµ ¯, this energy depends only on the geometry. II. GRAVITATIONAL POTENTIAL AND BENDING ENERGY If sufficiently thin (of thickness t), we also know that the surface will bend before it stretches [29]: 3 If the structure is thin compared to its ra- this is because the bending energy scales as t , dius of curvature, we can represent it as a whereas stretching energy increases linearly with parametrized surface in three-dimensional space, t. We will comment on potential limitations of (u1, u2) 7→ X(u1, u2). Here X = (X1,X2,X3) this approximation in the conclusions. is a triplet of functions, providing a Cartesian In the Hookean construction, the appropriate representation of the surface. The gravitational bending energy, HB, cannot play any role in de- potential energy is given by termining the equilibrium nor in determining the distribution of stress. As such, both HB and Z its first variation, δHB, must vanish in equilib- H0[X] = ρ dA h , (1) rium. Neither condition is satisfied by HB0. Nor 5 is the reference geometry flat. The simplest en- III. HOOKE’S SHAPE EQUATIONS ergy consistent with these criteria is given by Z The critical points of the energy can be iden- 1 X 2 HB = µ dA (CI − CI (u)) , (5) tified by using the method of Lagrange multi- 2 I pliers to impose the isometry constraint. To solve the Hookean problem, one introduces the where C1[u] and C2[u] are the curvatures of the undeformed reference geometry, the equilibrium constrained functional (the metric is defined in (0) 1 2 determined by the minimization of the gravita- terms of X by Eq.(2) and gab (u , u ) is a fixed tional potential energy consistent with the con- metric of our choosing), staints. Because we are only interested in isome- Z Z ab 1 ab (0) tries there is no need to introduce a term analo- H0C [X, σ ] = ρ dA h− dA σ (gab −gab ) . gous to the second term, proportional toµ ¯, ap- 2 (6) pearing in Eq.(3). A familiar analogue is the treatment of vec- The two curvatures C [u] and C [u] appear 1 2 tor fields with a fixed—usually vanishing— to play the role of anisotropic, position depen- divergence. To determine the Euler-Lagrange dent. spontaneous curvatures. However, it equations, we examine how the energy re- would be wrong to think of them as indepen- sponds to a surface deformation X(u1, u2) → dent parameters in the model, determined as X(u1, u2)+δX(u1, u2). The presence of the local they are by the equilibrium we are deforming. multipliers σab(u1, u2) frees us to treat the three Constant isotropic spontaneous curvatures are Cartesian deformations, δX, independently, un- familiar in membrane biophysics where they are constrained by isometry [18]. iintroduced to explain the global morphology of Qualitatively, normal and tangential deforma- cellular membranes [30, 31]; they can also arise tions are very different. As such, it is useful to due to the differences in the area of the two sides decompose the deformation explicitly along the of a membrane bilayer [32], or indeed a differ- respective directions: ence in the areas of the two bilayers within a a laminar tetralayer enclosing a lumen, as con- δX = Ψ ea + Φ n . (7) jectured in [33]. Energies involving constant anisotropic spontaneous curvatures occur in two- The normal and tangent Euler-Lagrange equa- dimensional liquid crystals; curved nematics on tions are identified using methods developed a fluid membrane substrate may imprint their elsewhere (we use [18, 38]): curvature on that substrate [34, 35]. Spatially ab ab (σ − ρh g ) Kab = ρ (n · k) ; (8a) varying anisotropic target curvatures are also rel- ∇ σab = 0 . (8b) evant in the modelling of the controlled lateral a swelling of thin elastic sheets [36]. What distin- Here ∇a is the covariant derivative compatible guishes the energy (5) from these is the fact that with gab; the normal equation involves the ex- C1[u] and C2[u] are themselves undetermined un- trinsic curvature Kab defined in Eq. (4). In gen- til the Hookean optimization is completed. This eral, Eqs.(8) would underdetermine the geome- is a very important feature of the model [37]. try if gab were not fixed. The element of freedom While HB vanishes in equilibrium, it does con- in the design process is captured mathematically tribute at second and higher order in departures by the choice of metric. Eqs.(8) are, themselves, away from equilibrium. It is positive and thus well-known. They appear in references [19] and tends to stabilize the geometry. There are two [20]. While neither derivation involves the cal- questions we wish to answer: how large must µ culus of variations this is, however, the obvious be to achieve this? What is the nature of the in- approach if one is to proceed and assess the sta- stability if µ falls short? As we have hinted, and bility of the equilibrium geomerty. as we will show, the answer to the latter question Whereas the stress associated with the presents a number of surprises. constraint is conserved, the total stress 6

ab ab ab T = σ − ρh g , adding the contribution in addition, σ0/ρ > H so that the total stress T0 = σ0−ρh > 0 ab b from gravity, is not: ∇aT = −ρ(e · k). It is compressive everywhere. is the total stress, however, that needs to be consistent with the properties of the medium; IV. SECOND VARIATIONS in masonry, it must be compressive everywhere ab (or approximately so); equivalently, T must We now turn to the question of stability be positive definite. of the equilibrium structure. This involves expanding the total energy, the sum of the Symmetric catenary vault: As a prelude to potential energy (1) and bending energy (5) the assessment of its stability, we re-examine to second order in deformations about this briefly—in this approach—a cylindrical vault structure. Again these deformations need to described in an adapted Cartesian parametriza- be consistent with isometry. We will do this tion, (X,Y ), by h = h(X). This is not, of in general, for fixed boundaries. The cor- course, the most straightforward approach if rect boundary conditions on free boundaries one is only interested in equilibrium. Indeed, an is a vexed issue that will be addressed elsewhere. elementary, if incomplete, derivation using force balance is provided at the beginning of Gray’s (1) Potential energy One can show that the sec- graphic introduction to differential geometry ond variation of the constrained potential energy [40]. is given by (we abuse notation by writing H0 in- Eq.(8b) implies that σXX = σ0, a constant; 2 R ab stead of H0C ) δ H0 = − dA T ∇aδX · ∇bδX. whereas σYY = 0. Using the identification of Because the total stress T ab is positive in K with the Frenet curvature along the curve compression, it follows that δ2H < 0. The ¨ ˙ 2 3/2 0 described by h, κ = −h/(1 + h ) , where deformation δX appearing here is constrained dot denotes d/dX, Eq.(8a) integrates to yield by isometry, or equivalently, at this order: ˜˙ 2 2˜2 a quadrature h − C h = −1, where we define ea · ∇bδX + eb · ∇aδX = 0. This constraint ˜ h := h − σ0/ρ. This posseses the familiar solu- can be recast at linear order in terms of the tion: h˜ = C−1 cosh CX. The two unknown con- projections of δX (7) as stants C and σ0 are determined by the bound- ary conditions. For a cross-section of maximum ∇aΨb + ∇bΨa + 2Kab Φ = 0 . (10) height H, and width 2L, one determines σ0 im- This allows δ2H to be rewritten plicitly as a function of the aspect ratio: 0 Z 2 ab 1 2 δ H0 = − dA T [AaAb+ gab(∇×Ψ) ] , (11) σ0/ρ = (σ0/ρ − H) cosh(L/[σ0/ρ − H]) . (9) 4 This relationship is represented in Fig. 1. It is where we introduce the surface vector field now straightforward to read off the compressive a a ab stress at any position along the arch. A := ∇ Φ − K Ψb , (12) ab 5 and define ∇ × Ψ =  ∇aΨb using the anti- symmetric Levi-Civita tensor ab. Each of the

3 two terms appearing in Eq.(11) is manifestly / ρ L

0 negative. σ 1 (2) Bending energy If δX is an isometry, 0 0 1 3 5 the second variation of the equilibrium biased H/L bending energy (5) is given by Z FIG. 1: The stress associated with the isometry constraint as 2 X 2 δ HB = µ dA (δCI ) , (13) a function of the aspect ratio in a catenary arch. σ0 is positive; I 7

0 where δCI is the deformation induced in the cur- of Eq.(10): Ψ + κΦ = 0. Note that the second vature CI under the isometry. We now use the term appearing in Eq.(11) does not contribute. 2 trivial algebraic identity 2C1C2 = (C1 + C2) − It does, however, contribute if the deformation 2 2 C1 − C2 to express the Gaussian curvature as is not cylindrical, but curls will also contribute a difference. As a consequence, under isometry, to the bending energy so, a non-vanishing curl, P 2 P 2 P ab I (δCI ) = ( I δCI ) . But I CI = g Kab. does not necessarily imply that a higher rigidity Thus is required to establish stability. Z The natural way to proceed might appear to 2 2 δ HB = µ dA (δK) . (14) be to eliminate Ψ in favor of Φ, as done in [41]. After all, intuitively, one tends to think of the Remarkably, it is only necessary to determine the tangential deformations as tagging their normal deformed trace to evaluate the second variation counterparts, not the other way around. The of the bending energy. This can be shown to be fixed boundary conditions, however, obstruct a given, for an isometry, by δK = −∇a(∇ Φ − this course. Counterintuitive as it may seem, ab a a K Ψb) = −∇aA , where A defined in Eq.(12) they do permit Φ to be eliminated in favor of appears once again. This follows from the gen- Ψ0 and this can be done globally because κ > 0. 2 ab a eral expression δK = −(∇ +K Kab)Φ+Ψ ∂aK We now can express the scalar A in terms of Ψ: (see, for example, [38]), and the isometry con- A = F Ψ, where the differential operator F is straint, Eq. (10). given by One can now add the two contributions to identify the total second variation, δ2H = 1 total F := −∂s ∂s − κ . (16) 2 2 δ HB +δ H0. This expression is general. Indeed, κ we do not need to be interested specifically in Because the boundary is fixed, Ψ = 0, Ψ0 = 0, gravity. Our analysis continues to be valid with and Ψ00 = 0 there. One can now integrate by an obvious modification if gravity is replaced by parts to rewrite a more general external force derivable from a Z potential V , with the replacement h, linear in δ2H = ds ΨH Ψ , (17) X, by V (X). total µ We are specifically interested in the critical where H is self-adjoint on the appropriate value of the rigidity µ above which δ2H > 0. µ total Hilbert space of functions. This operator is the We will show how to determine this value for a sum of a positive definite sixth-order operator symmetric catenary arch. H1 associated with bending energy and a nega- tive definite fourth-order H0 associated with the V. STABILITY OF THE CATENARY ARCH gravitational potential:

We first examine deformations preserving the Hµ = µH1 + H0 ; (18) cylindrical symmetry. The second variation now simplifies to give where 2 Z H1 = −F ∂ F ; (19a) 2  02 2 s δ Htotal = ds µ A − (σ0 − ρh)A , (15) H0 = −F(σ0 − ρh) F . (19b) where A = Φ0 − κΨ is now a scalar, and again Each of the two operators is a manifestly self- κ is the Frenet curvature of the catenary. Ψ is adjoint operator sandwich formed by the opera- the projection of δX along the unit tangent, Φ tor F, itself self-adjoint, defined by Eq.(16). again is the normal deformation, and prime in- To borrow the language of quantum mechan- 2 dicates a derivative with respect to arc-length. ics, the second variation δ Htotal can be thought The two fields Φ and Ψ are not independent, con- of as the expectation value of the operator Hµ strained as they are by the cylindrical reduction (the quantum mechanical Hamiltonian) in the 8

(normalized) state Ψ. In this spirit, we adopt These states are not themselves eigenstates of the Dirac shorthand [42] Hµ. If we now expand the right hand side of Eq.(20) with respect to the {|Ψ±i}, we find 2 n δ Htotal[X] = hΨ|Hµ|Ψi . (20) X ± ± ± hΨ|Hµ|Ψi = Cn CmBnm , (22) n,m,±

Identifying the spectrum of Hµ: The op- where erator Hµ possesses a discrete spectrum: ± ± ± ± ± ± Bnm = hΨm|Hµ|Ψn i . (23) Hµ|λµ,ni = λµ,n|λµ,ni, n = 1, 2, 3,... ; because ± Hµ is self-adjoint its eigenvalues λµ,n are real The matrix elements connecting even and and the eigenstates (or modes) |λ± i corre- µ,n odd states vanish because of the parity of Hµ sponding to distinct eigenvalues are orthogonal. and the definite parity of the basis elements: We also know that each eigenstate possesses a ± ∓ hΨm|Hµ|Ψn i = 0. Our task is reduced to the definite parity, indicated +(−) if even (odd). + diagonalization of two square matrices, Bmn and This is because Hµ is even under reflection in − ± Bmn. This identifies the eigenvalues λµ,n as well the origin, sending s → −s, or equivalently, the as the corresponding eigenstates. operator Π representing the reflection commutes ± ± with Hµ; as a consequence Π|λµ,ni = ±|λµ,ni. The ground state energy: For each µ > 0, Notice that the isometry constraint Ψ0 + κΦ = 0 the operator Hµ possesses a lowest eigenvalue implies that Ψ is odd whenever Φ is even. Eµ; the corresponding eigenstate is the analog ± We order the |λµ,ni by the number of nodes, of the quantum mechanical ground state, which − n. Thus |λµ,1i represents an odd tangential we label, |0µi: Hµ|0µi = Eµ|0µi. The second mode with one node (its normal counterpart will variation (20) is bounded from below by Eµ: + be even with two nodes); |λµ,1i represents an Eµ ≤ hΨ|Hµ|Ψi for all normalized |Ψi. even tangential mode with two nodes, and so We are interested in the functional dependence on. Even and odd parity states are orthogonal: of Eµ on µ. It is straightforward to show that + − hλµ,n|λµ,mi = 0 for any n and m. In general. Eµ increases monotonically with µ: if µ1 > µ2, this ordering differs from the ordering by energy then ± (λµ,n), but when µ is very large (very small) the two orderings do correspond (anti-correspond). hΨ|Hµ1 |Ψi−hΨ|Hµ2 |Ψi = (µ1−µ2)hΨ|H1|Ψi > 0 . One does not expect to find a simple analyt- (24) ical expression for the eigenstates or even the We are specifically interested in identifying the spectrum of Hµ. It is possible to perform back- critical value µc, above which Eµ turns positive, of-the-envelope approximations when the num- signalling the transition from instability to sta- ber of nodes is large and we will do this. In bility. Once it turns positive the inequality (24) general, however, Rayleigh-Schr¨odingerpertur- ensures that it remain positive. We now apply bation theory is least useful where the physics is the numerical approximation sketched earlier to most interesting and one needs to develop a nu- identify Eµ. Significantly, it is not a linear func- merical approximation. To do this, we expand tion of µ. As we will see, it is not even a smooth the tangential state |Ψi with respect to an appro- function of µ. Above µc, however, the value of Eµ ± is controlled by H . This implies that, asymptot- priate complete orthonormal basis {|Ψn i , n = 1 1, 2, 3,... } that is consistent with the boundary ically, Eµ does depend linearly on µ, consistent conditions as well as possessing a definite parity with our expectations. [43]: The numerically determined Eµ is plotted as a function of µ for a representative aspect ratio in ∞ Fig. 2. X ± ± |Ψi = Cn |Ψn i . (21) n=1,± 9

+- μ1 μC 10

) 8 0 2

( 10 6 3

/ ρ L 4 c 2 μ 2 -0.1 )/ ρ L

5 0 0 2 4 6 8 10 ( 10 μ H L

E / -0.2

FIG. 3: Critical Rigidity as a function of the aspect ratio. -0.3 2 4 6 8 ± In a subcritical arch, the eigenstate |λµ,ni μ/ρL3(102) that is assuming the role of ground state, |0µi does not possess a fixed number of nodes as µ is varied, not is its parity fixed. Because this state controls the instability of the catenary, the nature of this instability itself depends qualitatively on the value of µ. As we will see, the kinks appearing in Fig. 2 indicate the locations where these transitions occur. FIG. 2: Ground state energy Eµ as a function of µ for H/L = 1/5. It increases monotonically with µ. vanishing at the To understand this behavior, it is necessary to study in some detail the dependence of the dimensionless critical value µc = 7.9 above which the arch is stable with respect to small deformations. This will be seen unstable eigenstates of Hµ on µ. − As µ is decreased below µ , the number of to occur at the value of µ (µ1 ) where the (non-monotonic) c − negative eigenvalues —corresponding to un- eigenvalue λµ,1 changes sign for the last time. An infinite sequence of subcritical kinks is observed in the behavior of stable modes—typically increases. Let us first

Eµ. The last three of these are indicated explicitly in the look at small values of µ. In the limit of a 3 2 +− fictitious catenary rope with no bending energy, figure. The final kink occurs when µ/ρL (10 ) = µ1 = 4.2, − + the ground state energy in the continuum limit where λµ,1 and λµ,1 crossover for the (last) time. The origin of these kinks will be discussed in the text. will be unbounded from below, corresponding to a state with an infinite number of nodes. In practice, however, there will be a short distance cutoff, so that the corresponding state is the one Critical Rigidity and the aspect ratio: The de- with the maximum number of nodes consistent pendence of µc on the aspect ratio, H/L is pre- with this cutoff (nmax). sented in Fig. 3. Its behavior correlates quali- tatively with that of the constraining stress. We Short wavelength modes: Suppose that the have compared these predictions with the results wavelength is small, or equivalently n  κL, of a simple experiment involving a thin plastic and that H/L is small so that h/L can be sheet suspended between two fixed walls a vari- treated as slowly varying and the curvature able distance apart, 2L. The initial catenary κ is approximately constant. In this regime, 4 sheet collapses under inversion. A resin lending H0 ≈ −C0∂s , where C0 is a constant. As bend- rigidity to the sheet is now applied uniformly and ing energy is dialled in, it will penalize the high the weight (a measure of µ) recorded. This is re- curvatures in these short wavelength modes. 6 peated a number of times for each L until such In the same approximation, H1 ≈ −µC1∂s , point that the sheet does not collapse when in- where C1 is another constant. The operators verted. The results agree qualitatively with our H0 and H1 effectively commute in this regime. numerical prediction. The eigenstates of Hµ can be expanded in 10 trigonometric functions, with corresponding state in the neighborhood of the critical rigidity, 4 2 eigenvalues, λµ n ≈ C1n (µ n − C0/C1), where we need to understand how long wavelength a fixed geometrical factor has been absorbed modes behave in this neighborhood. Before we into the definition of the constants. Note that, do this, it is instructive to examine the behavior while the trigonometric functions themselves are of short wavelength modes in a little more not consistent with the boundary conditions, detail.

the error can be ignored when n is large. In μ this regime, even and odd modes become ener- 0 getically degenerate. The eigenvalues increase linearly with µ in this regime. This is not n=1 true in general: not only do they not increase n=2 ± μ , n λ linearly, they do not even behave monotonically, n=3 the monotonic behavior of the ground state n=4 notwithstanding. n=5 4 If µ = 0, λµ n ≈ −C0n . One sees that, were it not for the cutoff, there would be an infinite FIG. 4: n(µn − 1) vs. µ, n = 1, 2, 3, 4, 5. This function

number of unstable modes consistent with isom- captures the qualitative behavior of the spectrum of Hµ when etry. n is large. For ease of viewing, the powers of n appearing If µ is small, the lowest eigenvalue is bounded here are not those appearing in the text. from below. If µ < µcut, where µcut = −2 2/3(C0/C1)nmax, it occurs when n coincides Setting constants equal to one, the eigenvalues with the cutoff, nmax; if µ is small but ex- at short wavelength behave as ceeds µcut, this minimum occurs at a value 4 2 p −1 λµ,n ∼ n (µ n − 1) . (25) n0 ≈ 2/3(C0/C1)µ , decreasing monotoni- cally with µ. The corresponding ground state One observes the following (represented 3 2 −2 energy grows with µ: Eµ ≈ −4/27(C0 /C1 )µ , schematically in Fig. 4.): consistent with the behavior observed in Fig. 2 for µ/µc  1. Notice that, unlike the low-lying (i) The number of unstable modes decreases eigenvalues, Eµ does not increase linearly with µ with µ. The larger n, the more unstable the in this regime. mode gravitationally; but the high curvature As µ is increased further and n0 falls through in such modes also costs more bending energy single digits, this approximation becomes in- so the sooner λµ,n turns positive. This occurs 2 creasingly unreliable. One needs to account for when µn ∼ 1/n . the non-commutativity of the operators H0 and (ii) Eigenvalue crossovers (or degeneracies) occur H1. We are particularly interested in the nodal at discrete values of µ. Using Eq.(25) one finds behavior and the parity of the ground state as that, for each pair m and n, λµ,n = λnm = λµ,m 4 4 6 6 µ approaches criticality. This regime does not when µ = µnm = (n − m )/(n − m ). These lend itself to the simple qualitative treatment crossovers occur before µ = µn or µm. Thus the presented above for small values of µ. corresponding degeneracy always occurs while Intuitively, one would expect the last eigen- the eigenvalue is still negative. value to turn positive and remain positive to be (iii) The functional dependence of the ground − − λµ,1 corresponding to the eigenstate |λµ,1i with state energy Eµ on µ is monotonic, given by a single node. Despite the unexpected erratic the discrete envelope bounding the spectrum subcritical behavior of this state, described from below in the manner captured in Fig. 4. below, this expectation turns out to be justified. Ignoring for the moment that the short wave- length expression for the eigenvalues is grossly Nodal behavior of short wavelength modes: inaccurate for small integers, we note that when To identify the state representing the ground µ > µ12, the ground state consistent with the 11 spectrum described by Eq.(25) is given by the These excursions, remote from the critical rigid- state with n = 1; when µ23 < µ < µ12 this state ity, would appear to imply a counterintuitive de- is replaced by the state with n = 2. As µ is pendence of the stability on the rigidity. Fortu- − reduced further, the ground state is provided by nately, while λ1 is undertaking subcritical pos- − modes with increasing n within ever narrowing itive excursions, the corresponding state |λ1 i is intervals of µ. At each transition, where the not the ground state, a role played by some other + ground state is degenerate, Eµ suffers a kink. state, not necessarily |λ1 i. What this state is These are the short wavelength counterparts of will depend on the aspect ratio and will require the sub-critical kinks appearing in the depen- a detailed numerical examination of the subcrit- dence of Eµ on µ illustrated in Fig. 2. The final ical spectrum beyond the scope of this work. kinks display somewhat more complex behavior 4.2 5.1 7.9 which we will describe more closely in the next +- + - μ1 μ1 μ1 subsection. 1 2 Non-Monotonicity: In longer wavelength 0 )/ ρ L modes, the non-commutivity of the two oper- 4 ( 10 ators contributing to Hµ cannot be ignored. ± 1 1

λ - - Because H1 is positive and H0 negative, the λ1 + eigenvalues of their sum, Hµ, do not necessarily λ1 -2 increase monotonically with µ, never mind 0 5 10 linearly. This does not contradict the inequality 3 2 μ/ρL (10 ) Eq. (24) because H1 and Hµ do not possess a simultaneous of eigenstates. Multiple crossovers ± ± FIG. 5: λµ,1; H/L = 1/5. If µ/ρL << 1 then λµ,1 both also occur. This is the origin of the striking grow linearly with µ, as perturbation theory predicts (in this counterintuitive non-monotonic behavior in the regime, neither is the ground state); if µ/ρL >> 1, on the − + sub-critical regime displayed by λ and λ in ± µ,1 µ,1 other hand, λµ,1 are again linear. The eigenvalues behave Fig. 5. In this figure, we notice that when µ is non-monotonically and exhibit multiple crossovers in the very small, the two eigenvalues are negative, and +− ± subcritical regime. The last crossover occurs at µ1 , λµ,1 behave monotonically as perturbation theory ± − + turn positive and remain positive at µ1 . µ1 > µ1 and is

would predict. In this “unphysical” regime they identified as the the critical rigidity, µc. See also Fig. 2. always represent the highest energy eigenvalues, not the low energy eigenvalues we are interested Low-lying eigenvalues near criticality: In in. (As we described earlier, the low energy general, there will exist a critical value of the states in this regime are represented by short- ± rigidity, µn , for each mode at which the eigen- wavelength modes.) As µ is increased further, ± value λµ,n turns positive and above which it these eigenstates undergo a number of large am- remains so. Whereas short wavelength modes plitude oscillations (these are more asymmetric stay positive once they turn positive, as we have + in the case of λµ,1), briefly turning positive dur- just seen, their misbehaved long wavelength ing these oscillations. These oscillations can be counterparts need not remain positive. The understood in terms of the sensitive dependence physically significant rigidity, however, is the of the energy on µ in longer wavelength modes value where the eigenvalue turns positive for associated with the non-commutativity of the the last time. We do find that these values are two competing operators. This behavior itself is + − + − ordered: ··· < µ2 < µ2 < µ1 < µ1 ; the last not unusual: it is exhibited in two-dimensional − eigenvalue to turn and stay positive is λµ,1, and matrix models with appropriate operators. − we identify µ1 as µc, the rigidity controlling the As µ approaches its critical value the eigenval- stability of the arch. ues again behave monotonically, signalling the domination of bending energy in these states. (i) Above µc, the number of nodes correlates with 12

− + − + energy: 0 < λµ,1 < λµ,1 < λµ,2 < λµ,2 < ··· ; FIG. 6: Near-critical physically distinct degenerate unstable − modes represented by the ground state |λ− i: X ± δX. The the odd state with a single node |λµ,1i is the µ,1 stable ground state. There are no eigenvalue length of the deformed curve has been increased for clarity. crossovers once the arch turns stable. (ii) Within the sub-critical region, µ < µc, The use of italics requires explanation. We multiple eigenvalue crossovers will generally oc- know that the single tangential node in the cur between long wavelength modes. However, ground state implies that the corresponding for each pair of eigenvalues, there will be a geometrical deformation has two nodes in the final crossover. The last crossover to occur is normal deformation. This is a straightforward − + +− between λ1 and λ1 , occurring when µ = µ1 . consequence of the lineared isometry constraint, The dependence of these two eigenvalues on Ψ0 + κΦ = 0. But this equation also implies µ is represented in Fig. 5 for the aspect ratio that the nodes of Ψ never coincide with those H/L = 1/5. of Φ. As a result, the catenary possesses no fixed points (δX 6= 0) except at its boundaries. We observe the following behavior in Fig. Note also that an initially collapsing arch must 5: necessarily rise somewhere. It cannot fall all together at once, a consequence of the isometry +− − + − (i) If µ > µ1 , then λ1 < λ1 , and |λµ,1i constraint and the boundary conditions. is the ground state, albeit unstable below µc. If, As µ is lowered further, and bending energy + + in addition, µ > µ1 (where λ1 turns positive), becomes insufficient to arrest its collapse on in- − then |λµ,1i is also the unique mode of instability. creasingly shorter wavelengths, the perturbed + + If µ falls below µ1 , however, λµ,1 turns negative catenary will initially rise and fall an increas- + ing number of times number of nodes, reflecting so that |λµ,1i provides an additional unstable mode. The dominant mode remains |λ− i. the nodal behavior of the most unstable mode, µ,1 as well as the increased number of modes of in- (ii) As µ is lowered below the crossover value stability. +− + − + Physically, each unstable mode describes two µ1 , however, then λµ,1 < λµ,1 so that |λµ,1i − distinct geometrical modes of collapse: the spec- replaces |λµ,1i as the ground state. The parity of the dominant unstable mode changes, with tral analysis does not distinguish energetically an additional node. The changing parity of the between the positive and negative deformations dominant instability was not anticipated. illustrated in Fig. 6. But buckling up is not the same as buckling down. To resolve this Physical representation of the near-critical quadratic degeneracy, one needs to expand the + energy out to third order in deformations, a cal- unstable mode: If µ1 < µ < µc, we saw that the − culation complicated by the necessity to treat single unstable mode is |λ1 i. This represents a symmetric buckling of a catenary, with two the isometry constraint quadratically. Experi- nodes as illustrated in Fig. 6. ments with thin sheets confirm that the lower energy state is alway the one falling at its cen- ter. 0.2 There are few extant higher order calculations, even without local constraints to contend with. One example we are aware of involves global h 0.1 h rather than local constraints [45]. And, to the - best of our knowledge, an independent confir- h-δX1 - mation of this result has yet to be performed. h+δX1 0 This perturbative analysis does not discount -1 0 1 the possibility of the subcritical arch relaxing X into a new equilibrium stabilized by bending en- 13 ergy. Unless such a state exists, tension will spectrum of the self-adjoint operator controlling build up at the antinodes as the deformation the response, alone, would keep us occupied for a grows. This would lead to the disintegation of while. We have, however, described a number of a masonry arch at these hinges and the subse- the essential elements of the problem, justiifying quent free fall of the fragments. not just why the Hookean construction works— something every mason knows— but also provid- ing a framework to predict if an arch will stand VI. CONCLUSIONS AND FUTURE WORK and how it fails if it does not. We hope our work will inspire others to pursue these issues. In this paper, we have introduced a geomet- The natural next step is to examine the sta- rical framework to assess the stability of a free- bility of genuine three-dimensional structures. standing thin-walled structure. This involves un- Indeed, a complete treatment of the catenary derstanding how surfaces deform isometrically, vault should rightly accommodate deformations the identification of the appropriate bending en- that break the cylindrical symmetry, deforming ergy and the spectral analysis of the self-adjoint the arch into a more general metrically flat tan- operator controlling perturbations about equilib- gent developable surface [44] consistent with the rium. While geometry was well-known to play a boundary conditions. As it turns out, when role in our identification of equilbrium its role the rigidity is isotropic as we have supposed for in understanding the behavior of deformations simplicity, such modes of failure never form the about equilibrium does not appear to have been ground state so treating them does not change appreciated, never mind explored in this limit. our conclusions. If, however, the wall is con- In general there is, of course, a lot more to solid structed using an anisotropic material, so that mechanics than is captured by our phenomeno- HB in Eq.(5) is replaced by something like lical model [46]. One should think of this en- Z 1 X 2 ergy as a phenomenological one, where the em- HB = µI dA (CI − CI (u)) , (26) 2 phasis is on capturing the essential features of I the problem. Whille deriving the appropriate with different moduli along orthogonal direc- bending energy from first principles is likely to tions, the dominant mode of instability would be no simple matter, when the dust settles one be expected to lie along the transverse direction would expect it to look not unlike the energy if bending is soft along this direction, or equiva- written down in Eq.(5), with spontaneous curva- lently, µ2/µ1 is sufficiently small. tures determined—consistent with the protocol– In general, the stability of a three-dimensional by the equilibrium reference values of the curva- structure will depend very sensitively both on ture. If, however, the thin wall approximation its Gaussian curvature as well as the boundary does not apply, our geometrical approach is ren- conditions. A mathematical surface with posi- dered invalid and it is necessary to approach the tive Gaussian curvature, such as a closed dome subject very differently. on a fixed base, does not support any small We have illustrated this framework using the isometric deformations [2]. So if stretching is historically significant example of a catenary not accommodated, one would expect isometry arch. The example itself may appear quaint; its alone to stabilize the structure. This may be analysis does, however, illustrate the extraordi- true of pingpong balls. The fault with this rea- narily sensitive dependence of the stability on soning here is that vertical cracks will develop the rigidity. towards the base of a masonry dome where the It should be stressed that we have not at- structure becomes subject to substantial tension tempted to capture every feature of the linear (or hoop stresses) along the parallels. The two stability of a catenary arch much less attempt to sides of the crack will behave as free bound- examine any more complicated geometry. Un- aries that become free to move independently derstanding the complex erratic behavior of the under deformation. The stability of the dome 14 needs to be reassessed accommodating the free cussions with L Mahadevan during the early boundaries along these cracks. It is a sobering stages of this work. Indeed, it was he who thought that a reliable geometrical framework pointed out that the stability of masonry was to accomodate free boundaries on thin walls a question that was due reappraisal in the remains to be developed. But that is another thin wall limit. We also thank James Hanna, story. Martin M¨ullerand David Steigmann for useful comments. This work was supported in part by Acknowledgments: We benefitted from dis- CONACyT grant no. 180901 to JG.

[1] J. Heyman The Stone Skeleton: Structural Engineering tamed by the weight distributed above it. of Masonry Architecture (Cambridge University Press, [18] J. Guven and M.M. M¨uller, J. Phys. A: Math. and Gen. 1995) 41 055203 (2008) [2] M. Spivak A Comprehensive Introduction to Differential [19] E. Vouga, M. H¨obinger,J. Wallner, and H. Pottmann. Geometry Vol. 5 (Publish or Perish, 1975) Note to the Design of self-supporting surfaces ACM Trans. Graphics, wary reader: despite appearances one does not need to 31 1 (2012) wade through the first four volumes to benefit from a [20] S. Adriaenssens (Ed), P. Block (Ed.), D. Veenendaal reading of the relevant chapter. (Ed.), C. Williams (Ed.) Shell Structures for Architec- [3] A.V. Pogorelov Bendings of surfaces and stability of ture: Form Finding and Optimization (Routledge, 2014) shells Vol. 72. (American Mathematical Soc., 1988) [21] Unfortunately, building temples in stone can still be [4] R. Harnach and H. Rothert International Journal of slow. Gaudi’s Sagrada Familia, begun in 1882, is only Solids and Structures 12 359 (1976) nearing completion at the time of writing. Sagrada [5] B. Audoly and Y. Pomeau Elasticity and geometry: from Fam´ılia enters final construction phase Guardian 27 hair curls to the non-linear response of shells (OUP Ox- October 2015 ford, 2010) http://www.theguardian.com/artanddesign/antoni- [6] S. Verpoort The geometry of the second fundamental gaudi form: curvature properties and variational aspects (The- [22] P. Jodidio Zaha Hadid (Taschen, 2016) sis Leuven, 2008) [23] Our focus is on the role of bending energy in arresting [7] For a review see T. Witten Rev. of Mod. Phys. 79 643 the collapse of an otherwise gravitationally unstable con- (2007); figuration. We do not examine its stability under the dis- [8] E. Cerda, L. Mahadevan and J.M.Pasini PNAS 101 1806 placement of its support. (2004); E Cerda and L Mahadevan Elastica Proc. R. Soc. [24] J. Heyman, Equilibrium of shell structures (Clarendon A 461 671 (2005); Press Oxford, 1977) [9] Y. Klein, E. Efrati, and E. Sharon Science 315 1116 [25] M. Levy and M. Salvadori Why Buildings Fall Down: (2007); How Structures Fail (W. W. Norton & Company 2002) [10] A. P. Korte, E. L. Starostin, and G. H. M. van der Heij- [26] Foster and Partners’ Mexico City Airport den Proc. Roy. Soc. London A 467 285 (2011); https://vimeo.com/105157027 min 5:50 [11] J. Gemmer and S. C. Venkataramani Soft Matter 9 8151 [27] New international airport for Mexico City (2013) https://en.wikipedia.org/wiki/Planned Mexico City in- [12] Y.-C. Chen, R. Fosdick, E. Fried Journal of Elasticity (in ternational airport press). (doi:10.1007/s10659-017-9637-2) [28] L. Landau and E. Lifshitz Theory of Elasticity (Pergamon [13] Consult the Wikipedia entry for Taq Kasra. This arch- Press, 1959) way, constructed sometime after 540 CE, is essentially all [29] Lord Rayleigh On bells The London, Edinburgh, and that remains of the city of Ctesiphon, located in what Dublin Philosophical Magazine and Journal of Science, is currently Iraq. Constructed without centring, it re- 29(176), January 1890 mains the largest vault of unreinforced brickwork ever [30] W. Helfrich Z. Naturforsch. C 28 693 (1973). constructed. [31] U. Seifert Advances in Physics 46 13 (1997) [14] See, for example, P. Block, M. DeJong and J. Ochsendorf [32] S. Svetina and B. Zekˇs,ˇ Eur. Biophys. J. 17, 101 (1989) Nexus Network Journal 8 13 (2006) [33] J Guven, G Huber, and D M Valencia Phys. Rev. Lett. [15] An informal discussion is provided in 113 188101 (2014) http://civil.lindahall.org/design.shtml [34] J.R. Frank and M. Kardar Phys. Rev. E 77 041705 (2008) For those readers interested in the anagram itself, see [35] N. Walani, J. Torres, A. Agrawal Phys. Rev. E 89 062715 https://newtonexcelbach.wordpress.com/2010/07/14/ (2014) arches anagrams and plagiarism/ [36] M.A. Dias, J.A. Hanna, C.D. Santangelo Phys. Rev. E [16] The year before his death, the geometer Robert Osser- 84 036603 (2011) man wrote a thoughtful essay on the catenary arch. See [37] No analogue exists for a pure fluid membrane. R. Osserman Mathematics of the gateway arch in Notices [38] R. Capovilla, J. Guven and J. A. Santiago Journal of of the American Mathematical Society 57 220-229 (2010) Physics A: Mathematical and General 36 23 (2003) [17] In a semi-circular Roman arch, the wayward thrust is [39] R. Capovilla and J. Guven, J. Phys. A: Math. and Gen. 15

35 6233 (2002) These modes are consistent with the boundary condi- 0 00 [40] A. Gray A Modern Differential Geometry of Curves tions: fn, fn, fn = 0 on X = ±L. and Surfaces with Mathematica (Chapman & Hall/CRC 2006) [41] J. Guven, M.M. M¨ullerand Pablo Vzquez-Montejo Jour- [44] M. Do Carmo Differential Geometry of Curves and Sur- nal of Physics A: Mathematical and Theoretical 45 1 faces (Prentice hall 1976) (2011) [45] O.Y. Zhong-Can and W. Helfrich Phys. Rev. Lett. 59 R [42] hΨ1|Ψ2i = dsΨ1(s)Ψ2(s). 2486 (1989) [43] We choose as our basis (expressed as functions of [46] D. Steigmann Archive for Rational Mechanics and Anal- X rather than s) the funtions which result from the ysis 150 127 (1999) Gram-Schmidt orthogonalization of the following sums of Fourier modes:   + 1 (2n + 1)πX 2n + 1 (2n + 3)πX fn (X) = √ cos + cos , L 2L 2n + 3 2L and   − 1 nπx n (n + 1)πX fn (X) = √ sin + sin . L L n + 1 L