Abstract
We minimize a linear combination of the length and the \(L^2\)-norm of the curvature among networks in \(\mathbb {R}^d\) belonging to a given class determined by the number of curves, the order of the junctions, and the angles between curves at the junctions. Since this class lacks compactness, we characterize the set of limits of sequences of networks bounded in energy, providing an explicit representation of the relaxed problem. This is expressed in terms of the new notion of degenerate elastic networks that, rather surprisingly, involves only the properties of the given class, without reference to the curvature. In the case of \(d=2\) we also give an equivalent description of degenerate elastic networks by means of a combinatorial definition easy to validate by a finite algorithm. Moreover we provide examples, counterexamples, and additional results that motivate our study and show the sharpness of our characterization.
Similar content being viewed by others
1 Introduction
A regular network \(\mathcal {N}\) is a connected set in \(\mathbb {R}^d\) composed of N regular curves \(\gamma ^i\) of class \(H^2\) that meet at their endpoints in junctions of possibly different order. Moreover the angles at the junctions are assigned by a fixed set of directions \(\mathcal {D}\) as we will define more precisely in Definition 2.11. The elastic energy functional \(\mathcal {E}\) for a network \(\mathcal {N}\) is given by
where \(\vec {k}^i\) is the curvature, s the arclength parameter and \(\ell (\gamma ^i)\) is the length of the curve \(\gamma ^i\).
The elastic energy functional has a long history. Already at the times of Galileo scientists tried to model elastic rods and strings, looking for equations for equilibrium of moments and forces. The idea to relate the curvature of the fiber of the beam to the bending moment came only later when, in 1691, Jacob Bernoulli proposed to model the bending energy of thin inextensible elastic rods with a functional involving the curvature. Several authors refer to the functional (1.1) as Euler Elastic energy in honor of Euler (while we will simply call it elastic energy) who solved the problem of minimizing the potential energy of the elastic laminae using variational techniques. Even nowadays the elastic energy appears in several mechanical and physical models (c.f. [21]) and in imaging sciences, see for instance [18].
We are interested in the minimization of the functional \(\mathcal {E}\) among networks with fixed topology and with fixed angles at the junctions assigned by \(\mathcal {D}\).
Notice that the length \(\ell (\gamma ^i)\) of each curve of a regular network is strictly positive because the curves are regular by assumption. This property is not preserved by sequences with uniformly bounded energy: along a sequence of networks \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) with uniformly bounded energy (or even a minimizing sequence) the length of a curve may go to zero as \(n\rightarrow \infty \), producing a “degenerate limit” which is no longer a regular network. Hence a remarkable issue is to understand this lack of compactness of sequences with bounded energy in minimization problems.Footnote 1
Our first task is therefore to describe the class of limits of sequences (equibounded in energy) of regular networks. In other words, we have to characterize the “closure in energy” of the class \(\mathcal {C}_{\mathrm {Reg}}\) of regular networks.
Then, since the lack of compactness implies that it could not be possible to solve the original minimization problem among regular networks, we relax it by considering the lower semicontinuous envelope of the functional \(\mathcal {E}\) with respect to the weak convergence in \(H^2\). Our second objective is to find an explicit formula of the lower semicontinuous envelope. We underline that the relaxation of the problem is necessary: Example 5.2 shows that also in some very simple situations minimizers are not regular networks.
In Propositions 3.9 and 4.2 we characterize the smallest compact class of (non-regular) networks in which the class of regular networks is “dense in energy” in terms of a mixture of algebraic and combinatorial conditions that are easy to verify and rely on the topological assumptions on the competitors. As the formulation of these conditions involves some technicalities, a detailed description is postponed to the second part of the introduction. We are then able to give a characterization of the lower semicontinuous envelope of \(\mathcal {E}\) that strongly relies on the previous result (see Theorem 4.8).
This last point creates a bridge between our problem and another natural research direction: the extension of the elastic energy (and more in general of functionals that depend on the curvature) to singular sets for which at least a weak notion of curvature is well defined, varifolds for instance. The characterization of the relaxation of the original functional in such cases turned out to be particularly difficult (for results in this direction see for instance [4,5,6,7, 15, 16, 19]). We notice that networks can be seen as a simple example of sets which are essentially singular and they can be understood as a boundary of a planar cluster of surfaces. For problems in which one knows a priori that the boundary of minimal planar clusters is composed of a finite number of curves, it could be useful to define the curvature of the cluster by means of (1.1). An advantage is that we have an easy integral representation of the lower semicontinuous envelope of \(\mathcal {E}\).
To place our paper in the broader context, we mention the minimization of Willmore-type functionals among both Riemannian manifolds and singular structures is an extreme flourishing research field. As the simplest possible example of singular structure we mention surfaces with boundary (possible references are [2, 9,10,11, 17, 20]).
The main reason for which we got interested in this problem is a previous study of its dynamical counterpart (see [13, 14]). The study of the static problem has often revealed to be useful for the analysis of the asymptotic behavior of the solutions of the associated gradient flow and of the singularities that can appear during the evolution. Our analysis can be useful to understand the long time behavior of the elastic flow of networks whose curves meet at junctions with prescribed angles introduced in [3, 14].
After this detour on the literature, we explain more in detail what can happen along sequences of regular networks \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) whose elastic energy is uniformly bounded.
A Model Problem: Theta-Networks
A Theta-network is a regular 3-network whose curves form equal angles at the two junctions (Fig. 1). The limit of a sequence of regular Theta-networks with uniformly bounded energy may not exist in the class of regular networks and hence the minimization problem has some form of degeneracy that luckily is not completely wild: the length of at most one curve can go to zero along the sequence, becoming straighter and straighter. If this is the case the “degenerate” limit network is composed of two curves meeting at a quadruple point forming angles equal in pairs of \(\tfrac{\pi }{3}\) and \(\tfrac{2\pi }{3}\).
The general case presents new interesting features with respect to the model problem of Theta-networks. Firstly, one realizes that much more than the length of one single curve can go to zero, since entire parts of the network can vanish as \(n\rightarrow \infty \). In order to keep track of the complexity of the network we introduce the notion of underlying graph G.
The Underlying Graph
The oriented graph G is composed of edges \(E_i\) whose endpoints are identified in vertices of possibly different order (Definition 2.1). A network then is a pair graph-continuous map \(\mathcal {N}=(G,\Gamma )\) with \(\Gamma :G\rightarrow \mathbb {R}^d\) (Definition 2.2). The underlying graph G captures the topology of the networks and allows us to have a reminiscence of their structure even when some curves in a sequence of networks \(\mathcal {N}_n=(G,\Gamma _n)\) collapse to a point in the limit.
A Necessary Angle Condition
We say that a curve \(\gamma ^i:=\Gamma \vert _{E_i}\) of a network is singular if it is a constant map, and regular if it is an immersion of class \(H^2\). A network is singular if some of its curves are singular.
Definition 1.1
(Outer tangents) Consider a regular curve of a network \(\mathcal {N}\) parametrized by \(\gamma ^i\). We define \(\tau ^{z,i}\), with \(z\in \{0,1\}\), as the outer tangent vector at the endpoint \(\gamma ^i(z)\) to the curve \(\gamma ^i\) given by
We remark that the vector \(\tau ^{z,i}\) “points inside” the curve \(\gamma ^i\) at \(\gamma ^i(z)\) (see Fig. 2). In this way, if \(\gamma ^i(z_i)=\gamma ^j(z_j)\) is a junction point, then \(\tau ^{z_i,i}\) and \(\tau ^{z_j,j}\) “point outwards” with respect to the junction. In this way the outer tangents are geometrically independent of the direction of the parametrization of the curves concurring at a junction.
The following definition introduces the angle condition for a possibly singular network. It will be restated more in detail in Definition 3.2.
Definition 1.2
(Angle condition) A (possibly) singular network \(\mathcal {N}=(G, \Gamma )\) satisfies the angle condition if for every singular curve \(\gamma ^i\) there exist two unit vectors \(\tau ^{z,i}\), called its virtual tangents, with \(z\in \{0,1\}\) such that \(\tau ^{0,i}=-\tau ^{1,i}\) and such that, at each junction, the tangent vectors (either real outer tangents or virtual ones) coincide, up to a fixed rotation that only depends on the junction, with the directions assigned by a given set \(\mathcal {D}\) (we shall state this concept more in detail in Definitions 2.11 and 3.2).
Also motivated by [8], as a first attempt we defined the class of degenerate networks as all the singular networks that satisfy the angle condition of Definition 1.2.
Unfortunately this purely algebraic condition on the angles turns out to be necessary but not sufficient to characterize the closure of the class \(\mathcal {C}_{\mathrm {Reg}}\) as we show in the next example.
Consider the topology depicted in Fig. 3 on the left, with all junctions forming angles of \(\tfrac{2\pi }{3}\), and define a singular network that collapses the red part to a single point. It is possible to do so satisfying the angle condition of Definition 1.2 (see the picture on the right) but no sequence of regular networks with finite energy and the same angle constraint could converge to the singular network on the right.
Indeed, denoting by C the cycle in red in Fig. 3, using Gauss–Bonnet Theorem (Remark 3.3) one gets \(\mathcal {E}(C)\ge \frac{c}{L(C)}\), with \(c>0\), for any immersion \(\Gamma \) such that \((G,\Gamma )\) is a regular network, and thus the energy diverges if the length of the red loop goes to zero (see Example 3.4 and Remark 3.3 for more details).
Stratified Straight Subgraph
To overcome this issue in the definition of the class, we looked for an extra condition. Again the underlying graph G helps us.
Definition 1.3
(Stratified straight subgraph) A subgraph H of the underlying graph G is stratified-straight if there exists a finite sequence of subgraphs, called strata,
and maps \(\Sigma _j:H_j\rightarrow \mathbb {R}^d\) such that for \(j=0,\ldots ,q-1\)
-
the (sub)network \((H_j,\Sigma _j)\) satisfies the angle condition 1.2 with (real or virtual) tangent vectors coinciding with the ones associated to \((H_0,\Sigma _0)\) and its regular curves are straight segments;
-
the stratum \(H_{j+1}\) is the union of the singular curves of \((H_j,\Sigma _j)\).
In the following, segments are always understood to be straight segments.
Denote by H the subgraph given by the union of the edges \(E_i\) of G such that the curves \(\gamma ^i=\Gamma \vert _{E_i}\) are singular. With a little abuse of notation we say that the network \(\mathcal {N}=(G,\Gamma )\) is stratified straight if H is stratified straight.
The Class of Degenerate Networks
Finally we come to the characterization: a network is degenerate, of class \(\mathcal {C}_{\mathrm {Deg}}\), if it satisfies the angle condition 1.2 and it is stratified straight. It is natural now to define the extension \(\overline{\mathcal {E}}\) of the functional \(\mathcal {E}\) by setting that a curve with zero length of a network in \(\mathcal {C}_{\mathrm {Deg}}\) gives a null contribution to the energy and by assigning value \(+\infty \) to the energy of singular networks which are not in \(\mathcal {C}_{\mathrm {Deg}}\).
In Proposition 3.9 we prove that a sequence of regular networks with equibounded energy converges to a network in \(\mathcal {C}_{\mathrm {Deg}}\), namely that the closure of \(\mathcal {C}_{\mathrm {Reg}}\) is contained into \(\mathcal {C}_{\mathrm {Deg}}\).
Formula for the Lower Semicontinuous Envelope of the Elastic Energy Functional
A question still remains: is the class \(\mathcal {C}_{\mathrm {Deg}}\) the smallest set of generalized network where we have compactness? In Proposition 4.2 we show that any degenerate network can be approximated in energy by a regular one. Hence our guess was correct: the class \(\mathcal {C}_{\mathrm {Reg}}\) is “dense in energy” in \(\mathcal {C}_{\mathrm {Deg}}\). Moreover the extension \(\overline{\mathcal {E}}\) is the lower semicontinuous envelope of \(\mathcal {E}\).
We stress the fact that we are able to express the lower semicontinuous envelope in integral form and with the very simple formula (4.1). This is possible only thanks to the precise characterization of \(\mathcal {C}_{\mathrm {Deg}}\).
Notice that the existence of minimizers of the relaxed functional \(\overline{\mathcal {E}}\) follows trivially by a direct method in the Calculus of Variations.
Stratified Straight Versus Straight Subgraph
At first sight considering stratified straight subgraphs could seem uselessly complicated.
One can ask whether the class of degenerate networks can be equivalently characterized as the set of networks \((G,\Gamma )\) satisfying the angle condition 1.2 such that there exists only one map \(\Sigma :H\rightarrow \mathbb {R}^d\) from the singular edges to \(\mathbb {R}^d\) such that every curve of \(\Sigma \) is a regular straight segment and \((H,\Sigma )\) satisfies the angle condition (in this case we say that the network \((H,\Sigma )\) is straight). This would mean that in Definition 1.3 the index \(q=1\) is enough. In Example 3.10 we show a stratified straight but not straight graph. Nonetheless, there are some cases in which every stratified straight subgraph is in fact straight; an easy example consists in graphs G with the structure of a tree.
However, the concepts of stratified straight graphs and straight graphs are essentially different, even in non-trivial cases that have some interest from a variational viewpoint; more precisely in Sect. 7 we study the case of networks in \(\mathbb {R}^2\) with graphs having junctions of order at most four such that at these junctions the tangent vectors are orthogonal (Proposition 7.5) and we find a characterization of the stratified straight graphs that turn out to be straight.
Ambient Space: Restriction to the Plane and Extension to Riemannian Surfaces
Although we find our characterization of the class \(\mathcal {C}_{\mathrm {Deg}}\) by combination of algebraic and geometric conditions quite satisfactory, if the ambient space is \(\mathbb {R}^2\) we are able to give an equivalent characterization of the class \(\mathcal {C}_{\mathrm {Deg}}\) (see Definition 3.8) by an algebraic-topological condition that has the great advantage of being verifiable by an algorithm with finitely many steps.
It is also worth to mention that our result extends from the ambient space \(\mathbb {R}^2\) to any 2-dimensional closed surface embedded in \(\mathbb {R}^3\).
Fixed Lengths
In Sect. 8.2 we present a variant of the problem, that is analytically very simple, but that could be more relevant from the physical point of view: the minimization of the \(L^2\)-norm of the curvature among networks whose curves have fixed length.
Plan of the Paper
The structure of the paper is the following: after the definitions of networks and elastic energy contained in Sect. 2, in Sect. 3 we introduce the class of degenerate networks (Definition 3.8). The compactness of the class of degenerate networks is proved in Proposition 3.9. In Sect. 4 we finish the proof of the representation of the relaxed functional by constructing recovery sequences of degenerate networks (Proposition 4.2). Section 6 is devoted to the equivalent algorithmic characterization of the class of degenerate networks when Problem 2.13 is set in \(\mathbb {R}^2\). Then in Sect. 7 we study a non-trivial case in which there exist stratified straight subgraphs that are not straight and we characterize such difference (Proposition 7.5). Subsequently we comment on the extension of our result from the ambient space \(\mathbb {R}^2\) to any 2-dimensional closed surface embedded in \(\mathbb {R}^3\). In Sect. 8 we collect some final observations and remarks. We conclude the paper with the Appendix A where we compute the Euler–Lagrange equations satisfied by critical points of the energy and we prove that critical points are real analytic, up to reparametrization.
2 Setting and Definition of the Problem
We begin by defining the mathematical objects of our interest.
2.1 Elastic Energy Functional for Networks
Fix \(N\in \mathbb {N}\), \(d\in \mathbb {N}\) with \(d\ge 2\) and let \(i\in \{1,\ldots , N\}\), \(I_i:=[0,1]\times \{i\}\), \(E:=\bigcup _{i=1}^N I_i\) and \(V:=\bigcup _{i=1}^N \{0,1\}\times \{i\}\).
Definition 2.1
(N-graph) Let \(\sim \) be an equivalence relation that identifies points of V. An N-graph G is the topological quotient space of E induced by \(\sim \), that is
A subgraph \(H\subseteq G\) is the quotient
for a given choice of indices \(i_1,\ldots ,i_M\in \{1,\ldots ,N\}\), where \(\sim \) is the equivalence relation defining G (Fig. 4).
We notice that the natural projection \(\pi : E\rightarrow G\) restricted to \(E\setminus V\) is a homeomorphism with its image.
We call
Definition 2.2
An N-network (or simply a network) is a pair \(\mathcal {N}=(G,\Gamma )\) where
is a continuous map and G is an N-graph. Moreover we ask each \(\gamma ^i:=\Gamma _{\vert E_i}\) to be either a constant map (singular curve) or an immersion of class \(H^2\) (regular curve).
We will identify two networks \((G_1,\Gamma _1)\) and \((G_2,\Gamma _2)\) if \(G_1=G_2=G\) and for any edge \(E_i\) of G the curve \(\Gamma _1|_{E_i}\) coincides with \(\Gamma _2|_{E_i}\) up to reparametrization.
Definition 2.3
(Convergence of networks) We define that a sequence of networks \(\mathcal {N}_n= (G_n,\Gamma _n)\) converges to a limit network \(\mathcal {N}_\infty =(G_\infty , \Gamma _\infty )\) in a certain topology if \(G_n=G_\infty \) for any n and each sequence of curves \(\Gamma _n\vert _{E_i}\) converges to \(\Gamma _\infty \vert _{E_i}\), up to reparametrization, in that topology.
Definition 2.4
(Singular part) Given a network \(\mathcal {N}=(G,\Gamma )\) we define its singular part \(\mathrm {Sing}(\mathcal {N})\) as the subgraph \(H\subset G\) whose edges are exactly those associated to singular curves of \(\mathcal {N}\) (mapped by \(\Gamma \) to a point) and we call regular part \(\mathrm {Reg}(\mathcal {N}):=\overline{G\setminus \mathrm {Sing}(\mathcal {N})}\).
If \(E_i\subset \mathrm {Reg}(\mathcal {N})\) has a common vertex p with \(E_j\in \mathrm {Sing}(\mathcal {N})\) we say that p belongs to \(\mathrm {Sing}(\mathcal {N})\), i.e., \(\mathrm {Sing}(\mathcal {N})\) is closed.
Definition 2.5
(Regular and singular networks) We say that a network \(\mathcal {N}=(G,\Gamma )\) is regular if \(\mathrm {Sing}(\mathcal {N})=\emptyset \) and singular otherwise.
Definition 2.6
Given a network \(\mathcal {N}\) we denote by \(\ell (\gamma ^i)\) the length of the curve \(\gamma ^i\). The length of the network \(\mathcal {N}\) is nothing but
Consider a regular curve \(\gamma ^i\) of a network \(\mathcal {N}\). Then we define its curvature vector as the \(L^2\) function given by
Observe that by the Sobolev embedding \({\dot{\gamma }}\) is Hölder continuous, and thus by the regularity its norm is bounded and bounded away from zero.
We are now in position to introduce the functional of our interest.
Definition 2.7
Let \(\alpha ,\beta >0\). The elastic energy functional \(\mathcal {E}_{\alpha ,\beta }\) for a regular network \(\mathcal {N}\) is defined as
where \(\vec {k}^i\) is the curvature and \(s^i\) is the arclength parameter.
Remark 2.8
Reparametrizing the regular curves of the network with constant speed equal to the length we can write (2.1) as
By assigning to each singular curve of a network a zero curvature \(\vec {k}^i=\vec {0}\) we can naturally extend \(\mathcal {E}\) to the class of all networks maintaining exactly the same formula. The elastic energy \(\widetilde{\mathcal {E}}_{\alpha ,\beta }\) of a regular or singular network \(\mathcal {N}\) is thus
where \(\vec {k}^i\) is the curvature of the regular curves of \(\mathcal {N}\) or the assigned zero curvature on the singular curves of \(\mathcal {N}\).
2.2 Definition of the Minimization Problem
Definition 2.9
(Junction of order m) Consider an N-graph G and \(p\in V_G\). We say that p is a junction of order m (with \(m\in \{1,\ldots , N\}\)) if
where \(\pi \) is the projection defined below Definition 2.1 and \(\sharp \) denotes the cardinality of a set.
Definition 2.10
(Graph with assigned angles) We say that an N-graph G has assigned angles if to every junction \(p\in V_G\) we assign directions
where m is the order of the junction and where
with \((z_{1},{i_1}),\ldots , (z_{m},i_m)\in \{0,1\}\times \{1,\ldots ,N\}\) all distinct. We denote by \(\mathcal {D}\) the set of all the assigned directions.
Definition 2.11
(Angle condition for a regular network) Given G an N-graph with assigned angles, we say that the regular network \(\mathcal {N}=(G,\Gamma )\) fulfills the angle condition if for every \(p\in V_G\) junction of order m, writing
with \((z_{1},{i_1}), \ldots , (z_{m},i_m)\in \{0,1\}\times \{1,\ldots ,N\}\) all distinct, there exists a rotation \(\mathrm {R}_p:\mathbb {R}^d\rightarrow \mathbb {R}^d\) depending on p such that
where \(\tau ^{z,i}\) are the outer tangents introduced in Definition 1.1.
Definition 2.12
(Class \(\mathcal {C}_{\mathrm{Reg}}\)) Fix an N-graph with assigned angles. We say that a network \(\mathcal {N}=(G,\Gamma )\) belongs to \(\mathcal {C}_{\mathrm{Reg}}(\mathcal {D})\) if it is regular and fulfills the angle condition with the directions assigned by \(\mathcal {D}\) in the sense of Definition 2.11.
Problem 2.13
Given an N-graph G with assigned angles by \(\mathcal {D}\) we want to study
From now on, for sake of notation, we simply write \(\mathcal {C}_{\mathrm{Reg}}\) instead of \(\mathcal {C}_{\mathrm{Reg}}(\mathcal {D})\).
Remark 2.14
It is not restrictive to ask G to be connected, otherwise one minimizes the energy of each connected component of G.
Remark 2.15
Let us call \(\mathcal {E}:=\mathcal {E}_{1,1}\). The rescaling properties of the functional \(\mathcal {E}_{\alpha ,\beta }\) imply
so if \(\mathcal {N}_{\min }\) is a minimizer for \(\mathcal {E}\), then the rescaled network \(\frac{\beta }{\alpha }\,\mathcal {N}_{\min }\) is a minimizer for \(\mathcal {E}_{\alpha ,\beta }\) and vice versa. Hence it is not restrictive to fix \(\alpha =\beta =1\).
Remark 2.16
Given a graph G with assigned angles, there always exists a map \(\Gamma :G\rightarrow \mathbb {R}^d\) such that \((G,\Gamma )\) is a regular network with finite energy. It is sufficient to send each vertex \(p\in V_G\) to a point \(x^j\) in \(\mathbb {R}^d\) and to connect the points \(x^i\) with curves of finite length and with bounded curvature whose outward tangent vectors are chosen accordingly with the fixed directions \(d^{z_j,i_j}\). The class \(\mathcal {C}_{\mathrm{Reg}}\) is hence not empty and (2.4) is finite.
3 Compactness
With a little abuse of notation by considering a sequence of networks \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) we mean that we consider a sequence of pairs \((G,\{\Gamma _n\}_{n\in \mathbb {N}})\) where the N-graph G with assigned angles is fixed.
Lemma 3.1
Let \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) be a sequence of networks in \(\mathcal {C}_{\mathrm {Reg}}\) such that
Suppose that for a certain index \(i\in \{1,\ldots , N\}\)
then
Proof
Since \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) is a sequence of regular networks, we can suppose (up to reparametrisation) that for every \(n\in \mathbb {N}\), for every \(i\in \{1,\ldots ,N\}\) the immersion \(\gamma ^i_n:[0,1]\rightarrow \mathbb {R}^2\) is a regular parametrization with constant speed equal to its length. Given \(x,y\in [0,1]\), we get
We then obtain the desired result passing to the limit. \(\square \)
We state here again the angle condition 1.2 with the use of the notation introduced in Sect. 2.
Definition 3.2
(Angle condition for a singular network) Consider a (possibly singular) network \(\mathcal {N}=(G, \Gamma )\). We recall that for any \(p\in V_G\) and \(\gamma ^{i}\) regular curve such that \(\pi (z,i)=p\) for some \(z\in \{0,1\}\) the usual (real) outward tangent vector is \(\tau ^{z,i}=(-1)^{z}\frac{{\dot{\gamma }}^{i}(z)}{|{\dot{\gamma }}^{i}(z)|}\).
We say that \(\mathcal {N}\) satisfies the angle condition (given by a set of directions \(\mathcal {D}\)) if for every singular curve \(\gamma ^i\) there exist unit vectors \(\tau ^{0,i}\) and \(\tau ^{1,i}\) (called virtual tangent vectors) such that \(\tau ^{0,i}=-\tau ^{1,i}\) and such that for every \(p\in V_G\) there exists a rotation \(\mathrm {R}_p\) in \(\mathbb {R}^d\) such that
where \(\pi ^{-1}(p)=\{(z_1,i_1),\,\ldots \,,(z_m,i_m)\}\) and \(\tau ^{z_j,i_j}\) are either the real outward tangent vectors or the virtual ones.
Remark 3.3
(Gauss–Bonnet-type theorems for curves in the plane) Let \(\sigma :[a,b]\rightarrow \mathbb {R}^2\) be an embedded piecewise \(H^2\), regular closed curve, that is, there exist points \(a=x_0<x_1< \ldots<x_{n-1}<x_n=b\) such that \(\sigma |_{[x_j,x_{j+1}]}\) is a regular curve of class \(H^2\), \(\sigma \) is continuous on [a, b], and \(\sigma (a)=\sigma (b)\). Denote by \({\dot{\sigma }}(x^{\pm }_j):=\lim _{t\rightarrow x^{\pm }_j} {\dot{\sigma }}(t)\), which exists as \({\dot{\sigma }}(t) \) is \(\tfrac{1}{2}\)-Hölder continuous on \([x_j,x_{j+1}]\) for \(j=0,\ldots , n-1\). Finally denote by \(\Theta [v,w] \in (-\pi ,\pi ] \) the angle between two vectors \(v,w \in \mathbb {R}^2\), taken with positive sign if and only if the ordered couple (v, w) is a positive basis of \(\mathbb {R}^2\). Then the classical Gauss–Bonnet theorem (which follows for instance from Hopf’s Umlaufsatz [1, Theorem 2.4.7]) reads
where \(\vec {k}_\sigma \) is the curvature vector of \(\sigma \), \(\nu _\sigma \) is its normal vector, \({\dot{\sigma }}(x_0^-) \equiv {\dot{\sigma }}(a^-):= {\dot{\sigma }}(b^-)\), and we are assuming that \(\sigma \) positively parametrizes the boundary of the bounded connected component it encloses.
Below we will need a refined version of this theorem. Suppose now that the curve \(\sigma \) has the same regularity as above but it is possibly immersed, i.e., it may have self-intersections, then the Gauss–Bonnet theorem (see [8, Theorem A.1]) reads
We discuss here more in detail the example, anticipated in the Introduction, of a singular network that satisfies the angle condition 3.2 but that cannot be the limit of a sequence of regular networks with uniformly bounded energy.
Example 3.4
Let the dimension of the ambient space be \(d=2\). Consider the 6-graph of Fig. 3 where in particular the edges \(E_1,E_2,E_3,E_4\) form a cycle CFootnote 2 and, as sketched in the picture, assume that the assigned directions \(\{d^{z,i}\}\) at the (triple) junctions form (equal) angles equal to \(\tfrac{2}{3}\pi \). Consider a sequence of continuous maps \(\{\Gamma _n\}_{n\in \mathbb {N}}\) such that \(\Gamma _1\) is, for example, as depicted in Fig. 3 and such that \(L(C_n)\rightarrow 0\), where \(C_n:={\Gamma _n}\vert _{C}\). This property is satisfied by any sequence of networks approximating the singular network \(\mathcal {N}_\infty =(G,\Gamma _\infty )\) depicted on the right in Fig. 3, which collapses the cycle C. Observe that there exists a choice of virtual tangents for which \(\mathcal {N}_{\infty }\) satisfies the angle condition in the sense of Definition 3.2. But combining (3.2) and Hölder inequality, we get
hence, as \(n\rightarrow \infty \), the energy diverges as the length of the red loop \(C_n\) goes to zero.
The angle condition for a singular network is thus not sufficient to characterize the set of limit networks with bounded energy.
Definition 3.5
(Straight graph) An N-graph G with assigned angles is straight if there exists a regular network \(\mathcal {N}=(G,\Gamma )\) whose curves are straight segments that fulfills the angle condition in the sense of Definition 2.11.
Suppose that G is an N-graph with assigned angles. Then every subgraph H of G inherits the assigned angles from G in the sense that to every vertex \(p=\pi (z,i)\) of an edge \(E_i\) in H we assign \(d^{z,i}\in \mathbb {S}^{d-1}\) coinciding with the assignment of G.
For the convenience of the reader, let us recall here the key notion of stratified straight subgraph, which was already presented in Definition 1.3.
Definition 3.6
(Stratified straight subgraph) Given a graph G with assigned angles we say that a subgraph \(H\subseteq G\) is stratified-straight if there exists a finite sequence of subgraphs, called strata,
and maps \(\Sigma _j:H_j\rightarrow \mathbb {R}^d\) such that for \(j=0,\ldots ,q-1\) we have that
-
the (sub)network \((H_j,\Sigma _j)\) satisfies the angle condition in the sense of Definition 3.2 with (real or virtual) tangent vectors coinciding with the ones associated to \((H_0,\Sigma _0)\) and whose regular curves are straight segments;
-
\(H_{j+1}=\mathrm {Sing}((H_j,\Sigma _j))\).
We call step of G the least q for which the above holds.
Every straight graph with assigned angles is trivially stratified-straight, but the converse does not hold in general as shown by the following example.
Example 3.7
We consider the graph of Fig. 5 characterized by the following identifications:
where \(\measuredangle v,w \in [0,2\pi )\) here identifies the least positive angle between two vectors v, w in the plane (see Fig. 5 on the left).
It is clearly not possible to construct a triangle with strictly positive length of its three (straight) edges with angles \(0,\tfrac{\pi }{2},\tfrac{\pi }{2}\). The minimal step of G seen as a stratified straight graph is then 2, with \(H_0=G\), \(H_1=E_3\cup E_4\cup E_5\) and \(H_2=E_5\).
Notice that the notion of straight and stratified straight graphs coincide when the underlying graph G has the structure of a tree with no cycles. In Sect. 7 we introduce a class of graphs possibly with cycles for which every stratified straight subgraph is also straight.
Definition 3.8
(Degenerate N-network) Let G be an N-graph with assigned angles. A network \(\mathcal {N}=(G,\Gamma )\) is degenerate if
-
it satisfies the angle condition in the sense of Definition 3.2, with (real or virtual) tangents \(\tau ^{z,i}\);
-
its singular part \(\mathrm {Sing}(\mathcal {N})\) is a stratified-straight subgraph with (real or virtual) tangents coinciding with the \(\tau ^{z,i}\) above.
We denote by \(\mathcal {C}_{\mathrm{Deg}}\) the class of degenerate networks. We remark that by definition \(\mathcal {C}_{\mathrm{Reg}}\subset \mathcal {C}_{\mathrm{Deg}}\). We remind that to compute the elastic energy of a network in \(\mathcal {C}_{\mathrm{Deg}}\) we make use of the extension of the functional defined in (2.3).
Proposition 3.9
(Compactness) Let \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) be a sequence of networks in \(\mathcal {C}_{\mathrm{Deg}}\) such that
Then \(\mathcal {N}_n\) converges (up to subsequence and translation) to \(\mathcal {N}_\infty \in \mathcal {C}_{\mathrm{Deg}}\) weakly in \(H^2\) and strongly in \(C^{1, \alpha }\) for every \(\alpha \in (0,\nicefrac {1}{2})\). In particular if \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) is a sequence of networks in \(\mathcal {C}_{\mathrm{Reg}}\), then \(\mathcal {N}_n\overset{H^2}{\rightharpoonup }\mathcal {N}_\infty \in \mathcal {C}_{\mathrm{Deg}}\).
Proof
Up to subsequence and up to relabeling the edges \(E_i\) we can suppose that for a certain \(k\in \{1,\ldots N\}\) for every \(n\in \mathbb {N}\) the curves \(\mathcal {N}_n^1,\ldots ,\mathcal {N}_n^k\) are regular and the curves \(\mathcal {N}_n^{k+1},\ldots ,\mathcal {N}_n^N\) are singular. Without loss of generality we suppose that for every \(n\in \mathbb {N}\) and for every \(i\in \{1,\ldots ,k\}\) the immersions \(\gamma ^i_n:=\Gamma _{n}\vert _{{E_i}}:[0,1]\rightarrow \mathbb {R}^d\) are regular parametrizations with constant speed equal to the length and we ask that \(\gamma _n^1(0)\) is mapped into the origin of \(\mathbb {R}^d\). For every \(i\in \{1,\ldots ,k\}\) and for every \(n\in \mathbb {N}\) we have that
Since for every \(i\in \{k+1,\ldots ,N\}\) the maps are constant on the bounded interval of parametrization [0, 1], a bound on \(\Vert \cdot \Vert _{H^2}\) is trivially obtained. Then for every \(i\in \{1,\ldots ,N\}\) up to a subsequence (not relabeled) \(\gamma ^i_{n}\rightharpoonup \gamma ^i_\infty \) weakly in \(H^2(0,1)\) and thanks to classical compact embedding theorems \(\gamma ^i_{n}\rightarrow \gamma ^i_\infty \) strongly in \(C^{1,\alpha }([0,1])\) for every \(\alpha \in (0,\tfrac{1}{2})\).
Since all the networks of the sequence \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) satisfy the angle condition of Definition 3.2, for each n there exists a family of unit vectors \(\mathcal {T}_n=(\tau _n^{z,i})_{(z,i)\in \pi ^{-1}(V_G)}\) that are either the real or the virtual tangents. By compactness of \(\mathbb {S}^{d-1}\) up to subsequence (not relabeled) \(\mathcal {T}_n\) converge to a limit \(\mathcal {T}_\infty \) composed of elements denoted by \(\tau ^{z,i}_{\infty }\). Notice that for the the indices i for which \(\ell (\gamma ^i_{\infty })>0\) we have that (up to subsequence) \((-1)^{z}\frac{\dot{\gamma }^i_n}{\vert \dot{\gamma }^i_n\vert }\) converge to \(\tau ^{z,i}_\infty \).
Define \(\Gamma _\infty :G\rightarrow \mathbb {R}^2\) in such a way that \(\Gamma _{\infty }\vert _{E_i}=\gamma ^i_{\infty }\) and call \(\mathcal {N}_{\infty }:=(G,\Gamma _\infty )\). We want to prove that \(\mathcal {N}_\infty \in \mathcal {C}_{\mathrm{Deg}}\).
First of all we claim that the angle condition is verified for \(\mathcal {N}_\infty \) with the family \(\mathcal {T}_\infty \). It is easy to check that there exist rotations \(\mathrm {R}_p\) (obtained as limits of those for \(\mathcal {N}_n\)) that verify (3.1). It remains to prove that for the regular curves \(\gamma _\infty ^i\) the vectors \(\tau _\infty ^i\) coincide with the outer tangents and that for the constant curves we have \(\tau _\infty ^{0,i}=-\tau _\infty ^{1,i}\). For each \(i\in \{1,\ldots , N\}\) there are three possible cases: a regular curve converges to a regular curve; a regular curve converges to a constant curve; a constant curve converges to a constant curve. In the first case the claim follows from the above argument. In the second case the claim follows by Lemma 3.1. In the third case the claim follows trivially.
It remains to verify that \(H=\mathrm {Sing}(\mathcal {N}_\infty )\) is stratified-straight. We proceed by induction: we set \(H_0=H\) and supposing to have obtained \(H_i\) we construct \(\Sigma _i\) and \(H_{i+1}\). We can assume without loss of generality that \(H_i\) is connected (otherwise we apply the same argument to each connected component) and up to a translation that \(0\in \Gamma _n(H_i)\). We define \(L_n^i:=L(\Gamma _n(H_i))\) and consider the rescaled networks \(\mathcal {N}_n^{(i)}=(H_i,\Gamma _n^{(i)})\) with
Then \(L(\mathcal {N}_n^{(i)})=1\). Moreover, at each step the network \(\mathcal {N}_n^{(i)}\) is defined starting from the singular part of the previous one (indeed \(H_0=H\), while for \(H_i\), \(i\ge 1\), see (3.6) below), therefore we have that \(L_n^i\rightarrow 0\). Thanks to the scaling property (2.5) we thus have
and in particular \(\widetilde{\mathcal {E}}(\mathcal {N}_n^{(i)})\le C<\infty \) for some constant C. Hence we can repeat the previous reasoning to conclude that up to subsequence the networks \(\mathcal {N}_n^{(i)}\) converge weakly in \(H^2\) and strongly in \(C^1\) to a network \(\mathcal {N}_\infty ^{(i)}=(H_i,\Gamma _\infty ^{(i)})\). By \(C^1\)-convergence \(L(\mathcal {N}_\infty ^{(i)})=1\) and thus the limit network has at least one regular curve. By Lemma 3.1 we have that the curves of \(\mathcal {N}_\infty ^{(i)}\) are either constant or straight segments, since all surviving curves have a constant tangent. We then define
and we repeat the process until \(\mathrm {Sing}((H_i,\Sigma _i))=\emptyset \).
After a finite number of steps the process stops and we obtain that the strata \(\emptyset =H_q\subset \ldots \subset H_0=H\) by construction satisfy the condition of Definition 3.6.
We have thus concluded that \(\mathcal {N}_\infty \) satisfies the angle condition with (real or virtual) tangents \(\mathcal {T}_\infty \) and \(\mathrm {Sing}(\mathcal {N}_\infty )\) is stratified-straight whose (real or virtual) tangents are consistent with \(\mathcal {T}_\infty \), and thus by Definition 3.8\(\mathcal {N}_{\infty }\in \mathcal {C}_{\mathrm{Deg}}\). \(\square \)
To convince the reader that in Definition 3.8 we cannot replace the notion of stratified straight subgraph by the simpler one of straight subgraphs, and hence the definition of degenerate networks is in a sense sharp, we give an example of a sequence of regular networks with equibounded energy which converges to a singular network whose singular part is stratified straight but nor straight.
Example 3.10
Consider a 5-graph G where in particular
where \(\measuredangle v,w \in [0,2\pi )\) here identifies the least positive angle between two vectors v, w in the plane (see Fig. 6 on the left).
We construct a sequence of regular networks \(\mathcal {N}_n=(G,\Gamma _n)\) that converge as \(n\rightarrow \infty \) to a degenerate network whose singular part is stratified straight.
Consider three immersions \(\gamma ^1,\gamma ^2,\gamma ^3:[0,1]\rightarrow \mathbb {R}^2\) such that the curve \(\gamma ^3([0,1])\) is an arc of circle of radius r and length \(2\alpha r\) and both \(\gamma ^1([0,1])\) and \(\gamma ^2([0,1])\) are arcs of circle of radius R and length \(\alpha R\) with \(R=\frac{\sin (\frac{\pi }{2}-\alpha )}{\sin \alpha }r\). Then
We construct a sequence of immersions \(\gamma _n^1,\gamma _n^2,\gamma _n^3\) simply by taking \(r_n=\frac{1}{n}\) and \(\alpha _n=\frac{1}{n^2}\). Then as \(n\rightarrow \infty \) the lengths of the three curves go to zero and
Moreover it is not possible to construct a triangle with three edges of positive length and angles \(0, \tfrac{\pi }{2}, \tfrac{\pi }{2}\).
Notice that the energy of the sequence need not be infinitesimal. In fact by taking \(r_n=\alpha _n=\frac{1}{n}\), one gets that the above energy converges to 2. This highlights the fact that curves of a network need not become flatter and flatter along a sequence even if their length goes to zero. Hence our characterization of the class of degenerate networks is not related to the curvature of the approximating sequences.
4 Relaxation
Let us define the following extended problem.
Problem 4.1
Given an N-graph G with assigned angles we want to find
where \(\overline{\mathcal {E}}\) is the extension of \(\mathcal {E}\) defined as
The reason to consider this functional will be clear at the end of this section: we will prove that it coincides with the relaxation of the functional \(\mathcal {E}\) defined in (2.2), and thus it is the natural extension of \(\mathcal {E}\) from \(\mathcal {C}_{\mathrm {Reg}}\) to \(\mathcal {C}_{\mathrm {Deg}}\).
Proposition 4.2
(Recovery sequence) For every network \(\mathcal {N}=(G,\Gamma )\in \mathcal {C}_{\mathrm {Deg}}\) there exists a sequence of networks \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) such that
To prove the above proposition we will take advantage of the following preliminary lemmas.
We recall the following version of a classical lemma.
Lemma 4.3
Let \(f\in L^2([0,1];\mathbb {R}^d)\). Then
where \(\phi \) varies among all continuous maps \(\phi :[0,1]\rightarrow [0,1]\).
Proof
By the triangle inequality and the density of continuous functions on \(L^2\) it is sufficient to prove the result when f is continuous. In this case, being defined on a compact set, f is uniformly continuous with some modulus of continuity \(\omega _f\). Then
\(\square \)
Lemma 4.4
Let \(l\in (0,+\infty )\) and \(0\le \delta \le l\). Let \(\gamma :[0,1]\rightarrow \mathbb {R}^d\) and \(\sigma :[1,1+\tfrac{\delta }{l}]\rightarrow \mathbb {R}^d\) be two curves of class \(H^2\) with \(\gamma (1)=\sigma (1)\), \({\dot{\gamma }}(1)={\dot{\sigma }}(1)\) and with constant speed \(|{\dot{\gamma }}|\equiv |{\dot{\sigma }}|\equiv l\). Consider the concatenation \(\gamma *\sigma :[0,1+\tfrac{\delta }{l}]\rightarrow \mathbb {R}^d\) defined in the natural way and its linear reparametrization \(\gamma _\sigma :[0,1]\rightarrow \mathbb {R}^d\) given by
Then
where \(\eta \) is a function such that \(\eta (z)\rightarrow 0\) as \(z\rightarrow 0^+\).
Proof
It is sufficient to prove the inequality for the second derivatives, because then by the Poincaré inequality we obtain the inequality for the full \(H^2\) norm. We have that:
Thanks to Lemma 4.3 the first term of the last expression goes to zero as \(\delta \rightarrow 0\). The second term goes to zero as \(\delta \rightarrow 0\) by the absolute integrability of \(|\ddot{\gamma }|^2\). Since \(\delta =\ell (\sigma )\), then the first two terms go to zero as \(\mathcal {E}(\sigma )\rightarrow 0\). After the change of variables \(x=(1+\tfrac{\delta }{l})t\), the third term reads
Since \(\sigma \) is parametrized with constant speed l, recalling (2.1) we have
Therefore all three terms go to zero as \(\mathcal {E}(\sigma )\rightarrow 0\), and the thesis is proven. \(\square \)
Remark 4.5
We will use the previous lemma in the following way: whenever we have a curve \(\gamma \) parametrized with constant speed and we concatenate it with another curve \(\sigma \), then the constant speed parametrization on [0, 1] of \(\gamma *\sigma \) is close in \(H^2\) to \(\gamma \) if \(\mathcal {E}(\sigma )\) is small.
Lemma 4.6
(Change of train tracks) Consider two parallel horizontal straight lines in \(\mathbb {R}^2\) at distance h. There exists an embedded curve located between the two lines such that it connects the two lines spanning a horizontal interval of length \(b\approx 2\sqrt{h}\) and with energy \(\approx 4\sqrt{h}\), asymptotically as \(h\rightarrow 0\). More precisely, there exists a regular curve \(\gamma :[0,1]\rightarrow \mathbb {R}^2\) such that
with
Proof
We construct the curve by putting together two congruent arcs of circle of radius 1 as in Fig. 7. The modulus of the curvature is 1 and the angle is \(\theta \). The total length is \(2\theta \) which also equals the total squared curvature of the arcs. The total energy \(\mathcal {E}(\gamma )\) is thus \(4\theta \). The height h and the base b are related to \(\theta \) by
and therefore given h we can choose \(\theta =\arccos \left( 1-\tfrac{ h}{2}\right) \approx \sqrt{h}\) to obtain
\(\square \)
The following lemma allows us to suppose, in the construction of the recovery sequence, that each regular curve of \(\mathcal {N}\) is straight near its endpoints, up to a small perturbation and a small change of the value of its elastic energy.
Lemma 4.7
(Straightening at vertices) Consider a curve \(\gamma :[0,1]\rightarrow \mathbb {R}^d\) of class \(H^2\) parametrized with constant speed. Then for every \(\varepsilon >0\) there exists a curve \({\tilde{\gamma }}:[0,1]\rightarrow \mathbb {R}^d\) of class \(H^2\) parametrized with constant speed such that on some interval [0, a] its image is a straight segment of length at most \(\varepsilon \) with direction \(\gamma '(0)\), and such that
Proof
Without loss of generality we suppose that \(\gamma (0)=0\), \({\dot{\gamma }}(0)=e_1\), and for \(\delta >0\) we define
where \(\psi :[0,1]\rightarrow \mathbb {R}\) is a fixed \(C^2\) map with
Then \(\Vert \gamma -\gamma _\delta \Vert _{H^2}=\delta \Vert \psi \Vert _{H^2}\), and as a consequence \(\mathcal {E}(\gamma _\delta )\le \mathcal {E}(\gamma )(1+C\delta )\) for some constant C that depends on \(\Vert \psi \Vert _{H^2}\). Let \(\alpha _\delta \) be the constant speed parametrization of the concatenation of a straight segment from 0 to \(\delta e_1\) and \(\gamma _\delta \). From Lemma 4.4 it follows that \(\Vert \alpha _\delta - \gamma _\delta \Vert _{H^2(0,1)} \) tends to zero as \(\delta \rightarrow 0\). Hence the thesis follows by taking \({\tilde{\gamma }}=\alpha _\delta \) for \(\delta >0\) sufficiently small. \(\square \)
We now come to the proof of the recovery sequence.
Proof of Proposition 4.2
Consider \(\mathcal {N}=(G,\Gamma )\in \mathcal {C}_{\mathrm {Deg}}\) and let \(H=H_0=\mathrm {Sing}(\mathcal {N})\). Without loss of generality we can assume that the regular curves of \(\mathcal {N}\) are parametrized with constant speed equal to their length. For simplicity we can suppose that H is connected and \(\Gamma (H)\) is the origin of \(\mathbb {R}^d\). In the case of many connected components it is sufficient to repeat the argument for each one of them. By assumption there exist (real or virtual) tangents \(\mathcal {T}_G=(\tau ^{z,i})_{(z,i)\in \pi ^{-1}(V_G)}\) of the graph G, such that H is stratified-straight with strata
with \(\mathbb {N}\ni q\le N\), and such that the (real or virtual) tangents of \((H_i,\Sigma _i)\) coincide with the corresponding ones of \(\mathcal {T}_G\).
Fix \(\varepsilon >0\). Consider the family \(\mathcal {F}\) of regular curves of \(\mathcal {N}\) that have an endpoint in H. For every \(\gamma ^i\in \mathcal {F}\) we have that \(\Gamma (\pi (z,i))=0\) whenever \(p=\pi (z,i)\in H\) and moreover by Lemma 4.7 we can suppose that near p the image of the curve \(\gamma ^i\) coincides with a straight segment of length \(l\le \varepsilon \), up to adding a small error of order at most \(\varepsilon \) to the energy.
We consider the first stratum \(H=H_0\) and up to rescaling we can suppose that \(\Sigma _0(H_0)\subset B_{l^3}(0)\) where we recall that \(0=\Gamma (H_0)\). We want to partially desingularize H, that is we replace in a neighborhood of 0 the completely singular subnetwork \((H_0,\Gamma )\) with the first stratum \((H_0,\Sigma _0)\). We have to make sure to connect each curve to the right junction and with the right angle.
Consider a curve \(\gamma ^i\in \mathcal {F}\), and suppose for instance that \(p=\pi ((0,i))\in V_H\) (the case when \(\pi ((1,i))\in V_H\) is completely analogous). Then there exists \(a^{0,i}\) such that \(\gamma ^i|_{[0,a^{0,i}]}\) is a straight segment of length l. In particular \({\dot{\gamma }}^i(a^{0,i})\) is parallel to \({\dot{\gamma }}^i(0)=\tau ^{0,i}\). We now consider the parallel lines with direction \(\tau ^{0,i}\) passing through the point \(\Sigma _0((0,i))\) and through the point \(\gamma ^i(a^{0,i})\). Their distance is of order \(l^3\). We can thus apply Lemma 4.6 to modify the curve \(\gamma ^i\) on the interval \([0,a^{0,i}]\) in order to connect \(\Sigma _0((0,i))\) to \(\gamma ^i(a^{0,i})\) with an energy of order \(l^{3/2}\le \varepsilon ^{3/2}\) and with outer tangent \(\tau ^{0,i}\). Finally we reparametrize the modified curve \(\gamma ^i\) on [0, 1] by constant speed equal to its length. By Remark 4.5 it follows that the modified curve \(\gamma ^i\) is also close to the original one in \(H^2\)-norm.
We repeat this process for every curve in \(\mathcal {F}\) and every endpoint in \(V_H\). By construction the angle condition is still verified for the newly constructed network, but now the stratum \(H_0\) is not completely singular anymore. We then repeat the same process for each stratum until we obtain a regular network \(\mathcal {N}_\varepsilon \) whose energy is at most \(\overline{\mathcal {E}}(\mathcal {N})+C\varepsilon \) and whose \(H^2\) distance from \(\mathcal {N}\) is at most \(C\varepsilon \).
Since we can do this for any \(\varepsilon >0\), choosing \(\varepsilon _n=\tfrac{1}{n}\) we obtain a family \(\mathcal {N}_n\) of regular networks that approximate \(\mathcal {N}\) and thus satisfies the thesis of the theorem. \(\square \)
Theorem 4.8
The functional \(\overline{\mathcal {E}}\) is the lower semicontinuous envelope of the functional \(\mathcal {E}\) with respect to the weak convergence in \(H^2\), that is
Moreover the relaxed functional \(\overline{\mathcal {E}}\) admits a minimizer.
Proof
The existence of minimizers of the functional \(\overline{\mathcal {E}}\) follows by a direct method in the Calculus of Variations combining the lower semicontinuity of \(\overline{\mathcal {E}}\) and the compactness, that we both gain thanks to Propositions 3.9 and 4.2.
By definition \(\overline{\mathcal {E}}\le \mathcal {E}\) in the class \(\mathcal {C}_{\mathrm {Reg}}\). Let \(\mathcal {F}\) be a lower semincontinuous functional defined in the class of N-networks such that \(\mathcal {F}\le \mathcal {E}\) in the class \(\mathcal {C}_{\mathrm {Reg}}\). Proposition 4.2 implies that \(\overline{\mathcal {E}}(\mathcal {N})\ge \mathcal {F}(\mathcal {N})\) in the class of N-networks and this concludes also the first part of the statement. \(\square \)
Remark 4.9
The choice of the weak topology in the above relaxation result is the natural one because of the compactness result of Proposition 3.9. However we observe that, as is clear from Proposition 4.2, a slightly finer result holds: while the liminf inequality \(\overline{\mathcal {E}}(\mathcal {N}_{\infty })\le \liminf _{n\rightarrow \infty }\mathcal {E}(\mathcal {N}_n)\) holds for every sequence \(\mathcal {N}_n\) converging weakly to \(\mathcal {N}_\infty \), the limsup inequality holds with the strong topology, namely, for every \(\mathcal {N}_\infty \) there exists a sequence \(\mathcal {N}_n\) converging strongly to \(\mathcal {N}_\infty \) such that \(\overline{\mathcal {E}}(\mathcal {N}_\infty )\ge \limsup _{n\rightarrow \infty }\mathcal {E}(\mathcal {N}_n)\) (and therefore equality holds for the limit). Recalling that the lower semicontinuous envelope of a functional F coincides with the \(\Gamma \)-limit of the constant sequence \(F_n=F\), we can here make a comparison with the difference between Mosco convergence and \(\Gamma \)-convergence.
5 Lower Bounds on the Energy
Now that we have shown that the relaxed Problem 4.1 admits a minimizer, one may wonder if in some cases the minimizer is regular, that is if Problem 2.13 has a minimum. We report here on a special case in which we get the desired result.
Definition 5.1
We call Theta-network any planar network \((G,\Gamma )\) where G is a 3-graph composed of edges \(E_1,E_2,E_3\) with the identifications
with assigned directions \(\{d^{0,i}\}_{i=1}^3\), \(\{d^{1,i}\}_{i=1}^3\) such that at any junction the assigned vectors form three (equal) angles equal to \(\tfrac{2}{3}\pi \).
The minimization of the elastic energy among Theta-networks has been considered in [8]. It turns out that in this class the minimizers of the relaxed problem are regular networks (see [8, Theorem 4.10]) and hence Problem 2.13 admits a minimizer.
Although we have proven that in general sequences of regular networks with equibounded energy converge to a limit network in \(\mathcal {C}_{\mathrm {Deg}}\) one may think that for every choice of the topology of the graph G and of the angle condition minimizers are actually in \(\mathcal {C}_{\mathrm {Reg}}\). The following example shows that even for very simple topologies of G this could not be the case and so it is hopeless to give always a positive answer to Problem 2.13.
Example 5.2
(The minimizers of the relaxed problem are degenerate) Consider the 3-graph G with assigned angles composed of \(E_1,E_2,E_3\) with \(\pi (0,1)=\pi (1,1)=\pi (0,2)\) and \(\pi (1,2)=\pi (0,3)=\pi (1,3)\) depicted in Fig. 9. Then the length of one of the curves of the minimizers is zero.
We have just seen in Example 5.2 that in some situations the minimizers of Problem 2.13 are degenerate networks. We want to understand under which conditions minimizers have at least some curves with positive length and do not degenerate to a point. To be more precise, consider a graph G with assigned angles. We recall that \(\mathcal {D}\) is the set of the assigned directions \(d^{i,z}\) (see Definition 2.10). We define the minimization problem
We are interested in conditions on the set \(\mathcal {D}\) that guarantee that \(I_{\mathcal {D}}\) is strictly positive.
Lemma 5.3
Let \(\gamma :[0,\ell (\gamma )]\rightarrow \mathbb {R}^2\) be a regular, continuous, piecewise \(H^2\) curve parametrized by arclength such that \(\gamma (0)=0\), \(\dot{\gamma }(0)=(\cos \theta ,\sin \theta )\) for some \(\theta \in (-\pi ,\pi ]\), and \(\dot{\gamma }(\ell (\gamma ))=(1,0)\). Then
and the equality holds if \(\gamma \) is convex, i.e., if \(\langle \vec {k}, \nu \rangle \) remains non negative (or non positive) along the curve, where \(\nu \) is the counterclockwise rotation of \(\tfrac{\pi }{2}\) of the tangent vector \(\tau \) along \(\gamma \).
Moreover suppose that for every \(i\in \{1,\ldots ,N\}\) the curve \(\gamma ^i\) is regular, continuous and of class \(H^2\) and suppose that there exists \(\alpha >0\) such that
then \(\mathcal {E}\left( \cup _{i=1}^N\gamma ^i\right) \ge 2\alpha \).
Proof
Denote by \(\tau \) the unit tangent vector to the curve \(\gamma \). Since the curve \(\gamma \) is parametrized by arclength, we have that \(\dot{\gamma }=\tau \) and \(\ddot{\gamma }=\dot{\tau }=\vec {k}\). By hypothesis the angle spanned by the unit tangent vector and the horizontal axis is greater or equal than \(|\theta |\), hence
By writing \(\tau =(\cos \varphi (s), \sin \varphi (s))\) for some function \(\varphi (s) \in (-\pi ,\pi ]\), as \(|{\dot{\tau }}|=|{\dot{\varphi }}|=|\langle \vec {k}, \nu \rangle |\) we see that equality holds if \(\langle \vec {k}, \nu \rangle \) has a sign.
We pass now to prove the second part of the statement. Using Cauchy–Schwarz inequality we get
Moreover by Hölder inequality
that combined with (5.2) gives
\(\square \)
Lemma 5.4
We have that \(I_{\mathcal {D}}\) defined in (5.1) equals zero if and only if the graph G is stratified-straight.
Moreover, suppose that one of the following conditions holds:
-
(i)
at every vertex p the convex hull of the outer tangents contains the origin in its interior, that is \(0\in Int\left( co\left( \{d_{z,i}\}_{(z,i)\in \pi ^{-1}(p)}\right) \right) \),
-
(ii)
two edges \(E_i\) and \(E_j\) have both vertices in common and, if \(\pi (z_i,i)=\pi (z_j,j)\) for some \(z_i,z_j\), then \(d^{z_i,i}\) and \(d^{z_j,j}\) are linearly independent,
then \(I_{\mathcal {D}}>0\).
Proof
Let us prove the first claim. Suppose first that \(I_{\mathcal {D}}=0\). Then there exists a sequence of networks \(\{\mathcal {N}_n\}\) with \(\widetilde{\mathcal {E}}(\mathcal {N}_n)\rightarrow 0\), and in particular \(L(\mathcal {N}_n)\rightarrow 0\). This means that the networks \(\mathcal {N}_n\) are converging strongly, up to translation, to a constant network \(\mathcal {N}_\infty \), where every curve is collapsed to a point. In particular, recalling Definition 2.4, \(\mathrm {Sing}(\mathcal {N}_\infty )=G\). By Proposition 3.9 we obtain that \(\mathcal {N}_\infty \) belongs to \(\mathcal {C}_{Deg}\). Recalling Definition 3.8, this implies that \(G=\mathrm {Sing}(\mathcal {N}_\infty )\) is stratified straight. This proves one implication. On the other hand if G is stratified straight, there exists a degenerate immersion \(\Sigma _0\) whose regular curves are straight segments. By Proposition 4.2 there exists a sequence \(\{\mathcal {N}_n\}\) of regular networks such that \(\Gamma _n \rightarrow \Sigma _0\) in \(H^2\). Analogously there exists recovery sequences for every rescaling \(\frac{1}{\lambda }\Sigma _0\) of \(\Sigma _0\) with \(\lambda>>1\). By a diagonal argument one can find a sequence of regular networks whose energy converges to zero. This proves the opposite implication.
Consider any regular network \(\mathcal {N}=(G,\Gamma )\) with G graph with assigned angles encoded by \(\mathcal {D}\).
Suppose now that i) holds. Since the number of vertices is finite there exists at least one junction \(p\in \Gamma (V_G)\) that lies on the boundary of the convex hull of \(\Gamma (V_G)\), and thus that lies on \(\partial H\) where H is a closed half plane containing \(\Gamma (V_G)\). Then at least one of the curves arriving at p, call it \(\gamma \), must have an outer tangent that goes out of H and whose smallest angle with \(\partial H\) is at least \(c(\mathcal {D})\) where \(c(\mathcal {D})>0\) depends only on \(\mathcal {D}\) and it is strictly positive by assumption. Then, by Lemma 5.3, we have \(\int \nolimits _{\gamma }\vert \vec {k}\vert \,\mathrm{d}s\ge c(\mathcal {D})\) and thus \(\mathcal {E}(\gamma )\ge \frac{\left( \int \nolimits _{\gamma }\vert \vec {k}\vert \,\mathrm{d}s\right) ^2}{\ell (\gamma ^i)} +\ell (\gamma ^i)\ge \frac{c(\mathcal {D})^2}{\ell (\gamma ^i)} +\ell (\gamma ^i)\ge 2c(\mathcal {D})\).
Suppose now that ii) holds. We then have that the least positive angle \(\delta \in [0,2\pi )\) between \(d^{z_i,i}\) and \(d^{z_j,j}\) is actually strictly positive, i.e., \(\delta >0\). Consider the two maps \(\gamma ^i:=\Gamma _{\vert E_i}\) and \(\gamma ^j:=\Gamma _{\vert E_j}\), with \(\Gamma \) a competitor for \(I_{\mathcal {D}}\). Then by Lemma 5.3 we have that \(\int \nolimits _{\gamma ^i}\vert \vec {k}^i\vert \,\mathrm {d}s+\int \nolimits _{\gamma ^j}\vert \vec {k}^j\vert \,\mathrm {d}s\ge \delta \), and thus \(\mathcal {E}(\gamma ^i)+\mathcal {E}(\gamma ^j)\ge 2\delta \). \(\square \)
As another application of Lemma 5.3 we improve the lower bound (cf [8, Lemma 2.5]) of the elastic energy of a Theta-network that we introduced above in Definition 8.
Lemma 5.5
Let \(\Theta \) be a Theta-network. Then
Proof
In order to prove the required lower bound we can assume that the curves \(\gamma ^1,\gamma ^2,\gamma ^3\) realize a minimizing Theta-network, which exists by [8, Theorem 4.10]. Then the curves \(\gamma ^i\) are injective and real analytic by [8, Proposition 4.11] and by Proposition A.3. Without loss of generality we let
for some \(a>0\).
We denote by \(\alpha ^i\) the angles between (1, 0) and \(\tau ^i(0)\). Up to relabeling the curves and up to a symmetry with respect to the horizontal axis we can assume that \(\alpha ^1\in [0,\tfrac{\pi }{3}]\) and that
We claim that for any i there exists \(t^i\in [0,1]\) such that \(\frac{\dot{\gamma }^i(t^i)}{\vert \dot{\gamma }^i(t^i)\vert }=(1,0)\). We suppose for now that the claim is proven, and proceed to show how to conclude. We apply Lemma 5.3 separately to \((\gamma ^i|_{[0,t^i]})_{i=1}^3\) and to \((\gamma ^i|_{[t^i,1]})_{i=1}^3\). The total angle spanned by the three curves in the first case is
and therefore by Lemma 5.3 the total energy of the first three pieces of curves \((\gamma ^i|_{[0,t^i]})_{i=1}^3\) is at least \(\tfrac{8}{3} \pi \). In a totally analogous way we conclude the same for the final pieces of curves \((\gamma ^i|_{[t^i,1]})_{i=1}^3\) and thus we conclude that \(\mathcal {E}(\Theta )\ge \tfrac{16}{3}\pi \).
We are left to show how to prove the claim, namely that for any i there exists \(t^i\in [0,1]\) such that \(\frac{\dot{\gamma }^i(t^i)}{\vert \dot{\gamma }^i(t^i)\vert }=(1,0)\). Unless the curve \(\gamma ^i\) is a horizontal straight segment (and in this case the result trivially follows) by analiticity there are finitely many intersections with the horizontal axis \((a_j,0)=\gamma ^i(t_j)\) with \(t_j<t_{j+1}\). Moreover, since \(\gamma ^i(1)=(a,0)\) with \(a>0\), there exists an index j such that \(a_j<a_{j+1}\). We consider the arc \(\sigma (t):=\gamma ^i(t)\) with \(t\in (t_j,t_{j+1})\) that, without loss of generality, lies in the half plane \(\{y>0\}\). It is possible to complete \(\sigma (t)\) to a smooth simple closed curve with \(t\in [t_j,s]\) for some \(s>t_{j+1}\) such that for every \(t\in (t_{j+1},s)\) it holds \(\frac{\dot{\sigma }(t)}{\vert \dot{\sigma }(t)\vert }\ne (1,0)\). Then by Hopf’s Umlaufsatz [1, Theorem 2.4.7] the degree of the tangent map of \(\sigma (t)\) is different from zero, and thus the tangent map is surjective. Therefore the value (1, 0) must be attained in the interval \([t_j,t_{j+1}]\) and the claim is proved. \(\square \)
6 A Characterization of Degenerate Networks in \(\mathbb {R}^2\)
Although the definition of the class of degenerate networks given in Definition 3.8 is very neat and convenient, it has a disadvantage: it is based on the validation of the angle condition given by Definition 3.2, and thus on the assumption that there exists a family \(\mathcal {T}\) of real or virtual tangents. In general one cannot easily verify this condition. At least when the ambient space is \(\mathbb {R}^2\) we are able to give an equivalent characterization based on conditions that can be validated by a procedure consisting in a finite number of steps. The procedure can be roughly summarized as follows: given an N-graph G with assigned angles \(\mathcal {D}\), to every path \(\mathcal {P}\) made of consecutive edges in G we assign an abstract “total turning angle” \(\Theta (\mathcal {P})\) that is obtained by summing the turning angles (forced by the angle condition \(\mathcal {D}\)) at every junction of the path. This angle only depends on the graph structure and on \(\mathcal {D}\), but not on a realization of the graph as a network. Then a network \(\mathcal {N}=(G,\Sigma )\) satisfies the angle condition given by \(\mathcal {D}\) if and only if: for every cycle C (i.e., closed path) entirely contained in \(\mathrm {Sing}(\mathcal {N})\) we have that \(\Theta (C)\) is a multiple of \(2\pi \); for every (open) path \(\mathcal {P}\) whose first and last edges are in \(\mathrm {Reg}(\mathcal {N})\) but whose other edges are all in \(\mathrm {Sing}(\mathcal {N})\) the total angle \(\Theta (\mathcal {P})\) coincides with the angle between the real tangents (given by \(\Sigma \)) at the the second and penultimate vertices of the path.
From now on we fix the dimension of the ambient space to \(d=2\).
Definition 6.1
(Path and cycle) Let G be an N-graph with assigned angles. A path composed of \(\mathcal {J}\) edges is a sequence
such that for every \(j\in \{1,\ldots ,\mathcal {J}-1\}\) it holds \(\pi (1-z_j,i_j)=\pi (z_{j+1},i_{j+1})\). A path is a cycle if \(\pi (1-z_{\mathcal {J}},i_{\mathcal {J}})=\pi (z_{1},i_{1})\). If a path is not a cycle we call it open path.
We should think of \((z_j,i_j)\) as encoding the following fact: when we travel through the path, the jth edge is the one with index \(i_j\) and its first endpoint that we meet is \(z_j\).
When the first element of a path \(\mathcal {P}\) is (z, i) and the last is (w, j) sometimes we will simply say that \(\mathcal {P}\) is a path from the edge \(E_i\) to the edge \(E_j\).
Let \(\vec {a}\) and \(\vec {b}\) two vectors in \(\mathbb {R}^2\). Then the angle between \(\vec {a}\) and \(\vec {b}\) , denoted by \(\angle \vec {a},\vec {b}\), is an element of \(\mathbb {R}\) mod \(2\pi \). From now on and for the rest of the section, an angle \(\angle \vec {a},\vec {b}\) will always be understood as an element of \(\mathbb {R}\) mod \(2\pi \), and a representative for \(\angle \vec {a},\vec {b}\) will be always assumed to be the element of \([0,2\pi )\) such that the counterclockwise rotation of \(\vec {a}\) of such an angle yields \(\vec {b}\).
Definition 6.2
(Angle of a path) Let G be an N-graph with assigned angles \(\mathcal {D}\) in \(\mathbb {R}^2\). We define the angle of a path \(\mathcal {P}\) composed of \(\mathcal {J}\) edges as
with the understanding that the indices are modulo \(\mathcal {J}\), so that \(\mathcal {J}+1=1\).
For the sake of readability when we consider a path composed of \(\mathcal {J}\) edges we often suppose that, up to relabeling and reparametrizing the edges, we have
and that \(\pi (1,j)=\pi (0,j+1)\). Moreover if \(\mathcal {P}\) is a cycle we require that \(\pi (1,\mathcal {J})=\pi (0,1)\). In this setting
with the understanding that the indices are modulo \(\mathcal {J}\), so that \(\mathcal {J}+1=1\). When \(\mathcal {N}=(G,\Gamma )\) is a network of class \(\mathcal {C}_{\mathrm {Reg}}\) and we denote by \(\gamma ^j=\Gamma \vert _{ E_j}\) we have that \(\gamma ^j(1)=\gamma ^{j+1}(0)\) for \(j\in \{1\ldots ,\mathcal {J}-1\}\) and, if \(\mathcal {P}\) is a cycle, \(\gamma ^{\mathcal {J}}(1)=\gamma ^1(0)\).
Lemma 6.3
Let \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) be a sequence of networks in \(\mathcal {C}_{\mathrm {Reg}}\) such that
-
Suppose that \(\mathcal {P}\) is an open path composed of \(\mathcal {J}\) edges and that \(\lim _{n\rightarrow \infty }\ell (\gamma _n^j)=0\) for \(j\in \{2,\ldots ,\mathcal {J}-1\}\). Then \(\Theta (\mathcal {P})=\lim _{n\rightarrow \infty }\left( \angle -\tau _n^{1,1},\tau _n^{0,\mathcal {J}}\right) \).
-
Suppose that \(\mathcal {P}\) is a cycle composed of \(\mathcal {J}\) edges and that \(\lim _{n\rightarrow \infty }\ell (\gamma _n^j)=0\) for \(j\in \{1,\ldots ,\mathcal {J}\}\). Then \(\Theta (\mathcal {P})=0\) (mod \(2\pi \)).
Proof
Suppose that \(\mathcal {P}\) is an open path. For every \(n\in \mathbb {N}\) we have that
Then thanks to Lemma 3.1 one gets the desired result passing to the limit \(n\rightarrow \infty \).
If instead \(\mathcal {P}\) is a cycle, then \(\tau _n^{0,\mathcal {J}+1}=\tau _n^{0,1}\) and so using again by Lemma 3.1 we obtain
as desired. \(\square \)
It is possible to give an alternative definition of the angle condition for a singular network with respect to Definition 3.2 in term of paths, justified by Lemma 6.3.
Definition 6.4
(Angle condition for a singular network in term of paths) Let G be an N-graph with assigned angles. We say that a network \(\mathcal {N}\) satisfies the angle condition if
-
(i)
its regular curves satisfy the angle condition in the sense of Definition 2.11;
-
(ii)
if \(\mathcal {P}\) is a cycle composed of \(\mathcal {J}\) edges such that for every \(j\in \{1,\ldots ,\mathcal {J}\}\) the edges \(E_j\) are in \(\mathrm {Sing}(\mathcal {N})\) then \(\Theta (\mathcal {P})=0\) (mod \(2\pi \));
-
(iii)
if \(\mathcal {P}\) is an open path composed of \(\mathcal {J}\) edges such that for every \(j\in \{2,\ldots ,\mathcal {J}-1\}\) the edges \(E_j\) are in \(\mathrm {Sing}(\mathcal {N})\) and \(E_1\cup E_{\mathcal {J}}\subset \mathrm {Reg}(\mathcal {N})\) then \(\Theta (\mathcal {P})=\angle -\tau ^{1,1},\tau ^{0,\mathcal {J}}\).
Remark 6.5
Condition \(\mathrm {(i)}\) can be seen as a particular case of \(\mathrm {(iii)}\) by taking \(\mathcal {J}=2\).
Clearly one has to modify also Definitions 3.6 and 3.8 accordingly to the above new definition of angle condition.
Definition 6.6
Fix an N-graph with assigned angles G. A subgraph \(H \subseteq G\) is stratified-straight if there exists a finite sequence of subgraphs (called strata)
and maps \(\Sigma _i:H_i\rightarrow \mathbb {R}^2\) such that for \(i=0,\ldots ,q-1\)
-
\((H_i,\Sigma _i)\) is a (possibly singular) network that satisfies the angle condition in the sense of Definition 6.4 and whose curves are (possibly degenerate) straight segments;
-
\(H_{i+1}=\mathrm {Sing}((H_i,\Sigma _i))\).
We call step of G the minimal q for which the above holds.
Definition 6.7
Let G be an N-graph with assigned angles. A network \(\mathcal {N}=(G,\Gamma )\) is degenerate if
-
it satisfies the angle condition in the sense of Definition 6.4;
-
the singular part \(\mathrm {Sing}(\mathcal {N})\) is a stratified-straight subgraph in the sense of Definition 6.6.
Proposition 6.8
Let G be a graph with assigned angles. Suppose that the ambient space is \(\mathbb {R}^2\). Then a network \(\mathcal {N}=(G,\Gamma )\) satisfies Definition 6.4 if and only if it satisfies Definition 3.2 for some choice of virtual tangent vectors.
Proof
Suppose that \(\mathcal {N}\) satisfies the angle condition as in Definition 6.4. The outward tangents of the regular curves of \(\mathcal {N}\) satisfy the requests of Definition 3.2 because of condition (i) in Definition 6.4. We have to construct the set of virtual tangents. We assume for the moment that at least one curve of \(\mathcal {N}\) is regular, for instance \(\Gamma _{\vert E_1}=:\gamma ^1\). Let \(H\subset G\) be a closed connected component of \( \text{ Sing } \mathcal {N}\) and suppose that an endpoint \(p_0=\pi (0,1)\) of \(E_1\) lies in H. We define \(\tau ^{w,j}\) for any \(\pi (w,j)=p_0\) with \(\gamma ^j\) singular by setting \(\tau ^{w,j}\) equal to the counterclockwise rotation of \(\tau ^{0,1}\) of the angle \(\angle d^{0,1}, d^{w,j}\); whenever such \(\tau ^{w,j}\) has been defined, we also set \(\tau ^{1-w,j}=-\tau ^{w,j}\). It follows that (3.1) is satisfied at \(p_0\). Observe that if \(\tau ^{z,i}, \tau ^{y,l}\) are defined by this last step and \(\pi (z,i)=\pi (y,l)\ne p_0\), then
In fact the path \(\mathcal {P}\) given by
is a cycle contained in \(\text{ Sing } \mathcal {N}\), and thus by assumption we get that
With this procedure we have defined every virtual tangent at \(p_0\) of singular edges with an endpoint at \(p_0\), and some virtual tangents at \(p\ne p_0\) of singular edges having endpoints at p and \(p_0\).
Let \(p\ne p_0\) be now any vertex at which at least one virtual or real tangent \(\tau ^{z,i}\) is defined. We can perform the very same construction for the still undefined virtual tangents at p using rotations of \(\tau ^{z,i}\) in place of the original \(\tau ^{0,1}\). By (6.1) it follows that (3.1) is satisfied at p.
Notice that if \(\pi (x,a)=\pi (z,i)\ne p_0, \pi (y,b)=\pi (1-z,i)\ne p_0\), and \(\pi (1-x,a)=\pi (1-y,b)=p_0\) (and thus we have just constructed \(\tau ^{z,i}\) as a rotation of \(\tau ^{x,a}\) and \(\tau ^{1-z,i}\) as a rotation of \(\tau ^{y,b}\)), then \(\tau ^{z,i}=-\tau ^{1-z,i}\) as desired. In fact considering the cycle
we get that
On the other hand, since the sum of the exterior angles of a triangle equals \(2\pi \), we have that
and subtracting (6.3) to (6.2) we get that \(\angle -\tau ^{y,b}, \tau ^{1-z,i}= \angle -\tau ^{y,b}, -\tau ^{z,i} \) mod \(2\pi \).
Now if \(p_1\in H\) is a vertex of an edge having the other endpoint at \(p_0\), all the (virtual and real) tangents at \(p_1\) are defined. From the above argument, it follows that we can define \(\tau ^{1-w,j}=-\tau ^{w,j}\) for any virtual tangent \(\tau ^{w,j}\) of a singular edge \(E_j\) having an endpoint at \(p_1\) without getting contradictions with the other already defined virtual tangents.
Therefore it follows that we can then iterate the above arguments, possibly considering cycles passing through \(p_0\) that are not triangles, and use the assumption on \(\Theta (\mathcal {P})\), in order to check that the iterated construction of virtual tangents does not lead to contradictions. Eventually, we are able to define the virtual tangents at any vertex of the connected component H, getting that Definition 3.2 is satisfied at such vertices. We can apply the same argument to any connected component H of \(\text{ Sing } \mathcal {N}\), completing the implication.
If instead it occurs that \(\text{ Sing } \mathcal {N}=G\), we can just choose \(\tau ^{0,1}=(1,0)=-\tau ^{1,1}\) arbitrarily. Then we can perform the very same construction described above.
Conversely, suppose now that Definition 3.2 is satisfied. Then obviously the regular curves satisfy the angle condition (i) of Definition 6.4. Moreover, if \(\mathcal {P}\) is an open path, then the condition \(\tau ^{z,i}=-\tau ^{1-z,i}\) on the virtual tangents implies point iii) of Definition 6.4. More generally observe that if the edges seen by a path \(\mathcal {P}\) of step \(\mathcal {J}\) are contained in \(\text{ Sing } \mathcal {N}\), and for simplicity we write \(\mathcal {P}(i)=(0,i)\), then
So, finally suppose that \(\mathcal {P}\) is a cycle in \(\text{ Sing } \mathcal {N}\) and we write \(\mathcal {P}(i)=(0,i)\) for simplicity; by the fact that every involved tangent is virtual, using (6.4) we get that
thus completing the equivalence of the definitions. \(\square \)
We underline the fact that in Definition 6.6 we simply replace the angle condition of Definition 3.2 by the one of Definition 6.4, and this replacement directly affects the new Definition 6.7 of degenerate networks. Then it is clear that taking advantage of the above proposition we are also able to prove the following:
Corollary 6.9
Let G be a graph with assigned angles. Suppose that the ambient space is \(\mathbb {R}^2\). Then a network \(\mathcal {N}=(G,\Gamma )\) is degenerate in the sense of Definition 3.8 if and only if it is degenerate in the sense of Definition 6.7.
Remark 6.10
As we already mentioned, we remark again that it is somehow easier to use Definition 3.2 in the technical arguments. However, in the very remarkable case of dimension \(d=2\), Definition 6.4 has the great advantage of being verifiable by an algorithm with finitely many steps. This is clearly not true for the general Definition 3.2.
7 On the Relation Between Straight and Stratified Straight Subgraphs
In this section we study a simple but remarkable case in which we completely characterize stratified straight or straight subgraphs. This helps us to better understand the algebraic and combinatorial relation between these two concepts, together with providing a non-trivial case in which the two definitions are not equivalent.
In the whole section we study networks in \(\mathbb {R}^2\) and we take advantage of the equivalent characterization of the class of degenerate networks we presented in Sect. 6: we use Definitions 6.4, 6.6 and 6.7.
Throughout the section we will consider an N-graph G with junctions of order at most four and suppose that for every junction \(p=\pi (z_1,i_1)=\ldots =\pi (z_k,i_k)\) with \(k\le 4\) the vectors \(d^{z_1,i_1},\ldots ,d^{z_k,i_k}\) are distinct and they form angles that are multiples of \(\frac{\pi }{2}\). In this section, if \(\vec {a},\vec {b}\) are two planar vectors, we denote by \(\angle \vec {a},\vec {b}\in [0,2\pi )\) the angle described by the counterclockwise rotation of \(\vec {a}\) that yields \(\vec {b}\).
Remark 7.1
Let \(\mathcal {N}=(G,\Gamma )\) be a degenerate network of the type considered above, H a stratified straight subgraph of G composed of edges \(E_1,\ldots ,E_{k}\) and \(\Sigma :H\rightarrow \mathbb {R}^2\) such that \((H,\Sigma )\) is a (possibly singular) network that satisfies the angle condition in the sense of Definition 6.4 and whose curves are (possibly degenerate) straight segments. We observe that there exist only two possible orthogonal directions, identified by two orthogonal unit vectors a, b, such that, if \(\sigma ^i:=\Sigma \vert _{E_i}\) is a regular straight segment, then \(\dot{\sigma }^i\) is parallel to a or b. In particular, up to rotation, we can assume that \(a=(1,0)\) and \(b=(0,1)\).
Remark 7.2
(Canonical assignment of the vectors \(d^{z,i}\)) Let \(\mathcal {N}=(G,\Gamma )\) be a degenerate network and H a stratified straight subgraph of G composed of the edges \(E_1,\ldots ,E_{k}\). For every \((z,i)\in \{0,1\}\times \{1,\ldots ,k\}\) we can give an explicit choice of the vector \(d^{z,i}\), once a first edge is chosen. Fix first \(d^{0,1}=(1,0)\) for example. For every \((z,i)\in \{0,1\}\times \{1,\ldots ,k\}\) we want that \(d^{z,i}\in \{(\pm 1,0), (0,\pm 1)\}\). We require then that for any i it holds
Then this choice is well defined for any i and uniquely defines the \(d^{z,i}\)’s. In fact, by considering a path from \(\pi (0,1)\) to \(\pi (z,i)\) and using the rule (7.1) one can determine uniquely \(d^{z,i}\). Suppose by contradiction that following two different paths \(\mathcal {P}\) and \(\mathcal {P}'\) from (0, 1) to (z, i) and using the rule (7.1) we get different results \(d^{(z,i)}=a_{\mathcal {P}}\) and \(d^{z,i}=b_{\mathcal {P}'}\). Then \(\angle a_{\mathcal {P}},b_{\mathcal {P}'} \in \{\tfrac{\pi }{2},\pi ,\tfrac{3\pi }{2}\}\). Call \(\mathcal {P}''\) the inverted path of \(\mathcal {P}'\) from \(\pi (z,i)\) to \(\pi (0,1)\). We can join the two paths \(\mathcal {P}\) and \(\mathcal {P}''\) and the resulting path is a cycle \(\mathcal {Q}\) starting from (0, 1). Then it follows that \(\Theta (\mathcal {Q})\in \{\tfrac{\pi }{2},\pi ,\tfrac{3\pi }{2}\}\), a contradiction to the fact that H is stratified straight.
This canonical choice of the \(d^{z,i}\) clearly depends on the choice of a starting vertex \(\pi (0,1)\) together with the assignment \(d^{0,1}=(0,1)\). We can use such canonical choice in order to introduce an order relation \(\preceq \) on the set of vertices.
Definition 7.3
Let H be a connected stratified straight subgraph of G, and suppose that \(E_{i_0}\subset H\). Starting from \(\pi (0,i_0)\) define \(d^{0,i_0}=(1,0)\) and canonically assign the vectors \(d^{z,i}\) as specified in Remark 7.2. Let v and w be two vertices of H. We say that \(v\preceq w\) if and only if there exists a path \(\mathcal {P}:\{1,\ldots ,\mathcal {J}\}\rightarrow \{0,1\}\times \{1,\ldots ,N\}\,\) such that
Also, we say that \(v\prec w\) if and only if \(v\preceq w\) and \(w\not \preceq v\).
Roughly speaking \(v\preceq w\) if and only if we can reach w starting from v with a path that “never goes left”. Also observe that the order relation depends on the choice of a certain edge \(E_{i_0}\) in the considered subgraph.
The order relation defines two subsets of the vertices as defined below.
Definition 7.4
Let H be a connected stratified straight subgraph of G, and suppose that \(E_{i_0}\subset H\). Starting from \(\pi (0,i_0)\) define \(d^{0,i_0}=(1,0)\) and canonically assign the vectors \(d^{z,i}\) as specified in Remark 7.2. We define
Proposition 7.5
Let G be an N-graph with assigned angles. Suppose that every junction of G has order at most 4 and that, if p is a junction with \(\pi ^{-1}(p)=\{(z_1,i_1),\ldots ,(z_k,i_k)\}\), then the vectors \(d^{z_1,i_1},\ldots ,d^{z_k,i_k}\) form angles equal to \(\tfrac{n\pi }{2}\) for \(n\in \{1,2,3\}\). Let \(H\subset G\) be a connected stratified straight subgraph and denote by \((H,\Sigma _0)\) the first stratum of H.
Suppose that for every \(E_{i_0}\subset H\cap \text{ Sing } (H,\Sigma _0)\) there do not exist cycles \(\mathcal {P}=(\mathcal {P}(1),\ldots , \mathcal {P}(\mathcal {J}))\) such that
Then H is straight.
Proof
Denote by \((H,\Sigma _0)\) the first stratum of H, i.e. \(\Sigma _0:H\rightarrow \mathbb {R}^2\) defines a degenerate network, the regular curves of \(\Sigma _0\) are straight segments and at least one curve, say \(\sigma _0^{i_0}:={\Sigma _0}\vert _{{E_{i_0}}}\), is degenerate. We denote by \(\sigma _0^i\) the curve \(\Sigma _0\vert _{E_i}\).
We want to prove that we can modify \((H,\Sigma _0)\) into a new degenerate network \((H,\tilde{\Sigma }_0)\) such that \(\tilde{\sigma }_0^{i_0}\) is a regular straight segment and if \(\sigma _0^i\) is a regular straight segment then so is \(\tilde{\sigma }_0^i\). In such a way, since the edges of H are finitely many, iterating the argument we conclude that H is straight.
In order to simplify the notation, let us write that \(i_0=1\).
Fix \(d^{0,1}=(1,0)\) and consider the order relation \(\preceq \) induced by this choice as given by Definition 7.3. Clearly \(Y(1)\ne \emptyset \), in fact \(\pi (0,1)\not \prec \pi (0,1)\) by definition. Also we have that \(\pi (1,1)\in X(1)\ne \emptyset \); indeed \(\pi (0,1)\preceq \pi (1,1)\), \(\sigma _0^1\) is degenerate, and if by contradiction \(\pi (1,1)\preceq \pi (0,1)\) then there exists a path \(\mathcal {P}\) of step \(\mathcal {J}\) that for simplicity we denote by
such that \(\pi (0,k_0)=\pi (1,1)\) and \(d^{0,j}\ne (-1,0)\) for any \(j=k_0,2,\ldots ,\mathcal {J}-1\). But since \(d^{0,1}=(1,0)\), the cycle given by
contradicts the hypothesis.
Now we construct \(\tilde{\Sigma }_0\). Let us first define such map on the set of vertices \(V_{H}\) by setting
for some \(\varepsilon >0\). We need to check that we can extend \(\tilde{\Sigma }_0\) to the edges in a consistent way. We claim that for any edge \(E_j\), if \(\tilde{\Sigma }_0^j(0)\ne \tilde{\Sigma }_0^j(1)\), the images of its boundary points \(\tilde{\Sigma }_0^j(0),\tilde{\Sigma }_0^j(1)\) can be connected by a regular straight segment \(\tilde{\sigma }_0^j(t)\) such that \(d^{0,j}=\alpha (\tilde{\sigma }_0^j(1)-\tilde{\sigma }_0^j(0))\) with \(\alpha >0\). Assuming that the claim is true, then the map \(\tilde{\Sigma }_0\) is defined on every edge in the natural way by connecting with a straight segment the image through \(\tilde{\Sigma }_0\) of its endpoints. For \(\varepsilon \) small enough, all the regular straight segments of \(\Sigma _0\) remain regular. Moreover, since \(\pi (1,1)\in X(1)\) and \(\pi (0,1)\in Y(1)\) then \(\tilde{\sigma }_0^1(0)\ne \tilde{\sigma }_0^1(1)\) and thus \(\tilde{\sigma }_0^1\) is a regular straight segment, and the proof is completed.
In order to prove the claim we distinguish two cases, adopting the following notation:
-
Case 1:
Assume first that \(E_j\in A(1)\cup B(1)\). Then both endpoints of \(E_j\) have been moved or both remained unchanged, that is
$$\begin{aligned} \tilde{\Sigma }_0(0)=\Sigma _0(0) \qquad \text{ and }\qquad \tilde{\Sigma }_0(1)=\Sigma _0(1)\,, \end{aligned}$$or
$$\begin{aligned} \tilde{\Sigma }_0(0)=\Sigma _0(0)+(\varepsilon ,0) \qquad \text{ and }\qquad \tilde{\Sigma }_0(1)=\Sigma _0(1)+(\varepsilon ,0). \end{aligned}$$If \(\Sigma _0(0)=\Sigma _0(1)\), that is \(\sigma _0^j\) is degenerate, then \(\tilde{\Sigma }_0(0)=\tilde{\Sigma }_0(1)\) as well and \(\tilde{\sigma }_0^j\) will be degenerate. If otherwise \(\Sigma _0(0)\ne \Sigma _0(1)\), that is \(\sigma _0^j\) is a regular straight segment, then there is \(\alpha >0\) such that \(d^{0,j}=\alpha (\Sigma _0(1)-\Sigma _0(0))\), and then \(d^{0,j}=\alpha (\tilde{\Sigma }_0(1)-\tilde{\Sigma }_0(0))\) as well and a straight segment \(\tilde{\sigma }_0\) satisfies the claim.
-
Case 2:
We are then left with the case of \(E_j\in C(1)\), that is when one of the endpoints of \(E_j\) has been moved and the other has not. In such a case, up to relabeling, we can assume \(\pi (1,j)\in X(1)\) (i.e., \(\pi (0,1)\prec \pi (1,j)\)) and \(\pi (0,j)\in Y(1)\). Thus
$$\begin{aligned} \tilde{\Sigma }_0(\pi (0,j))=\Sigma _0(\pi (0,j)) \qquad \text{ and }\qquad \tilde{\Sigma }_0(\pi (1,j))=\Sigma _0(\pi (1,j))+(\varepsilon ,0). \end{aligned}$$If \(d^{0,j}=(1,0)\), the claim is proved. Let us show that this is the case. We have that \(d^{0,j}\ne \pm (0,1)\), otherwise \(E_j\) would belong to \(A(1)\cup B(1)\), because \(\pi (1,j)\preceq \pi (0,j)\preceq \pi (1,j)\). Suppose by contradiction that \(d^{0,j}=-(1,0)\). In this case \(d^{1,j}=-d^{0,j}=(1,0)\), and thus \(\pi (1,j)\preceq \pi (0,j)\). By assumption there exists a path \(\mathcal {P}\) with \(\pi (\mathcal {P}(1))=\pi (0,1),\, \mathcal {P}(\mathcal {J})=(1,j)\) such that \(d^{\mathcal {P}(i)}\ne (-1,0)\) for any \(i=1,\ldots ,\mathcal {J}-1\). Extending \(\mathcal {P}\) to a longer path by setting \(\mathcal {P}(\mathcal {J}+1)=(0,j)\) it follows that \(\pi (0,1)\preceq \pi (0,j)\). Actually we have that \(\pi (0,1)\prec \pi (0,j)\), for otherwise, as shown before in the case of \(\pi (1,1)\), we could construct a cycle \(\mathcal {Q}\) of step \(\mathcal {K}\) starting at \(\mathcal {Q}(1)=(1,j)\) such that \(d^{(1,j)}=(1,0)\) and \(d^{\mathcal {Q}(k)}\ne (-1,0)\) for any \(k=2,\ldots ,\mathcal {K}-1\), contradicting the hypothesis. But then we have that \(\pi (0,j)\in X(1)\cap Y(1)=\emptyset \), that is impossible. Therefore \(d^{0,j}\ne (-1,0)\) and the proof of the claim, and then of the proposition, is completed.
\(\square \)
The assumption of Proposition 7.5 has the advantage of being verifiable just by looking at all the possible cycles starting from the degenerate edges of a stratified straight graph.
In the next example we show that the assumption of Proposition 7.5 is also necessary, and thus the statement of such proposition is sharp.
Example 7.6
Here we give a simple but remarkable example of a graph G with assigned angles such that every junction of G has order at most 4 and that, if p is a junction with \(\pi ^{-1}(p)=\{(z_1,i_1),\ldots ,(z_k,i_k)\}\), then the vectors \(d^{z_1,i_1},\ldots ,d^{z_k,i_k}\) form angles equal to \(\tfrac{n\pi }{2}\) with \(n\in \{1,2,3\}\); moreover G is stratified straight, but it is not straight, and in fact the assumption of Proposition 7.5 is violated.
Consider the image in \(\mathbb {R}^2\) of the regular network drawn in Fig. 10.
Such graph G is stratified straight, in fact one can easily construct a sequence of maps \(\Gamma _n:G\rightarrow \mathbb {R}^2\) such that \((G,\Gamma _n)\) is regular and \(\Gamma _n\) converges strongly in \(H^2\) to a constant map, i.e., the image of the graph disappears with elastic energy going to zero. However G is not straight and a possible stratification of G is given by
A possible immersion \(\Sigma _1\) of the stratum \(H_1\) is given by two disjoint and horizontal straight segments. In the couple \((H_0,\Sigma _0)\), the immersion \(\Sigma _0\) is given by four curves: \(\gamma ^2\) and \(\gamma ^4\) are two vertical and overlapping straight segments with the same endpoints, while \(\gamma ^1\), \(\gamma ^3\) are two constant maps, coinciding with the endpoints of \(\gamma ^2\) and \(\gamma ^4\).
We remark that, in fact, the assumption of Proposition 7.5 is not satisfied. More generally we see that as long as a stratified straight subgraph H contains a cycle like the one in Fig. 10, then H is not straight, the assumption of Proposition 7.5 is not satisfied, and its proof does not work.
8 Side Remarks
8.1 Curves on Surfaces/Manifolds
We comment on the fact that the very same kind of definitions about degenerate networks characterize a suitably defined problem for networks of curves into a 2-dimensional surface in \(\mathbb {R}^3\).
Fix a 2-dimensional closed surface \(S\subset \mathbb {R}^3\) and consider a network \(\mathcal {N}=(G,\Gamma )\) with \(\Gamma :G\rightarrow S\). Given a curve \(\gamma :I\rightarrow S\), the geodesic curvature is given by \(\vec {\kappa }_g(t)=\pi _{T_{\gamma (t)}S}\vec {\kappa }(t)\), where \(\vec {\kappa }(t)\) is the standard curvature of \(\gamma \) seen as a curve in \(\mathbb {R}^3\) and \(T_xS\) is the tangent plane to S at the point \(x\in S\). Therefore we define the general elastic energy of the curve \(\gamma \) as
Observe that, since the normal component of the curvature vector \(\vec {\kappa }\) of \(\gamma \) is bounded in terms of the second fundamental form of S, then a bound on \(\mathcal {E}_{\alpha ,\beta }\) actually is a bound on the \(L^2\) norm of the whole vector \(\vec {\kappa }\).
Analogous definitions of angle condition and degenerate network can be given for the class of networks having image in S. So, the compactness result of Proposition 3.9 can be still easily proved in this case. Then, also the proof of the recovery sequence presented in Proposition 4.2 can be adapted to the current situation. Maintaining the notation of the proof of Proposition 4.2, let us say that \(H_0\subset \text{ Sing } \mathcal {N}\) is connected and \(\Gamma (H_0)=p\in S\); we want to provide an immersion of \(H_0\) in S. Since S is a surface, there exists a local chart \(\varphi :U\rightarrow \mathbb {R}^2\) at p such that \(\varphi \) is isothermal, i.e., the metric tensor g of S can be expressed as \(g_{ij}=\lambda ^2\delta _{ij}\) on U in the chart \(\varphi \). In particular we have that \(\varphi \) is a conformal diffeomorphism with its image and its differential preserves angles between tangent vectors. Hence we can construct immersions of \(H_0\) in \(\varphi (U)\) exactly as in Proposition 4.2 and then we get the desired recovery sequence by applying \(\varphi ^{-1}\).
8.2 Fixed Length
We briefly discuss here an easier variant of Problem 2.13 of some interest in the applications.
Remark 8.1
(Fixed length) Putting \(\alpha =1\) and \(\beta =0\) in (2.3), then \(\widetilde{\mathcal {E}}\) reduces to a functional that we denote by \(\mathcal {W}\), by analogy with the Willmore energy.
Problem 8.2
Given an N-graph G with assigned angles we consider the minimization problem
It is easy to prove that Problem 8.2 admits a minimizer in the class of regular networks by a direct method in the Calculus of Variations, as we shall now briefly sketch.
Consider a minimizing sequence of networks \(\{\mathcal {N}_n\}_{n\in \mathbb {N}}\) composed of curves \(\gamma ^i_n\). Combining the bounds (3.3), (3.4) and (3.5) together with the fact that the length of each curve is fixed, we get that up to subsequence each \(\gamma ^i_n\) converges to a regular curve \(\gamma ^i_\infty \) weakly in \(H^2\). The limit networks satisfies the angle condition in the sense of Definition 2.11 thanks to the strong \(C^1\) convergence. Moreover the functional \(\mathcal {W}\) is clearly lower semicontinuous.
Notice that fixing the length of each curve avoids any form of degeneracy of the limit networks and makes the question on existence of minimizers trivial.
Notes
By compactness we mean sequential compactness, where the natural notion of convergence for the sequences of networks is the weak \(H^2\) convergence.
Namely the equivalence relation that defined G is given by \((1,i)\sim (0,i+1)\) with the index i considered modulo 4.
References
Abate, M., Tovena, F.: Curves and surfaces, Unitext, vol. 55, Springer, Milan, Translated from the 2006 Italian original by Daniele A. Gewurz (2012)
Alessandroni, R., Kuwert, E.: Local solutions to a free boundary problem for the Willmore functional, Calc. Var. Partial Differ. Equ. 55(2), Art. 24, 29 (2016)
Barrett, J.W., Garcke, H., Nürnberg, R.: Elastic flow with junctions: variational approximation and applications to nonlinear splines, Math. Models Methods Appl. Sci. 22(11), 1250037, 57 (2012)
Bellettini, G., Mugnai, L.: Characterization and representation of the lower semicontinuous envelope of the elastica functional. Ann. Inst. H. Poincaré Anal. Non Linéaire 21(6), 839–880 (2004)
Bellettini, G., Mugnai, L.: A varifolds representation of the relaxed elastica functional. J. Convex Anal. 14(3), 543–564 (2007)
Bellettini, G., Paolini, M.: Variational properties of an image segmentation functional depending on contours curvature. Adv. Math. Sci. Appl. 5(2), 681–715 (1995)
Bellettini, G., Dal Maso, G., Paolini, M.: Semicontinuity and relaxation properties of a curvature depending functional in \(2\)D. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 20(2), 247–297 (1993)
Dall’Acqua, A., Novaga, M., Pluda, A.: Minimal elastic networks, to appear: Indiana Univ. Math. J., preprint arXiv:1712.09589
Dondl, P.W., Lemenant, A., Wojtowytsch, S.: Phase field models for thin elastic structures with topological constraint. Arch. Rational Mech. Anal. 223(2), 693–736 (2017)
Dall’Acqua, A., Pluda, A.: Some minimization problems for planar networks of elastic curves. Geom. Flows 2(1), 105–124 (2017)
Deckelnick, K., Grunau, H.-C., Röger, M.: Minimising a relaxed Willmore functional for graphs subject to boundary conditions. Interfaces Free Bound. 19(1), 109–140 (2017)
Garcke, H., Menzel, J., Pluda, A.: Long time existence of solutions to an elastic flow of networks, preprint (2019)
Garcke, H., Menzel, J., Pluda, A.: Willmore flow of planar networks. J. Differ. Equ. 266(4), 2019–2051 (2019)
Lawrence, C.: Partial differential equations, Graduate Studies in Mathematics, vol. 19. American Mathematical Society, Providence, RI (1998)
Masnou, S., Nardi, G.: A coarea-type formula for the relaxation of a generalized elastica functional. J. Convex Anal. 20(3), 617–653 (2013)
Masnou, S., Nardi, G.: Gradient Young measures, varifolds, and a generalized Willmore functional. Adv. Calc. Var. 6(4), 433–482 (2013)
Menzel, J.: PhD thesis: boundary value problems for generalized willmore flows, Universität Regensburg (in preparation)
Mumford, D.: Elastica and Computer Vision, pp. 491–506. Springer, New York (1994)
Pozzetta, M.: On the Plateau–Douglas problem for the Willmore energy of surfaces with planar boundary curves, To appear: ESAIM:COCV (2020)
Pozzetta, M.: A varifold perspective on the p-elastic energy of planar sets. J. Convex Anal. 27(3), 845–879 (2020)
Schätzle, R.: The Willmore boundary problem. Calc. Var. Partial Differ. Equ. 37(3–4), 275–302 (2010)
Truesdell, C.A.: The influence of elasticity on analysis: the classic heritage. Bull. Am. Math. Soc. (N.S.) 9(3), 293–310 (1983)
Acknowledgements
The research of the second and of the third author has been partially supported by INdAM – GNAMPA Project 2019 “Problemi geometrici per strutture singolari” (Geometric problems for singular structures). This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 757254 (SINGULARITY).
Funding
Open access funding provided by Università di Pisa within the CRUI-CARE Agreement.
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.
Critical Points
Critical Points
We want now to derive the Euler Lagrange equations satisfied by regular critical points of the functional \(\mathcal {E}\).
Let \(\mathcal {N}\) be a regular network whose curves are parametrized by arclength by \(\gamma ^i:[0,\ell (\gamma ^i)]\rightarrow \mathbb {R}^2\). We denote by s the arclength parameter of \(\gamma ^i\). We recall that \(\partial _{s}\gamma =\tau \) and \(\partial _{s}\tau =\vec {k}\). For sake of notation we introduce the operator \(\partial _s^\perp \) that acts on a vector field \(\varphi \) giving the normal component of \(\partial _s\varphi \) along the curve \(\gamma \), that is
Similarly we call \(\partial _s^\parallel \varphi :=\left\langle \partial _s\varphi ,\partial _s\gamma \right\rangle \partial _s\gamma =\left\langle \partial _s\varphi ,\tau \right\rangle \tau \). In \(\mathbb {R}^2\) it holds that \(\partial _s^\perp \varphi =\left\langle \partial _s\varphi ,\nu \right\rangle \nu \), where \(\nu \) is the counterclockwise rotation of \(\partial _s\gamma \) by an angle equal to \(\tfrac{\pi }{2}\).
We compute a “regular” variation \(\mathcal {N}_\varepsilon \) of \(\mathcal {N}\). Each curve of \(\mathcal {N}\) is parametrized by arclength by \(\gamma ^i\). Let us consider \(\varepsilon \in \mathbb {R}\) and smooth functions \(\psi ^{i}:[0,\ell (\gamma ^i)]\rightarrow \mathbb {R}^2\). This defines the variation \(\gamma ^i_\varepsilon :[0,\ell (\gamma ^i)]\rightarrow \mathbb {R}^2\) of a curve \(\gamma ^i\) by setting \(\gamma ^i_\varepsilon :=\gamma ^i+\varepsilon \psi ^i\). Observe that the variation \(\gamma ^i_\varepsilon \) is not necessarily parametrized by arclength. However, for \(\varepsilon \in (-\varepsilon _0,\varepsilon _0)\) with \(\varepsilon _0>0\) sufficiently small, \(\gamma ^i_\varepsilon \) is a regular curve with tangent vector \(\tau ^i_\varepsilon =\frac{\partial _s\gamma ^i +\varepsilon \partial _s\psi ^i}{\vert \partial _s\gamma ^i+\varepsilon \partial _s\psi ^i \vert }\).
Consider a junction of order m of \(\mathcal {N}\), so that
with \((z_1,i_1),\ldots ,(z_m,i_m)\in \{0,\ell (\gamma ^{i_1}), \ldots ,\ell (\gamma ^{i_m})\}\times \{1,\ldots ,N\}\) all distinct. The scalar product of unit tangent vectors is given by
To generate admissible competitors for the Problem 2.13 for any \(\varepsilon \) small enough, we need to require that
together with the fact that the angle condition is preserved, that is to say that for every i, j, z, w such that \(\gamma ^i(z)=\gamma ^j(w)\) it holds that
for every \(\varepsilon \in (-\varepsilon _0,\varepsilon _0)\).
First this implies that the variation fields \(\psi ^i\) satisfy that
Secondly, writing
a direct calculation yields
Evaluating at \(\varepsilon =0\) we get
Therefore as a second requirement on the fields \(\psi ^i\) we impose that
Definition A.1
Consider a regular network \(\mathcal {N}=(G,\Gamma )\) composed of the curves \(\gamma ^i\) parametrized by arclength with \(i\in \{1,\ldots ,N\}\), \(\varepsilon \in \mathbb {R}\) and smooth functions \(\psi ^{i}:[0,\ell (\gamma ^i)]\rightarrow \mathbb {R}^2\). We say that \(\mathcal {N}_\varepsilon \) composed of the curves \(\gamma ^i_\varepsilon =\gamma ^i+\varepsilon \psi ^i\) is a regular variation of \(\mathcal {N}\) if the functions \(\psi ^i\) satisfy the properties (A.1) and (A.2).
Definition A.2
A regular network \(\mathcal {N}=(G,\Gamma )\) is a critical point for the functional \(\mathcal {E}\) if for every regular variation \(\mathcal {N}_\varepsilon \) of \(\mathcal {N}\) it holds
We recall that the oriented curvature of a planar curve \(\gamma \) is defined as the scalar k such that \(\vec {k}=k\nu \) where the unit normal vector \(\nu \) is the counterclockwise rotation of \(\frac{\pi }{2}\) of the unit tangent vector \(\tau \) to the curve \(\gamma \).
Proposition A.3
Let \(\mathcal {N}=(G,\Gamma )\) be a critical point for \(\mathcal {E}\). Then the arclength parametrization \(\gamma ^i:[0,\ell (\gamma ^i)]\rightarrow \mathbb {R}^2\) of any curve of \(\mathcal {N}\) is real analytic and satisfies the equation
or, equivalently, in terms of the oriented curvature
Also, the curves satisfy the following boundary conditions. If \(p=\pi (z_1,i_1)=\cdots =\pi (z_m,i_{m})\) is a junction of order m of \(\mathcal {N}\), then
Remark A.4
Let us observe that the boundary conditions (A.4) and (A.5) do not depend on the parametrizations of the curves \(\gamma ^i\). More precisely, even if such boundary conditions are expressed in terms of quantities evaluated at 0 or at \(\ell (\gamma ^i)\), if a curve \(\gamma ^j\) is reparametrized into the new arclength parametrized immersion \(\tilde{\gamma }^j(t)=\gamma ^j(\ell (\gamma ^j)-t)\), then
where symbols with the tilde identify the obvious geometric quantities in terms of the parametrization \(\tilde{\gamma }^k\).
Proof of Proposition A.3
In order to calculate the first variation of the functional, we can fix a junction p of \(\mathcal {N}\) of order m and consider a regular variation given by fields \(\psi ^{i_j}\) for \(j=1,\ldots ,m\) such that: if \(\pi (z_j,i_j)=p\) but \(\pi (1-z_j,i_j)\ne p\), then \(\psi ^{i_j}\equiv 0\) in a neighborhood of \(1-z_j\). By direct computations (for the details for example see [22]) one shows that the curves are of class \(C^\infty \) and they satisfy the first variation formula
This immediately leads to the interior equations (A.3).
In order to get the boundary conditions, we can first set
so that
and by (A.2) we get the first boundary condition (A.4) Similarly, letting \({\overline{\psi }}_{s}^{i_j}(0)={\overline{\psi }}_{s}^{i_j}(\ell (\gamma ^{i_j}))=0\) and using (A.1), the second boundary condition (A.5) is achieved.
Now we prove that each \(\gamma ^i\) is an analytic curve. Fix \(i=1\), and suppose that \(\pi (0,1)\) is a junction of order m. The first boundary condition equation gives that
While, since \(\langle \partial _{s}^\perp \vec {k}^1(0), \nu ^1(0)\rangle =\partial _{s} k^1(0)\), by multiplying the second boundary condition equation by \(\nu ^1(0)\) we can write that
Therefore a direct application of the Cauchy-Kovaleskaya Theorem (see for instance [12, p. 240]) on the Cauchy problem
gives that \(k^1\) is real analytic on some interval \([0,\varepsilon )\). Analogously, the same holds on \((\ell (\gamma ^1)-\varepsilon ,\ell (\gamma ^1)]\), and therefore \(k^1\) is real analytic. Writing \(\tau ^1(s)=\left( \cos (\theta (s)),\sin (\theta (s)\right) \) we get that
so that
Hence \(\theta \) is analytic, that implies that \(\partial _{s}\gamma ^1=\tau ^1\) is analytic, and so is \(\gamma ^1\).
By the arbitrary of the choice of \(\gamma ^1\), the result follows for each \(\gamma ^i\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Del Nin, G., Pluda, A. & Pozzetta, M. Degenerate Elastic Networks. J Geom Anal 31, 6128–6170 (2021). https://doi.org/10.1007/s12220-020-00521-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-020-00521-z