Next Article in Journal
Mathematical Modeling of Spherical Shell-Type Pattern of Tumor Invasion
Next Article in Special Issue
On the Computation of the Codimension of Map Germs Using the Lie Algebra Associated with a Restricted Left–Right Group
Previous Article in Journal
Harmonic Oscillator Coherent States from the Standpoint of Orbit Theory
Previous Article in Special Issue
Lightlike Hypersurfaces of Almost Productlike Semi-Riemannian Manifolds
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Singularities for Timelike Developable Surfaces in Minkowski 3-Space

1
School of Mathematics, Hangzhou Normal University, Hangzhou 311120, China
2
School of Statistics, Jilin University of Finance and Economics, Changchun 130117, China
3
Department of Mathematical Sciences, College of Applied Sciences, Umm Al-Qura University, Mecca 24382, Saudi Arabia
4
Department of Mathematics, Faculty of Science, University of Assiut, Assiut 71516, Egypt
*
Author to whom correspondence should be addressed.
Symmetry 2023, 15(2), 277; https://doi.org/10.3390/sym15020277
Submission received: 21 October 2022 / Revised: 9 January 2023 / Accepted: 16 January 2023 / Published: 19 January 2023
(This article belongs to the Special Issue Symmetry and Its Application in Differential Geometry and Topology)

Abstract

:
In this paper, we consider the singularities and geometrical properties of timelike developable surfaces with Bishop frame in Minkowski 3-space. Taking advantage of the singularity theory, we give the classification of generic singularities of these developable surfaces. Furthermore, an example of application is given to illustrate the applications of the results.

1. Introduction

A channel or canal surface is a surface traced by a one-parameter family of spheres, whose center is on a smooth space curve, its directrix or spine. If the radii of the traced spheres are stationary then the canal surface is named a tubular or sweeping surface. There are several famous examples: circular cylinder, right circular cone, torus, and rotation surface. This visualization is a generalization of the classical registration of a partner of a planar curve [1,2,3,4,5,6]. One of the eminent facts about sweeping surface is that the sweeping surface can be a developable surface, that is, a smooth surface can be flattened onto a plane without distortion. Therefore, the developable surface can be made out of sheet metal, since such a surface must be attainable by modification from a plane, and every point on such a surface lies on at least one straight line. Therefore, sweeping surfaces and developable surfaces have been paid interest to in engineering, architecture, and design, etc. [7,8,9,10,11,12,13,14,15,16,17,18].
In Euclidean 3-space E 3 , in spite of the fact that the Serret–Frenet frame can simply be calculated, it is not continuously defined for a C 1 -continuous space curve, and even for a C 2 -continuous space curve the Serret–Frenet frame becomes undefined at an inflection point (i.e., curvature κ = 0), thus causing unacceptable discontinuity when utilized for surface modeling. Thus, in Ref. [19], Bishop defined a novel frame named the alternative frame or Bishop frame, which could yield the desired means to move smoothly on a space curve. We know that the Bishop frame in Euclidean 3-space is a sharp tool used to investigate the topological and geometrical properties of curves in Euclidean 3-space. Even though the second derivative of the curves are vanishing, the Bishop frame can still work for them. The idea can be expanded to the Minkowski space. Therefore, we give the Minkowski version moving frame, which is the Minkowski Bishop frame. We can find many articles related with the Minkowski Bishop frames, for example, Refs. [20,21,22,23].
The present work studies the singularities and geometrical properties of timelike developable surfaces according to the Minkowski Bishop frame. The field, as far as we are aware, is not covered by any articles, though it has been carefully and ably worked by many researchers. Thus, the present paper hopes to help such a need, and it is inspired by the works of Izumiya, and Haiming et al. [3,23,24,25,26]. In this article, we construct the Bishop frame of speed timelike curve and take advantage of the singularity theory to study the singularities and geometrical properties of timelike developable.

2. Preliminaries

In this section, we present some definitions and employ notions that we will use in this paper (see for instance Refs. [1,24]). Let R 3 = { p 1 , p 2 , p 3   , p i R (i = 1, 2, 3)} be a 3-dimensional Cartesian space. For any q = q 1 , q 2 , q 3 , and p = p 1 , p 2 , p 3 R 3 , the pseudo scalar product of q and p is defined by
< q , p > = q 1 p 1 + q 2 p 2 + q 3 p 3 .
We name ( R 3 , < , > ) Minkowski 3-space. We write E 1 3 instead of ( R 3 , < , > ) . We say that a non-zero vector q E 1 3 is spacelike, lightlike, or timelike if < q , q > > 0 , < q , q > = 0 or < q , q > < 0 , respectively. The norm of the vector q E 1 3 is defined to be q = < q , q > . For any two vectors q , p E 1 3 , we define the cross product q × p by
q × p = i j k q 1 q 2 q 3 p 1 p 2 p 3 = ( q 2 p 3 q 3 p 2 ) , ( q 3 p 1 q 1 p 3 ) , ( q 1 p 2 q 2 p 1 ) ,
where i , j , k is the canonical basis of E 1 3 . The hyperbolic ( H + 2 ) and Lorentzian unit spheres ( S 1 2 ), respectively, are
H + 2 = q E 1 3 q 2 = q 1 2 + q 2 2 + q 3 2 = 1 ,
and
S 1 2 = q E 1 3 q 2 = q 1 2 + q 2 2 + q 3 2 = 1 .
Let γ : I E 1 3 be a smooth curve in E 1 3 , where I is an interval of R . We call γ is s p a c e l i k e , t i m e l i k e , l i g h t l i k e if γ ( t ) = d γ d t ( t ) is spacelike, timelike, lightlike for any t R , respectively. A surface in the Minkowski 3-space E 1 3 is named a timelike surface if the induced metric on the surface is a Lorentzian metric and is named a spacelike surface if the induced metric on the surface is a positive definite Riemannian metric, i.e., the normal vector on spacelike (timelike) surface is a timelike (spacelike) vector. Let γ = γ ( s ) be a unit speed timelike curve in E 1 3 ; by κ ( s ) and τ ( s ) we indicate the natural curvature and torsion, respectively. γ ( s ) is called the Serret–Frenet curve if κ > 0 , and τ 0 . Consider the Serret–Frenet frame { χ 1 ( s ) , χ 2 ( s ) , χ 3 ( s ) } correlating with curve γ ( s ) , then the Serret–Frenet formulae reads:
χ 1 ( s ) χ 2 ( s ) χ 3 ( s ) = 0 κ 0 κ 0 τ 0 τ 0 χ 1 ( s ) χ 2 ( s ) χ 3 ( s ) ,
where χ 1 ( s ) = γ ( s ) , χ 2 ( s ) = γ ( s ) / γ ( s ) and χ 3 ( s ) = χ 1 ( s ) × χ 2 ( s ) are named the unit tangent vector, the principal normal vector and the binormal vector, respectively. Here “prime” indicates the derivative with respect to the parameter s. The Serret–Frenet vector fields satisfy the relations:
χ 1 × χ 2 = χ 3 , χ 1 × χ 3 = χ 2 , χ 2 × χ 3 = χ 1 .
The Bishop frame or rotation minimizing frame (RMF) of γ ( s ) is defined by
ξ ξ 1 ξ 2 = 0 μ 1 μ 2 μ 1 0 0 μ 2 0 0 ξ ξ 1 ξ 2 ,
Here, Bishop functions of γ ( s ) are defined by μ 1 ( s ) = κ cos φ , μ 2 ( s ) = κ sin φ . The relation matrix can be expressed as
ξ ξ 1 ξ 2 = 1 0 0 0 cos φ sin ϕ 0 sin φ cos φ χ 1 χ 2 χ 3 ,
where φ ( s ) 0 is a spacelike angle. One can show that
μ 1 2 + μ 2 2 = κ 2 , and ϑ = tan 1 μ 2 μ 1 ; μ 1 0 , φ ( s ) = s s 0 τ d s + φ 0 , φ 0 = φ ( s 0 ) .
A ruled surface in E 1 3 is locally the map D ( γ , x ) : I × R E 1 3 defined by
D ( γ , x ) ( s , t ) = γ ( s ) + t x ( s ) , t R ,
where γ ( s ) is named the base curve, and x ( s ) the director curve. The straight lines t γ ( s ) + t x ( s ) are named rulings. It is well known that D ( γ , x ) is a developable surface if and only if det( γ ( s ) , x ( s ) , x ( s ) ) = 0 .

3. Singularities for Timelike Developable Surfaces

In this section, we will investigate the singularities of two timelike developable ruled surfaces according to Bishop frame of regular unit speed timelike curve in Minkowski 3-space E 1 3 . Next we deduce Legendrian dualities between spherical indicatrixes of curves by using the theory of Legendrian duality as follows: By the theory of Legendrian duality we define one-forms
< d v , ω > = ω 1 d v 1 + ω 2 d v 2 + ω 3 d v 3 ,
and
< d ω , v > = v 1 d ω 1 + v 2 d ω 2 + v 3 d ω 3 .
Let S 1 2 be the Lorentzian (de Sitter space) unit sphere in E 1 3 . Then we have the following double fibration:
( a ) S 1 2 × S 1 2 = ( v , ω ) < ω , v > = 0 , ( b ) π 11 : S 1 2 , π 12 : S 1 2 , ( c ) θ 11 = < d v , ω > , θ 12 = < v , d ω > .
Here π 11 ( v , ω ) = v , π 12 ( v , ω ) = ω . θ 11 1 ( 0 ) , and θ 12 1 ( 0 ) define the same tangent plane on △, which is denoted by K, and indicates that (△,K) is a contact manifold and each of π 1 j (j = 1, 2) is Legendrian fibration. If there exists an isotropic mapping i: L , which means that i   ×   θ 11 = 0 , we say that π 11 ( i ( L ) ) and π 12 ( i ( L ) ) are △-dual to each other. It is uncomplicated to see that the condition i   ×   θ 11 = 0 is equivalent to i   ×   θ 12 = 0 . Then we have:
Corollary 1. 
Let γ: I E 1 3 be a unit speed timelike curve, with μ i 0 (i = 1, 2), we have:
(1)
χ 1 ( s ) and χ 3 ( s ) is Δ-dual to each other;
(2)
ξ 1 ( s ) and ξ 2 is Δ-dual to each other.
Proof. 
(1) Consider the curve L ( s ) = ( χ 1 ( s ) , χ 3 ( s ) ) H + 2 × S 1 2 . Then we have
< χ 1 ( s ) , χ 3 ( s ) > = 0 , and < χ 1 ( s ) , χ 3 ( s ) > = < κ χ 2 , χ 3 ( s ) > = 0 . The affirmation (1) holds.
(2) Consider the curve L ( s ) = ( ξ 1 ( s ) , ξ 2 ( s ) ) S 1 2 × S 1 2 . Then, we have
< ξ 1 ( s ) , ξ 2 ( s ) > = 0 , and < ξ 1 ( s ) , ζ 2 ( s ) > = < μ 1 ξ , ζ 2 ( s ) > = 0 . The affirmation (2) holds. □
Let y ( s , t ) be a parametric sweeping given by:
y ( s , t ) = γ ( s ) + r 1 ( t ) ξ 1 ( s ) + r 2 ( t ) ξ 2 ( s ) .
Here γ ( s ) is a timelike unit speed spine curve, 0 s T , s is the arc length parameter, and r ( t ) = ( 0 , r 1 ( t ) , r 2 ( t ) ) is the characteristic circle, with another parameter t R . It can be seen that y ( s , t ) is a timelike surface. From Equation (7) it follows that the expression of the two timelike developable surfaces is
D i ( s , t ) = γ ( s ) + t ξ i ( s ) , ( i = 1 , 2 ) .
It is clear that D 2 ( s , 0 ) = γ ( s ) (resp. D 1 ( s , 0 ) = γ ( s ) ), 0 s L , that is, the surface D 2 (resp. D 1 ) interpolate the curve γ ( s ) . Now, it seems natural to pose the following two questions. Under what condition does D i have singularities, and how do we recognize their different types? The answer can be stated as: To discuss the singularities of D i ( s , t ) , the cross product can be obtained as
D 1 s × D 1 t = 1 t μ 1 ξ 2 ( s ) ,
and
D 2 s × D 2 t = 1 t μ 2 ξ 1 ( s ) .
It follows that D 1 (resp. D 2 ) is non-singular at ( s 0 , t 0 ) if and only if 1 t 0 μ 1 ( s 0 ) 0 (resp. ( 1 t 0 μ 2 ( s 0 ) 0 ) . Hence, according to Theorem 3.2 in Ref. [10], we can give the following corollary:
Corollary 2. 
For the developable ruled surfaces D i ( s , t ) = γ ( s ) + t ξ i ( s ) , s I , t R , we have:
(1)
D i ( s , t ) is locally diffeomorphic to the cuspidal edge (CE) C(2,3) × R at ( s 0 , t 0 ) if and only if t 0 = μ i 1 ( s 0 ) 0 , and μ i ( s 0 ) 0 .
(2)
D i ( s , t ) is locally diffeomorphic to the Swallowtail (SW) at ( s 0 , t 0 ) if and only if t 0 = μ i 1 ( s 0 ) 0 , μ i ( s 0 ) = 0 , and μ i 1 ( s 0 ) 0 .
Now, we should address the next concept regarding the contact of curves with some surfaces. Let F: E 1 3 R be a regular function, and γ : R E 1 3 be a smooth unit speed timelike Frenet–Serret curve. We say that γ ( s ) and F 1 ( 0 ) have k-point contact for s = s 0 if the function g ( s 0 ) = F γ satisfies g ( s 0 ) = g ( s 0 ) = g ( s 0 ) = . . . = g ( k 1 ) ( s 0 ) = 0 , and g ( k ) ( s 0 ) 0 . Further, for any fixed x 0 E 1 3 , we define the set
BR j ( x 0 ) = < ξ i , x 0 γ ( s ) > = 0 , j = 1 , 2 .
We call it the first (resp. second) Bishop rectifying bundle of γ ( s ) through x 0 when j = 1 (resp. j = 2).
The major aim of this work is in the following theorem:
Theorem 1. 
Let γ: I E 1 3 be a unit speed timelike curve, with μ i 0 ; i = 1, 2. Then we: A- For x 0 = D 1 ( s 0 , t 0 ) and the second Bishop rectifying bundle BR 2 ( x 0 ) of γ ( s ) . One has the following:
(a)
The curve γ ( s ) and BR 2 ( x 0 ) have at least a 2-point contact at s0;
(b)
The curve γ ( s ) and BR 2 ( x 0 ) have at least a 3-point contact at s0 if and only if
x 0 = γ ( s 0 ) 1 μ 1 ( s 0 ) ξ 1 ( s 0 ) , μ 1 ( s 0 ) 0 .
Under this situation D 1 ( s , t ) at ( s 0 , t 0 ) is locally diffeomorphic to CE C(2,3) × R , and D 1 ( s 0 , 1 μ 1 ( s 0 ) ) is locally diffeomorphic to a line;
(c)
The curve γ ( s ) and BR 2 ( x 0 ) has at least a 4-point contact at s0 if and only if
x 0 = γ ( s 0 ) 1 μ 1 ( s 0 ) ξ 1 ( s 0 ) , μ 1 ( s 0 ) = 0 , μ 1 ( s 0 ) 0 .
Under this situation D 1 ( s , t ) at ( s 0 , t 0 ) is locally diffeomorphic to SW, and D 1 ( s 0 , 1 μ 1 ( s 0 ) ) is locally diffeomorphic to the (2,3,4)-cusp.
For x 0 = D 2 ( s 0 , t 0 ) and the first Bishop rectifying bundle BR 1 ( x 0 ) of γ ( s ) . One has:
(a)
The curve γ ( s ) and BR 1 ( x 0 ) have at least a 2-point contact at s0;
(b)
The curve γ ( s ) and BR 1 ( x 0 ) have at least a 3-point contact at s0 if and only if
x 0 = γ ( s 0 ) + 1 μ 2 ( s 0 ) ξ 2 ( s 0 ) , μ 2 ( s 0 ) 0 .
Under this situation D 2 ( s , t ) at ( s 0 , t 0 ) is locally diffeomorphic to CE C(2,3) × R , and D 2 ( s 0 , 1 μ 2 ( s 0 ) ) is locally diffeomorphic to a line; (c) The curve γ ( s ) and BR 1 ( x 0 ) have at least a 4-point contact at s0 if and only if
x 0 = γ ( s 0 ) + 1 μ 2 ( s 0 ) ξ 2 ( s 0 ) , μ 2 ( s 0 ) = 0 , μ 2 ( s 0 ) 0 .
Under this situation D 2 ( s , t ) at ( s 0 , t 0 ) is locally diffeomorphic to SW, and D 2 ( s 0 , 1 μ 2 ( s 0 ) ) is locally diffeomorphic to the (2,3,4)-cusp.
Here, C(2,3) × R = ( x , y ) x 2 = y 3 × R , C(2, 3, 4) = ( x , y , z ) x = t 2 , y = t 3 , z = t 4 , and S W = ( x , y , z ) x = 3 u 4 + u 2 v , y = 4 u 3 + 2 u v , z = v . The graphs of cuspidal edge and swallowtail can be seen in Figure 1 and Figure 2.

3.1. Bishop Height Functions

Now we will consider two various sets of Bishop height functions, which will be helpful for studying the singularities of D i ( s , t ) as follows [27,28]: H i : I × E 1 3 R , by H i ( s , x ) = < ξ i , x γ > ; i = 1, 2. We name it the first (resp. second) Bishop height function for i = 1 (resp. 2). We use the notation h ix ( s ) = H i ( s , x ) for any fixed x E 1 3 . From now on, we shall not often write the parameter s. Then, we have the following proposition:
Proposition 1. 
Let γ: I E 1 3 be a unit speed timelike curve, with μ 1 0 , and μ 2 0 . Then:
(A)
 
(1)
h 1 x ( s ) = 0 if and only if there exist a, b R such that x γ = a ξ + b ξ 2 ,
(2)
h 1 x ( s ) = h 1 x ( s ) = 0 if and only if x = γ ( s ) + t ξ 2 ( s ) .
(3)
h 1 x ( s ) = h 1 x ( s ) = h 1 x ( s ) = 0 if and only if x = γ ( s ) 1 μ 2 ( s ) ξ 2 ( s ) .
(4)
h 1 x ( s ) = h 1 x ( s ) = h 1 x ( s ) = h 1 x ( s ) = 0 if and only if x = γ ( s ) 1 μ 2 ( s ) ξ 2 ( s ) , and μ 2 ( s ) = 0 .
(5)
h 1 x ( s ) = h 1 x ( s ) = h 1 x ( s ) = h 1 x ( s ) = h 1 x ( 4 ) ( s ) = 0 if and only if x = γ ( s ) 1 μ 2 ( s ) ξ 2 ( s ) , and μ 2 ( s ) = μ 2 ( s ) = 0 .
(B)
 
(1)
h 2 x ( s ) = 0 if and only if there exist a, b R such that x γ = a ξ + b ξ 1 ,
(2)
h 2 x ( s ) = h 2 x ( s ) = 0 if and only if x = γ ( s ) + t ξ 1 ( s ) .
(3)
h 2 x ( s ) = h 2 x ( s ) = h 2 x ( s ) = 0 if and only if x = γ ( s ) + 1 μ 1 ( s ) ξ 1 ( s ) .
(4)
h 2 x ( s ) = h 2 x ( s ) = h 2 x ( s ) = h 2 x ( s ) = 0 if and only if x = γ ( s ) + 1 μ 1 ( s ) ξ 2 ( s ) , and μ 1 ( s ) = 0 .
(5)
h 2 x ( s ) = h 2 x ( s ) = h 2 x ( s ) = h 2 x ( s ) = h 2 x ( 4 ) ( s ) = 0 if and only if x = γ ( s ) + 1 μ 1 ( s ) ξ 2 ( s ) , and μ 1 ( s ) = μ 1 ( s ) = 0 .
Proof. 
(A). (1) Since h 1 x ( s ) = < x γ , ξ 1 > = 0 , and { ξ , ξ 1 , ξ 2 } is RMF along γ ( s ) , then there exists a, b R such that x γ = a ξ + b ξ 2 .
(2) When h 1 x ( s ) = 0 , the affirmation (2) follows from the fact that h 1 x ( s ) = < ξ 1 , x γ > = < μ 1 ξ , x γ > = 0 . Thus, we have that < μ 1 ξ , x γ > = 0 . It follows from the fact μ 1 0 that < ξ , x γ > , and x γ = b ξ 2 . Thus, we get that h 1 x ( s ) = h 1 x ( s ) = 0 if and only if x γ = b ξ 2 .
(3) When h 1 x ( s ) = h 1 x ( s ) = 0 , the affirmation (3) follows from the fact that
h 1 x ( s ) = μ 1 + < x γ , μ 1 ξ + μ 1 2 ξ 1 μ 1 μ 2 ξ 2 > = 0 = μ 1 ( 1 + b μ 2 ) ,
Since μ 1 0 , we get that h 1 x ( s ) = h 1 x ( s ) = h x ( s ) = 0 if and only if x = γ ( s ) 1 μ 2 ( s ) ξ 2 ( s ) .
(4) Under the hypothesis that h 1 x ( s ) = h 1 x ( s ) = h 1 x ( s ) = 0 , this derivative is calculated as follows:
h 1 x ( 3 ) ( s ) = 2 μ 1 + < μ 1 μ 1 3 + μ 1 μ 2 2 ) ξ + 3 μ 1 μ 1 ξ 1 μ 1 μ 2 + 2 μ 2 μ 1 ξ 2 , x γ > = μ 1 ( s ) μ 2 ( s ) μ 2 ( s ) = 0 .
Since μ 2 ( s ) 0 , we get h 1 x ( 3 ) ( s ) = 0 , which is equivalent to the assumption μ 2 ( s ) = 0 . The affirmation (4) follows.
(5) Under the hypothesis that h 1 x ( s ) = h 1 x ( s ) = h 1 x ( s ) = h 1 x ( 3 ) ( s ) = 0 , this derivative is calculated as:
h 1 x ( 4 ) ( s ) = 3 μ 1 + μ 1 3 μ 1 μ 2 2 + < a ξ + a 1 ξ 1 + a 2 ξ 2 , , x γ > ,
where
a ( s ) = μ 1 6 μ 1 μ 1 2 + 3 μ 1 μ 2 2 + 3 μ 1 μ 1 μ 2 , a 1 ( s ) = 3 μ 1 2 + 3 μ 1 μ 1 + μ 1 4 + μ 1 2 μ 1 2 , a 2 ( s ) = 3 μ 1 μ 2 3 μ 1 μ 2 + μ 1 3 μ 2 μ 1 μ 2 3 μ 1 μ 2 .
By x = γ ( s ) 1 μ 2 ( s ) ξ 2 ( s ) in the above, we have that:
h 1 x ( 4 ) ( s ) = 3 μ 1 + μ 1 3 μ 1 μ 2 2 1 μ 2 3 μ 1 μ 2 3 μ 1 μ 2 + μ 1 3 μ 2 μ 1 μ 2 3 μ 1 μ 2 = 3 μ 1 μ 2 + μ 1 μ 2 μ 2 .
Since μ 1 ( s ) 0 , μ 2 ( s ) = 0 , we get that h 1 x ( 4 ) ( s ) = 0 is synonymous to the assumption μ 2 ( s ) = 0 . The affirmation (5) follows. Using the identical computation as the proof of (A), we can get (B). □
By simple calculations, we have:
Proposition 2. 
Let γ: I E 1 3 be a unit speed timelike curve, with μ 1 0 , and μ 2 0 . Then:
(1)
μ 2 = 0 if and only if x = γ ( s ) + 1 μ 2 ( s ) ξ 2 ( s ) is a constant vector.
(2)
μ 1 = 0 if and only if x = γ ( s ) 1 μ 1 ( s ) ξ 1 ( s ) is a constant vector.

3.2. Unfolding of Functions by One-Variable

Now we employ some public results on the singularity theory for families of function germs [27,28]. 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 Ak-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 s0. 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 an p-versal unfolding if the k × r matrix of coefficients L j i has rank k k r . Therefore, we write serious sets on the unfolding regarding to the above notations. The discriminant set of order t of F is the set
D F t = x R r s R , F s , x = , F s s , x = . . . = t F s t s , x = 0 at ( s , x ) .
Then D F 1 = D F , and D F 2 is the set of singular points of D F .
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 D F 2 = ;
(b) If k = 2 , then D F is locally diffeomorphic to C ( 2 , 3 ) × R r 2 , D F 2 is locally diffeomorphic to { 0 } × R r 2 , and D F 3 = .
(c) If k = 3 , then D F is locally diffeomorphic to S W × R r 3 , D F 3 is locally diffeomorphic to C ( 2 , 3 , 4 ) × R r 3 , and D F 3 is locally diffeomorphic to { 0 } × R r 3 , and D F 4 = .
Then, the following proposition can be obtained.
Proposition 3. 
Under the situations of Proposition 1, if h 1 x 0 ( s ) has A k -singularity ( k = 2 , 3 ) at s 0 R , then H 1 ( s , x ) is a p versal unfolding of h 1 x 0 ( s 0 ) . (2). If h 2 x 0 ( s ) has A k -singularity ( k = 2 , 3 ) at s 0 R , then H 2 ( s , x ) is a p versal unfolding of h 2 x 0 ( s 0 ) .
Proof. 
(1) Let γ s = γ 1 s , γ 2 s , γ 3 s , x = x 1 , x 2 , x 3 in E 1 3 , and ξ 1 s = ξ 11 s , ξ 12 s , ξ 13 s S 1 2 . Then,
H 1 ( s , x ) = γ 1 s x 1 ξ 11 ( s ) + γ 2 s x 2 ξ 12 ( s ) + γ 3 s x 3 ξ 13 ( s ) .
Thus, we have
H 1 x 1 = ξ 11 ( s ) , H 1 x 2 = ξ 12 ( s ) , H 1 x 3 = ξ 13 ( s ) 2 H 1 s x 1 = ξ 11 ( s ) , 2 H 1 s x 2 = ξ 12 ( s ) , 2 H 1 s x 3 = ξ 13 ( s ) .
Therefore, the 2-jets of H x i at s 0 (i=0, 1) are:
j 1 H 1 x 1 ( s , x 0 ) = ξ 11 ( s s 0 ) , j 1 H 1 x 2 ( s , x 0 ) = ξ 12 ( s ) ( s s 0 ) , j 1 H 1 x 3 ( s , x 0 ) = ξ 13 ( s s 0 ) ,
and
j 2 H 1 x 1 ( s , x 0 ) = ξ 11 ( s s 0 ) + 1 2 ξ 11 s s 0 2 , j 2 H 1 x 2 ( s , x 0 ) = ξ 12 ( s ) ( s s 0 ) 1 2 ξ 12 s s 0 2 , j 2 H 1 x 2 ( s , x 0 ) = ξ 13 ( s ) ( s s 0 ) 1 2 ξ 13 s s 0 2 .
(i) If h 1 x 0 ( s 0 ) has the A 2 -singularity at s 0 , then h 1 x 0 ( s 0 ) = 0 . So the 1 × 3 matrix of coefficients L j i is:
A = ξ 11 ξ 12 ξ 13 .
Suppose that the rank of the matrix A is zero, then we have:
ξ 11 = ξ 12 = ξ 13 = 0 .
Since γ ( s 0 ) = ξ ( s 0 ) 2 = 1 , we have ξ 11 2 + ξ 11 2 + ξ 11 2 = μ 1 2 0 , so that we have a contradiction. Therefore rank( A ) = 1 , and H is the (p) versal unfolding of h 1 x 0 at s 0 .
(ii) If h 1 x 0 ( s 0 ) has the A 3 -singularity at s 0 R , then h 1 x 0 ( s 0 ) = h 1 x 0 ( s 0 ) = 0 . Therefore, the 3 × 3 matrix of the coefficients L j i is
B ( s 0 ) = ξ 11 ξ 12 ξ 13 ξ 11 ξ 12 ξ 13 1 2 ξ 11 1 2 ξ 12 1 2 ξ 13 .
For the intention, we also require the 3 × 3 matrix B to be non-singular, which it constantly is. Furthermore, the determinate of this matrix at s 0 is
det B = 1 2 ξ 11 ξ 12 ξ 13 ξ 11 ξ 12 ξ 13 ξ 11 ξ 12 ξ 13 = 1 2 < ξ 1 × ξ 1 , ξ 1 > .
Since ξ 1 = μ 1 ξ , we have ξ 1 = μ 1 ξ μ 1 2 ξ 1 + μ 1 μ 2 ξ 2 . Substituting these equations to the above equality, we obtain
det B = 1 2 μ 1 2 ( s 0 ) μ 2 ( s 0 ) 0 .
Thus rank ( B ) = 3 , if we consider the matrix which consists of the first and the second row of the matrix B, so that rank ( B ) = 2 . (2) Using the same computation as the proof of (1), we can get (2). □
Proof of Theorem 1 .
(1) Let γ : I E 1 3 be a unit speed timelike curve, with μ 1 0 , and μ 2 0 . For x 0 = γ ( s 0 ) + t 0 ξ i ( s 0 ) , we define a function H i ( p ) = < ξ i , x 0 p > (i = 1, 2), then we have h i x 0 ( s ) = N i ( γ ( s ) ) .
First, we consider the affirmation (1). For x 0 = D 1 ( s 0 , t 0 ) , since BR 2 ( x 0 ) = H 2 1 ( 0 ) , where 0 is a regular value of H 2 ; h 2 x 0 ( s ) has the A k -singularity at s0 if and only if γ ( s 0 ) and BR 2 ( x 0 ) have (k+1)-point contact for s 0 . On the other hand, the discriminant set D H 2 of H 2 is
D H 2 = x = γ ( s ) + t ξ 1 ( s ) s I , t R .
The affirmation (1) follows from Theorem 2 and Proposition 1. Since the trajectory of the singularities of CE is locally diffeomorphic to the line, the affirmation (b) holds. Since the trajectory of singularities of SW is C(2,3,4), the affirmation (c) holds.
For the affirmation (2), the discriminant set of D H 1 of H 1 is
D H 1 = x = γ ( s ) + t ξ 2 ( s ) s I , t R .
By a similar argument, we can also prove the affirmation (2). This completes the proof. □
Example 1. 
Given the timelike helix:
γ ( s ) = ( 3 sinh s , 3 cosh s , 2 s ) , 1 s 1 ,
It is simple to have that
χ 1 ( s ) = ( 3 cosh s , 3 sinh s , 2 ) , χ 2 ( s ) = ( sinh s , cosh s , 0 ) , χ 3 ( s ) = ( 2 cosh s , 2 sinh s , 3 ) , κ ( s ) = 3 , a n d τ ( s ) = 2 .
Taking φ 0 = 0 we have φ ( s ) = 2 s . Using Equations (3)–(5), we obtain μ 1 ( s ) = 3 cos 2 s , and μ 2 ( s ) = 3 sin 2 s . Hence:
ξ ξ 1 ξ 2 = 1 0 0 0 cos 2 s s sin 2 s 0 sin 2 s cos 2 s χ 1 χ 2 χ 3 .
Thus, we get
ξ 1 = ξ 11 ξ 12 ξ 13 = sinh s cos 2 s 2 cosh s sin 2 s cosh s cos 2 s 2 sinh s sin 2 s 3 sin 2 s , ξ 2 = ξ 21 ξ 22 ξ 23 = sinh s sin 2 s + 2 cosh s cos 2 s sin 2 s cosh s + 2 cos 2 s sinh s 3 cos 2 s .
So, the timelike developable surface is
y ( s , t ) = 3 sinh s , 3 cosh s , 2 s + r 1 ( t ) ξ 11 ξ 12 ξ 13 + r 2 ( t ) ξ 21 ξ 22 ξ 23 .
(1) If we take r 1 ( t ) = cos t , and r 2 ( t ) = sin t , then we instantly obtain the surface (see Figure 3).
(2) If r 1 ( t ) = r 2 ( t ) = t , then D 1 ( s , t ) , and D 2 ( s , t ) , respectively, are:
D 1 ( s , t ) = 3 sinh s + t ξ 11 , 3 cosh s + t ξ 13 , 2 s + t ξ 12 ,
and
D 2 ( s , t ) = 3 sinh s + t ξ 21 , 3 cosh s + t ξ 23 , 2 s + t ξ 22 .
In addition, the singular locus of D 1 ( s , t ) , and D 2 ( s , t ) , respectively, are:
D 1 ( s ) = 3 sinh s + 1 3 cos 2 s ξ 11 , 3 cosh s + 1 3 cos 2 s ξ 13 , 2 s + 1 3 cos 2 s ξ 12 ,
and
D 2 ( s ) = 3 sinh s + 1 3 sin 2 s ξ 21 , 3 cosh s + 1 3 sin 2 s ξ 23 , 2 s + 1 3 sin 2 s ξ 22 .
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 D 1 ( s , t ) is locally diffeomorphic to a CE and its singular locus is locally diffeomorphic to a line (the red line), see Figure 4. For D 2 ( s , t ) , when π 6 2 s 5 π 6 2 . We see that μ 2 1 ( s ) = 1 3 cos 2 s 0 , μ 2 ( s ) = 6 cos 2 s = 0 gives one real root s = π 2 2 . We can also get that μ 2 1 ( π 2 2 ) = 0 , that is, D 2 ( s , t ) fails to be locally diffeomorphic to SW and its singular locus is not locally diffeomorphic to the C(2,3,4)-cusp at s = π 2 2 . Hence H 2 ( s , x ) fails to be a versal unfolding of the h 2 x (s) at s = π 2 2 ; see Figure 5.

4. Conclusions

In this paper, we considered the notion of timelike developable surfaces with rotation minimizing frames in Minkowski 3–Space E 1 3 . By applying singularities theory, we classified the generic properties of the cuspidal edge and swallowtail. Finally, an example of application is offered to demonstrate the theoretical results. Furthermore, recently the application of singularity theory and submanifolds theory and so forth, presented in Refs. [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], has attracted great interest. In the following work, we will connect the results of this paper with the techniques and methods in Refs. [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] to explore more results and theorems related to symmetric properties about this topic.

Author Contributions

Conceptualization, Y.L., Z.C., S.H.N., R.A.A.-B.; methodology, Y.L., Z.C., S.H.N., R.A.A.-B.; investigation, Y.L., Z.C., S.H.N., R.A.A.-B.; writing—original draft preparation, Y.L., Z.C., S.H.N., R.A.A.-B.; writing—review and editing, Y.L., Z.C., S.H.N., 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).

Data Availability Statement

Not applicable.

Acknowledgments

The authors would like to express their sincere thanks to the editor and the anonymous reviewers for their helpful comments and suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. do Carmo, M.P. Differential Geometry of Curves and Surface; Prentice-Hall: Englewood Cliffs, NJ, USA, 1976. [Google Scholar]
  2. Xu, Z.; Feng, R. Analytic and algebraic properties of canal Surfaces. J. Comput. Appl. Math. 2006, 195, 220–228. [Google Scholar] [CrossRef] [Green Version]
  3. Izumiya, S.; Saji, K.; Takeuchi, N. Circular surfaces. Adv. Geom. 2007, 7, 295–313. [Google Scholar] [CrossRef]
  4. Cui, L.; Wang, D.; Dai, J. Kinematic geometry of circular surfaces with a fixed radius based on Euclidean invariants. ASME J. Mech. 2009, 131, 101009. [Google Scholar] [CrossRef]
  5. Qian, J.; Kim, Y. Some characterizations of canal surfaces. Bull. Korean Math. Soc. 2016, 53, 461–477. [Google Scholar]
  6. Qian, J.; Kim, Y. Some Classification of canal surfaces with the Gauss map. Bull. Malays. Math. Sci. Soc. 2019, 42, 261–3272. [Google Scholar] [CrossRef]
  7. Abdel-Baky, R.A. Developable surfaces through sweeping surfaces. Bull. Iran. Math. Soc. 2019, 45, 951–963. [Google Scholar] [CrossRef]
  8. Mofarreh, F.; Abdel-Baky, R.; Naghi, M. Developable surfaces through spacelike sweeping surfaces in Minkowski 3–Space. Appl. Math. Inf. Sci. 2021, 15, 263–270. [Google Scholar]
  9. Mofarreh, F.; Abdel-Baky, R. Timelike sweeping surfaces and Singularities. Int. J. Geom. Methods Mod. Phys. 2021, 18, 2150006. [Google Scholar] [CrossRef]
  10. Abdel-Baky, R.; Mofarreh, F.; Alluhaii, N. Spacelike sweeping surfaces and singularities in Minkowski 3-Space. Math. Probl. Eng. 2021, 2021, 5130941. [Google Scholar]
  11. Pottmann, H.; Wallner, M. Approximation Algorithms for Developable Surfaces. Comput.-Aided Geom. Des. 1999, 16, 539–556. [Google Scholar] [CrossRef]
  12. Kose, O. A method of the determination of a developable ruled surface. Mech. Mach. Theory. 1999, 34, 1187–1193. [Google Scholar] [CrossRef]
  13. Zhao, H.; Wang, G. A new method for designing a developable surface utilizing the surface pencil through a given curve. Prog. Nat. Sci. 2008, 18, 105–110. [Google Scholar] [CrossRef]
  14. Yıldız, O.G.; Karakus, S.O.; Hacısalihoglu, H.H. On the determination of a developable spherical orthotomic ruled surface. Bull. Math. Sci. 2015, 5, 137–146. [Google Scholar] [CrossRef]
  15. Izumiya, S.; Takeuchi, N. New Special Curves and Developable Surfaces. Turk. J. Math. 2004, 28, 153–163. [Google Scholar]
  16. Li, Y.; Nazra, S.H.; Abdel-Baky, R.A. Singularity Properties of Timelike Sweeping Surface in Minkowski 3-Space. Symmetry 2022, 14, 1996. [Google Scholar] [CrossRef]
  17. Li, Y.; Eren, K.; Ayvacı, K.H.; Ersoy, S. The developable surfaces with pointwise 1-type Gauss map of Frenet type framed base curves in Euclidean 3-space. AIMS Math. 2023, 8, 2226–2239. [Google Scholar] [CrossRef]
  18. Izumiya, S.; Takeuchi, N. Singularities of ruled surfaces in R3. Math. Proc. Camb. Philos. Soc. 2001, 130, 1–11. [Google Scholar] [CrossRef]
  19. Bishop, R.L. There is more than one way to frame a curve. Am. Math. Mon. 1975, 82, 246–251. [Google Scholar] [CrossRef]
  20. 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] [Green Version]
  21. 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]
  22. 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]
  23. Liu, H.; Pei, D. Legendrian dualities between spherical indicatrixes of curves and surfaces according to Bishop frame. J. Nonlinear Sci. Appl. 2016, 9, 2875–2887. [Google Scholar] [CrossRef] [Green Version]
  24. O’Neil, B. Semi-Riemannian Geometry Geometry, with Applications to Relativity; Academic Press: New York, NY, USA, 1983. [Google Scholar]
  25. Walfare, J. Curves and Surfaces in Minkowski Space. Ph.D. Thesis, K.U. Leuven, Faculty of Science, Leuven, Belgium, 1995. [Google Scholar]
  26. Nagai, T. The Gauss map of a hypersurface in Euclidean sphere and the spherical Legendrian duality. Topol. Appl. 2012, 159, 545–554. [Google Scholar] [CrossRef] [Green Version]
  27. Bruce, J.; Giblin, P. Generic geometry. Am. Math. Mon. 1983, 90, 529–545. [Google Scholar] [CrossRef]
  28. Bruce, J.W.; Giblin, P.J. Curves and Singularities, 2nd ed.; Cambridge University Press: Cambridge, UK, 1992. [Google Scholar]
  29. Antic, M. Characterization ofWarped Product Lagrangian Submanifolds in Cn. Results Math. 2022, 77, 106. [Google Scholar] [CrossRef]
  30. Antic, M.; Vrancken, L. Conformally flat, minimal, Lagrangian submanifolds in complex space forms. Sci. China Math. 2022, 65, 1641–1660. [Google Scholar] [CrossRef]
  31. Li, Y.; Aldossary, M.T.; Abdel-Baky, R.A. Spacelike Circular Surfaces in Minkowski 3-Space. Symmetry 2023, 15, 173. [Google Scholar] [CrossRef]
  32. 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]
  33. Li, Y.; Mofarreh, F.; Abdel-Baky, R.A. Timelike Circular Surfaces and Singularities in Minkowski 3-Space. Symmetry 2022, 14, 1914. [Google Scholar] [CrossRef]
  34. Li, Y.; Erdoğdu, M.; Yavuz, A. Differential Geometric Approach of Betchow-Da Rios Soliton Equation. Hacet. J. Math. Stat. 2022, 1–12. [Google Scholar] [CrossRef]
  35. Li, Y.; Abdel-Salam, A.A.; Saad, M.K. Primitivoids of curves in Minkowski plane. AIMS Math. 2023, 8, 2386–2406. [Google Scholar] [CrossRef]
  36. Li, Y.; Prasad, R.; Haseeb, A.; Kumar, S.; Kumar, S. A Study of Clairaut Semi-Invariant Riemannian Maps from Cosymplectic Manifolds. Axioms 2022, 11, 503. [Google Scholar] [CrossRef]
  37. 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]
  38. Li, Y.; Abolarinwa, A.; Alkhaldi, A.H.; Ali, A. Some Inequalities of Hardy Type Related to Witten–Laplace Operator on Smooth Metric Measure Spaces. Mathematics 2022, 10, 4580. [Google Scholar] [CrossRef]
  39. Li, Y.; Mofarreh, F.; Laurian-Ioan, P.; Ali, A. Geometric Inequalities on the Dirac Operator and the Frobenius Norms. Adv. Math. Phys. 2023, 2023, 1275374. [Google Scholar]
  40. 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]
  41. Ç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]
  42. Çalışkan, A.; Şenyurt, S. The dual spatial quaternionic expression of ruled surfaces. Therm. Sci. 2019, 23, 403–411. [Google Scholar] [CrossRef] [Green Version]
  43. Şenyurt, S.; Çalışkan, A. The quaternionic expression of ruled surfaces. Filomat 2018, 32, 5753–5766. [Google Scholar] [CrossRef] [Green Version]
  44. Şenyurt, S.; Gür, S. Spacelike surface geometry. Int. J. Geom. Methods Mod. Phys. 2017, 14, 1750118. [Google Scholar] [CrossRef]
  45. As, E.; Şenyurt, S. Some Characteristic Properties of Parallel-Equidistant Ruled Surfaces. Math. Probl. Eng. 2013, 2013, 587289. [Google Scholar] [CrossRef] [Green Version]
  46. Ö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]
  47. Ali, A.T. Non-lightlike constant angle ruled surfaces in Minkowski 3-space. J. Geom. Phys. 2020, 157, 103833. [Google Scholar] [CrossRef]
  48. Ali, A.T. A constant angle ruled surfaces. Int. J. Geom. 2018, 7, 69–80. [Google Scholar]
  49. Ali, A.T. Non-lightlike ruled surfaces with constant curvatures in Minkowski 3-space. Int. J. Geom. Methods Mod. Phys. 2018, 15, 1850068. [Google Scholar] [CrossRef]
  50. Ali, A.T.; Hamdoon, F.M. Surfaces foliated by ellipses with constant Gaussian curvature in Euclidean 3-space. Korean J. Math. 2017, 25, 537–554. [Google Scholar]
  51. Ali, A.T.; Abdel Aziz, H.S.; Sorour, A.H. On some geometric properties of quadric surfaces in Euclidean space. Honam Math. J. 2016, 38, 593–611. [Google Scholar] [CrossRef] [Green Version]
  52. Ali, A.T.; Abdel Aziz, H.S.; Sorour, A.H. On curvatures and points of the translation surfaces in Euclidean 3-space. J. Egyptian Math. Soc. 2015, 23, 167–172. [Google Scholar] [CrossRef] [Green Version]
  53. 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]
  54. 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]
  55. Gulbahar, M. Qualar curvatures of pseudo Riemannian manifolds and pseudo Riemannian submanifolds. AIMS Math. 2021, 6, 1366–1377. [Google Scholar] [CrossRef]
  56. Kiliç, E.; Gulbahar, M.; Kavuk, E. Concurrent Vector Fields on Lightlike Hypersurfaces. Mathematics 2020, 9, 59. [Google Scholar] [CrossRef]
  57. 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]
Figure 1. Cuspidal edge.
Figure 1. Cuspidal edge.
Symmetry 15 00277 g001
Figure 2. Swallowtail.
Figure 2. Swallowtail.
Symmetry 15 00277 g002
Figure 3. Timelike developable surface.
Figure 3. Timelike developable surface.
Symmetry 15 00277 g003
Figure 4. D 1 ( s , t ) .
Figure 4. D 1 ( s , t ) .
Symmetry 15 00277 g004
Figure 5. D 2 ( s , t ) .
Figure 5. D 2 ( s , t ) .
Symmetry 15 00277 g005
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Li, Y.; Chen, Z.; Nazra, S.H.; Abdel-Baky, R.A. Singularities for Timelike Developable Surfaces in Minkowski 3-Space. Symmetry 2023, 15, 277. https://doi.org/10.3390/sym15020277

AMA Style

Li Y, Chen Z, Nazra SH, Abdel-Baky RA. Singularities for Timelike Developable Surfaces in Minkowski 3-Space. Symmetry. 2023; 15(2):277. https://doi.org/10.3390/sym15020277

Chicago/Turabian Style

Li, Yanlin, Zhizhi Chen, Sahar H. Nazra, and Rashad A. Abdel-Baky. 2023. "Singularities for Timelike Developable Surfaces in Minkowski 3-Space" Symmetry 15, no. 2: 277. https://doi.org/10.3390/sym15020277

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