On semidiscrete constant mean curvature surfaces and their associated families

The present paper studies semidiscrete surfaces in three-dimensional Euclidean space within the framework of integrable systems. In particular, we investigate semidiscrete surfaces with constant mean curvature along with their associated families. The notion of mean curvature introduced in this paper is motivated by a recently developed curvature theory for quadrilateral meshes equipped with unit normal vectors at the vertices, and extends previous work on semidiscrete surfaces. In the situation of vanishing mean curvature, the associated families are defined via a Weierstrass representation. For the general cmc case, we introduce a Lax pair representation that directly defines associated families of cmc surfaces, and is connected to a semidiscrete sinh\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sinh $$\end{document}-Gordon equation. Utilizing this theory we investigate semidiscrete Delaunay surfaces and their connection to elliptic billiards.


Introduction
Surfaces with constant mean curvature H or constant Gauss curvature K have been of particular interest in differential geometry for a long time. In a modern viewpoint, Communicated by A. Constantin.
B Wolfgang Carl carl@tugraz.at 1 Institute of Geometry, TU Graz, Kopernikusgasse 24, 8010 Graz, Austria 538 W. Carl these special geometries are associated with the theory of integrable systems, not least due to rather recent developments in discrete differential geometry (cf. Bobenko and Suris [7]). Typically the investigation of constant curvature surfaces is tied to specific parametrizations, like isothermic parametrizations for constant mean curvature surfaces.
Over the last decades, various discrete versions of these special parametrizations have been established. For a comprehensive overview see Bobenko and Pinkall [5] or Bobenko and Suris [7]. Generally, different kinds of parametrizations (conjugate, asymptotic,…) have their own way of discretization. For this reason, discretizing entire families of smooth surfaces is a challenge, if the type of parametrization changes. Accordingly, a unifying discrete curvature theory is still an active topic of research. As a first step toward this direction, Bobenko et al. [6] introduced a general curvature theory for polyhedral meshes with planar faces based on mesh parallelity. Their theory is capable of unifying notable previously defined classes of surfaces, such as discrete isothermic minimal or constant mean curvature surfaces. More recently, Hoffmann et al. [12] presented a discrete parametrized surface theory for quadrilateral meshes equipped with unit normal vectors at the vertices, permitting non-planar faces. Their theory encompasses a remarkably large class of existing discrete special parametrizations. In addition it provides a deeper insight into the associated families of discrete constant curvature surfaces.
For semidiscrete surfaces, represented by parametrizations possessing one discrete variable and one continuous variable, the situation is quite similar to the discrete case. The analysis of semidiscrete surfaces with H = const. respectively K = const. is bound to isothermic resp. asymptotic parametrizations (cf. Müller and Wallner [16], Müller [15], Burstall et al. [8], and Wallner [23]). However, to the author's knowledge, results concerning their associated families have been missing so far.

Outline and results
In the present paper we investigate two distinct situations: (i) semidiscrete surfaces with vanishing mean curvature (minimal surfaces), and (ii) semidiscrete surfaces with constant but non-vanishing mean curvature (cmc surfaces). Since we are especially interested in the associated families of these surfaces, we do not restrict ourselves to isothermic parametrizations. Thus, at the beginning (see Sect. 2), we translate the discrete curvature theory introduced by Hoffmann et al. [12] to the semidiscrete setting. We also highlight the intersection with the curvature theory for semidiscrete conjugate parametrizations previously considered by Karpenkov and Wallner [13].
In Sect. 3, we recapitulate the notion of isothermic parametrizations. In particular, we show that a semidiscrete surface is isothermic if and only if its quaternionic cross ratio allows for a specific factorization (cf. Lemma 5).
Subsequently, in Sect. 4, we investigate semidiscrete isothermic minimal surfaces. Their Weierstrass representation, established by Rossman and Yasumoto [20], immediately gives rise to their associated families, whose members are however no longer isothermic. The main result of this section is that all the members of these associated families are minimal as well (cf. Theorem 1). Moreover, we show that the conjugate surface of an isothermic minimal surface is asymptotically parametrized.
In Sect. 5, we introduce a Lax pair representation for semidiscrete isothermic cmc surfaces, which directly contains the definition of their associated families. We prove that the members of these associated families, which again are no longer isothermic, all have the same constant mean curvature (cf. Theorem 2).
We conclude the paper by investigating the Lax pair representation of semidiscrete rotational symmetric cmc surfaces (see Sect. 6). It turns out that the discrete versions of the classical Delaunay rolling ellipse construction described by Hoffmann [11] and Bobenko et al. [6] also apply to the semidiscrete setting.

A curvature theory for semidiscrete surfaces
Our main object of study are two-dimensional semidiscrete surfaces in threedimensional Euclidean space represented by parametrizations possessing one discrete variable and one continuous variable. Throughout this paper we assume that x is at least once continuously differentiable w.r.t. the second argument. We abbreviate the corresponding derivative by ∂ x. The forward difference w.r.t. the discrete parameter is denoted by where the notation x 1 indicates an index shift: x 1 (k, t) := x(k +1, t). We only consider regular semidiscrete surfaces having the property that the sets { x, ∂x}, { x, ∂x 1 }, and { x, ∂x + ∂ x 1 } are linearly independent throughout.
Just like a smooth parametrized surface can be viewed as built of its contact elements (consisting of a point together with the surface normal at this point), we henceforth consider a semidiscrete surface to be represented by a pair of weakly coupled parametrizations. Translating the relation between a surface and its Gauss map to the semidiscrete setting, we define: throughout the parameter domain.
The following definition contains a (partial) limit version of the "midpoint connectors" of a quadrilateral considered by Hoffmann et al. [12] as replacements of the first order partial derivatives of a smooth parametrization.
Definition 2 For a semidiscrete surface (x, n) we define the partial derivatives W. Carl as well as the strip normal In classical surface theory the principal curvatures of a surface at a point are defined as the eigenvalues of the shape operator that lives on the tangent plane at this point. In the semidiscrete case the fundamental forms and the shape operator live on the plane perpendicular to the strip normal N .

Definition 3
Let (x, n) be a semidiscrete surface with strip normal N and let π denote the orthogonal projection onto the plane perpendicular to N , i.e., π(x) := x − x, N N . Mimicking the smooth case, we define the fundamental forms I, II, III, and the shape operator S by The following observation is crucial for the definition of the mean and Gauss curvatures via the shape operator.

Lemma 1
If the pair (x, n) is coupled, the second fundamental form II is symmetric.
Symmetry of the second fundamental form is equivalent to the selfadjointness of the shape operator S w.r.t. the inner product induced by the first fundamental form. In case of symmetry, the eigenvalues of S are real.

Definition 4
Let (x, n) be a coupled semidiscrete surface and let κ 1 , κ 2 ∈ R be the eigenvalues of the shape operator S. Then the mean curvature H and the Gauss curvature K are defined as Another approach toward a meaningful curvature theory for discrete or semidiscrete surfaces uses the concept of offsets and their connection to the mean and Gauss curvatures via the Steiner formula. This viewpoint has already been examined, e.g., by Bobenko et al. [6] in the purely discrete setting, and by Karpenkov and Wallner [13] in the semidiscrete case. We are going to demonstrate that the curvatures given in Definition 4 can just as well be gained via the Steiner formula.
First we note that coupled semidiscrete surfaces naturally feature offsets.

Lemma 2 A pair of semidiscrete surfaces (x, n) is coupled if and only if for some
(and hence for all) r ∈ R the offset (x r , n) := (x + r n, n) is coupled.
Proof Since n ∈ S 2 , we have ∂ x r , n = ∂ x, n and x r , n + n 1 = x, n + n 1 , for all r ∈ R.
The relation between offsets and curvatures is established by the so-called mixed area form. The following definition is motivated by the work of Hoffmann et al. [12]. Also note the similarities to the mixed area form for parallel conjugate semidiscrete surfaces previously investigated by Karpenkov and Wallner [13].

Definition 5
For two semidiscrete surfaces (x, n), (y, n) with the same Gauss map n and strip normal N , the mixed area form is given by It turns out that, for a coupled semidiscrete surface (x, n), the mean and Gauss curvatures from Definition 4 can be expressed in terms of the mixed area forms of the parametrization x and its Gauss map n in a way completely analogous to the smooth setting. In particular, this observation shows that the curvatures given in Definition 4 coincide with those discussed by Karpenkov and Wallner [13] in the case of circular surfaces (see Definition 6).

Lemma 3
Let (x, n) be a coupled semidiscrete surface, then (ii) Using the Binet-Cauchy identity, we compute (iii) Likewise, we obtain (iv) By the Cayley-Hamilton theorem S 2 − tr(S)S + det(S)E = 0, which yields the last equation.

Corollary 1 (Semidiscrete Steiner formula)
Let (x, n) be a coupled semidiscrete surface with offset (x r , n) = (x + r n, n), r ∈ R. Then Next, we recapitulate the notion of semidiscrete isothermic parametrizations.

Semidiscrete isothermic surfaces
A smooth parametrization is called isothermic, if it is a conformal curvature line parametrization, possibly upon a reparametrization of independent variables. A discrete analog of curvature line parametrizations is given, for example, by circular nets, i.e., quadrilateral meshes with the property that each face possesses a circumcircle. They have been the topic of various contributions from the perspective of discrete differential geometry and integrable systems (see, e.g., [3,4,7,9,14]). Among all quadrilateral meshes, circular nets are the only ones which posses nontrivial vertex offsets, i.e., parallel meshes at constant vertexwise distance (cf. Pottmann et al. [18]). In particular, choosing an arbitrary offset direction resp. normal vector at one vertex determines the normal vectors at all other vertices.
The following semidiscrete version of circular nets was first investigated by Pottmann et al. [19]. They can be understood as semidiscrete curvature line parametrizations in exactly the same manner as their purely discrete counterparts.

Definition 6
A semidiscrete surface (x, n) is called circular, if (a) for each corresponding pair of points x, x 1 there is a circle C passing through these points and being tangent to ∂ x, ∂ x 1 there, and (b) the Gauss map n is parallel to x, i.e., n x and ∂n ∂ x.
Remark 1 Similar to the discrete case, a parallel Gauss map n of a semidiscrete surface x with the property (a) is completely determined by choosing one normal vector Karpenkov and Wallner [13,Theorem 1.12]). Due to the parallelity (b), the Gauss map n also enjoys the property (a), and the pair (x, n) is coupled.
Remark 2 For planar semidiscrete surfaces x : D → R 2 ∼ = C, circularity is equivalent to the existence of a function s : D → R * , with We adopt the following definition of semidiscrete isothermic surfaces from Müller and Wallner [16]. Definition 7 A circular semidiscrete surface (x, n) is called isothermic, if there exist positive semidiscrete functions ν, σ , and τ , such that An isothermic function g : D → C is called holomorphic.
In analogy to the smooth and purely discrete settings, for circular semidiscrete surfaces x, isothermicity is equivalent to the existence of a Christoffel dual (see Müller and Wallner [16,Theorem 11]). Recall that a semidiscrete surface Definition 8 Two conjugate semidiscrete surfaces x, x * are dual to each other, if there exists a positive semidiscrete function ν, such that In this case, x * is called the Christoffel dual of x. Remark 3 Using the notation of Definition 7, the dual x * of a semidiscrete isothermic surface x fulfills

Quaternionic description of semidiscrete isothermic surfaces
Here we provide a characterization of semidiscrete isothermic surfaces in terms of quaternions, which we will use for the study of cmc surfaces. In particular, we demonstrate that, similar to the discrete situation, a semidiscrete surface is isothermic if and only if its cross ratio allows for a specific factorization.
Consider the algebra of quaternions H equipped with the basis {1, i, j, k}, where ij = k, jk = i, ki = j. Using the standard matrix representation of H, this basis is related to the Pauli matrices σ 1 , σ 2 , σ 3 via Then, the scalar product is expressed as p, q = − 1 2 tr( pq).
The identification (2) can be used to define a cross ratio of four possibly noncoplanar points in three-dimensional space up to inner automorphisms. It is known that discrete isothermic surfaces can be defined by the property that the cross ratio of each face allows for a specific factorization (cf. Bobenko and Pinkall [4]). We are going to analyze how this property translates to the semidiscrete case.
and call the unordered pair the cross ratio of x.
The cross ratio of four points in R 3 is known to be Möbius invariant (see, e.g., Bobenko and Pinkall [4, Lemma 1]). By a limit argument this property immediately carries over to q[x],q [x]. Another important feature is that the cross ratio of four points is real if and only if they lie on a circle. An analogous property holds in the semidiscrete case.

Lemma 4 A semidiscrete surface x is circular if and only if its cross ratio is real. In this case, the vectors ∂ x, ∂ x 1 lie to the same side of the line spanned by x if and
Thus, by the Möbius invariance of the cross ratio, we have 1 , which means that the vector ∂(μ • x) 1 anchored at μ(x 1 ) is tangent to the circle defined by μ(x), μ(x 1 ), and ∂(μ • x). Moreover, the cross ratio is negative iff the vectors ∂(μ • x) and ∂(μ • x) 1 point to the same direction. By applying the inverse Möbius transformation μ −1 , the statement follows immediately.
The following lemma provides us with a characterization of semidiscrete isothermic surfaces in terms of their cross ratios.

Lemma 5 A semidiscrete surface x is isothermic if and only if there exist positive semidiscrete functions σ and τ , such that
In this case, Proof Let x be an isothermic semidiscrete surface with ν, σ , and τ as in Definition 7. Moreover, for each fixed (k, t) ∈ D, let the Möbius transformation μ be defined by and by the previous lemma we get Conversely, assume that Q[x] = − τ σ , with ∂σ = τ = 0. By the previous lemma x is circular and the vectors ∂ x, ∂ x 1 lie to the same side of the line spanned by x. Hence, by the observations above, we have ∂ x ∂ x 1

Semidiscrete minimal surfaces
Smooth minimal surfaces in R 3 can be defined in several equivalent ways, e.g. by locally minimizing the surface area or by having vanishing mean curvature. An isothermic minimal surface is determined by the property of being Christoffel dual to its Gauss map, giving rise to their well known Weierstrass-Enneper representation. This section is concerned with semidiscrete minimal surfaces, which do not fully enjoy these properties.
It has already been noted by Müllner and Wallner [16] that semidiscrete isothermic minimal surfaces are Christoffel dual to their Gauss map. Similar to the smooth case, this observation leads to a Weierstrass type representation, as demonstrated by Rossman and Yasumoto [20]. In turn, this representation gives rise to a one-parameter family of associated surfaces. These are however no longer isothermic, which has made it difficult to understand their minimality in the discrete and semidiscrete settings so far.
Let us recall the Weierstrass representation. Let g : Z × R ⊇ D → C be a semidiscrete holomorphic function with ν g , σ g , and τ g as in Definition 7. It is straightforward to show that the composition of g with the inverse of the stereographic projection, given by , τ = τ g , and σ = σ g . Now, the Christoffel dual x of n is uniquely determined, up to translation, as solution of the system We see immediately that A(x, n) = 0, so the semidiscrete surface (x, n) is minimal. Moreover, it has been verified by Rossman and Yasumoto [20] that any semidiscrete isothermic minimal surface can be described in this way by some semidiscrete holomorphic function g.
As already mentioned before, the Weierstrass representation immediately gives rise to the associated family of an isothermic minimal surface.

Definition 11
Let (x, n) be a semidiscrete isothermic minimal surface arising from a semidiscrete holomorphic function g with σ and τ as in Definition 7. Then the associated family (x α , n), α ∈ R, of (x, n) is defined, up to translation, as solution of the system

Lemma 6
For every semidiscrete isothermic minimal surface (x, n) the members of its associated family (x α , n) are well defined and coupled.
Proof To show the existence of x α , we check the compatibility condition ∂ x α = ∂ x α . Using the abbreviation and the fact that ∂σ = τ = 0, one can compute Note that the equality ( * ) follows from the circularity of the mapping g (cf. Remark 2): In order to show that the members of the associated family are indeed minimal, we follow Hoffmann et al. [12]. The key observation is as follows: Consider an (infinitesimal) quadrilateral of any member of such a family and orthogonally project it in direction of the face normal N . Then the resulting (infinitesimal) quadrilateral is a rotated and scaled version of the corresponding (infinitesimal) quadrilateral of the original isothermic surface (cf. Fig. 1). As a first step toward this result we provide a semidiscrete version of [12,Lemma 24].
The rotation property mentioned above is stated as follows:
We are now able to prove the main result of the present section.

Theorem 1 Every member (x α , n) of the associated family of a semidiscrete isothermic minimal surface (x, n) is minimal, i.e., has vanishing mean curvature.
Proof Recall that the rotation by an angle θ about the axis in direction of N can be written as According to Lemma 8, we thus have the term 4 A(x α , n) = det(π( x α ), ∂n + ∂n 1 , N ) + det( n, π(∂x α + ∂ x α 1 ), N ) vanishes for all α ∈ R if and only if A(x, n) = 0 and x, ∂n + ∂n 1 = n, ∂x + ∂ x 1 . Both equations hold since (x, n) is an isothermic minimal surface (cf. Remark 3 and Lemma 1).
In the smooth setting, the Gauss curvature of the members of the associated family of a minimal surface is independent of the parameter α as well. This is no longer the case in the discrete and semidiscrete situations.

Lemma 9
Under the assumptions of Theorem 1, the Gauss curvature K α of (x α , n) obeys where d is the distance between the origin and the center of the circle C determined by {n, n 1 , ∂n, ∂n 1 }.
We conclude this section by proving that the conjugate surface (x π 2 , n) of a semidiscrete isothermic minimal surface (x, n) is an asymptotic parametrization, in analogy to the smooth and discrete cases. Semidiscrete asymptotic parametrizations have been studied, e.g., by Wallner [23]. Here, the notation x1 indicates an index shift in the opposite direction: x1(k, t) := x(k − 1, t).

Lemma 10
Let (x, n) be a semidiscrete isothermic minimal surface with associated family (x α , n). Then the conjugate surface (x π 2 , n) is an asymptotic parametrization, i.e., the vectors lie in a plane with unit normal vector n.

Semidiscrete cmc surfaces
This section focuses on semidiscrete cmc surfaces, which enjoy nonzero constant mean curvature. In contrast to minimal surfaces, isothermic cmc surfaces are characterized by having a Christoffel dual at constant distance. This observation immediately follows from the fact that cmc surfaces are linear Weingarten surfaces.

Lemma 11
Let (x, n) be coupled. Then the mean and Gauss curvatures of the offsets (x r , n) = (x + r n, n), r ∈ R, are given by We dedicate the rest of this paper to the description of semidiscrete isothermic cmc surfaces in terms of a pair of linear first-order matrix partial differential equations called a Lax pair. Similar to the case of minimal surfaces, this representation directly includes the definition of a one-parameter family of associated surfaces. We consider only the case H = ±1, since it can always be achieved by scaling.

The Lax pair representation of smooth cmc surfaces
We briefly recapitulate the smooth situation. For details see Bobenko [2] or Fujimori et al. [10]. Consider a smooth conformal immersion with complex coordinate z = s + it. Conformality means that throughout the parameter domain, where ·, · denotes the bilinear complex extension of the standard Euclidean inner product and ∂ z , ∂z are the Wirtinger derivatives ∂ z = 1 2 (∂ s − i∂ t ) and ∂z = 1 2 (∂ s + i∂ t ). As initiated in Sect. 3.1, we identify R 3 with the set of purely imaginary quaternions Im H. Thereby, rotating a point x ∈ R 3 translates to the conjugation of x ∈ Im H by a unit quaternion q. In the matrix representation of H, the set of unit quaternions {q ∈ H : q = 1} coincides with the Lie group SU 2 = {A ∈ C 2×2 : A H = A −1 , det(A) = 1}. The corresponding Lie algebra is su 2 = {A ∈ C 2×2 : A H = −A, tr(A) = 0}. In this manner, SU 2 is a double covering of SO 3 , which we identify with the set of positively oriented orthonormal frames.
with e u = ∂ s x 2 = ∂ t x 2 . It turns out that the frame moves according to where the so-called Hopf differential Q and the mean curvature H satisfy Q = ∂ z ∂ z x, n and 1 2 He u = ∂ z ∂z x, n . The integrability condition of this system, i.e., ∂ z (∂z ) = ∂z(∂ z ), is equivalent to Thus, if we assume constant mean curvature, the Hopf differential is holomorphic. If in addition the surface has no umbilic points, then Q = 0 and we can achieve that Q = const. = 0 by a holomorphic change of coordinates. Moreover, Eq. (5) then are invariant with respect to the transformation Q → Q, with = e 2iα , α ∈ R. In particular, we may assume that the Hopf differential is real, in which case x is isothermic. By integrating Eqs. (4) and (3) with Q replaced by Q, we obtain a one-parameter family of surfaces x α with the same constant mean curvature.
Remarkably, the solution x α of the system (3) can be obtained without integration, by a formula first suggested by Sym [21] for K-surfaces and later translated by Bobenko [1,2] to numerous other cases, including cmc surfaces in various space forms. Indeed, for any solution = (z, α) of the system (4) with Q replaced by Q, the parametrization describes a cmc surface with metric e u , mean curvature H , and Hopf differential Q (see [2,Thm. 5]). For the sake of simplicity, we henceforth assume without loss of generality that H = 1 and Q = 1/2. Furthermore, we introduce the gauge equivalent frame Using the relations ∂ s = ∂ z + ∂z and ∂ t = i(∂ z − ∂z), the frame equations (4) with H = 1 and Q = /2 translate to , and UV is equivalent to the elliptic sinh-Gordon equation: Finally, we note that the matrices U and V belong to the loop algebra and accordingly lies in the corresponding loop group The condition A(−λ) = σ 3 A(λ)σ 3 states that the elements of SU 2 and su 2 have even functions of λ on their diagonals and odd functions of λ on their off-diagonals.

A Lax pair representation of semidiscrete cmc surfaces
As demonstrated by Bobenko and Pinkall [5], the observations above can be utilized to derive a Lax pair representation of discrete isothermic cmc surfaces along with their associated families. However, only recently it has been verified by Hoffmann et al. [12] that the members of these associated families, which are no longer isothermic, indeed have the same constant mean curvature. In this subsection we explore similar results for semidiscrete surfaces.
The compatibility condition ∂( ) = (∂ ) of the system (6) is equivalent to which expands to To resolve the relation u 2 = vv 1 , we introduce a function w : Z × R → R and set v = e 2w and u = e w+w 1 . Then, taking the real resp. imaginary parts of the Eq. (9) leads to Im(a) = δ(∂w+∂w 1 ) which is a semidiscrete version of the elliptic sinh-Gordon equation. The analogy to the smooth case is not obvious at first glance. For a purely discrete version of this equation we refer to Pedit and Wu [17].
As in the smooth and discrete cases, we use the Sym-Bobenko formula to gain a parametrization of the semidiscrete surface related to the frame . In particular, we are going to investigate the following three parallel surfaces.
At first we show that the pairs (x α , n α ), (x α , n α ), and (x α , n α ) from Definition 12 are coupled. In fact, we prove the following slightly more general result.

Corollary 4
The semidiscrete surfaces from Definition 12 are coupled.
The main result of the present section is that the surfaces (x α , n α ) and (x α , n α ) have constant mean curvature in the sense of Definition 4.

Theorem 2
Let (x α , n α ) and (x α , n α ) be given as in Definition 12. Then, for every α ∈ R, we have A(x α ,x α ) = 0 throughout the parameter domain.
Proof The statement can be verified by direct computations. However, since the involved expressions are rather lengthy, we defer the proof to the Appendix. Just like in the smooth case, the surfaces (x 0 , n 0 ) and (x α , n α ) turn out to be isothermic and dual to each other.

Lemma 13
Consider the families (x α , n α ), (x α , n α ), and (x α , n α ) from Definition 12. Then, for j ∈ Z, we have Proof Inserting the respective expressions derived in the proof of Theorem 2 into the formula for the cross ratio (cf. Definition 9) immediately yields the stated results.

Corollary 6
For every fixed j ∈ Z, the semidiscrete surfaces (x j π 2 , n j π 2 ) and (x j π 2 , n j π 2 ) are isothermic and dual to each other.
Proof Isothermicity immediately follows from the previous lemma (cf. also Lemma 5). Duality is a consequence of Theorem 2.

Semidiscrete Delaunay surfaces and elliptic billiards
In this section we construct semidiscrete cmc surfaces of rotational symmetry with discrete profile curves. To this purpose we assume that the Lax matrices U and V of the form (7) are independent of the continuous parameter t. In this case, the compatibility condition (8) resp. the Eq. (9) are given by δ = const., u 2 = vv 1 , Im(a) = 0, To resolve the relation u 2 = vv 1 , we introduce a function w : Z → R + and set v = w 2 and u = ww 1 . Next we try to solve the resulting equations for the successors b 1 and w 1 of b and w, respectively. From the equation on the right hand side we get b 1 = Re(a) Hence, for any given sequence a : Z → R and initial values w(0) ∈ R + , b(0) ∈ R, the values w(k) and b(k) can be determined recursively for all k ∈ Z + . In this way we obtain Lax matrices U (k, α) and V (k, α) of the form (7) fulfilling the compatibility condition (8). Consequently, there exists a solution = (k, t, α) of the corresponding system (6). Given that 1 = U and (0, 0, α) = 1, we have α)U (0, α).
Observe that the initial value b(0) regulates the shape of the profile curve of the isothermic rotational symmetric cmc surface gained for α = 0. Setting b(0) = 0 yields a straight line and in the limit b(0) → ∞ we end up with consecutive half circles (cf. Fig. 5). The resulting surfaces are semidiscrete unduloids. Simultaneously, for α = π/2, we obtain the profile curves of semidiscrete nodoids (cf. Fig. 6).
Similarly, the sequence a : Z → R can be used to regulate the spacing between the vertices of the profile polygons. More precisely, the value a(k) is inversely proportional to the length of the edge [x 0 (k, t),x 0 (k + 1, t)]. For an illustration see Fig. 7.
It turns out that there exists a nice geometric construction of the profile curves of semidiscrete rotational symmetric cmc surfaces. In fact, the discrete version of the classical Delaunay rolling ellipse construction for cmc surfaces of revolution described by Bobenko et al. [6, § 7.3] also applies to the semidiscrete setting (cf. Fig. 8). This has to be so, since for discrete surfaces of rotational symmetry the mean curvature is independent of the angle of rotation (see Bobenko et al. [6, § 7.2]). Thus, the notions Each dotted triangle {x k , p k , p k+1 } on the left is mapped isometrically to the corresponding triangle on the right. However, for illustrational reasons, the figure on the right hand side has been scaled up uniformly of discrete and semidiscrete mean curvatures coincide in this particular case. Observe that, if the vertices { p k } k∈Z of the trajectory of the external elliptic billiard around E lie on an ellipse E confocal with E, then we have a classical reflection billiard in the ellipse E , and the above construction agrees with that of Hoffmann [11]. For a comprehensive overview of mathematical billiards we refer to Tabachnikov [22].
Now, direct computations yield Further, for the Gauss map n α , we obtain Next we compute and observe that Finally, we get We complete the proof by substituting these expressions into Eq. (10) and using the fact that δ 1 = δ and u 2 = vv 1 .