Abstract
In this paper, we introduce original definitions of Smarandache ruled surfaces according to Frenet-Serret frame of a curve in It concerns TN-Smarandache ruled surface, TB-Smarandache ruled surface, and NB-Smarandache ruled surface. We investigate theorems that give necessary and sufficient conditions for those special ruled surfaces to be developable and minimal. Furthermore, we present examples with illustrations.
In the article titled “Smarandache Ruled Surfaces according to Frenet-Serret Frame of a Regular Curve in ” [1], the numbering of equations is incorrect. These have been corrected in the revised version shown below:
1. Introduction
In differential geometry of curves and surfaces [1–3], a ruled surface defines the set of a family of straight lines depending on a parameter. The straight lines mentioned are the rulings of the ruled surface. The general parametric representation of a ruled surface is , where is a curve through which all rulings pass; it is called the base curve of the surface; the vector defines the ruling direction.
It is well known that ruled surfaces are of great interest to many applications and have contributed in several areas, such as mathematical physics, kinematics and Computer Aided Geometric Design (CAGD).
Ruled surfaces have been studied differently by an important number of researchers. In [4], the authors constructed the ruled surface whose rulings are constant linear combinations of alternative moving frame vectors of its base curve; they studied the ruled surface properties, characterize it, and presented examples with illustrations in the case of general helices [5] and slant helices [6] as base curves. In [7], the authors constructed the ruled surface whose rulings are constant linear combinations of Darboux frame vectors of a regular curve lying on a regular surface of reference in Their point of interest was to make a comparative study between the two surfaces (the regular surface of reference and the new constructed ruled surface) along their common curve. Also, they investigated properties of the constructed ruled surface. Moreover, they gave examples with illustrations.
The notions of developability and minimalist are two of the most important properties of surfaces.
The ruled surfaces with vanishing Gaussian curvature, which can be transformed into the plane without any deformation and distortion, are called developable surfaces; they form a relatively small subset that contains cylinders, cones, and the tangent surfaces [8–10].
A minimal surface is a surface that locally minimizes its area. It is referred to the fixed boundary curve of a surface area that is minimal with respect to other surfaces with the same boundary. This is equivalent to having zero mean curvature [11–13].
In curve theory, Smarandache curves are one of the special innovated curves that were introduced at the first time in Minkowski space time by the authors in [14]. It is about curves whose position vectors are composed by Frenet-Serret frame vectors on another regular curve. In [15, 16, 18], we can find several research works about Smarandache curves according to different frames such as Frenet-Serret frame, Bishop frame, and Darboux frame in Euclidean and Minkowski spaces.
The motivation of this work is inspired by ruled surface and Smarandache curve. We are eager to introduce new definitions that combine those two important notions and study their properties. We are also opening up opportunities to perceive future works that are relative to applications in differential geometry, physics, and medical science.
In this paper, we are interested in ruled surfaces generated by Smarandache curves according to Frenet-Serret frame. Indeed, we construct and introduce original definitions of three special ruled surfaces generated by TN-Smarandache curve, TB-Smarandache curve, and NB-Smarandache curve according to Frenet-Serret frame of an arbitrary regular curve in We investigate theorems that give us necessary and sufficient conditions for those three ruled surfaces to be developable and minimal. Finally, we give examples with illustrations.
2. Preliminaries
In the Euclidean 3-space , we consider the usual metric given by where is a rectangular coordinate system of
A curve is said to be of unit speed (or parameterized by the arc-length) if for any For such curves, there is a frame which is called the Frenet-Serret frame, where , and are the unit tangent, the principal normal, and the binormal vector of the curve, respectively. The Frenet-Serret formulae of is given by where and are the curvature and the torsion functions of and they are given by and respectively [2].
Definition 1 (see [17]). TN-Smarandache curves according to Frenet-Serret frame of the curve are given by
Definition 2 (see [17]). TB-Smarandache curves according to Frenet-Serret frame of the curve are given by
Definition 3 (see [17]). NB-Smarandache curves according to Frenet-Serret frame of the curve are given by
Let be a ruled surface in
Let it denoted by the unit normal on ruled surface at a regular point we have where and .
Definition 4 (see [19]). The distribution parameter of ruled surface is given by
Definition 5 (see [19]). A ruled surface is developable if its distribution parameter vanishes.
The first I and the second II fundamental forms of ruled surface at a regular point are defined, respectively, by
where
Definition 6. The Gaussian curvature and the mean curvature of ruled surface at a regular point are given, respectively, by:
Proposition 7 (see [19]). A ruled surface is developable if and only if its Gaussian curvature vanishes.
Proposition 8 (see [19]). A regular surface is minimal if and only if its mean curvature vanishes.
3. Smarandache Ruled Surfaces according to Frenet-Serret Frame of a Regular Curve in
In the first step, we start our section by giving the following new definitions of Smarandache ruled surfaces according to Frenet-Serret frame of a curve in
Definition 9. Let be the -class differentiable unit speed curve whose Frenet-Serret apparatus is in The ruled surfaces generated by Smarandache curves according to Frenet-Serret of are as follows:
These ruled surfaces are called TN-Smarandache ruled surface, TB-Smarandache ruled surface, and NB-Smarandache ruled surface, according to Frenet-Serret frame of the curve , respectively.
In the following of this section, we investigate theorems that give necessary and sufficient conditions for Smarandache ruled surfaces (11), (12), and (13) to be developable and minimal. Also, we present example with illustration for each Smarandache ruled surface.
Theorem 10. TN-Smarandache ruled surface (11) is developable if and only if is a plane curve.
Theorem 11. TN-Smarandache ruled surface (11) is minimal if and only if the curvature and the torsion of the curve satisfy the equation
Proof. Differentiating (11) with respect to and , respectively, we get The crossproduct of these two vectors gives the normal vector on TN-Smarandache ruled surface (11): So, under regularity condition, the unit normal takes the form:
Making the norms for (14), we get the components of the first fundamental form of TN-Smarandache ruled surface (11), at regular points, as follows:
Differentiating (14) with respect to and , respectively, we get
Hence, from (16) to (18), we get the components of the second fundamental form of TN-Smarandache ruled surface (11), at regular points, as follows:
From (17) to (19), we get the Gaussian curvature and the mean curvature of TN-Smarandache ruled surface (11), at regular points, as follows: which replies to both above theorems.
Example 1. Let us consider the regular plane curve . TN-Smarandache ruled surface according to Frenet-Serret frame of the curve is given by
It is developable but not minimal at its regular points. The following Figure 1 is the illustration of (21) drawn for
Theorem 12. TB-Smarandache ruled surface (12) is developable.
Theorem 13. TB-Smarandache ruled surface (12) is minimal if and only if the curve is a general helix.
Proof. Differentiating (12) with respect to and , respectively, we get which implies that the normal vector on TB-Smarandache ruled surface (12) is So, under regularity condition, the unit normal is given by Making the norms for (22), we get the components of the first fundamental form of TB-Smarandache ruled surface (12), at regular points Differentiating (22) with respect to and , respectively, we get Hence, from (24) to (26), we get the components of the second fundamental form of TB-Smarandache ruled surface (12) at regular points. From (25) to (27), we get the Gaussian curvature and the mean curvature of TB-Smarandache ruled surface (12), at regular points, as follows which replies to both above theorems.
Corollary 14. If is a general helix, TB-Smarandache ruled surface (12) is developable and minimal.
Example 2. Here, we chose the regular curve as a general helix. Then, TB-Smarandache ruled surface according to Frenet-Serret frame of is:
It is developable and minimal at its regular points. The following Figure 2 is the illustration of (29) drawn for
Theorem 15. NB-Smarandache ruled surface (13) is developable if and only if is a plane curve.
Theorem 16. NB-Smarandache ruled surface (13) is minimal if and only if the curvature and the torsion of the curve satisfy the equation
Proof. Differentiating (13) with respect to and , respectively, we get Realizing the crossproduct of those two vectors, we get the normal vector on NB-Smarandache ruled surface (13): So, under regularity condition, the unit normal takes the form: Applying the norms and the scalar product for both vectors (30), we get the components of the first fundamental form of NB-Smarandache ruled surface (13), at regular points, as follows: Differentiating (30) with respect to and , respectively, we get Hence, from (32) to (34), we get the components of the second fundamental form of NB-Smarandache ruled surface (13), at regular points, as follows: From (33) to (35), we get the Gaussian curvature and the mean curvature of NB-Smarandache ruled surface (13), at regular points, as follows: which replies to both above theorems.
Corollary 17. If NB-Smarandache ruled surface (13) is developable, it is minimal.
Example 3. Let us consider the plane curve Thus, NB-Smarandache ruled surface according to Frenet-Serret frame of is parametrized by
It is developable and minimal. The following Figure 3 is the illustration of (37) which is drawn for
4. Conclusion
The main results of the present work assure that:
TN-Smarandache ruled surface according to Frenet-Serret frame is developable (resp., minimal) if is a plane curve (resp. and satisfy special equation)
TB-Smarandache ruled surface according to Frenet-Serret frame is developable. However, it is minimal if is a general helix
NB-Smarandache ruled surface according to Frenet-Serret frame is developable (resp., minimal) if is a plane curve (resp. and satisfy special equation)
The investigated theorems prove that developability and minimality conditions of the introduced Smarandache ruled surfaces according to Frenet-Serret frame are related to differential properties of the reference curve. Therefore, we can easily constat that to construct a developable Smarandache ruled surface or a minimal Smarandache ruled surface according to Frenet-Serret frame, we just need to make the right choice for the reference curve
References
[1] D. J. Struik, Lectures on Classical Differential Geometry, 2nd Ed., Addison-Wesley, Dover, 1988.
[2] M.P. Do Carmo, Differential Geometry of Curves and Surfaces, Prentice Hall, Englewood Cliffs, NJ, 1976.
[3] S. Yilmaz and M. Turgut, "On the differential geometry of the curves in Minkowski spacetime", International Journal of Contemporary Mathematical Sciences, vol. 27, no. 3, pp. 1343-1349, 2008.
[4] S. Ouarab, A. O. Chahdi and M. Izid, "Ruled surfaces with alternative moving frame in Euclidean 3-space", International Journal of Mathematical Sciences and Engineering Applications, vol. 12, no. 2, pp. 43-58, 2018.
[5] A. T. Ali, "Position vectors of general helices in Euclidean 3-space", Bulletin of Mathematical Analysis and Applications, vol. 3, no. 2, pp. 198-205, 2011.
[6] A. T. Ali, "Position vectors of slant helice in Euclidean space "Journal of the Egyptian Mathematical Society, vol. 20, no. 1, pp. 1-6, 2012.
[7] S. Ouarab, A. O. Chahdi, M. Izid, "Ruled surface generated by a curve lying on a regular surface and its characterizations", Journal for Geometry and Graphics, vol. 24, no. 2, pp. 257-267, 2020.
[8] G. Hu, H. Cao, J. Wu and G. Wei, "Construction of developable surfaces using generalized C-Bézier bases with shape parameters", Computational and Applied Mathematics, vol. 39, no. 3, 2020.
[9] T. G. Nelson, T. Zimmerman, S. P. Magleby, R. J. Lang and L. L. Howell, "Developable mechanisms on developable surfaces", Science Robotics, vol. 4, no. 27, 2019.
[10] P. Alegre, K. Arslan, A. Carriazo, C. Murathan and G. Öztürk, "Some special types of developable ruled surface", Hacettepe Journal of Mathematics and Statistics, vol. no. pp. 319-325, .
[11] W. Y. Lam, "Minimal surfaces from infinitesimal deformations of circle packings", Advances in Mathematics, vol. 362, pp. 106-939, 2020.
[12] T. H. Colding and C. De Lellis, "The min-max construction of minimal surfaces", Surveys in Differential Geometry, vol. 8, pp. 75-107, 2003.
[13] J. L. M. Barbosa and A. G. Colares, Minimal Surfaces in 3, Springer Verlag, Berlin Heidelberg, 1986.
[14] O. Bektas and S. Yüce, "Special Smarandache curves according to Darboux frame in Euclidean 3- space", Romanian Journal of Mathematics and Computer Science, vol. 3, no. 1, pp. 48-59, 2013.
[15] E. M. Solouma and W. M. Mahmoud, "On spacelike equiform-Bishop Smarandache curves on Journal of the Egyptian Mathematical Society, vol. 27, no. 7, 2019.
[16] M. Cetin, Y. Tunçer and M. K. Karacan, "Smarandache curves according to Bishop frame in Euclidean 3-space", General Mathematics Notes, vol. 20, no. 2, pp. 50-66, 2014.
[17] A. T. Ali, "Special Smarandache curves in the Euclidean space", International Journal of Mathematical Combinatorics, vol. 2, pp. 30-36, 2010.
[18] M. Turgut and S. Yilmaz, "Smarandache curves in Minkowski space-time", International Journal of Mathematical Combinatorics, vol. 3, pp. 51-55, 2008.
[19] B. O’Neill, Sem-Riemannian Geometry, Academic press, New York, 1983.