Osculating Type Ruled Surfaces with Type-2 Bishop Frame in E 3

: The aim of this work is to investigate osculating type ruled surfaces with a type 2-Bishop frame in E 3 . We accomplish this by employing the symmetry of osculating curves. We examine osculating type ruled surfaces by taking into account the curvatures of the base curve. We investigate the geometric properties of these surfaces, focusing on their cylindrical and developable characteristics. Moreover, we calculate the Gaussian and mean curvatures and provide the requirements for the surface to be flat and minimal. We determine the requirements for the curves lying on this surface to be geodesic, asymptotic curves, or lines of curvature. Furthermore, relations between osculating type ruled surfaces with central tangent and central normal vectors are given. Finally, some examples of these surfaces are presented.


Introduction and Preliminaries
Space curves are one of the most important topics of differential geometry.Curves are characterized by the Frenet frame, which consists of tangent, principal normal, and binormal vectors.However, the Frenet frame is defined only for differentiable curves, and the second derivative of curves can be zero at some points.Because of this, for a more thorough examination of the curve, an alternative to the Frenet frame, known as the Bishop frame, was introduced by Bishop in 1975 [1].The Bishop frame has been used in biology and has spread to fields such as computer graphics.It is used to predict the structural information of DNA helices and to control virtual cameras in computer graphics.This alternative frame, associated with parallel vector fields and also known as the alternative or parallel frame, is obtained without changing the tangent vector on the Frenet frame and by rotating the principal normal and binormal vectors at an angle.The characterizations of curves using the Bishop frame were obtained in [2][3][4].Later, a new version of the Bishop frame called the "Type-2 Bishop Frame" was defined by [5].This other alternative frame, also referred to as the parallel frame, is derived by rotating the tangent and principal normal at an angle while keeping the binormal vector unchanged from the Frenet frame.Subsequently, the characterizations of curves according to the type-2 Bishop frame were studied in [4][5][6][7].
Ruled surfaces are defined as surfaces formed by a one-parameter family of straight lines in Euclidean space.The well-known examples of these surfaces are cylinder and conical surfaces.Their unique geometric properties make them a versatile tool with extensive applications across various engineering disciplines such as manufacturing technology, computer-aided geometric design (CAGD), simulation, rigid body Dynamics, and modern engineering practices [8][9][10].Izumiya and Takeuchi's studies on ruled surfaces represent a significant contribution to the field of geometry [11][12][13][14].Moreover, many researchers have studied different curves on ruled surfaces in [13][14][15][16].On the other hand, the special ruled surfaces with different direction vectors are called generalized rectifying ruled surfaces, generalized normal ruled surfaces, and osculating-type ruled surfaces in E 3 , as defined by Önder and Kaya [17][18][19].Ruled surfaces with the type-2 Bishop frame were studied in [20].
In this paper, we define osculating type ruled surfaces with a type-2 Bishop frame by utilizing the symmetry properties related to osculating curves.We examine these surfaces according to curvatures of the base curve.Moreover, we calculate their Gaussian and mean curvatures and investigate surface curves on osculating-type ruled surfaces.We see that some geometric properties of osculating type ruled surfaces with type-2 Bishop frame in E 3 shows similarity with the rectifying ruled surfaces according to Frenet frame in E 3 [19].Interestingly, the consequences slightly show that the osculating type ruled surfaces with the type-2 Bishop frame are associated with the rectifying ruled surfaces according to the Frenet frame in E 3 .Finally, we present illustrative examples demonstrating the properties and behaviors of these surfaces.
The relations between Frenet and type-2 Bishop frames are where Φ is the angle between the N 1 vector of the Bishop frame and the principal normal vector N of the Frenet frame.The curvatures according to the type 2-Bishop frame are defined by [5] where More information about the type-2 Bishop frame can be found in [5][6][7].

Osculating Type Ruled Surfaces with Type 2-Bishop Frame
We define an osculating developable surface by OD ς = ς(s) + u D0 (s) where ς : I → R 3 is a differentiable unit speed curve with curvatures k 1 (s) ̸ = 0, k 2 (s), type 2-Bishop frame {N 1 , N 2 , B} and where D0 (s) is the modified Bishop Darboux vector of ς(s), which is defined by D0 (s We define a base curve ς of an osculating type ruled surface where the ruling of the surface always lies in the {N 1 , N 2 } plane of ς.The definition of a surface can be given as follows: Definition 1.Let ς(s) be a regular curve in R 3 with a type-2 Bishop frame.The ruled surface ⃗ Ω (ς,η 0 ) : IxR → R 3 defined by is named an osculating type ruled surface where r 1 and r 2 are differentiable functions of the arc length of parameter s.
Theorem 1.The surface Ω (ς,η o ) is not regular if and only if Proof.From the Equations in (9), we obtain From the last Equations in (11), we get Then, ( Let Ω (ς,η o ) have singular points and let the base curve ς not be a plane curve with r 1 , r 2 ̸ = 0. Then the locus of the singular points of Ω (ς,η o ) is the curve ϱ(s) = ς(s) + uη o (s) where Proof.For the singular points of Ω (ς,η o ) with the help of Equation ( 10), we have .
From now on, we will take From ( 9), we have η and only if r i and (i = 1, 2) are non-zero constants and f = 0.As a result, we find that we have a contradiction.So, the surface Ω (ς,η o ) cannot be cylindrical.
Proof.The striction parameter of Ω (ς,η o ) is obtained as From ( 15), we conclude that the curve ς(s) is a striction line if and only if r 1 is constant.
From Theorem 1 and Proposition 1, we can give the following corollary.
(ii) ς(s) is not an asymptotic curve.
Proof.The unit normal vector n of the surface Ω (ςη o ) can be obtained as By taking u = 0, the unit normal vector along the base curve ς(s) on Ω (ς,η o ) can be obtained as n ς = B. Thus, we have n ς ∧ ς ′′ = 0, then ς(s) is a geodesic and the equality ⟨n ς , ς ′′ ⟩ = 0 implies that ς(s) is not an asymptotic curve.
Theorem 2. The curve ς is a line of curvature on the osculating type ruled surface Ω (ς,η o ) with the type-2 Bishop frame if and only if Ω (ς,η o ) is a plane.
Proof.The curve ς is a line of curvature on the surface Ω (ς,η o ) if and only if where n ς = B. From ( 12), we have k 2 = 0.Then, ς lies on the plane sp{N 1 , N 2 } and binormal vector B is constant.Since n ⊥ η 0 and n ⊥ N 1 , we find n = ±B.Then the unit normal vector of Ω (ς,η o ) is constant, which implies that Ω (ς,η o ) is a plane.For the converse, let a unit normal vector n of Ω (ς,η o ) be constant and Ω (ς,η o ) be a plane.Since The fundamental coefficients of the surface Ω (ς,η o ) are calculated as follows: By using the fundamental coefficients computed in (18), the Gaussian curvature K and the mean curvature H of Ω (ς,η o ) are given by respectively.We can easily see from (19) and Proposition 2 the Gauss curvature K vanishes if and only if the surface is developable.Then, the following corollary can be given: Corollary 5.For k 1 ̸ = 0 the osculating type ruled surface with vanishing Gauss curvature K is Ω (ς, D0 ) .
Proof.The Catalan Theorem in [24] puts forward that helicoids and pieces of helicoids are the only minimal ruled surfaces and, as a result of Theorem 3, there is no developable osculating type ruled helicoid.
Under the assumption that Ω (ς,η o ) is developable, the Equations in ( 11) can be written as and the normal vector n of the surface is ⃗ n = B.For the vector ⃗ ϑ p ∈ T p Ω (ς,η o ) , the Weingarten map of the surface Ω (ς,η o ) is expressed by where T p Ω (ς,η o ) is tangent space and (Ω (ς,η o ) ) s , (Ω (ς,η o ) ) u is its base at p ∈ T p Ω (ς,η o ) .Then, we have Then the Weingarten map can be expressed by Thus, for the surface Ω (ς,η o ) , the Gaussian curvature and mean curvature are expressed by respectively.From det(S p − λI) = 0, we get the principal curvatures of the surface Ω (ς,η o ) as , and λ 2 = 0. Hence, the following corollary can be given: Let Ω (ς,η o ) be a developable osculating type ruled surface.
(iii) For λ 1 = λ 2 = 0, the quadratic approach of the surface is a plane.
Since the unit normal vector n of the developable osculating type ruled surface Ω (ς,η o ) along the base curve ς(s) is n ς = B, we have The base curve ς(s) is a line of curvature, i.e, (S N 1 = λN 1 ) if and only if ς(s) is a plane curve.However, Ω (ς,η o ) being developable implies that Then r 1 ̸ = 0 and k 2 = 0 satisfies k 1 = 0 so that ς(s) is a line.Therefore, the following corollary can be given: The base curve ς(s) is a line of curvature if and only if ς(s) is a line.
If k 1 ̸ = 0, the equation S(λ 1 ) = λ 1 e 1 gives the principal direction e 1 as If we assume r 1 k 2 − r 2 k 1 = 0, it leads to a contradiction.Then the following corollary can be given: (ii) The parameter curve Ω (ς,η o ) (s 0 , u) cannot be a line of curvature.
Moreover, using (11) in (28), we get e 1 = −k 1 N 1 − k 2 N 2 .This result satisfies Corollary 9. Assume that ϑ p ∈ T p Ω (ς,η o ) is a unit tangent vector at a point p on the developable osculating type ruled surface Ω (ς,η o ) .Then we express ϑ p as where A and B are differential functions and A 2 + B 2 = 1.Then, we have (Ω (ς,η o ) ) u .(30) Using (11) in ( 29) and (30), it is obtained that Then the normal curvature can be written as If Then the following theorem can be given: Let Ω (ς,η o ) be a developable osculating type ruled surface.
(i) If k 1 ̸ = 0, then a unit tangent vector ϑ(p) ∈ T p Ω (ς,η o ) is asymptotic if and only if g = 0 and ϑ p = η o .(ii) If k 1 = 0, then ς is a straight line and any tangent vector ϑ p is asymptotic.
Since the vector η o is unit, considering the type-2 Bishop frame of the osculating type ruled surface, we can take η o = cos ψ(s)N 1 (s) + sin ψ(s)N 2 (s) where ψ is the angle between η o and N 1 .Differentiating the ruling η o with respect to s, we obtain where f = k 1 cos ψ + k 2 sin ψ.Then, using the definitions in [23], the central normal and central tangent vectors of the surface Ω (ς,η o ) are determined by respectively.Then the following corollaries can be given: Corollary 11.Let Ω (ς,η o ) be an osculating type ruled surface.Then the following statements are equivalent: (i) The angle between η o and N 1 is constant.
(ii) The central normal vector h(s) and the binormal vector of ς are linearly dependent.
(iii) The central tangent vector a(s) lies on the plane {N 1 , N 2 } of ς.
(ii) The central normal vector h(s) lies on the plane {N 1 , N 2 } of ς.
(iii) The central tangent vector a(s) and the binormal vector of ς are linearly dependent.
Example 1.Let ξ(s) be a unit speed curve of E , developable osculating type ruled surface Ω 1(ξ,η o ) is obtained as (37).The surface is displayed in Figure 1.

Conclusions
This study examines the construction of osculating type ruled surfaces, whose ruling always lies on the osculating plane of the base curve with the type 2-Bishop frame in R 3 .The differential geometric features of these surfaces are expressed in terms of the curvatures of the base curve.The conditions for these surfaces to be cylindrical and developable are given.Moreover, the Gaussian and mean curvatures are calculated and examined for conditions to be flat and minimal.Finally, we investigate the conditions for the isoparametric curves to be geodesic, asymptotic curves or lines of curvature.Examples of these surfaces are given and their graphics are drawn.With this research, we offer a new study to the literature by investigating geometric properties of these surfaces according to the type 2-Bishop frame.