Discretizations of Surfaces with Constant Ratio of Principal Curvatures
 187 Downloads
Abstract
Motivated by applications in architecture, we study surfaces with a constant ratio of principal curvatures. These surfaces are a natural generalization of minimal surfaces, and can be constructed by applying a Christoffeltype transformation to appropriate spherical curvature line parametrizations, both in the smooth setting and in a discretization with principal nets. We link this Christoffeltype transformation to the discrete curvature theory for parallel meshes and characterize nets that admit these transformations. In the case of negative curvature, we also present a discretization of asymptotic nets. This case is suitable for design and computation, and forms the basis for a special type of architectural support structures, which can be built by bending flat rectangular strips of inextensible material, such as sheet metal.
Keywords
Discrete differential geometry Weingarten surface Christoffeltype transformation Conjugate net Support structure Bending rectangular strips Asymptotic netMathematics Subject Classification
52B70 53A05 53A401 Introduction
We are interested in a generalization of these structures: structures formed by developable strips with a rectangular development, orthogonal to a base surface S, and the node angles should be constant, but not necessarily right. Hence, the base surface S must have a constant angle between asymptotic directions, and therefore, must have negative Gaussian curvature \(K <0\) and a constant ratio \(\kappa _1/\kappa _2\) of principal curvatures.
Another problem in architectural geometry is the coverage of a freeform surface with panels [6]. It is an advantage if multiple curved panels can be built with the same mold. A surface with constant \(\kappa _1/\kappa _2\) has just a oneparameter family of secondorder surface elements, and thus, there is the hope that one can find a panelization which uses only a rather small number of molds. Here, also the case \(K>0\) is of interest.
1.1 Previous Work
Despite the simple definition, there is surprisingly little known about surfaces with constant \(\kappa _1/\kappa _2\), except for \(\kappa _1/\kappa _2 = \pm 1\), i.e., the sphere and minimal surfaces.
Another known case is an ideal Mylar balloon (see e.g., [14, 15]) which is obtained by gluing two equally sized discs of flexible, but inextensible, foil along their common border, and blowing it up. This particular surface of revolution has a constant ratio of principal curvatures of \(\kappa _1/\kappa _2 = 2\). Further surfaces of revolution of that sort, with positive and negative ratios of principal curvatures have appeared in other contexts, e.g., in [9, 11].
Surfaces with a relation between the principal curvatures (where the relation is independent of the surface point) are called Weingarten surfaces (Sect. 2.1). A particular subclass, commonly denoted by ‘linear’ Weingarten surfaces, consists of those surfaces with an affine linear relation between the Gauss and mean curvatures. These type of linear Weingarten surfaces have been discretized (see, e.g., [4] and references therein), but note that linearity in the Gauss and mean curvatures does not imply linearity in the principal curvatures. Consequently, the surfaces we are interested in are not linear Weingarten surfaces in that sense.
Surfaces f(u, v) with a constant angle between asymptotic lines and with the property that \(\Vert f_u\Vert = \Vert f_v\Vert \), which are called generalized Chebyshev nets, have been investigated in [18, 19, 22]. Stäckel [22] shows that with the restriction \(\Vert f_u\Vert = \Vert f_v\Vert \) surfaces with a constant ratio of principal curvatures are just surfaces of revolution.
In architectural geometry, basic differential geometric and computational aspects of curved support structures formed by developable strips, have been studied by Tang et al. [23].
1.2 Contributions and Overview
Since there is little known about smooth surfaces with a constant ratio of principal curvatures, we first study those in Sect. 2. The focus is on a novel Christoffeltype transformation which generates these surfaces from appropriate spherical curvatureline parametrizations.
In Sect. 3, we present a discretization of that smooth Christoffeltype transformation in the setting of discrete conjugate nets, and characterize those nets which admit this type of transformation. We apply these transformations to spherical principal nets to obtain discretized nets with a constant ratio of principal curvatures in an appropriate sense. We also show that our discrete nets fulfill the characterizing equation for surfaces with a constant ratio of principal curvatures, in terms of a particular discrete curvature theory.
In Sect. 4, we turn to a discretization based on asymptotic nets which fits well into a recently proposed optimization framework for exploring the solution space of underdetermined systems of atmost quadratic constraints [24]. We also show how to handle the available degrees of freedom, or in other words, to generate appropriate input for design. Finally, we provide a few illustrative examples for support structures with a constant node angle.
2 Smooth Surfaces
Before we start to investigate discretizations of surfaces with a constant ratio of principal curvatures, we analyze properties of the corresponding smooth surfaces, some of which we will discretize later.
2.1 Weingarten Surfaces
2.2 A ChristoffelType Transformation
In this section, we would like to study a particular type of transformation of conjugate nets \(f:{\mathbb {R}}^2 \rightarrow {\mathbb {R}}^3\) independently from the theory of surfaces with a constant ratio of principal curvatures. In Sect. 2.3, we will bridge to our main topic and make a connection to the famous Christoffel transformation [5].
First, let us recall what conjugacy means. Two tangent vectors a, b in the tangent plane \(T_pf\) are said to be conjugate, if they are orthogonal with respect to the second fundamental form. Consequently, if \(a = a_1 v_1 + a_2 v_2\) and \(b = b_1 v_1 + b_2 v_2\) are expressed as a linear combination of the principal directions \(v_1, v_2\), then conjugacy means \((a_1, a_2) \bigl ( {\begin{matrix} \kappa _1 &{} 0\\ 0 &{} \kappa _2 \end{matrix}} \bigr ) \bigl ( {\begin{matrix} b_1\\ b_2 \end{matrix}} \bigr ) = 0\). The map which maps a tangent at p in the tangent plane \(T_p f\) to its conjugate tangent is an involutive projective automorphism of the line pencil through p, the involution of conjugate lines.
A conjugate net\(f:{\mathbb {R}}^2 \rightarrow {\mathbb {R}}^3\) is then a parametrization of a surface where, at each point, the tangents to the parameter lines are conjugate. This is equivalent to the mixed derivative being orthogonal to the surface normal, i.e., \(f_{u, v} \perp n\).
Let us consider two conjugate nets \(f, f^*:{\mathbb {R}}^2 \rightarrow {\mathbb {R}}^3\) and \(\alpha , \beta \in {\mathbb {R}}\setminus \{0\}\). The two conjugate nets are said to be parallel or related by a Combescure transformation if, at each point, the partial derivatives are parallel, i.e., \(f_u \parallel f^*_u\) and \(f_v \parallel f^*_v\).
Theorem 2.1
Proof
The considerations above imply that (6) is necessary for the existence of \(f^*\).
On the other hand, if (6) holds we can define \(\lambda \) in either way of the two equal representations (5). Inserting \(\lambda \) into (4) implies that the integrability condition for \(f^*\) is fulfilled.
As for uniqueness (up to translation and scaling) of \(f^*\) for given f, \(\alpha \), and \(\beta \), we first look at its definition, (3). Only a change in \(\lambda \) can elicit a change in \(f^*\), so we have to check how much freedom we have for the choice of \(\lambda \) once we are given f, \(\alpha \), and \(\beta \). Consequently, (5) implies that we have to check the freedom to choose g(u) and h(v). Equation (6) implies that g(u) and h(v) can change in such a way that \(e^{g(u) + h(v)}\) does not change, i.e., adding to g(u) a constant c and at the same time subtracting the same constant c from h(v), so that \(g(u) \rightarrow g(u) + c\) and \(h(v) \rightarrow h(v)  c\). This change makes it so that \(\lambda \) is multiplied by \(e^{c\frac{\alpha  \beta }{2 \alpha \beta }}\), and therefore, that \(f^*\) is scaled by \(e^{c \frac{\alpha \beta }{\alpha  \beta }}\).
Remark 2.2
Definition 2.3
We call two curvatureline nets f and \(f^*\) related by a Christoffeltype transformation if they are related by (3).
Remark 2.4
Remark 2.5
Remark 2.6
2.3 Surfaces from the Gauss Map
Christoffel [5] constructs minimal surfaces by applying a transformation (which is now called the Christoffel transformation) to an isothermic parametrization of the unit sphere, which is then also the Gauss map of the minimal surface.
The Christoffeltype transformation described in Sect. 2.2 is a generalization of Christoffel’s original transformation, and agrees with the Christoffel transformation in a special case (when \(\alpha + \beta = 0\)).
With the following theorem, we obtain surfaces with a constant ratio of principal curvatures by applying this Christoffeltype transformation (3) to spherical curvatureline nets fulfilling (6).
Theorem 2.7
Proof
Remark 2.8
In relative differential geometry (cf. e.g. [21]), the principal curvatures are not measured with respect to the unit sphere, as their Gauss map, but rather with a different sufficientlyregular surface instead. However, the curvature theory for surfaces in relative differential geometry is defined in such a way that Rodrigues’ formula still holds. This implies that Theorem 2.7 still gives us surfaces with a constant ratio of principal curvatures in the context of relative differential geometry, where n need not be on the unit sphere.
2.4 In the Projective Model of Möbius Geometry
Proposition 2.9
Proof
Note that, even though we can express the ratio of the principal curvatures in terms of the crossratio, it does not imply that the ratio of the principal curvatures is Möbius invariant.
2.5 Pencils of Conjugate Nets
In this section, we primarily show that surfaces with a constant ratio of principal curvatures are characterized by the existence of a particular pencil of conjugate nets. We briefly recalled the notion of conjugate tangents and conjugate nets at the beginning of Sect. 2.2.
Theorem 2.10
 (a)
The net f has a constant ratio of principal curvatures.
 (b)
Let \(\{c_t\}\) be a family of curves which intersect the curvaturelines at a constant angle, and let \(\{d_t\}\) be the family of curves conjugate to \(\{c_t\}\) (which exists; see e.g. [7]). Then, the curves \(\{d_t\}\) also intersect the curvaturelines at a constant angle (Fig. 2, left).
 (c)
There is a pencil of conjugate nets (cf. [13]), such that each net has a constant intersection angle with their parameter lines, and the parameter lines of any two nets also intersect each other at a constant angle.
 (d)
There exist two conjugate nets on the surface, such that, at any two different points, the corresponding all angles between the four tangents of their parameter lines are the same (see Fig. 2, right).
Proof
 (a) \(\Rightarrow \) (b):

Let \(a = a_1 v_1 + a_2 v_2\) be a tangent vector of a curve from \(c_t\) at some point and expressed in the basis of the principal directions \(v_1, v_2\). By assumption, each tangent vector forms a constant angle with the principal directions, which implies \(a_1 : a_2 = \mathrm{const}\). Since, to each tangent line in the tangent plane, there is a unique conjugate tangent with direction \(b = b_1 v_1 + b_2 v_2\), fulfilling \((a_1, a_2) \big ( {\begin{matrix} \kappa _1 &{} 0\\ 0 &{} \kappa _2 \end{matrix}} \big ) \bigl ( {\begin{matrix} b_1\\ b_2 \end{matrix}} \bigr ) = 0\) or equivalently \((a_1, a_2) \big ( {\begin{matrix} \beta &{} 0\\ 0 &{} \alpha \end{matrix}} \big ) \bigl ( {\begin{matrix} b_1\\ b_2 \end{matrix}} \bigr ) = 0\), we also have \(b_1 : b_2 = \mathrm{const}\).
 (b) \(\Rightarrow \) (c):

For each angle \(\varphi \in [0, \pi )\), there is a family of curves \(\{c_t^\varphi \}\) on the surface which intersect one family of principal lines at the given angle \(\varphi \). The pencil we are looking for in (c), is formed by all such families \(\{c_t^\varphi \}\) together with their corresponding families of conjugate curves \(\{d^\varphi _t\}\) (which are given by (b)). The angle \(\varphi \) is the parameter of the pencil. The intersection angles between \(c^\varphi _t\) and \(d^\varphi _t\) can be decomposed as the sum of the angles they form with the principal directions, which are constant by assumption.
(d) is just a special case of (c): take any two conjugate nets of the pencil. Then, each net has a constant intersection angle with their parameter lines, and the parameter lines of any two nets also intersect each other at a constant angle. Consequently, at any two different points, the ‘stars’ consisting of the four tangents to the four parameter lines are congruent to each other.
 (d) \(\Rightarrow \) (a):

The involution of conjugate lines is determined by two pairs of lines and their image lines. Since given the two pairs of conjugate tangents are the same at each point by assumption, so is the involution of conjugate lines. Therefore, the second fundamental forms in the basis of the principal directions are multiples of each other, and consequently, \(\kappa _1 : \kappa _2 = \mathrm{const}\) everywhere. \(\square \)
3 Discretization with Conjugate Nets
In this section, we propose a discretization of smooth surfaces with a constant ratio of principal curvatures. Our discretization idea is not to “wish” for a constant ratio of a discretization of the principal curvatures of the mesh (which might be worthwhile studying in a suitable setting). Rather, we develop a discrete analogue of the Christoffeltype transformation (3), for which we show properties similar to those of the smooth case (Sect. 2.2). By doing that, we obtain a generalization of the wellknown discrete Christoffel duality (cf. [2, 3]). In Sect. 3.4, we will show that the characterizing (2) for the smooth case also holds for our discretization.
For the entirety of this section, the objects, i.e., the discrete surfaces, are represented by discrete conjugate nets, which are nets with planar quadrilateral faces. Later in Sect. 4, we will consider a discretization in a different setting, namely that of asymptotic nets.
3.1 A Discrete ChristoffelType Transformation
A discrete conjugate net \({\mathscr {M}}\) is a mesh with \({\mathbb {Z}}^2\)combinatorics, where each face is a planar quadrilateral in \({\mathbb {R}}^3\). Two conjugate nets \({\mathscr {M}}\) and \({\mathscr {M}}^*\) (with the same combinatorics) are said to be parallel or related by a discrete Combescure transformation, if corresponding edges are parallel. In that case, a transformation of \({\mathscr {M}}\) into \({\mathscr {M}}^*\) is called a discrete Combescure transformation. To study a particular Combescure transformation, we first introduce some notions on quadrilaterals, the basic building block of our meshes.
We will frequently use the first forward difference operator, which is very commonly denoted by \(\Delta \), i.e., \(\Delta f_i = f_{i + 1}  f_i\).
Proposition 3.1
Proof
Remark 3.2
Observe the similarity of (10) to that of the smooth Christoffeltype transformation (3): the differentials are replaced by the difference, \(\partial _u, \partial _v \leftrightarrow \Delta \), and the ‘secondorder terms’ in the denominator \(\lambda ^2 \leftrightarrow a_i a_{i + 1}, \sqrt{a_1 a_2 a_3 a_4}\).
Definition 3.3
We call two discrete conjugate nets \({\mathscr {M}}\) and \({\mathscr {M}}^*\) with the same combinatorics related by a discrete Christoffeltype transformation if all corresponding pairs of faces \((f, f^*)\) are related by (10), wherein we allow for scalings \(\gamma _f\) of each face f.
Note that so far, we have only applied transformation (10) to one single quadrilateral, and it cannot be expected that an entire mesh can be transformed that way. In analogy to the smooth case, where we have an integrability condition (6) for the existence of a transformed surface \(f^*\), we have to expect a discrete integrability condition in our discrete setting as well. We will provide such a condition in Theorem 3.10.
A series of transformed quadrilaterals \(f^*\) from f using (10) for different \(\zeta :=\beta : \alpha \) (from \(\zeta = 1.5\) to \(\zeta = 1.5\) with step size \(0.5\)) is, up to individual scaling, illustrated by Fig. 4.
Proposition 3.4
Proof
Lemma 3.5
Proof
Lemma 3.6
Proof
The following proposition is the discrete analogue to Remark 2.4, i.e., we show that after applying the \({}^*\)transformation twice, we obtain the original quadrilateral up to scaling and translation.
Proposition 3.7
Proof
3.2 Characterization of Nets \({\mathscr {M}}\) Which Allow for ChristoffelType Transformations
In this section, we discuss the conditions for a net \({\mathscr {M}}\) so that there exists a Christoffeltype transform \({\mathscr {M}}^*\) (see Definition 3.3). We know how to construct a quadrilateral \(f^*\) from a given quadrilateral f via (10), but we do not know if all transformed quadrilaterals will fit together and form a mesh. We allow for different scalings of each individual transformed face \(f^*\), but for example, as we go around applying (10) to the faces around a vertex, we have no guarantee that the transformed faces will close up, and consequently, generate a net.
In the following two sections, we derive a discrete analogue of the smooth integrability condition (6). We describe an algebraic and a geometric characterization of such nets \({\mathscr {M}}\) which allow for a discrete Christoffeltype transformation.
3.2.1 Algebraic Characterization
In this section, we will characterize meshes \({\mathscr {M}}\) which allow for a discrete Christoffeltype transformation (10). This condition is local, and it is defined on the four faces around a vertex. We call the four faces a, b, c, d (see Fig. 5, left). In (9), we denoted by \(a_i\) the oriented distances from the intersection point of the diagonals to the vertices; here, we do the same but for each of the four quadrilaterals, denoting accordingly the distances by \(a_i\), \(b_i\), \(c_i\), \(d_i\).
Lemma 3.8
Proof
Remark 3.9
With the following theorem we show how q can be used to locally characterize nets \({\mathscr {M}}\) which can be transformed into a mesh \({\mathscr {M}}^*\) via the Christoffeltype transformation (10).
Theorem 3.10
Proof
From Proposition 3.7, we know that \(f^{**}\) is similar to f, i.e., the transform \({\mathscr {M}}^{**}\) of the transform \({\mathscr {M}}^*\) is similar to the original \({\mathscr {M}}\). In particular, we obtain that \({\mathscr {M}}^*\) fulfills the same type of compatibility condition as \({\mathscr {M}}\) in Theorem 3.10 except that \((\alpha , \beta )\) is replaced by \((1/\alpha , 1/\beta )\).
Corollary 3.11
3.2.2 Geometric Characterization
Theorem 3.12
Let \({\mathscr {M}}\) be a planar quadrilateral net. Then the three lines \((t^a_{42} t^b_{13})\), \((t^c_{24} t^d_{31})\) and \((f^a_4 f^b_3)\) intersect in one point if and only if there exists a discrete Christoffeltype transform \({\mathscr {M}}^*\) of \({\mathscr {M}}\) (see Fig. 5, center and right). And the analogous property holds for the three lines \((t^a_{42} t^d_{31})\), \((t^b_{13} t^c_{24})\) and \((f^a_2 f^d_3)\). Note, that \(f^a_2 = f^b_1\), etc.
Proof
3.3 Circular Nets with a Constant Ratio of Principal Curvatures
Proposition 3.13
Proof
Remark 3.14
In the case of a circular quadrilateral, \(f^*\) can be easily constructed from f by placing the first edge \(f^*_1  f^*_2 \parallel f_1  f_2\) and then drawing the diagonals parallel to the vectors as described by Proposition 3.13, which both form the same angle with \(e_i\) (see Fig. 6, right). Then parallelly translate the remaining edges, and intersect with the existing lines as indicated by Fig. 6, right.
3.4 Discrete Gaussian and Mean Curvature
In analogy to the smooth setting, we will connect the discrete Christoffeltype transformation to discrete surfaces with a constant ratio of principal curvatures.
As mentioned before, we will obtain discrete surfaces with a constant ratio of principal curvatures not by considering discrete principal curvatures (like e.g. from the ‘discrete Rodrigues’ formula’ \(\kappa _{ij} (f^*_i  f^*_j) = (f_i  f_j)\) in [1]). Instead, we obtain a discrete version of (2) for nets \({\mathscr {M}}^*\) that are Christoffeltype transforms of nets \({\mathscr {M}}\), which we will consider as the Gauss map of \({\mathscr {M}}^{*}\). It turns out that the discrete Gaussian, and mean, curvature, which are derived from Steiner’s formula for parallel meshes [1], fulfill a discrete analogue of (2), as we will see in the following.
This curvature theory [1] provides a discrete Gaussian, and a discrete mean, curvature notion that are defined on the pairs of corresponding faces \((f, f^*)\) of a polyhedral surface \({\mathscr {M}}^*\) with respect to an edgewise parallel surface \({\mathscr {M}}\), the Gauss map. Both meshes, \({\mathscr {M}}^*\) and \({\mathscr {M}}\) must have the same combinatorics.
Definition 3.15
We call a mesh or net \({\mathscr {M}}^*\) a net with a constant ratio of principal curvatures with respect to its Gauss map \({\mathscr {M}}\) if each corresponding pair of faces \((f, f^*)\) fulfills (20). The ratio is then defined to be \(\alpha : \beta \).
Remark 3.16
Note that the discrete curvature theory [1] is defined for general polyhedral meshes (not just with quadrilateral faces). Consequently, Definition 3.15 for discrete surfaces with a constant ratio of principal curvatures can be understood in this generality. However, we will restrict ourselves in the present paper, to the quadrilateral case.
Moreover, the oriented area and the oriented mixed area are multiplied by \(\det (A)\) as we apply an affine transformation \(x \mapsto Ax + a\) (with \(A \in \mathrm{GL}_3({\mathbb {R}}), a \in {\mathbb {R}}^3\)) to \(f^*\) and f simultaneously. Consequently, we obtain the following proposition.
Proposition 3.17
 (a)
If \({\mathscr {M}}^*\) is a net with a constant ratio of principal curvatures with respect to its Gauss map \({\mathscr {M}}\), then so is \(\nu F({\mathscr {M}}^*)\) with respect to \(F({\mathscr {M}})\).
 (b)
The property of being the Gauss map of a net with a constant ratio of principal curvatures is affinely invariant.
Furthermore, applying an isometry does not change the oriented area and the oriented mixed area up to sign, which implies that we can do computations with these ‘areas’ in the plane, and omit the normal vector N in the formulas.
The following theorem shows that the construction from Proposition 3.1 yields a pair of edgewise parallel faces \((f, f^*)\) which fulfills (2). It, therefore, provides a transformation of a net \({\mathscr {M}}\) into a discrete surface \({\mathscr {M}}^*\) with a constant ratio of principal curvatures, assuming such a mesh \({\mathscr {M}}^*\) exists. The characterization of meshes \({\mathscr {M}}\) such that \({\mathscr {M}}^*\) is a net with a constant ratio of principal curvatures with respect to \({\mathscr {M}}\), is precisely the same as for the existence of a Christoffeltype transform \({\mathscr {M}}^*\) (Theorems 3.10 and 3.12). This will become clear after the next theorem, which says that both \({\mathscr {M}}^*\)’s are actually the same.
Theorem 3.18
Let \({\mathscr {M}}^*\) be a discrete Christoffeltype transform of \({\mathscr {M}}\). Then, \({\mathscr {M}}^*\) is a mesh with a constant ratio of principal curvatures with respect to \({\mathscr {M}}\).
Proof
So the discrete Christoffeltype transformation, transforms a spherical net \({\mathscr {M}}\), which fulfills the discrete integrability condition (15) around each face, into a mesh \({\mathscr {M}}^*\) with a constant ratio of principal curvatures (in analogy to Theorem 2.7).
3.5 Special Cases \(\alpha  \beta = 0\), \(\alpha + \beta = 0\), \(\alpha \beta = 0\)
We consider three different special cases where the ratio of the principal curvatures, expressed in \(\alpha \) and \(\beta \), takes on three special values.
\(\underline{\alpha  \beta = 0}\): This case is equivalent to the condition \(H_{f, f^*}^2  K_{f, f^*} = 0\) and corresponds, for smooth surfaces, to \(\kappa _1 = \kappa _2\), i.e., every point is an umbilic, which is to say that it must be a plane or a sphere. This is reflected in the discrete setting by the trivial transformation \(\Delta f_i \overset{\alpha = \beta }{\longmapsto } \Delta f^*_i = \frac{2 \alpha }{\sqrt{p}} \Delta f_i\) (cf. (10)), which is a similarity. Consequently, if \({\mathscr {M}}\) is a ‘spherical’ mesh, then so is the transformed mesh \({\mathscr {M}}^*\). The corresponding diagonals of \(f^*\) and f are parallel (see (11)).
\(\underline{\alpha + \beta = 0}\): This case is very well studied, and we have considered this case as a special case several times before. It is equivalent to \(H_{f, f^*} = 0\), and the pair \((f, f^*)\) is related by the wellknown discrete Koenigs duality [3]. If \({\mathscr {M}}\) is a ‘spherical’ Koenigs net, then the transformed mesh \({\mathscr {M}}^*\), the dual, exists and is a discrete minimal surface. Noncorresponding diagonals are parallel, i.e., \(f^*_3  f^*_1 \parallel f_4  f_2\) and \(f^*_4  f^*_2 \parallel f_3  f_1\).
3.6 The Gauss Map as Discrete Cauchy Problem
In this section, we investigate the problem of finding a net \({\mathscr {M}}\) that is a Gauss map of a net \({\mathscr {M}}^*\) with a constant ratio of principal curvatures, but without knowing \({\mathscr {M}}^*\). And in particular, we are interested in how many degrees of freedom we have, or how much data for the appropriate initial value problem we can prescribe. We will have to consider different settings: general and circular nets, as well as positive and negative ratios \(\alpha : \beta \).
Interestingly, it appears that it is easier to show the existence of a solution to the Cauchy problem in the morerestrictive case of circular nets, than for the more general case of noncircular nets. This is due to the fact that our formulas for the transformation simplify, see Proposition 3.13.
Theorem 3.19
Suppose we are given two ‘orthogonally intersecting’ strips of circular quadrilaterals (see Fig. 8, left). Then, these two strips can be extended to a rectangular patch with \({\mathbb {Z}}^2\) combinatorics such that \({\mathscr {M}}\) is the Gauss map of a net \({\mathscr {M}}^*\) with a negative constant ratio of principal curvatures.
Proof
Consider the three faces \(f^b, f^c, f^d\) of \({\mathscr {M}}\) around the vertex where the two given strips meet (see Fig. 8). These faces can always be transformed (via (10) plus appropriate scaling) into three faces \(f^{*b}, f^{*c}, f^{*d}\) of a mesh \({\mathscr {M}}^*\), which we are looking for. What remains to show, is that we can construct the missing face \(f^a\) around the same vertex to fill in the gap in such a way, that a corresponding face \(f^{*a}\) would exist on a potential transformed mesh \({\mathscr {M}}^*\) (i.e., without leaving any gaps or overlaps).
Now, the negativity of the ratio of the principal curvatures is important. It implies \(\alpha< 0 < \beta \) or \(\alpha> 0 > \beta \). In both cases, we have \(\alpha + \beta  \le \big \alpha  + \beta \big  = \alpha  \beta \). Consequently, the aforementioned circle intersects the line that has direction \(d^a_2\), giving us two possibilities to choose for \(e^a_1\). \(\square \)
4 Discretization with Asymptotic Nets (ANets)
In this section, we study a discretization of asymptotic nets on surfaces with a constant ratio of principal curvatures. As asymptotic lines exist only through hyperbolic points, we assume all surfaces here to have negative Gaussian curvature (\(K < 0\)) outside, perhaps, finitelymany points. Therewith, there are two asymptotic lines passing through each point, forming an asymptotic net or Anet. In the case of a constant ratio of principal curvatures, these asymptotic lines intersect each other at a constant angle \(\varphi = 2 \arctan \sqrt{ \kappa _1/\kappa _2} \overset{\small (1)}{=} 2 \arctan \sqrt{ \beta /\alpha }\). Our goal is therefore to discretize a smooth Anet with constant intersection angles between its parameter lines.
First, we will fix some notation, wherein the difference with Sect. 3 is that the characterization is based on the vertices instead of the faces. We consider nets in \({\mathbb {R}}^3\) with \({\mathbb {Z}}^2\)combinatorics, i.e., of the form \(f :{\mathbb {Z}}^2 \rightarrow {\mathbb {R}}^3\). Since we focus on local properties of nets, we will omit, where possible, the parameter values \(u \in {\mathbb {Z}}^2\), and use the common abbreviations: \(f = f(u_1, u_2)\), \(f_1 = f(u_1 + 1, u_2)\), \(f_2 = f(u_1, u_2 + 1)\), \(f_{12} = f(u_1 + 1, u_2 + 1)\), \(f_{\bar{1}} = f(u_1  1, u_2)\), etc. Along with that, for each of \(j \in \{1, \bar{1}, 2, \bar{2}\}\), the edge vector \((f_{j}  f)\) will be denoted by \(\Delta _{j} f\). The following discretization of Anets appears several times in discrete differential geometry (cf. [2, 12, 20]).
Definition 4.1
A discrete asymptotic net or discrete Anet is a map \(f :{\mathbb {Z}}^2 \rightarrow {\mathbb {R}}^3\), wherein each vertex star is planar, i.e., the five points \(f, f_1, f_2, f_{\bar{1}}, f_{\bar{2}}\) lie in a plane, as depicted in Fig. 10, left.
4.1 Formulation
Here we will formulate the conditions on a net \(f :{\mathbb {Z}}^{2} \rightarrow {\mathbb {R}}^{3}\) so that it is a discrete Anet emulating a surface that has a constant ratio of principal curvatures.
A special case of our discretization turns up as the reciprocal parallel net of a circular net in [12]. There, discrete minimal surfaces appear as Anets with an opposite angle sum of \(\pi \), as expected for minimal surfaces.
Remark 4.2
Although consolidated, there is still an ambiguity in this when it comes to optimization: either average could be optimized to the target of \(\phi \), but there is no guarantee that adjacent vertex stars are consistent. Without that consistency, the mesh loses cohesiveness, as shown by the comparison in Fig. 11. As a result, care should be taken that this consistency is maintained so that the result does not have degenerate patches.
4.2 Formulation as Zeros of AtMostQuadratic Functions
The chosen method for optimization was taken from Tang et al. [24], which requires that the constraints are atmostquadratic. To ensure that the constraints here are atmostquadratic and that there are no degenerate solutions, auxiliary variables are used. In this section, we will outline such constraints for Anets that meet the angle condition, (22).
4.3 Method of Optimization, Propagating These ANets from a Strip
In this section, we will give an overview of how we obtained examples of these Anets that have a constant ratio of principle curvatures. For the optimization, the methodology from Tang et al. [24] was used with the atmostquadratic formulation discussed in the previous section. And to facilitate the formation of these surfaces, we have devised a means to propagate these surfaces from a strip of quads, as detailed below. Together, the optimization and the propagation are used in repeated succession, until a surface of desirable size, and accuracy, is achieved.
Given a smooth curve \(\gamma :[t_{0}, t_{N}] \rightarrow {\mathbb {R}}^{3}\), that is parametrized by arc length, with a partition \(t_{0}< t_{1}< \cdots < t_{N}\), and an initial orthonormal frame at \(t_{0}\), we devised a method for generating quads along \(\gamma \), with the aim that it be reasonably close to a strip with planar vertex star and fulfilling the angle condition. To do this, first, frames at all points \(t_{j}\) of the partition are constructed in a rotationminimizing way, using the method of approximation outlined in [8, §II.B]; this is done so as to obtain a strip morestably defined along the curve, that twists minimally around the curve. Here, the initial frame comprises the unit tangent vector \(\gamma \,'(t_{0})\), a chosen unit vector \(n (t_{0})\) orthogonal to \(\gamma \,'(t_{0})\), and the mutuallyorthogonal vector \(n (t_{0}) \times \gamma \,'(t_{0})\), as depicted in Fig. 12, left. Then, the frame at \(t_{j+1}\) is gotten from the one at \(t_{j}\) by rotating it about the vector \(\gamma \,'(t_{j}) \times \gamma \,'(t_{j+1})\) by the angle \(\arccos \gamma \,'(t_{j}) \cdot \gamma \,'(t_{j+1})\); let this rotation be denoted by \(T_{j}\), so that \(T_{j} \gamma \,'(t_{j}) = \gamma \,'(t_{j+1})\), and so on. Thusly, a frame is obtained at each point \(t_{j}\), for \(0 \le j \le N\).
In order to obtain more of a surface from this, a method of propagating such strips by adding faces was developed, with the aim optimizing the result for the constraints of Anets of this kind. Let us consider two successive quadrilaterals of the strip: \(f, f_1, f_{1\bar{2}}, f_{\bar{2}}\) and \(f, f_2, f_{\bar{1} 2}, f_{\bar{1}}\), see Fig. 13, right. We will now complete one of the two adjacent faces by constructing a reasonable guess for \(f_{12}\).
Two suggestions for the new vertex \(f_{12}\) to complete the new face, are obtained by guessing new edge vectors \(g_{1}\) and \(g_{2}\), which are to “evenly” extend the vertex star, namely, \(g_{1} = 2 (f_{1}  f)  (f_{1 \bar{2}}  f_{{\bar{2}}})\) and \(g_{2} = 2 (f_{2}  f)  (f_{\bar{1} 2}  f_{{\bar{1}}})\). Lastly, \(f_{12}\) is taken to be the average of \(f_1 + g_{2}\) and \(f_{2} + g_{1}\), to complete the face \(\{f, f_1, f_{12}, f_2\}\). With these new faces added, we then optimize; alternating between propagation and optimization is then repeated, as wanted.
4.4 Support Structure Generation
As mentioned in the introduction, to surfaces with a negative constant ratio of principal curvatures, we can orthogonally attach strips along the asymptotic lines that have straight development. In an architectural context, these strips can then be used as curved support structures. In this section, we will describe how these support structures are generated, cf. [23]. It is shown there that, along each polyline, there is a discrete developable surface, with straight development. In order to construct them, it is sufficient to find their rulings at each vertex, i.e., the folds along them. To that end, we calculate these rulings for each of the two polylines passing through each vertex, which is sufficiently far from the edge of the mesh.
Remark 4.4
Note that as the polylines become straighter, the rulings become closer to being tangent to the surface, making strips appear narrower there. To alleviate this, it is possible to add in some of the surface normal to the rulings there, but this then distorts the strip’s straight development in the plane. Refer to the Figs. 15 and 16 in the following section for examples of this.
4.5 Examples
This section will serve as an overview of how we obtained examples. The most readilyavailable examples are surfaces of revolution, which can be obtained from an integral [11, §3.27]. Other examples were obtained in a moreinvolved way: the main obstruction to the optimization comes from the ambiguity at each vertex star of which angle goes to the target angle from the angle condition, as discussed in Remark 4.2.
Following the method in Sect. 4.2, we picked a curve and starting vector, to generate a strip of quads. Then, using the method in Sect. 4.3, we propagated faces along that strip, and optimized the result, fixing the starting strip with soft constraints; this was done in succession until the desired size was reached. Steps from this process are shown in Fig. 15.
Another means of generating examples, which we used, is starting off with quad meshes of minimal surfaces. To do this, we first constructed meshes with a chosen topology, and optimized them for an angle of \(\frac{\pi }{2}\), so that it approaches a minimal surface; then, this mesh was optimized for another angle. The step of optimizing for a minimal surface first reduces the amount of “bias” at each vertex for the angles to optimize in a particular direction. In certain cases, to facilitate the “alignment” of the angles across the mesh in a consistent manner, soft constraints, which encouraged a consistent bias across the mesh, were used in the starting iterations of the optimization. Some results of this are shown in Fig. 16.
Remark 4.5
Note that a quad mesh of arbitrary combinatorics may not be compatible with the angle constraint consistently across the mesh; this is similar to what was discussed earlier in this section and in Remark 4.2, but there the fault lied in a consistent choice, rather than a choice existing that is consistent. In particular, the mesh should not include vertices of odd valence: see Fig. 17.
Notes
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). The authors would like to thank Udo HertrichJeromin and Mason Pember for useful discussions, and gratefully acknowledge the support of the Austrian Science Fund (FWF) through projects P 29981 and I 2978, and by the EU Framework Program Horizon 2020 under grant 675789 (ARCADES).
References
 1.Bobenko, A.I., Pottmann, H., Wallner, J.: A curvature theory for discrete surfaces based on mesh parallelity. Math. Ann. 348(1), 1–24 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
 2.Bobenko, A.I., Suris, Yu.B.: Discrete Differential Geometry: Integrable Structure. Graduate Studies in Mathematics, vol. 98. American Mathematical Society, Providence (2008)Google Scholar
 3.Bobenko, A.I., Suris, Yu.B.: Discrete Koenigs nets and discrete isothermic surfaces. Int. Math. Res. Not. IMRN 2009(11), 1976–2012 (2009)Google Scholar
 4.Burstall, F., HertrichJeromin, U., Rossman, W.: Discrete linear Weingarten surfaces. Nagoya Math. J. 231, 55–88 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
 5.Christoffel, E.B.: Ueber einige allgemeine Eigenschaften der Minimumsflächen. J. Reine Angew. Math. 67, 218–228 (1867)MathSciNetCrossRefGoogle Scholar
 6.Eigensatz, M., Kilian, M., Schiftner, A., Mitra, N.J., Pottmann, H., Pauly, M.: Paneling architectural freeform surfaces. ACM Trans. Graph. 29(4), 45, 1–10 (2010) (Proc. SIGGRAPH)Google Scholar
 7.Eisenhart, L.P.: An Introduction to Differential Geometry. Princeton Mathematical Series, vol. 3. Princeton University Press, Princeton (1940)Google Scholar
 8.Hanson, A.J., Ma, H.: Quaternion frame approach to streamline visualization. IEEE Trans. Vis. Comput. Graph. 1(2), 164–174 (1995)CrossRefGoogle Scholar
 9.Hopf, H.: Über Flächen mit einer Relation zwischen den Hauptkrümmungen. Math. Nachr. 4, 232–249 (1951)MathSciNetCrossRefzbMATHGoogle Scholar
 10.Karpenkov, O.N.: On the flexibility of Kokotsakis meshes. Geom. Dedicata 147(1), 15–28 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
 11.Kühnel, W.: Differentialgeometrie, 6th edn. Aufbaukurs Mathematik: Kurven—Flächen—Mannigfaltigkeiten. Springer Spektrum, Wiesbaden (2013)Google Scholar
 12.Lam, W.Y.: Discrete minimal surfaces: critical points of the area functional from integrable systems. Int. Math. Res. Not. IMRN 2018(6), 1808–1845 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
 13.Lane, E.P.: Bundles and pencils of nets on a surface. Trans. Am. Math. Soc. 28(1), 149–167 (1926)MathSciNetCrossRefzbMATHGoogle Scholar
 14.Mladenov, I.M., Oprea, J.: The Mylar balloon revisited. Am. Math. Mon. 110(9), 761–784 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
 15.Mladenov, I.M., Oprea, J.: The Mylar balloon: new viewpoints and generalizations. In: Mladenov, I.M., de León, M. (eds.) Geometry, Integrability and Quantization, pp. 246–263. Softex, Sofia (2007)Google Scholar
 16.Müller, C., Wallner, J.: Oriented mixed area and discrete minimal surfaces. Discrete Comput. Geom. 43(2), 303–320 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
 17.Pottmann, H., Eigensatz, M., Vaxman, A., Wallner, J.: Architectural geometry. Comput. Graph. 47, 145–164 (2015)CrossRefGoogle Scholar
 18.Riveros, C.M.C., Corro, A.M.V.: Surfaces with constant Chebyshev angle. Tokyo J. Math. 35(2), 359–366 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
 19.Riveros, C.M.C., Corro, A.M.V.: Surfaces with constant Chebyshev angle II. Tokyo J. Math. 36(2), 379–386 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
 20.Sauer, R.: Differenzengeometrie. Springer, Berlin (1970)CrossRefzbMATHGoogle Scholar
 21.Simon, U., SchwenkSchellschmidt, A., Viesel, H.: Introduction to the Affine Differential Geometry of Hypersurfaces. Lecture Notes of the Science University of Tokyo. Science University of Tokyo, Tokyo (1991)zbMATHGoogle Scholar
 22.Stäckel, P.: Beiträge zur Flächentheorie. III. Zur Theorie der Minimalflächen. Leipziger Berichte, pp. 491–497 (1896)Google Scholar
 23.Tang, C., Kilian, M., Bo, P., Wallner, J., Pottmann, H.: Analysis and design of curved support structures. In: Adriaenssens, S., Gramazio, F., Kohler, M., Menges, A., Pauly, M. (eds.) Advances in Architectural Geometry 2016, pp. 8–23. VDF Hochschulverlag, ETH Zürich (2016)Google Scholar
 24.Tang, C., Sun, X., Gomes, A., Wallner, J., Pottmann, H.: Formfinding with polyhedral meshes made simple. ACM Trans. Graph. 33(4), 70:1–70:9 (2014). (Proc. SIGGRAPPH)CrossRefzbMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.