Degenerate Elastic Networks

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.

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

$$\begin{array}{c}\hfill \mathcal{E}\left(\mathcal{N}\right):=\sum _{i=1}^N\left({\int }_{{\gamma }^i},{|{\overrightarrow{k}}^i|}^2,,\mathrm{d},s,+,\ell ,({\gamma }^i)\right),\end{array}$$ 1.1

where ${\overrightarrow{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\to \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.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–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–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 $\frac{\pi }{3}$ and $\frac{2\pi }{3}$.

Fig. 1.

A Theta-network and a degenerate Theta-network

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\to \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,\mathrm{\Gamma })$ with $\mathrm{\Gamma }:G\to {\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,{\mathrm{\Gamma }}_n)$ collapse to a point in the limit.

A Necessary Angle Condition

We say that a curve ${\gamma }^i{:=\mathrm{\Gamma }|}_{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

$$\begin{array}{c}\hfill {\tau }^{z,i}={(-1)}^z\frac{{\dot{\gamma }}^i(z)}{|{\dot{\gamma }}^i(z)|}.\end{array}$$

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.

Fig. 2.

Outer tangents at the endpoints of the curve ${\gamma }^i$

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,\mathrm{\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 $\frac{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.

Fig. 3.

Starting from the represented graph G, it is possible to construct an example from which one deduces that the angle condition is not sufficient to define the closure of the class ${\mathcal{C}}_{\mathrm{Reg}}$. See Example 3.4 for details

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 $\mathrm{\Gamma }$ such that $(G,\mathrm{\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,

$$\begin{array}{c}\hfill \mathrm{\varnothing }=H_q\subset H_{q-1}\subset \dots \subset H_1\subset H_0=H\end{array}$$

and maps ${\mathrm{\Sigma }}_j:H_j\to {\mathbb{R}}^d$ such that for $j=0,\dots ,q-1$

• the (sub)network $(H_j,{\mathrm{\Sigma }}_j)$ satisfies the angle condition 1.2 with (real or virtual) tangent vectors coinciding with the ones associated to $(H_0,{\mathrm{\Sigma }}_0)$ and its regular curves are straight segments;

• the stratum $H_{j+1}$ is the union of the singular curves of $(H_j,{\mathrm{\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{=\mathrm{\Gamma }|}_{E_i}$ are singular. With a little abuse of notation we say that the network $\mathcal{N}=(G,\mathrm{\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,\mathrm{\Gamma })$ satisfying the angle condition 1.2 such that there exists only one map $\mathrm{\Sigma }:H\to {\mathbb{R}}^d$ from the singular edges to ${\mathbb{R}}^d$ such that every curve of $\mathrm{\Sigma }$ is a regular straight segment and $(H,\mathrm{\Sigma })$ satisfies the angle condition (in this case we say that the network $(H,\mathrm{\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.

Setting and Definition of the Problem

We begin by defining the mathematical objects of our interest.

Elastic Energy Functional for Networks

Fix $N\in \mathbb{N}$, $d\in \mathbb{N}$ with $d\ge 2$ and let $i\in \{1,\dots ,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

$$\begin{array}{c}\hfill G:=E/\sim .\end{array}$$

A subgraph $H\subseteq G$ is the quotient

$$\begin{array}{c}\hfill H:=\bigcup _{j=1}^M{I}_{i_j}/\sim \end{array}$$

for a given choice of indices $i_1,\dots ,i_M\in \{1,\dots ,N\}$, where $\sim$ is the equivalence relation defining G (Fig. 4).

Fig. 4.

On the left an example of a set E and on the right the resulting graph G with the identifications: $(0,1)\sim (0,2)$, $(1,1)\sim (0,3)$, $(1,2)\sim (0,4)\sim (1,5)\sim (0,7)$, $(1,3)\sim (1,4)$, $(0,5)\sim (0,6)$, $(1,6)\sim (0,8)$, $(1,7)\sim (1,8)$

We notice that the natural projection $\pi :E\to G$ restricted to $E\backslash V$ is a homeomorphism with its image.

We call

$$\begin{array}{c}\hfill E_i:=I_i/\sim ,\text{and}{V}_G:=V/\sim .\end{array}$$

Definition 2.2

An N-network (or simply a network) is a pair $\mathcal{N}=(G,\mathrm{\Gamma })$ where

$$\begin{array}{c}\hfill \mathrm{\Gamma }:G\to {\mathbb{R}}^d\end{array}$$

is a continuous map and G is an N-graph. Moreover we ask each ${\gamma }^i:={\mathrm{\Gamma }}_{|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,{\mathrm{\Gamma }}_1)$ and $(G_2,{\mathrm{\Gamma }}_2)$ if $G_1=G_2=G$ and for any edge $E_i$ of G the curve ${\mathrm{\Gamma }}_1{|}_{E_i}$ coincides with ${\mathrm{\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,{\mathrm{\Gamma }}_n)$ converges to a limit network ${\mathcal{N}}_{\infty }=(G_{\infty },{\mathrm{\Gamma }}_{\infty })$ in a certain topology if $G_n=G_{\infty }$ for any n and each sequence of curves ${\mathrm{\Gamma }}_n{|}_{E_i}$ converges to ${\mathrm{\Gamma }}_{\infty }{|}_{E_i}$, up to reparametrization, in that topology.

Definition 2.4

(Singular part) Given a network $\mathcal{N}=(G,\mathrm{\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 $\mathrm{\Gamma }$ to a point) and we call regular part $\mathrm{Reg}(\mathcal{N}):=\overline{G\backslash \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,\mathrm{\Gamma })$ is regular if $\mathrm{Sing}(\mathcal{N})=\mathrm{\varnothing }$ 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

$$\begin{array}{c}\hfill L(\mathcal{N}):=\sum _{i=1}^N\ell ({\gamma }^i).\end{array}$$

Consider a regular curve ${\gamma }^i$ of a network $\mathcal{N}$. Then we define its curvature vector as the $L^2$ function given by

$$\begin{array}{c}\hfill {\overrightarrow{k}}^i=\frac{{\ddot{\gamma }}^i}{|{\dot{\gamma }}^i{|}^2}-\frac{〈{\ddot{\gamma }}^i,,,{\dot{\gamma }}^i〉{\dot{\gamma }}^i}{|{\dot{\gamma }}^i{|}^4}.\end{array}$$

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

$$\begin{array}{c}\hfill {\mathcal{E}}_{\alpha ,\beta }\left(\mathcal{N}\right):=\alpha {\int }_{\mathcal{N}}{|\overrightarrow{k}|}^2\mathrm{d}s+\beta L(\mathcal{N})=\sum _{i=1}^N\left(\alpha ,{\int }_{{\mathcal{N}}^i},{|{\overrightarrow{k}}^i|}^2,,\mathrm{d},s^i,+,\beta ,,\ell ,({\gamma }^i)\right),\end{array}$$ 2.1

where ${\overrightarrow{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

$$\begin{array}{c}\hfill \mathcal{E}(\mathcal{N})=\sum _{i=1}^N\left(\alpha ,{\int }_0^1,\frac{|{\ddot{\gamma }}^i{(x)|}^2}{{\left(\ell ,(,{\gamma }^i,)\right)}^3},,\mathrm{d},x,+,\beta ,\ell ,({\gamma }^i)\right).\end{array}$$ 2.2

By assigning to each singular curve of a network a zero curvature ${\overrightarrow{k}}^i=\overrightarrow{0}$ we can naturally extend $\mathcal{E}$ to the class of all networks maintaining exactly the same formula. The elastic energy ${\tilde{\mathcal{E}}}_{\alpha ,\beta }$ of a regular or singular network $\mathcal{N}$ is thus

$$\begin{array}{c}\hfill {\tilde{\mathcal{E}}}_{\alpha ,\beta }\left(\mathcal{N}\right):=\alpha {\int }_{\mathcal{N}}{|\overrightarrow{k}|}^2\mathrm{d}s+\beta L(\mathcal{N}),\end{array}$$ 2.3

where ${\overrightarrow{k}}^i$ is the curvature of the regular curves of $\mathcal{N}$ or the assigned zero curvature on the singular curves of $\mathcal{N}$.

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,\dots ,N\}$) if

$$\begin{array}{c}\hfill ♯{\pi }^{-1}(p)=m,\end{array}$$

where $\pi$ is the projection defined below Definition 2.1 and $♯$ 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

$$\begin{array}{c}\hfill d^{z_1,i_1},\dots ,d^{z_m,i_m}\in {\mathbb{S}}^{d-1}\end{array}$$

where m is the order of the junction and where

$$\begin{array}{c}\hfill p=\pi \left(z_1,,,i_1\right)=\dots =\pi \left(z_m,,,i_m\right),\end{array}$$

with $(z_1,i_1),\dots ,(z_m,i_m)\in \{0,1\}\times \{1,\dots ,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,\mathrm{\Gamma })$ fulfills the angle condition if for every $p\in V_G$ junction of order m, writing

$$\begin{array}{c}\hfill p=\pi \left(z_1,,,i_1\right)=\dots =\pi \left(z_m,,,i_m\right),\end{array}$$

with $(z_1,i_1),\dots ,(z_m,i_m)\in \{0,1\}\times \{1,\dots ,N\}$ all distinct, there exists a rotation ${\mathrm{R}}_p:{\mathbb{R}}^d\to {\mathbb{R}}^d$ depending on p such that

$$\begin{array}{c}\hfill {\tau }^{z_1,i_1}={\mathrm{R}}_p(d^{z_1,i_1}),\dots ,{\tau }^{z_m,i_m}={\mathrm{R}}_p(d^{z_m,i_m}),\end{array}$$

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,\mathrm{\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

$$\begin{array}{c}\hfill inf\left\{{\mathcal{E}}_{\alpha ,\beta },(\mathcal{N})|\mathcal{N}=(G,\mathrm{\Gamma })\in ,{\mathcal{C}}_{\mathrm{Reg}},(\mathcal{D})\right\}.\end{array}$$ 2.4

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

$$\begin{array}{c}\hfill {\mathcal{E}}_{\alpha ,\beta }(\mathcal{N})=\sqrt{\alpha \beta }\mathcal{E}\left(\sqrt{\frac{\beta }{\alpha }},,\mathcal{N}\right),\end{array}$$ 2.5

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 $\mathrm{\Gamma }:G\to {\mathbb{R}}^d$ such that $(G,\mathrm{\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.

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,{\{{\mathrm{\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

$$\begin{array}{c}\hfill \underset{n}{lim\; sup}\mathcal{E}({\mathcal{N}}_n)\le C<+\infty .\end{array}$$

Suppose that for a certain index $i\in \{1,\dots ,N\}$

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\ell ({\gamma }_n^i)=0,\end{array}$$

then

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\underset{x,y\in [0,1]}{sup}\left|\frac{{\dot{\gamma }}_n^i(x)}{|{\dot{\gamma }}_n^i(x)|},-,\frac{{\dot{\gamma }}_n^i(y)}{|{\dot{\gamma }}_n^i(y)|}\right|=0.\end{array}$$

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,\dots ,N\}$ the immersion ${\gamma }_n^i:[0,1]\to {\mathbb{R}}^2$ is a regular parametrization with constant speed equal to its length. Given $x,y\in [0,1]$, we get

$$\begin{array}{cc}\hfill \left|\frac{{\dot{\gamma }}_n^i(x)}{|{\dot{\gamma }}_n^i(x)|},-,\frac{{\dot{\gamma }}_n^i(y)}{|{\dot{\gamma }}_n^i(y)|}\right|& =\frac{1}{\ell ({\gamma }_n^i)}\left|{\dot{\gamma }}_n^i,(x),-,{\dot{\gamma }}_n^i,(y)\right|=\frac{1}{\ell ({\gamma }_n^i)}\left|{\int }_x^y,{\ddot{\gamma }}_n^i,(t),\frac{\ell {({\gamma }_n^i)}^2}{\ell {({\gamma }_n^i)}^2},,\mathrm{d},t,\right|\hfill \\ \hfill & \le \left|{\int }_{{\gamma }_n^i},|{\overrightarrow{k}}_n^i|,,\mathrm{d},s\right|\le \mathcal{E}{({\mathcal{N}}_n)}^{1/2}\ell {({\gamma }_n^i)}^{1/2}\hfill \\ \hfill & \le C\ell {({\gamma }_n^i)}^{1/2}.\hfill \end{array}$$

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,\mathrm{\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

$$\begin{array}{c}\hfill {\tau }^{z_1,i_1}={\mathrm{R}}_p(d^{z_1,i_1}),\dots ,{\tau }^{z_m,i_m}={\mathrm{R}}_p(d^{z_m,i_m}),\end{array}$$ 3.1

where ${\pi }^{-1}(p)=\{(z_1,i_1),\dots ,(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]\to {\mathbb{R}}^2$ be an embedded piecewise $H^2$, regular closed curve, that is, there exist points $a=x_0<x_1<\dots <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_j^{\pm }):={lim}_{t\to x_j^{\pm }}\dot{\sigma }(t)$, which exists as $\dot{\sigma }(t)$ is $\frac{1}{2}$-Hölder continuous on $[x_j,x_{j+1}]$ for $j=0,\dots ,n-1$. Finally denote by $\mathrm{\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

$$\begin{array}{c}\hfill {\int }_a^b⟨{\overrightarrow{k}}_{\sigma },{\nu }_{\sigma }⟩=2\pi -\sum _{j=0}^{n-1}\mathrm{\Theta }[\dot{\sigma }(x_j^{-}),\dot{\sigma }(x_j^{+})],\end{array}$$

where ${\overrightarrow{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

$$\begin{array}{c}\hfill {\int }_a^b|{\overrightarrow{k}}_{\sigma }|\mathrm{d}s\ge 2\pi -\sum _{j=0}^{n-1}\left|\mathrm{\Theta },[,\dot{\sigma },(x_j^{-}),,,\dot{\sigma },(x_j^{+}),]\right|.\end{array}$$ 3.2

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 C2 and, as sketched in the picture, assume that the assigned directions $\{d^{z,i}\}$ at the (triple) junctions form (equal) angles equal to $\frac{2}{3}\pi$. Consider a sequence of continuous maps ${\{{\mathrm{\Gamma }}_n\}}_{n\in \mathbb{N}}$ such that ${\mathrm{\Gamma }}_1$ is, for example, as depicted in Fig. 3 and such that $L(C_n)\to 0$, where $C_n:={\mathrm{\Gamma }}_n{|}_C$. This property is satisfied by any sequence of networks approximating the singular network ${\mathcal{N}}_{\infty }=(G,{\mathrm{\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

$$\begin{array}{c}\hfill \mathcal{E}({\mathrm{\Gamma }}_n)\ge \mathcal{E}(C_n)\ge {\int }_{C_n}{|\overrightarrow{k}|}^2\mathrm{d}s\ge \frac{{\left({\int }_{C_n},|\overrightarrow{k}|,,\mathrm{d},s\right)}^2}{L(C_n)}\ge \frac{{\left(2,\pi ,-,4,\frac{\pi }{3}\right)}^2}{L(C_n)},\end{array}$$

hence, as $n\to \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,\mathrm{\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,

$$\begin{array}{c}\hfill \mathrm{\varnothing }=H_q\subset H_{q-1}\subset \dots \subset H_1\subset H_0=H\end{array}$$

and maps ${\mathrm{\Sigma }}_j:H_j\to {\mathbb{R}}^d$ such that for $j=0,\dots ,q-1$ we have that

• the (sub)network $(H_j,{\mathrm{\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,{\mathrm{\Sigma }}_0)$ and whose regular curves are straight segments;

• $H_{j+1}=\mathrm{Sing}((H_j,{\mathrm{\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:

$$\begin{array}{cc}& (0,1)\sim (0,2),(1,2)\sim (1,3)\sim (0,5),(1,1)\sim (0,3)\sim (0,4),(1,4)\sim (1,5),\hfill \\ \hfill & \measuredangle d^{0,2},d^{0,1}=\measuredangle d^{0,3},d^{0,4}=0,\measuredangle d^{1,1},d^{0,3}=\measuredangle d^{1,3},d^{1,2}=\measuredangle d^{1,4},d^{1,5}=\frac{\pi }{2},\hfill \end{array}$$

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).

Fig. 5.

Example of stratified straight graph of step two

It is clearly not possible to construct a triangle with strictly positive length of its three (straight) edges with angles $0,\frac{\pi }{2},\frac{\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,\mathrm{\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

$$\begin{array}{c}\hfill \underset{n}{lim\; sup}\tilde{\mathcal{E}}({\mathcal{N}}_n)\le C<+\infty .\end{array}$$

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,\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$2$}\right.)$. In particular if ${\{{\mathcal{N}}_n\}}_{n\in \mathbb{N}}$ is a sequence of networks in ${\mathcal{C}}_{\mathrm{Reg}}$, then ${\mathcal{N}}_n\stackrel{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,\dots N\}$ for every $n\in \mathbb{N}$ the curves ${\mathcal{N}}_n^1,\dots ,{\mathcal{N}}_n^k$ are regular and the curves ${\mathcal{N}}_n^{k+1},\dots ,{\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,\dots ,k\}$ the immersions ${\gamma }_n^i:={\mathrm{\Gamma }}_n{|}_{E_i}:[0,1]\to {\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,\dots ,k\}$ and for every $n\in \mathbb{N}$ we have that

$$\begin{array}{cc}\hfill \Vert {\gamma }_n^i{\Vert }_{\infty }& =\underset{x\in [0,1]}{sup}|{\gamma }_n^i(x)|\le L({\mathcal{N}}_n)\le \tilde{\mathcal{E}}({\mathcal{N}}_n)\le C<\infty ,\hfill \end{array}$$ 3.3

$$\begin{array}{cc}\hfill \Vert {\dot{\gamma }}_n^i{\Vert }_{\infty }& =\underset{x\in [0,1]}{sup}|{\dot{\gamma }}_n^i(x)|=\ell ({\mathcal{N}}_n^i)\le L({\mathcal{N}}_n)\le \tilde{\mathcal{E}}({\mathcal{N}}_n)\le C<\infty ,\hfill \end{array}$$ 3.4

$$\begin{array}{cc}\hfill \Vert {\ddot{\gamma }}_n^i{\Vert }_2^2& =\ell {({\mathcal{N}}_n^i)}^3{\int }_0^1\frac{|{\ddot{\gamma }}_n^i{(x)|}^2}{\ell {({\mathcal{N}}_n^i)}^3}\mathrm{d}x\le L{({\mathcal{N}}_n)}^3\tilde{\mathcal{E}}({\mathcal{N}}_n)\le C^4<\infty .\hfill \end{array}$$ 3.5

Since for every $i\in \{k+1,\dots ,N\}$ the maps are constant on the bounded interval of parametrization [0, 1], a bound on ${\Vert ·\Vert }_{H^2}$ is trivially obtained. Then for every $i\in \{1,\dots ,N\}$ up to a subsequence (not relabeled) ${\gamma }_n^i\rightharpoonup {\gamma }_{\infty }^i$ weakly in $H^2(0,1)$ and thanks to classical compact embedding theorems ${\gamma }_n^i\to {\gamma }_{\infty }^i$ strongly in $C^{1,\alpha }([0,1])$ for every $\alpha \in (0,\frac{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 }_{\infty }^{z,i}$. Notice that for the the indices i for which $\ell ({\gamma }_{\infty }^i)>0$ we have that (up to subsequence) ${(-1)}^z\frac{{\dot{\gamma }}_n^i}{|{\dot{\gamma }}_n^i|}$ converge to ${\tau }_{\infty }^{z,i}$.

Define ${\mathrm{\Gamma }}_{\infty }:G\to {\mathbb{R}}^2$ in such a way that ${\mathrm{\Gamma }}_{\infty }{|}_{E_i}={\gamma }_{\infty }^i$ and call ${\mathcal{N}}_{\infty }:=(G,{\mathrm{\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,\dots ,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 ${\mathrm{\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 {\mathrm{\Gamma }}_n(H_i)$. We define $L_n^i:=L({\mathrm{\Gamma }}_n(H_i))$ and consider the rescaled networks ${\mathcal{N}}_n^{(i)}=(H_i,{\mathrm{\Gamma }}_n^{(i)})$ with

$$\begin{array}{c}\hfill {\mathrm{\Gamma }}_n^{(i)}=\frac{1}{L_n^i}{\mathrm{\Gamma }}_n.\end{array}$$

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\to 0$. Thanks to the scaling property (2.5) we thus have

$$\begin{array}{c}\hfill {\int }_{{\mathcal{N}}_n^{(i)}}|{\overrightarrow{k}}^i{|}^2\mathrm{d}s=L_n^i{\int }_{{\mathrm{\Gamma }}_n(H_i)}{|{\overrightarrow{k}}^i|}^2\mathrm{d}s\to 0\text{as}n\to \infty \end{array}$$

and in particular $\tilde{\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,{\mathrm{\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

$$\begin{array}{c}\hfill {\mathrm{\Sigma }}_i={\mathrm{\Gamma }}_{\infty }^{(i)}{H}_{i+1}=\mathrm{Sing}((H_i,{\mathrm{\Sigma }}_i))\end{array}$$ 3.6

and we repeat the process until $\mathrm{Sing}((H_i,{\mathrm{\Sigma }}_i))=\mathrm{\varnothing }$.

After a finite number of steps the process stops and we obtain that the strata $\mathrm{\varnothing }=H_q\subset \dots \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

$$\begin{array}{cc}& (0,1)\sim (0,2),(1,1)\sim (0,3),(1,2)\sim (1,3),\hfill \\ \hfill & \measuredangle d^{0,1},d^{0,2}=0,\measuredangle d^{1,1},d^{0,3}=\measuredangle d^{1,2},d^{1,3}=\frac{\pi }{2},\hfill \end{array}$$

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).

Fig. 6.

Representation of the graph G with assigned angles and construction of the sequence

We construct a sequence of regular networks ${\mathcal{N}}_n=(G,{\mathrm{\Gamma }}_n)$ that converge as $n\to \infty$ to a degenerate network whose singular part is stratified straight.

Consider three immersions ${\gamma }^1,{\gamma }^2,{\gamma }^3:[0,1]\to {\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

$$\begin{array}{c}\hfill \mathcal{E}({\gamma }^1)+\mathcal{E}({\gamma }^2)+\mathcal{E}({\gamma }^3)=2\left(r,\alpha ,cot,\alpha ,+,\frac{\alpha tan\alpha }{r}\right)+2\alpha r+\frac{2\alpha }{r}.\end{array}$$

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\to \infty$ the lengths of the three curves go to zero and

$$\begin{array}{c}\hfill \mathcal{E}({\gamma }_n^1)+\mathcal{E}({\gamma }_n^2)+\mathcal{E}({\gamma }_n^3)=2\left(\frac{1}{n},+,\frac{1}{n^3}\right)+\frac{2}{n^3}+\frac{2}{n}+o\left(\frac{1}{n^5}\right)\stackrel{n\to \infty }{⟶}0.\end{array}$$

Moreover it is not possible to construct a triangle with three edges of positive length and angles $0,\frac{\pi }{2},\frac{\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.

Relaxation

Let us define the following extended problem.

Problem 4.1

Given an N-graph G with assigned angles we want to find

$$\begin{array}{c}\hfill inf\left\{\overline{\mathcal{E}},(\mathcal{N})|\mathcal{N}=(G,\mathrm{\Gamma })\text{is a (possibly) singular network}\right\},\end{array}$$

where $\overline{\mathcal{E}}$ is the extension of $\mathcal{E}$ defined as

$$\begin{array}{c}\hfill \overline{\mathcal{E}}(\mathcal{N}):=\left\{\begin{array}{c}\tilde{\mathcal{E}}(\mathcal{N})\text{if}\mathcal{N}\in {\mathcal{C}}_{\mathrm{Deg}},\hfill \\ +\infty \text{otherwise}.\hfill \end{array}\right)\end{array}$$ 4.1

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,\mathrm{\Gamma })\in {\mathcal{C}}_{\mathrm{Deg}}$ there exists a sequence of networks ${\{{\mathcal{N}}_n\}}_{n\in \mathbb{N}}$ such that

$$\begin{array}{c}\hfill {\mathcal{N}}_n\stackrel{H^2}{⟶}\mathcal{N}\text{and}\mathcal{E}({\mathcal{N}}_n)\to \overline{\mathcal{E}}(\mathcal{N}).\end{array}$$

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

$$\begin{array}{c}\hfill {\Vert f-f\circ \varphi \Vert }_{L^2}\to 0\text{as}{\Vert \varphi -Id\Vert }_{C^0(0,1)}\to 0\end{array}$$

where $\varphi$ varies among all continuous maps $\varphi :[0,1]\to [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

$$\begin{array}{c}\hfill {\int }_0^1{|f(t)-f(\varphi (t))|}^2\mathrm{d}t\le {\omega }_f{(\Vert \varphi -Id\Vert }_{C^0}{)}^2\to 0\text{as}{\Vert \varphi -Id\Vert }_{C^0}\to 0.\end{array}$$

$\square$

Lemma 4.4

Let $l\in (0,+\infty )$ and $0\le \delta \le l$. Let $\gamma :[0,1]\to {\mathbb{R}}^d$ and $\sigma :[1,1+\frac{\delta }{l}]\to {\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 \ast \sigma :[0,1+\frac{\delta }{l}]\to {\mathbb{R}}^d$ defined in the natural way and its linear reparametrization ${\gamma }_{\sigma }:[0,1]\to {\mathbb{R}}^d$ given by

$$\begin{array}{c}\hfill {\gamma }_{\sigma }(t)=(\gamma \ast \sigma )\left((,1,+,\frac{\delta }{l},),t\right).\end{array}$$

Then

$$\begin{array}{c}\hfill \Vert \gamma -{\gamma }_{\sigma }{\Vert }_{H^2(0,1)}\le \eta \left(\mathcal{E},(,\sigma ,)\right)\end{array}$$

where $\eta$ is a function such that $\eta (z)\to 0$ as $z\to 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:

$$\begin{array}{cc}\hfill {\int }_0^1{|\ddot{\gamma }(t)-{\ddot{\gamma }}_{\sigma }(t)|}^2\mathrm{d}t& ={\int }_0^{\frac{1}{1+\frac{\delta }{l}}}{\left|\ddot{\gamma },(t),-,\ddot{\gamma },\left((,1,+,\frac{\delta }{l},),t\right)\right|}^2\mathrm{d}t+{\int }_{\frac{1}{1+\frac{\delta }{l}}}^1{|\ddot{\gamma }(t)-\ddot{\sigma }\left((,1,+,\frac{\delta }{l},),t\right)|}^2\mathrm{d}t\hfill \\ \hfill & \le {\int }_0^{\frac{1}{1+\frac{\delta }{l}}}{\left|\ddot{\gamma },(t),-,\ddot{\gamma },\left((,1,+,\frac{\delta }{l},),t\right)\right|}^2\mathrm{d}t+2{\int }_{\frac{1}{1+\frac{\delta }{l}}}^1{|\ddot{\gamma }(t)|}^2\mathrm{d}t\hfill \\ \hfill & +2{\int }_{\frac{1}{1+\frac{\delta }{l}}}^1{|\ddot{\sigma }\left((,1,+,\frac{\delta }{l},),t\right)|}^2\mathrm{d}t.\hfill \end{array}$$

Thanks to Lemma 4.3 the first term of the last expression goes to zero as $\delta \to 0$. The second term goes to zero as $\delta \to 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 )\to 0$. After the change of variables $x=(1+\frac{\delta }{l})t$, the third term reads

$$\begin{array}{c}\hfill \frac{2}{1+\frac{\delta }{l}}{\int }_1^{1+\frac{\delta }{l}}{|\ddot{\sigma }(x)|}^2\mathrm{d}x.\end{array}$$

Since $\sigma$ is parametrized with constant speed l, recalling (2.1) we have

$$\begin{array}{c}\hfill {\int }_1^{1+\frac{\delta }{l}}|\ddot{\sigma }{(x)|}^2\mathrm{d}x=l^3{\int }_{\sigma }{|{\overrightarrow{k}}_{\sigma }|}^2\mathrm{d}s\le l^3\mathcal{E}(\sigma ).\end{array}$$

Therefore all three terms go to zero as $\mathcal{E}(\sigma )\to 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 \ast \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\to 0$. More precisely, there exists a regular curve $\gamma :[0,1]\to {\mathbb{R}}^2$ such that

$$\begin{array}{c}\hfill \frac{\dot{\gamma }(0)}{|\dot{\gamma }(0)|}=\frac{\dot{\gamma }(1)}{|\dot{\gamma }(1)|}=e_1,\gamma (0)=(0,0),\gamma (1)=(b,h),\end{array}$$

with

$$\begin{array}{c}\hfill b=2\sqrt{h}(1+o(1)),\text{and}\mathcal{E}(\gamma )=4\sqrt{h}(1+o(1)).\end{array}$$

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

$$\begin{array}{c}\hfill h=2(1-cos\theta )\approx {\theta }^{2}b=2sin\theta \approx 2\theta \text{as}\theta \to 0,\end{array}$$

and therefore given h we can choose $\theta =arccos\left(1,-,\frac{h}{2}\right)\approx \sqrt{h}$ to obtain

$$\begin{array}{c}\hfill b\approx 2\sqrt{h}\mathcal{E}(\gamma )\approx 4\sqrt{h}.\end{array}$$

$\square$

Fig. 7.

The construction of Lemma 4.6

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]\to {\mathbb{R}}^d$ of class $H^2$ parametrized with constant speed. Then for every $\epsilon >0$ there exists a curve $\tilde{\gamma }:[0,1]\to {\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 $\epsilon$ with direction ${\gamma }^{\prime }(0)$, and such that

$$\begin{array}{c}\hfill \gamma (0)=\tilde{\gamma }(0),{\Vert \gamma -\tilde{\gamma }\Vert }_{H^2}\le \epsilon ,\mathcal{E}(\tilde{\gamma })\le \mathcal{E}(\gamma )(1+\epsilon ).\end{array}$$

Proof

Without loss of generality we suppose that $\gamma (0)=0$, $\dot{\gamma }(0)=e_1$, and for $\delta >0$ we define

$$\begin{array}{c}\hfill {\gamma }_{\delta }(t)=\gamma (t)+\delta \psi (t)e_1,\end{array}$$

where $\psi :[0,1]\to \mathbb{R}$ is a fixed $C^2$ map with

$$\begin{array}{c}\hfill \psi (t)=1\text{for}t\in [0,\frac{1}{4}]\text{and}\psi (t)=0\text{for}t\in [\frac{1}{2},1].\end{array}$$

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 \to 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,\mathrm{\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 $\mathrm{\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

$$\begin{array}{c}\hfill \mathrm{\varnothing }=H_q\subset H_{q-1}\subset \dots \subset H_1\subset H_0=H\end{array}$$

with $\mathbb{N}\ni q\le N$, and such that the (real or virtual) tangents of $(H_i,{\mathrm{\Sigma }}_i)$ coincide with the corresponding ones of ${\mathcal{T}}_G$.

Fix $\epsilon >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 $\mathrm{\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 \epsilon$, up to adding a small error of order at most $\epsilon$ to the energy.

We consider the first stratum $H=H_0$ and up to rescaling we can suppose that ${\mathrm{\Sigma }}_0(H_0)\subset B_{l^3}(0)$ where we recall that $0=\mathrm{\Gamma }(H_0)$. We want to partially desingularize H, that is we replace in a neighborhood of 0 the completely singular subnetwork $(H_0,\mathrm{\Gamma })$ with the first stratum $(H_0,{\mathrm{\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 ${\mathrm{\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 ${\mathrm{\Sigma }}_0((0,i))$ to ${\gamma }^i(a^{0,i})$ with an energy of order $l^{3/2}\le {\epsilon }^{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}}_{\epsilon }$ whose energy is at most $\overline{\mathcal{E}}(\mathcal{N})+C\epsilon$ and whose $H^2$ distance from $\mathcal{N}$ is at most $C\epsilon$.

Since we can do this for any $\epsilon >0$, choosing ${\epsilon }_n=\frac{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

$$\begin{array}{c}\hfill \overline{\mathcal{E}}({\mathcal{N}}_{\infty })=inf\left\{\underset{n\to \infty }{lim\; inf},\mathcal{E},({\mathcal{N}}_n),|,{\mathcal{N}}_n,\in ,{\mathcal{C}}_{\mathrm{Reg}},,,,{\mathcal{N}}_n,\stackrel{H^2}{\rightharpoonup },{\mathcal{N}}_{\infty }\right\}.\end{array}$$ 4.2

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 {lim\; inf}_{n\to \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 {lim\; sup}_{n\to \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 $\mathrm{\Gamma }$-limit of the constant sequence $F_n=F$, we can here make a comparison with the difference between Mosco convergence and $\mathrm{\Gamma }$-convergence.

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,\mathrm{\Gamma })$ where G is a 3-graph composed of edges $E_1,E_2,E_3$ with the identifications

$$\begin{array}{cc}\hfill (0,1)\sim (0,2)\sim (0,3)& \text{and}(1,1)\sim (1,2)\sim (1,3),\hfill \end{array}$$

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 $\frac{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.

Fig. 9.

On the left a representation of the graph G. On the right a possible minimizer ${\mathcal{N}}_{min}=(G,{\mathrm{\Gamma }}_{min})$

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

$$\begin{array}{c}\hfill I_{\mathcal{D}}:=min\left\{\overline{\mathcal{E}},(\mathcal{N})|\mathcal{N}=(G,\mathrm{\Gamma })\text{is a network}\right\},\end{array}$$ 5.1

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 )]\to {\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

$$\begin{array}{c}\hfill {\int }_{\gamma }|\overrightarrow{k}|\mathrm{d}s\ge |\theta |,\end{array}$$

and the equality holds if $\gamma$ is convex, i.e., if $⟨\overrightarrow{k},\nu ⟩$ remains non negative (or non positive) along the curve, where $\nu$ is the counterclockwise rotation of $\frac{\pi }{2}$ of the tangent vector $\tau$ along $\gamma$.

Moreover suppose that for every $i\in \{1,\dots ,N\}$ the curve ${\gamma }^i$ is regular, continuous and of class $H^2$ and suppose that there exists $\alpha >0$ such that

$$\begin{array}{c}\hfill \sum _{i=1}^N{\int }_{{\gamma }^i}|{\overrightarrow{k}}^i|\mathrm{d}s\ge \alpha ,\end{array}$$

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 }=\overrightarrow{k}$. By hypothesis the angle spanned by the unit tangent vector and the horizontal axis is greater or equal than $|\theta |$, hence

$$\begin{array}{c}\hfill {\int }_{\gamma }|\overrightarrow{k}(s)|\mathrm{d}s={\int }_0^{\ell (\gamma )}|\dot{\tau }(s)|\mathrm{d}s\ge |\theta |.\end{array}$$

By writing $\tau =(cos\phi (s),sin\phi (s))$ for some function $\phi (s)\in (-\pi ,\pi ]$, as $|\dot{\tau }|=|\dot{\phi }|=|⟨\overrightarrow{k},\nu ⟩|$ we see that equality holds if $⟨\overrightarrow{k},\nu ⟩$ has a sign.

We pass now to prove the second part of the statement. Using Cauchy–Schwarz inequality we get

$$\begin{array}{cc}\hfill {\left(\sum _{i=1}^N,{\int }_{{\gamma }^i},|{\overrightarrow{k}}^i|,,\mathrm{d},s\right)}^2=& {\left(\sum _{i=1}^N,\frac{{\int }_{{\gamma }^i}|{\overrightarrow{k}}^i|\mathrm{d}s}{\sqrt{\ell ({\gamma }^i)}},\sqrt{\ell ({\gamma }^i)}\right)}^2\hfill \\ \hfill \le & \left(\sum _{i=1}^N,\frac{({\int }_{{\gamma }^i}|{\overrightarrow{k}}^i{|\mathrm{d}s)}^2}{\ell ({\gamma }^i)}\right)\left(\sum _{i=1}^N,\ell ,({\gamma }^i)\right).\hfill \end{array}$$ 5.2

Moreover by Hölder inequality

$$\begin{array}{c}\hfill {\left({\int }_{{\gamma }^i},|{\overrightarrow{k}}^i|,,\mathrm{d},s\right)}^2\le \ell ({\gamma }^i){\int }_{{\gamma }^i}{|{\overrightarrow{k}}^i|}^2\mathrm{d}s,\end{array}$$

that combined with (5.2) gives

$$\begin{array}{cc}\hfill \mathcal{E}\left({\cup }_{i=1}^N,{\gamma }^i\right)& =\sum _{i=1}^N\left({\int }_{{\gamma }^i},{|{\overrightarrow{k}}^i|}^2,,\mathrm{d},s,+,\ell ,({\gamma }^i)\right)\ge \sum _{i=1}^N\left(\frac{({\int }_{{\gamma }^i}|{\overrightarrow{k}}_i{|\mathrm{d}s)}^2}{\ell ({\gamma }^i)},+,\ell ,({\gamma }^i)\right)\hfill \\ \hfill & \ge \frac{{\left({\sum }_{i=1}^N,{\int }_{{\gamma }^i},|{\overrightarrow{k}}_i|,,\mathrm{d},s\right)}^2}{{\sum }_{i=1}^N\ell ({\gamma }^i)}+\sum _{i=1}^N\ell ({\gamma }^i)\ge \frac{{\alpha }^2}{{\sum }_{i=1}^N\ell ({\gamma }^i)}+\sum _{i=1}^N\ell ({\gamma }^i)\ge 2\alpha .\hfill \end{array}$$

$\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(c,o,\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 $\tilde{\mathcal{E}}({\mathcal{N}}_n)\to 0$, and in particular $L({\mathcal{N}}_n)\to 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}}_{\mathit{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 ${\mathrm{\Sigma }}_0$ whose regular curves are straight segments. By Proposition 4.2 there exists a sequence $\{{\mathcal{N}}_n\}$ of regular networks such that ${\mathrm{\Gamma }}_n\to {\mathrm{\Sigma }}_0$ in $H^2$. Analogously there exists recovery sequences for every rescaling $\frac{1}{\lambda }{\mathrm{\Sigma }}_0$ of ${\mathrm{\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,\mathrm{\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 \mathrm{\Gamma }(V_G)$ that lies on the boundary of the convex hull of $\mathrm{\Gamma }(V_G)$, and thus that lies on $\partial H$ where H is a closed half plane containing $\mathrm{\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 }_{\gamma }|\overrightarrow{k}|\mathrm{d}s\ge c(\mathcal{D})$ and thus $\mathcal{E}(\gamma )\ge \frac{{\left({\int }_{\gamma },|\overrightarrow{k}|,,\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:={\mathrm{\Gamma }}_{|E_i}$ and ${\gamma }^j:={\mathrm{\Gamma }}_{|E_j}$, with $\mathrm{\Gamma }$ a competitor for $I_{\mathcal{D}}$. Then by Lemma 5.3 we have that ${\int }_{{\gamma }^i}|{\overrightarrow{k}}^i|\mathrm{d}s+{\int }_{{\gamma }^j}|{\overrightarrow{k}}^j|\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.

Fig. 8.

A representation of the graph G of a Theta-network

Lemma 5.5

Let $\mathrm{\Theta }$ be a Theta-network. Then

$$\begin{array}{c}\hfill \mathcal{E}(\mathrm{\Theta })\ge \frac{16\pi }{3}.\end{array}$$

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

$$\begin{array}{c}\hfill {\gamma }^1(0)={\gamma }^2(0)={\gamma }^3(0)=(0,0)\text{and}{\gamma }^1(1)={\gamma }^2(1)={\gamma }^3(1)=(a,0),\end{array}$$

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,\frac{\pi }{3}]$ and that

$$\begin{array}{c}\hfill {\alpha }^2={\alpha }^1+\frac{2}{3}\pi ,{\alpha }^3={\alpha }^1-\frac{2}{3}\pi .\end{array}$$

We claim that for any i there exists $t^i\in [0,1]$ such that $\frac{{\dot{\gamma }}^i(t^i)}{|{\dot{\gamma }}^i(t^i)|}=(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

$$\begin{array}{cc}\hfill |{\alpha }^1|+|{\alpha }^2|+|{\alpha }^3|& =|{\alpha }^1|+\left|{\alpha }^1,+,\frac{2}{3},\pi \right|+\left|{\alpha }^1,-,\frac{2}{3},\pi \right|\hfill \\ \hfill & ={\alpha }^1+\left({\alpha }^1,+,\frac{2}{3},\pi \right)+\left(\frac{2}{3},\pi ,-,{\alpha }^1\right)\hfill \\ \hfill & ={\alpha }^1+\frac{4}{3}\pi \ge \frac{4}{3}\pi \hfill \end{array}$$

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 $\frac{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}(\mathrm{\Theta })\ge \frac{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)}{|{\dot{\gamma }}^i(t^i)|}=(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)}{|\dot{\sigma }(t)|}\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$

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” $\mathrm{\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,\mathrm{\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 $\mathrm{\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 $\mathrm{\Theta }(\mathcal{P})$ coincides with the angle between the real tangents (given by $\mathrm{\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

$$\begin{array}{cc}\hfill \mathcal{P}:\{1,\dots ,\mathcal{J}\}& \to \{0,1\}\times \{1,\dots ,N\}\hfill \\ \hfill j& \to (z_j,i_j)\hfill \end{array}$$

such that for every $j\in \{1,\dots ,\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 $\overrightarrow{a}$ and $\overrightarrow{b}$ two vectors in ${\mathbb{R}}^2$. Then the angle between $\overrightarrow{a}$ and $\overrightarrow{b}$ , denoted by $\angle \overrightarrow{a},\overrightarrow{b}$, is an element of $\mathbb{R}$ mod $2\pi$. From now on and for the rest of the section, an angle $\angle \overrightarrow{a},\overrightarrow{b}$ will always be understood as an element of $\mathbb{R}$ mod $2\pi$, and a representative for $\angle \overrightarrow{a},\overrightarrow{b}$ will be always assumed to be the element of $[0,2\pi )$ such that the counterclockwise rotation of $\overrightarrow{a}$ of such an angle yields $\overrightarrow{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

$$\begin{array}{c}\hfill \mathrm{\Theta }(\mathcal{P}):=\left\{\begin{array}{cc}{\sum }_{j=1}^{\mathcal{J}-1}\left(\angle ,-,d^{1-z_j,i_j},,,d^{z_{j+1},i_{j+1}}\right)\mathrm{mod}2\pi \hfill & \text{if}\mathcal{P}\text{is an open path}\hfill \\ {\sum }_{j=1}^{\mathcal{J}}\left(\angle ,-,d^{1-z_j,i_j},,,d^{z_{j+1},i_{j+1}}\right)\mathrm{mod}2\pi \hfill & \text{if}\mathcal{P}\text{is a cycle}\hfill \end{array}\right)\end{array}$$

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

$$\begin{array}{cc}\hfill \mathcal{P}:\{1,\dots ,\mathcal{J}\}& \to \{0,1\}\times \{1,\dots ,\mathcal{J}\}\hfill \\ \hfill j& \to (0,j)\hfill \end{array}$$

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

$$\begin{array}{c}\hfill \mathrm{\Theta }(\mathcal{P}):=\left\{\begin{array}{cc}{\sum }_{j=1}^{\mathcal{J}-1}\left(\angle ,-,d^{1,j},,,d^{0,j+1}\right)\mathrm{mod}2\pi \hfill & \text{if}\mathcal{P}\text{is an open path}\hfill \\ {\sum }_{j=1}^{\mathcal{J}}\left(\angle ,-,d^{1,j},,,d^{0,j+1}\right)\mathrm{mod}2\pi \hfill & \text{if}\mathcal{P}\text{is a cycle}\hfill \end{array}\right)\end{array}$$

with the understanding that the indices are modulo $\mathcal{J}$, so that $\mathcal{J}+1=1$. When $\mathcal{N}=(G,\mathrm{\Gamma })$ is a network of class ${\mathcal{C}}_{\mathrm{Reg}}$ and we denote by ${\gamma }^j{=\mathrm{\Gamma }|}_{E_j}$ we have that ${\gamma }^j(1)={\gamma }^{j+1}(0)$ for $j\in \{1\dots ,\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

$$\begin{array}{c}\hfill \underset{n}{lim\; sup}\mathcal{E}({\mathcal{N}}_n)\le C<+\infty .\end{array}$$

• Suppose that $\mathcal{P}$ is an open path composed of $\mathcal{J}$ edges and that ${lim}_{n\to \infty }\ell ({\gamma }_n^j)=0$ for $j\in \{2,\dots ,\mathcal{J}-1\}$. Then $\mathrm{\Theta }(\mathcal{P})={lim}_{n\to \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\to \infty }\ell ({\gamma }_n^j)=0$ for $j\in \{1,\dots ,\mathcal{J}\}$. Then $\mathrm{\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

$$\begin{array}{cc}\hfill \angle -{\tau }_n^{1,1},{\tau }_n^{0,\mathcal{J}}& =\sum _{j=1}^{\mathcal{J}-1}\angle -{\tau }_n^{1,j},{\tau }_n^{0,j+1}+\sum _{j=2}^{\mathcal{J}-1}\angle {\tau }_n^{0,j},-{\tau }_n^{1,j}\hfill \\ \hfill & =\sum _{j=1}^{\mathcal{J}-1}\left(\angle ,-,d^{1,j},,,d^{0,j+1}\right)+\sum _{j=2}^{\mathcal{J}-1}\angle \frac{{\dot{\gamma }}_n^j(0)}{|{\dot{\gamma }}_n^j(0)|},\frac{{\dot{\gamma }}_n^j(1)}{|{\dot{\gamma }}_n^j(1)|}.\hfill \end{array}$$

Then thanks to Lemma 3.1 one gets the desired result passing to the limit $n\to \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

$$\begin{array}{c}\hfill \mathrm{\Theta }(\mathcal{P})=\underset{n\to \infty }{lim}\angle -{\tau }_n^{1,1},{\tau }_n^{0,1}=0,\end{array}$$

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,\dots ,\mathcal{J}\}$ the edges $E_j$ are in $\mathrm{Sing}(\mathcal{N})$ then $\mathrm{\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,\dots ,\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 $\mathrm{\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)

$$\begin{array}{c}\hfill \mathrm{\varnothing }=H_q\subset H_{q-1}\subset \dots \subset H_1\subset H_0=H\end{array}$$

and maps ${\mathrm{\Sigma }}_i:H_i\to {\mathbb{R}}^2$ such that for $i=0,\dots ,q-1$

• $(H_i,{\mathrm{\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,{\mathrm{\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,\mathrm{\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,\mathrm{\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 ${\mathrm{\Gamma }}_{|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

$$\begin{array}{c}\hfill \angle {\tau }^{z,i},{\tau }^{y,l}=\angle d^{z,i},d^{y,l}.\end{array}$$ 6.1

In fact the path $\mathcal{P}$ given by

$$\begin{array}{c}\hfill \mathcal{P}(1)=(1-z,i),\mathcal{P}(2)=(y,l),\end{array}$$

is a cycle contained in $\text{Sing}\mathcal{N}$, and thus by assumption we get that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \mathrm{\Theta }(\mathcal{P})& =\angle -d^{z,i},d^{y,l}+\angle -d^{1-y,l},d^{1-z,i}=\angle -d^{z,i},d^{y,l}+\angle -{\tau }^{1-y,l},{\tau }^{1-z,i}=\hfill \\ \hfill & =\angle -d^{z,i},d^{y,l}+\angle {\tau }^{y,l},-{\tau }^{z,i}=\pi +\angle d^{z,i},d^{y,l}+\pi +\angle {\tau }^{y,l},{\tau }^{z,i}=\hfill \\ \hfill & =2\pi +\angle d^{z,i},d^{y,l}+2\pi -\angle {\tau }^{z,i},{\tau }^{y,l}=0\text{mod}2\pi .\hfill \end{array}\end{array}$$

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

$$\begin{array}{c}\hfill \mathcal{P}(1)=(1-y,b),\mathcal{P}(2)=(1-z,i),\mathcal{P}(3)=(x,a),\end{array}$$

we get that

$$\begin{array}{c}\hfill \mathrm{\Theta }(\mathcal{P})=\angle -{\tau }^{y,b},{\tau }^{1-z,i}+\angle -{\tau }^{z,i},{\tau }^{x,a}+\angle -{\tau }^{1-x,a},{\tau }^{1-y,b}=0\text{mod}2\pi .\\ \hfill \end{array}$$ 6.2

On the other hand, since the sum of the exterior angles of a triangle equals $2\pi$, we have that

$$\begin{array}{c}\hfill \angle -{\tau }^{y,b},-{\tau }^{z,i}+\angle -{\tau }^{z,i},{\tau }^{x,a}+\angle -{\tau }^{1-x,a},{\tau }^{1-y,b}=2\pi =0\text{mod}2\pi ,\\ \hfill \end{array}$$ 6.3

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 $\mathrm{\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

$$\begin{array}{c}\hfill \sum _{l=l_0}^{L-1}\angle -{\tau }^{1,l},{\tau }^{0,l+1}=\angle -{\tau }^{1,l_0},{\tau }^{0,L}\text{mod}2\pi .\end{array}$$ 6.4

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

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \mathrm{\Theta }(\mathcal{P})& =\left(\sum _{i=1}^{\mathcal{J}-1},\angle ,-,{\tau }^{1,i},,,{\tau }^{0,i+1}\right)+\angle -{\tau }^{1,\mathcal{J}},{\tau }^{0,1}=\angle -{\tau }^{1,1},{\tau }^{0,\mathcal{J}}+\angle -{\tau }^{1,\mathcal{J}},{\tau }^{0,1}=\hfill \\ \hfill & =\angle {\tau }^{0,1},{\tau }^{0,\mathcal{J}}+\angle {\tau }^{0,\mathcal{J}},{\tau }^{0,1}=0\text{mod}2\pi ,\hfill \end{array}\end{array}$$

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,\mathrm{\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.

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)=\dots =\pi (z_k,i_k)$ with $k\le 4$ the vectors $d^{z_1,i_1},\dots ,d^{z_k,i_k}$ are distinct and they form angles that are multiples of $\frac{\pi }{2}$. In this section, if $\overrightarrow{a},\overrightarrow{b}$ are two planar vectors, we denote by $\angle \overrightarrow{a},\overrightarrow{b}\in [0,2\pi )$ the angle described by the counterclockwise rotation of $\overrightarrow{a}$ that yields $\overrightarrow{b}$.

Remark 7.1

Let $\mathcal{N}=(G,\mathrm{\Gamma })$ be a degenerate network of the type considered above, H a stratified straight subgraph of G composed of edges $E_1,\dots ,E_k$ and $\mathrm{\Sigma }:H\to {\mathbb{R}}^2$ such that $(H,\mathrm{\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{:=\mathrm{\Sigma }|}_{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,\mathrm{\Gamma })$ be a degenerate network and H a stratified straight subgraph of G composed of the edges $E_1,\dots ,E_k$. For every $(z,i)\in \{0,1\}\times \{1,\dots ,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,\dots ,k\}$ we want that $d^{z,i}\in \{(\pm 1,0),(0,\pm 1)\}$. We require then that for any i it holds

$$\begin{array}{c}\hfill \begin{array}{c}\hfill d^{0,i}=-d^{1,i}.\end{array}\end{array}$$ 7.1

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}}^{\prime }$ 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}}^{\prime }}$. Then $\angle a_{\mathcal{P}},b_{{\mathcal{P}}^{\prime }}\in \{\frac{\pi }{2},\pi ,\frac{3\pi }{2}\}$. Call ${\mathcal{P}}^{\prime \prime }$ the inverted path of ${\mathcal{P}}^{\prime }$ from $\pi (z,i)$ to $\pi (0,1)$. We can join the two paths $\mathcal{P}$ and ${\mathcal{P}}^{\prime \prime }$ and the resulting path is a cycle $\mathcal{Q}$ starting from (0, 1). Then it follows that $\mathrm{\Theta }(\mathcal{Q})\in \{\frac{\pi }{2},\pi ,\frac{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 $⪯$ 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⪯w$ if and only if there exists a path $\mathcal{P}:\{1,\dots ,\mathcal{J}\}\to \{0,1\}\times \{1,\dots ,N\}$ such that

$$\begin{array}{c}\hfill \begin{array}{cc}& \mathcal{P}(1)=(z_1,i_1),\mathcal{P}(\mathcal{J})=(z_{\mathcal{J}},i_{\mathcal{J}}),\text{with}v=\pi (z_1,i_1)\text{and}w=\pi (z_{\mathcal{J}},i_{\mathcal{J}}),\hfill \\ \hfill & d^{\mathcal{P}(i)}\ne (-1,0)\forall i=1,\dots ,\mathcal{J}-1,\hfill \end{array}\end{array}$$

Also, we say that $v\prec w$ if and only if $v⪯w$ and $w\nprec eqv$.

Roughly speaking $v⪯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

$$\begin{array}{c}\hfill \begin{array}{cc}& X(i_0):=\left\{w,\in ,V_H,|\pi ,(0,i_0),\prec ,w\right\},\hfill \\ \hfill & Y(i_0):=V_H\backslash X(i_0).\hfill \end{array}\end{array}$$ 7.2

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),\dots ,(z_k,i_k)\}$, then the vectors $d^{z_1,i_1},\dots ,d^{z_k,i_k}$ form angles equal to $\frac{n\pi }{2}$ for $n\in \{1,2,3\}$. Let $H\subset G$ be a connected stratified straight subgraph and denote by $(H,{\mathrm{\Sigma }}_0)$ the first stratum of H.

Suppose that for every $E_{i_0}\subset H\cap \text{Sing}(H,{\mathrm{\Sigma }}_0)$ there do not exist cycles $\mathcal{P}=(\mathcal{P}(1),\dots ,\mathcal{P}(\mathcal{J}))$ such that

$$\begin{array}{cc}& \mathcal{P}(1)=(z_0,i_0)\hfill \\ \hfill & d^{(z_0,i_0)}=(1,0)\hfill \\ \hfill & d^{\mathcal{P}(j)}\ne (-1,0)\forall j=2,\dots ,\mathcal{J}-1.\hfill \end{array}$$

Then H is straight.

Proof

Denote by $(H,{\mathrm{\Sigma }}_0)$ the first stratum of H, i.e. ${\mathrm{\Sigma }}_0:H\to {\mathbb{R}}^2$ defines a degenerate network, the regular curves of ${\mathrm{\Sigma }}_0$ are straight segments and at least one curve, say ${\sigma }_0^{i_0}:={\mathrm{\Sigma }}_0{|}_{E_{i_0}}$, is degenerate. We denote by ${\sigma }_0^i$ the curve ${\mathrm{\Sigma }}_0{|}_{E_i}$.

We want to prove that we can modify $(H,{\mathrm{\Sigma }}_0)$ into a new degenerate network $(H,{\tilde{\mathrm{\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 $⪯$ induced by this choice as given by Definition 7.3. Clearly $Y(1)\ne \mathrm{\varnothing }$, in fact $\pi (0,1)\nprec \pi (0,1)$ by definition. Also we have that $\pi (1,1)\in X(1)\ne \mathrm{\varnothing }$; indeed $\pi (0,1)⪯\pi (1,1)$, ${\sigma }_0^1$ is degenerate, and if by contradiction $\pi (1,1)⪯\pi (0,1)$ then there exists a path $\mathcal{P}$ of step $\mathcal{J}$ that for simplicity we denote by

$$\begin{array}{c}\hfill \begin{array}{cc}& \mathcal{P}(1)=(0,k_0),\hfill \\ \hfill & \mathcal{P}(j)=(0,j)\forall j=2,\dots ,\mathcal{J}-1,\hfill \\ \hfill & \mathcal{P}(\mathcal{J})=(0,1),\hfill \end{array}\end{array}$$

such that $\pi (0,k_0)=\pi (1,1)$ and $d^{0,j}\ne (-1,0)$ for any $j=k_0,2,\dots ,\mathcal{J}-1$. But since $d^{0,1}=(1,0)$, the cycle given by

$$\begin{array}{c}\hfill \begin{array}{cc}& \mathcal{R}(1)=(0,1),\hfill \\ \hfill & \mathcal{R}(j)=\mathcal{P}(j-1)\forall j=2,\dots ,\mathcal{J},\hfill \end{array}\end{array}$$

contradicts the hypothesis.

Now we construct ${\tilde{\mathrm{\Sigma }}}_0$. Let us first define such map on the set of vertices $V_H$ by setting

$$\begin{array}{c}\hfill {\tilde{\mathrm{\Sigma }}}_0(v)=\left\{\begin{array}{cc}{\mathrm{\Sigma }}_0(v)\hfill & \text{if}v\in Y(1),\hfill \\ {\mathrm{\Sigma }}_0(v)+(\epsilon ,0)\hfill & \text{if}v\in X(1),\hfill \end{array}\right)\end{array}$$

for some $\epsilon >0$. We need to check that we can extend ${\tilde{\mathrm{\Sigma }}}_0$ to the edges in a consistent way. We claim that for any edge $E_j$, if ${\tilde{\mathrm{\Sigma }}}_0^j(0)\ne {\tilde{\mathrm{\Sigma }}}_0^j(1)$, the images of its boundary points ${\tilde{\mathrm{\Sigma }}}_0^j(0),{\tilde{\mathrm{\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{\mathrm{\Sigma }}}_0$ is defined on every edge in the natural way by connecting with a straight segment the image through ${\tilde{\mathrm{\Sigma }}}_0$ of its endpoints. For $\epsilon$ small enough, all the regular straight segments of ${\mathrm{\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:

$$\begin{array}{c}\hfill \begin{array}{cc}& A(1)=\{E_i\text{edge}\text{of}H|\pi (0,i)\in X(1),\pi (1,i)\in X(1)\},\hfill \\ \hfill & B(1)=\{E_i\text{edge}\text{of}H|\pi (0,i)\notin X(1),\pi (1,i)\notin X(1)\},\hfill \\ \hfill & C(1)=\{E_i\text{edge}\text{of}H\}\backslash (A(1)\cup B(1)).\hfill \end{array}\end{array}$$

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{array}{c}\hfill {\tilde{\mathrm{\Sigma }}}_0(0)={\mathrm{\Sigma }}_0(0)\text{and}{\tilde{\mathrm{\Sigma }}}_0(1)={\mathrm{\Sigma }}_0(1),\end{array}$$

   or

   $$\begin{array}{c}\hfill {\tilde{\mathrm{\Sigma }}}_0(0)={\mathrm{\Sigma }}_0(0)+(\epsilon ,0)\text{and}{\tilde{\mathrm{\Sigma }}}_0(1)={\mathrm{\Sigma }}_0(1)+(\epsilon ,0).\end{array}$$

   If ${\mathrm{\Sigma }}_0(0)={\mathrm{\Sigma }}_0(1)$, that is ${\sigma }_0^j$ is degenerate, then ${\tilde{\mathrm{\Sigma }}}_0(0)={\tilde{\mathrm{\Sigma }}}_0(1)$ as well and ${\tilde{\sigma }}_0^j$ will be degenerate. If otherwise ${\mathrm{\Sigma }}_0(0)\ne {\mathrm{\Sigma }}_0(1)$, that is ${\sigma }_0^j$ is a regular straight segment, then there is $\alpha >0$ such that $d^{0,j}=\alpha ({\mathrm{\Sigma }}_0(1)-{\mathrm{\Sigma }}_0(0))$, and then $d^{0,j}=\alpha ({\tilde{\mathrm{\Sigma }}}_0(1)-{\tilde{\mathrm{\Sigma }}}_0(0))$ as well and a straight segment ${\tilde{\sigma }}_0$ satisfies the claim.
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{array}{c}\hfill {\tilde{\mathrm{\Sigma }}}_0(\pi (0,j))={\mathrm{\Sigma }}_0(\pi (0,j))\text{and}{\tilde{\mathrm{\Sigma }}}_0(\pi (1,j))={\mathrm{\Sigma }}_0(\pi (1,j))+(\epsilon ,0).\end{array}$$

   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)⪯\pi (0,j)⪯\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)⪯\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,\dots ,\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)⪯\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,\dots ,\mathcal{K}-1$, contradicting the hypothesis. But then we have that $\pi (0,j)\in X(1)\cap Y(1)=\mathrm{\varnothing }$, 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),\dots ,(z_k,i_k)\}$, then the vectors $d^{z_1,i_1},\dots ,d^{z_k,i_k}$ form angles equal to $\frac{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.

Fig. 10.

In the picture we have the image in ${\mathbb{R}}^2$ of a regular network $(G,\mathrm{\Gamma })$

Such graph G is stratified straight, in fact one can easily construct a sequence of maps ${\mathrm{\Gamma }}_n:G\to {\mathbb{R}}^2$ such that $(G,{\mathrm{\Gamma }}_n)$ is regular and ${\mathrm{\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

$$\begin{array}{c}\hfill H_0=G,H_1=E_1\cup E_3.\end{array}$$

A possible immersion ${\mathrm{\Sigma }}_1$ of the stratum $H_1$ is given by two disjoint and horizontal straight segments. In the couple $(H_0,{\mathrm{\Sigma }}_0)$, the immersion ${\mathrm{\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.

Side Remarks

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,\mathrm{\Gamma })$ with $\mathrm{\Gamma }:G\to S$. Given a curve $\gamma :I\to S$, the geodesic curvature is given by ${\overrightarrow{\kappa }}_g(t)={\pi }_{T_{\gamma (t)}S}\overrightarrow{\kappa }(t)$, where $\overrightarrow{\kappa }(t)$ is the standard curvature of $\gamma$ seen as a curve in ${\mathbb{R}}^3$ and $T_{x}S$ is the tangent plane to S at the point $x\in S$. Therefore we define the general elastic energy of the curve $\gamma$ as

$$\begin{array}{c}\hfill {\mathcal{E}}_{\alpha ,\beta }(\gamma ):=\alpha {\int }_{\gamma }{|{\overrightarrow{\kappa }}_g|}^2\mathrm{d}s+\beta L(\gamma ).\end{array}$$ 8.1

Observe that, since the normal component of the curvature vector $\overrightarrow{\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 $\overrightarrow{\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 $\mathrm{\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 $\phi :U\to {\mathbb{R}}^2$ at p such that $\phi$ is isothermal, i.e., the metric tensor g of S can be expressed as $g_{\mathit{ij}}={\lambda }^2{\delta }_{\mathit{ij}}$ on U in the chart $\phi$. In particular we have that $\phi$ is a conformal diffeomorphism with its image and its differential preserves angles between tangent vectors. Hence we can construct immersions of $H_0$ in $\phi (U)$ exactly as in Proposition 4.2 and then we get the desired recovery sequence by applying ${\phi }^{-1}$.

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 $\tilde{\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

$$\begin{array}{c}\hfill inf\left\{\mathcal{W}(\mathcal{N})|\mathcal{N}=(G,\mathrm{\Gamma })\in ,{\mathcal{C}}_{\mathrm{Reg}},,\text{with},,\ell ,({\mathcal{N}}^1),,,\dots ,\ell ,({\mathcal{N}}^N),,\text{fixed}\right\}.\end{array}$$

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 }_n^i$. 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 }_n^i$ converges to a regular curve ${\gamma }_{\infty }^i$ 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.

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)]\to {\mathbb{R}}^2$. We denote by s the arclength parameter of ${\gamma }^i$. We recall that ${\partial }_s\gamma =\tau$ and ${\partial }_s\tau =\overrightarrow{k}$. For sake of notation we introduce the operator ${\partial }_s^{\perp }$ that acts on a vector field $\phi$ giving the normal component of ${\partial }_s\phi$ along the curve $\gamma$, that is

$$\begin{array}{c}\hfill {\partial }_s^{\perp }\phi ={\partial }_s\phi -〈{\partial }_s,\phi ,,,{\partial }_s,\gamma 〉{\partial }_s\gamma .\end{array}$$

Similarly we call ${\partial }_s^{\Vert }\phi :=〈{\partial }_s,\phi ,,,{\partial }_s,\gamma 〉{\partial }_s\gamma =〈{\partial }_s,\phi ,,,\tau 〉\tau$. In ${\mathbb{R}}^2$ it holds that ${\partial }_s^{\perp }\phi =〈{\partial }_s,\phi ,,,\nu 〉\nu$, where $\nu$ is the counterclockwise rotation of ${\partial }_s\gamma$ by an angle equal to $\frac{\pi }{2}$.

We compute a “regular” variation ${\mathcal{N}}_{\epsilon }$ of $\mathcal{N}$. Each curve of $\mathcal{N}$ is parametrized by arclength by ${\gamma }^i$. Let us consider $\epsilon \in \mathbb{R}$ and smooth functions ${\psi }^i:[0,\ell ({\gamma }^i)]\to {\mathbb{R}}^2$. This defines the variation ${\gamma }_{\epsilon }^i:[0,\ell ({\gamma }^i)]\to {\mathbb{R}}^2$ of a curve ${\gamma }^i$ by setting ${\gamma }_{\epsilon }^i:={\gamma }^i+\epsilon {\psi }^i$. Observe that the variation ${\gamma }_{\epsilon }^i$ is not necessarily parametrized by arclength. However, for $\epsilon \in (-{\epsilon }_0,{\epsilon }_0)$ with ${\epsilon }_0>0$ sufficiently small, ${\gamma }_{\epsilon }^i$ is a regular curve with tangent vector ${\tau }_{\epsilon }^i=\frac{{\partial }_s{\gamma }^i+\epsilon {\partial }_s{\psi }^i}{|{\partial }_s{\gamma }^i+\epsilon {\partial }_s{\psi }^i|}$.

Consider a junction of order m of $\mathcal{N}$, so that

$$\begin{array}{c}\hfill {\gamma }^{i_1}(z_1)=\dots ={\gamma }^{i_m}(z_m),\end{array}$$

with $(z_1,i_1),\dots ,(z_m,i_m)\in \{0,\ell ({\gamma }^{i_1}),\dots ,\ell ({\gamma }^{i_m})\}\times \{1,\dots ,N\}$ all distinct. The scalar product of unit tangent vectors is given by

$$\begin{array}{c}\hfill 〈{\tau }^{i_1},(z_1),,,{\tau }^{i_2},(z_2)〉=c^{1,2},\dots ,〈{\tau }^{i_{m-1}},(z_{m-1}),,,{\tau }^{i_m},(z_m)〉=c^{m-1,m}.\end{array}$$

To generate admissible competitors for the Problem 2.13 for any $\epsilon$ small enough, we need to require that

$$\begin{array}{c}\hfill {\gamma }_{\epsilon }^{i_1}(z_1)=\dots ={\gamma }_{\epsilon }^{i_m}(z_m),\end{array}$$

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

$$\begin{array}{c}\hfill \frac{\mathrm{d}}{\mathrm{d}\epsilon }〈{\tau }_{\epsilon }^i,(z),,,{\tau }_{\epsilon }^j,(w)〉=0,\end{array}$$

for every $\epsilon \in (-{\epsilon }_0,{\epsilon }_0)$.

First this implies that the variation fields ${\psi }^i$ satisfy that

$$\begin{array}{c}\hfill {\psi }^{i_1}(z_1)=\dots ={\psi }^{i_m}(z_m).\end{array}$$ A.1

Secondly, writing

$$\begin{array}{cc}\hfill {\partial }_s{\psi }^i={\partial }_s^{\perp }{\psi }^i+{\partial }_s^{\Vert }{\psi }^i=& 〈{\partial }_s,{\psi }^i,,,{\nu }^i〉{\nu }^i+〈{\partial }_s,{\psi }^i,,,{\tau }^i〉{\tau }^i\hfill \\ \hfill =:& {\overline{\psi }}_s^i{\nu }^i+{\tilde{\psi }}_s^i{\tau }^i,\hfill \end{array}$$

a direct calculation yields

$$\begin{array}{cc}\hfill 0& =\frac{\mathrm{d}}{\mathrm{d}\epsilon }〈{\tau }_{\epsilon }^i,(z),,,{\tau }_{\epsilon }^j,(w)〉=〈\frac{{\partial }_s{\psi }^i-⟨{\partial }_s{\psi }^i,{\tau }_{\epsilon }^i⟩{\tau }_{\epsilon }^i}{|{\partial }_s{\gamma }^i+\epsilon {\partial }_s{\psi }^i|},{|}_z,,,{\tau }_{\epsilon }^j,(w)〉\hfill \\ \hfill & +〈{\tau }_{\epsilon }^i,(z),,,\frac{{\partial }_s{\psi }^i-⟨{\partial }_s{\psi }^i,{\tau }_{\epsilon }^i⟩{\tau }_{\epsilon }^i}{|{\partial }_s{\gamma }^i+\epsilon {\partial }_s{\psi }^i|},{|}_w〉.\hfill \end{array}$$

Evaluating at $\epsilon =0$ we get

$$\begin{array}{cc}\hfill 0& =〈{\partial }_s^{\perp },{\psi }^i,(z),,,{\tau }^j,(w)〉+〈{\tau }^i,(z),,,{\partial }_s^{\perp },{\psi }^j,(w)〉\hfill \\ \hfill & ={\overline{\psi }}_s^i(z)〈{\nu }^i,(z),,,{\tau }^j,(w)〉+{\overline{\psi }}_s^j(w)〈{\tau }^i,(z),,,{\nu }^j,(w)〉\hfill \\ \hfill & ={\overline{\psi }}_s^i(z)〈{\nu }^i,(z),,,{\tau }^j,(w)〉-{\overline{\psi }}_s^j(w)〈{\nu }^i,(z),,,{\tau }^j,(w)〉.\hfill \end{array}$$

Therefore as a second requirement on the fields ${\psi }^i$ we impose that

$$\begin{array}{c}\hfill {\overline{\psi }}_s^{i_1}(z_1)=\dots ={\overline{\psi }}_s^{i_m}(z_m).\end{array}$$ A.2

Definition A.1

Consider a regular network $\mathcal{N}=(G,\mathrm{\Gamma })$ composed of the curves ${\gamma }^i$ parametrized by arclength with $i\in \{1,\dots ,N\}$, $\epsilon \in \mathbb{R}$ and smooth functions ${\psi }^i:[0,\ell ({\gamma }^i)]\to {\mathbb{R}}^2$. We say that ${\mathcal{N}}_{\epsilon }$ composed of the curves ${\gamma }_{\epsilon }^i={\gamma }^i+\epsilon {\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,\mathrm{\Gamma })$ is a critical point for the functional $\mathcal{E}$ if for every regular variation ${\mathcal{N}}_{\epsilon }$ of $\mathcal{N}$ it holds

$$\begin{array}{c}\hfill \frac{\mathrm{d}}{\mathrm{d}\epsilon }\mathcal{E}{({\mathcal{N}}_{\epsilon })}_{|\epsilon =0}=0.\end{array}$$

We recall that the oriented curvature of a planar curve $\gamma$ is defined as the scalar k such that $\overrightarrow{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,\mathrm{\Gamma })$ be a critical point for $\mathcal{E}$. Then the arclength parametrization ${\gamma }^i:[0,\ell ({\gamma }^i)]\to {\mathbb{R}}^2$ of any curve of $\mathcal{N}$ is real analytic and satisfies the equation

$$\begin{array}{c}\hfill 2{({\partial }_s^{\perp })}^2{\overrightarrow{k}}^i+{|{\overrightarrow{k}}^i|}^2{\overrightarrow{k}}^i-{\overrightarrow{k}}^i=0\text{on}(0,\ell ({\gamma }^i)),\end{array}$$ A.3

or, equivalently, in terms of the oriented curvature

$$\begin{array}{c}\hfill 2{\partial }_s^2{k}^i+{\left(k^i\right)}^3-k^i=0\text{on}(0,\ell ({\gamma }^i)).\end{array}$$

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

$$\begin{array}{cc}& \sum _{\begin{array}{c}(z_j,i_j)\in {\pi }^{-1}(p):\\ z_j=\ell ({\gamma }^{i_j})\end{array}}{k}^{i_j}(\ell ({\gamma }^{i_j}))\hfill \\ \hfill & =\sum _{\begin{array}{c}(z_j,i_j)\in {\pi }^{-1}(p):\\ z_j=0\end{array}}{k}^{i_j}(0),\hfill \end{array}$$ A.4

$$\begin{array}{cc}& \sum _{\begin{array}{c}(z_j,i_j)\in {\pi }^{-1}(p):\\ z_j=\ell ({\gamma }^{i_j})\end{array}}[2{\partial }_s^{\perp }{\overrightarrow{k}}^{i_j}+{(k^{i_j})}^2{\tau }^{i_j}-{\tau }^{i_j}]{|}_{\ell ({\gamma }^{i_j})}\hfill \\ & =\sum _{\begin{array}{c}(z_j,i_j)\in {\pi }^{-1}(p):\\ z_j=0\end{array}}[2{\partial }_s^{\perp }{\overrightarrow{k}}^{i_j}+{(k^{i_j})}^2{\tau }^{i_j}-{\tau }^{i_j}]{|}_0.\hfill \end{array}$$ A.5

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

$$\begin{array}{cc}\hfill {\tilde{k}}^j(\ell ({\gamma }^j))=-k^j(0),& {\tilde{k}}^j(0)=-k^j(\ell ({\gamma }^j)),\hfill \\ \hfill [2{\partial }_{{\tilde{s}}^j}^{\perp }{\tilde{\overrightarrow{k}}}^j+{({\tilde{k}}^j)}^2{\tilde{\tau }}^j-{\tilde{\tau }}^j]{|}_{\ell ({\gamma }^j)}& =-[2{\partial }_{s^j}^{\perp }{\overrightarrow{k}}^j+{(k^j)}^2{\tau }^j-{\tau }^j]{|}_0,\hfill \\ \hfill [2{\partial }_{{\tilde{s}}^j}^{\perp }{\overrightarrow{\tilde{k}}}^j+{({\tilde{k}}^j)}^2{\tilde{\tau }}^j-{\tilde{\tau }}^j]{|}_0& =-[2{\partial }_{s^j}^{\perp }{\overrightarrow{k}}^j+{(k^j)}^2{\tau }^j-{\tau }^j]{|}_{\ell ({\gamma }^j)},\hfill \end{array}$$

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,\dots ,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

$$\begin{array}{cc}\hfill \frac{\mathrm{d}}{\mathrm{d}\epsilon }\mathcal{E}({\mathcal{N}}_{\epsilon }){|}_{\epsilon =0}& =\sum _{j=1}^m{\int }_{{\gamma }^{i_j}}〈2,{({\partial }_s^{\perp })}^2,{\overrightarrow{k}}^{i_j},+,{|{\overrightarrow{k}}^{i_j}|}^2,{\overrightarrow{k}}^{i_j},-,{\overrightarrow{k}}^{i_j},,,{\psi }^{i_j}〉\mathrm{d}s\hfill \\ \hfill & +\sum _{j=1}^m\left[2,{\left(⟨,{\overrightarrow{k}}^{i_j},,,{\partial }_s,{\psi }^{i_j},⟩\right|}_0^{\ell ({\gamma }^{i_j})}\right)\hfill \\ \hfill & \left(+,{\left(⟨,-,2,{\partial }_s^{\perp },{\overrightarrow{k}}^{i_j},-,|,{\overrightarrow{k}}^{i_j},{|}^2,{\tau }^{i_j},+,{\tau }^{i_j},,,{\psi }^{i_j},⟩\right|}_0^{\ell ({\gamma }^{i_j})}\right]=0.\hfill \end{array}$$

This immediately leads to the interior equations (A.3).

In order to get the boundary conditions, we can first set

$$\begin{array}{c}\hfill {\psi }^{i_j}(0)={\psi }^{i_j}(\ell ({\gamma }^{i_j}))=0,\end{array}$$

so that

$$\begin{array}{c}\hfill \sum _{j=1}^m{\overline{\psi }}_s^{i_j}{k}^{i_j}{|}_0^{\ell ({\gamma }^{i_j})}=0,\end{array}$$

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

$$\begin{array}{c}\hfill k^1(0)=\sum _{\begin{array}{c}(z_j,i_j)\in {\pi }^{-1}(p):\\ z_j=\ell ({\gamma }^{i_j})\end{array}}{k}^{i_j}(\ell ({\gamma }^{i_j}))-\sum _{\begin{array}{c}(z_j,i_j)\in {\pi }^{-1}(p):\\ z_j=0,j\ne 1\end{array}}{k}^{i_j}(0)=:C_1.\end{array}$$

While, since $⟨{\partial }_s^{\perp }{\overrightarrow{k}}^1(0),{\nu }^1(0)⟩={\partial }_s{k}^1(0)$, by multiplying the second boundary condition equation by ${\nu }^1(0)$ we can write that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {\partial }_s{k}^1(0)& =\frac{1}{2}\langle \sum _{\begin{array}{c}(z_j,i_j)\in {\pi }^{-1}(p):\\ z_j=\ell ({\gamma }^{i_j})\end{array}}[2{\partial }_s^{\perp }{\overrightarrow{k}}^{i_j}+{(k^{i_j})}^2{\tau }^{i_j}-{\tau }^{i_j}]{|}_{\ell ({\gamma }^{i_j})}+\hfill \\ & -\sum _{\begin{array}{c}(z_j,i_j)\in {\pi }^{-1}(p):\\ z_j=0,j\ne 1\end{array}}[2{\partial }_s^{\perp }{\overrightarrow{k}}^{i_j}+{(k^{i_j})}^2{\tau }^{i_j}-{\tau }^{i_j}]{|}_0,{\nu }^1(0)\rangle =:C_2.\hfill \end{array}\end{array}$$

Therefore a direct application of the Cauchy-Kovaleskaya Theorem (see for instance [12, p. 240]) on the Cauchy problem

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}2{\partial }_s^2{k}^1+{(k^1)}^3-k^1=0\hfill & \text{on}[0,\epsilon ),\hfill \\ k^1(0)=C_1,\hfill \\ {\partial }_s{k}^1(0)=C_2,\hfill \end{array}\right)\end{array}$$

gives that $k^1$ is real analytic on some interval $[0,\epsilon )$. Analogously, the same holds on $(\ell ({\gamma }^1)-\epsilon ,\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

$$\begin{array}{c}\hfill {\partial }_s{\tau }^1=(-sin(\theta ),cos(\theta )){\partial }_s\theta ,\end{array}$$

so that

$$\begin{array}{c}\hfill k^1(s)={\partial }_s\theta (s).\end{array}$$

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$

Funding

Open access funding provided by Università di Pisa within the CRUI-CARE Agreement.