Next Article in Journal
Extended Deep-Learning Network for Histopathological Image-Based Multiclass Breast Cancer Classification Using Residual Features
Previous Article in Journal
Efficient Multistep Algorithms for First-Order IVPs with Oscillating Solutions: II Implicit and Predictor–Corrector Algorithms
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Construction of Ruled Surfaces from the W-Curves and Their Characterizations in E3

1
Department of Mathematics and Statistics, College of Science, King Faisal University, AL-Ahsa, Hafuf 31982, Saudi Arabia
2
Department of Mathematics, Faculty of Science, Assiut University, Assiut 71516, Egypt
3
Department of Mathematics, Faculty of Science, Sohag University, Sohag 82524, Egypt
4
Department of Mathematics, Applied College, Northern Border University, Rafha 91431, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2024, 16(5), 509; https://doi.org/10.3390/sym16050509
Submission received: 27 March 2024 / Revised: 15 April 2024 / Accepted: 17 April 2024 / Published: 23 April 2024
(This article belongs to the Section Mathematics)

Abstract

:
Ruled surfaces are considered one of the significant aspects of differential geometry. These surfaces are formed by the motion of a straight line called a generator, and every curve that intersects all the generators is called a directrix. In the present research paper, we explore a family of ruled surfaces constructed from circular helices (W-curve) using the Frenet frame in the Euclidean space E 3 . We derive the explicit formulas for the second mean curvature and second Gaussian curvature. We present some ruled surfaces, and we describe their properties. In addition, we determine the sufficient conditions for these surfaces to be minimal, flat, II-minimal, and II-flat. Also, we obtain sufficient conditions for the base curve for these ruled surfaces to be a geodesic curve, an asymptotic line, and a principal line. Furthermore, we present an application for a ruled surface whose base curve is a circular helix, we compute some quantities for this surface such as the mean curvature and Gaussian curvatures and we plot the ruled surface with its base curve, and at symmetric points and along a symmetry axis.

1. Introduction

The primary objective of classical differential geometry is to comprehend the characteristics of specific types of surfaces in E 3 , including developable surfaces, ruled surfaces, minimal surfaces, and other related surfaces. Ruled surfaces (R-S) in Euclidean 3-space are geometric entities formed by straight lines, called rulings, that move through space while remaining tangent to a fixed line, known as the directrix. These surfaces have practical applications in fields such as architecture and computer graphics. Understanding their characteristics contributes to a deeper comprehension of geometry and its real-world implications.
Many researchers studied the (R-S) and their diverse characteristics. Gürsoy [1] analyzed the dual integral invariant of a closed ruled surface and presented some new results of the geometric interpretations for the real angle of pitch and the real pitch of a closed ruled surface. Köse [2] expressed the pitch and the angle of pitch of a closed ruled surface in terms of the integral invariants for the dual spherical closed curve that corresponds to the closed ruled surface. Turgut, et al. [3,4] investigated the properties of timelike (R-S) in Minkowski 3-space, along with the structure of developable timelike (R-S). The curve of striction, the central point, and the distribution parameter of these surfaces were also discussed. The angles between normal vectors at various sites on a ruling, the behavior of tangent planes along a ruling, and the unique value of the distribution parameter along a ruling were covered.
Ali et al. [5,6,7] investigated the mathematical description of helical structures in Euclidean 3-space, specifically, general helices and their position vectors concerning the Frenet frame for both general helices and slant helices. In addition, examples such as circular general helices, spherical general helices, Salkowski curves, and circular slant helices were presented.
Barros [8] proposed Lancret’s theorem for general helices in a three-dimensional real-space form. This theorem distinguishes the relationship between hyperbolic and spherical geometries, furthermore studying the problems related to general helices in the 3-sphere, including the closed curve problem and solving natural equations.
Ilarslan, et al. [9] focused on studying the position vectors of timelike and null helices in Minkowski space E 3 , 1 . These curves have constant curvatures, and their position vectors are utilized to characterize timelike and null helices with images on the Lorentzian sphere S 1 2 or pseudo-hyperbolical space H 0 2 .
Monterde [10] described a family of curves with constant curvature and non-constant torsion. These curves are characterized as space curves, and their normal vectors form a constant angle with a fixed line. The relationship between these curves and rational curves using a double Pythagorean hodograph was explored. In addition, a method for constructing closed curves with constant curvature and continuous torsion using pieces of Salkowski curves was presented.
Classical differential geometry employs intrinsic equations to determine the position vectors of curves, such as κ = κ ( s ) and τ = τ ( s ) , where κ and τ represent the curvature and torsion of the curve, respectively. To understand the behavior of curves, a comprehensive examination of position vectors is necessary. Slant helices encompass various types of helices, including general helices, Salkowski, anti-Salkowski, and constant precession curves. A helix is a geometric curve characterized by constant non-zero curvature and torsion. The circular helix, also known as the W-curve, is a special type of general helix [11,12,13].
Recently, in [14], the (R-S) in a three-dimensional sphere with finite-type and pointwise 1-type spherical Gauss map were investigated. Some new characterizations of the Clifford torus and the great sphere of the 3-sphere were described. Some new applications of spherical (R-S) in a three-dimensional sphere were provided. In [15], the first-order infinitesimal bending of a curve in three-dimensional Euclidean space is considered to obtain an (R-S). The properties of this kind of (R-S) were described and the conditions for (R-S) by bending to be developable were obtained.
In [16], the dual expression of Valeontis’ concept for the parallel p-equidistant (R-S) in Euclidean space was investigated, utilizing the Study mapping. In addition, the dual part of the dual angle on the unit dual sphere corresponded to the p-distance and was defined by (R-S). Furthermore, the dual parallel equidistant (R-S) was obtained. In [17], the parallel q-equidistant (R-S) was defined such that the binormal vectors of two given differentiable curves are parallel along the striction curves of their corresponding binormal (R-S). In addition, the distance between the asymptotic planes is constant at certain points. Some properties were specified and plotted for these surfaces. In the case of closed surfaces, the integral invariants such as the pitch, the angle of the pitch, and the drall of them were given. It is known, see, e.g., [18], that surfaces of revolutions characterize inner conditions, i.e., there exists an equidistant vector field. For (R-S), the similar inner conditions do not exist. Therefore, it is relevant to examine the characteristics of (R-S) in our work.
In [19,20,21,22], the features and applications of generated surfaces across various mathematical fields have been specified. The investigation of equiform Bishop spherical image governed surfaces in Minkowski 3-space yields important minimality and developability requirements, with consequences for computer-aided geometric design and physics. Simultaneously, research on inextensible (R-S), which are especially important in computer vision and animation, provides insights into tangential, normal, and binormal (R-S). These surfaces are formed by a curve with constant torsion. Furthermore, the study of circular surfaces in the Euclidean 3-space provides geometric analysis, minimality criteria, and systematic parametrization, all of which are valuable applications in computer-aided design and architecture.
Our study focuses on (R-S) constructed from the W-curve in E 3 . We determine some quantities of the constructed (R-S) such as mean, Gaussian, second mean, and second Gaussian curvatures. We provide some special (R-S) with their properties. Also, the sufficient conditions for the constructed (R-S) to be minimal, flat, II-minimal, and II-flat surfaces are determined. In addition, the sufficient conditions for the base curve for constructed (R-S) to be a geodesic, an asymptotic line, and a principal line are determined.
The outline of the present research is organized as follows: In Section 2, we present some geometric concepts about (R-S) in the Euclidean 3-space. In Section 3, we construct (R-S) from the W-curves. In Section 4, we investigate some special (R-S) and describe their properties. In Section 5, we provide an application of (R-S). Finally, we present our conclusions.

2. Geometric Concepts

Consider a rectangular coordinate system in three-dimensional Euclidean space denoted by u = ( u 1 , u 2 , u 3 ) with metric defined as u , u = d u 1 2 + d u 2 2 + d u 3 2 .
For any curve γ = γ ( s ) : I R E 3 , where s represents the arc-length parameter, we define the moving Frenet frame along γ as F = T ( s ) , N ( s ) , B ( s ) . The Frenet equations for the curve γ can be expressed as
T ( s ) N ( s ) B ( s ) = 0 κ ( s ) 0 κ ( s ) 0 τ ( s ) 0 τ ( s ) τ ( s ) T ( s ) N ( s ) B ( s ) .
Here, κ ( s ) and τ ( s ) represent the curvature and torsion of the curve γ , respectively. The vectors T , N , and B are mutually orthonormal vectors that satisfy the following conditions:
T , T = N , N = B , B = 1 , T , N = N , B = B , T = 0 , det ( T , N , B ) = 1 .
Definition 1 
([23,24]). A ruled surface (R-S) is a surface constructed from straight lines parametrized by γ ( s ) and X ( s ) . It can be represented parametrically as
Q s , v = γ s + v X ( s ) ,
where γ = γ ( s ) : I R E 3 is the directrix or base curve and X ( s ) represents a unit vector in the direction of the ruling of the (R-S). If there exists a common perpendicular line for two constructive rulings on the (R-S), the point where this perpendicular intersects the main rulings is called a central point. The locus of these central points is known as the striction curve, and its parametrization on the (R-S) (3) is given by [4]
γ * s = γ s γ s , X s X s 2 X s .
If X s = 0 , then the (R-S) does not have any striction curve, and it is identified as cylindrical. In such a case, the base curve can serve as a striction curve.
Definition 2 
([25]). The unit normal vector field U n on the surface Q is defined by
U n = Q s Q v Q s Q v ,
where Q s = Q ( s , v ) s and Q v = Q ( s , v ) v .
Definition 3 
([25]). Let κ g , κ n , τ g be the geodesic curvature, normal curvature, and geodesic torsion, respectively, associated with the curve γ ( s ) on the surface Q. They can be defined by the following formula:
κ g = U n T , T , κ n = γ , U n , τ g = U n U n , T .
Definition 4 
([25]). The curve γ ( s ) lying on a surface Q is a geodesic curve, an asymptotic line, and a principal line if and only if κ g = 0 , κ n = 0 , and τ g = 0 , respectively.
Definition 5 
([25]). Let K, H, and λ denote the Gaussian curvature (GC), mean curvature (MC), and distribution parameter, respectively. They can be defined by the following formulas:
K = h 11 h 22 h 12 2 g 11 g 22 g 12 2 ,
H = g 11 h 22 + g 22 h 11 2 g 12 h 12 2 g 11 g 22 g 12 2 ,
λ = det γ , X , X X 2 .
where g i j and h i j , i , j = 1 , 2 represent the first fundamental quantities and second fundamental quantities, respectively and they can be expressed as
g 11 = Q s , Q s , g 12 = Q s , Q v , g 22 = Q v , Q v .
h 11 = Q s s , U n , h 12 = Q s v , U n , h 22 = Q v v , U n .
Definition 6 
([26]). Let H I I denote the second mean curvature (S-MC) for the (R-S) in E 3 and define it by
H I I = H + 1 4 Δ I I log ( | K | ) ,
where H and K denote the (MC) and (GC) for the (R-S). Also, let Δ I I denote the Laplacian for functions. Explicitly, we have
H I I = H + 1 2 | det ( I I ) | i , j x i | det ( I I ) | h i j x j ( ln | K | ) ,
where ( h i j ) denotes the inverse of the matrix ( h i j ) , the indices i , j belong to { 1 , 2 } and the parameters x 1 , x 2 represent the coordinates s and v, respectively.
Definition 7 
([27]). Let K I I denote the second Gaussian curvature (S-GC) for the (R-S) in E 3 , which is defined from Brioschi’s formula in the Euclidean 3-space by replacing the components of the metric tensors g 11 , g 12 , and g 22 by the components of the curvature tensors h 11 , h 12 , and h 22 , respectively:
K I I = 1 ( det ( I I ) ) 2 ( 1 2 h 11 , v v + h 12 , s v 1 2 h 22 , s s 1 2 h 11 , s h 12 , s 1 2 h 11 , v h 12 , v 1 2 h 22 , s h 11 h 12 1 2 h 22 , v h 12 h 22 0 1 2 h 11 , v 1 2 h 22 , s 1 2 h 11 , v h 11 h 12 1 2 h 22 , s h 12 h 22 ) .
It is widely acknowledged that a minimal surface exhibits the (S-GC) K I I = 0 . However, it is crucial to note that a surface with a vanishing (S-GC) does not necessarily qualify as minimal [27]. In the context of our investigation, the following definitions are essential:
Definition 8 
([25]). A flat or developable surface in E 3 is characterized by having zero (GC), while a minimal surface is defined by having zero (MC).
Definition 9 
([28]). A non-developable surface in E 3 is called II-flat surface if its (S-GC) K I I = 0 and it is called a II-minimal surface if its (S-MC) H I I = 0 .

3. Construction of Ruled Surfaces in E 3

We consider the (R-S) with circular helix curve γ ( s ) (a family of curves with constant curvature κ ( s ) = κ and constant torsion τ ( s ) = τ ) as a base curve. Therefore, the (R-S) can be constructed by
Q ( s , v ) = γ ( s ) + v X ( s ) , v R , X ( s ) 0 .
X ( s ) = i = 1 3 u i e i ( s ) = u 1 T + u 2 N + u 3 B , u 1 2 + u 2 2 + u 3 2 = 1 ,
where X ( s ) is a unit vector with fixed components. From (4), it easy to see that the parametrization of the striction curve on the (R-S) that is described by (14) is defined by the following form
γ * s = γ s + u 2 κ X ( s ) 2 X ( s ) = γ ( s ) + u 2 κ u 2 2 ( κ 2 + τ 2 ) + ( u 1 κ u 3 τ ) 2 ( u 1 T + u 2 N + u 3 B ) .
Theorem 1. 
Consider the (R-S) given by (14), then, the first fundamental quantities g i j are given by
g 11 = 1 2 u 2 κ v + c ^ v 2 , g 12 = u 1 , g 22 = 1 , a ^ = κ u 3 + τ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Also, the unit normal vector field U n to the (R-S) is obtained by
U n = 1 δ b ^ v T + ( a ^ u 2 v u 3 ) N + ( u 2 d ^ v ) B ,
where δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , b ^ = τ a ^ u 1 , d ^ = κ a ^ u 3 .
Proof. 
The natural frame { Q s , Q v } is given by
Q s = ( 1 κ u 2 v ) T + ( κ u 1 τ u 3 ) v N + ( τ u 2 v ) B , Q v = u 1 T + u 2 N + u 3 B .
Since the metric tensors ( g i j ) are defined by (9), then by using Equation (19), we obtain:
g 11 = 1 2 u 2 κ v + ( u 1 2 + u 2 2 ) κ 2 2 u 1 u 3 κ τ + ( u 2 2 + u 3 2 ) τ 2 v 2 , g 12 = u 1 , g 22 = 1 .
Choose
a ^ = κ u 3 + τ u 1 , c ^ = κ 2 + τ 2 a ^ 2 ,
then
g 11 = 1 2 u 2 κ v + c ^ v 2 , g 12 = u 1 , g 22 = 1 .
The vector product of the vectors Q s and Q v is given as:
Q s Q v = ( a ^ u 1 τ ) v T + ( a ^ u 2 v u 3 ) N + ( u 2 ( κ a ^ u 3 ) v ) B .
For simplicity, we choose
b ^ = τ a ^ u 1 , d ^ = κ a ^ u 3 .
Then
Q s Q v = b ^ v T + ( a ^ u 2 v u 3 ) N + ( u 2 d ^ v ) B .
Also, we have
Q s Q v 2 = ( b ^ v ) 2 + ( a ^ u 2 v u 3 ) 2 + ( u 2 d ^ v ) 2 .
By straightforward computation, we obtain
Q s Q v 2 = δ 2 , δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 .
Since the unit normal vector field U n to the (R-S) is defined by (5), then by using (24) and (26), we obtain
U n = 1 δ b ^ v T + ( a ^ u 2 v u 3 ) N + ( u 2 d ^ v ) B .
By using (20) and (23), we obtain the unit normal vector as the following explicit formula:
U n = 1 δ ( ( u 1 u 3 κ ( u 2 2 + u 3 2 ) τ ) v T + ( u 1 u 2 τ v ( 1 u 2 κ v ) u 3 ) N + ( u 2 + u 1 u 3 τ v κ ( u 1 2 + u 2 2 ) v ) B ) , δ = 1 u 1 2 2 u 2 κ v + ( κ 2 + τ 2 ( κ u 3 + τ u 1 ) 2 ) v 2 1 2
Theorem 2. 
Consider the (R-S) given by (14). Then,
h 11 = 1 δ ( a ^ δ 2 + b ^ u 1 ) , h 12 = b ^ δ , h 22 = 0 ,
where
δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Proof. 
Taking the second partial derivatives of (19) with respect to s and v, then we obtain
Q s s = κ ( κ u 1 τ u 3 ) v T + ( κ u 2 ( κ 2 + τ 2 ) v ) N + τ ( κ u 1 τ u 3 ) v B , Q s v = ( κ u 2 ) T + ( κ u 1 τ u 3 ) N + ( τ u 2 ) B , Q v v = 0 .
Since the curvature tensors h i j are defined by (10), then by using (18) and the first equation of (29), we have
h 11 = 1 δ ( ( κ b ^ ( κ u 1 τ u 3 ) a ^ u 2 2 ( κ 2 + τ 2 ) τ d ^ ( κ u 1 τ u 3 ) ) v 2 + ( ( κ 2 + τ 2 ) u 2 u 3 + κ a ^ u 2 + τ u 2 ( κ u 1 τ u 3 ) ) v κ u 3 ) .
After some complicated computations, we obtain:
h 11 = 1 δ κ u 3 + ( κ u 3 + τ u 1 ) 2 u 2 κ v ( κ 2 + τ 2 ( κ u 3 + τ u 1 ) 2 ) v 2 .
We can rewrite h 11 in the following simple form:
h 11 = 1 δ ( a ^ δ 2 + b ^ u 1 ) .
Also, by using (18) and the second equation of (29), we have
h 12 = 1 δ κ b ^ u 2 v + ( κ u 1 τ u 3 ) ( u 3 + a ^ u 2 v ) + τ u 2 ( u 2 d ^ ^ v ) .
Explicitly, we obtain
h 12 = 1 δ u 1 u 3 κ + ( u 2 2 + u 3 2 ) τ .
Or we can obtain the following simple form for h 12 as
h 12 = b ^ δ ,
In addition, the metric tensor h 22 can be given by using (18) and the third equation of (29) as
h 22 = 0 .
Lemma 1. 
Consider the (R-S) given by (14); then, h i j are given by
h 11 = 0 , h 12 = δ b ^ , h 22 = δ b ^ 2 ( a ^ δ 2 + b ^ u 1 ) ,
where
δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Lemma 2. 
The (GC) and (MC) for the (R-S), are given in explicit form by
K = ( u 2 2 + u 3 2 ) τ u 1 u 3 κ δ 2 2 , H = 1 2 δ 3 ( ( κ u 3 + τ u 1 ) ( 2 u 1 u 3 κ τ ( u 1 2 + u 2 2 ) κ 2 ( u 2 2 + u 3 2 ) τ 2 ) v 2 + 2 u 2 ( κ u 3 + τ u 1 ) κ v 2 u 1 ( u 2 2 + u 3 2 ) τ + u 3 κ ( 2 u 1 2 1 ) ) .
Proof. 
Substituting from (17) and (28) into (6) and (7), then
K = b ^ 2 δ 4 , H = 1 2 δ 3 a ^ δ 2 + b ^ u 1 .
where
δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Hence, the lemma holds.   □
Lemma 3. 
The (R-S) described by (14) in E 3 is a flat surface ( K = 0 ) at any point ( s , v ) on the surface ( u i 0 , i = 1 , 2 , 3 ) if and only if the following condition holds:
τ κ = u 1 u 3 u 2 2 + u 3 2 .
Lemma 4. 
The distribution parameter λ is obtained as the explicit form:
λ = τ ( κ u 3 + τ u 1 ) u 1 κ 2 + τ 2 ( κ u 3 + τ u 1 ) 2 .
Proof. 
Since
X ( s ) = u 1 T + u 2 N + u 3 B .
Taking the derivative of (37) with respect to the parameter s, then
X ( s ) = ( κ u 2 ) T + ( κ u 1 τ u 3 ) N + τ u 2 B .
Also, we have
det ( γ , X ( s ) , X ( s ) ) = τ ( κ u 3 + τ u 1 ) u 1 = b ^ .
The norm X ( s ) is given as
X ( s ) 2 = ( κ u 2 ) 2 + ( κ u 1 τ u 3 ) 2 + ( τ u 2 ) 2 .
Hence, we obtain
X ( s ) 2 = κ 2 + τ 2 ( κ u 3 + τ u 1 ) 2 = c ^ .
Since the distribution parameter λ is defined by
λ = det ( γ , X ( s ) , X ( s ) ) X ( s ) 2 .
Substituting from (38) and (39) into (40),
λ = b ^ c ^ ,
where a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Theorem 3. 
The (S-MC) of the (R-S) that is constructed by (14) is given as follows:
H I I = 1 2 b ^ 2 δ 3 i = 0 4 A i v i , b ^ 0 , δ 0 , A 0 = 2 a ^ c ^ ( 1 u 1 2 ) 2 + b ^ ( a ^ b ^ 2 c ^ u 1 ) ( 1 u 1 2 ) + u 1 ( b ^ 2 + 4 κ 2 u 2 2 ) , A 1 = 2 u 2 κ 4 ( 1 u 1 2 ) a ^ c ^ + b ^ ( a ^ b ^ + 2 c ^ u 1 ) , A 2 = c ^ 8 a ^ u 2 2 κ 2 + a ^ b ^ 2 + 2 c ^ ( b ^ u 1 + 2 a ^ ( 1 u 1 2 ) ) , A 3 = 8 a ^ c ^ 2 u 2 κ , A 4 = 2 a ^ c ^ 3 ,
where
δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Proof. 
The (S-MC) is defined by (12), and it can be expressed explicitly in the following form:
H I I = H + 1 2 | det ( I I ) | ( s | det ( I I ) | h 11 s ( ln | K | ) + h 12 v ( ln | K | ) + v | det ( I I ) | h 21 s ( ln | K | ) + h 22 v ( ln | K | ) ) ,
From (28), we have:
h = det ( I I ) = b ^ δ 2 .
Since the first equation of (34) defines the (GC) of the (R-S), then by taking the first partial derivatives of ( ln | K | ) with respect to the parameters s and v, we obtain
s ( ln | K | ) = 0 , v ( ln | K | ) = 2 ( κ u 2 + c ^ v ) δ 2 .
Substituting from (33), the second equation of (34), (43) and (44) into (42), then we obtain:
H I I = 1 2 b ^ 2 δ 3 2 a ^ c ^ δ 4 + b ^ ( a ^ b ^ 2 c ^ u 1 ) δ 2 + b ^ 3 u 1 + 4 b ^ u 1 ( κ u 2 + c ^ v ) 2 .
Since δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , then we have
H I I = 1 2 b ^ 2 δ 3 ( 2 a ^ c ^ ( 1 u 1 2 2 u 2 κ v + c ^ v 2 ) 2 + b ^ ( a ^ b ^ 2 c ^ u 1 ) ( 1 u 1 2 2 u 2 κ v + c ^ v 2 ) + b ^ 3 u 1 + 4 b ^ u 1 ( κ u 2 + c ^ v ) 2 ) .
By substituting a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 , into (46) and by taking the coefficients of v i , i = 0 , 1 , 2 , 3 , 4 , hence the lemma holds.   □
Lemma 5. 
Consider the (R-S) defined by (14), and whose (S-MC) is given by (41), then there are no II-minimal (R-S) whose base curve is a circular helix at any point ( s , v ) in E 3 for ( u i 0 , i = 1 , 2 , 3 ) .
Proof. 
The (R-S) is II-minimal surface, if the (S-MC) vanishes ( H I I = 0 ). Then all coefficients A i will equal zero. Thus, we have:
  • For A 1 = 0 , b ^ 0 , then κ = 0 .
  • Also, for A 2 = A 3 = A 4 = 0 , b ^ 0 , then c ^ = 0 .
  • Since c ^ = κ 2 + τ 2 ( κ u 3 + τ u 1 ) 2 , then τ = 0 , which implies a contradiction.   □
Theorem 4. 
The (S-GC) K I I of the (R-S) described by (14) is given as follows:
K I I = 1 2 b ^ 2 δ 3 i = 0 4 B i v i , b ^ 0 , δ 0 , B 0 = c ^ ( 1 u 1 2 ) a ^ ( 1 u 1 2 ) + b ^ u 1 2 u 1 u 2 2 b ^ κ 2 , B 1 = 2 u 2 c ^ κ 2 ( 1 u 1 2 ) a ^ + b ^ u 1 , B 2 = c ^ 4 a ^ u 2 2 κ 2 + 2 ( 1 u 1 2 ) a ^ c ^ b ^ c ^ u 1 , B 3 = 4 a ^ c ^ 2 u 2 κ , B 4 = a ^ c ^ 3 ,
where
δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Proof. 
Taking the partial derivatives of the curvatures tensors (28) with respect to the parameters s , v , then
h 11 , s = 0 , h 12 , s = 0 , h 22 , s = 0 .
Also,
h 11 , v = 1 δ 3 ( a ^ δ 2 + b ^ u 1 ) ( κ u 2 + c ^ v ) , h 12 , v = b ^ δ 3 ( κ u 2 + c ^ v ) .
In addition, the second partial derivatives of h i j with respect to the parameters s , v are given as follows:
h 11 , v v = 1 δ 5 ( ( a ^ δ 2 + b ^ u 1 ) ( κ u 2 + c ^ v ) 2 c ^ δ 2 + 2 b ^ u 1 ( κ u 2 + c ^ v ) 2 ) , h 11 , s v = 0 , h 12 , s v = 0 .
Since the (S-GC) K I I of the (R-S) is defined by (13), then by substituting (43) and (48)–(50) into (13), we obtain
K I I = 1 2 b ^ 2 δ 3 a ^ c ^ δ 4 + b ^ c ^ u 1 δ 2 2 b ^ u 1 ( κ u 2 + c ^ v ) 2 .
By substituting δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 into (51) and by taking the coefficients of v i , i = 0 , 1 , 2 , 3 , 4 , hence the lemma holds.   □
Lemma 6. 
Consider the (R-S) defined by (14), and whose (S-GC) is given by (47), then there are no II-flat (R-S) at any point ( s , v ) in E 3 for ( u i 0 , i = 1 , 2 , 3 ) .
Proof. 
The (R-S) is II-flat surface, if the (S-GC) K I I = 0 . Then all coefficients B i will equal zero for b ^ 0 and δ 0 . So, for B 1 = B 2 = B 3 = B 4 = 0 , b ^ 0 , then c ^ = 0 .
  • Also, B 0 = 0 implies that κ = 0 .
  • Since c ^ = κ 2 + τ 2 ( κ u 3 + τ u 1 ) 2 , hence, τ = 0 , which implies a contradiction.   □
Lemma 7. 
The geodesic curvature κ g , the normal curvature κ n , and the geodesic torsion τ g associated with the curve γ s on the surface Q are obtained by the following formula:
κ g = κ δ u 2 ( κ a ^ u 3 ) v , κ n = κ δ u 3 + a ^ u 2 v , τ g = κ δ 2 ( a ^ c ^ u 2 ) v 2 ( a ^ κ u 2 2 + c ^ u 3 ) v + κ u 2 u 3 ,
where δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Proof. 
The vector product of the normal vector U n Equation (18) with the unit tangent vector T is
U n T = 1 δ ( u 2 d ^ v ) N ( u 3 + a ^ u 2 v ) B .
Since the geodesic curvature κ g is defined by
κ g = U n T , T = κ U n T , N ,
taking the inner product (53) with the unit normal vector N, then we obtain
κ g = κ δ u 2 d ^ v .
Since, d ^ = ( a ^ u 3 κ ) , then
κ g = κ δ u 2 + ( a ^ u 3 κ ) v .
Since the normal curvature κ n is defined by
κ n = γ , U n = κ N , U n .
Taking the inner product of the normal vector U n (18) and N, then we have
κ n = κ δ u 3 + a ^ u 2 v = κ δ u 3 + u 2 ( κ u 3 + τ u 1 ) v .
Since the geodesic torsion τ g is defined by
τ g = U n U n , T = κ U n U n , N .
Taking the s-derivative of the (18), then
U n = 1 δ κ u 3 + a ^ u 2 v T ( b ^ κ v + τ ( u 2 d ^ v ) ) N + τ ( u 3 + a ^ u 2 v ) B .
The vector product of the vectors U n and U n are given, respectively, from (18) and (58) as
U n U n = 1 δ 2 ( ( τ ( u 3 + a ^ u 2 v ) 2 + ( u 2 d ^ v ) ( b ^ κ v + τ ( u 2 d ^ v ) ) ) T + ( b ^ v τ ( u 3 + a ^ u 2 v ) κ ( u 3 + a ^ u 2 v ) ( u 2 d ^ v ) ) N + ( b ^ v ( b ^ κ v + τ ( u 2 d ^ v ) ) + κ ( u 3 + a ^ u 2 v ) 2 ) B ) .
Substituting from (59) into (57), then we have
τ g = κ δ 2 b ^ v τ ( u 3 + a ^ u 2 v ) κ ( u 3 + a ^ u 2 v ) ( u 2 d ^ v ) .
By straightforward computation, we obtain
τ g = κ δ 2 a ^ u 2 ( κ d ^ + τ b ^ ) v 2 ( u 3 ( κ d ^ + τ b ^ ) + a ^ κ u 2 2 ) v + κ u 2 u 3 .
Hence,
τ g = κ δ 2 ( a ^ c ^ u 2 ) v 2 ( c ^ u 3 + a ^ κ u 2 2 ) v + κ u 2 u 3 ,
where δ 2 = 1 u 1 2 2 u 2 κ v + c ^ v 2 , a ^ = κ u 3 + τ u 1 , b ^ = τ a ^ u 1 , c ^ = κ 2 + τ 2 a ^ 2 .
Lemma 8. 
The base curve of the (R-S) (14) at any point ( s , v ) on the surface in E 3 for ( u i 0 , i = 1 , 2 , 3 ) is neither a geodesic curve nor an asymptotic line nor a principal line.
Lemma 9. 
The curvatures K , H , and the distribution parameter λ at the point s , 0 are given by
K = ( u 2 2 + u 3 2 ) τ u 1 u 3 κ u 2 2 + u 3 2 2 , H = 2 ( u 2 2 + u 3 2 ) u 1 τ + ( 1 2 u 1 2 ) u 3 κ 2 u 2 2 + u 3 2 3 2 , λ = ( u 2 2 + u 3 2 ) τ u 1 u 3 κ u 2 2 ( κ 2 + τ 2 ) + ( u 1 κ u 3 τ ) 2 .
Also, the second curvatures H I I and K I I are given by
H I I = 1 2 ( u 2 2 + u 3 2 ) 3 2 ( ( u 2 2 + u 3 2 ) τ u 1 u 3 κ ) 2 . ( ( 2 u 1 ( u 2 2 + u 3 2 ) τ + u 3 ( 1 2 u 1 2 ) κ ) ( ( u 2 2 + u 3 2 ) τ u 1 u 3 κ ) + 2 ( u 3 ( u 2 2 + u 3 2 ) 2 τ 2 + u 3 ( u 2 4 u 1 2 u 2 2 + u 3 2 ( u 1 2 + u 2 2 ) ) κ 2 + 2 u 1 ( u 2 4 u 3 4 ) κ τ ) κ ) .
K I I = 1 2 u 2 2 + u 3 2 3 2 ( ( u 2 2 + u 3 2 ) τ u 1 u 3 κ ) 2 ( 2 u 1 u 3 2 ( 1 3 u 1 2 ) ( u 2 2 + u 3 2 ) κ 2 τ 2 u 1 ( u 2 2 + u 3 2 ) 3 τ 3 u 3 ( 1 6 u 1 2 ) ( u 2 2 + u 3 2 ) 2 κ τ 2 u 3 u 1 4 ( u 2 2 u 3 2 ) + u 2 2 ( u 2 2 + u 3 2 ) 2 + u 1 2 ( u 2 2 + u 3 2 ) ( 2 u 2 2 + u 3 2 ) κ 3 )
Lemma 10. 
The (R-S) constructed by (14) is a flat surface at any point ( s , 0 ) on the surface in E 3 for ( u i 0 , i = 1 , 2 , 3 ) if and only if the following condition holds:
τ κ = u 1 u 3 u 2 2 + u 3 2 .
Lemma 11. 
The (R-S) constructed by (14) is a minimal surface at the point s , 0 if and only if the following condition is satisfied:
τ κ = 1 2 u 1 2 u 3 2 ( u 2 2 + u 3 2 ) u 1 .
Lemma 12. 
The geodesic curvature κ g , the normal curvature κ n and the geodesic torsion τ g that are associated with the base curve γ s at the point s , 0 are given as follows:
κ g = u 2 κ u 2 2 + u 3 2 , κ n = u 3 κ u 2 2 + u 3 2 , τ g = u 2 u 3 κ 2 u 2 2 + u 3 2 .
At the point s , 0 , the relationship between κ g , κ n , and τ g of the base curve γ ( s ) is given by
κ g 2 + κ n 2 = κ 2 , κ g κ n = τ g .

4. Special Ruled Surfaces and Their Characterizations

In this section, we discuss some special (R-S), and we describe some of their characterizations.

4.1. The Ruled Surfaces with u 1 = 0

Consider the (R-S) constructed by (14). At u 1 = 0 , u 2 2 + u 3 2 = 1 , then the (R-S) takes the formula
Q ( s , v ) = γ ( s ) + v ( u 2 N + u 3 B ) .
In this case, we have
δ 2 = 1 2 u 2 κ v + ( u 2 2 κ 2 + τ 2 ) v 2 , a ^ = κ u 3 , b ^ = τ , c ^ = u 2 2 κ 2 + τ 2 .
Lemma 13. 
The (GC), (MC), and the distribution parameter λ for the (R-S) at u 1 = 0 are given by
K = τ 2 ( 1 2 u 2 κ v + ( u 2 2 κ 2 + τ 2 ) v 2 ) 2 , H = κ u 3 2 1 2 u 2 κ v + ( u 2 2 κ 2 + τ 2 ) v 2 , λ = τ u 2 2 κ 2 + τ 2 .
Also, the (S-MC) and (S-GC) for the (R-S) at u 1 = 0 are given by
H I I = i = 0 4 A i v i 2 τ 2 ( 1 2 u 2 κ v + ( u 2 2 κ 2 + τ 2 ) v 2 ) 3 2 , A 0 = κ u 3 2 u 2 2 κ 2 + 3 τ 2 , A 1 = 2 κ 2 u 2 u 3 4 u 2 2 κ 2 + 5 τ 2 , A 2 = κ u 3 ( u 2 2 κ 2 + τ 2 ) 12 u 2 2 κ 2 + 5 τ 2 , A 3 = 8 κ 2 u 2 u 3 ( u 2 2 κ 2 + τ 2 ) 2 , A 4 = 2 κ u 3 ( u 2 2 κ 2 + τ 2 ) 3 .
And
K I I = i = 0 4 B i v i 2 τ 2 ( 1 2 u 2 κ v + ( u 2 2 κ 2 + τ 2 ) v 2 ) 3 2 , B 0 = κ u 3 ( u 2 2 κ 2 + τ 2 ) , B 1 = 4 κ 2 u 2 u 3 ( u 2 2 κ 2 + τ 2 ) , B 2 = 2 κ u 3 ( u 2 2 κ 2 + τ 2 ) 3 u 2 2 κ 2 + τ 2 , B 3 = 4 u 2 u 3 κ 2 ( u 2 2 κ 2 + τ 2 ) 2 , B 4 = κ u 3 ( u 2 2 κ 2 + τ 2 ) 3 .
Lemma 14. 
The geodesic curvature κ g , the normal curvature κ n , and the geodesic torsion τ g associated with the base curve γ s at u 1 = 0 , take the following formula:
κ g = κ u 2 ( 1 κ u 2 v ) 1 2 u 2 κ v + ( u 2 2 κ 2 + τ 2 ) v 2 , κ n = κ u 3 ( 1 κ u 2 v ) 1 2 u 2 κ v + ( u 2 2 κ 2 + τ 2 ) v 2 , τ g = κ u 3 ( 1 2 u 2 κ v + ( u 2 2 κ 2 + τ 2 ) v 2 ) κ u 2 ( u 2 2 κ 2 + τ 2 ) v 2 ( 2 u 2 2 κ 2 + τ 2 ) v + κ u 2 .
Lemma 15. 
There is no flat, minimal, II-minimal, and II-flat (R-S) with u 1 = 0 at every point s , v in E 3 .
Lemma 16. 
The base curve for the (R-S) constructed by (60) with u 1 = 0 , u 2 0 , u 3 0 is neither a geodesic curve nor an asymptotic line nor a principal line at every point s , v in E 3 .
Lemma 17. 
The base curve of the (R-S) constructed by (60) with u 1 = 0 in E 3 has the following properties at the point ( s , 0 ) :
κ g 2 + κ n 2 = κ 2 , κ g κ n = τ g .

4.2. The Ruled Surfaces with u 2 = 0

Consider the (R-S) constructed by (14). For u 2 = 0 , u 1 2 + u 3 2 = 1 , then, the equation for the (R-S) (14) takes the following form:
Q ( s , v ) = γ ( s ) + v ( u 1 T + u 3 B ) .
In this case, we have,
δ 2 = u 3 2 + ( κ u 1 τ u 3 ) 2 v 2 , a ^ = κ u 3 + τ u 1 , b ^ = u 3 ( κ u 1 τ u 3 ) , c ^ = ( κ u 1 τ u 3 ) 2 .
Lemma 18. 
The (GC), (MC), and the distribution parameter λ for the (R-S) at u 2 = 0 are given by
K = u 3 2 ( κ u 1 τ u 3 ) 2 ( u 3 2 + ( κ u 1 τ u 3 ) 2 v 2 ) 2 , H = 1 2 ( u 3 2 + ( κ u 1 τ u 3 ) 2 v 2 ) 3 / 2 ( ( κ u 3 + τ u 1 ) ( κ u 1 τ u 3 ) 2 v 2 + u 3 ( κ ( u 3 2 u 1 2 ) + 2 u 1 u 3 τ ) ) , λ = u 3 ( κ u 1 τ u 3 ) .
Also, the (S-MC) and (S-GC) for the (R-S) at u 2 = 0 are given by
H I I = i = 0 4 A i v i 2 ( u 3 2 ( κ u 1 τ u 3 ) 2 ) ( u 3 2 + ( κ u 1 τ u 3 ) 2 v 2 ) 3 2 , A 0 = u 3 3 ( κ u 1 τ u 3 ) 2 κ ( 1 + 2 u 3 2 ) + 2 u 1 u 3 τ , A 1 = 0 , A 2 = u 3 ( κ u 1 τ u 3 ) 4 κ ( 7 u 1 2 5 ) 7 τ u 1 u 3 , A 3 = 0 , A 4 = 2 ( κ u 3 + τ u 1 ) ( κ u 1 τ u 3 ) 6 .
And
K I I = i = 0 4 B i v i 2 ( u 3 2 ( κ u 1 τ u 3 ) 2 ) ( u 3 2 + ( κ u 1 τ u 3 ) 2 v 2 ) 3 2 , B 0 = u 3 3 ( κ u 1 τ u 3 ) 2 κ ( u 1 2 u 3 2 ) + 2 u 1 u 3 τ ) , B 1 = 0 , B 2 = u 3 ( κ u 1 τ u 3 ) 4 κ ( 1 + u 3 2 ) + u 1 u 3 τ , B 3 = 0 , B 4 = ( κ u 3 + τ u 1 ) ( κ u 1 τ u 3 ) 6 .
Lemma 19. 
The geodesic curvature κ g , the normal curvature κ n , and the geodesic torsion τ g associated with the base curve γ s at u 2 = 0 , take the following formula:
κ g = κ u 1 ( κ u 1 τ u 3 ) v u 3 2 + ( κ u 1 τ u 3 ) 2 v 2 , κ n = u 3 κ u 3 2 + ( κ u 1 τ u 3 ) 2 v 2 τ g = u 3 κ ( κ u 1 τ u 3 ) 2 v u 3 2 + ( κ u 1 τ u 3 ) 2 v 2 .
Lemma 20. 
The (R-S) given by (61) that constructed with u 2 = 0 in E 3 is a flat, II-minimal, and II-flat surface at any point s , v (also at the point s , 0 ) if and only if the following condition holds:
τ κ = u 1 u 3 .
Lemma 21. 
There are no minimal (R-S) with u 2 = 0 at a point s , v in E 3 .
Lemma 22. 
The base curve for the (R-S) given by (61) is a geodesic curve and a principal line if and only if
τ κ = u 1 u 3 .
Lemma 23. 
The (R-S) given by (61) that constructed with u 2 = 0 in E 3 is characterized by the following conditions at the point s , 0 :
  • It is minimal and II-flat if and only if the ratio of the torsion to curvature is equal to
    τ κ = u 1 2 u 3 2 2 u 1 u 3 .
  • It is II-minimal if and only if the ratio of the torsion to curvature is equal to
    τ κ = 1 + 2 u 3 2 2 u 1 u 3 , or τ κ = u 1 u 3 .
  • The base curve for the (R-S) is a geodesic curve and a principal line.

4.3. Ruled Surfaces with u 3 = 0

Consider the (R-S) that is given by (14). For u 3 = 0 , then u 1 2 + u 2 2 = 1 , thus, the equation for the (R-S) takes the form
Q ( s , v ) = γ ( s ) + v ( u 1 T + u 2 N ) .
In this case, we have
δ 2 = u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 , a ^ = τ u 1 , b ^ = u 2 2 τ , c ^ = κ 2 + u 2 2 τ 2 .
Lemma 24. 
The (GC), (MC), and the distribution parameter λ at u 3 = 0 are given by
K = u 2 4 τ 2 ( u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 ) 2 , H = u 1 τ 2 ( u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 ) 3 2 2 u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 , λ = u 2 2 τ κ 2 + u 2 2 τ 2 .
Also, the (S-MC) and (S-GC) for the (R-S) at u 3 = 0 are given by
H I I = i = 0 4 A i v i 2 u 2 4 τ 2 ( u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 ) 3 2 , A 0 = 2 u 1 u 2 4 τ ( 2 κ 2 + u 2 2 τ 2 ) , A 1 = 2 u 1 u 2 3 κ τ ( 6 κ 2 + 7 u 2 2 τ 2 ) , A 2 = 7 u 1 u 2 2 τ ( κ 2 + u 2 2 τ 2 ) ( 2 κ 2 + u 2 2 τ 2 ) , A 3 = 8 u 1 u 2 κ τ ( κ 2 + u 2 2 τ 2 ) 2 , A 4 = 2 u 1 τ ( κ 2 + u 2 2 τ 2 ) 3 .
And
K I I = i = 0 4 B i v i 2 u 2 4 τ 2 ( u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 ) 3 2 , B 0 = 2 u 1 u 2 6 τ 3 , B 1 = 2 u 1 u 2 3 κ τ ( κ 2 + u 2 2 τ 2 ) , B 2 = u 1 u 2 2 τ ( κ 2 + u 2 2 τ 2 ) ( 5 κ 2 + u 2 2 τ 2 ) , B 3 = 4 u 1 u 2 κ τ ( κ 2 + u 2 2 τ 2 ) 2 , B 4 = u 1 τ ( κ 2 + u 2 2 τ 2 ) 3 .
Lemma 25. 
The geodesic curvature κ g , the normal curvature κ n , and the geodesic torsion τ g associated with the base curve γ s at u 3 = 0 , take the following formula:
κ g = κ u 2 κ v u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 , κ n = u 1 u 2 κ τ v u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 , τ g = u 1 u 2 κ τ ( κ 2 + u 2 2 τ 2 ) v 2 κ u 2 v u 2 2 2 u 2 κ v + ( κ 2 + u 2 2 τ 2 ) v 2 .
Lemma 26. 
Consider the (R-S) given by (62) that constructed with u 3 = 0 in E 3 , then there is no flat, minimal, II-minimal, and II-flat at every point s , v .
Lemma 27. 
The base curve for the (R-S) that is described by (62) with u 3 = 0 is neither a geodesic curve nor an asymptotic line nor a principal line at any point ( s , v ) where v 0 and u 1 0 , u 2 0 .
Lemma 28. 
At the point s , 0 , the base curve of the (R-S) given by (62) is both an asymptotic line and a principal line for u 1 0 , u 2 0 .

4.4. Ruled Surfaces with u 1 = u 2 = 0

Consider the (R-S) given by (14). For u 1 = u 2 = 0 , u 3 = 1 , then
Q ( s , v ) = γ ( s ) + v B .
δ 2 = 1 + τ 2 v 2 , a ^ = κ , b ^ = τ , c ^ = τ 2 .
Lemma 29. 
The (GC), (MC), and the distribution parameter λ at u 1 = u 2 = 0 , u 3 = 1 are given by
K = τ 2 ( 1 + τ 2 v 2 ) 2 , H = κ 2 1 + τ 2 v 2 , λ = 1 τ .
Also, the (S-MC) and (S-GC) at u 1 = u 2 = 0 , u 3 = 1 are given by
H I I = i = 0 4 A i v i 2 τ 2 ( 1 + τ 2 v 2 ) 3 / 2 , A 0 = 3 κ τ 2 , A 1 = 0 , A 2 = 5 κ τ 4 , A 3 = 0 , A 4 = 2 κ τ 6 .
And
K I I = i = 0 4 B i v i 2 τ 2 ( 1 + τ 2 v 2 ) 3 / 2 , B 0 = κ τ 2 , B 1 = 0 , B 2 = 2 κ τ 4 , B 3 = 0 , B 4 = κ τ 6 .
Lemma 30. 
The geodesic curvature κ g , the normal curvature κ n , and the geodesic torsion τ g associated with the base curve γ s at u 1 = u 2 = 0 , u 3 = 1 , take the following formula:
κ g = 0 , κ n = κ 1 + τ 2 v 2 , τ g = κ τ 2 v 1 + τ 2 v 2 .
Lemma 31. 
At any point ( s , v ) on the surface Q with u 1 = u 2 = 0 , u 3 = 1 , there are no flat, minimal, II-minimal, and II-flat (R-S) in E 3 .
Lemma 32. 
The base curve of the (R-S) described by (63) with u 1 = u 2 = 0 , u 3 = 1 in E 3 is a geodesic curve at any point ( s , v ) , and it is a principal line at a point ( s , 0 ) .

4.5. Ruled Surfaces with u 1 = u 3 = 0 and u 2 = 1

At u 1 = u 3 = 0 and u 2 = 1 , then Equation (14) takes the form
Q ( s , v ) = γ ( s ) + v N .
In this case, we have
δ 2 = 1 2 κ v + ( κ 2 + τ 2 ) v 2 , a ^ = 0 , b ^ = τ , c ^ = κ 2 + τ 2 .
Lemma 33. 
The (GC), (MC), and distribution parameter λ at u 1 = u 3 = 0 are given by
K = τ 2 ( 1 2 κ v + ( κ 2 + τ 2 ) v 2 ) 2 , H = 0 , λ = τ κ 2 + τ 2
Also, the (S-MC) and (S-GC) at u 1 = u 3 = 0 , u 2 = 1 are given by
H I I = 0 , K I I = 0 .
Lemma 34. 
The geodesic curvature κ g , the normal curvature κ n , and the geodesic torsion τ g associated with the base curve γ s at u 1 = u 3 = 0 , u 2 = 1 , take the following formula:
κ g = κ ( 1 κ v ) 1 2 κ v + ( κ 2 + τ 2 ) v 2 , κ n = 0 , τ g = 0 .
Lemma 35. 
At every point ( s , v ) on the (R-S) for u 1 = u 3 = 0 , u 2 = 1 , we find that:
  • The (R-S) are minimal, II-minimal, and II-flat surfaces but not flat in E 3 .
  • The base curve of the (R-S) (64) in E 3 is both an asymptotic line and a principal line.

4.6. Ruled Surfaces with u 2 = u 3 = 0

At u 2 = u 3 = 0 , u 1 = 1 , then the (R-S) (14) takes the form
Q ( s , v ) = γ ( s ) + v T .
In this case, we have
δ = κ v , a ^ = τ , b ^ = 0 , c ^ = κ 2 .
Lemma 36. 
The (GC), (MC), and the distribution parameter λ for the (R-S) at u 2 = u 3 = 0 , u 1 = 1 are given by
K = 0 , H = τ 2 κ v , λ = 0 .
Also, the (S-MC) and (S-GC) at u 2 = u 3 = 0 , u 1 = 1 are undefined ( b ^ = 0 ) due to the fact that det ( I I ) = 0 .
Lemma 37. 
The geodesic curvature κ g , the normal curvature κ n , and the geodesic torsion τ g associated with the base curve γ s at u 2 = u 3 = 0 , u 1 = 1 , take the following formula:
κ g = κ , κ n = 0 , τ g = 0 .
The base curve of the (R-S) (66) in E 3 is both an asymptotic line and a principal line at any point ( s , v ) on the surface.

5. Application

Consider the following (R-S):
Q ( s , v ) = γ ( s ) + v ( u 1 T + u 2 N + u 3 B ) ,
where γ ( s ) is a circular helix given by
γ ( s ) = s 2 , cos s 2 , sin s 2 .
Explicitly, we have
Q ( s , v ) = ( 1 2 ( s + ( u 1 + u 3 ) v ) , ( u 3 u 1 2 sin s 2 u 2 cos s 2 ) v + cos s 2 , ( u 1 u 3 2 cos s 2 u 2 sin s 2 ) v + sin s 2 ) .
The Frenet frame vectors are
T ( s ) = 1 2 1 , sin s 2 , cos s 2 , N ( s ) = 0 , cos s 2 , sin s 2 , B ( s ) = 1 2 1 , sin s 2 , cos s 2 ,
with constant curvature and torsion κ = τ = 1 2 .
The (GC), (MC), and distribution λ , respectively, are given by
K = ( 1 u 1 2 u 1 u 3 ) 2 4 ( 1 u 1 2 u 2 v + 1 4 ( 2 ( u 1 + u 3 ) 2 ) v 2 ) 2 , H = ( u 1 + ( u 1 + u 3 ) ( 1 2 u 1 2 u 2 v + 1 4 ( 2 ( u 1 + u 3 ) 2 ) v 2 ) ) 4 ( 1 u 1 2 u 2 v + 1 4 ( 2 ( u 1 + u 3 ) 2 ) v 2 ) 3 2 , λ = 2 ( 1 u 1 2 u 1 u 3 ) ( 2 ( u 1 + u 3 ) 2 ) .
The visual representation of this application is illustrated in Figure 1 and Figure 2.

6. Conclusions

In the current study, we have focused on the (R-S) that is generated from the W-curve in E 3 . We have analyzed various properties of the generated (R-S), such as its mean curvature, Gaussian curvature, second mean curvature, and second Gaussian curvature. Additionally, we have presented specific ruled surfaces and discussed their characteristics. Furthermore, we have established the necessary conditions for the generated (R-S) to be minimal, flat, II-minimal, and II-flat surfaces. Moreover, we have identified the conditions for the base curve associated with the generated (R-S) to be a geodesic curve, an asymptotic line, and a principal line. Some of the important results of this work are listed as follows:
  • If the unit director vector X ( s ) = u 2 N + u 3 B , then there are no minimal, flat, II-minimal, and II-flat ruled surfaces at every point on the surface. In addition, the base curve (circular helix) for the ruled surface is neither a geodesic curve nor an asymptotic line nor a principal line.
  • If the unit director vector X ( s ) = u 1 T + u 3 B , then there are no minimal ruled surfaces at every point on the surface, and there are flat, II-minimal, and II-flat ruled surfaces at any point ( s , v ) on the surface if and only if the ratio of the torsion and curvature of the base curve is τ κ = u 1 u 3 .
    Also, the base curve (circular helix) of the ruled surface is a geodesic curve and a principal line if τ κ = u 1 u 3 .
  • If the unit director vector X ( s ) = u 1 T + u 2 N , then there are no minimal, flat, II-minimal, and II-flat ruled surfaces at every point ( s , v ) on the surface. In addition, the base curve (circular helix) for the ruled surface is neither a geodesic curve nor an asymptotic line nor a principal line.
  • If the unit director vector X ( s ) = u 3 B , then there are no minimal, flat, II-minimal, and II-flat ruled surfaces at every point on the surface. In addition, the base curve (circular helix) of the ruled surface is a geodesic curve at any point ( s , v ) on the surface and a principal line at the point ( s , 0 ) .
  • If the unit director vector X ( s ) = u 2 N , then there are minimal, II-minimal, and II-flat ruled surfaces at every point on the surface, and there is no flat ruled surface. In addition, the base curve (circular helix) for the ruled surface is both an asymptotic line and a principal line at any point ( s , v ) on the surface.
  • If the unit director vector X ( s ) = u 1 T , then there are no minimal, II-minimal, and II-flat ruled surfaces at every point on the surface (the unit normal vector to the ruled surface is undefined). In addition, the base curve (circular helix) for the ruled surface is an asymptotic line and a principal line at any point ( s , v ) on the surface.

Author Contributions

Software, S.G. and A.H.S.; Validation, S.G. and A.A.A.-S.; Investigation, S.G. and A.H.S.; Resources, A.H.S. and A.A.A.-S.; Writing—original draft, A.H.S.; Writing—review and editing, S.G. and A.A.A.-S.; Funding acquisition, S.G. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia (Ambitious Researcher Track (Grant No. 6136)).

Data Availability Statement

Data is contained within the article.

Acknowledgments

This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia (Ambitious Researcher Track. Project No. GRANT 6136), King Faisal University (KFU), AL-Ahsa, Saudi Arabia. The authors, therefore, acknowledge the technical and financial support of the DSR at KFU.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
GCGaussian curvature.
MCMean curvature.
R-SRuled surface(s).
S-MCSecond mean curvature.
S-GCSecond Gaussian curvature.

References

  1. Gürsoy, O. On the integral invariants of a closed ruled surface. J. Geom. 1990, 39, 80–91. [Google Scholar] [CrossRef]
  2. Köse, Ö. Contribution to the theory of integral invariants of a closed ruled surface. Mech. Mach. Theory 1997, 32, 261–277. [Google Scholar] [CrossRef]
  3. Turgut, A.; Hacisalihoglu, H.H. Spacelike ruled surfaces in the Minkowski 3-space. Commun. Fac. Sci. Univ. Ank. Ser. Al Math. Stat. 1997, 46, 83–91. [Google Scholar]
  4. Turgut, A.; Hacisalihoglu, H.H. Time-like ruled surfaces in the Minkowski 3-space. Far. East J. Math. Sci. 1997, 5, 83–90. [Google Scholar]
  5. Ali, A.T.; Abdel-Aziz, H.S.; Sorour, A.H. Ruled surfaces generated by some special curves in Euclidean 3-Space. J. Egypt. Math. Soc. 2013, 21, 285–294. [Google Scholar] [CrossRef]
  6. Ali, A.T. Position vectors of slant helices in Euclidean 3-space. J. Egypt. Math. Soc. 2012, 20, 1–6. [Google Scholar] [CrossRef]
  7. Ali, A.T. Position vectors of general helices in Euclidean 3-space. Bull. Math. Anal. Appl. 2011, 2, 198–205. [Google Scholar]
  8. Barros, M. General helices and a theorem of Lancret. Proc. Am. Math. Soc. 1997, 125, 1503–1509. [Google Scholar] [CrossRef]
  9. Ilarslan, K.; Boyacioglu, O. Position vectors of a timelike and a null helix in Minkowski 3-space. Chaos Solitions Fractals 2008, 38, 1383–1389. [Google Scholar] [CrossRef]
  10. Monterde, J. Salkowski curves revisited: A family of curves with constant curvature and non-constant torsion. Comput. Aided Geomet. Des. 2009, 26, 271–278. [Google Scholar] [CrossRef]
  11. Arslan, K.; Celik, Y.; Deszcz, R.; Özgür, C. Submanifolds all of whose normal sections are W-curves. Far. East J. Math. Sci. 1997, 5, 537–544. [Google Scholar]
  12. Bektas, O.; Yuce, S. Special Smarandache curves according to Darboux frame in E3. Rom. J. Math. Comput. Sci. 2013, 3, 48–59. [Google Scholar]
  13. Chen, Y.B.; Kim, D.S.; Kim, Y.H. New characterizations of W-curves. Publ. Math. Debr. 2006, 69, 457–472. [Google Scholar] [CrossRef]
  14. Jung, S.M.; Kim, Y.H.; Qian, J. New Characterizations of the Clifford Torus and the Great Sphere. Symmetry 2019, 11, 1076. [Google Scholar] [CrossRef]
  15. Gozutok, U.; Çoban, H.A.; Sagiroglu, Y. Ruled surfaces obtained by bending of curves. Turk. J. Math. 2020, 44, 300–306. [Google Scholar] [CrossRef]
  16. Gür Mazlum, S.; Senyurt, S.; Grilli, L. The Dual Expression of Parallel Equidistant Ruled Surfaces in Euclidean 3-Space. Symmetry 2022, 14, 1062. [Google Scholar] [CrossRef]
  17. Li, Y.; Şenyurt, S.; Özduran, A.; Canlı, D. The Characterizations of Parallel q-Equidistant Ruled Surfaces. Symmetry 2022, 14, 1879. [Google Scholar] [CrossRef]
  18. Peška, P.; Vítková, L.; Mikeš, J.; Kuzmina, I. On General Solutions of Sinyukov Equations on Two-Dimensional Equidistant (pseudo-) Riemannian Spaces. Filomat 2023, 37, 8569–8574. [Google Scholar]
  19. Solouma, E.; Abdelkawy, M. Family of ruled surfaces generated by equiform Bishop spherical image in Minkowski 3-space. AIMS Math. 2023, 8, 4372–4389. [Google Scholar] [CrossRef]
  20. Yüksel, N.; Saltik, B. On inextensible ruled surfaces generated via a curve derived from a curve with constant torsion. AIMS Math. 2023, 5, 11312–11324. [Google Scholar] [CrossRef]
  21. Alluhaibi, N. Circular surfaces and singularities in Euclidean 3-space E3. AIMS Math. 2023, 7, 12671–12688. [Google Scholar] [CrossRef]
  22. Ferhat, T.; Ziatdinov, R. Developable ruled surfaces generated by the curvature axis of a curve. Axioms 2023, 12, 1090. [Google Scholar] [CrossRef]
  23. Struik, D.J. Lectures on Classical Differential Geometry; Addison Wesley Publishing Company Inc.: Boston, MA, USA, 1961. [Google Scholar]
  24. Yilmaz, T.; Nejat, E. A study on ruled surface in Euclidean 3-space. J. Dyn. Syst. Geom. Theor. 2010, 8, 49–57. [Google Scholar]
  25. Do Carmo, M. Differential Geometry of Curves and Surfaces; Prentice Hall: Englewood Cliffs, NJ, USA, 1976. [Google Scholar]
  26. Verpoort, S. The Geometry of the Second Fundamental Form: Curvature Properties and Variational Aspects. Ph.D. Thesis, Katholieke Universiteit, Leuven, Belgium, 2008. [Google Scholar]
  27. Yoon, D.W. On the second Gaussian curvature of ruled surfaces in Euclidean 3-space. Tamkang J. Math. 2006, 37, 221–226. [Google Scholar] [CrossRef]
  28. Blair, D.E.; Koufogiorgos, T. Ruled surfaces with vanishing second Gaussian curvature. Monatshefte Math. 1992, 113, 177–181. [Google Scholar] [CrossRef]
Figure 1. The Ruled surface associated with a circular helix (the blue curve represents the base curve, and the green point is a symmetric point) for s [ 2 π , 2 π ] .
Figure 1. The Ruled surface associated with a circular helix (the blue curve represents the base curve, and the green point is a symmetric point) for s [ 2 π , 2 π ] .
Symmetry 16 00509 g001
Figure 2. The Ruled surface associated with a circular helix (the blue curve represents the base curve, the green point is a symmetric point, and the green line is a symmetric axis) for s [ 2 π , 2 π ] .
Figure 2. The Ruled surface associated with a circular helix (the blue curve represents the base curve, the green point is a symmetric point, and the green line is a symmetric axis) for s [ 2 π , 2 π ] .
Symmetry 16 00509 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

Gaber, S.; Sorour, A.H.; Abdel-Salam, A.A. Construction of Ruled Surfaces from the W-Curves and Their Characterizations in E3. Symmetry 2024, 16, 509. https://doi.org/10.3390/sym16050509

AMA Style

Gaber S, Sorour AH, Abdel-Salam AA. Construction of Ruled Surfaces from the W-Curves and Their Characterizations in E3. Symmetry. 2024; 16(5):509. https://doi.org/10.3390/sym16050509

Chicago/Turabian Style

Gaber, Samah, Adel H. Sorour, and A. A. Abdel-Salam. 2024. "Construction of Ruled Surfaces from the W-Curves and Their Characterizations in E3" Symmetry 16, no. 5: 509. https://doi.org/10.3390/sym16050509

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