Next Article in Journal
Machine Vision Approach for Diagnosing Tuberculosis (TB) Based on Computerized Tomography (CT) Scan Images
Previous Article in Journal
Step Length Asymmetry Predicts Rehabilitation Length in Subacute Post Stroke Patients
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Singularity Properties of Timelike Sweeping Surface in Minkowski 3-Space

1
School of Mathematics, Hangzhou Normal University, Hangzhou 311120, China
2
Department of Mathematical Sciences, College of Applied Sciences, Umm Al-Qura University, Mecca 24382, Saudi Arabia
3
Department of Mathematics, Faculty of Science, University of Assiut, Assiut 71516, Egypt
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(10), 1996; https://doi.org/10.3390/sym14101996
Submission received: 18 August 2022 / Revised: 11 September 2022 / Accepted: 19 September 2022 / Published: 23 September 2022
(This article belongs to the Section Mathematics)

Abstract

:
In this paper, we give the parametric equation of the Bishop frame for a timelike sweeping surface with a unit speed timelike curve in Minkowski 3-space. We introduce a new geometric invariant to explain the geometric properties and local singularities of this timelike surface. We derive the sufficient and necessary conditions for this timelike surface to be a timelike developable ruled surface. Afterwards, we take advantage of singularity theory to give the classification of singularities of this timelike developable surface. Furthermore, we give some representative examples to show the applications of the theoretical results.

1. Introduction

Singularity theory of curves and surfaces is an efficient area of research in various branches of mathematics and physics. In the view of differential geometry, curves and surfaces are performed by functions with one variable and two variables, respectively. In recent years, singularity theory for curves and surfaces has become a paramount tool for different interesting fields such as medical imaging and computer vision (see, e.g., [1,2,3,4] ).
As we know, a sweeping surface is the surface traced by the movement of a plane curve (the profile curve or generatrix) whilst the plane is moved through space in such a way that the movement of the plane is always in the direction of the normal to the plane. Sweeping is a very important, powerful, and widespread method in geometric modelling. The basic concept is to select some geometrical object (generator) that is then swept along a spine curve (trajectory) in the space. The result of such evolution, consisting of movement through space and intrinsic shape deformation, is a sweep object. The sweep object kind is determined by the choice of the generator and the trajectory. Thus, sweeping a curve over another curve generates a sweeping surface. There are several names of sweeping surfaces that we are familiar with, such as tubular surface, pipe surface, string, and canal surface. In [5], J. Suk and D.W Yoon initiated the study of a tube in Euclidean 3-space, satisfying some equation in terms of the Gaussian curvature, the mean curvature, and the second Gaussian curvature. The kinematic geometry of circular surfaces with a fixed radius based on Euclidean invariants was defined by L. Cui et al. in [6]. RA. Abdel-Baky in [7] considered the study of developable surfaces through sweeping surfaces in Euclidean 3-space. S. Izumiya et al. in [8] examined some corresponding properties of circular surfaces with classical ruled surfaces. A survey of the principle geometric features of canal surfaces has been defined by Xu et al. in [9]. Furthermore, the authors presented sufficient conditions for canal surfaces without local self-intersection. Moreover, they derived a simple expression for the area and Gaussian curvature of canal surfaces.
One of the most suitable methods to analyzing curves and surfaces in differential geometry is the Serret–Frenet frame, but it is not unique; there are also other frame fields such as the rotation minimizing frame (RMF) or the Bishop frame [10]. Some applications of the Bishop frame can be found in [11,12,13,14]. Corresponding to the Bishop frame in Euclidean space, there exists a Minkowski version frame that is called a Minkowski–Bishop frame as applied to Minkowski geometry. When we investigate a space curve, it is more convenient for us to use the Minkowski–Bishop frame along the curve as the basic tool than the Serret–Frenet frame in Lorentzian space. There are several papers about the Minkowski–Bishop frame; for example, [1,7,15].
In this paper, we present the notion of timelike sweeping surfaces with rotation minimizing frames in Minkowski 3-space. Thus, by applying singularity theory, we classify the generic properties and present q new invariant connected to the singularity of this timelike sweeping surface. The main generic singularities of this sweeping surface are the well-known cuspidal edge and swallowtail, and they are characterized by this new invariant. Furthermore, from the viewpoint of singularity theory, we present the singularity properties of timelike sweeping surfaces in Minkowski 3-space. In this way, we take advantage of some classical and well-known results in singularity theory as evidence to prove our main results in this paper. Moreover, this paper gives the necessary and sufficient conditions to characterize when the timelike sweeping surface is a timelike developable ruled surface and discusses further conclusions. Regarding the timelike developable surfaces, we studied the uniqueness properties. Furthermore, this paper also focuses on the singularity properties of the timelike developable surfaces. Finally, to illustrate the main results, two examples are given and investigated in detail. Our plans for the future research are to conduct interdisciplinary research because it can provide valuable new insights, but synthesizing articles across disciplines with highly varied standards, formats, terminology, and methods requires an adapted approach. Therefore, we find some of the latest related studies in [16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66]. One possible way to achieve the interdisciplinary research goal of obtaining more singularity and symmetry properties of timelike sweeping surfaces is to apply a mix or a blend of the techniques in [16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66] combine them the methods of this paper.

2. Preliminaries

We introduce in this section some basic notions on Minkowski 3-space. For basic concepts and properties, see [67,68].
Let R 3 = { a 1 , a 2 , a 3 , a i R (i=1, 2, 3)} be a 3-dimensional Cartesian space. For any a = a 1 , a 2 , a 3 , and b = b 1 , b 2 , b 3 R 3 , the pseudo-scalar product of a and b is defined by
< a , b > = a 1 b 1 + a 2 b 2 + a 3 b 3 .
We call ( R 3 , < , > ) Minkowski 3-space. We write E 1 3 instead of ( R 3 , < , > ) . We say that a non-zero vector a E 1 3 is spacelike, lightlike, or timelike if < a , a > > 0 , < a , a > = 0 or < a , a > < 0 . The norm of the vector a E 1 3 is defined to be a = < a , a > . For any two vectors a , c E 1 3 , we define a vector a × c by
a × c = e 1 e 2 e 3 a 1 a 2 a 3 c 1 c 2 c 3 = ( a 2 c 3 a 3 c 2 ) , ( a 3 c 1 a 1 c 3 ) , ( a 1 c 2 a 2 c 1 ) ,
where e 1 , e 2 , e 3 is the canonical basis of E 1 3 . We can easily check that
det ( a , c , b ) = < a × c , b > ,
so that a × c is pseudo-orthogonal to any b = b 1 , b 2 , b 3 E 1 3 . The Lorentzian unit sphere with center in the origin of E 1 3 is defined by
S 1 2 = { x E 1 3 < x , x > = 1 } .
Let β = β ( s ) be a unit speed timelike curve; by κ ( s ) and τ ( s ) , we denote the natural curvature and torsion of β ( s ) , respectively. Let { T ( s ) , N ( s ) , B ( s ) } be the Serret–Frenet frame associated with β ( s ) . For each point of β ( s ) , the corresponding Serret–Frenet formulae read:
T N B = 0 κ ( s ) 0 κ ( s ) 0 τ ( s ) 0 τ ( s ) 0 T N B = ω × T N B ,
where ω ( s ) = τ T + κ B is the Darboux vector of the Serret–Frenet frame. In this paper, dashes denote the derivatives with respect to the arc-length parameter s. It is easy to see that
T × N = B , T × B = N , N × B = T .
Definition 1.
A pseudo -orthogonal moving frame { ξ 1 , ξ 3 , ξ 3 } along a non-null space curve α ( s ) is a rotation minimizing frame (RMF) with respect to ξ 1 if the derivatives of ξ 2 and ξ 3 are both parallel to ξ 1 , or its angular velocity ω satisfies < ω , ξ 1 > = 0 . An analogous characterization holds when ξ 2 or ξ 3 is chosen as the reference direction [11].
According to Definition 1, we observe that the Serret–Frenet frame is an RMF with respect to the principal normal N , but not with respect to the tangent T and the binormal B . Although the Serret–Frenet frame is not an RMF with respect to T , one can easily derive such an RMF from it. New normal plane vectors ( N 1 , N 2 ) are specified through a rotation of ( N , B ) according to
T 1 N 1 N 2 = 1 0 0 0 cos ϑ sin ϑ 0 sin ϑ cos ϑ T N B ,
with a certain spacelike angle ϑ ( s ) 0 . Here, we call the set { T 1 , N 1 , N 2 } an RMF or Bishop frame. The RMF vector satisfies the relations
T 1 × N 1 = N 2 , T 1 × N 2 = N 1 , N 1 × N 2 = T 1 .
Therefore, we have the alternative frame equations
T 1 N 1 N 2 = 0 κ 1 ( s ) κ 2 ( s ) κ 1 ( s ) 0 0 κ 2 ( s ) 0 0 T 1 N 1 N 2 = ω ˜ × T 1 N 1 N 2 ,
where ω ˜ ( s ) = κ 2 N 1 + κ 1 N 2 is the RMF Darboux vector. Here, the Bishop curvatures are defined by κ 1 ( s ) = κ cos ϑ and κ 2 ( s ) = κ sin ϑ . One can show that
κ ( s ) = κ 1 2 + κ 2 2 , and ϑ = tan 1 κ 2 κ 1 ; κ 1 0 , ϑ ( s ) = s s 0 τ ( s ) d s + ϑ 0 , ϑ 0 = ϑ ( 0 ) .
Comparing Equation (4) with Equation (8) we observe that the relative velocity is
ω ˜ ( s ) ω ( s ) = τ ( s ) T .
Consequently, the Serre–Frenet frame and the RMF are identical if and only if β ( s ) is a planar, i.e., τ ( s ) = 0 . Now we define the spacelike Bishop spherical Darboux image e : I S 1 2 , by
e ( s ) = ω ˜ ( s ) ω ˜ ( s ) = κ 1 κ 1 2 + κ 2 2 κ 2 κ 1 N 1 + N 2 .
Therefore, we consider a new geometric invariant ρ ( s ) = κ 1 κ 2 κ 2 κ 1 .
We denote a surface M in E 1 3 by
M : R ( s , u ) = x 1 ( s , u , x 2 ( s , u , ( x 3 ( s , u , ( s , u ) D R 2 .
Let U be the standard unit normal vector field on a surface M defined by U = R s × R u R s × R u where R i = R i . Then, the metric (first fundamental form) I of a surface M is defined by
I = g 11 d s 2 + 2 g 12 d s d u + g 22 d u 2 ,
where g 11 = < R s , R s > , g 12 = < R s , R u > , g 22 = < R u , R u > . We define the second fundamental form I I of M by
I I = h 11 d s 2 + 2 h 12 d s d u + h 22 d u 2 ,
where h 11 = < R s s , N > , h 12 = < R s u , U > , h 22 = < R u u , U > .

3. Timelike Sweeping Surface

The concept of a sweeping surface is obtained kinematically by a planar curve moving such that the motion of any point on the surface is constantly orthogonal to the plane. Then, the sweeping surface along β ( s ) is [13,14]:
M : R ( s , u ) = β ( s ) + T ( s ) r ( u ) = β ( s ) + r 1 ( u ) N 1 ( s ) + r 2 ( u ) N 2 ( s ) ,
where β ( s ) is called the C 1 -continuous. r ( u ) is the planar profile (cross-section) curve given by parametric representation r ( u ) = ( 0 , r 1 ( u ) , r 2 ( u ) ) t . The symbol ’t’ represents transposition, with another parameter u I R . The semi orthogonal matrix A ( s ) = { T 1 , N 1 , N 2 } specifies the RMF along β ( s ) . Geometrically, the sweeping surface R ( s , u ) is generated by moving the profile curve r ( u ) along the spine curve β ( s ) with the orientation as specified by A ( s ) .
Without loss of generality, we can suppose the profile curve r ( u ) is a unit speed spacelike curve, that is, r . 1 2 + r . 2 2 = 1 . In the following, “dot” denotes the derivative with respect to the parameter u of the profile curve r ( u ) . From now on, we shall often not write the parameters s and t explicitly in our formulae. Therefore, from the derivative formulas of RMF, partial differentiation with respect to s and u is as follows:
R s ( s , u ) = 1 + r 1 κ 1 r 2 κ 2 T 1 , R u ( s , u ) = r . 1 N 1 + r . 2 N 2 .
By simple calculations, we have the following:
g 11 = 1 + r 1 κ 1 ( s ) r 2 κ 2 2 , g 12 = 0 , g 22 = 1 ,
and
U ( s , u ) = r . 2 N 1 + r . 1 N 2 .
Note that U ( s , u ) 2 = 1 means that M is a timelike surface. Furthermore, we have:
R s s = ( r 1 κ 1 r 2 κ 2 ) T 1 + 1 + r 1 κ 1 r 2 κ 2 κ 1 N 1 κ 2 N 2 , R s u = ( r . 1 κ 1 + r . 2 κ 2 ) T 1 , R uu = r . . 1 N 1 + r . . 2 N 2 .
Then, we can compute
h 11 = ( 1 + r 1 κ 1 r 2 κ 2 ) ( r . 2 κ 1 + r . 1 κ 2 ) , h 12 = 0 , h 22 = r . 2 r . . 1 + r . 1 r . . 2 .
Hence, the u-and s curves of M are curvature lines; that is, g 12 = h 12 = 0 .
Corollary 1.
Let M be the sweeping surface defined by Equation (14). Then:
(1) 
The s-parameter curve is also a geodesic on M if
r . 1 κ 1 r . 2 κ 2 = 0 , a n d κ 1 r 1 κ 2 r 2 = 0 ;
(2) 
The s-parameter curve is also an asymptotic curve on M if
r . 2 κ 1 + r . 1 κ 2 = 0 .
Proof. 
Since the u-and s curves of M are curvature lines, from Equations (17) and (18), we have:
(1)
The s-parameter curve is a also geodesic if R s s × U ( s , t ) = 0 ; that is,
1 + r 1 κ 1 r 2 κ 2 ( r . 2 κ 2 r . 1 κ 1 ) T 1 + ( r 1 κ 1 r 2 κ 2 ) ( r . 1 N 1 + r . 2 N 2 ) = 0 .
Since T 1 , N 1 and N 2 are linearly independent unit vectors, we have the desired equation system;
(2)
The s-parameter curve is also an asymptotic curve on M if < U , R s s > = 0 ; that is,
r . 2 κ 1 + r . 1 κ 2 ( 1 + r 1 κ 1 r 2 κ 2 ) = 0 .
Since 1 + r 2 κ r 3 τ 0 (See Equation (15)), it follows that r . 2 κ 1 + r . 1 κ 2 = 0 = 0 as claimed. □
Corollary 2.
Let M be the sweeping surface represented by Equation (14). Then:
(1) 
The u parameter curve cannot be also a geodesic on M;
(2) 
The u parameter curve is also an asymptotic curve on M if
r . 1 r . . 2 r . 2 r . . 1 = 0 .
Proof. 
Since the u and s curves of M are curvature lines, from Equations (17) and (18), we have:
(1)
Since r . 1 2 + r . 2 2 = 1 and R u u × U ( s , t ) = r . 1 r . . 1 + r . 2 r . . 2 T 1 , the u parameter curve cannot be also a geodesic on M;
(2)
The u parameter curve is also an asymptotic curve on M if < U , R u u > = 0 ; that is,
r . 1 r . . 2 r . 2 r . . 1 = 0
as claimed. In this case, h 22 = 0 , so M is a developable ruled surface, that is, its Gaussian curvature is identically zero.
The aim of this work is the following theorem:
Theorem 1.
Let β: I E 1 3 be a unit speed timelike curve with κ 1 > 0 . Then, for any fixed x S 1 2 , one has the following:
A—(1) e ( s ) is locally diffeomorphic to a line { 0 } × R at s 0 if and only if ρ ( s 0 ) 0 ;
(2) e ( s ) is locally diffeomorphic to the cusp C × R at s 0 if and only if ρ ( s 0 ) = 0 , and ρ ( s 0 ) 0 .
B—(1) M is locally diffeomorphic to cuspidal edge C E at ( s 0 , u 0 ) if and only if x = ± e ( s 0 ) and ρ ( s 0 ) 0 ;
(2) M is locally diffeomorphic to swallowtail SW at ( s 0 , u 0 ) if and only if x = ± e ( s 0 ) , ρ ( s 0 ) = 0 and ρ ( s 0 ) = 0 .
The proof will appear later. Here,
C × R = ( x 1 , x 2 ) x 1 2 = x 2 3 × R , C E = ( x 1 , x 2 , x 3 ) x 1 = u , x 2 = v 2 , x 3 = v 3 , W = ( x 1 , x 2 , x 3 ) x 1 = u , x 2 = 3 v 2 + u v 2 , x 3 = 4 v 3 + 2 u v .
The pictures of C × R , C E , and S W are presented in Figure 1, Figure 2 and Figure 3.

3.1. Lorentzian Height Functions

Next, let us introduce two different families of Lorentzian height functions that will be useful to study the singularities of M as follows [1,11,67]: H : I × S 1 2 R , by H ( s , x ) = < β ( s ) , x > . We call this the Lorentzian height function. We use the notation h x ( s ) = H ( s , x ) for any fixed x S 1 2 . We also define H ˜ : I × S 1 2 × R R as H ˜ ( s , x , w ) = < β , x > w . We call it the extended Lorentzian height function of β ( s ) . We denote that h ˜ x ( s ) = H ˜ ( s , x ) . From now on, we shall often not write the parameter s. Then, we give the following proposition:
Proposition 1.
Let β: I E 1 3 be a unit speed timelike curve with κ 1 0 . Then, the following holds:
(A).
(1) h x ( s ) = 0 if and only if x = a 1 N 1 + a 2 N 2 and a 1 2 + a 2 2 = 1 ;
(2) h x ( s ) = h x ( s ) = 0 if and only if x = ± e ( s ) ;
(3) h x ( s ) = h x ( s ) = h x ( s ) = 0 if and only if x = ± e ( s ) and ρ ( s ) = 0 ;
(4) h x ( s ) = h x ( s ) = h x ( s ) = h x ( 4 ) ( s ) = 0 if and only if x = ± e ( s ) and ρ ( s ) = ρ ( s ) = 0 ;
(5) h x ( s ) = h x ( s ) = h x ( s ) = h x ( 4 ) ( s ) = h x ( 5 ) ( s ) = 0 if and only if x = ± e ( s ) and ρ ( s ) = ρ ( s ) = ρ ( s ) = 0 .
(B).
(1) h ˜ x ( s ) = 0 if and only if there exist < β , x > = w ;
(2) h ˜ x ( s ) = h ˜ x ( s ) = 0 if and only if there exist a 1 , a 2 R such that x = cos u N 1 + sin u N 2 and < β , x > = w ;
(3) h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( s ) = 0 if and only if x = ± e ( s ) , < β , x > = w , and ρ ( s ) = 0 ;
(4) h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( s ) = 0 if and only if x = ± e ( s ) , < β , x > = w , and ρ ( s ) = ρ ( s ) = 0 ;
(5) h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( s ) = h ˜ x ( 4 ) ( s ) = 0 if and only if x = ± e ( s ) , < β , x > = w , and ρ ( s ) = ρ ( s ) = ρ ( s ) = 0 .
Proof. 
(A). (1) Since h x ( s ) = < T 1 , x > , and { T 1 , N 1 , N 2 } is RMF along β ( s ) , then there exists a 1 , a 2 R such that x = a 1 N 1 + a 2 N 2 . Moreover, in combination with x S 1 2 , we obtain a 1 2 + a 2 2 = 1 ; it follows that h x ( s ) = 0 if and only if x = a 1 N 1 + a 2 N 2 and a 1 2 + a 2 2 = 1 .
(2) When h x ( s ) = 0 , the assertion (2) follows from the fact that h x ( s ) = < T 1 , x > = < κ 1 N 1 κ 2 N 2 , x > = 0 . Thus, we have a 1 κ 1 a 2 κ 2 = 0 . It follows from the fact a 1 2 + a 2 2 = 1 that a 1 = ± κ 2 / κ 1 2 + κ 2 2 and a 2 = ± κ 1 / κ 1 2 + κ 2 2 . Thereby, we have
x = κ 1 κ 1 2 + κ 2 2 κ 2 κ 1 N 1 + N 2 ( s ) = ± e ( s ) .
Thus, we obtain h x ( s ) = h x ( s ) = 0 if and only if x = ± e ( s ) .
(3) Under the condition that h x ( s ) = h x ( s ) = 0 , h x ( s ) = < T 1 , x > = < κ 1 2 + κ 2 2 T 1 + κ 1 N 1 κ 2 N 2 , x > = 0 , and by Equation (20), we have
± κ 1 κ 1 2 + κ 2 2 κ 2 κ 1 κ 1 κ 2 κ 1 ( s ) = ± κ 1 κ 1 2 + κ 2 2 ρ κ 1 ( s ) = 0 .
Since κ 1 0 , we obtain h x ( s ) = 0 if and only if x = ± e ( s ) and ρ ( s ) = 0 .
(4) Since
h x ( 4 ) ( s ) = < T 1 , x > = < 3 ( κ 1 κ 1 + κ 2 κ 2 ) T 1 + κ 1 + κ 1 κ 1 2 + κ 2 2 N 1 κ 2 + κ 2 κ 1 2 + κ 2 2 N 2 , x > = 0 .
Thus, making use of Equation (20) in the above, we have that
± κ 1 κ 1 2 + κ 2 2 κ 2 κ 1 κ 1 κ 2 κ 1 ( s ) = 0 .
This is equivalent to the condition ρ ( s ) = ρ ( s ) = 0 .
(5) Since h x ( 5 ) ( s ) = < T 1 ( 4 ) , x > = 0 , we have
< κ 1 2 + κ 2 2 2 + 4 κ 2 κ 2 + κ 1 κ 1 + 3 κ 1 2 + κ 2 2 T 1 + κ 1 + 5 κ 1 κ 1 κ 1 + κ 2 κ 2 + κ 1 κ 1 2 + κ 2 2 N 1 κ 2 + 5 κ 2 κ 2 κ 2 + κ 1 κ 1 + κ 2 κ 1 2 + κ 2 2 N 2 , x > = 0 .
Similarly, by Equation (20) in the above, we have
± 1 κ 1 2 + κ 2 2 κ 2 κ 1 κ 1 κ 2 + κ 2 κ 1 κ 1 κ 2 κ 1 2 + κ 2 2 κ 1 = 0 .
This is equivalent to the condition ρ ( s ) = ρ ( s ) = ρ ( s ) = 0 . (B). Using the same computation as the proof of (A), we can obtain (B). □
Proposition 2.
Let β: I E 1 3 be a unit speed timelike curve with κ 1 0 . Then, we have ρ ( s ) = 0 if and only if
e ( s ) = κ 1 κ 1 2 + κ 2 2 κ 2 κ 1 N 1 + N 2
is a constant vector.
Proof. 
Suppose that κ 1 0 . By simple calculations, we have
e ( s ) = ρ ( s ) κ 1 2 + κ 2 2 3 κ 1 N 1 + κ 2 N 2 .
Thus, e ( s ) = 0 if and only if ρ ( s ) = κ 2 κ 1 κ 1 κ 2 = 0 .
Proposition 3.
Let β: I E 1 3 be a unit speed timelike curve with κ 1 0 . Then, we state the following:
(a) 
β is a slant helix if and only if κ 2 / κ 1 is constant;
(b) 
N 2 is a part of a circle on S 1 2 whose center is the spacelike constant vector e 0 .
Proof. 
(a)
Suppose that ρ ( s ) = κ 2 κ 1 κ 1 κ 2 = 0 . Hence, we can write
κ 2 κ 1 = κ 1 κ 2 κ 2 κ 1 κ 1 2 = ρ ( s ) κ 1 2 = 0 .
This means that κ 2 κ 1 =constant; that is, β is a slant helix;
(b)
Suppose that κ 1 0 . Since
< e , N 2 > = κ 1 κ 1 2 + κ 2 2 < κ 2 κ 1 N 1 + N 2 , N 2 > = 1 1 + κ 2 2 / κ 1 2 = c o n s t .
N 2 is a part of a circle on S 1 2 whose center is the constant spacelike vector e 0 ( s ) . □

3.2. Unfolding of Functions by One-Variable

Now, we use some general results on the singularity theory for families of function germs [1,2,3]. Let F: R × R r , ( s 0 , x 0 ) R be a smooth function and f ( s ) = F x 0 ( s , x 0 ) . Then, F is called an r-parameter unfolding of f ( s ) . We say that f ( s ) has A k -singularity at s 0 if f ( p ) ( s 0 ) = 0 for all 1 p k , and f ( k + 1 ) ( s 0 ) 0 . We also say that f has A k -singularity ( k 1 ) at s 0 . Let the k 1 -jet of the partial derivative F x i at s 0 be j k 1 F x i s , x 0 s 0 = Σ j = 0 k 1 L j i s s 0 j (without the constant term), for i = 1 , . . . , r . Then, F ( s ) is called a p-versal unfolding if the k × r matrix of coefficients L j i has rank k k r . Therefore, we write an important set about the unfolding relative to the above notations. The discriminant set of F is the set
D F = x R r there exists s with F s , x = F s s , x = 0 at ( s , x ) .
The bifurcation set of F is the set
B F = x R r there exists s with F s s , x = 2 F s 2 s , x = 0 at ( s , x ) .
Then, similar to [1,11,67], we state the following theorem:
Theorem 2.
Let F: R × R r , ( s 0 , x 0 ) R be an r-parameter unfolding of f ( s ) , which has the A k singularity at s 0 .
Suppose that F is a p-versal unfolding;
(a) 
If k = 1 , then D F is locally diffeomorphic to { 0 } × R r 1 , and B F = ;
(b) 
If k = 2 , then D F is locally diffeomorphic to C × R r 2 and B F is locally diffeomorphic to { 0 } × R r 1 ;
(c) 
If k = 3 , then D F is locally diffeomorphic to SW × R r 3 and B F is locally diffeomorphic to C × R r 2 .
Hence, we have the following fundamental proposition:
Proposition 4.
Let β: I E 1 3 be a unit speed timelike curve κ 1 0 . (1). If h x ( s ) = H ( s , x ) has an A k -singularity ( k = 2 , 3 ) at s 0 R , then H is a p versal unfolding of h x 0 ( s 0 ) . (2). If h ˜ x ( s ) = H ˜ ( s , x , w ) has an A k -singularity ( k = 2 , 3 ) at s 0 R , then H ˜ is a p versal unfolding of h ˜ x 0 ( s 0 )
Proof. 
(1) Since x = x 0 , x 1 , x 2 S 1 2 and β ( s ) = β 0 ( s ) , β 1 ( s ) , β 2 ( s ) E 1 3 . Without loss of generality, suppose x 2 0 . Then, by x 2 = 1 + x 0 2 x 1 2 , we have
H ( s , x ) = x 0 β 0 ( s ) + x 1 β 1 ( s ) + 1 + x 0 2 x 1 2 β 2 ( s ) .
Thus, we have that
H x 0 = β 0 ( s ) + x 0 β 2 ( s ) 1 + x 0 2 x 1 2 , H x 1 = β 1 ( s ) x 1 β 2 ( s ) 1 + x 1 2 x 2 2 , 2 H s x 0 = β 0 ( s ) + x 0 β 2 ( s ) 1 + x 0 2 x 1 2 , 2 H s x 1 = β 1 ( s ) x 1 β 2 ( s ) 1 + x 1 2 x 2 2 .
Therefore, the 2-jets of H x i at s 0 (i = 0, 1) are as follows. Let x 0 = x 00 , x 10 , x 20 S 1 2 and assume x 20 0 ; then
j 1 H x 0 ( s , x 0 ) = β 0 ( s ) + x 00 β 2 ( s ) x 20 ( s s 0 ) , j 1 H x 1 ( s , x 0 ) = β 1 ( s ) x 10 β 2 ( s ) x 20 ( s s 0 ) ,
and
j 2 H x 0 ( s , x 0 ) = β 0 ( s ) + x 00 β 2 ( s ) x 20 ( s s 0 ) + 1 2 β 0 + x 00 β 2 ( s ) x 20 s s 0 2 , j 2 H x 1 ( s , x 0 ) = β 1 ( s ) x 10 β 2 ( s ) x 20 s s 0 + 1 2 β 1 ( s ) x 10 β 2 ( s ) x 20 s s 0 2
(i)
If h x 0 ( s 0 ) has the A 2 -singularity at s 0 , then h x 0 ( s 0 ) = 0 . Therefore, the ( 2 1 ) × 2 matrix of coefficients L j i is:
A = β 0 ( s ) + x 00 β 2 ( s ) x 20 β 1 ( s ) x 10 β 2 ( s ) x 20 .
Suppose that the rank of the matrix A is zero; then, we have:
β 0 ( s ) = x 00 β 2 ( s ) x 20 , β 1 ( s ) = x 10 β 2 ( s ) x 20 .
Since β ( s 0 ) = T 1 ( s 0 ) = 1 , we have β 2 ( s 0 ) 0 and the contradiction as follows:
0 = < β 0 ( s 0 ) , β 1 ( s 0 ) , β 2 ( s 0 ) , x 00 , x 10 , x 20 > = β 0 ( s 0 ) x 00 + β 1 ( s 0 ) x 10 + β 2 ( s 0 ) x 20
= x 00 2 β 2 ( s 0 ) x 20 + x 10 2 β 2 ( s 0 ) x 20 + β 2 ( s 0 ) x 20 = β 2 ( s 0 ) x 20 x 00 2 + x 10 2 + x 20 2 = β 2 ( s 0 ) x 20 0 .
Therefore, rank( A ) = 1 , and H is the (p) versal unfolding of h x 0 at s 0 .
(ii)
If h x 0 ( s 0 ) has the A 3 -singularity at s 0 R , then h x 0 ( s 0 ) = h x 0 ( s 0 ) = 0 and by Proposition 1:
e ( s 0 ) = κ 1 κ 1 2 + κ 2 2 κ 2 κ 1 N 1 + N 2 ,
where ρ ( s 0 ) = 0 , and ρ ( s 0 ) 0 . Therefore, the ( 3 1 ) × 2 matrix of the coefficients L j i is
B = L 11 L 12 L 21 L 22 = β 0 ( s ) + x 00 β 2 ( s ) x 20 β 1 ( s ) x 10 β 2 ( s ) x 20 β 0 + x 00 β 2 ( s ) x 20 β 1 ( s ) x 10 β 2 ( s ) x 20 .
For the purpose, we also require the 2 × 2 matrix B to be non-singular, which always holds true. In fact, the determinate of this matrix at s 0 is
det B = 1 x 20 β 0 β 1 β 2 β 0 β 1 β 2 x 00 x 10 x 20 = 1 x 20 < β × β , x 0 >
= κ 1 x 20 κ 1 2 + κ 2 2 < β × β , κ 2 κ 1 N 1 + N 2 > .
Since β = T 1 , we have β = κ 1 N 1 κ 2 N 2 . Substituting these relations for the above equality, we have
det B = κ 1 2 + κ 2 2 x 20 0 .
This means that rank ( B ) = 2 .
(2) Under the same notation as in (1), we have
H ˜ ( s , x , x 2 ) = x 0 β 0 ( s ) + x 1 β 1 ( s ) + 1 + x 0 2 x 1 2 β 2 ( s ) x 2 .
We require the 2 × 3 matrix
G = β 0 ( s ) + x 00 β 2 ( s ) x 20 β 1 ( s ) x 10 β 2 ( s ) x 20 1 β 0 + x 00 β 2 ( s ) x 20 β 1 ( s ) x 10 β 2 ( s ) x 20 0 ,
to have the maximal rank. By case (1) in Equation (30), the second raw of G does not vanish, so rank ( G ) = 2 . □
Proof 
(Proof of Theorem 1). (1) By Proposition 1, the bifurcation set of H ( s , x ) is
B H = κ 1 κ 1 2 + κ 2 2 κ 2 κ 1 N 1 + N 2 s R s R .
The assertion (1) of Theorem 1 follows from Proposition 1, Proposition 4, and Theorem 2. The discriminant set of H ˜ ( s , x ) is given as follows:
D H ˜ = x 0 = β + cos u N 1 + sin u N 2 s R .
The assertion (1) of Theorem 1 follows from Proposition 1, Proposition 4, and Theorem 2.
Example 1.
Given the timelike helix:
β ( s ) = ( 3 sinh s , 2 s , 3 cosh s ) , 1 s 1 ,
It is easy to show that
T ( s ) = ( 3 cosh s , 2 , 3 sinh s ) , N ( s ) = ( sinh s , 0 , cosh s ) , B ( s ) = ( 2 cosh s , 3 , 2 sinh s ) , κ ( s ) = 3 , and τ ( s ) = 2 .
Taking θ 0 = 0 , we have θ ( s ) = 2 s . Using the Equation (9), we obtain
κ 1 ( s ) = 3 cos 2 s , and κ 2 ( s ) = 3 sin 2 s .
Hence, the geometric invariant is
ρ ( s ) = 6 .
The transformation matrix can be expressed as
T 1 N 1 N 2 = 1 0 0 0 cos 2 s sin 2 s 0 sin 2 s cos 2 s T N B .
From this, we have
N 1 = N 11 N 12 N 13 = sinh s cos 2 s 2 cosh s sin 2 s 3 sin 2 s cosh s cos 2 s 2 sinh s sin 2 s , N 2 = N 21 N 22 N 23 = sinh s sin 2 s 2 cosh s cos 2 s 3 cos 2 s cosh s sin 2 s 2 sinh s cos 2 s .
Hence, the timelike sweeping surface is (Figure 4)
M : R ( s , u ) = 3 sinh s , 2 s , 3 cosh s + cos u N 11 N 12 N 13 + sin u N 21 N 22 N 23 .
The Bishop spherical Darboux image is
e ( s ) = sin 2 s N 11 N 12 N 13 + cos 2 s N 21 N 22 N 23 .

3.3. Timelike Developable Surfaces and Singularities

In this subsection, we analyze the case that the profile curve r ( u ) = ( 0 , r 1 ( u ) , r 2 ( u ) ) t degenerates to a spacelike straight line; that is, r ( u ) = ( 0 , u , 0 ) t . Then, we can give the following timelike developable surface
M : D ( s , u ) = β ( s ) + u N 1 ( s ) , u R .
Similarly, we have the following timelike developable surface
M : D ( s , u ) = β ( s ) + u N 2 ( s ) , u R .
It is easy to show that D ( s , 0 ) = γ ( s ) (resp. D ( s , 0 ) = β ( s ) ), 0 s L ; that is, the surface D (resp. D ) interpolates the curve β ( s ) . Furthermore, we have
D s × D u = 1 u κ 1 N 2 ( s ) ,
and
D s × D u = 1 u κ 2 N 1 ( s ) .
Hence, we have that M (resp. M ) is non-singular at ( s 0 , u 0 ) if and only if 1 u 0 κ 1 ( s 0 ) 0 (resp. 1 u 0 κ 2 ( s 0 ) 0 . We designate μ ( s ) to represent κ i ( s ) (i = 1, 2); based on the Theorem 3 in [69], we can give the following corollary:
Corollary 3.
For the timelike developable ruled surfaces D ( s , u ) and D ( s , u ) , we have the following:
(1) 
D (resp. D ) is locally diffeomorphic to the cuspidal edge CE at ( s 0 , u 0 ) if μ ( s 0 ) = 0 , and μ ( s 0 ) 0 ;
(2) 
D (resp. D ) is locally diffeomorphic to the swallowtail SW at ( s 0 , u 0 ) if μ ( s 0 ) 0 and μ ( s 0 ) μ 2 ( s 0 ) 0 .
Example 2.
By using Example 1, the timelike developable surfaces, respectively, are
M : D ( s , u ) = 3 sinh s , 2 s , 3 cosh s + u sinh s cos 2 s 2 cosh s sin 2 s 3 sin 2 s cosh s cos 2 s 2 sinh s sin 2 s ,
and
M : D ( s , u ) = 3 sinh s , 2 s , 3 cosh s + u sinh s sin 2 s 2 cosh s cos 2 s 3 cos 2 s cosh s cos 2 s 2 sinh s cos 2 s .
The singular loci of M, and M , respectively, are
D ( s ) = 3 sinh s , 2 s , 3 cosh s + 1 3 sinh s 2 cosh s tan 2 s 3 tan 2 s cosh s 2 sinh s tan 2 s ,
and
D ( s ) = 3 sinh s , 2 s , 3 cosh s + 1 3 sinh s 2 cosh s cot 2 s 3 cot 2 s cosh s 2 sinh s cot 2 s .
We consider a local part of this curve when π 6 2 s π 3 2 . We see that κ 1 1 ( s ) = 1 3 cos 2 s 0 and κ 1 ( s ) = 6 sin 2 s 0 for π 6 2 s π 3 2 . This means that M is locally diffeomorphic to a CE and its singular locus is locally diffeomorphic to a line (the green line); see Figure 5. For M , when π 6 2 s 5 π 6 2 , we see that κ 2 1 ( s ) = 1 3 sin 2 s 0 , κ 2 ( s ) = 6 cos 2 s = 0 gives one real root s = π 2 2 . This means that M is locally diffeomorphic to SW and the singular locus is locally diffeomorphic to a line (the green line) at s = π 2 2 ; see Figure 6.

4. Conclusions

This paper is concerned with the study of a special kind of timelike tube surface, called the named timelike sweeping surface in Minkowski 3-space. It is traced by a spacelike plane curve moving through a timelike curve such that the movement of any point on the surface is constantly orthogonal to the plane. Then, the problems of singularity and convexity of such a timelike sweeping surface are discussed. In particular, we derived the sufficient and necessary conditions for this timelike sweeping surface to be a timelike developable ruled surface. Afterwards, the problem of singularity of a timelike developable ruled surface is investigated. We also illustrated our main results by giving some representative examples. Hopefully, these results will be useful to physicists and those studying the general relativity theory. There are several opportunities for further work. An analogue of the problem addressed in this paper may be consider for 3-surfaces in 4-space. We will study this problem in the future.

Author Contributions

Conceptualization, Y.L., S.H.N. and R.A.A.-B. methodology, Y.L., S.H.N. and R.A.A.-B. investigation, Y.L., S.H.N. and R.A.A.-B.; writing—original draft preparation, Y.L., S.H.N. and R.A.A.-B.; writing—review and editing, Y.L., S.H.N. and R.A.A.-B. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the National Natural Science Foundation of China (grant no. 12101168) and the Zhejiang Provincial Natural Science Foundation of China (grant no. LQ22A010014).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bükcu, B.; Karacan, M.K. On the slant helices according to Bishop frame of the timelike curve in Lorentzian space. Tamkang J. Math. 2008, 39, 255–262. [Google Scholar] [CrossRef]
  2. Bruce, J.W.; Giblin, P.J. Curves and Singularities, 2nd ed.; Cambridge University Press: Cambridge, UK, 1992. [Google Scholar]
  3. Saji, K.; Umehara, M.; Yamada, K. The geometry of fronts. Ann. Math. 2009, 169, 491–529. [Google Scholar] [CrossRef]
  4. Teramoto, K. Parallel and dual surfaces of cuspidal edges. Differ. Geom. Appl. 2016, 44, 52–62. [Google Scholar] [CrossRef]
  5. Ro, J.S.; Yoon, D.W. Tubes of weingarten types in Euclidean 3-space. J. Chungcheong Math. Soc. 2009, 22, 359–366. [Google Scholar] [CrossRef]
  6. Cui, L.; Wang, D.L.; Dai, J.S. Kinematic geometry of circular surfaces with a fixed radius based on Euclidean invariants. ASME J. Mech. 2009, 131, 101009. [Google Scholar] [CrossRef]
  7. Keskin, O.; Yayli, Y. An application of N-Bishop frame to spherical images for direction curves. Int. J. Geom. Methods Mod. Phys. 2017, 14, 1750162. [Google Scholar] [CrossRef]
  8. Izumiya, S.; Saji, K.; Takeuchi, N. Circular surfaces. Adv. Geom. 2007, 7, 295–313. [Google Scholar] [CrossRef]
  9. Xu, Z.; Feng, R.S. Analytic and algebraic properties of canal surfaces. J. Comput. Appl. Math. 2006, 195, 220–228. [Google Scholar] [CrossRef]
  10. Bishop, R.L. There is more than one way to frame a curve. Am. Math. Mon. 1975, 82, 246–251. [Google Scholar] [CrossRef]
  11. Klok, F. Two moving coordinate frames for sweeping along a 3D trajectory. Comput. Aided Geom. Des. 1986, 3, 217–229. [Google Scholar] [CrossRef]
  12. Farouki, R.T.; Giannelli, C.; Sampoli, M.L. Rotation-minimizing osculating frames. Comput. Aided Geom. Des. 2011, 31, 27–34. [Google Scholar] [CrossRef]
  13. Wang, W.; Joe, B. Robust computation of the rotation minimizing frame for sweep surface modelling. Comput. Aided Des. 1997, 29, 1997. [Google Scholar] [CrossRef]
  14. Wang, W.; Jüttler, B.; Zheng, D.; Liu, Y. Computation of rotating minimizing frames. ACM Trans. Graph. 2008, 27, 2008. [Google Scholar] [CrossRef]
  15. Grbovic, M.; Nešovic, E. On the Bishop frames of pseudo null and null Cartan curves in Minkowski 3-space. J. Math. Anal. Appl. 2018, 461, 219–233. [Google Scholar] [CrossRef]
  16. Li, Y.; Ganguly, D.; Dey, S.; Bhattacharyya, A. Conformal η-Ricci solitons within the framework of indefinite Kenmotsu manifolds. AIMS Math. 2022, 7, 5408–5430. [Google Scholar] [CrossRef]
  17. Li, Y.; Abolarinwa, A.; Azami, S.; Ali, A. Yamabe constant evolution and monotonicity along the conformal Ricci flow. AIMS Math. 2022, 7, 12077–12090. [Google Scholar] [CrossRef]
  18. Li, Y.; Khatri, M.; Singh, J.P.; Chaubey, S.K. Improved Chen’s Inequalities for Submanifolds of Generalized Sasakian-Space-Forms. Axioms 2022, 11, 324. [Google Scholar] [CrossRef]
  19. Li, Y.; Mofarreh, F.; Agrawal, R.P.; Ali, A. Reilly-type inequality for the ϕ-Laplace operator on semislant submanifolds of Sasakian space forms. J. Inequal. Appl. 2022, 1, 102. [Google Scholar] [CrossRef]
  20. Li, Y.; Mofarreh, F.; Dey, S.; Roy, S.; Ali, A. General Relativistic Space-Time with η1-Einstein Metrics. Mathematics 2022, 10, 2530. [Google Scholar] [CrossRef]
  21. Li, Y.; Dey, S.; Pahan, S.; Ali, A. Geometry of conformal η-Ricci solitons and conformal η-Ricci almost solitons on Paracontact geometry. Open Math. 2022, 20, 574–589. [Google Scholar] [CrossRef]
  22. Li, Y.; Uçum, A.; İlarslan, K.; Camcı, Ç. A New Class of Bertrand Curves in Euclidean 4-Space. Symmetry 2022, 14, 1191. [Google Scholar] [CrossRef]
  23. Li, Y.; Şenyurt, S.; Özduran, A.; Canlı, D. The Characterizations of Parallel q-Equidistant Ruled Surfaces. Symmetry 2022, 14, 1879. [Google Scholar] [CrossRef]
  24. Li, Y.; Haseeb, A.; Ali, M. LP-Kenmotsu manifolds admitting η-Ricci solitons and spacetime. J. Math. 2022, 2022, 6605127. [Google Scholar] [CrossRef]
  25. Li, Y.; Mofarreh, F.; Abdel-Baky, R.A. Timelike Circular Surfaces and Singularities in Minkowski 3-Space. Symmetry 2022, 14, 1914. [Google Scholar] [CrossRef]
  26. Li, Y.; Alluhaibi, N.; Abdel-Baky, R.A. One-Parameter Lorentzian Dual Spherical Movements and Invariants of the Axodes. Symmetry 2022, 14, 1930. [Google Scholar] [CrossRef]
  27. Li, Y.; Eren, K.; Ayvacı, K.H.; Ersoy, S. Simultaneous characterizations of partner ruled surfaces using Flc frame. AIMS Math. 2022, 7, 20213–20229. [Google Scholar] [CrossRef]
  28. Yang, Z.C.; Li, Y.; Erdoǧdub, M.; Zhu, Y.S. Evolving evolutoids and pedaloids from viewpoints of envelope and singularity theory in Minkowski plane. J. Geom. Phys. 2022, 176, 104513. [Google Scholar] [CrossRef]
  29. Gür, S.; Şenyurt, S.; Grilli, L. The Dual Expression of Parallel Equidistant Ruled Surfaces in Euclidean 3-Space. Symmetry 2022, 14, 1062. [Google Scholar]
  30. Çalışkan, A.; Şenyurt, S. Curves and ruled surfaces according to alternative frame in dual space. Commun. Fac. Sci. Univ. 2020, 69, 684–698. [Google Scholar] [CrossRef]
  31. Çalışkan, A.; Şenyurt, S. The dual spatial quaternionic expression of ruled surfaces. Therm. Sci. 2019, 23, 403–411. [Google Scholar] [CrossRef]
  32. Şenyurt, S.; Çalışkan, A. The quaternionic expression of ruled surfaces. Filomat 2018, 32, 5753–5766. [Google Scholar] [CrossRef] [Green Version]
  33. Şenyurt, S.; Gür, S. Spacelike surface geometry. Int. J. Geom. Methods Mod. Phys. 2017, 14, 1750118. [Google Scholar] [CrossRef]
  34. As, E.; Şenyurt, S. Some Characteristic Properties of Parallel-Equidistant Ruled Surfaces. Math. Probl. Eng. 2013, 2013, 587289. [Google Scholar] [CrossRef]
  35. Özcan, B.; Şenyurt, S. On Some Characterizations of Ruled Surface of a Closed Timelike Curve in Dual Lorentzian Space. Adv. Appl. Clifford Al. 2012, 22, 939–953. [Google Scholar]
  36. Antić, M.; Moruz, M.; Van, J. H-Umbilical Lagrangian Submanifolds of the Nearly Kähler 𝕊3 × 𝕊3. Mathematics 2020, 8, 1427. [Google Scholar] [CrossRef]
  37. Antić, M.; Djordje, K. Non-Existence of Real Hypersurfaces with Parallel Structure Jacobi Operator in S6(1). Mathematics 2022, 10, 2271. [Google Scholar] [CrossRef]
  38. Antić, M. Characterization of Warped Product Lagrangian Submanifolds in ℂn. Results Math. 2022, 77, 1–15. [Google Scholar] [CrossRef]
  39. Antić, M.; Vrancken, L. Conformally flat, minimal, Lagrangian submanifolds in complex space forms. Sci. China Math. 2022, 65, 1641–1660. [Google Scholar] [CrossRef]
  40. Antić, M.; Hu, Z.; Moruz, M.; Vrancken, L. Surfaces of the nearly Kähler 𝕊3 × 𝕊3 preserved by the almost product structure. Math. Nachr. 2021, 294, 2286–2301. [Google Scholar] [CrossRef]
  41. Antić, M. A class of four-dimensional CR submanifolds in six dimensional nearly Kähler manifolds. Math. Slovaca 2018, 68, 1129–1140. [Google Scholar] [CrossRef]
  42. Antić, M. A class of four dimensional CR submanifolds of the sphere S6(1). J. Geom. Phys. 2016, 110, 78–89. [Google Scholar] [CrossRef]
  43. Todorčević, V. Harmonic Quasiconformal Mappings and Hyperbolic Type Metrics; Springer International Publishing: Berlin/Heidelberg, Germany, 2019. [Google Scholar]
  44. Todorčević, V. Subharmonic behavior and quasiconformal mappings. Anal. Math. Phys. 2019, 9, 1211–1225. [Google Scholar] [CrossRef]
  45. Kojić, V.; Pavlović, M. Subharmonicity of |f|p for quasiregular harmonic functions, with applications. J. Math. Anal. Appl. 2008, 342, 742–746. [Google Scholar] [CrossRef]
  46. Kojić, V. Quasi-nearly subharmonic functions and conformal mappings. Filomat 2007, 21, 243–249. [Google Scholar] [CrossRef]
  47. Manojlović, V.; Vuorinen, M. On quasiconformal maps with identity boundary values. Trans. Am. Math. Soc. 2011, 363, 2367–2479. [Google Scholar] [CrossRef]
  48. Manojlović, V. On bilipschicity of quasiconformal harmonic mappings. Novi Sad J. Math. 2015, 45, 105–109. [Google Scholar] [CrossRef]
  49. Manojlović, V. Bilipschitz mappings between sectors in planes and quasi-conformality. Funct. Anal. Approx. Comput. 2009, 1, 1–6. [Google Scholar]
  50. Manojlović, V. Bi-Lipschicity of quasiconformal harmonic mappings in the plane. Filomat 2009, 23, 85–89. [Google Scholar] [CrossRef]
  51. Manojlović, V. On conformally invariant extremal problems. Appl. Anal. Discret. Math. 2009, 3, 97–119. [Google Scholar] [CrossRef]
  52. Jäntschi, L. Introducing Structural Symmetry and Asymmetry Implications in Development of Recent Pharmacy and Medicine. Symmetry 2022, 14, 1674. [Google Scholar]
  53. Jäntschi, L. Binomial Distributed Data Confidence Interval Calculation: Formulas, Algorithms and Examples. Symmetry 2022, 14, 1104. [Google Scholar] [CrossRef]
  54. Jäntschi, L. Formulas, Algorithms and Examples for Binomial Distributed Data Confidence Interval Calculation: Excess Risk, Relative Risk and Odds Ratio. Mathematics 2021, 9, 2506. [Google Scholar] [CrossRef]
  55. Donatella, B.; Jäntschi, L. Comparison of Molecular Geometry Optimization Methods Based on Molecular Descriptors. Mathematics 2021, 9, 2855. [Google Scholar]
  56. Mihaela, T.; Jäntschi, L.; Doina, R. Figures of Graph Partitioning by Counting, Sequence and Layer Matrices. Mathematics 2021, 9, 1419. [Google Scholar]
  57. Kumar, S.; Kumar, D.; Sharma, J.R.; Jäntschi, L. A Family of Derivative Free Optimal Fourth Order Methods for Computing Multiple Roots. Symmetry 2020, 12, 1969. [Google Scholar] [CrossRef]
  58. Deepak, K.; Janak, R.; Jäntschi, L. A Novel Family of Efficient Weighted-Newton Multiple Root Iterations. Symmetry 2020, 12, 1494. [Google Scholar]
  59. Janak, R.; Sunil, K.; Jäntschi, L. On Derivative Free Multiple-Root Finders with Optimal Fourth Order Convergence. Mathematics 2020, 8, 1091. [Google Scholar]
  60. Jäntschi, L. Detecting Extreme Values with Order Statistics in Samples from Continuous Distributions. Mathematics 2020, 8, 216. [Google Scholar] [CrossRef] [Green Version]
  61. Deepak, K.; Janak, R.; Jäntschi, L. Convergence Analysis and Complex Geometry of an Efficient Derivative-Free Iterative Method. Mathematics 2019, 7, 919. [Google Scholar]
  62. Gulbahar, M.; Kilic, E.; Keles, S.; Tripathi, M.M. Some basic inequalities for submanifolds of nearly quasi-constant curvature manifolds. Differ. Geom. Dyn. Sys. 2014, 16, 156–167. [Google Scholar]
  63. Tripathi, M.M.; Gülbahar, M.; Kiliç, E.; Keleş, S. Inequalities for scalar curvature of pseudo-Riemannian submanifolds. J. Geom. Phys. 2017, 112, 74–84. [Google Scholar] [CrossRef]
  64. Gulbahar, M. Qualar curvatures of pseudo Riemannian manifolds and pseudo Riemannian submanifolds. AIMS Math. 2021, 6, 1366–1377. [Google Scholar] [CrossRef]
  65. Kiliç, E.; Gulbahar, M.; Kavuk, E. Concurrent Vector Fields on Lightlike Hypersurfaces. Mathematics 2020, 9, 59. [Google Scholar] [CrossRef]
  66. Gulbahar, M.; Kiliç, E.; Keles, S. A useful orthonormal basis on bi-slant submanifolds of almost Hermitian manifolds. Tamkang J. Math. 2016, 47, 143–161. [Google Scholar] [CrossRef]
  67. O’Neil, B. Semi-Riemannian Geometry Geometry, with Applications to Relativity; Academic Press: New York, NY, USA, 1983. [Google Scholar]
  68. Walfare, J. Curves and Surfaces in Minkowski Space. Ph.D. Thesis, K.U. Leuven, Faculty of Science, Leuven, Belgium, 1995. [Google Scholar]
  69. Mofarreh, F.; Abdel-Baky, R.A.; Alluhaii, N. Spacelike sweeping surfaces and singularities in Minkowski 3-Space. Math. Probl. Eng. 2021, 2021, 5130941. [Google Scholar] [CrossRef]
Figure 1. C × R . .
Figure 1. C × R . .
Symmetry 14 01996 g001
Figure 2. CE.
Figure 2. CE.
Symmetry 14 01996 g002
Figure 3. SW.
Figure 3. SW.
Symmetry 14 01996 g003
Figure 4. Timelike sweeping surface.
Figure 4. Timelike sweeping surface.
Symmetry 14 01996 g004
Figure 5. CE timelike developable surface.
Figure 5. CE timelike developable surface.
Symmetry 14 01996 g005
Figure 6. SW timelike developable surface.
Figure 6. SW timelike developable surface.
Symmetry 14 01996 g006
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Li, Y.; Nazra, S.H.; Abdel-Baky, R.A. Singularity Properties of Timelike Sweeping Surface in Minkowski 3-Space. Symmetry 2022, 14, 1996. https://doi.org/10.3390/sym14101996

AMA Style

Li Y, Nazra SH, Abdel-Baky RA. Singularity Properties of Timelike Sweeping Surface in Minkowski 3-Space. Symmetry. 2022; 14(10):1996. https://doi.org/10.3390/sym14101996

Chicago/Turabian Style

Li, Yanlin, Sahar H. Nazra, and Rashad A. Abdel-Baky. 2022. "Singularity Properties of Timelike Sweeping Surface in Minkowski 3-Space" Symmetry 14, no. 10: 1996. https://doi.org/10.3390/sym14101996

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