Applied Mathematical Sciences, Vol. 10, 2016, no. 62, 3087 - 3094 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ams.2016.67221

On the Differential Geometric Elements of Mannheim Darboux Ruled Surface in E3

S¸eyda Kılı¸co˘glu 1

Faculty of Education, Department of Mathematics Baskent University, Ankara, Turkey

S¨uleyman S¸enyurt

Faculty of Arts and Sciences, Department of Mathematics Ordu University, Ordu, Turkey

Copyright c 2016 S¸eyda Kılı¸co˘gluand S¨uleymanS¸enyurt. This article is distributed under the Creative Commons Attribution License, which permits unrestricted use, distribu- tion, and reproduction in any medium, provided the original work is properly cited.

Abstract In this paper we consider two special ruled surfaces associated to Mannheim pair {α, α∗}. First, Mannheim Darboux Ruled surface (MDRS) of the curve α be defined and examined in terms of the Frenet-Serret appa- ratus of the Mannheim curve α, in E3. Further we have examined the differential geometric elements such as, Weingarten map S, Gaus cur- vature K and mean H of Darboux ruled surface (DRS) and Mannheim Darboux ruled surface (MDRS) relative to each other. Also the first, second and third fundamental forms of Mannheim Darboux ruled surface (MDRS) have been examined in terms of the Mannheim curve α too. Mathematics Subject Classification: 53A04, 53A05 Keywords: Ruled surface, Darboux vector, Mannheim curves

1 Introduction and Preliminaries

Involute-evolute curves, Bertrand curves, and Mannheim partner curves are the curves derivyed based on the other curves in geometry. Mannheim curve

1Corresponding author 3088 S¸eyda Kılı¸co˘gluand S¨uleymanS¸enyurt was firstly defined by A. Mannheim in 1878. A curve is called a Mannheim k1 curve if and only if 2 2 is a nonzero constant, with k1 and k2. k1+k2 Recently, a new definition of the associated curves was given by Liu and Wang [4]. According to this new definition, if the principal normal vector of first curve and binormal vector of second curve are linearly dependent, then first curve is called Mannheim curve, and the second curve is called Mannheim partner curve. As a result they called these new curves as Mannheim pair curves. For more detail see in [3] and [4]. The quantities {V1,V2,V3, D, k1, k2} are collectively Frenet-Serret apparatus of the curve α : I → E3. Also

 ˙      V1 0 k1 0 V1 ˙  V2  =  −k1 0 k2   V2  . (1.1) ˙ V3 0 −k2 0 V3 are well known the Frenet formulae. Darboux vector D is the areal velocity vector of the Frenet frame of a space curve. For any unit speed curve α,in terms of the Frenet-Serret apparatus, the Darboux vector can be expressed as

D(s) = k2(s)V1 (s) + k1(s)V3 (s) (1.2) where curvature functions are k1 and k2 [1]. Along curve α under the condition that k1 6= 0, vector field

˜ k2 D(s) = (s)V1 (s) + V3 (s) (1.3) k1 is called the modified Darboux vector field of curve α in [2]. Let α : I → E3 and α∗ : I → E3 be the C2 −class differentiable unit speed and ∗ 3 ∗ ∗ ∗ ∗ ∗ ∗ α : I → E be two curves and let V1 (s) ,V2 (s) ,V3 (s) and V1 (s ) ,V2 (s ) ,V3 (s ) be the Frenet frames of the curves α and α∗, respectively. If the principal nor- ∗ mal vector V2 of the curve α is linearly dependent on the binormal vector V3 of the curve α∗, then the pair {α, α∗} is said to be Mannheim pair, then α is called a Mannheim curve and α∗ is called Mannheim partner curve of α where ∗ k1 < (V1,V1 ) = cos θ and besides the equality 2 2 = nonzero constant is known k1+k2 the offset property. In [5] and [6] Mannheim partner curves and Mannheim offsets of ruled surfaces are defined and characterized. Mannheim pair {α, α∗} can be represented by

∗ ∗ ∗ ∗ ∗ ∗ α(s ) = α (s ) + λ(s )V3 (s ) (1.4) for some function λ, since V2 and V3 are linearly dependent. This equation can be rewritten as ∗ α (s) = α (s) − λV2 (s) (1.5) Differential geometric elements of Mannheim Darboux ruled surface 3089

−k1 ∗ where λ = 2 2 . Frenet-Serret apparatus of Mannheim partner curve α , k1+k2 based in Frenet-Serret vectors of Mannheim curve α are ∗ V1 = cosθ V1 − sinθ V3 ∗ V2 = sinθ V1 + cosθ V3 (1.6) ∗ V3 = V2. The curvature and the torsion have the following equalyties, dθ θ˙ k∗ = − = , (1.7) 1 ds∗ cos θ ∗ k2 = k1sinθcosθ − k2cosθcosθ or ∗ k1 k2 = . (1.8) λk2 We use dot to denote the derivative with respect to the arc length parameter of the curve α. Also ds 1 −λk∗ = = 2 , (1.9) ds∗ cos θ sinθ where |λ| is the distance between the curves α and α∗, since d (α (s) , α∗ (s)) = |λ|. For more detail see in [5]. Also we can write ds 1 √ ∗ = . (1.10) ds 1 + λk2 The product of Frenet vector fields of the Mannheim pair {α, α∗} has the following matrix form;

 ∗    V1 cosθ 0 −sinθ ∗    V2  V1 V2 V3 =  sinθ 0 cosθ  . (1.11) ∗ V3 0 1 0 Definition 1.1 Ruled surface is said to be “ Darboux Ruled surface” if it is generated by moving Darboux vector fields, with the parametrization

˜ k2 ϕ (s, u) = α (s) + uD(s)v = α (s) + u (s)V1 (s) + uV3 (s) . (1.12) k1 Also it has been called rectifying developable surface in [2].

2 Mannheim Darboux Ruled surface

In this section we will define and work on MDRS, which is known as rectifying developable ruled surface, or D˜ scroll as in [7] where the differential geometric elements of the involute D˜ − scroll.are examined too. Here first we will give Darboux vector field of the Mannheim partner α∗ as in the following theorem. 3090 S¸eyda Kılı¸co˘gluand S¨uleymanS¸enyurt

Theorem 2.1 The modified Darboux vector of Mannheim partner curve α∗of a Mannheim curve α, based on the Frenet apparatus of Mannheim curve α is k2 + k2 k2 + k2 D˜ ∗ = − 1 2 cos2 θV + V + 1 2 cos θsinθ V . (2.1) ˙ 1 2 ˙ 3 θk2 θk2 Proof. The desired result is obtained from equations (1.3), (1.6) and (1.8).

Definition 2.2 The parametrization of MDRS, in terms of the Frenet-Serret apparatus of the Mannheim partner curve α is k2 + k2 k2 + k2 ϕ∗ (s, v) = α − v 1 2 cos2 θ V + (v − λ) V + v 1 2 cos θ sin θ V . (2.2) ˙ 1 2 ˙ 3 θk2 θk2 since ϕ∗(s, v) = α∗(s) + vD˜ ∗(s), where k2 + k2 k2 + k2 D˜ ∗ = − 1 2 cos2 θV + V + 1 2 cos θ sin θ V . ˙ 1 2 ˙ 3 θk2 θk2 Theorem 2.3 DRS and MDRS are intersect each other along the curve

2 ∗ sin θ cos θ sin θ ϕ (s) = α − V1 + V3. (2.3) θ˙ θ˙ Proof. With the equations

2 ∗ k1 cos θ k1 cos θ sin θ ϕ (s, v) = α + v V1 + (v − λ) V2 − v V3 λk2 θ˙ λk2 θ˙ and k2 ϕ (s, u) = α + u V1 + uV3 k1 under the conditions, 2  v k1 cos θ = u k2  λk2 θ˙ k1 v − λ = 0  −v k1 cos θsinθ = u, λk2 θ˙ 2  k1 cos θ = u k2  k2 θ˙ k1 v = λ  − k1 cos θsinθ = u, k2 θ˙ we have k 1 = − tan θ. k2 This complete the proof. Differential geometric elements of Mannheim Darboux ruled surface 3091

Theorem 2.4 Normal vector field N of DRS is pependicular to the normal vector field N ∗of MDRS. Proof. Since the normal vector field N of DR α is

ϕsΛϕu N = = V2 kϕsΛϕuk [7], and the normal vector field N ∗ of MDRS of the curve α is ∗ ∗ ∗ ϕsΛϕu ∗ N = ∗ ∗ = V2 = sinθ V1 + cosθ V3. kϕsΛϕuk ∗ it is trivial that hV2,V2 i = 0. Theorem 2.5 The matrix corresponding to the Weingarten map (Shape Op- erator ) S∗ of MDRS is

 θ˙  − cos θ 0 0  k2+k2   S∗ =  1+ v 1 2 θ˙ cos θ+ k1 (−θ˙ sin θ+θ¨cos θ)  . (2.4)  θ˙2 cos θ −k2 λk2  0 0 Proof. In the Euclidean 3−space, the matrix corresponding to the Weingarten map (Shape Operator ) S of DRS of curve α is

" −k1 #  0 0 1+u k2 S = k1 . 0 0 [7]. Hence the matrix corresponding to the Weingarten map (Shape Operator ) S∗ of MDRS is ∗  −k1  0 0  k∗  ∗ 1+v 2 S = k∗  1 s∗  0 0 ∗ ∗ ∗ by substituing k2 and k1 in matrix S we get

 θ˙  − cos θ  0 0 k1 ∗  1+v λk2  S =   θ˙   cos θ  s∗  0 0 Since the derivative with respect to parameter s∗ is    0 d k1 cos θ k cos θ λk2 θ˙ ds 1 = ˙ ∗ λk2 θ s∗ ds ds 1 k2 + k2 0 k2 + k2   = 1 2 θ˙ cos θ + 1 2 −θ˙ sin θ + θ¨cos θ . θ˙2 cos θ −k2 −k2 k2+k2 we have the proof. Where k1 = 1 2 . λk2 −k2 3092 S¸eyda Kılı¸co˘gluand S¨uleymanS¸enyurt

Corollary 2.1 The of MDRS is

K = det S∗ = 0. (2.5)

Corollary 2.2 The of MDRS is

−k∗ H = traceS∗ = 1 , (2.6)   ∗ 0 k2 1 + u ∗ k1 − θ˙ H = cos θ .  0   k2+k2    1 + v 1 2 θ˙ cos θ + k1 −θ˙ sin θ + θ¨cos θ θ˙2 cos θ −k2 λk2

∗ where < (V1,V1 ) = cos θ and θ is not constant.

θ˙ Corollary 2.3 MDRS is not minimal surface since cos θ = 0 and

θ˙2 cos θ v 6= 0 (2.7)  k2+k2  k2+k2   1 2 θ˙ cos θ − 1 2 −θ˙ sin θ + θ¨cos θ −k2 k2 with curvatures k1 and k2 of the Mannheim curve α.

Proof. Minimal surfaces are classically defined as surfaces of zero mean cur- vature in the Euclidean 3 − space. Since H 6= 0 we have the proof. We know that a surface can be characterized by the basic intrinsic prop- erties such as the fundamental forms of a surface; usually called the first, second and third fundamental forms. They are extremely important and use- ful in determining the metric properties of a surface, such as line element, area element, normal curvature, Gaussian curvature, and mean curvature. The is given in terms of the first and second forms by III − 2HII + KI = 0 where H is the mean curvature and K is the Gaussian curvature. The fundamental forms of the involute D˜ scroll are examined in [7] The first fundamental form characterizes the interior geometry of the surface in a neighbourhood of a given point M. Suppose that the surface is given by the equation ϕ(s, u); where s and u are parameters of the surface; and dϕ¯ =ϕ ¯sds +ϕ ¯udu is the differential of the radius vector of ϕ along a chosen direction from a point M to an infinitesimally close point M 0, [8].

Theorem 2.6 The first fundamental form of MDRS is

I∗ = cos2 θdsds + dvdv (2.8) Differential geometric elements of Mannheim Darboux ruled surface 3093

Proof. The first fundamental form I of DRS can be calculated as I = hdϕ,¯ dϕ¯i = dsds + dudu[8] Hence the first fundamental form I∗ of MDRS is I∗ = ds∗ds∗ + dvdv Since ds∗ = cos θds, it is trivial. Now we will examine the second funde- mantal form of MDRS , already defined. Theorem 2.7 The of MDRS is k2 + k2 II∗ = −θ˙ cos θdsds − 1 2 cos θdsdv. (2.9) k2 Proof. The second fundamental form II of DRS is given by II = hdϕ,¯ dNi

= −k1dsds + k2dsdu.[8], where N is the unit normal vector of the surface at the point M. Hence The second fundamental form II∗ of MDRS is ˙  2 2  ∗ ∗ ∗ ∗ ∗ ∗ θ 2 k1 + k2 II = −k1ds ds + k2ds dv = − cos θdsds + cos θdsdv. cos θ −k2 Since ds∗ = cos θds, it is trivial. Theorem 2.8 The third fundamental form of MDRS is 2 ˙2 2 2 2 2 ∗ k2θ + (k1 + k2) cos θ III = 2 dsds. (2.10) k2 Proof. The third fundamental form of of DRS is the square of the differential of the unit normal vector N of the surface at the point M which is denoted by III and given by 2 2 III = hdN, dNi = k1 + k2 dsds, [8] Hence third fundamental form of MDRS is   ˙ !2  2 ∗ ∗2 ∗2 ∗ ∗ θ k1 2 III = k1 + k2 ds ds =  +  cos θ dsds cos θ λk2

 2  ˙ !  2 2 2 θ k1 + k2 2 =  +  cos θ dsds cos θ −k2

2 ˙2 2 2 2 2 ! 2 ˙2 2 2 2 2 k2θ + (k1 + k2) cos θ 2 k2θ + (k1 + k2) cos θ = 2 2 cos θ dsds = 2 dsds. k2 cos θ k2 Since ds∗ = cos θds, it is trivial. 3094 S¸eyda Kılı¸co˘gluand S¨uleymanS¸enyurt

References

[1] A. Gray, Modern Differential Geometry of Curves and Surfaces with Math- ematica, 2nd ed., CRC Press, Boca Raton, FL, 1997.

[2] S. Izumiya, N. Takeuchi, Special curves and Ruled surfaces, Beitr¨agezur Algebra und Geometrie Contributions to Algebra and Geometry, 44 (2003), no. 1, 203-212.

[3] M.M. Lipschutz, Differential Geometry. Schaum’s Outlines, McGraw-Hill, New York, 1969.

[4] H. Liu and F. Wang, Mannheim partner curves in 3-space, Journal of Geometry, 88 (2008), no. 1-2, 120-126. https://doi.org/10.1007/s00022-007-1949-0

[5] K. Orbay and E. Kasap, On mannheim partner curves, International Jour- nal of Physical Sciences, 4 (2009), no. 5, 261-264.

[6] K. Orbay, E. Kasap, I.˙ Aydemir, Mannheim Offsets of Ruled Surfaces, Mathematical Problems in Engineering, 2009 (2009), 1-9. https://doi.org/10.1155/2009/160917

[7] S. Senyurt and S. Kılıcoglu¸On the differential geometric elements of the involute D˜-scroll in E3, Adv. Appl. Clifford Algebras, 25 (2015), no. 4, 977-988. https://doi.org/10.1007/s00006-015-0535-z

[8] Springerlink, Encyclopaedia of Mathematics, Springer-Verlag, Berlin, Hei- delberg, New York 2002.

Received: August 8, 2016; Published: November 12, 2016