Next Article in Journal
An Investigation into Bipolar Fuzzy Hoop Algebras and Their Applications
Previous Article in Journal
Exploring Geometrical Properties of Annihilator Intersection Graph of Commutative Rings
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curves in Minkowski Three-Space

by
Özgür Boyacıoğlu Kalkan
1,*,
Süleyman Şenyurt
2,
Davut Canlı
2 and
Luca Grilli
3,*
1
Afyon Vocational School, Afyon Kocatepe University, 03200 Afyonkarahisar, Türkiye
2
Department of Mathematics, Ordu University, 52200 Ordu, Türkiye
3
Department of Economics, Management and Territory, University of Foggia, 71121 Foggia, Italy
*
Authors to whom correspondence should be addressed.
Axioms 2025, 14(5), 337; https://doi.org/10.3390/axioms14050337
Submission received: 20 March 2025 / Revised: 23 April 2025 / Accepted: 25 April 2025 / Published: 28 April 2025
(This article belongs to the Section Geometry and Topology)

Abstract

:
We introduced the concept of involute partner-ruled surfaces, which are formed by the involutes of spacelike curves and additional conditions ensuring the presence of definite surface normals in Minkowski three-space. First, we provided the criteria for each couple of involute partner-ruled surfaces to be simultaneously developable and minimal. Then, we established the requirements for the coordinate curves lying on these surfaces to be geodesic, asymptotic, and lines of curvature. We also expanded this paper with an example by providing graphical illustrations of the involute partner-ruled surfaces.
MSC:
53A04; 53A05

1. Introduction and Preliminaries

The notion of surfaces has been crucial in the field of differential geometry for thousands of years, with a wide range of applications in various disciplines. Among the different types of surfaces, ruled surfaces, first defined by Garspard Monge, are of special importance to researchers. The ruled surfaces are formed by the motion of a straight line termed a generator line along a given curve called the base curve. The concept of ruled surfaces plays a critical role in various engineering fields. In particular, these surfaces are widely used in mechanical systems, computer graphics, animation, and industrial design problems [1,2]. Cylindrical and conical surfaces are the most common examples of ruled surfaces. Ruled surfaces can also be found in remarkable architectural designs, such as the Millennium Bridge, the Shukhov Tower, The Guggenheim Museum, the Munich Olympic Stadium, and the Golden Gate Bridge. In addition to these applications, researchers have defined new ruled surfaces by incorporating moving frames on and along a given curve [3,4,5,6,7,8]. Moreover, the examinations of some geometric properties for ruled surfaces, such as developability and minimality conditions, and for parametric curves to be asymptotic, geodesic, or lines of curvature in Euclidean and Minkowski three-spaces were studied in [9,10,11,12,13,14,15]. In addition, some recent works on a new concept for ruled surfaces were introduced, namely, partner-ruled surfaces, and their characteristics were studied in [16,17].
The involute–evolute curve pair, on the other hand, is another critical topic in the context of associated curves where the theory of these curves can be found in [18,19] for Euclidean space and in [20,21] for Minkowski space. By combining the concepts of associated curves and ruled surfaces, the involute-ruled surfaces with a Frenet frame in Euclidean and Minkowski three-spaces were defined and characterized in [22,23,24,25].
In this study, involute partner-ruled surfaces that are formed by involutes of spacelike curves with spacelike Darboux vectors in the Minkowski three-space are investigated. Firstly, the Gaussian curvatures and the mean curvature for these surfaces are calculated. Then, the constraints are given for each pair of involute partner-ruled surfaces that are to be classified as both developable and minimal at the same time. Moreover, necessary and sufficient conditions are established for the coordinate curves, which are geodesic, asymptotic, and lines of curvature on these surfaces. Finally, examples of these partner-ruled surfaces and their graphics are presented.
We first review the basic notions for Minkowski three-space, and please note that the vector notations are given with bold characters throughout the paper.
Let a = ( a 1 , a 2 , a 3 ) and b = ( b 1 , b 2 , b 3 ) R 3 be two vectors in the 3-dimensional Cartesian space R 3 , where a i , b i R ( i = 1 , 2 , 3 ) . Then, the pseudoscalar product of a , b is defined by
a , b L = a 1 b 1 + a 2 b 2 a 3 b 3
Thus, a Minkowski 3-space denoted by E 1 3 = R 3 , , L is defined as the real vector space R 3 with the pseudoscalar metric. The non-zero vector a E 1 3 is spacelike, lightlike, or timelike if a , a L > 0 , a , a L = 0 or a , a L < 0 , respectively. The norm of the vector a E 1 3 is defined by a L = a , a L . For any two vectors a , b E 1 3 , the vector product is defined by
a × b = e 1 e 2 e 3 a 1 a 2 a 3 b 1 b 2 b 3 = a 3 b 2 a 2 b 3 , a 1 b 3 a 3 b 1 , a 1 b 2 a 2 b 1
where e 1 , e 2 , e 3 is the canonical basis of E 1 3 [19,26,27].
For s I R , let φ ( s ) : I E 1 3 be a unit-speed spacelike curve in E 1 3 with curvature κ ( s ) and torsion τ ( s ) and { V 1 ( s ) , V 2 ( s ) , V 3 ( s ) } be its Serret–Frenet (S-F) frame. If φ is a curve with a timelike binormal, then the (S-F) formulae for the curve are given by
V 1 V 2 V 3 = 0 κ 0 κ 0 τ 0 τ 0 V 1 V 2 V 3 = w × V 1 V 2 V 3
where w = τ V 1 κ V 3 defines the Darboux vector of the (S-F) frame.
The vectors V 1 = φ , V 2 = φ / φ , and V 3 = V 1 × V 2 are called the unit tangent vector, the principal normal vector, and the binormal vector, respectively. The (S-F) vector fields satisfy the following relations [27]:
V 1 , V 1 = V 2 , V 2 = V 3 , V 3 = 1 , V 1 × V 2 = V 3 , V 2 × V 3 = V 1 , V 3 × V 1 = V 2 .
Also, if τ > κ , then w is a spacelike vector and we derive the following relations:
κ = w sinh , τ = w cosh , w 2 = τ 2 κ 2
where = ( w , V 3 ) [20].
If φ ( s ) is a spacelike curve with a spacelike binormal in E 1 3 , then the (S-F) formulae for the curve φ ( s ) are given by
V 1 V 2 V 3 = 0 κ 0 κ 0 τ 0 τ 0 V 1 V 2 V 3 = w × V 1 V 2 V 3
where w = τ V 1 + κ V 3 defines the Darboux vector of the (S-F) frame. The (S-F) vector fields satisfy the following relations [27]:
V 1 , V 1 = V 2 , V 2 = V 3 , V 3 = 1 , V 1 × V 2 = V 3 , V 2 × V 3 = V 1 , V 3 × V 1 = V 2 .
Also, if V 3 and w are both spacelike vectors that span a spacelike vector subspace, then we have
κ = w cos , τ = w sin , w 2 = τ 2 + κ 2
where = ( w , V 3 ) [20].
Definition 1
([18,19]). Let φ ( s ) and φ ¯ ( s ) , s I be two curves such that φ ¯ intersects the tangents of φ orthogonally. Then, the curve φ ¯ is called an involute of φ, and the curve φ ¯ is called an evolute of the curve φ. The parametric equation of an involute of a curve φ ( s ) with arc length s is given by
φ ¯ ( s ) = φ ( s ) + λ V 1 ( s )
where λ = c s 0 and c is a real constant.
Lemma 1
([20,21]). Let φ ( s ) be a unit-speed spacelike curve in E 1 3 and φ ¯ ( s ) be its involute curve with (S-F) frames { V 1 ( s ) , V 2 ( s ) , V 3 ( s ) } and { V 1 ( s ) , V 2 ( s ) , V 3 ( s ) } , respectively. Then, the relations between the (S-F) frames of involute curve φ ¯ and evolute curve φ can be given as follows:
(i) 
If φ ( s ) is a unit-speed spacelike curve with a timelike binormal and spacelike w vector, then
V 1 V 2 V 3 = 0 1 0 sinh 0 cosh cosh 0 sinh V 1 V 2 V 3 ;
(ii) 
If φ ( s ) is a unit-speed spacelike curve with a spacelike binormal, then
V 1 V 2 V 3 = 0 1 0 cos 0 sin sin 0 cos V 1 V 2 V 3 .
Definition 2
([13,14]). A ruled surface is formed by moving a straight line along a curve. The parametric equation of the ruled surface can be expressed as follows:
ψ ( s , v ) = φ ( s ) + v r ( s )
where φ ( s ) is the base (or directrix) curve and r ( s ) is the ruling (or generator line) of a ruled surface.
Lemma 2
([26,28]). Let ψ ( s , v ) be a ruled surface in E 1 3 . Then, the Gaussian curvature and the mean curvature for ψ ( s , v ) are defined by, respectively,
K = ε e g f 2 E G F 2 , H = ε E g 2 F f + G e 2 ( E G F 2 )
where
E = ψ s , φ s L , F = ψ s , ψ v L , G = ψ v , ψ v L , e = ψ s s , U L , f = ψ s v , U L , g = ψ v v , U L , U ( s , v ) = ψ s × ψ v ψ s × ψ v
and U ( s , v ) , U ( s , v ) L = ε = ± 1 . The surface in Minkowski 3-space E 1 3 is spacelike if E G F 2 > 0 and it is timelike if E G F 2 < 0 .

2. Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curve

Partner-ruled surfaces are formed when two ruling lines move along their respective curves. Based on this definition, we consider the following:
Let φ ¯ ( s ) be the involute of a regular spacelike curve φ ( s ) and V 1 , V 2 , V 3 be its (S-F) frame in E 1 3 with spacelike Darboux vector w . Then, by considering the tangent, principal normal, and binormal vectors of the Frenet frame of the involute of a unit-speed spacelike curve as ruling lines of partner-ruled surfaces, we study the following surfaces couples.

2.1. V 1 V 2 -Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curves

Definition 3.
Let ψ 1 and ψ 2 be the surfaces obtained using the tangent and principal normal vectors of the involute curve φ ¯ ( s ) . Then, the pair of involute partner-ruled surfaces ( ψ 1 , ψ 2 ) defined by
ψ 1 ( s , v ) = V 1 ( s ) + v V 2 ( s ) ,
ψ 2 ( s , v ) = V 2 ( s ) + v V 1 ( s )
is called the ( ψ 1 , ψ 2 ) -involute partner-ruled surfaces (IPRSs) with the (S-F) frame of the involute of a spacelike curve φ ( s ) in E 1 3 .
The results given in Theorems 1–4 are obtained considering the characteristics of involute partner-ruled surfaces for a given unit-speed spacelike curve with a timelike binormal in E 1 3 .
Theorem 1.
Let the ( ψ 1 , ψ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, the ( ψ 1 , ψ 2 ) -IPRSs are simultaneously developable and minimal if and only if = c o n s t a n t .
Proof. 
By taking the derivatives of relation (12) in terms of s and v, and using relations (2), (3), and (7), we obtain
ψ 1 s = ( v cosh w sinh ) V 1 v w V 2 + ( w cosh v sinh ) V 3 , ψ 1 v = sinh V 1 cosh V 3 .
Then, using the relation (14), the unit normal vector of the surface ψ 1 is found as
U ψ 1 = v ( w cosh , , w sinh ) v 2 w 2 + v 2 2 = ± ( w cosh , , w sinh ) w 2 + 2 .
By using the relation (14), the coefficients of the 1st fundamental form for ψ 1 can be obtained as follows:
E ψ 1 = v 2 w 2 + v 2 2 w 2 , F ψ 1 = w , G ψ 1 = 1 .
Then, by the aid of (16), we obtain E G F 2 = v 2 w 2 + v 2 2 < 0 . Hence, the ψ 1 -IPRS is timelike.
Taking the derivatives of relation (14) in terms of s and v, we obtain
ψ 1 s s = v 2 + v w 2 w sinh + v w cosh V 1 + w 2 v w V 2 + w v 2 v w 2 cosh + w v sinh V 3 , ψ 1 s v = cosh V 1 w V 2 sinh V 3 , ψ 1 v v = 0 .
By using the relations (15) and (17), the coefficients of the 2nd fundamental form for ψ 1 are determined as follows:
e ψ 1 = v 2 w w v 2 w 2 + v 2 2 , f ψ 1 = 0 , g ψ 1 = 0 .
Thus, by substituting relations (16) and (18) into relation (10), the Gaussian curvature and the mean curvature for ψ 1 can be found as follows:
K ψ 1 = 0 , H ψ 1 = w w 2 v 2 w 2 + v 2 2 w 2 + 2 .
Moreover, by taking the derivatives of relation (13) in terms of s and v and using Equations (2), (3), and (7), we obtain
ψ 2 s = ( cosh v w sinh ) V 1 w V 2 + ( v w cosh sinh ) V 3 , ψ 2 v = V 2 .
Then, using (20), the unit normal vector of the surface ψ 2 is determined as
U ψ 2 = v w cosh sinh , 0 , cosh v w sinh v 2 w 2 2
where ( s ) ± v w ( s ) .
By using relation (20), the coefficients of the 1st fundamental form for ψ 2 are as follows:
E ψ 2 = 2 v 2 w 2 + w 2 , F ψ 2 = w , G ψ 2 = 1 .
Then, by the aid of (22), we obtain E G F 2 = 2 v 2 w 2 . Hence, the ψ 2 -IPRS is spacelike if 2 v 2 w 2 > 0 and the ψ 2 -IPRS is timelike if 2 v 2 w 2 < 0 .
Taking the derivatives of relation (20) in terms of s and v, we obtain
ψ 2 s s = 2 + w 2 v w sinh + v w cosh V 1 + v w 2 w V 2 + v w 2 w 2 cosh + v w sinh V 3 , ψ 2 s v = w sinh V 1 + w cosh V 3 , ψ 2 v v = 0 .
By using the relations (21) and (23), the coefficients of the 2nd fundamental form for ψ 2 are determined as follows:
e ψ 2 = 3 v w + w 2 v 2 w 2 + v w v 2 w 2 2 , f ψ 2 = w v 2 w 2 2 , g ψ 2 = 0 .
By substituting relations (22) and (24) into relation (10), the Gaussian curvature and the mean curvature for ψ 2 can be found as follows:
K ψ 2 = ε w 2 2 v 2 w 2 2 2 v 2 w 2 , H ψ 2 = ε 3 w 2 v w v 2 w 2 + v w 2 v 2 w 2 2 2 v 2 w 2 .
Consequently, from Equations (19) and (25), the proof is complete. □
Theorem 2.
The s-coordinate curves of ( ψ 1 , ψ 2 ) -IPRS are simultaneously as follows:
(i) 
Not geodesics;
(ii) 
Asymptotic curves if = c o n s t a n t .
Proof. 
(i) By using Equations (15), (17), (21), and (23), we obtain
ψ 1 s s × U ψ 1 = ± v w 2 + 3 v w cosh + v w 3 w 2 + w w v sinh , w w + w 2 v + ϕ 2 , w w 2 v 3 v sinh + w 3 + w 2 v w w v cosh w 2 + 2
and
ψ 2 s s × U ψ 2 = w w 2 v cosh + w 3 v 2 w w v sinh , w 3 v w w v 2 + , w 2 v w sinh + w w v w 3 v 2 cosh v 2 w 2 2
Since ψ 1 s s × U ψ 1 0 and ψ 2 s s × U ψ 2 0 , the s-coordinate curves of the ( ψ 1 , ψ 2 ) -IPRS are not simultaneously geodesic.
(ii) By using Equations (15), (17), (21), and (23), we obtain
ψ 1 s s , U ψ 1 = v w w w 2 + 2 ψ 2 s s , U ψ 2 = 3 v w + w 2 v 2 w 2 + v w v 2 w 2 2
From (26), if = c o n s t a n t , then ψ 1 s s , U ψ 1 = 0 and ψ 2 s s , U ψ 2 = 0 . Finally, the s-coordinate curves of the ( ψ 1 , ψ 2 ) -IPRS are simultaneously asymptotic if = c o n s t a n t . □
Theorem 3.
The v-coordinate curves of the ( ψ 1 , ψ 2 ) -IPRS are simultaneously geodesics and asymptotic curves.
Proof. 
Since ψ 1 v v × U ψ 1 = 0 and ψ 2 v v × U ψ 2 = 0 , the v-coordinate curves of the ( ψ 1 , ψ 2 ) -IPRS are simultaneously geodesic.
Further, since ψ 1 v v , U ψ 1 = 0 and ψ 2 v v , U ψ 2 = 0 , the v-coordinate curves of the ( ψ 1 , ψ 2 ) -IPRS are simultaneously asymptotic. □
Theorem 4.
The s-coordinate and the v-coordinate curves of the ( ψ 1 , ψ 2 ) -IPRS are simultaneously not lines of curvature.
Proof. 
Since F ψ 1 0 and F ψ 2 0 , the proof is complete. □
Further, let us consider the characteristics of involute partner-ruled surfaces for a given unit-speed spacelike curve with a spacelike binormal in Theorems 5–8. By utilizing the same relations given in Equations (12) and (13), we denote this pair of ruled surfaces with ( ψ ¯ 1 , ψ ¯ 2 ) .
Theorem 5.
Let the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRSs are simultaneously developable and minimal if and only if = c o n s t a n t .
Proof. 
Taking the derivatives of relation (12) in terms of s and v and utilizing relations (4), (5), and (8), we obtain
ψ ¯ 1 s = ( w cos v sin ) V 1 + v w V 2 + ( w sin + v cos ) V 3 , ψ ¯ 1 v = cos V 1 + sin V 3 .
Then, using relation (27), the unit normal vector of the surface ψ ¯ 1 is obtained by
U ψ ¯ 1 = ( v w sin , v , v w cos ) v 2 w 2 v 2 2 = ± ( w sin , , w cos ) w 2 2
where ( s ) ± w ( s ) .
By using relation (27), the coefficients of the 1st fundamental form for ψ ¯ 1 can be obtained as follows:
E ψ ¯ 1 = w 2 + v 2 2 v 2 w 2 , F ψ ¯ 1 = w , G ψ ¯ 1 = 1 .
Then, by the aid of (29), we obtain E G F 2 = v 2 2 v 2 w 2 . Hence, the ψ ¯ 1 -IPRS is spacelike if v 2 2 v 2 w 2 > 0 and the ψ ¯ 1 -IPRS is timelike if v 2 2 v 2 w 2 < 0 .
Taking the derivatives of relation (27) in terms of s and v, we obtain
ψ ¯ 1 s s = w v 2 + v w 2 cos v + w sin V 1 + w 2 + v w V 2 + w v 2 + v w 2 sin + w + v cos V 3 , ψ ¯ 1 s v = sin V 1 + w V 2 + cos V 3 , ψ ¯ 1 v v = 0 .
By using relations (28) and (30), the coefficients of the 2nd fundamental form for ψ ¯ 1 are determined as follows:
e ψ ¯ 1 = v 2 w w v 2 w 2 v 2 2 , f ψ ¯ 1 = 0 , g ψ ¯ 1 = 0 .
By substituting relations (29) and (31) into relation (10), the Gaussian curvature and the mean curvature for ψ ¯ 1 can be found as follows:
K ψ ¯ 1 = 0 , H ψ ¯ 1 = ε w w 2 v 2 w 2 v 2 2 2 w 2 .
Moreover, by taking the derivatives of (13) in terms of s and v, and using Equations (4), (5), and (8), we obtain the following:
ψ ¯ 2 s = v w cos sin V 1 + w V 2 + ( v w sin + cos ) V 3 , ψ ¯ 2 v = V 2 .
Then, using (33), we obtain the normal vector of the surface ψ ¯ 2 as follows:
U ψ ¯ 2 = ( v w sin + cos , 0 , sin v w cos ) v 2 w 2 + 2 .
By using relation (33), the coefficients of the 1st fundamental form for ψ ¯ 2 are given by
E ψ ¯ 2 = 2 + v 2 w 2 w 2 , F ψ ¯ 2 = w , G ψ ¯ 2 = 1 .
Hence, by the aid of (35), we obtain E G F 2 = 2 + v 2 w 2 < 0 . Hence, the ψ ¯ 2 -IPRS is timelike.
Taking the derivatives of relation (33) in terms of s and v, we obtain
ψ ¯ 2 s s = w 2 + v w 2 cos + v w sin V 1 + v w 2 + w V 2 + v w 2 + w 2 sin + v w + cos V 3 , ψ ¯ 2 s v = w cos V 1 + w sin V 3 , ψ ¯ 2 v v = 0 .
By using relations (34) and (36), the coefficients of the 2nd fundamental form for ψ ¯ 2 are determined as follows:
e ψ ¯ 2 = v w 3 + w 2 v 2 w 2 v w v 2 w 2 + 2 , f ψ ¯ 2 = w v 2 w 2 + 2 , g ψ ¯ 2 = 0 .
By substituting relations (34) and (37) into relation (10), the Gaussian curvature and the mean curvature for ψ ¯ 2 can be found as follows:
K ψ ¯ 2 = w 2 2 v 2 w 2 + 2 2 , H ψ ¯ 2 = v w 3 w 2 v 2 w 2 v w 2 v 2 w 2 + 2 v 2 w 2 + 2 .
Consequently, from Equations (32) and (38), the proof is complete. □
Theorem 6.
The s-coordinate curves of the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS are simultaneously as follows:
(i) 
Not geodesics;
(ii) 
Asymptotic curves if = c o n s t a n t .
Proof. 
(i) By using relations (28), (30), (34) and (36), we obtain
ψ ¯ 1 s s × U ψ ¯ 1 = ± w 2 v 3 v + w sin + v w 3 + w 2 w w v cos , w 2 w w 2 v , 3 v w w 2 v cos + v w 3 + w 2 w w v sin w 2 2
and
ψ ¯ 2 s s × U ψ ¯ 2 = w 3 v 2 + w w v cos w + w 2 v sin , w w v 2 w 3 v , w w v + w 3 v 2 sin + w 2 v + w cos v 2 w 2 + 2
Since ψ ¯ 1 s s × U ψ ¯ 1 0 and ψ ¯ 2 s s × U ψ ¯ 2 0 , the s-coordinate curves of the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS are not simultaneously geodesic.
(ii) By using relations (28), (30), (34) and (36), we obtain
ψ ¯ 1 s s , U ψ ¯ 1 = v w w w 2 2 , ψ ¯ 2 s s , U ψ ¯ 2 = v w 3 + w 2 v 2 w 2 v w v 2 w 2 + 2 .
Hence, if = c o n s t a n t , then ψ ¯ 1 s s , U ψ ¯ 1 = 0 and ψ ¯ 2 s s , U ψ ¯ 2 = 0 , which means that the s-coordinate curves of the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS are simultaneously asymptotic if = c o n s t a n t . □
Theorem 7.
The v-coordinate curves of the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS are simultaneously geodesics and asymptotic curves.
Proof. 
Since ψ ¯ 1 v v × U ψ ¯ 1 = 0 and ψ ¯ 2 v v × U ψ ¯ 2 = 0 , the v-coordinate curves of the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS are simultaneously geodesic.
Further, since ψ ¯ 1 v v , U ψ ¯ 1 = 0 and ψ ¯ 2 s s , U ψ ¯ 2 = 0 , the v-coordinate curves of the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS are simultaneously asymptotic. □
Theorem 8.
The s-coordinate and v-coordinate curves of the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS are simultaneously not lines of curvature.
Proof. 
Since F ψ ¯ 1 0 and F ψ ¯ 2 0 , the proof is complete. □

2.2. V 1 V 3 -Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curve

Definition 4.
Let ξ 1 and ξ 2 be the surfaces obtained using the tangent and binormal vectors of the involute curve φ ¯ ( s ) . Then, the pair of involute partner-ruled surfaces ( ξ 1 , ξ 2 ) defined by
ξ 1 ( s , v ) = V 1 ( s ) + v V 3 ( s ) ,
ξ 2 ( s , v ) = V 3 ( s ) + v V 1 ( s )
is called the ( ξ 1 , ξ 2 ) -involute partner-ruled surfaces (IPRSs) with the (S-F) frame of the involute of a spacelike curve φ ( s ) in E 1 3 .
The results given in Theorems 9 and 10 are obtained considering the characteristics of involute partner-ruled surfaces for a given unit-speed spacelike curve with a timelike binormal in E 1 3 .
Theorem 9.
Let the ( ξ 1 , ξ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, the ( ξ 1 , ξ 2 ) -IPRSs are simultaneously developable but not minimal surfaces.
Proof. 
Taking the derivatives of relation (40) in terms of s and v and utilizing relations (2), (3), and (7), we obtain
ξ 1 s = ( v + w ) sinh V 1 + ( w + v ) cosh V 3 , ξ 1 v = cosh V 1 + sinh V 3 .
Then, using relation (42), the unit normal vector of the surface ξ 1 is obtained by
U ξ 1 = ( 0 , w + v , 0 ) w + v = ± N
where w v .
By using relation (42), the coefficients of the 1nd fundamental form for ξ 1 can be obtained as follows:
E ξ 1 = ( w + v ) 2 , F ξ 1 = 0 , G ξ 1 = 1 .
Then, by the aid of (44), we obtain E G F 2 = w + v 2 < 0 . Hence, the ξ 1 -IPRS is timelike.
Taking a derivative of relation (42) in terms of s and v, we obtain
ξ 1 s s = v w sinh v 2 + w cosh V 1 + w 2 + v w V 2 + v + w cosh + v 2 + w sinh V 3 , ξ 1 s v = sinh V 1 + cosh V 3 , ξ 1 v v = 0 .
By using relations (43) and (45), the coefficients of the 2nd fundamental form for ξ 1 are determined as follows:
e ξ 1 = w w + v 2 w + v , f ξ 1 = 0 , g ξ 1 = 0 .
By substituting relations (44) and (46) into relation (10), the Gaussian curvature and the mean curvature for ξ 1 can be found as follows:
K ξ 1 = 0 , H ξ 1 = w 2 w + v .
Moreover, by taking the derivatives of (41) in terms of s and v and using Equations (2), (3), and (7), we obtain
ξ 2 s = v w + sinh V 1 + ( v w + ) cosh V 3 , ξ 2 v = V 2 .
Then, using relation (48), the unit normal vector of the ruled surface ξ 2 is obtained by
U ξ 2 = ( + v w ) ( cosh , 0 , sinh ) + v w = ± ( cosh , 0 , sinh ) .
where v w .
By using relation (48), the coefficients of the 1st fundamental form for ξ 2 can be obtained as follows:
E ξ 2 = + v w 2 , F ξ 2 = 0 , G ξ 2 = 1 .
By the aid of (50), we obtain E G F 2 = + v w 2 < 0 . Hence, the ξ 2 -IPRS is timelike.
Taking the derivatives of relation (48) in terms of s and v, we obtain
ξ 2 s s = v w sinh 2 + v w cosh V 1 w + v w 2 V 2 + + v w cosh + 2 + v w sinh V 3 , ξ 2 s v = w sinh V 1 + w cosh V 3 , ξ 2 v v = 0 .
By using relations (49) and (51), the coefficients of the 2nd fundamental form for ξ 2 are determined as follows:
e ξ 2 = + v w 2 + v w , f ξ 2 = 0 , g ξ 2 = 0 .
By substituting relations (50) and (52) into relation (10), the Gaussian curvature and the mean curvature for ξ 2 can be found as follows:
K ξ 2 = 0 , H ξ 2 = 2 + v w .
Consequently, from Equations (47) and (53), the ( ξ 1 , ξ 2 ) -IPRSs are simultaneously developable but not minimal surfaces. □
Theorem 10.
Let the ( ξ 1 , ξ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, we obtain the following:
(i) 
The s-coordinate curves of the ( ξ 1 , ξ 2 ) -IPRS are simultaneously neither geodesics nor asymptotic curves.
(ii) 
The v-coordinate curves of the ( ξ 1 , ξ 2 ) -IPRS are simultaneously geodesics and asymptotic curves.
(iii) 
The s-coordinate and v-coordinate curves of the ( ξ 1 , ξ 2 ) -IPRS are simultaneously lines of curvature.
Proof. 
The proofs are similar to that of Theorems 2–4 given for the ( ψ 1 , ψ 2 ) -IPRS. □
Now, let us consider a unit-speed spacelike curve with a spacelike binormal with the same relations given in Equations (40) and (41). We denote this pair of ruled surfaces with ( ξ ¯ 1 , ξ ¯ 2 ) and obtain the following Theorems 11–12.
Theorem 11.
Let the ( ξ ¯ 1 , ξ ¯ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, the ( ξ ¯ 1 , ξ ¯ 2 ) -IPRSs are simultaneously developable but not minimal surfaces.
Proof. 
By taking the derivatives of relation (40) in terms of s and v, and utilizing relations (4), (5), and (8), we obtain
ξ ¯ 1 s = ( w v ) cos V 1 + ( w v ) sin V 3 , ξ ¯ 1 v = sin V 1 + cos V 3 .
Then, using (54), the unit normal vector of the surface ξ ¯ 1 is obtained by
U ξ ¯ 1 = ( 0 , v w , 0 ) w v = ± N
where w v .
By using relation (54), the coefficients of the 1st fundamental form can be obtained as follows:
E ξ ¯ 1 = ( w v ) 2 , F ξ ¯ 1 = 0 , G ξ ¯ 1 = 1 .
Then, by the aid of (56), we obtain E G F 2 = w v 2 > 0 . Hence, the ξ ¯ 1 -IPRS is spacelike.
Taking the derivatives of (54) in terms of s and v, we obtain
ξ ¯ 1 s s = w v cos + v 2 w sin V 1 + w 2 v w V 2 + w v sin + w v 2 cos V 3 , ξ ¯ 1 s v = cos V 1 sin V 3 , ξ ¯ 1 v v = 0 .
By using relations (55) and (57), the coefficients of the 2nd fundamental form for ξ ¯ 1 are determined as follows:
e ξ ¯ 1 = w w v 2 w v , f ξ ¯ 1 = 0 , g ξ ¯ 1 = 0 .
By substituting relations (56) and (58) into relation (10), the Gaussian curvature and the mean curvature for ξ ¯ 1 can be found as follows:
K ξ ¯ 1 = 0 , H ξ ¯ 1 = w 2 w v .
On the other hand, taking the derivatives of relation (41) in terms of s and v, and using relations (4), (5), and (8), we obtain
ξ ¯ 2 s = v w cos V 1 + ( v w ) sin V 3 , ξ ¯ 2 v = V 2 .
Then, using relation (60), we obtain the unit normal vector of the surface ξ ¯ 2 as follows:
U ξ ¯ 2 = ( v w ) ( sin , 0 , cos ) v w = ± ( sin , 0 , cos )
where v w .
By using relation (60), the coefficients of the 1st fundamental form for ξ ¯ 2 can be obtained as follows:
E ξ ¯ 2 = v w 2 , F ξ ¯ 2 = 0 , G ξ ¯ 2 = 1 .
By the aid of (62), we obtain E G F 2 = v w 2 < 0 . Hence, the ξ ¯ 2 -IPRS is timelike.
Taking the derivatives of relation (60) in terms of s and v, we obtain
ξ ¯ 2 s s = v w cos + 2 v w sin V 1 v w 2 w V 2 + v w sin + v w 2 cos V 3 , ξ ¯ 2 s v = w cos V 1 + w sin V 3 , ξ ¯ 2 v v = 0 .
By using relations (63) and (61), the coefficients of the 2nd fundamental form for ξ ¯ 2 are determined as follows:
e ξ ¯ 2 = v w 2 v w , f ξ ¯ 2 = 0 , g ξ ¯ 2 = 0 .
By substituting relations (62) and (64) into relation (10), the Gaussian curvature and the mean curvature for ξ ¯ 2 can be found as follows:
K ξ ¯ 2 = 0 , H ξ ¯ 2 = 2 v w .
Consequently, from Equations (59) and (65), the ( ξ ¯ 1 , ξ ¯ 2 ) -IPRSs are simultaneously developable but not minimal surfaces. □
Theorem 12.
Let the ( ξ ¯ 1 , ξ ¯ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, we obtain the following:
(i) 
The s-coordinate curves of the ( ξ ¯ 1 , ξ ¯ 2 ) -IPRS are simultaneously neither geodesics nor asymptotic curves.
(ii) 
The v-coordinate curves of the ( ξ ¯ 1 , ξ ¯ 2 ) -IPRS are simultaneously geodesics and asymptotic curves.
(iii) 
The s coordinate and v-coordinate curves of the ( ξ ¯ 1 , ξ ¯ 2 ) -IPRS are simultaneously lines of curvature.
Proof. 
The proofs are similar to that of Theorems 6, 7, and 8 given for the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS. □

2.3. V 2 V 3 -Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curve

Definition 5.
Let ζ 1 and ζ 2 be the surfaces obtained using the principal normal and binormal vectors of the involute curve φ ¯ ( s ) . Then, the pair of involute partner-ruled surfaces ( ζ 1 , ζ 2 ) defined by
ζ 1 ( s , v ) = V 2 ( s ) + v V 3 ( s ) ,
ζ 2 ( s , v ) = V 3 ( s ) + v V 2 ( s )
is called the ( ζ 1 , ζ 2 ) -involute partner-ruled surfaces (IPRSs) with the (S-F) frame of the involute of a spacelike curve φ ( s ) in E 1 3 .
The results given in Theorems 13 and 14 are obtained considering the characteristics of involute partner-ruled surfaces for a given unit-speed spacelike curve with a timelike binormal in E 1 3 .
Theorem 13.
Let the ( ζ 1 , ζ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, the ( ζ 1 , ζ 2 ) -IPRSs are simultaneously developable surfaces if and only if = c o n s t a n t but not minimal surfaces.
Proof. 
By taking the derivative of relation (66) in terms of s and v and using relations (2), (3), and (7), we obtain
ζ 1 s = ( cosh v sinh ) V 1 w V 2 + ( v cosh sinh ) V 3 , ζ 1 v = cosh V 1 + sinh V 3 .
Then, using relation (68), the unit normal vector of the surface ζ 1 is obtained by
U ζ 1 = w sinh , v , w cosh v 2 2 w 2
where w ± v ϕ .
By using relation (68), the coefficients of the 1st fundamental form for ζ 1 can be obtained as follows:
E ζ 1 = 2 v 2 2 + w 2 , F ζ 1 = , G ζ 1 = 1 .
Then, by the aid of (70), we obtain E G F 2 = w 2 v 2 2 . Hence, the ζ 1 -IPRS is spacelike if w 2 v 2 2 0 , and the ζ 1 -IPRS is timelike if w 2 v 2 2 < 0 .
Taking the derivatives of relation (68) in terms of s and v, we obtain
ζ 1 s s = v 2 cosh + 2 v + w 2 sinh V 1 + v w w V 2 + v 2 sinh + v 2 w 2 cosh V 3 , ζ 1 s v = sinh V 1 + cosh V 3 , ζ 1 v v = 0 .
By using relations (69) and (71), the coefficients of the 2nd fundamental form for ζ 1 are determined as follows:
e ζ 1 = v w w + w 2 v 2 + 1 w 3 v 2 2 w 2 , f ζ 1 = w v 2 2 w 2 , g ζ 1 = 0 .
By substituting relations (70) and (72) into relation (10), the Gaussian curvature and the mean curvature for ζ 1 can be found as follows:
K ζ 1 = ε 2 w 2 v 2 2 w 2 w 2 v 2 2 , H ζ 1 = ε w 3 2 + v w 2 + v 2 2 v w 2 v 2 2 w 2 w 2 v 2 2 .
Moreover, by taking the derivatives of (67) in terms of s and v, and using Equations (2), (3), and (7), we obtain
ζ 2 s = ( v cosh sinh ) V 1 w v V 2 + ( cosh v sinh ) V 3 , ζ 2 v = sinh V 1 cosh V 3 .
Then, using (74), the unit normal vector of the ruled surface ζ 2 is obtained by
U ζ 2 = v w cosh , v , v w sinh v 2 2 + v 2 w 2
By using relation (74), the coefficients of the 1st fundamental form for ζ 2 can be obtained as follows:
E ζ 2 = 2 v 2 1 + v 2 w 2 , F ζ 2 = , G ζ 2 = 1 .
By the aid of (76), we obtain E G F 2 = v 2 ( w 2 + 2 ) . Hence, the ζ 2 -IPRS is timelike.
Taking the derivative of relation (74) in terms of s and v, we obtain
ζ 2 s s = v 2 + v w 2 sinh + v 2 cosh V 1 + w v w V 2 + v 2 v w 2 cosh + 2 v sinh V 3 , ζ 2 s v = cosh V 1 w V 2 sinh V 3 , ζ 2 v v = 0 .
By using relations (75) and (77), the coefficients of the 2nd fundamental form for ζ 2 are determined as follows:
e ζ 2 = v 2 w w v 2 2 + v 2 w 2 , f ζ 2 = 0 , g ζ 2 = 0 .
By substituting relations (76) and (78) into relation (10), the Gaussian curvature and the mean curvature for ζ 2 can be found as follows:
K ζ 2 = 0 , H ζ 2 = w w 2 v 2 2 + v 2 w 2 2 + w 2 .
Therefore, the ( ζ 1 , ζ 2 ) -IPRSs can be simultaneously developable if and only if = c o n s t a n t but can not be minimal surfaces. □
Theorem 14.
Let the ( ζ 1 , ζ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, we obtain the following:
(i) 
The s-coordinate curves of the ( ζ 1 , ζ 2 ) -IPRS are simultaneously neither geodesics nor asymptotic curves.
(ii) 
The v-coordinate curves of the ( ζ 1 , ζ 2 ) -IPRS are simultaneously geodesics and asymptotic curves.
(iii) 
The s-coordinate and v-coordinate curves of the ( ζ 1 , ζ 2 ) -IPRS are simultaneously lines of curvature if and only if = c o n s t a n t .
Proof. 
The proofs are similar to that of Theorems 2–4 given for the ( ψ 1 , ψ 2 ) -IPRS. □
Similarly, if we consider a unit-speed spacelike curve with a spacelike binormal in E 1 3 with the same relations (66) and (67), then we denote this pair of ruled surfaces with ( ζ ¯ 1 , ζ ¯ 2 ) , and we have the Theorems 15 and 16.
Theorem 15.
Let the ( ζ ¯ 1 , ζ ¯ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, the ( ζ ¯ 1 , ζ ¯ 2 ) -IPRSs are simultaneously developable surfaces if and only if = c o n s t a n t but not minimal surfaces.
Proof. 
By taking the derivatives of relation (66) in terms of s and v and using relations (4), (5), and (8), we obtain
ζ ¯ 1 s = ( sin + v cos ) V 1 + w V 2 + ( cos v sin ) V 3 , ζ ¯ 1 v = sin V 1 + cos V 3 .
Then, using (80), the unit normal vector of the ruled surface ζ ¯ 1 is obtained by
U ζ ¯ 1 = w cos , v , w sin w 2 v 2 2
where w ± v ϕ .
By using (80), the coefficients of the 1st fundamental form for ζ ¯ 1 can be obtained as follows:
E ζ ¯ 1 = 2 ( v 2 + 1 ) w 2 , F ζ ¯ 1 = , G ζ ¯ 1 = 1 .
Then, by the aid of (82), we obtain E G F 2 = v 2 2 w 2 . Hence, the ζ ¯ 1 -IPRS is spacelike if v 2 2 w 2 0 , and the ζ ¯ 1 -IPRS is timelike if v 2 2 w 2 < 0 .
Taking the derivatives of relation (80) in terms of s and v, we obtain
ζ ¯ 1 s s = v 2 sin + w 2 2 v cos V 1 + w v w V 2 + v 2 cos + w 2 v 2 sin V 3 , ζ ¯ 1 s v = cos V 1 sin V 3 , ζ ¯ 1 v v = 0 .
By using relations (81) and (83), the coefficients of the 2nd fundamental form for ζ ¯ 1 are determined as follows:
e ζ ¯ 1 = v w w + w 2 1 + v 2 w 3 w 2 v 2 2 , f ζ ¯ 1 = w w 2 v 2 2 , g ζ ¯ 1 = 0 .
By substituting relations (82) and (84) into relation (10), the Gaussian curvature and the mean curvature for ζ ¯ 1 can be found as follows:
K ζ ¯ 1 = ε 2 w 2 w 2 v 2 2 w 2 v 2 2 , H ζ ¯ 1 = ε w 3 2 + v w 2 + v 2 2 v w 2 w 2 v 2 2 v 2 2 w 2 .
Moreover, by taking the derivatives of relation (67) in terms of s and v and using relations (4), (5), and (8), we obtain
ζ ¯ 2 s = ( v sin + cos ) V 1 + w v V 2 + ( v cos sin ) V 3 , ζ ¯ 2 v = cos V 1 + sin V 3 .
Then, using (86), the unit normal vector of the ruled surface ζ ¯ 2 is obtained by
U ζ ¯ 2 = v w sin , v , v w cos v 2 w 2 v 2 2 = ± w sin , , w cos w 2 2
where w ± ϕ .
By using relation (86), the coefficients the of 1st fundamental form for ζ ¯ 2 can be obtained as follows:
E ζ ¯ 2 = 2 v 2 + 1 v 2 w 2 , F ζ ¯ 2 = , G ζ ¯ 2 = 1 .
By the aid of (88), we obtain E G F 2 = v 2 2 v 2 w 2 . Hence, the ζ ¯ 2 -IPRS is spacelike if v 2 2 v 2 w 2 > 0 and the ζ ¯ 2 -IPRS is timelike if v 2 2 v 2 w 2 < 0 .
Taking the derivative of relation (86) in terms of s and v, we obtain
ζ ¯ 2 s s = v w 2 v 2 cos + 2 v sin V 1 v w w V 2 + v w 2 v 2 sin + v 2 cos V 3 , ζ ¯ 2 s v = sin V 1 + w V 2 + cos V 3 , ζ ¯ 2 v v = 0 .
By using relations (87) and (89), the coefficients of the 2nd fundamental form for ζ ¯ 2 are determined as follows:
e ζ ¯ 2 = v 2 w w v 2 w 2 v 2 2 , f ζ ¯ 2 = 0 , g ζ ¯ 2 = 0 .
By substituting relations (88) and (90) into relation (10), the Gaussian curvature and the mean curvature for ζ ¯ 2 can be found as follows:
K ζ ¯ 2 = 0 , H ζ ¯ 2 = w w 2 v 2 w 2 v 2 2 2 w 2 .
Therefore, ( ζ ¯ 1 , ζ ¯ 2 ) -IPRSs can be simultaneously developable if and only if = c o n s t a n t but can not be minimal surfaces. □
Theorem 16.
Let the ( ζ ¯ 1 , ζ ¯ 2 ) -IPRS be formed by involute curve φ ¯ ( s ) in E 1 3 . Then, we obtain the following:
(i) 
The s-coordinate curves of the ( ζ ¯ 1 , ζ ¯ 2 ) -IPRS are simultaneously neither geodesics nor asymptotic curves.
(ii) 
The v-coordinate curves of the ( ζ ¯ 1 , ζ ¯ 2 ) -IPRS are simultaneously both geodesics and asymptotic curves.
(iii) 
The s-coordinate and v-coordinate curves of the ( ζ ¯ 1 , ζ ¯ 2 ) -IPRS are simultaneously lines of curvature if and only if = c o n s t a n t .
Proof. 
The proofs are similar to that of Theorems 6–8 given for the ( ψ ¯ 1 , ψ ¯ 2 ) -IPRS. □
Example 1.
Let φ : s 0 , R 3 be a unit-speed spacelike curve with the following parametrization:
φ s = sin ln s s cos ln s , cos ln s + s sin ln s , s ln s .
As φ s L = 1 , the Frenet vectors and curvatures for φ = φ ( s ) are computed as
T φ s = 1 s cos ln s + s sin ln s , s 1 sin ln s + s cos ln s , s 1 s , N φ s = s 1 sin ln s + cos ln s , s 1 cos ln s sin ln s , 1 | 2 s 2 4 s + 1 | , B φ s = s 2 3 s + 1 cos ln s s sin ln s s 1 , s 2 + s cos ln s s 2 3 s + 1 sin ln s , 2 s 2 + 3 s 1 s | 2 s 2 4 s + 1 | , κ φ s = | 2 s 2 4 s + 1 | s 2 , τ φ s = 2 s 3 + 8 s 2 6 s + 1 | 2 s 2 4 s + 1 | s 2 .
Note that for the given curve, the causal character of T φ s is determined by the sign of 2 s 2 4 s + 1 since φ s , φ s L = 2 s 2 4 s + 1 s 4 . Thus, we note that T φ s is timelike if s 1 2 2 , 1 + 2 2 , and spacelike if otherwise, except for the roots.
Further, the involute of the curve φ = φ ( s ) , which is defined by φ ¯ s = φ s + c s T φ s , can be given as follows:
φ ¯ s = 1 s sin ln s cos ln s , 1 s cos ln s + sin ln s , 1 ln s ,
where c = 0 . The Frenet vectors and the curvatures of the involute curve φ ¯ = φ ¯ s are computed as in the following:
T φ ¯ ( s ) = s 1 sin ln s + cos ln s , s 1 cos ln s sin ln s , 1 | 2 s 2 4 s + 1 | = N φ ( s ) , N φ ¯ ( s ) = 2 s 3 3 s 2 + 2 s 0.5 sin ln s cos ln s + s sin ln s , s 3 3 s 2 + 2 s 0.5 sin ln s + cos ln s + s cos ln s , s s 1 | 2 s 4 8 s 3 + 10 s 2 6 s + 1 | | 2 s 2 4 s + 1 | , B φ ¯ ( s ) = 1 2 s sin ln s + cos ln s , 1 2 s cos ln s sin ln s , 2 s 1 2 2 | 2 s 4 8 s 3 + 10 s 2 6 s + 1 | κ φ ¯ ( s ) = 2 | 2 s 4 8 s 3 + 10 s 2 6 s + 1 | | 2 s 2 4 s + 1 | 3 2 , τ φ ¯ ( s ) = 2 s 2 s + 1 2 s 4 8 s 3 + 10 s 2 6 s + 1
As the casual characteristics of the curve change in its domain I = 0 , , we illustrate the corresponding involutive partner-ruled surfaces in two folds.
Case 1.
For 1 + 1 2 < s , the curve φ = φ s is a unit-speed spacelike curve with a timelike binormal. For this case, the illustrations of the involutive partner-ruled surfaces are given in Figure 1.
Case 2.
For s 1 2 2 , 1 + 2 2 , the curve φ = φ s is considered to be a unit-speed spacelike curve with a spacelike binormal. For such a situation, the illustrations of the involutive partner-ruled surfaces are given in Figure 2.

3. Conclusions

This study focuses on constructing involute partner-ruled surfaces, which are formed by involutes of spacelike curves in Minkowski 3-space E 1 3 . First, the involute partner-ruled surfaces formed by the involutes of spacelike curves are defined in Minkowski three-space. Then, the curvatures of Gaussian surfaces and the mean for these surfaces are calculated, and the conditions for these surfaces to be developable and minimal are examined. Also, the criteria for the coordinate curves on the surface to be asymptotic, geodesic, and lines of curvature on the surface are obtained. Examples of these surfaces are provided, and their graphical representations are drawn. Partner-ruled surfaces are critical in differential geometry because they provide insight into the geometric relationships between curves and their associated ruled surfaces.

Author Contributions

Conceptualization, S.Ş., Ö.B.K. and D.C.; methodology, Ö.B.K., S.Ş. and L.G.; investigation, Ö.B.K., D.C. and L.G.; validation, L.G. and D.C.; formal analysis, Ö.B.K., S.Ş. and D.C.; investigation, S.Ş., L.G. and D.C.; writing—original draft preparation, S.Ş. and Ö.B.K.; writing—review and editing, L.G. and D.C.; software D.C. and Ö.B.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The authors gratefully and sincerely thank the reviewers, who criticized and improved the quality of our article, for their generous comments, corrections, and contributions, as well as the editor of the journal who took care of our article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Lee, T.U.; Xie, Y.M. From ruled surfaces to elastica-ruled surfaces: New possibilities for creating architectural forms. In Proceedings of IASS Annual Symposia; International Association for Shell and Spatial Structures (IASS): Madrid, Spain, 2020; Volume 30, pp. 1–12. [Google Scholar]
  2. Velimirović, L.; Cvetković, M.; Ćirić, M.; Velimirović, N. Ruled surfaces in architecture. Int. J. IT Secur. 2009, 4, 21–30. [Google Scholar]
  3. Tunçer, Y. Ruled surfaces with the Bishop frame in Euclidean 3–space. Gen. Math. Notes 2015, 26, 74–83. [Google Scholar]
  4. Masal, M.; Azak, A.Z. Ruled surfaces according to Bishop frame in the Euclidean 3-space. Proc. Natl. Acad. Sci. India Sect. A Phys. Sci. 2019, 89, 415–424. [Google Scholar] [CrossRef]
  5. Ouarab, S.; Chahdi, A.O.; Izid, M. Ruled surfaces with alternative moving frame in Euclidean 3-space. Int. J. Math. Sci. Eng. Appl. 2018, 12, 43–58. [Google Scholar]
  6. Güler, F.; Kasap, E. Ruled Surfaces according to Rotation Minimizing Frame. Math. Sci. Lett. 2016, 5, 33–38. [Google Scholar] [CrossRef]
  7. Şenyurt, S.; Eren, K. On ruled surfaces with Sannia frame in Euclidean 3-space. Kyungpook Math. J. 2022, 62, 509–531. [Google Scholar]
  8. Damar, E.; Yüksel, N.; Vanlı, A.T. The ruled surfaces Aacording to type-2 Bishop frame in E3. Int. Math. Forum 2017, 12, 133–143. [Google Scholar] [CrossRef]
  9. Yaman, S.; Kasap, E. Ruled surface family with common special curve. J. Geom. Phys. 2024, 195, 105033. [Google Scholar] [CrossRef]
  10. Yüksel, N. The ruled surfaces according to bishop frame in Minkowski 3-Space. Abstr. Appl. Anal. 2013, 2013, 810640. [Google Scholar] [CrossRef]
  11. Güven, İ. Ruled surfaces with W-direction curves. Bilecik Şeyh Edebali Üniversitesi Fen Bilim. Derg. 2020, 7, 21–33. [Google Scholar] [CrossRef]
  12. Yavuz, A.; Yayli, Y. Ruled surfaces with constant slope ruling according to Darboux frame in Minkowski space. Int. J. Anal. Appl. 2020, 18, 900–919. [Google Scholar]
  13. Turgut, A.; Hacısalihoğlu, H.H. Timelike ruled surfaces in the Minkowski 3-space-II. Turk. J. Math. 1998, 22, 33–46. [Google Scholar]
  14. Turgut, A.; Hacısalihoğlu, H.H. Spacelike ruled surfaces in the Minkowski 3-space. Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 1997, 46, 83–91. [Google Scholar]
  15. Solouma, E.; Al-Dayel, I.; Khan, M.A.; Lazer, Y.A. Characterization of imbricate-ruled surfaces via rotation-minimizing Darboux frame in Minkowski 3-space E 1 3 . AIMS Math. 2024, 9, 13028–13042. [Google Scholar] [CrossRef]
  16. Li, Y.; Eren, K.; Ersoy, S. On simultaneous characterizations of partner-ruled surfaces in Minkowski 3-space. AIMS Math. 2023, 8, 22256–22273. [Google Scholar] [CrossRef]
  17. Ersoy, S.; Eren, K.; Çalışkan, A. Characterizations of spatial quaternionic partner-ruled surfaces. Axioms 2024, 13, 612. [Google Scholar] [CrossRef]
  18. Fuchs, D. Evolutes and involutes of spatial curves. Am. Math. Mon. 2013, 120, 217–231. [Google Scholar] [CrossRef]
  19. Carmo, M.P.D. Differential Geometry of Curves and Surfaces, 2nd ed.; Courier Dover Publications: Garden City, NY, USA, 2016. [Google Scholar]
  20. Bilici, M.; Çalışkan, M. On the involutes of the spacelike curve with a timelike binormal in Minkowski 3-space. Int. Math. Forum 2009, 4, 1497–1509. [Google Scholar]
  21. Bilici, M.; Çalışkan, M. A new perspective on the involutes of the spacelike curve with a spacelike binormal in Minkowski 3-space. J. Sci. Arts 2018, 3, 573–582. [Google Scholar]
  22. Şenyurt, S.; Ayvacı, K.H.; Canlı, D. Family of surfaces with a common special involute and evolute curves. Int. Electron. J. Geom. 2022, 15, 160–174. [Google Scholar] [CrossRef]
  23. Kaya, F.E. On involute and evolute of the curve and curve-surface pair in Euclidean 3-space. Pure Appl. Math. J. 2015, 12, 6–9. [Google Scholar] [CrossRef]
  24. Bilici, M. A new Method for designing involute trajectory timelike ruled surfaces in Minkowski3-space. Bol. Soc. Paran. Mat. 2023, 41, 1–11. [Google Scholar]
  25. Kılıçoğlu, Ş.; Şenyurt, S.; Çalışkan, A. On the striction curves of involutive Frenet ruled surfaces in E3. Konuralp J. Math. 2016, 4, 282–289. [Google Scholar]
  26. López, R. Differential geometry of curves and surfaces in Lorentz-Minkowski space. Int. Electron. J. Geom. 2014, 7, 44–107. [Google Scholar] [CrossRef]
  27. O’Neill, B. Semi-Riemannian Geometry with Applications to Relativity; Pure and Applied Mathematics; Academic Press, Inc.: New York, NY, USA, 1983. [Google Scholar]
  28. Walrave, J. Curves and Surfaces in Minkowski Space. Ph.D. Thesis, Katholieke Universiteit, Leuven, Belgium, 1995. [Google Scholar]
Figure 1. The involute partner-ruled surfaces generated by the involutes of a spacelike curve with a timelike binormal, where s 2.5 , 4.5 and v 3 , 3 .
Figure 1. The involute partner-ruled surfaces generated by the involutes of a spacelike curve with a timelike binormal, where s 2.5 , 4.5 and v 3 , 3 .
Axioms 14 00337 g001
Figure 2. The involute partner-ruled surfaces generated by the involutes of a spacelike curve with a spacelike binormal, where s 1 2 2 , 1 + 2 2 and v 3 , 3 .
Figure 2. The involute partner-ruled surfaces generated by the involutes of a spacelike curve with a spacelike binormal, where s 1 2 2 , 1 + 2 2 and v 3 , 3 .
Axioms 14 00337 g002
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

Boyacıoğlu Kalkan, Ö.; Şenyurt, S.; Canlı, D.; Grilli, L. Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curves in Minkowski Three-Space. Axioms 2025, 14, 337. https://doi.org/10.3390/axioms14050337

AMA Style

Boyacıoğlu Kalkan Ö, Şenyurt S, Canlı D, Grilli L. Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curves in Minkowski Three-Space. Axioms. 2025; 14(5):337. https://doi.org/10.3390/axioms14050337

Chicago/Turabian Style

Boyacıoğlu Kalkan, Özgür, Süleyman Şenyurt, Davut Canlı, and Luca Grilli. 2025. "Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curves in Minkowski Three-Space" Axioms 14, no. 5: 337. https://doi.org/10.3390/axioms14050337

APA Style

Boyacıoğlu Kalkan, Ö., Şenyurt, S., Canlı, D., & Grilli, L. (2025). Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curves in Minkowski Three-Space. Axioms, 14(5), 337. https://doi.org/10.3390/axioms14050337

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