Next Article in Journal
Non-Gaussian Quadrature Integral Transform Solution of Parabolic Models with a Finite Degree of Randomness
Next Article in Special Issue
Almost Complex Surfaces in the Nearly Kähler SL(2,ℝ) × SL(2,ℝ)
Previous Article in Journal
Coefficient Related Studies for New Classes of Bi-Univalent Functions
Previous Article in Special Issue
A Remarkable Property of Concircular Vector Fields on a Riemannian Manifold
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Dual Associate Null Scrolls with Generalized 1-Type Gauss Maps

1
Department of Mathematics, Northeastern University, Shenyang 110004, China
2
Department of Mathematics, Jeju National University, Jeju 690-756, Korea
*
Authors to whom correspondence should be addressed.
Mathematics 2020, 8(7), 1111; https://doi.org/10.3390/math8071111
Submission received: 25 May 2020 / Revised: 27 June 2020 / Accepted: 30 June 2020 / Published: 6 July 2020
(This article belongs to the Special Issue Riemannian Geometry of Submanifolds)

Abstract

:
In this work, a pair of dual associate null scrolls are defined from the Cartan Frenet frame of a null curve in Minkowski 3-space. The fundamental geometric properties of the dual associate null scrolls are investigated and they are related in terms of their Gauss maps, especially the generalized 1-type Gauss maps. At the same time, some representative examples are given and their graphs are plotted by the aid of a software programme.

1. Introduction

In differential geometry, the associate curves and associate surfaces such as the Bertrand curve, the Mannheim curve, evolute-involute pair, the parallel surfaces and the focal surfaces etc. compose a large class of fascinating subjects in the curve and surface theory not only in Euclidean space but also in pseudo-Euclidean space, such as Minkowski space [1,2,3,4]. However, due to the difference of metric between Euclidean space and Minkowski space, there are cases where there are differences. For example, the Bertrand curve could be involved by the directional associated curve of a space curve due to the causal character of vectors in Minkowski space [5].
As the simplest foliated submanifolds, ruled surfaces are divided into five types according to the causal character of the base curve and the ruling flow [6]. Among of them, for the ruled surfaces with lightlike rulings, the base curves can be null curves or non-null curves obviously. It is worth noting that the ruled surfaces with non-null base curves are equivalent to the ones with null base curves via the appropriate transformation as stated in [7]. Without loss of generality, we always can choose a null curve as the base curve of a ruled surface with lightlike ruling and the normalization condition is satisfied at the same time, which is said to be a null scroll [7,8,9,10]. Furthermore, the null scroll under Cartan Frenet frame is called a B-scroll [11].
Considering the normalization condition of a null scroll and the Frenet frame of a null curve, in the present work, a pair of null scrolls satisfying the same normalization condition are constructed, i.e., the tangent vector field of the base curve of the first null scroll is set as the ruling flow of the second null scroll and the tangent vector field of the base curve of the second null scroll is set as the ruling flow of the first null scroll. Since the 1970’s, many research works about the classification of submanifolds respect to the Laplacian of Gauss maps have been done in Euclidean space and Minkowski space, which are very useful tools in investigating and characterizing many important submanifolds [12,13,14,15]. Based on the fundamental geometric properties of the null scroll pair, we aim at the Laplacian of the Gauss maps of the dual associate null scrolls according to the current progress for the classifications of submanifolds respect to the Gauss maps proposed in [16], i.e., the generalized 1-type Gauss map, which can be regarded as a generalization of both 1-type Gauss map and pointwise 1-type Gauss map. The Gauss map G of a submanifold M is of generalized 1-type if the Gauss map G of M satisfies
Δ G = f G + g C
for some non-zero functions ( f , g ) on M and a constant vector C, where Δ denotes the Laplacian defined on M , which is given by
Δ = 1 | G | i , j x i ( | G | g i j x j ) ,
where ( x 1 , , x n ) is a local coordinate system of M , g i j the components of the inverse matrix of the first fundamental form of M and G the determinant of the first fundamental form of M [17]. Especially, if both f and g are non-zero constants, (1) can be written by Δ G = μ ( G + C ) , ( μ R { 0 } ) . In this case, the Gauss map is just of 1-type in the usual sense. If the function f is equal to g, (1) can be expressed by Δ G = f ( G + C ) . The Gauss map is said to be of pointwise 1-type. More precisely, the pointwise 1-type Gauss map is said to be of the first kind when C = 0 , or else the second kind. If f and g vanish identically, then G is said to be harmonic.
The paper is organized as follows. In Section 2, some basic facts including the Frenet formula and the structure function of null curves are reviewed, then a pair of associate curves on lightlike cone and a dual associate null scrolls are defined. In Section 3, the geometric properties such as the Gaussian curvatures, mean curvatures and the Laplacians of the Gauss maps are shown and the generalized 1-type Gauss maps are discussed, respectively. The relationships between the dual associate null scrolls are explored and summarized.
Throughout this paper, all the geometric objects under consideration are smooth and all surfaces are connected unless otherwise stated.

2. Preliminaries

Let E 1 3 be the Minkowski 3-space with natural Lorentzian metric
· , · = 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 in E 1 3 is said 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 a vector v is defined by v = | v , v | . An arbitrary curve r is spacelike, timelike or lightlike if its tangent vector r is spacelike, timelike or lightlike, correspondingly. At the same time, a surface is said to be timelike, spacelike or lightlike if its normal vector is spacelike, timelike or lightlike, respectively.
Proposition 1
([5]). Let r ( s ) be a null curve parameterized by the null arc length s (i.e., r ( s ) = 1 )in E 1 3 . Then there exists a unique Cartan frame { r ( s ) = T ( s ) , N ( s ) , B ( s ) } such that
T ( s ) = N ( s ) , N ( s ) = κ ( s ) T ( s ) B ( s ) , B ( s ) = κ ( s ) N ( s ) ,
where T ( s ) , T ( s ) = B ( s ) , B ( s ) = T ( s ) , N ( s ) = B ( s ) , N ( s ) = 0 , T ( s ) , B ( s ) = N ( s ) , N ( s ) = 1 and T ( s ) = N ( s ) × T ( s ) , N ( s ) = T ( s ) × B ( s ) , B ( s ) = N ( s ) × B ( s ) .
In the sequence, T ( s ) , N ( s ) and B ( s ) is called the tangent, principal normal and binormal vector field of r ( s ) , respectively. From (3), it is easy to know that κ ( s ) = 1 2 r ( s ) , r ( s ) . The function κ ( s ) is called the null curvature of r ( s ) , which is an invariant under Lorentzian transformations [18].
Considering the relationship between the tangent vector field T ( s ) and the binormal vector field B ( s ) of a null curve r ( s ) , i.e., T ( s ) , B ( s ) = 1 , we could define a pair of associate curves on lightlike cone as follows:
Definition 1.
Let r ( s ) be a null curve framed by { T ( s ) , N ( s ) , B ( s ) } in E 1 3 . Then b 1 ( s ) = λ ( s ) T ( s ) , b 2 ( s ) = 1 λ ( s ) B ( s ) is called a generalized T-associate curve and a generalized B-associate curve of r ( s ) for some non-zero smooth function λ ( s ) , respectively. b 1 ( s ) and b 2 ( s ) are called dual associate curves of r ( s ) on lightlike cone.
In [5], the authors introduced the structure function and the representation formula of a null curve. Namely,
Proposition 2
([5]). Let r ( s ) : I E 1 3 be a null curve. Then r ( s ) can be written as
r ( s ) = 1 2 f ( f 2 1 , 2 f , f 2 + 1 ) d s , ( f = d f d s ) ,
where f = f ( s ) is called the structure function of r ( s ) . And the null curvature κ ( s ) of r ( s ) can be expressed by
κ ( s ) = 1 2 [ ( log f ) ] 2 ( log f ) .
Definition 2
([6]). Let a ( s ) : I 1 E 1 3 be a null curve parameterized by null arc length and b ( s ) a transversal null vector field along a ( s ) . Then the immersion
X ( s , t ) = a ( s ) + t b ( s ) , ( t I 2 R )
is called a null scroll which satisfies a ( s ) , a ( s ) = 0 , b ( s ) , b ( s ) = 0 and the normalization condition a ( s ) , b ( s ) = 1 .
According to the definitions of generalized T-associate curve, generalized B-associate curve of a null curve and the definition of null scrolls, we want to construct a pair of null scrolls which satisfy the same normalization condition. This idea motivate the following definition.
Definition 3.
Let r ( s ) be a null curve framed by { T ( s ) , N ( s ) , B ( s ) } in E 1 3 , b 1 ( s ) and b 2 ( s ) dual associate curves of r ( s ) . Then
X 1 ( s , t 1 ) = b 2 ( s ) d s + t 1 b 1 ( s )
is called a null scroll with generalized T-lightlike ruling;
X 2 ( s , t 2 ) = b 1 ( s ) d s + t 2 b 2 ( s )
is called a null scroll with generalized B-lightlike ruling. The null scrolls X 1 ( s , t 1 ) and X 2 ( s , t 2 ) are called dual associate null scrolls.
As the straightforward conclusion of Proposition 2, Definitions 1 and 3, we have
Proposition 3.
Let r ( s ) be a null curve with structure function f = f ( s ) in E 1 3 . Then
  • the dual associate curves b i ( s ) ( i = 1 , 2 ) of r ( s ) can be expressed by
    b 1 ( s ) = λ 2 f ( f 2 1 , 2 f , f 2 + 1 ) , b 2 ( s ) = 1 λ ( f 2 4 f 3 ( f 2 1 , 2 f , f 2 + 1 ) + f f ( f , 1 , f ) f ( 1 , 0 , 1 ) ) ;
  • the dual associate null scrolls X i ( s ) ( i = 1 , 2 ) can be expressed by
    X 1 ( s , t 1 ) = 1 λ ( f 2 4 f 3 ( f 2 1 , 2 f , f 2 + 1 ) + f f ( f , 1 , f ) f ( 1 , 0 , 1 ) ) d s + t 1 λ 2 f ( f 2 1 , 2 f , f 2 + 1 ) , X 2 ( s , t 2 ) = λ 2 f ( f 2 1 , 2 f , f 2 + 1 ) d s + t 2 1 λ ( f 2 4 f 3 ( f 2 1 , 2 f , f 2 + 1 ) + f f ( f , 1 , f ) f ( 1 , 0 , 1 ) ) .
Obviously, the dual associate curves and the dual associate null scrolls are decided by the function λ ( s ) and the structure function f ( s ) , completely. The following example can explain the construction of the defined dual associate null scrolls.
Example 1.
Consider a null curve r ( s ) with null curvature κ ( s ) = 4 s 2 . From Proposition 2, we have
1 2 [ ( log f ) ] 2 ( log f ) = 4 s 2 .
Solving the above differential equation, we have f ( s ) = s 3 or f ( s ) = s 3 . From Proposition 3, we have
  • when λ ( s ) = 1 3 , the dual associate curves and the dual associate null scrolls can be written as (see Figure 1 and Figure 2)
    b 1 ( s ) = s 18 ( s 3 s 3 , 2 , s 3 + s 3 ) , b 2 ( s ) = ( 4 s 2 + s 4 , 4 s 1 , 4 s 2 s 4 )
    and
    X 1 ( s , t 1 ) = 1 3 ( 4 s 3 s 3 , 12 log s , 4 s 3 + s 3 ) + t 1 s 18 ( s 3 s 3 , 2 , s 3 + s 3 ) , X 2 ( s , t 2 ) = 1 18 ( s 5 5 + s 1 , s 2 , s 5 5 s 1 ) + t 2 ( 4 s 2 + s 4 , 4 s 1 , 4 s 2 s 4 ) ;
  • when λ ( s ) = s , the dual associate curves and the dual associate null scrolls can be written as (see Figure 3 and Figure 4)
    b 1 ( s ) = s 2 6 ( s 3 s 3 , 2 , s 3 + s 3 ) , b 2 ( s ) = 1 3 s ( 4 s 2 + s 4 , 4 s 1 , 4 s 2 s 4 )
    and
    X 1 ( s , t 1 ) = 1 3 ( 2 s 2 1 4 s 4 , 4 s 1 , 2 s 2 + 1 4 s 4 ) + t 1 s 2 6 ( s 3 s 3 , 2 , s 3 + s 3 ) , X 2 ( s , t 2 ) = 1 36 ( s 6 6 log s , 4 s 3 , s 6 + 6 log s ) + t 2 3 s ( 4 s 2 + s 4 , 4 s 1 , 4 s 2 s 4 ) .

3. Main Result

We will discuss the geometric properties of the dual associate null scrolls and the Laplacians of their Gauss maps.

3.1. The Null Scroll with Generalized T-Lightlike Ruling

To meet the requirements of discussion, we prepare some basic elements of X 1 ( s , t 1 ) . Initially, from (6) and Proposition 1, we have
X 1 s = t 1 λ T + t 1 λ N + 1 λ B , X 1 t 1 = λ T .
Based on above equations, the components of the first fundamental form g i j ( i , j = 1 , 2 ) are
g 11 = X 1 s , X 1 s = t 1 2 λ 2 + 2 t 1 λ λ , g 12 = X 1 s , X 1 t 1 = 1 , g 22 = X 1 t 1 , X 1 t 1 = 0 ,
then, we have g 11 g 22 g 12 2 = 1 . Meanwhile, the Gauss map G 1 of X 1 is given by
G 1 = X 1 s × X 1 t 1 X 1 s × X 1 t 1 = t 1 λ 2 T N
which satisfies G 1 , G 1 = 1 . Furthermore, by (9), we have
G 1 s = ( 2 t 1 λ λ κ ) T + t 1 λ 2 N + B , G 1 t 1 = λ 2 T .
Then, the components of the second fundamental form h i j ( i , j = 1 , 2 ) are
h 11 = X 1 s , G 1 s = κ λ 3 t 1 λ t 1 2 λ 3 , h 12 = X 1 t 1 , G 1 s = λ , h 22 = X 1 t 1 , G 1 t 1 = 0 .
By (8) and (11), the Gaussian curvature K 1 and the mean curvature H 1 of X 1 are given by, respectively
K 1 = h 11 h 22 h 12 2 g 11 g 22 g 12 2 = λ 2 ,
H 1 = g 11 h 22 2 g 12 h 12 + g 22 h 11 2 ( g 11 g 22 g 12 2 ) = λ .
Obviously, the Gaussian curvature K 1 and the mean curvature H 1 of X 1 satisfy
H 1 2 = K 1 = λ 2 .
From now on, we compute the Laplacian of Gauss map G 1 and discuss the null scroll X 1 with generalized 1-type Gauss map.
By (2), the Laplacian Δ 1 of the null scroll X 1 is obtained by
Δ 1 = 2 s t 1 + 2 ( λ 2 t 1 + λ λ ) t 1 + ( λ 2 t 1 2 + 2 λ t 1 λ ) 2 t 1 2 .
Substituting (9) into (15), we get
Δ 1 G 1 = ( 2 λ 4 t 1 2 λ λ ) T 2 λ 2 N = ( 2 K 1 2 t 1 K 1 ) T 2 K 1 N .
Suppose that X 1 has generalized 1-type Gauss map, i.e., Δ 1 G 1 = f 1 G 1 + g 1 C 1 . Without loss of generality, we may decompose the constant vector C 1 via the Cartan frame { T , N , B } of the null curve r ( s ) as
C 1 = C 11 T + C 12 N + C 13 B ,
where C 11 = C 1 , B , C 12 = C 1 , N , C 13 = C 1 , T .
Substituting (9), (16) and (17) into Δ 1 G 1 = f 1 G 1 + g 1 C 1 , we obtain the following equation system
2 λ 4 t 1 2 λ λ = λ 2 t 1 f 1 + g 1 C 11 , 2 λ 2 = g 1 C 12 f 1 , g 1 C 13 = 0 .
Since g 1 is a non-zero smooth function, then C 13 = 0 from the last equation of (18). Furthermore, by the first two equations of (18), we have
f 1 ( s , t 1 ) = C 12 ( 2 λ 4 t 1 2 λ λ ) + 2 λ 2 C 11 C 12 λ 2 t 1 + C 11 = C 12 ( 2 K 1 2 t 1 K 1 ) + 2 K 1 C 11 C 12 K 1 t 1 + C 11 , g 1 ( s , t 1 ) = 2 λ λ C 12 λ 2 t 1 + C 11 = K 1 C 12 K 1 t 1 + C 11 ,
where C 11 2 + C 12 2 0 . Meanwhile, λ is a non-constant function since g 1 is a non-zero smooth function.
Conversely, if we use the above information with the given functions ( f 1 , g 1 ) in (19) and the constant vector C 1 , then the null scroll X 1 satisfies Δ 1 G 1 = f 1 G 1 + g 1 C 1 .
Theorem 1.
Let X 1 be a null scroll with generalized T-lightlike ruling in E 1 3 . Then X 1 has generalized 1-type Gauss map if and only if the Gauss map G 1 of X 1 satisfies
Δ 1 G 1 = f 1 G 1 + g 1 C 1
for some non-zero smooth functions ( f 1 , g 1 ) as
f 1 = f 1 ( s , t 1 ) = C 12 ( 2 λ 4 t 1 2 λ λ ) + 2 λ 2 C 11 C 12 λ 2 t 1 + C 11 = C 12 ( 2 K 1 2 t 1 K 1 ) + 2 K 1 C 11 C 12 K 1 t 1 + C 11 , g 1 = g 1 ( s , t 1 ) = 2 λ λ C 12 λ 2 t 1 + C 11 = K 1 C 12 K 1 t 1 + C 11
and a constant vector C 1 = ( C 11 , C 12 , 0 ) . Where C 11 2 + C 12 2 0 , λ = λ ( s ) is a non-constant smooth function.
Remark 1.
Particularly, when C 1 = ( C 11 , 0 , 0 ) , ( C 11 0 ), the functions ( f 1 , g 1 ) only depend on s, i.e.,
f 1 = f 1 ( s ) = 2 λ 2 = 2 K 1 , g 1 = g 1 ( s ) = 2 λ λ C 11 = K 1 C 11 .
Corollary 1.
Let X 1 be a null scroll with generalized T-lightlike ruling in E 1 3 . Then X 1 has pointwise 1-type Gauss map of the second kind if and only if the Gauss map G 1 of X 1 satisfies
Δ 1 G 1 = f 1 ( G 1 + C 1 )
for some non-zero smooth function f 1 as
f 1 = f 1 ( s ) = 2 λ 2 = C 0 2 e 2 C 11 s , ( C 0 R { 0 } )
and a constant vector C 1 = ( C 11 , 0 , 0 ) , ( C 11 0 ).
Proof of Corollary 1.
Suppose that the null scroll X 1 has pointwise 1-type Gauss map of the second kind. It means that f 1 = g 1 in Theorem 1. Thus, we have
λ 4 C 12 t 1 λ λ C 12 + λ λ = λ 2 C 11 .
From (20), we can get the following equation system
λ 4 C 12 t 1 = 0 , λ λ C 12 + λ λ = λ 2 C 11 .
Since λ is a non-zero smooth function, C 12 = 0 is concluded from the first equation of (21). By the second equation of (21), we get differential equation λ λ = λ 2 C 11 . Solving this equation, we have
λ = C 0 2 e C 11 s ( C 0 R { 0 } ) .
By Remark 1, f 1 = 2 λ 2 = C 0 2 e 2 C 11 s , ( C 11 0 ). Conversely, if we use the above information with the given function f 1 and constant vector C 1 , the null scroll X 1 satisfies Δ 1 G 1 = f 1 ( G 1 + C 1 ) .  □
Corollary 2.
There does not exist the null scroll with generalized T-lightlike ruling in E 1 3 which has 1-type Gauss map of the second kind.
Proof of Corollary 2.
Suppose that the null scroll X 1 has 1-type Gauss map of the second kind, i.e., Δ 1 G 1 = μ ( G 1 + C 1 ) , ( μ R { 0 } ) . It means that f 1 = μ , then C 11 = 0 which contradicts with C 11 0 in Corollary 1.  □
Corollary 3.
Let X 1 be a null scroll with generalized T-lightlike ruling in E 1 3 . Then X 1 has pointwise 1-type Gauss map of the first kind if and only if one of the following statements holds:
  • X 1 has 1-type Gauss map of the first kind;
  • X 1 has non-zero constant Gaussian curvature or non-zero constant mean curvature.
Proof of Corollary 3
Suppose that the null scroll X 1 has pointwise 1-type Gauss map of the first kind, i.e., Δ 1 G 1 = f 1 G 1 . From Corollary 1, we can get C 11 = 0 and f 1 = 2 λ 2 = C 0 2 . Therefore, X 1 has 1-type Gauss map of the first kind since Δ 1 G 1 = C 0 2 G 1 , ( C 0 R { 0 } ) . By (12) and (13), the Gaussian curvature K 1 and the mean curvature H 1 are non-zero constant. Conversely, if one of the statements holds, it follows that λ is a non-zero constant. This completes the proof.  □
Corollary 4.
There does not exist the null scroll with generalized T-lightlike ruling in E 1 3 which has harmonic Gauss map.
Proof of Corollary 4
Suppose that the null scroll X 1 has harmonic Gauss map, i.e., Δ 1 G 1 = 0 . Then, we have λ = 0 and it is impossible.  □

3.2. The Null Scroll with Generalized B-Lightlike Ruling

To meet the requirements of discussion, we prepare some basic elements of X 2 . Initially, from (7) and Proposition 1, we have
X 2 s = λ T t 2 κ λ N t 2 λ λ 2 B , X 2 t 2 = 1 λ B .
Based on above equations, the components of the first fundamental form g i j ( i , j = 1 , 2 ) are
g 11 = X 2 s , X 2 s = t 2 2 κ 2 λ 2 2 t 2 λ λ , g 12 = X 2 s , X 2 t 2 = 1 , g 22 = X 2 t 2 , X 2 t 2 = 0 ,
then, we have g 11 g 22 g 12 2 = 1 . Meanwhile, the Gauss map G 2 of X 2 is given by
G 2 = X 2 s × X 2 t 2 X 2 s × X 2 t 2 = N + t 2 κ λ 2 B
which satisfies G 2 , G 2 = 1 . Furthermore, by (23), we have
G 2 s = κ T t 2 κ 2 λ 2 N + ( t 2 ( κ λ 2 ) 1 ) B , G 2 t 2 = κ λ 2 B .
Then, the components of the second fundamental form h i j ( i , j = 1 , 2 ) are
h 11 = X 2 s , G 2 s = λ ( 1 t 2 ( κ λ 2 ) ) t 2 2 κ 3 λ 3 + t 2 κ λ λ 2 , h 12 = X 2 t 2 , G 2 s = κ λ , h 22 = X 2 t 2 , G 2 t 2 = 0 .
By (22) and (25), the Gaussian curvature K 2 and the mean curvature H 2 of X 2 are given by, respectively
K 2 = h 11 h 22 h 12 2 g 11 g 22 g 12 2 = κ 2 λ 2 ,
H 2 = g 11 h 22 2 g 12 h 12 + g 22 h 11 2 ( g 11 g 22 g 12 2 ) = κ λ .
It is evident that the Gaussian curvature K 2 and the mean curvature H 2 of X 2 satisfy
H 2 2 = K 2 = κ 2 λ 2 .
From now on, we compute the Laplacian of Gauss map G 2 and discuss the null scroll X 2 with generalized 1-type Gauss map.
By (2), the Laplacian Δ 2 of the null scroll X 2 is obtained by
Δ 2 = 2 s t 2 + 2 ( κ 2 t 2 λ 2 λ λ ) t 2 + ( κ 2 t 2 2 λ 2 2 λ t 2 λ ) 2 t 2 2 .
Substituting (23) into (29), we get
Δ 2 G 2 = 2 κ 2 λ 2 N + ( 2 κ λ λ 3 + 2 κ 3 t 2 λ 4 2 κ λ 2 ) B = 2 K 2 N + 2 K 2 2 t 2 K 2 κ B .
Suppose that X 2 has generalized 1-type Gauss map, i.e., Δ 2 G 2 = f 2 G 2 + g 2 C 2 . Without loss of generality, we may decompose the constant vector C 2 via the Cartan frame { T , N , B } of r ( s ) as
C 2 = C 21 T + C 22 N + C 23 B ,
where C 21 = C 2 , B , C 22 = C 2 , N , C 23 = C 2 , T .
Substituting (23), (30) and (31) into Δ 2 G 2 = f 2 G 2 + g 2 C 2 , we obtain the following equation system
g 2 C 21 = 0 , f 2 + g 2 C 22 = 2 κ 2 λ 2 , f 2 κ t 2 λ 2 + g 2 C 23 = 2 κ λ λ 3 + 2 κ 3 t 2 λ 4 2 κ λ 2 .
Since g 2 is a non-zero smooth function, from the first equation of (32), we conclude C 21 = 0 . By the last two equations of (32), we have
f 2 ( s , t 2 ) = C 22 ( 2 κ λ λ + 2 κ 3 t 2 2 κ λ 2 ) 2 C 23 κ 2 λ 2 λ 2 ( C 22 κ t 2 C 23 λ 2 ) = C 22 ( 2 K 2 2 t 2 K 2 ) 2 C 23 κ K 2 C 22 K 2 t 2 C 23 κ , g 2 ( s , t 2 ) = 2 λ ( κ λ ) C 22 κ t 2 C 23 λ 2 = K 2 C 22 K 2 t 2 C 23 κ ,
where C 22 2 + C 23 2 0 . Meanwhile, κ λ is a non-constant function since g 2 is a non-zero smooth function.
Conversely, if we use the above information with the given functions ( f 2 , g 2 ) in (33) and the constant vector C 2 , the null scroll X 2 satisfies Δ 2 G 2 = f 2 G 2 + g 2 C 2 .
Theorem 2.
Let X 2 be a null scroll with generalized B-lightlike ruling in E 1 3 . Then X 2 has generalized 1-type Gauss map if and only if the Gauss map G 2 of X 2 satisfies
Δ 2 G 2 = f 2 G 2 + g 2 C 2
for some non-zero smooth functions ( f 2 , g 2 ) as
f 2 = f 2 ( s , t 2 ) = C 22 ( 2 κ λ λ + 2 κ 3 t 2 2 κ λ 2 ) 2 C 23 κ 2 λ 2 λ 2 ( C 22 κ t 2 C 23 λ 2 ) = C 22 ( 2 K 2 2 t 2 K 2 ) 2 C 23 κ K 2 C 22 K 2 t 2 C 23 κ , g 2 = g 2 ( s , t 2 ) = 2 λ ( κ λ ) C 22 κ t 2 C 23 λ 2 = K 2 C 22 K 2 t 2 C 23 κ
and a constant vector C 2 = ( 0 , C 22 , C 23 ) . Where C 22 2 + C 23 2 0 and κ λ is a non-constant smooth function.
Remark 2.
In particular, when C 2 = ( 0 , 0 , C 23 ) , ( C 23 0 ), the functions ( f 2 , g 2 ) only depend on s, i.e.,
f 2 = f 2 ( s ) = 2 κ 2 λ 2 = 2 K 2 , g 2 = g 2 ( s ) = 2 ( κ λ κ λ ) C 23 λ 3 = K 2 C 23 κ .
Corollary 5.
Let X 2 be a null scroll with generalized B-lightlike ruling in E 1 3 . Then X 2 has pointwise 1-type Gauss map of the second kind if and only if the Gauss map G 2 of X 2 satisfies
Δ 2 G 2 = f 2 ( G 2 + C 2 )
for some non-zero smooth functions f 2 as
f 2 = 2 κ 2 λ 2 = 2 K 2 ,
and a constant vector C 2 = ( 0 , 0 , C 23 ) , ( C 23 0 ).
Proof Corollary 5
Suppose that the null scroll X 2 has pointwise 1-type Gauss map of the second kind, i.e., Δ 2 G 2 = f 2 ( G 2 + C 2 ) . It means that f 2 = g 2 in Theorem 2. Thus, we get 2 κ 3 C 22 = 0 . Since f 2 is a non-zero smooth function, then κ 0 and C 22 = 0 . Therefore,
f 2 = 2 κ 2 λ 2 = 2 K 2 .
Conversely, if we use the above information with the given function f 2 and constant vector C 2 , the null scroll X 2 satisfies Δ 2 G 2 = f 2 ( G 2 + C 2 ) .  □
Corollary 6.
There does not exist the null scroll with generalized B-lightlike ruling in E 1 3 which has 1-type Gauss map of the second kind.
Proof Corollary 6
Suppose that the null scroll X 2 has 1-type Gauss map of the second kind, i.e., Δ 2 G 2 = μ ( G 2 + C 2 ) , ( μ R { 0 } ) . It means that f 2 = 2 κ 2 λ 2 = μ . Obviously, H 2 is a non-zero constant. By (32), we get C 22 = 0 and C 23 = H 2 κ H 2 = 0 which contradicts with C 23 0 in Corollary 5.  □
Corollary 7.
Let X 2 be a null scroll with generalized B-lightlike ruling in E 1 3 . The X 2 has pointwise 1-type Gauss map of the first kind if and only if one of the following statements holds:
  • X 2 has 1-type Gauss map of the first kind;
  • X 2 has non-zero constant Gaussian curvature or non-zero constant mean curvature.
Proof Corollary 7
Suppose that the null scroll X 2 has pointwise 1-type Gauss map of the first kind, i.e., Δ 2 G 2 = f 2 G 2 . From the last two equations of (32), we have f 2 = 2 κ 2 λ 2 and ( κ λ ) = 0 . Then the function f 2 is a non-zero constant function, i.e., X 2 has 1-type Gauss map of the first kind. By (26) and (27), the Gaussian curvature K 2 and the mean curvature H 2 are non-zero constant. Conversely, if one of the statements holds, then κ λ is a non-zero constant. This completes the proof.  □
Corollary 8.
Let X 2 be a null scroll with generalized B-lightlike ruling in E 1 3 . The X 2 has harmonic Gauss map if and only if the Gaussian curvature or the mean curvature of X 2 vanishes.
Proof Corollary 8
Suppose that the null scroll X 2 has harmonic Gauss map, i.e., Δ 2 G 2 = 0 . Then we have κ = 0 and the Gaussian curvature K 2 and the mean curvature H 2 are equal to zero by (26) and (27). The converse is obvious.  □

3.3. The Relationship between the Dual Associate Null Scrolls

In this section, we summarize and investigate the relations between the dual associate null scrolls. Meanwhile, the representations of some dual associate null scrolls are obtained according to their Gauss maps.
By (14) and (28), we have the following conclusion readily.
Theorem 3.
The Gaussian curvatures K i ( i = 1 , 2 ) and the mean curvatures H i ( i = 1 , 2 ) of the dual associate null scrolls X i ( i = 1 , 2 ) in E 1 3 are related by
H 1 2 H 2 2 = K 1 K 2 = κ 2 .
From (16) and (30), we get
Theorem 4.
The Laplacians of Gauss maps Δ i G i ( i = 1 , 2 ) of the dual associate null scrolls X i ( i = 1 , 2 ) in E 1 3 are related by
Δ 1 G 1 , Δ 1 G 1 Δ 2 G 2 , Δ 2 G 2 = 16 K 1 2 K 2 2 = 16 κ 4 .
From Proposition 3 and Corollary 1, we can get the following result.
Corollary 9.
Let X 1 be a null scroll with generalized T-lightlike ruling which has pointwise 1-type Gauss map of the second kind in E 1 3 . Then the dual associate null scrolls can be expressed as
X 1 = 2 e C 11 s C 0 ( f 2 4 f 3 ( f 2 1 , 2 f , f 2 + 1 ) + f f ( f , 1 , f ) f ( 1 , 0 , 1 ) ) d s + t 1 2 C 0 4 f e C 11 s ( f 2 1 , 2 f , f 2 + 1 ) , X 2 = 2 C 0 4 f e C 11 s ( f 2 1 , 2 f , f 2 + 1 ) d s + t 2 2 e C 11 s C 0 ( f 2 4 f 3 ( f 2 1 , 2 f , f 2 + 1 ) + f f ( f , 1 , f ) f ( 1 , 0 , 1 ) ) ,
where C 0 R { 0 } and C 11 0 .
By the proof of Corollary 3, the following conclusion is obtained easily.
Corollary 10.
Let X 1 be a null scroll with generalized T-lightlike ruling which has pointwise 1-type Gauss map of the first kind in E 1 3 . Then the dual associate null scrolls can be expressed by
X 1 = 1 c ( f 2 4 f 3 ( f 2 1 , 2 f , f 2 + 1 ) + f f ( f , 1 , f ) f ( 1 , 0 , 1 ) ) d s + t 1 c 2 f ( f 2 1 , 2 f , f 2 + 1 ) , X 2 = c 2 f ( f 2 1 , 2 f , f 2 + 1 ) d s + t 2 1 c ( f 2 4 f 3 ( f 2 1 , 2 f , f 2 + 1 ) + f f ( f , 1 , f ) f ( 1 , 0 , 1 ) ) ,
where c R { 0 } .
Theorem 5.
Let X 2 be a null scroll with generalized B-lightlike ruling which has harmonic Gauss map in E 1 3 . Then the dual associate null scrolls can be expressed by
X 1 ( s , t 1 ) = 1 λ ( 1 a , 0 , 1 a ) d s + t 1 λ ( a 2 s 2 2 a , s , a 2 + s 2 2 a ) , X 2 ( s , t 2 ) = λ ( a 2 s 2 2 a , s , a 2 + s 2 2 a ) d s + t 2 1 λ ( 1 a , 0 , 1 a ) .
where a R { 0 } .
Proof of Theorem 5
By the proof of Corollary 8, we have κ = 0 . From (5), we have
1 2 [ ( log f ) ] 2 ( log f ) = 0 .
Solving the above equation, the structure function f ( s ) of r ( s ) is given by
f ( s ) = a s , ( a R { 0 } ) .
By Proposition 3, the dual associate null scrolls can be expressed by
X 1 ( s , t 1 ) = 1 λ ( 1 a , 0 , 1 a ) d s + t 1 λ ( a 2 s 2 2 a , s , a 2 + s 2 2 a ) , X 2 ( s , t 2 ) = λ ( a 2 s 2 2 a , s , a 2 + s 2 2 a ) d s + t 2 1 λ ( 1 a , 0 , 1 a ) .
 □
Example 2.
Consider a null curve r ( s ) with κ = 1 2 . From Proposition 2, we have
1 2 [ ( log f ) ] 2 ( log f ) = 1 2 .
Solving the above differential equation, we have f ( s ) = 2 tan s 2 . From Proposition 3, when λ ( s ) = 1 2 , the dual associate curves and the dual associate null scrolls can be written as (see Figure 5 and Figure 6)
b 1 ( s ) = ( sin 2 s 2 1 4 cos 2 s 2 , 1 2 sin s , sin 2 s 2 + 1 4 cos 2 s 2 ) , b 2 ( s ) = ( 1 2 sin 2 s 2 2 cos 2 s 2 , sin s , 1 2 sin 2 s 2 2 cos 2 s 2 )
and
X 1 ( s , t 1 ) = ( 3 4 s 5 4 sin s , cos s , 5 4 s 3 4 sin s ) + t 1 ( sin 2 s 2 1 4 cos 2 s 2 , 1 2 sin s , sin 2 s 2 + 1 4 cos 2 s 2 ) , X 2 ( s , t 2 ) = ( 3 8 s 5 8 sin s , 1 2 cos s , 5 8 s 3 8 sin s ) + t 2 ( 1 2 sin 2 s 2 2 cos 2 s 2 , sin s , 1 2 sin 2 s 2 2 cos 2 s 2 ) .
Example 3.
In Theorem 5, supposing a = 1 and the function λ ( s ) = e s , then the dual associate curves and the dual associate null scrolls can be written as (see Figure 7 and Figure 8).
b 1 ( s ) = e s ( 1 2 s 2 2 , s , 1 2 + s 2 2 ) , b 2 ( s ) = e s ( 1 , 0 , 1 )
and
X 1 ( s , t 1 ) = ( e s , 0 , e s ) + t 1 e s ( 1 2 s 2 2 , s , 1 2 + s 2 2 ) , X 2 ( s , t 2 ) = ( 1 2 e s ( s 1 ) 2 , e s ( 1 s ) , 1 2 e s ( ( s 1 ) 2 + 2 ) ) + t 2 e s ( 1 , 0 , 1 ) .
Remark 3.
In Example 2, the dual associate null scrolls have pointwise 1-type Gauss map of the first kind; in Example 3, the null scroll X 1 has pointwise 1-type Gauss map of the second kind and the null scroll X 2 has harmonic Gauss map, respectively.

Author Contributions

J.Q. and X.F. set up the problem and computed the details. S.D.J. 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 (11801065) and the Fundamental Research Funds for the Central Universities (N2005012). The third author was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIP) (NRF-2018R1A2B2002046) and the 2020 scientific promotion program funded by Jeju National University.

Acknowledgments

We thank H. Liu of Northeastern University and the referee for the valuable comments to improve this paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Chen, B.Y.; Veken, J.; Nisar, S. Complete classification of parallel surfaces in 4-dimensional Lorentzian spaceforms. Tohoku Math. J. 2009, 61, 1–40. [Google Scholar] [CrossRef]
  2. Hanif, M.; Hou, Z.; Nisar, S. On special kinds of involute and evolute curves in 4-Dimensional Minkowski space. Symmetry 2018, 10, 317. [Google Scholar] [CrossRef] [Green Version]
  3. Izumiya, S.; Takeuchi, N. Generic properties of helices and Bertrand curves. J. Geom. 2002, 74, 97–109. [Google Scholar] [CrossRef]
  4. Liu, H.; Wang, F. Mannheim partner curves in 3-space. J. Geom. 2008, 88, 120–126. [Google Scholar] [CrossRef]
  5. Qian, J.H.; Kim, Y.H. Directional associated curves of a null curve in E 1 3 . Bull. Korean Math. Soc. 2015, 52, 183–200. [Google Scholar] [CrossRef]
  6. Kim, Y.H.; Yoon, D.W. Classification of ruled surfaces in Minkowski 3-spaces. J. Geom. Phys. 2004, 49, 89–100. [Google Scholar] [CrossRef]
  7. Barros, M.; Ferrandez, A. How big is the family of stationary null scrolls? J. Geom. Phys. 2013, 64, 54–60. [Google Scholar] [CrossRef]
  8. Choi, S.M.; Ki, U.H.; Suh, Y.J. On the Gauss map of null scrolls. Tsukuba J. Math. 1998, 22, 273–279. [Google Scholar] [CrossRef]
  9. Pak, J.S.; Yoon, D.W. On null scrolls satisfying the condition ΔH=AH. Comm. Korean Math. Soc. 2000, 15, 533–540. [Google Scholar]
  10. Qian, J.H.; Fu, X.S.; Jung, S.D. Some Characterizations of Generalized Null Scrolls. Mathematics 2019, 7, 931. [Google Scholar] [CrossRef] [Green Version]
  11. Graves, L.K. Codimension one isometric immersions between Lorentz spaces. Trans. Am. Math. Soc. 1979, 252, 367–392. [Google Scholar] [CrossRef]
  12. Baikoussis, C. Ruled submanifolds with finite type Gauss map. J. Geom. 1994, 49, 42–45. [Google Scholar] [CrossRef]
  13. Chen, B.Y.; Piccinni, P. Submanifolds with finite type Gauss map. Bull. Aust. Math. Soc. 1987, 35, 161–186. [Google Scholar] [CrossRef] [Green Version]
  14. Qian, J.H.; Kim, Y.H. Some classification of canal surfaces with the Guass map. Bull. Malays. Sci. Soc. 2019, 42, 3261–3272. [Google Scholar] [CrossRef]
  15. Qian, J.H.; Su, M.F.; Kim, Y.H. Canal surfaces with generalized 1-type Gauss map. Rev. Union Mat. Argent. preprint.
  16. Yoon, D.W.; Kim, D.S.; Kim, Y.H.; Lee, J.W. Hypersurfaces with generalized 1-type Guass maps. Mathematics 2018, 6, 130. [Google Scholar] [CrossRef] [Green Version]
  17. Ki, U.H.; Kim, D.S.; Kim, Y.H.; Roh, Y.M. Surfaces of revolution with pointwise 1-type Gauss map in Minkowski 3-space. Taiwan J. Math. 2009, 13, 317–338. [Google Scholar] [CrossRef]
  18. Inoguchi, J.; Lee, S. Null curves in Monkowski 3-space. Int. Electron. J. Geom. 2008, 1, 40–83. [Google Scholar]
Figure 1. The red (blue) curve is the generalized T ( B ) -associate curve b 1 ( b 2 ) of r.
Figure 1. The red (blue) curve is the generalized T ( B ) -associate curve b 1 ( b 2 ) of r.
Mathematics 08 01111 g001
Figure 2. The red (blue) surface is the null scroll with generalized T ( B ) -lightlike ruling X 1 ( X 2 ) .
Figure 2. The red (blue) surface is the null scroll with generalized T ( B ) -lightlike ruling X 1 ( X 2 ) .
Mathematics 08 01111 g002
Figure 3. The red (blue) curve is the generalized T ( B ) -associate curve b 1 ( b 2 ) of r.
Figure 3. The red (blue) curve is the generalized T ( B ) -associate curve b 1 ( b 2 ) of r.
Mathematics 08 01111 g003
Figure 4. The red (blue) surface is the null scroll with generalized T ( B ) -lightlike ruling X 1 ( X 2 ) .
Figure 4. The red (blue) surface is the null scroll with generalized T ( B ) -lightlike ruling X 1 ( X 2 ) .
Mathematics 08 01111 g004
Figure 5. The red (blue) curve is the generalized T ( B ) -associate curve b 1 ( b 2 ) of r.
Figure 5. The red (blue) curve is the generalized T ( B ) -associate curve b 1 ( b 2 ) of r.
Mathematics 08 01111 g005
Figure 6. The red (blue) surface is the null scroll with generalized T ( B ) -lightlike ruling X 1 ( X 2 ) .
Figure 6. The red (blue) surface is the null scroll with generalized T ( B ) -lightlike ruling X 1 ( X 2 ) .
Mathematics 08 01111 g006
Figure 7. The red (blue) curve is the generalized T ( B ) -associate curve b 1 ( b 2 ) of r.
Figure 7. The red (blue) curve is the generalized T ( B ) -associate curve b 1 ( b 2 ) of r.
Mathematics 08 01111 g007
Figure 8. The red (blue) surface is the null scroll with generalized T ( B ) -lightlike ruling X 1 ( X 2 ) .
Figure 8. The red (blue) surface is the null scroll with generalized T ( B ) -lightlike ruling X 1 ( X 2 ) .
Mathematics 08 01111 g008

Share and Cite

MDPI and ACS Style

Qian, J.; Fu, X.; Jung, S.D. Dual Associate Null Scrolls with Generalized 1-Type Gauss Maps. Mathematics 2020, 8, 1111. https://doi.org/10.3390/math8071111

AMA Style

Qian J, Fu X, Jung SD. Dual Associate Null Scrolls with Generalized 1-Type Gauss Maps. Mathematics. 2020; 8(7):1111. https://doi.org/10.3390/math8071111

Chicago/Turabian Style

Qian, Jinhua, Xueshan Fu, and Seoung Dal Jung. 2020. "Dual Associate Null Scrolls with Generalized 1-Type Gauss Maps" Mathematics 8, no. 7: 1111. https://doi.org/10.3390/math8071111

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