Next Article in Journal
Achieving Optimal Order in a Novel Family of Numerical Methods: Insights from Convergence and Dynamical Analysis Results
Previous Article in Journal
Fermatean Hesitant Fuzzy Multi-Attribute Decision-Making Method with Probabilistic Information and Its Application
Previous Article in Special Issue
Volume-Preserving Shear Transformation of an Elliptical Slant Cone to a Right Cone
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Visualization of Isometric Deformations of Helicoidal CMC Surfaces

by
Filip Vukojević
and
Miroslava Antić
*,†
Faculty of Mathematics, University of Belgrade, 11000 Belgrade, Serbia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2024, 13(7), 457; https://doi.org/10.3390/axioms13070457
Submission received: 14 May 2024 / Revised: 30 June 2024 / Accepted: 3 July 2024 / Published: 6 July 2024
(This article belongs to the Special Issue Mathematics, Computer Graphics and Computational Visualizations)

Abstract

:
Helicoidal surfaces of constant mean curvature were fully described by do Carmo and Dajczer. However, the obtained parameterizations are given in terms of somewhat complicated integrals, and as a consequence, not many examples of such surfaces are visualized. In this paper, by using these methods in some particular cases, we provide several interesting visualizations involving these surfaces, mostly as an isometric deformation of a rotational surface. We also give interpretations of some older results involving helicoidal surfaces, motivated by the work carried out by Malkowsky and Veličković. All of the graphics in this paper were created in Wolfram Mathematica.

1. Introduction

Surfaces in the Euclidean three-dimensional space that satisfy particularly nice properties regarding their intrinsic or extrinsic curvatures have always been of interest. Surfaces with the constant mean curvature (CMC) H are a natural generalization of the minimal surfaces, where H = 0 . While the minimal surfaces are those that minimize area with some fixed boundary, and may be regarded as those that correspond to zero pressure difference, a proper CMC surface corresponds to a non-zero pressure difference, and as such, has wide applications in physics, chemistry, engineering, and architecture, in particular for air-supported constructions. Surfaces that are moreover invariant for some group of transformations, as rotational surfaces and their generalization, helicoidal surfaces, are, may also be applied in engineering design and computer graphics.
The rotational surfaces with constant mean curvature (CMC) are well known and were first described by Delauney; see [1]. The notion of helicoidal surfaces has also been known for a long time. They represent a natural generalization of rotational surfaces and they are, roughly speaking, generated by simultaneously rotating and translating a regular planar curve (called a profile curve) around a fixed line (called an axis) that lies in that given plane, in such a manner that the speed of translation is proportional to the angular velocity of rotation (such motion is called a screw motion). It is, therefore, quite interesting that the classification of the helicoidal CMC surfaces with non-zero mean curvature was given almost 150 years later, by Do Carmo and Dajczer in [2]. Moreover, using their approach, the minimal helicoidal surfaces were given in [3]. Interestingly, to obtain the classification in [2], the authors used Bour’s theorem [4], which proves that for any helicoidal surface, regardless of the mean curvature, there exists a two-parameter family of helicoidal surfaces which are mutually isometric to it and containing a rotational surface as a special case of a helicoidal surface. Further, the authors used the existence of such Bour’s families to extrapolate, in a effective and clever manner, the CMC helicoidal surfaces by showing that for any such surface, there exists a family of CMC helicoidal surfaces isometric to it, all with the same mean curvature.
However, as a result, these surfaces are described in terms of somewhat complicated integrals, involving functions which are mostly arbitrary, with a few additional properties, such as smoothness, for instance. As an immediate practical consequence, it turns out that not many examples of such surfaces are yet visualized. In this paper, we use the methods given in [2]. Particular calculations, which straightforwardly follow [2], were performed in [5]. However, the aim was to present the examples of such CMC surfaces obtained in different moments of a certain isometric deformation of rotational surfaces, by using the family parameter as time. This imposed the condition to present the expressions in order to depend smoothly over the parameter and, further, in some of the expressions, taking some of the terms with both positive and negative sign. Moreover, for particular choices of the constant B 0 defining the family, we provide a visualization of examples of such CMC helicoidal families and present here their elements at particular moments.
In this paper, we choose the O z -axis for the axis of helicoidal motion, and as we will focus on regular surfaces, the profile curve will be a regular curve
( x ( r ) , 0 , z ( r ) ) , r ( a , b ) ,
where x ( r ) is a positive function. If we introduce a value h 0 (called pitch) that represents the height difference between any point and its image after screw motion in a unit of time, we see that we can formally define the screw motion of a profile curve by
x ( r ) 0 z ( r ) cos θ sin θ 0 sin θ cos θ 0 0 0 1 x ( r ) 0 z ( r ) + 0 0 h θ .
Therefore, a helicoidal surface of the pitch h is given in its parametric form by:
H ( r , θ ) : = ( x ( r ) cos θ , x ( r ) sin θ , z ( r ) + h θ ) , ( r , θ ) ( a , b ) × R .
In particular, the curves of the form r = c o n s t are called the helices on H ( r , θ ) . Obviously, for h = 0 , we obtain rotational surfaces.

2. Delauney’s Surfaces

En route to classification of helicoidal CMC surfaces, the first step was to describe rotational CMC surfaces (also known as the Delauney surfaces). Kenmotsu in [6] approached the problem by deriving the equation for mean curvature of a rotational surface, that, in general, is not constant. If we assume that the profile curve of a rotational surface is a naturally parameterized C 2 -curve
( x ( s ) , 0 , z ( s ) ) , s ( a , b )
where x ( s ) > 0 , we obtain a differential equation whose mean curvature H ( s ) must satisfy:
2 x ( s ) H ( s ) z ( s ) + x ( s ) x ( s ) z ( s ) x ( s ) x ( s ) z ( s ) = 0 .
Multiplying the previous equation with x and z , respectively, along with the fact that the profile curve is parameterized by a natural parameter, yields the following equations:
2 x x H ( s ) x z x z ( x z ) = 0 , 2 x H ( s ) z + x x + ( x ) 2 ( x x ) 1 = 0 ,
which combined produce the following ODE:
2 H ( s ) ( x z x x ) + ( x x + x z ) 1 = 0 .
If we define the following complex function f ( s ) : = x x + i x z , Equation (2) becomes a first-order linear ODE
f ( s ) 2 i H ( s ) f ( s ) 1 = 0 ,
which is easily solvable and gives us the three-parameter family of profile curves for a rotational surface with mean curvature H ( s ) :
X ( s ; H ( s ) , c 1 , c 2 , c 3 ) : = ( ( F ( s ) c 2 ) 2 + ( G ( s ) + c 1 ) 2 , 0 , 0 s ( G ( t ) + c 1 ) F ( t ) ( F ( t ) c 2 ) G ( t ) ( F ( s ) c 2 ) 2 + ( G ( s ) + c 1 ) 2 d t + c 3 ) , s ( a , b ) ,
where the functions F ( s ) and G ( s ) are defined as:
F ( s ) : = 0 s sin 2 0 t H ( u ) d u d t G ( s ) : = 0 s cos 2 0 t H ( u ) d u d t .
Firstly, we wish to see what are the minimal rotational surfaces, that is, what happens when H ( s ) is equal to zero. In that case, the aforementioned three-parameter family comes down to
c 2 2 + ( s + c 1 ) 2 , 0 , 0 s c 2 c 2 2 + ( t + c 1 ) 2 d t + c 3 ,
and that is a part of a plane (for c 2 = 0 ), or a catenoid. In the remaining cases, by properly choosing the sign of the normal vector field, we may assume that H ( s ) = H > 0 . If we introduce a positive constant B 0 = 2 H c 1 and apply adequate translations, the profile curve (4) becomes
1 2 H 1 + 2 B 0 sin ( 2 H s ) + B 0 2 , 0 , 0 s 1 + B 0 sin ( 2 H t ) 1 + 2 B 0 sin ( 2 H t ) + B 0 2 d t .
In [6], it was shown that possible rotational surfaces that can be generated by these profile curves are:
  • Cylindrical surfaces, for B 0 = 0 .
  • Spherical surfaces, for B 0 = 1 .
  • Parts of an unduloid, for B 0 ( 0 , 1 ) .
  • Parts of a nodoid, for B 0 ( 1 , + ) .
All of the previous observations are summarized in the following theorem:
Theorem 1.
(Delauney) Rotational surfaces with the constant non-zero mean curvature are cylindrical or spherical surfaces or parts of an unduloid or a nodoid. Only minimal rotational surfaces are parts of planes and catenoids.
Remark 1.
One way of visualizing non-minimal Delauney surfaces is through a deformation with a fixed mean curvature, where we interpret the parameter B 0 as time, and through its continuous movement we obtain all of the non-minimal Delauney surfaces with a fixed mean curvature H.
We may demonstrate the previous considerations for the Delauney surfaces of mean curvature H = 1 2 and s ( 0 , 8 ) ; see Figure 1.

3. Visualization of Bour’s Theorems

In this section, we focus on two older claims related to helicoidal surfaces, the latter of which represented a starting point in the paper [2] en route to fully classifying helicoidal CMC surfaces and giving their global parameterization. Since we consider proper helicoidal surfaces of the pitch h 0 0 , by possible reparameterization, we may take it that they are locally given by
H ( r , θ ) : = ( r cos θ , r sin θ , λ ( r ) + h 0 θ ) , ( r , θ ) ( 0 , a ) × ( 0 , 2 π ) .
Now, we recall the statement of Bour’s theorem. Having in mind that our main goal here is to construct and visualize new examples of CMC helicoidal surfaces, we present here a proof in more detail, following proofs given in [2,7,8].
Theorem 2.
(a) (Bour’s theorem) Each helicoidal surface (5) is isometric to some rotational surface. The listed isometry maps helices of the helicoidal surface to parallels of the rotational surface. (b) (Bour’s family) Each helicoidal surface (5) is a member of a two-parameter family of helicoidal surfaces that are all mutually locally isometric.
Proof. 
(a) Via direct computation, we see that the first fundamental form of the helicoidal surface H ( r , θ ) is equal to:
d s 2 = ( 1 + ( λ ( r ) ) 2 ) d r 2 + 2 h 0 λ ( r ) d r d θ + ( r 2 + h 0 2 ) d θ 2 .
Firstly, we regard the reparameterization
( r ¯ , θ ¯ ) : = Ψ ( r , θ ) = Ψ 1 ( r , θ ) , Ψ 2 ( r , θ ) : = r , θ + h 0 λ ( r ) r 2 + h 0 2 d r .
Its first fundamental form is:
d s 2 = 1 + r ¯ 2 ( λ ( r ¯ ) ) 2 r ¯ 2 + h 0 2 d r ¯ 2 + ( r ¯ 2 + h 0 2 ) d θ ¯ 2 .
Further, we may introduce another reparameterization with parameters r 1 and θ 1 in the following manner:
( r 1 , θ 1 ) : = Φ ( r ¯ , θ ¯ ) = 1 + r ¯ 2 ( λ ( r ¯ ) ) 2 r ¯ 2 + h 0 2 d r ¯ , θ ¯ .
It is clear that we have transformed parameter domain ( 0 , a ) × ( 0 , 2 π ) of H ( r , θ ) onto the domain Φ Ψ ( ( 0 , a ) × ( 0 , 2 π ) ) , which is of the form I 1 × I 2 , where I 1 and I 2 are open intervals on the real line. Now, the first fundamental form of the helicoidal surface has the following form:
d s 2 = d r 1 2 + ( r ¯ 2 + h 0 2 ) d θ 1 2 .
Let us now observe rotational surfaces given parameterically by
R ( u , v ) : = ( u cos v , u sin v , ϕ ( u ) ) , u J , v I 2 ,
where J is an open subinterval of ( 0 , + ) . The first fundamental form of R ( u , v ) is
d s 2 = ( 1 + ( ϕ ( u ) ) 2 ) d u 2 + u 2 d v 2 .
Let us consider the transformation given by
u = r ¯ 2 + h 0 2 = r 2 + h 0 2 , v = θ ¯ = θ + h 0 λ ( r ) r 2 + h 0 2 d r .
Straightforwardly, we have that
d r 1 d u = d r d u 1 + r 2 ( λ ( r ) ) 2 r 2 + h 0 2 = 1 + ( λ ( r ) ) 2 + h 0 2 r 2 1 .
Hence, there exist a differentiable function ϕ such that d r 1 d u = 1 + ( d ϕ d u ) 2 . Then, ϕ is given by
ϕ ( u ) = ϕ ( u ) d u = d r 1 2 d u 2 1 d u = d r 1 2 d u 2 = 1 + r 2 ( λ ( r ) ) 2 r 2 + h 0 2 r 2 r 2 + h 0 2 d r = h 0 2 + r 2 ( λ ( r ) ) 2 r 2 + h 0 2 d r .
Now, the reparameterization is of the form
r 1 = 0 u 1 + ( ϕ ( t ) 2 ) d t , θ 1 = v
and, moreover, the function g ( u ) : = 0 u 1 + ( ϕ ( t ) 2 ) d t maps J to I 1 . Therefore, by taking such a function ϕ into (10), we straightforwardly conclude that the given reparametrizations of H ( r , θ ) and R ( u , v ) have the first fundamental forms that coincide, and further, the rotatational surface (10) is locally isometric to the helicoidal surface (5).
We note that the obtained rotational surface R ( r , θ ) is parameterized in the following way:
x = r 2 + h 0 2 cos θ + h 0 λ ( r ) r 2 + h 0 2 d r , y = r 2 + h 0 2 sin θ + h 0 λ ( r ) r 2 + h 0 2 d r , z = h 0 2 + r 2 ( λ ( r ) ) 2 r 2 + h 0 2 d r .
As the helices on the helicoidal surfaces are curves given by r = r 0 = c o n s t , which further implies that λ ( r ) = 0 , we obtain that the image of the helix on H ( r , θ ) , with r = r 0 will be the circle of radius r 0 2 + h 0 2 , with the height h 0 arsinh ( r 0 h 0 ) , i.e., a parallel on the rotational surface. Let us rewrite the first fundamental form (6) of H ( r , θ ) :
d s 2 = 1 + ( λ ( r ) ) 2 ) ( r 2 + h 0 2 ) ( r 2 + h 0 2 ) d r 2 + 2 h 0 λ ( r ) d r d θ + ( r 2 + h 0 2 ) d θ 2 = 1 + r 2 ( λ ( r ) 2 ) ( r 2 + h 0 2 ) d r 2 + ( r 2 + h 0 2 ) d θ + λ ( r ) h 0 r 2 + h 0 2 d r 2 .
By taking so-called natural parameters of the helicoidal surface, defined as:
σ = σ ( r , θ ) : = 1 + ( λ ( r ) ) 2 r 2 ( r 2 + h 0 2 ) d r τ = τ ( r , θ ) : = θ + h 0 λ ( r ) r 2 + h 0 2 d r
we obtain:
d s 2 = d σ 2 + U ( σ ) 2 d τ 2 ,
where the positive function U ( σ ) is given by U ( σ ) : = r 2 + h 0 2 . Note that the parameter σ is independent of θ .
Now, let us consider an arbitrary positive function U ( σ ) and an arbitrary real number h 0 . We want to construct functions r, λ , and θ depending on variables σ and τ , which satisfy the following equations:
d σ 2 = d r 2 + r 2 r 2 + h 2 d λ 2 U ( σ ) d τ = ± r 2 + h 2 ( d θ + h r 2 + h 2 d λ ) .
Clearly, such functions r and λ will not depend on τ . By dividing the second equation in (17) with r 2 + h 2 , we obtain the following PDE:
d θ = ± U ( σ ) r 2 + h 2 d τ h r 2 + h 2 d λ = ± U ( σ ) r 2 + h 2 d τ h r 2 + h 2 d λ d σ d σ .
Comparing the previous equation with differential d θ = d θ d σ d σ + d θ d τ d τ yields the system:
d θ d σ = h r 2 + h 2 d λ d σ d θ d τ = ± U ( σ ) r 2 + h 2 .
As the right-hand side of the first equation in (18) is independent of τ , we have that 2 θ σ τ = 0 , and moreover,
σ ± U ( σ ) r 2 + h 2 = 0 ,
and since U ( σ ) 0 , there is a positive constant m such that:
U ( σ ) r 2 + h 2 = 1 m 0 .
Note that this assumption automatically implies that U ( σ ) is an increasing function.
From (20), we see that
m 2 ( U ( σ ) ) 2 = r 2 + h 2
which determines the function r ( σ ) . Moreover, by differentiating this equation, we obtain
2 m 2 U ( σ ) d U d σ = 2 r d r d σ .
Note that from (15), it follows that d r d σ > 0 , and further, from (3), we have r ( σ ) > 0 . By taking the square of (3) and by substituting r 2 from (21), we obtain the following ODE:
d r d σ 2 = m 4 ( U ( σ ) ) 2 m 2 ( U ( σ ) ) 2 h 2 d U d σ 2 .
Further, we have:
d λ 2 = r 2 + h 2 r 2 ( d σ 2 d r 2 ) = m 2 ( U ( σ ) ) 2 m 2 ( U ( σ ) ) 2 h 2 1 d r d σ 2 d σ 2 = m 2 ( U ( σ ) ) 2 ( m 2 ( U ( σ ) ) 2 h 2 ) 2 m 2 ( U ( σ ) ) 2 h 2 m 4 ( U ( σ ) ) 2 d U d σ 2 d σ 2 ,
which determines the function λ ( σ ) .
Finally, the second equation in (17) transforms to:
d θ = ± 1 m d τ h r 2 + h 2 d λ .
Hence, we obtain:
r ( σ ) = m 2 ( U ( σ ) ) 2 h 2 , θ ( σ , τ ) = ϵ τ m ϵ λ h m m 2 ( U ( σ ) ) 2 1 m 2 d U d σ 2 h 2 U ( σ ) ( m 2 ( U ( σ ) ) 2 h 2 ) d σ , λ ( σ ) = ϵ λ m U ( σ ) m 2 ( U ( σ ) ) 2 h 2 m 2 ( U ( σ ) ) 2 1 m 2 d U d σ 2 h 2 d σ ,
where ϵ , ϵ λ { 1 , 1 } .
Now, let U ( σ ) be any particular increasing positive function. Let us consider the family of helicoidal surfaces [ U ] that we obtain by substituting (23) into (5), for an arbitrary pitch h 0 and a positive constant m:
X ( h , m ) ( σ , τ ) : = ( r ( σ ) cos θ ( σ , τ ) , r ( σ ) sin θ ( σ , τ ) , λ ( σ ) + h θ ( σ , τ ) ) .
Since sgn d r d σ = 1 , we have ϵ λ = sgn d λ d r sgn d r d σ = sgn d λ d r , where, of course, sgn d λ d r determines if λ ( r ) in (5) is a locally increasing or decreasing function. By taking the isometry J : ( x , y , z ) ( x , y , z ) of the space R 3 , we obtain that J ( X ) is determined by functions r ˜ = r , θ ˜ = θ , and λ ˜ = λ , such that λ ˜ d σ = d λ d σ , so we may take it that ϵ λ = 1 .
The local coordinate vector fields of X ( m ) ( σ , τ ) are given by:
X ( h , m ) σ = ( r cos θ r sin θ d θ d σ , r sin θ + r cos d θ d σ , λ + h d θ d σ ) , X ( h , m ) τ = d θ d τ ( r sin θ , r cos θ , h ) ,
so the coefficients of the first fundamental form of X ( h , m ) ( σ , τ ) are:
E = ( r ) 2 + ( λ ) 2 ( r 2 + h 2 ) ( d θ d σ ) 2 = ( r ) 2 + r 2 ( λ ) 2 r 2 + h 2 = m 4 ( U ( σ ) ) 2 ( U ( σ ) 2 ) m 2 ( U ( σ ) ) 2 h 2 + r 2 m 4 ( U ( σ ) ) 2 ( U ( σ ) ) 2 r 2 = 1 , F = d θ d τ ( r 2 d θ d σ + h ( λ + h d θ d σ ) ) = d θ d τ ( d θ d σ ( h 2 + r 2 ) + h λ ) = d θ d τ ( h λ + h λ ) = 0 , G = ( d θ d τ ) 2 ( r 2 + h 2 ) = ( U ( σ ) ) 2 .
We deduce that all elements of the family [ U ] have the same first fundamental form given by (16), and therefore, the helicoidal surface H ( r , θ ) (which is also an element of this family, for m = 1 and h = h 0 ) is locally isometric to any element of [ U ] , which proves the statement. □
Remark 2.
By straightforward computation, we obtain the unit normal vector field, as well as the coefficients of the second fundamental form for elements of Bour’s family [ U ] :
n ( h , m ) ( σ , τ ) = 1 m U ( h r sin θ λ r cos θ , λ r sin θ h r cos θ , r r ) , e = m 4 ( U ( σ ) ) 3 U ( σ ) + h 2 m 2 ( U ( σ ) ) 2 m 2 ( U ( σ ) ) 2 ( 1 m 2 ( U ( σ ) ) 2 ) h 2 , f = ϵ h m 2 U ( σ ) , g = r 2 λ ( d θ d τ ) 2 m U ( σ ) = m 2 ( U ( σ ) ) 2 ( 1 m 2 ( d U d σ ) 2 ) h 2 m 2 .
Note that, although the metrics of the elements of Bour’s family are independent of the parameters m and h, the second fundamental form, and hence, the mean curvature, is not.
We may also ask the question of the regularity of elements in a Bour’s family. We note that n ( h , m ) = 0 for r = λ = 0 or r = 0 . In both cases, r = 0 , meaning that (5) is not a parameterization of a surface. Recall that we obtained the parameterization (5) by excluding from our consideration the case of the cylindrical surfaces, which may be included through the limit process, which we will see later.
Example 1.
Let us regard the right helicoid, given by
H ( r , θ ) = ( r cos θ , r sin θ , θ ) , ( r , θ ) ( 0 , 4 ) × ( 0 , 2 π ) ,
By taking this parameterization into (14), we obtain that, via Bour’s isometry, it is isometric to the catenoid, as a rotational surface
R ( r , θ ) = r 2 + 1 cos θ , r 2 + 1 sin θ , arsinh r .
Note that the right helicoid is already parameterized by natural parameters and that its metric is induced by the function U ( σ ) = σ 2 + 1 . By setting m = 1 and after integration in (23), we see that for any h [ 0 , 1 ) , we have:
r ( σ ) = σ 2 + 1 h 2 , θ ( σ , τ ) = τ arctan h σ 1 h 2 1 + σ 2 , λ ( σ ) = 1 h 2 arsinh σ + h arctan h σ 1 h 2 1 + σ 2 .
By interpreting the pitch of the family’s element as time, we may obtain another isometric deformation of the right helicoid to the catenoid; see Figure 2.
The examples of the rotational surfaces corresponding to particular helicoidal surfaces via Bour’s isometry are given in the Figure 3 and Figure 4.

4. Helicoidal CMC Surfaces

Although the elements of Bour’s family in general do not have the same, let alone constant, mean curvature, the main benefit of the existence of Bour’s family is in effective extrapolation of helicoidal CMC surfaces from it. Since we know the coefficients of the first and the second fundamental form of the Bour’s family elements, the next claim follows directly.
Theorem 3.
The helicoidal surface of Bour’s family [ U ] , with the pitch h and constant m, has a constant mean curvature H if and only if it satisfies the following ODE:
2 H m 2 ( U ( σ ) ) 2 ( 1 m 2 ( U ( σ ) ) 2 ) h 2 = m 2 U ( σ ) U ( σ ) 1 + m 2 ( U ( σ ) ) 2 .
For non-negative functions,
x ( σ ) : = m U ( σ ) , y ( σ ) : = ( x ( σ ) ) 2 ( x ( σ ) ) 2 ( x ( σ ) ) 2 h 2 ,
Equation (26) reduces to:
2 H y ( σ ) = x ( σ ) x ( σ ) 1 + ( x ( σ ) ) 2 .
By differentiating the second equation in (27), we obtain that y x d y d x = 1 d x d σ 2 x x , which further reduces (26) to y = 0 or 2 H x d x = d y with the solution
y = H x 2 + a , y 0 , a R .
Let us find minimal helicoidal surfaces. From H = 0 , we obtain that y = a , a 0 . From (27), we have
m 2 U ( σ ) U ( σ ) = m 2 ( U ( σ ) ) 2 a 2 h 2 .
By substituting f ( σ ) : = m 2 ( U ( σ ) ) 2 a 2 h 2 , we straightforwardly obtain f ( σ ) = ( σ + D ) 2 , D R and by possible translation in the domain of σ , we may take D = 0 .
Now, by taking (23), we see that in the case of a = 0 , we obtain helicoids
X ( σ , τ ) = σ cos ϵ τ m , σ sin ϵ τ m , ϵ h τ m .
In the case that a 0 , we obtain that r ( σ ) = σ 2 + a 2 and up to a constant
λ ( σ ) = a ln ( σ + σ 2 + h 2 + a 2 ) + h arctan ( h σ a σ 2 + h 2 + a 2 ) , θ ( σ , τ ) = ϵ τ m arctan ( h σ a σ 2 + h 2 + a 2 ) .
Hence, we obtain the surfaces
X ( σ , τ ) = ( a σ 2 + h 2 + a 2 cos ϵ τ m + h σ sin ϵ τ m a 2 + h 2 , a σ 2 + h 2 + a 2 sin ϵ τ m h σ cos ϵ τ m a 2 + h 2 , ϵ h τ m + a ln ( σ + σ 2 + h 2 + a 2 ) ) ;
see also [3].
We restrain now to the case where H 0 . Inputting (28) into (27) gives us an ODE for the function x ( σ ) :
( H x 2 + a ) 2 = x 2 x 2 ( x ) 2 h 2 .
Substitution of z ( σ ) : = ( x ( σ ) ) 2 and the fact that x ( σ ) is positive and increasing reduce it to an easily solvable separable first-order ODE:
z = 2 H 2 z 2 + ( 1 2 a H ) z a 2 h 2 .
A necessary condition for the solvability of the previous ODE is a strict negativity of the discriminant of the quadratic trinomial by z on the right side, which reduces to
1 4 a H 4 H 2 h 2 > 0 .
A direct integration of the latter equation yields:
σ + c = 1 2 d z ( H 2 z 2 + ( 2 a H 1 ) z ) ( a 2 + h 2 ) = | H | 1 4 a H 4 H 2 h 2 1 2 H 2 z + 2 a H 1 1 4 a H 4 H 2 h 2 2 1 2 d z .
so we obtain, up to a constant:
σ = 1 2 | H | arcsin 2 H 2 z + 2 a H 1 1 4 a H 4 H 2 h 2 .
For the sake of brevity, we may now introduce a strictly positive constant
B : = 1 4 a H 4 H 2 h 2 .
Replacing z with m 2 ( U ( σ ) ) 2 in (33) provides the following expression for U ( σ ) dependent on a, m, and h:
( U ( σ ) ) 2 = 1 2 a H + B sin ( 2 | H | σ ) 2 m 2 H 2 , U ( σ ) U ( σ ) = B 2 m 2 | H | cos ( 2 | H | σ ) ,
and since from (34), we have that 2 a H = 1 2 ( 1 B 2 4 H 2 h 2 ) , we straightforwardly obtain from (23):
r ( σ ) = 1 2 | H | 1 + 2 B sin ( 2 | H | σ ) + B 2 , θ ( σ , τ ) = ϵ τ m 4 H 2 h | 1 + B sin ( 2 | H | σ ) | 1 + B 2 + 2 B sin ( 2 | H | σ ) + 4 H 2 h 2 ( 1 + 2 B sin ( 2 | H | σ ) + B 2 ) d σ , λ ( σ ) = | 1 + B sin ( 2 | H | σ ) | 1 + B 2 + 2 B sin ( 2 | H | σ ) + 4 H 2 h 2 1 + 2 B sin ( 2 | H | σ ) + B 2 d σ .
Remark 3.
Note that in the limit case when B goes to zero, we obtain that r ( σ ) = 1 2 H = c o n s t . , i.e., the surface is a cylinder. Hence, the cylinder and its Bour’s family may be considered as a limit case of Bour’s theorem.
Note that, by allowing h to take negative values, we may take it that ϵ = 1 .
Previous calculations as well as the following version of the theorem by Lawson and the preceding lemma had the key role in the classification of helicoidal CMC surfaces in the paper [2].
Theorem 4.
(Lawson) Let simply connected CMC surface M be given by immersion f : Ω R 3 , where Ω R 2 is a domain. Then, there exists a differentiable 2 π periodic family of surfaces f ϕ : Ω R 3 , ϕ [ 0 , 2 π ] all of which are isometric to M and all with the same mean curvature as M, where f 0 = f . Also, the family in question is unique up to an isometry of Euclidean space R 3 .
The proof of the previous claim can be found in [9], where it is stated in a more general form than required here.
Let a , h , and m be defined in terms of new parameters a 0 and ϕ and H 0 , with the condition that 4 a 0 H > 1 , in the following way:
a : = a 0 cos ϕ 1 + 2 a 0 H ( 1 cos ϕ ) , h : = a 0 sin ϕ 1 + 2 a 0 H ( 1 cos ϕ ) , m : = 1 1 + 2 a 0 H ( 1 cos ϕ ) .
Then, from the expression for B, we straightforwardly obtain:
B ( a 0 , ϕ ) = 1 + 4 a 0 H 1 + 2 a 0 H ( 1 cos ϕ ) .
For the particular values a = a 0 , h = 0 , and m = 1 , i.e., ϕ = 0 in (36), we obtain a Delauney’s surface with the constant mean curvature H 0 that belongs to the Bour’s family [ U ] ( a , h , m ) , which we shall denote by R ( a 0 ) .
Lemma 1.
Let a 0 R and ϕ [ 0 , 2 π ] be arbitrary and a, h, and m be defined by (36). Then: (a) For every ϕ [ 0 , 2 π ]
U ( a , h , m ) = U ( a 0 , 0 , 1 ) ,
that is, for every Delauney’s surface R ( a 0 ) defined by (23), there exists a one-parameter family of helicoidal C M C surfaces, all with the same mean curvature H, and that family is exactly the Lawson family of the surface R ( a 0 ) . (b) For an arbitrary helicoidal C M C surface M generated by (23), there exists a Delauney surface R ( a 0 ) and a real number ϕ [ 0 , 2 π ] such that M is an element of the Lawson family of the surface R ( a 0 ) .
Proof. 
(a) Straightforwardly from (35) and by using (37), we get:
U 2 ( a , h , m ) = 1 + 2 a 0 H + 1 + 4 a 0 H sin ( 2 | H | σ ) 2 H 2 = U 2 ( a 0 , 0 , 1 ) ,
so (38) is valid. By continuous transformation of ϕ [ 0 , 2 π ] in (36), we obtain a family of helicoidal surfaces with the same constant mean curvature H, all isometric to R ( a 0 ) and including R ( a 0 ) . From the uniqueness of the Lawson family of the surface R ( a 0 ) , we see that this part of the claim is true. (b) We now start with an arbitrary helicoidal CMC surface with the mean curvature H. It is an element of some Bour’s family [ U ] ¯ ( a ¯ , h ¯ , m ¯ ) . The goal is to find a Delauney surface R ( a 0 ) with the mean curvature H and an isometric deformation such that the helicoidal surface we started with is generated, at some moment ϕ [ 0 , 2 π ] of that deformation. In other words, we want to express ϕ and a 0 in terms of a ¯ , h ¯ , and m ¯ . Coefficients of the second fundamental form of the helicoidal surfaces U [ a ¯ , h ¯ , m ¯ ] are
e = 1 x 2 y ( h 2 x 3 x ) = H a ¯ m ¯ 2 U ¯ 2 , f = h ¯ m ¯ 2 U ¯ , g = 1 m ¯ 2 ( a ¯ + H m ¯ 2 U ¯ 2 ) = a ¯ m ¯ 2 + H U ¯ 2 .
The metric of the surface R ( a 0 ) is induced by U ( a 0 , 0 , 1 ) , such that U = U ¯ , because all surfaces that appear during isometric deformation must have the same metric. Let e 0 , f 0 = 0 and g 0 be the coefficients of the second fundamental form of R ( a 0 ) . Reparameterization d σ = U d p reduces its first fundamental form (16) to
d s 2 = U 2 ( d p 2 + d τ 2 ) ,
so the surface is parameterized by isothermal parameters. From the Lawson theorem, we obtain the family corresponding to R ( a 0 ) that depends on a 0 and ϕ [ 0 , 2 π ] . Straightforwardly, the coefficients of the second fundamental form of its elements are:
e = H + cos ϕ ( e 0 H ) , f = U 2 sin ϕ ( g 0 U 2 e 0 ) , g = H U 2 + cos ϕ ( g 0 H U 2 ) .
By comparing (40) and (39) and since all elements of the family are isometric, i.e., U = U ¯ , we obtain
e 0 = a ¯ U 2 m ¯ 2 cos ϕ + H , g 0 = H U 2 + a ¯ m ¯ 2 cos ϕ , h ¯ = m ¯ 2 U 2 2 sin ϕ ( g 0 U 2 e 0 2 a ¯ m ¯ 2 U 2 cos ϕ ) = a ¯ sin ϕ cos ϕ .
Now, let us regard the Delauney’s surface R ( a 0 ) which is obtained in Lawson’s isometric deformation for ϕ = 0 , with a ¯ = a 0 , h = 0 , and m ¯ = 1 . From (36), we further obtain that:
a ¯ = a 0 cos ϕ m ¯ 2 .
Now, if we take ϕ and a 0 as
h ¯ = a ¯ sin ϕ cos ϕ , a 0 = a ¯ cos ϕ m ¯ 2 ,
a straightforward computation shows that for a 0 , ϕ , a ¯ , h ¯ , and m ¯ , the relations (36) are satisfied.
Hence, if we take a : = a ¯ , h : = h ¯ , and m : = m ¯ , we obtain the Lawson’s family of helicoidal C M C surfaces with the mean curvature H 0 whose starting point is the Delauney’s surface R ( a 0 ) , where a 0 is defined as (41), which ends the proof. □
Let B 0 be the value of B at the moment ϕ = 0 :
B 0 : = 1 + 4 a 0 H .
Then, (36) and(37) reduce to:
m 2 = 1 1 + 2 H B 0 2 1 ( 1 cos ϕ ) 4 H = 2 2 + B 0 2 1 ( 1 cos ϕ ) , h = B 0 2 1 sin ϕ 4 H + 2 H B 0 2 1 ( 1 cos ϕ ) , B = 2 B 0 2 + B 0 2 1 ( 1 cos ϕ ) .
We noted that in the each Bour’s family [ U ] ( a , m , h ) , there exists one Delauney’s surface which we may deform isometrically to a helicoidal surface by fixing m = 1 and varying the pitch h. Previous claims prove that via isometric deformation of the Delauney’s surface R ( a 0 ) through the Lawson’s family, we obtain helicoidal CMC surfaces that share the same mean curvature with the original Delauney’s surface. Moreover, for any mean curvature H 0 , a helicoidal CMC surface of that curvature is generated by an isometric deformation of some Delauney’s surface of the same mean curvature.
By taking unduloids, nodoids, and as a boundary case, a cylinder with a fixed mean curvature H 0 , we may regard parameter ϕ [ 0 , 2 π ] as the time, for particular choices of the constant B 0 in (43), and continuously shift it, which provides us with interesting examples of helicoidal CMC surfaces, all with the same mean curvature H; see Figure 5, Figure 6, Figure 7 and Figure 8. The isometric deformation in the case of a sphere would be of no interest, as it stays in the same position, the starting sphere for every moment ϕ [ 0 , 2 π ] .
For further applications of this topic, specifically in the area of computer graphics, it is of interest to fully describe the algorithmic manner in which helicoidal CMC surfaces are generated through the deformation of Delauney’s surfaces (that is, how Figure 5, Figure 6, Figure 7 and Figure 8 are created and how many similar figures may be created).
We start with a fixed mean curvature H and (23) and the Delauney surfaces of that mean curvature which we want to deform (with parameter B 0 , i.e., a 0 via (42)). By continuous movement of parameter ϕ from 0 to 2 π (which continuously changes parameters m, B, and h in formulas (43)) and substituting those values into (24), we obtain new helicoidal surfaces, all with the same mean curvature H. In the images in this paper, we have restricted ourselves to choices ϵ = ϵ λ = 1 in (23) and to the time intervals for ϕ where the pitch h is positive, albeit the images in the time interval for ϕ where the pitch h is negative are basically the same up to an isometry of R 3 .
It would be of interest to see if it is possible to visualize these deformations through real-time animations in some programs, but major problems we encounter here lie in the great time consumption even for creating one surface (frame in the moment of time ϕ ), which arises due to the complexity of the integrals from definitions of functions θ ( σ , τ ) and λ ( σ ) as well as singularities in parameterizations which may occur for certain values of ϕ in certain cases, as described in [2]. So at the moment, we find that the best way of visualizing these deformations is through the frame-by-frame method, as described here, and we provide Mathematica codes (the link to the codes is here: https://github.com/Fica991/Visualisation-of-isometric-deformations-of-helicoidal-CMC-surfaces-Mathematica-codes (accessed on 1 July 2024)) for all the figures in this paper.

Author Contributions

Conceptualization, F.V. and M.A.; methodology, M.A.; software, F.V. and M.A.; validation, F.V. and M.A.; formal analysis, F.V. and M.A.; investigation, F.V. and M.A.; resources, F.V. and M.A.; data curation, F.V. and M.A.; writing—original draft preparation, F.V.; writing—review and editing, M.A.; visualization, F.V.; supervision, M.A. All authors have read and agreed to the published version of the manuscript.

Funding

The research of the second author was partially funded by Faculty of Mathematics University of Belgrade (the contracts 451-03-47/2023-01/200104 and 451-03-66/2024-03/200104) through the grant by the Ministry of Science, Technological Development, and Innovation of the Republic of Serbia.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors thank the reviewers for valuable comments that improved the paper.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
CMCConstant Mean Curvature
ODEOrdinary Differential Equation
PDEPartial Differential Equation

References

  1. Delaunay, C. Sur la surface de revolution dont la courbure moyenne est constante. J. Math. Pures Appl. 1841, 6, 309–320. [Google Scholar]
  2. do Carmo, M.P.; Dajczer, M. Helicoidal Surfaces with Constant Mean Curvature. Tohoku Math. J. 1982, 34, 425–435. [Google Scholar] [CrossRef]
  3. Perdomo, O. Helicoidal minimal surfaces in R3. Ill. J. Math. 2013, 57, 87–104. [Google Scholar]
  4. Bour, E. Memoire sur le deformation de surfaces. J. l’Ecole Polytech. 1862, XXXIX Cahier, 1–148. [Google Scholar]
  5. Vukojević, F. Helikoidne Površi sa Konstantnom Srednjom Krivinom. Burova Teorema. Master Thesis, University of Belgrade, Belgrade, Serbia, 30 September 2023. [Google Scholar]
  6. Kenmotsu, K. Surfaces of revolution with prescribed mean curvature. Tohoku Math. J. 1980, 32, 147–153. [Google Scholar] [CrossRef]
  7. Darboux, G. Lecons sur la Theorie des Surfaces; Gallica: Paris, France, 1914; Volume I. [Google Scholar]
  8. Malkowsky, E.; Veličković, V. Visualisation of isometric maps. Filomat 2003, 17, 107–116. [Google Scholar] [CrossRef]
  9. Lawson, H.B., Jr. Complete minimal surfaces in S3. Ann. Math. 1970, 92, 335–374. [Google Scholar] [CrossRef]
Figure 1. Deformation of Delauney’s surfaces, all with the same constant mean curvature H = 1 2 . The starting point of the deformation is a cylinder at moment B 0 = 0 . Following Delauney’s surfaces are an unduloid at the moment B 0 = 0.3 , an unduloid at the moment B 0 = 0.8 , a sphere(s) at the moment B 0 = 1 , a nodoid at the moment B 0 = 1.5 , and a nodoid at the moment B 0 = 2.6 .
Figure 1. Deformation of Delauney’s surfaces, all with the same constant mean curvature H = 1 2 . The starting point of the deformation is a cylinder at moment B 0 = 0 . Following Delauney’s surfaces are an unduloid at the moment B 0 = 0.3 , an unduloid at the moment B 0 = 0.8 , a sphere(s) at the moment B 0 = 1 , a nodoid at the moment B 0 = 1.5 , and a nodoid at the moment B 0 = 2.6 .
Axioms 13 00457 g001
Figure 2. Isometric deformation of right helicoid’s Bour’s family. The starting point of the deformation is a catenoid at the moment h = 0 followed by helicoidal surfaces at moments h = 0.2 , h = 0.5 , h = 0.7 , h = 0.95 and, in conclusion, the right helicoid at the moment h = 1 .
Figure 2. Isometric deformation of right helicoid’s Bour’s family. The starting point of the deformation is a catenoid at the moment h = 0 followed by helicoidal surfaces at moments h = 0.2 , h = 0.5 , h = 0.7 , h = 0.95 and, in conclusion, the right helicoid at the moment h = 1 .
Axioms 13 00457 g002
Figure 3. Right helicoid and catenoid are isometric via Bour’s isometry.
Figure 3. Right helicoid and catenoid are isometric via Bour’s isometry.
Axioms 13 00457 g003
Figure 4. Helicoidal surface H ( r , θ ) for λ ( r ) = r and h 0 = 1 , where ( r , θ ) ( 0 , 2 ) × ( 0 , 2 π ) and the rotational surface isometric to it via Bour’s isometry. Helix r = 1 and its image via Bour’s isometry are highlighted.
Figure 4. Helicoidal surface H ( r , θ ) for λ ( r ) = r and h 0 = 1 , where ( r , θ ) ( 0 , 2 ) × ( 0 , 2 π ) and the rotational surface isometric to it via Bour’s isometry. Helix r = 1 and its image via Bour’s isometry are highlighted.
Axioms 13 00457 g004
Figure 5. We consider the case of the cylinder as the limit case where 4 a 0 H = 1 . The figure shows the isometric deformation of the cylindric surface R ( 0.5 ) with the mean curvature H = 1 2 , for ( σ , τ ) ( 0 , 5 ) × ( 0 , 2 π ) . Other moments of deformation shown in the figure are at ϕ = 15 π 8 , ϕ = 7 π 4 , ϕ = 3 π 2 , ϕ = 11 π 8 , and ϕ = 9 π 8 , respectively.
Figure 5. We consider the case of the cylinder as the limit case where 4 a 0 H = 1 . The figure shows the isometric deformation of the cylindric surface R ( 0.5 ) with the mean curvature H = 1 2 , for ( σ , τ ) ( 0 , 5 ) × ( 0 , 2 π ) . Other moments of deformation shown in the figure are at ϕ = 15 π 8 , ϕ = 7 π 4 , ϕ = 3 π 2 , ϕ = 11 π 8 , and ϕ = 9 π 8 , respectively.
Axioms 13 00457 g005
Figure 6. Isometric deformation of the unduloid R ( 0.42 ) with H = 1 2 , for ( σ , τ ) ( 0 , 15 ) × ( 0 , 2 π ) . Other moments of the deformation shown in the figure are at ϕ = 15 π 8 , ϕ = 7 π 4 , ϕ = 13 π 8 , ϕ = 11 π 8 , and ϕ = 5 π 4 , respectively.
Figure 6. Isometric deformation of the unduloid R ( 0.42 ) with H = 1 2 , for ( σ , τ ) ( 0 , 15 ) × ( 0 , 2 π ) . Other moments of the deformation shown in the figure are at ϕ = 15 π 8 , ϕ = 7 π 4 , ϕ = 13 π 8 , ϕ = 11 π 8 , and ϕ = 5 π 4 , respectively.
Axioms 13 00457 g006
Figure 7. Isometric deformation of the unduloid R ( 0.375 ) with the mean curvature H = 1 2 , parameterized by ( σ , τ ) ( 0 , 15 ) × ( 0 , 4 π ) . Other moments of the deformation shown in figure are at ϕ = 7 π 4 , ϕ = 13 π 8 , ϕ = 11 π 8 , ϕ = 9 π 8 and ϕ = π , respectively.
Figure 7. Isometric deformation of the unduloid R ( 0.375 ) with the mean curvature H = 1 2 , parameterized by ( σ , τ ) ( 0 , 15 ) × ( 0 , 4 π ) . Other moments of the deformation shown in figure are at ϕ = 7 π 4 , ϕ = 13 π 8 , ϕ = 11 π 8 , ϕ = 9 π 8 and ϕ = π , respectively.
Axioms 13 00457 g007
Figure 8. Isometric deformation of the nodoid R ( 0.625 ) with the mean curvature H = 1 2 , for ( σ , τ ) ( 0 , 15 ) × ( 0 , 2 π ) . Other moments of the deformation showed in figure are at ϕ = π 16 , ϕ = π 8 , ϕ = π 4 , ϕ = 3 π 8 and ϕ = π 2 , respectively.
Figure 8. Isometric deformation of the nodoid R ( 0.625 ) with the mean curvature H = 1 2 , for ( σ , τ ) ( 0 , 15 ) × ( 0 , 2 π ) . Other moments of the deformation showed in figure are at ϕ = π 16 , ϕ = π 8 , ϕ = π 4 , ϕ = 3 π 8 and ϕ = π 2 , respectively.
Axioms 13 00457 g008
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Vukojević, F.; Antić, M. Visualization of Isometric Deformations of Helicoidal CMC Surfaces. Axioms 2024, 13, 457. https://doi.org/10.3390/axioms13070457

AMA Style

Vukojević F, Antić M. Visualization of Isometric Deformations of Helicoidal CMC Surfaces. Axioms. 2024; 13(7):457. https://doi.org/10.3390/axioms13070457

Chicago/Turabian Style

Vukojević, Filip, and Miroslava Antić. 2024. "Visualization of Isometric Deformations of Helicoidal CMC Surfaces" Axioms 13, no. 7: 457. https://doi.org/10.3390/axioms13070457

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop