Next Article in Journal
Zero-Hopf Bifurcations of 3D Quadratic Jerk System
Next Article in Special Issue
A Note on Geodesic Vector Fields
Previous Article in Journal
Meaningful Secret Image Sharing Scheme with High Visual Quality Based on Natural Steganography
Previous Article in Special Issue
Measure-Expansive Homoclinic Classes for C1 Generic Flows
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Classifications of Canal Surfaces with the Gauss Maps in Minkowski 3-Space

1
Department of Mathematics, Northeastern University, Shenyang 110004, China
2
Department of Mathematics, Jeju National University, Jeju 63243, Korea
3
Department of Mathematics, Kyungpook National University, Daegu 41566, Korea
*
Author to whom correspondence should be addressed.
Mathematics 2020, 8(9), 1453; https://doi.org/10.3390/math8091453
Submission received: 12 August 2020 / Revised: 21 August 2020 / Accepted: 23 August 2020 / Published: 30 August 2020
(This article belongs to the Special Issue Geometric Structures and Interdisciplinary Applications)

Abstract

:
In this work, we study the canal surfaces foliated by pseudo spheres S 1 2 along a Frenet curve in terms of their Gauss maps in Minkowski 3-space. Such kind of surfaces with pointwise 1-type Gauss maps are classified completely. For example, the canal surface with proper pointwise 1-type Gauss map of the first kind if and only if it is a part of a minimal surface of revolution.

1. Introduction

In the theory of surface, a kind of surface called canal surfaces will shaped by sweeping a family of spheres whose centers lie on a space curve in Euclidean 3-space. The geometric characters of such surfaces have been studied by many experts and geometers [1,2,3]. For example, the authors of [1] investigated the geometric properties of such surfaces, including the Gaussian curvature, the mean curvature and their relationships. As time goes on, the construction idea of canal surfaces in Euclidean 3-space is extended into the spaces with indefinite metric, especially into Lorentz–Minkowski space. In Minkowski 3-space, a canal surface can be formed as the envelope of a family of pseudo-Riemannian space forms, i.e., pseudo spheres S 1 2 , pseudo hyperbolic spheres H 0 2 and lightlike cones Q 2 [4,5,6]. According to the classification of curves in Minkowski space, i.e., spacelike curve, timelike curve and lightlike (null) curve, there are nine types of canal surfaces in Minkowski 3-space. The parametric expressions and the fundamental geometric properties are stated by discussing the linear Weingarten canal surfaces in [4,5].
The idea of finite type immersion of Riemannian manifolds into Euclidean space (resp. pseudo Euclidean space) was introduced by B.Y. Chen in the late 1970s, which was extended into the differential maps on the submanifolds such as the Gauss maps. A submanifold M in Euclidean space (resp. pseudo Euclidean space) whose Gauss map G satisfies Δ G = f ( G + C ) is said to have pointwise 1-type Gauss map for a non-zero smooth function f and a constant vector C, where Δ is the Laplacian defined on M stated by
Δ = 1 | d e t ( g i j ) | i , j x i ( | d e t ( g i j ) | g i j x j ) ,
where g i j are the components of the inverse matrix of the first fundamental form of M . In particular, it is said to be of the first kind or the second kind when the vector C is zero or non-zero, respectively. Furthermore, G is said to be of proper pointwise 1-type if the function f is not constant, then a non-proper pointwise 1-type Gauss map is of ordinary 1-type. When the smooth function f vanishes, G is said to be harmonic [7,8,9].
Based on the conclusions obtained in [1], the canal surface with pointwise 1-type Gauss map is discussed in [2]. In order to do further and complete geometric investigation for canal surfaces in Minkowski 3-space, the canal surfaces foliated by pseudo spheres S 1 2 along Frenet curves to be studied in the present work. In Section 2, some basic facts including the Frenet formulas of Frenet curves, the expression forms, and the relationships between the Gaussian curvatures and the mean curvatures of three types of canal surfaces are recalled. In Section 3, three types of canal surfaces with pointwise 1-type Gauss maps are classified completely.
The surfaces are smooth, regular, topologically connected unless otherwise stated in this paper.

2. Preliminaries

The Minkowski 3-space E 1 3 is provided with the standard indefinite flat metric given by
· , · = d x 1 2 + d x 2 2 d x 3 2
in terms of the natural coordinate system ( x 1 , x 2 , x 3 ) . A vector v is called to be spacelike, timelike and lightlike (null), if v , v > 0 or v = 0 , v , v < 0 and v , v = 0 , ( v 0 ) , respectively. The norm of the vector v is defined by v = | v , v | . According to the causal character of the tangent vectors, the curves are divided into spacelike, timelike, or lightlike (null) curves. Furthermore, a spacelike curve is classified into the first kind, the second kind spacelike curve or the null type spacelike curve (the pseudo null curve) when the normal vector is spacelike, timelike or lightlike, separately.
Remark 1
([10]). Timelike curves and spacelike curves with spacelike or timelike normal vectors are called Frenet curves in Minkowski space.
Proposition 1
([4]). Let c ( s ) : I E 1 3 be a Frenet curve parameterized by arc length s with Frenet frame { α , β , γ } . Then, the following Frenet equations are satisfied:
α ( s ) = κ ( s ) β ( s ) , β ( s ) = ϵ 1 κ ( s ) α ( s ) + ϵ 2 τ ( s ) γ ( s ) , γ ( s ) = τ ( s ) β ( s ) ,
where α is the tangent vector, β and γ is the normal vector and the binormal vector of c ( s ) , respectively. When c ( s ) is a timelike curve, ϵ 1 = ϵ 2 = 1 ; when c ( s ) is a spacelike curve of the first kind, ϵ 1 = ϵ 2 = 1 ; when c ( s ) is a spacelike curve of the second kind, ϵ 1 = ϵ 2 = 1 . The function κ ( s ) , τ ( s ) is said to be the curvature and the torsion of c ( s ) , respectively.
Proposition 2
([4]). Let p be a fixed point, r > 0 be a constant in E 1 3 . Then, the pseudo-Riemannian space forms, i.e., the de-Sitter space S 1 2 ( p , r ) , the hyperbolic space H 0 2 ( p , r ) and the lightlike cone Q 1 2 ( p ) are defined by
M 2 ( ϵ ) = { x E 1 3 : x p , x p = ϵ r 2 } = S 1 2 ( p , r ) | ϵ = 1 ; H 0 2 ( p , r ) | ϵ = 1 ; Q 1 2 ( p ) | ϵ = 0 .
In particular, when r = 1 and the center p is the origin, we write them by S 1 2 , H 0 2 and Q 2 simply.
Definition 1
([6]). A surface M in E 1 3 is called a canal surface which is formed as the envelope of a family of pseudo spheres S 1 2 (resp. pseudo hyperbolic spheres H 0 2 or lightlike cones Q 2 ) whose centers lie on a space curve c ( s ) framed by { α , β , γ } . M can be parameterized by
x ( s , θ ) = c ( s ) + λ ( s , θ ) α ( s ) + μ ( s , θ ) β ( s ) + ω ( s , θ ) γ ( s ) ,
where λ, μ, and ω are differential functions of s and θ, x ( s , θ ) c ( s ) 2 = ϵ r 2 ( s ) , ( ϵ = ± 1 or 0 ) . The curve c ( s ) is called the center curve, r ( s ) is called the radial function of M .
Precisely, if M is foliated by pseudo spheres S 1 2 (resp. pseudo hyperbolic spheres H 0 2 or lightlike cones Q 2 ), then ϵ = 1 (resp. 1 or 0) and M is said to be of type M + (resp. M or M 0 ). In addition, the canal surface of type M + can be classified into M + 1 (resp. M + 2 or M + 3 ) when c ( s ) is spacelike (resp. timelike or null). Moreover, when c ( s ) is the first kind, the second kind spacelike curve and the pseudo null curve, M + 1 , is denoted by M + 11 , M + 12 and M + 13 , respectively. Similarly, the canal surfaces M (resp. M 0 ) can be classified into M 1 , M 2 and M 3 (resp. M 0 1 , M 0 2 and M 0 3 ). Naturally, M 1 (resp. M 0 1 ) can be divided into M 11 , M 12 and M 13 (resp. M 0 11 , M 0 12 and M 0 13 ) [5].
Remark 2.
In the present work, we consider the canal surfaces foliated by pseudo spheres S 1 2 which have Frenet curves as center curves, i.e., the canal surfaces of type M + 11 , M + 12 and M + 2 .
In [4], the canal surfaces M + 11 , M + 12 and M + 2 are expressed by
M + 11 : x ( s , θ ) = c ( s ) + r ( s ) { r ( s ) α + 1 r 2 ( s ) cosh θ β + 1 r 2 ( s ) sinh θ γ } ; M + 12 : x ( s , θ ) = c ( s ) + r ( s ) { r ( s ) α + 1 r 2 ( s ) sinh θ β + 1 r 2 ( s ) cosh θ γ } ; M + 2 : x ( s , θ ) = c ( s ) + r ( s ) { r ( s ) α + 1 + r 2 ( s ) cos θ β + 1 + r 2 ( s ) sin θ γ } .
For convenience, the authors assumed r ( s ) = cos φ for M + 11 and M + 12 , r ( s ) = tan φ for M + 2 , where φ = φ ( s ) is a smooth function, then the canal surfaces M + 11 , M + 12 and M + 2 are rewritten by
M + 11 : x ( s , θ ) = c ( s ) + r ( s ) ( cos φ ( s ) α + sin φ ( s ) cosh θ β + sin φ ( s ) sinh θ γ ) ;
M + 12 : x ( s , θ ) = c ( s ) + r ( s ) ( cos φ ( s ) α + sin φ ( s ) sinh θ β + sin φ ( s ) cosh θ γ ) ;
M + 2 : x ( s , θ ) = c ( s ) + r ( s ) ( tan φ ( s ) α + sec φ ( s ) cos θ β + sec φ ( s ) sin θ γ ) .
Example 1.
Let c ( s ) = ( s , 0 , 0 ) be a spacelike curve, the radial function r ( s ) = sin s , then the canal surface M + 11 ( M + 12 ) can be expressed as (see Figure 1)
x ( s , θ ) = ( sin s cos s + s , sin 2 s cosh θ , sin 2 s sinh θ ) .
Example 2.
Let c ( s ) = ( sin s 2 , cos s 2 , 5 2 s ) be a timelike curve, the radial function r ( s ) = sin s , then the canal surface M + 2 can be expressed as (see Figure 2)
x ( s , θ ) = { sin s 2 + 1 4 sin 2 s cos s 2 sin s 1 + cos 2 s ( sin s 2 cos θ 5 2 cos s 2 sin θ ) , cos s 2 1 4 sin 2 s sin s 2 sin s 1 + cos 2 s ( cos s 2 cos θ + 5 2 sin s 2 sin θ ) , 5 2 s + 5 4 sin 2 s + 1 2 sin s 1 + cos 2 s sin θ } .
Proposition 3
([4]). For the canal surface M + 11 (resp. M + 12 , M + 2 ) , the Gaussian curvature K and the mean curvature H satisfy
H = 1 2 ( K r + 1 r ) .
Remark 3.
By Proposition 3, the principal curvatures κ 1 , κ 2 of the canal surface M + 11 (resp. M + 12 , M + 2 ) are given by
κ 1 = K r , κ 2 = 1 r .

3. Main Conclusions

In this section, the classifications of three types of canal surfaces are discussed in terms of their Gauss maps. We prove the results for M + 11 and omit the proofs for M + 12 and M + 2 since they can be similarly done to those of M + 11 in what follows.

3.1. The Canal Surfaces of Type M + 11 with Pointwise 1-Type Gauss Maps

From Equation (2), the canal surface M + 11 is parameterized as
x ( s , θ ) = c ( s ) + r ( s ) ( cos φ ( s ) α + sin φ ( s ) cosh θ β + sin φ ( s ) sinh θ γ ) ,
where cos φ ( s ) = r ( s ) , ( φ [ 0 , π ) ) is a smooth function.
Through direct calculations, we have initially
x s = x s 1 α + x s 2 β + x s 3 γ , x θ = x θ 1 β + x θ 2 γ ,
where
x s 1 = r r r κ sin φ cosh θ + sin 2 φ ; x s 2 = r sin φ cosh θ r r φ cosh θ + r τ sin φ sinh θ r r κ ; x s 3 = r sin φ sinh θ r r φ sinh θ + r τ sin φ cosh θ ; x θ 1 = r sin φ sinh θ ; x θ 2 = r sin φ cosh θ .
Thus, the Gauss map G of M + 11 is
G = cos φ α + sin φ cosh θ β + sin φ sinh θ γ ,
which points towards M + 11 inside and G , G = 1 .
Meanwhile, the quantities of the first fundamental form are obtained as
g 11 = P 1 2 r 2 R 1 2 sin 2 φ , g 12 = r 2 R 1 , g 22 = r 2 sin 2 φ ,
and the quantities of the second fundamental form are written by
h 11 = r R 1 2 P 1 Q 1 sin 2 φ , h 12 = r R 1 , h 22 = r sin 2 φ ,
where
P 1 = r r + r κ sin φ cosh θ sin 2 φ = r Q 1 sin 2 φ , Q 1 = r + κ sin φ cosh θ , R 1 = τ sin 2 φ + r κ sin φ sinh θ .
From Equations (7) and (8), the Gaussian curvature K and the mean curvature H of M + 11 are
K = Q 1 r P 1 , H = 2 P 1 + sin 2 φ 2 r P 1 .
Remark 4.
From g 11 g 22 g 12 2 = r 2 P 1 2 , due to regularity, we see that P 1 0 everywhere.
Serving the following discussion, the Laplacian of the Gauss map G of M + 11 needs to be calculated. First, from the first fundamental form of M + 11 , we have
g 11 = sin 2 φ P 1 2 , g 12 = g 21 = R 1 P 1 2 , g 22 = r 2 R 1 2 P 1 2 r 2 P 1 2 sin 2 φ .
Substituting (6), (7), and (11) into (1), and by putting
U 1 = g 22 H s g 12 H θ , V 1 = g 12 H s + g 11 H θ ,
where
H s = 2 r 2 r κ 2 sin 2 φ cosh 2 θ ( 2 r r κ r 2 κ ) sin 3 φ cosh θ + 5 r 2 r r κ sin φ cosh θ 2 r 2 P 1 2 + 2 r r r sin 2 φ + r 2 r sin 2 φ + 4 r 2 r r 2 + r sin 4 φ 2 r 2 P 1 2 , H θ = κ sin 3 φ sinh θ 2 P 1 2 ,
after complicated arrangements, we get
Δ G = 1 r 2 P 1 2 { [ ( r 2 Q 1 2 + P 1 2 ) cos φ 2 x s 1 U 1 ] α + [ ( r 2 Q 1 2 + P 1 2 ) sin φ cosh θ 2 ( x s 2 U 1 + x θ 1 V 1 ) ] β + [ ( r 2 Q 1 2 + P 1 2 ) sin φ sinh θ 2 ( x s 3 U 1 + x θ 2 V 1 ) ] γ } .
Assume that a canal surface M + 11 satisfies Δ G = f ( G + C ) . Without loss of generality, we may suppose
C = C 1 α + C 2 β + C 3 γ ,
where C 1 = C , α , C 2 = C , β , C 3 = C , γ .
Substituting (6), (14), and (15) into Δ G = f ( G + C ) , we obtain the following equation system:
( r 2 Q 1 2 + P 1 2 ) cos φ 2 x s 1 U 1 = r 2 P 1 2 ( cos φ + C 1 ) f , ( r 2 Q 1 2 + P 1 2 ) sin φ cosh θ 2 ( x s 2 U 1 + x θ 1 V 1 ) = r 2 P 1 2 ( sin φ cosh θ + C 2 ) f , ( r 2 Q 1 2 + P 1 2 ) sin φ sinh θ 2 ( x s 3 U 1 + x θ 2 V 1 ) = r 2 P 1 2 ( sin φ sinh θ + C 3 ) f .
From the last two equations of (16), we have
2 U 1 ( r τ sin 2 φ + r r κ sin φ sinh θ + x s 3 C 2 x s 2 C 3 ) + 2 V 1 ( r sin 2 φ + x θ 2 C 2 x θ 1 C 3 ) = sin φ ( 2 P 1 2 + 2 P 1 sin 2 φ + sin 4 φ ) ( C 2 sinh θ C 3 cosh θ ) .
Rearranging (17) with the help of (5), (9), and (12), we get
2 ( g 22 H s g 12 H θ ) ( r τ sin 2 φ + r r κ sin φ sinh θ + x s 3 C 2 x s 2 C 3 ) + 2 ( g 12 H s + g 11 H θ ) ( r sin 2 φ + r sin φ cosh θ C 2 r sin φ sinh θ C 3 ) = sin φ [ ( r κ sin φ cosh θ + r r sin 2 φ ) 2 + ( r κ sin φ cosh θ + r r ) 2 ] ( C 2 sinh θ C 3 cosh θ ) .
Since { cosh ( m θ ) , sinh ( m θ ) | m N } constructs a set of linearly independent functions, in view of the coefficients of sinh 5 θ and cosh 5 θ in (18) by the aid of (5), (7), and (13), we have
r 6 κ 4 sin 5 φ C 3 = 0 , r 6 κ 4 sin 5 φ C 2 = 0 .
From (19), we consider a non-empty open subset O = { p M + 11 κ ( p ) 0 } of M + 11 . Since r 0 , sin φ 0 , then we have C 2 = C 3 = 0 on O . However, if C 2 = C 3 = 0 , (18) gives
r 2 R 1 2 + g 11 sin 2 φ = P 1 2 = 0
which contradicts the regularity of M + 11 . Hence, κ 0 , M + 11 is a surface of revolution.
Putting c ( s ) = ( s , 0 , 0 ) and α = ( 1 , 0 , 0 ) , β = ( 0 , 1 , 0 ) , γ = ( 0 , 0 , 1 ) , M + 11 can be represented by
x ( s , θ ) = ( s + r ( s ) cos φ , r ( s ) sin φ cosh θ , r ( s ) sin φ sinh θ ) .
Furthermore, when κ = 0 , the first equation of (16) gives
f = ( 2 P 1 2 + 2 P 1 sin 2 φ + sin 4 φ ) cos φ 2 r 2 sin 2 φ P 1 H s r 2 P 1 2 ( cos φ + C 1 ) .
Because P 1 , H s are all functions of s when κ = 0 , Equation (20) yields f = f ( s ) . Then, by the last two equations of (16), we obtain
( r 2 Q 1 2 + P 1 2 ) sin φ cosh θ + 2 r 2 r sin 2 φ H s ( sin φ r φ ) cosh θ = r 2 P 1 2 ( sin φ cosh θ + C 2 ) f , ( r 2 Q 1 2 + P 1 2 ) sin φ sinh θ + 2 r 2 r sin 2 φ H s ( sin φ r φ ) sinh θ = r 2 P 1 2 ( sin φ sinh θ + C 3 ) f .
Because r 0 , P 1 0 and f = f ( s ) , Equation system (21) implies C 2 = C 3 = 0 . In addition,
f ( s ) = 2 P 1 2 + 2 P 1 sin 2 φ + sin 4 φ + 2 r 2 H s P 1 cos φ r 2 P 1 2 .
Combining (20) and (22), we get
2 r 2 H s P 1 ( 1 C 1 r ) + C 1 ( 2 P 1 2 + 2 P 1 sin 2 φ + sin 4 φ ) = 0 .
Substituting (23) into (22), we have
f ( s ) = 2 H s C 1 P 1 = P 1 2 + r 2 Q 1 2 r 2 P 1 2 ( 1 C 1 r ) = 4 H 2 2 K 1 C 1 r .
Noticing that the principal curvatures are given by
κ 1 = r r r + r 2 1 , κ 2 = 1 r
when κ = 0 , and thus the Gaussian curvature K, the mean curvature H can be abbreviated as
K = r r ( r r + r 2 1 ) , H = 2 r r + r 2 1 2 r ( r r + r 2 1 ) .
Due to f 0 , the mean curvature cannot be a constant. With the help of (10), Equation (23) can be rewritten as
2 r 2 H s ( 1 + r H ) ( C 1 r 1 ) = C 1 ( 2 r 2 H 2 + 2 r H + 1 ) ( r 2 1 ) .
Simplifying (27) with the help of (26), the radial function r ( s ) satisfies the following equation:
2 r r + r 2 1 r ( r r + r 2 1 ) = C 1 1 C 1 r ( r r ) 2 + ( r r + r 2 1 ) 2 r 2 ( r r + r 2 1 ) .
Conversely, if M + 11 is a surface of revolution which satisfies (28), then Δ G = f ( G + C ) is satisfied for a non-zero function f as stated by (24) and a constant vector C = ( C 1 , 0 , 0 ) in which C 1 is a non-zero constant.
Theorem 1.
A canal surface M + 11 has a proper pointwise 1-type Gauss map of the second kind iff it is a surface of revolution with the following form:
x ( s , θ ) = ( s + r ( s ) cos φ , r ( s ) sin φ cosh θ , r ( s ) sin φ sinh θ )
which satisfies (28).
Corollary 1.
A canal surface M + 11 with proper pointwise 1-type Gauss map of the second kind satisfies Δ G = f ( G + C ) for a constant vector C = ( C 1 , 0 , 0 ) and non-zero smooth function
f ( s ) = 4 H 2 2 K 1 C 1 r ,
where H and K are given by (26), and C 1 is a non-zero constant.
Corollary 2.
A canal surface M + 11 has 1-type Gauss map of the second kind iff it is a surface of revolution represented as
x ( s , θ ) = ( s + r ( s ) cos φ , r ( s ) sin φ cosh θ , r ( s ) sin φ sinh θ )
which satisfies (30).
Proof. 
When a canal surface M + 11 satisfies Δ G = λ ( G + C ) , ( λ R { 0 } , C 0 ) , by Theorem 1, M + 11 is a surface of revolution which satisfies (28). By Corollary 1, we get
2 r r + r 2 1 r ( r r + r 2 1 ) = λ C 1 ( r r + r 2 1 ) .
From (28) and (29), we get
( r r + r 2 1 ) 2 ( λ r 2 ( 1 C 1 r ) 1 ) ( r r ) 2 = 0 .
The converse is straightforward. □
Theorem 2.
A canal surface M + 11 has proper pointwise 1-type Gauss map of the first kind iff it is minimal. Precisely, it is a part of a surface of revolution as
x ( s , θ ) = ( s + r ( s ) cos φ ( s ) , r ( s ) sin φ ( s ) cosh θ , r ( s ) sin φ ( s ) sinh θ )
which satisfies (33).
Proof. 
A canal surface M + 11 has proper pointwise 1-type Gauss map of the first kind, i.e., Δ G = f G for some smooth function f. From Equation (14), we have
( r 2 Q 1 2 + P 1 2 ) cos φ 2 x s 1 U 1 = r 2 P 1 2 cos φ f , ( r 2 Q 1 2 + P 1 2 ) sin φ cosh θ 2 ( x s 2 U 1 + x θ 1 V 1 ) = r 2 P 1 2 sin φ cosh θ f , ( r 2 Q 1 2 + P 1 2 ) sin φ sinh θ 2 ( x s 3 U 1 + x θ 2 V 1 ) = r 2 P 1 2 sin φ sinh θ f .
From the last two equations of (31), we get
( g 22 H s g 12 H θ ) ( τ sin 2 φ + r κ sin φ sinh θ ) + ( g 12 H s + g 11 H θ ) sin 2 φ = 0 ,
with the help of Equation (7), we obtain P 1 2 H θ = 0 . Therefore, H θ = 0 due to P 1 0 . Furthermore, from the first two equations of (31), we get 2 r 2 P 1 H s = 0 . It is obvious that H s = 0 . Then, the mean curvature of M + 11 is constant.
By the Corollary 3.6 of [4], i.e., the canal surface M + 11 with non-zero constant mean curvature does not exist, thus the canal surface M + 11 is minimal. From the Theorem 3.8 of [4], it is a part of a surface of revolution with the following form:
x ( s , θ ) = ( s + r ( s ) cos φ ( s ) , r ( s ) sin φ ( s ) cosh θ , r ( s ) sin φ ( s ) sinh θ )
which satisfies
s = c 2 ± r r c 1 d r , ( 0 < c 1 < r , c 2 R ) .
Looking back the Equation (31) with the conclusions obtained above, we have
f ( s ) = 2 K = 2 r 2 .
Conversely, suppose that M + 11 is a surface of revolution satisfying (33), M + 11 is minimal from the Theorem 3.8 of [4] and Δ G = f G is satisfied for some non-zero function f given by (34). □
Corollary 3.
A canal surface M + 11 with proper pointwise 1-type Gauss map of the first kind satisfies Δ G = 2 r 2 G .
Assume that a canal surface M + 11 satisfies Δ G = λ G , ( λ R { 0 } ) . By Corollary 3, we have λ = 2 r 2 is a constant, i.e., r is a constant. Thus, we have the following result.
Corollary 4.
A canal surface M + 11 has 1-type Gauss map of the first kind iff it is a circular cylinder.
From Corollary 3, the following conclusion is straightforward since 2 r 2 0 .
Corollary 5.
The canal surface M + 11 with harmonic Gauss map does not exist.

3.2. The Canal Surfaces of Type M + 12 with Pointwise 1-Type Gauss Maps

From Equation (3), the canal surface M + 12 is parameterized as
x ( s , θ ) = c ( s ) + r ( s ) ( cos φ ( s ) α + sin φ ( s ) sinh θ β + sin φ ( s ) cosh θ γ ) ,
where cos φ ( s ) = r ( s ) , ( φ [ 0 , π ) ) is a smooth function.
Through direct calculations, we have initially
x s = x s 1 α + x s 2 β + x s 3 γ , x θ = x θ 1 β + x θ 2 γ ,
where
x s 1 = r r + r κ sin φ sinh θ + sin 2 φ ; x s 2 = r sin φ sinh θ r r φ sinh θ + r τ sin φ cosh θ r r κ ; x s 3 = r sin φ cosh θ r r φ cosh θ + r τ sin φ sinh θ ; x θ 1 = r sin φ cosh θ ; x θ 2 = r sin φ sinh θ .
Thus, the Gauss map G of M + 12 is
G = cos φ α sin φ sinh θ β sin φ cosh θ γ ,
which points towards M + 12 inside and G , G = 1 .
Meanwhile, the quantities of the first fundamental form are obtained as
g 11 = P 2 2 r 2 R 2 2 sin 2 φ , g 12 = r 2 R 2 , g 22 = r 2 sin 2 φ ,
the quantities of the second fundamental form are written by
h 11 = r R 2 2 + P 2 Q 2 sin 2 φ , h 12 = r R 2 , h 22 = r sin 2 φ ,
where
P 2 = r r + r κ sin φ sinh θ + sin 2 φ = r Q 2 + sin 2 φ , Q 2 = r + κ sin φ sinh θ , R 2 = r κ sin φ cosh θ τ sin 2 φ .
From Equations (36) and (37), the Gaussian curvature K and the mean curvature H of M + 12 are
K = Q 2 r P 2 , H = 2 P 2 sin 2 φ 2 r P 2 .
Remark 5.
From g 11 g 22 g 12 2 = r 2 P 2 2 , due to regularity, we see that P 2 0 everywhere.
Next, the Laplacian of the Gauss map G of M + 12 is to be calculated. First, from the first fundamental form of M + 12 , we have
g 11 = sin 2 φ P 2 2 , g 12 = g 21 = R 2 P 2 2 , g 22 = r 2 R 2 2 P 2 2 r 2 P 2 2 sin 2 φ .
Substituting (35), (36), and (38) into (1), by putting
U 2 = g 22 H s g 12 H θ , V 2 = g 12 H s + g 11 H θ ,
where
H s = 2 r 2 r κ 2 sin 2 φ sinh 2 θ ( 2 r r κ r 2 κ ) sin 3 φ sinh θ + 5 r 2 r r κ sin φ sinh θ 2 r 2 P 2 2 + 2 r r r sin 2 φ r 2 r sin 2 φ 4 r 2 r r 2 r sin 4 φ 2 r 2 P 2 2 , H θ = κ sin 3 φ cosh θ 2 P 2 2 ,
after complicated arrangements, we get
Δ G = 1 r 2 P 2 2 { [ ( r 2 Q 2 2 + P 2 2 ) cos φ + 2 x s 1 U 2 ] α + [ ( r 2 Q 2 2 + P 2 2 ) sin φ sinh θ + 2 ( x s 2 U 2 + x θ 1 V 2 ) ] β + [ ( r 2 Q 2 2 + P 2 2 ) sin φ cosh θ + 2 ( x s 3 U 2 + x θ 2 V 2 ) ] γ } .
Due to discussions similar to those of M + 11 , we have the following conclusions directly.
Theorem 3.
A canal surface M + 12 has proper pointwise 1-type Gauss map of the second kind iff it is a surface of revolution with the following form:
x ( s , θ ) = ( s + r ( s ) cos φ , r ( s ) sin φ cosh θ , r ( s ) sin φ sinh θ )
which satisfies
2 r r + r 2 1 r ( r r + r 2 1 ) = C 1 1 + C 1 r ( r r ) 2 + ( r r + r 2 1 ) 2 r 2 ( r r + r 2 1 ) ,
where C 1 is a non-zero constant.
Corollary 6.
A canal surface M + 12 with proper pointwise 1-type Gauss map of the second kind satisfies Δ G = f ( G + C ) for a constant vector C = ( C 1 , 0 , 0 ) and non-zero smooth function
f ( s ) = 4 H 2 2 K 1 + C 1 r ,
where C 1 is a non-zero constant, H and K are given by
K = r r ( r r + r 2 1 ) , H = 2 r r + r 2 1 2 r ( r r + r 2 1 ) .
Corollary 7.
A canal surface M + 12 has 1-type Gauss map of the second kind iff it is a surface of revolution represented as
x ( s , θ ) = ( s + r ( s ) cos φ , r ( s ) sin φ cosh θ , r ( s ) sin φ sinh θ )
which satisfies
( r r + r 2 1 ) 2 ( λ r 2 ( 1 + C 1 r ) + 1 ) + ( r r ) 2 = 0 .
Theorem 4.
A canal surface M + 12 has proper pointwise 1-type Gauss map of the first kind iff it is minimal. Precisely, it is a part of a surface of revolution as
x ( s , θ ) = ( s + r ( s ) cos φ ( s ) , r ( s ) sin φ ( s ) cosh θ , r ( s ) sin φ ( s ) sinh θ )
which satisfies
s = c 2 ± r r c 1 d r , ( 0 < c 1 < r , c 2 R ) .
Corollary 8.
A canal surface M + 12 with proper pointwise 1-type Gauss map of the first kind satisfies Δ G = 2 r 2 G .
Corollary 9.
A canal surface M + 12 has 1-type Gauss map of the first kind iff it is a circular cylinder.
Corollary 10.
The canal surface M + 12 with harmonic Gauss map does not exist.

3.3. The Canal Surfaces of Type M + 2 with Pointwise 1-Type Gauss Maps

From Equation (4), the canal surface M + 2 is parameterized as
x ( s , θ ) = c ( s ) + r ( s ) ( tan φ ( s ) α + sec φ ( s ) cos θ β + sec φ ( s ) sin θ γ ) ,
where tan φ ( s ) = r ( s ) , ( φ ( π 2 , π 2 ) ) is a smooth function.
Through direct calculations, we have initially
x s = x s 1 α + x s 2 β + x s 3 γ , x θ = x θ 1 β + x θ 2 γ ,
where
x s 1 = r r + r κ sec φ cos θ + sec 2 φ ; x s 2 = r sec φ cos θ + r r φ sec φ cos θ + r τ sec φ sin θ + r r κ ; x s 3 = r sec φ sin θ + r r φ sec φ sin θ r τ sec φ cos θ ; x θ 1 = r sec φ sin θ ; x θ 2 = r sec φ cos θ .
Thus, the Gauss map G of M + 2 is
G = tan φ α + sec φ cos θ β + sec φ sin θ γ ,
which points towards M + 2 inside and G , G = 1 .
Meanwhile, the quantities of the first fundamental form are obtained as
g 11 = P 3 2 r 2 R 3 2 sec 2 φ , g 12 = r 2 R 3 , g 22 = r 2 sec 2 φ ,
and the quantities of the second fundamental form are written by
h 11 = r R 3 2 + P 3 Q 3 sec 2 φ , h 12 = r R 3 , h 22 = r sec 2 φ ,
where
P 3 = r r + r κ sec φ cos θ + sec 2 φ = r Q 3 + sec 2 φ , Q 3 = r + κ sec φ cos θ , R 3 = r κ sec φ sin θ + τ sec 2 φ .
From Equations (40) and (41), the Gaussian curvature K and the mean curvature H of M + 2 are
K = Q 3 r P 3 , H = 2 P 3 + sec 2 φ 2 r P 3 .
Remark 6.
From g 11 g 22 g 12 2 = r 2 P 3 2 , due to regularity, we see that P 3 0 everywhere.
In the following, the Laplacian of the Gauss map G of M + 2 is to be calculated. First, from the first fundamental form of M + 2 , we have
g 11 = sec 2 φ P 3 2 , g 12 = g 21 = R 3 P 3 2 , g 22 = P 3 2 r 2 R 3 2 r 2 P 3 2 sec 2 φ .
Substituting (39), (40), and (43) into (1), by putting
U 3 = g 22 H s g 12 H θ , V 3 = g 12 H s + g 11 H θ ,
where
H s = 2 r 2 r κ 2 sec 2 φ cos 2 θ + ( 2 r r κ r 2 κ ) sec 3 φ cos θ + 5 r 2 r r κ sec φ cos θ 2 r 2 P 3 2 + 2 r r r sec 2 φ r 2 r sec 2 φ + 4 r 2 r r 2 + r sec 4 φ 2 r 2 P 3 2 , H θ = κ sec 3 φ sin θ 2 P 3 2 ,
through complicated arrangements, we get
Δ G = 1 r 2 P 3 2 { [ ( r 2 Q 3 2 + P 3 2 ) tan φ 2 x s 1 U 3 ] α + [ ( r 2 Q 3 2 + P 3 2 ) sec φ cos θ 2 ( x s 2 U 3 + x θ 1 V 3 ) ] β + [ ( r 2 Q 3 2 + P 3 2 ) sec φ sin θ 2 ( x s 3 U 3 + x θ 2 V 3 ) ] γ } .
Due to discussions similar to those of M + 11 and M + 12 , the following results for M + 2 can be given directly.
Theorem 5.
A canal surface M + 2 has proper pointwise 1-type Gauss map of the second kind iff it is a surface of revolution with the following form:
x ( s , θ ) = ( r ( s ) sec φ sin θ , r ( s ) sec φ cos θ , s + r ( s ) tan φ )
which satisfies
2 r r + r 2 + 1 r ( r r + r 2 + 1 ) = C 1 1 C 1 r ( r r ) 2 + ( r r + r 2 + 1 ) 2 r 2 ( r r + r 2 + 1 ) ,
where C 1 is a non-zero constant.
Corollary 11.
A canal surface M + 2 with proper pointwise 1-type Gauss map of the second kind satisfies Δ G = f ( G + C ) for a constant vector C = ( C 1 , 0 , 0 ) and non-zero smooth function
f ( s ) = 4 H 2 2 K 1 C 1 r ,
where C 1 is a non-zero constant, H and K are given by
K = r r ( r r + r 2 + 1 ) , H = 2 r r + r 2 + 1 2 r ( r r + r 2 + 1 ) .
Corollary 12.
A canal surface M + 2 has 1-type Gauss map of the second kind iff it is a surface of revolution represented as
x ( s , θ ) = ( r ( s ) sec φ sin θ , r ( s ) sec φ cos θ , s + r ( s ) tan φ )
where r ( s ) satisfies
( r r + r 2 + 1 ) 2 ( λ r 2 ( 1 C 1 r ) 1 ) ( r r ) 2 = 0 .
Theorem 6.
A canal surface M + 2 has proper pointwise 1-type Gauss map of the first kind iff it is minimal. Precisely, it is a part of a surface of revolution as
x ( s , θ ) = ( r ( s ) sec φ sin θ , r ( s ) sec φ cos θ , s + r ( s ) tan φ ) ,
which satisfies
s = c 2 ± r c 1 r d r , ( c 1 > r > 0 , c 2 R ) .
Corollary 13.
A canal surface M + 2 with proper pointwise 1-type Gauss map of the first kind satisfies Δ G = 2 r 2 G .
Corollary 14.
A canal surface M + 2 has 1-type Gauss map of the first kind iff it is a circular cylinder.
Corollary 15.
The canal surface M + 2 with harmonic Gauss map does not exist.
Until now, the canal surfaces foliated by pseudo spheres S 1 2 along the Frenet curves, i.e., M + 11 , M + 12 , and M + 2 have been classified in terms of their Gauss maps completely. The similar works for the canal surfaces M 11 , M 12 and M 2 will be done in the near future. At the same time, considering that the canal surfaces M 0 foliated by lightlike cones Q 2 along a space curve are degenerate [4,5], the canal surfaces M + 13 , M + 3 (resp. M 13 , M 3 ) foliated by pseudo spheres S 1 2 (resp. pseudo hyperbolic spheres H 0 2 ) along a pseudo null curve or a null curve, respectively, are to be investigated in our future works.

Author Contributions

J.Q., X.T. and X.F. set up the problem and calculated the details. Y.H.K. checked and polished the draft. All authors have read and agreed to the published version of the manuscript.

Funding

The first author was supported by NSFC (No. 11801065) and the Fundamental Research Funds for the Central Universities (N2005012). The fourth author was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (NRF-2020R1I1A3051852).

Acknowledgments

We thank the referee for the careful review and the valuable comments to improve the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kim, Y.H.; Liu, H.L.; Qian, J.H. Some characterizations of canal surfaces. Bull. Korean Math. Soc. 2016, 53, 461–477. [Google Scholar] [CrossRef]
  2. Qian, J.H.; Kim, Y.H. Some classification of canal surfaces with the Gauss Map. Bull. Malays. Math. Sci. Soc. 2019, 42, 3261–3272. [Google Scholar] [CrossRef]
  3. Xu, Z.Q.; Feng, R.Z.; Sun, J.G. Analytic and algebraic properties of canal surfaces. J. Comput. Appl. Math. 2006, 195, 220–228. [Google Scholar] [CrossRef] [Green Version]
  4. Fu, X.S.; Jung, S.D.; Qian, J.H.; Su, M.F. Geometric charaterizations of canal surfaces in Minkowski 3-space I. Bull. Korean Math. Soc. 2019, 56, 867–883. [Google Scholar]
  5. Qian, J.H.; Su, M.F.; Fu, X.S.; Jung, S.D. Geometric characterizations of canal surfaces in Minkowski 3-space II. Mathematics 2019, 7, 703. [Google Scholar] [CrossRef] [Green Version]
  6. Ucum, A.; Ilarslan, K. New Types of Canal Surfaces in Minkowski 3-Space. Adv. Appl. Clifford Algebras 2016, 26, 449–468. [Google Scholar] [CrossRef]
  7. Chen, B.Y.; Choi, M.; Kim, Y.H. Surfaces of revolution with pointwise 1-type Gauss map. J. Korean Math. Soc. 2005, 42, 447–455. [Google Scholar] [CrossRef]
  8. Choi, M.; Kim, Y.H.; Liu, H.L.; Yoon, D.W. Helicoidal surfaces and their Gauss map in Minkowski 3-space. Bull. Korean Math. Soc. 2010, 47, 859–881. [Google Scholar] [CrossRef] [Green Version]
  9. Kim, Y.H.; Yoon, D.W. Ruled surfaces with pointwise 1-type Gauss map. J. Geom. Phys. 2000, 34, 191–205. [Google Scholar] [CrossRef]
  10. Lopez, R. Differential geometry of curves and surfaces in Lorentz-Minkowski Space. Int. Electron. J. Geom. 2014, 7, 44–107. [Google Scholar] [CrossRef] [Green Version]
Figure 1. M + 11 ( M + 12 ) with r ( s ) = sin s .
Figure 1. M + 11 ( M + 12 ) with r ( s ) = sin s .
Mathematics 08 01453 g001
Figure 2. M + 2 with r ( s ) = sin s .
Figure 2. M + 2 with r ( s ) = sin s .
Mathematics 08 01453 g002

Share and Cite

MDPI and ACS Style

Qian, J.; Tian, X.; Fu, X.; Kim, Y.H. Classifications of Canal Surfaces with the Gauss Maps in Minkowski 3-Space. Mathematics 2020, 8, 1453. https://doi.org/10.3390/math8091453

AMA Style

Qian J, Tian X, Fu X, Kim YH. Classifications of Canal Surfaces with the Gauss Maps in Minkowski 3-Space. Mathematics. 2020; 8(9):1453. https://doi.org/10.3390/math8091453

Chicago/Turabian Style

Qian, Jinhua, Xueqian Tian, Xueshan Fu, and Young Ho Kim. 2020. "Classifications of Canal Surfaces with the Gauss Maps in Minkowski 3-Space" Mathematics 8, no. 9: 1453. https://doi.org/10.3390/math8091453

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