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
and
be two vectors in the 3-dimensional Cartesian space
, where
. Then, the pseudoscalar product of
,
is defined by
Thus, a Minkowski 3-space denoted by
is defined as the real vector space
with the pseudoscalar metric. The non-zero vector
is spacelike, lightlike, or timelike if
,
or
, respectively. The norm of the vector
is defined by
. For any two vectors
, the vector product is defined by
where
is the canonical basis of
[
19,
26,
27].
For
let
be a unit-speed spacelike curve in
with curvature
and torsion
and
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
where
defines the Darboux vector of the (S-F) frame.
The vectors
, and
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]:
Also, if
, then
is a spacelike vector and we derive the following relations:
where
[
20].
If
is a spacelike curve with a spacelike binormal in
, then the (S-F) formulae for the curve
are given by
where
defines the Darboux vector of the (S-F) frame. The (S-F) vector fields satisfy the following relations [
27]:
Also, if
and
are both spacelike vectors that span a spacelike vector subspace, then we have
where
[
20].
Definition 1 ([
18,
19]).
Let and 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 with arc length s is given bywhere and c is a real constant. Lemma 1 ([
20,
21]).
Let be a unit-speed spacelike curve in and be its involute curve with (S-F) frames and , respectively. Then, the relations between the (S-F) frames of involute curve and evolute curve φ can be given as follows:- (i)
If is a unit-speed spacelike curve with a timelike binormal and spacelike vector, then - (ii)
If is a unit-speed spacelike curve with a spacelike binormal, then
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:where is the base (or directrix) curve and is the ruling (or generator line) of a ruled surface. Lemma 2 ([
26,
28]).
Let be a ruled surface in . Then, the Gaussian curvature and the mean curvature for are defined by, respectively,whereand . The surface in Minkowski 3-space is spacelike if and it is timelike if . 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 be the involute of a regular spacelike curve and be its (S-F) frame in with spacelike Darboux vector . 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. -Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curves
Definition 3. Let and be the surfaces obtained using the tangent and principal normal vectors of the involute curve . Then, the pair of involute partner-ruled surfaces defined byis called the -involute partner-ruled surfaces (IPRSs) with the (S-F) frame of the involute of a spacelike curve in . 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 .
Theorem 1. Let the -IPRS be formed by involute curve in . Then, the -IPRSs are simultaneously developable and minimal if and only if .
Proof. By taking the derivatives of relation (
12) in terms of
s and
v, and using relations (
2), (
3), and (
7), we obtain
Then, using the relation (
14), the unit normal vector of the surface
is found as
By using the relation (
14), the coefficients of the 1st fundamental form for
can be obtained as follows:
Then, by the aid of (
16), we obtain
. Hence, the
-IPRS is timelike.
Taking the derivatives of relation (
14) in terms of
s and
v, we obtain
By using the relations (
15) and (
17), the coefficients of the 2nd fundamental form for
are determined as follows:
Thus, by substituting relations (
16) and (
18) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Moreover, by taking the derivatives of relation (13) in terms of
s and
v and using Equations (
2), (
3), and (
7), we obtain
Then, using (
20), the unit normal vector of the surface
is determined as
where
.
By using relation (
20), the coefficients of the 1st fundamental form for
are as follows:
Then, by the aid of (
22), we obtain
. Hence, the
-IPRS is spacelike if
and the
-IPRS is timelike if
.
Taking the derivatives of relation (
20) in terms of
s and
v, we obtain
By using the relations (
21) and (
23), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
22) and (
24) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Consequently, from Equations (
19) and (
25), the proof is complete. □
Theorem 2. The s-coordinate curves of -IPRS are simultaneously as follows:
- (i)
Not geodesics;
- (ii)
Asymptotic curves if .
Proof. (i) By using Equations (
15), (
17), (
21), and (
23), we obtain
and
Since
and
, the
s-coordinate curves of the
-IPRS are not simultaneously geodesic.
(ii) By using Equations (
15), (
17), (
21), and (
23), we obtain
From (
26), if
, then
and
. Finally, the
s-coordinate curves of the
-IPRS are simultaneously asymptotic if
. □
Theorem 3. The v-coordinate curves of the -IPRS are simultaneously geodesics and asymptotic curves.
Proof. Since and , the v-coordinate curves of the -IPRS are simultaneously geodesic.
Further, since and , the v-coordinate curves of the -IPRS are simultaneously asymptotic. □
Theorem 4. The s-coordinate and the v-coordinate curves of the -IPRS are simultaneously not lines of curvature.
Proof. Since and , 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
.
Theorem 5. Let the -IPRS be formed by involute curve in . Then, the -IPRSs are simultaneously developable and minimal if and only if .
Proof. Taking the derivatives of relation (
12) in terms of
s and
v and utilizing relations (
4), (
5), and (
8), we obtain
Then, using relation (
27), the unit normal vector of the surface
is obtained by
where
.
By using relation (
27), the coefficients of the 1st fundamental form for
can be obtained as follows:
Then, by the aid of (
29), we obtain
. Hence, the
-IPRS is spacelike if
and the
-IPRS is timelike if
.
Taking the derivatives of relation (
27) in terms of
s and
v, we obtain
By using relations (
28) and (
30), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
29) and (
31) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Moreover, by taking the derivatives of (13) in terms of
s and
v, and using Equations (
4), (
5), and (
8), we obtain the following:
Then, using (
33), we obtain the normal vector of the surface
as follows:
By using relation (
33), the coefficients of the 1st fundamental form for
are given by
Hence, by the aid of (
35), we obtain
. Hence, the
-IPRS is timelike.
Taking the derivatives of relation (
33) in terms of
s and
v, we obtain
By using relations (
34) and (
36), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
34) and (
37) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Consequently, from Equations (
32) and (
38), the proof is complete. □
Theorem 6. The s-coordinate curves of the -IPRS are simultaneously as follows:
- (i)
Not geodesics;
- (ii)
Asymptotic curves if .
Proof. (i) By using relations (
28), (
30), (
34) and (
36), we obtain
and
Since
and
, the
s-coordinate curves of the
-IPRS are not simultaneously geodesic.
(ii) By using relations (
28), (
30), (
34) and (
36), we obtain
Hence, if
, then
and
, which means that the
s-coordinate curves of the
-IPRS are simultaneously asymptotic if
. □
Theorem 7. The v-coordinate curves of the -IPRS are simultaneously geodesics and asymptotic curves.
Proof. Since and , the v-coordinate curves of the -IPRS are simultaneously geodesic.
Further, since and , the v-coordinate curves of the -IPRS are simultaneously asymptotic. □
Theorem 8. The s-coordinate and v-coordinate curves of the -IPRS are simultaneously not lines of curvature.
Proof. Since and , the proof is complete. □
2.2. -Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curve
Definition 4. Let and be the surfaces obtained using the tangent and binormal vectors of the involute curve . Then, the pair of involute partner-ruled surfaces defined byis called the -involute partner-ruled surfaces (IPRSs) with the (S-F) frame of the involute of a spacelike curve in . 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 .
Theorem 9. Let the -IPRS be formed by involute curve in . Then, the -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
Then, using relation (
42), the unit normal vector of the surface
is obtained by
where
.
By using relation (
42), the coefficients of the 1
nd fundamental form for
can be obtained as follows:
Then, by the aid of (
44), we obtain
. Hence, the
-IPRS is timelike.
Taking a derivative of relation (
42) in terms of
s and
v, we obtain
By using relations (
43) and (
45), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
44) and (
46) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Moreover, by taking the derivatives of (41) in terms of
s and
v and using Equations (
2), (
3), and (
7), we obtain
Then, using relation (
48), the unit normal vector of the ruled surface
is obtained by
where
.
By using relation (
48), the coefficients of the 1st fundamental form for
can be obtained as follows:
By the aid of (
50), we obtain
. Hence, the
-IPRS is timelike.
Taking the derivatives of relation (
48) in terms of
s and
v, we obtain
By using relations (
49) and (
51), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
50) and (
52) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Consequently, from Equations (
47) and (
53), the
-IPRSs are simultaneously developable but not minimal surfaces. □
Theorem 10. Let the -IPRS be formed by involute curve in . Then, we obtain the following:
- (i)
The s-coordinate curves of the -IPRS are simultaneously neither geodesics nor asymptotic curves.
- (ii)
The v-coordinate curves of the -IPRS are simultaneously geodesics and asymptotic curves.
- (iii)
The s-coordinate and v-coordinate curves of the -IPRS are simultaneously lines of curvature.
Proof. The proofs are similar to that of Theorems 2–4 given for the -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
and obtain the following Theorems 11–12.
Theorem 11. Let the -IPRS be formed by involute curve in . Then, the -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
Then, using (
54), the unit normal vector of the surface
is obtained by
where
.
By using relation (
54), the coefficients of the 1st fundamental form can be obtained as follows:
Then, by the aid of (
56), we obtain
. Hence, the
-IPRS is spacelike.
Taking the derivatives of (
54) in terms of
s and
v, we obtain
By using relations (
55) and (
57), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
56) and (
58) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
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
Then, using relation (
60), we obtain the unit normal vector of the surface
as follows:
where
.
By using relation (
60), the coefficients of the 1st fundamental form for
can be obtained as follows:
By the aid of (
62), we obtain
. Hence, the
-IPRS is timelike.
Taking the derivatives of relation (
60) in terms of
s and
v, we obtain
By using relations (
63) and (
61), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
62) and (
64) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Consequently, from Equations (
59) and (
65), the
-IPRSs are simultaneously developable but not minimal surfaces. □
Theorem 12. Let the -IPRS be formed by involute curve in . Then, we obtain the following:
- (i)
The s-coordinate curves of the -IPRS are simultaneously neither geodesics nor asymptotic curves.
- (ii)
The v-coordinate curves of the -IPRS are simultaneously geodesics and asymptotic curves.
- (iii)
The s coordinate and v-coordinate curves of the -IPRS are simultaneously lines of curvature.
Proof. The proofs are similar to that of Theorems 6, 7, and 8 given for the -IPRS. □
2.3. -Involute Partner-Ruled Surfaces Formed by Involutes of Spacelike Curve
Definition 5. Let and be the surfaces obtained using the principal normal and binormal vectors of the involute curve . Then, the pair of involute partner-ruled surfaces defined byis called the -involute partner-ruled surfaces (IPRSs) with the (S-F) frame of the involute of a spacelike curve in . 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 .
Theorem 13. Let the -IPRS be formed by involute curve in . Then, the -IPRSs are simultaneously developable surfaces if and only if 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
Then, using relation (
68), the unit normal vector of the surface
is obtained by
where
.
By using relation (
68), the coefficients of the 1st fundamental form for
can be obtained as follows:
Then, by the aid of (
70), we obtain
. Hence, the
-IPRS is spacelike if
, and the
-IPRS is timelike if
.
Taking the derivatives of relation (
68) in terms of
s and
v, we obtain
By using relations (
69) and (
71), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
70) and (
72) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Moreover, by taking the derivatives of (67) in terms of
s and
v, and using Equations (
2), (
3), and (
7), we obtain
Then, using (
74), the unit normal vector of the ruled surface
is obtained by
By using relation (
74), the coefficients of the 1st fundamental form for
can be obtained as follows:
By the aid of (
76), we obtain
. Hence, the
-IPRS is timelike.
Taking the derivative of relation (
74) in terms of
s and
v, we obtain
By using relations (
75) and (
77), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
76) and (
78) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Therefore, the
-IPRSs can be simultaneously developable if and only if
but can not be minimal surfaces. □
Theorem 14. Let the -IPRS be formed by involute curve in . Then, we obtain the following:
- (i)
The s-coordinate curves of the -IPRS are simultaneously neither geodesics nor asymptotic curves.
- (ii)
The v-coordinate curves of the -IPRS are simultaneously geodesics and asymptotic curves.
- (iii)
The s-coordinate and v-coordinate curves of the -IPRS are simultaneously lines of curvature if and only if .
Proof. The proofs are similar to that of Theorems 2–4 given for the -IPRS. □
Similarly, if we consider a unit-speed spacelike curve with a
spacelike binormal in
with the same relations (
66) and (67), then we denote this pair of ruled surfaces with
, and we have the Theorems 15 and 16.
Theorem 15. Let the -IPRS be formed by involute curve in . Then, the -IPRSs are simultaneously developable surfaces if and only if 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
Then, using (
80), the unit normal vector of the ruled surface
is obtained by
where
.
By using (
80), the coefficients of the 1st fundamental form for
can be obtained as follows:
Then, by the aid of (
82), we obtain
. Hence, the
-IPRS is spacelike if
, and the
-IPRS is timelike if
.
Taking the derivatives of relation (
80) in terms of
s and
v, we obtain
By using relations (
81) and (
83), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
82) and (
84) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Moreover, by taking the derivatives of relation (67) in terms of
s and
v and using relations (
4), (
5), and (
8), we obtain
Then, using (
86), the unit normal vector of the ruled surface
is obtained by
where
.
By using relation (
86), the coefficients the of 1st fundamental form for
can be obtained as follows:
By the aid of (
88), we obtain
. Hence, the
-IPRS is spacelike if
and the
-IPRS is timelike if
.
Taking the derivative of relation (
86) in terms of
s and
v, we obtain
By using relations (
87) and (
89), the coefficients of the 2nd fundamental form for
are determined as follows:
By substituting relations (
88) and (
90) into relation (
10), the Gaussian curvature and the mean curvature for
can be found as follows:
Therefore,
-IPRSs can be simultaneously developable if and only if
but can not be minimal surfaces. □
Theorem 16. Let the -IPRS be formed by involute curve in . Then, we obtain the following:
- (i)
The s-coordinate curves of the -IPRS are simultaneously neither geodesics nor asymptotic curves.
- (ii)
The v-coordinate curves of the -IPRS are simultaneously both geodesics and asymptotic curves.
- (iii)
The s-coordinate and v-coordinate curves of the -IPRS are simultaneously lines of curvature if and only if .
Proof. The proofs are similar to that of Theorems 6–8 given for the -IPRS. □
Example 1. Let be a unit-speed spacelike curve with the following parametrization:As , the Frenet vectors and curvatures for are computed asNote that for the given curve, the causal character of is determined by the sign of since Thus, we note that is timelike if , and spacelike if otherwise, except for the roots. Further, the involute of the curve , which is defined by , can be given as follows:where . The Frenet vectors and the curvatures of the involute curve are computed as in the following:As the casual characteristics of the curve change in its domain , we illustrate the corresponding involutive partner-ruled surfaces in two folds. Case 1. For , the curve 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 , the curve 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.