On the Bertrand Offsets of Timelike Ruled Surfaces in Minkowski 3-Space

: This work examines some classical results of Bertrand curves for timelike ruled and developable surfaces using the E. Study map. This provides the ability to deﬁne two timelike ruled surfaces which are offset in the sense of Bertrand. It is shown that every timelike ruled surface has a Bertrand offset if and only if an equation should be satisﬁed between the dual geodesic curvatures. Some new results and theorems related to the developability of the Bertrand offsets of timelike ruled surfaces are also obtained.


Introduction
In Euclidean 3-space, the trajectories of oriented lines embedded in a moving rigid body are generally ruled surfaces. The geometry of ruled surfaces has been widely applied in Computer-Aided Manufacturing (CAM), Computer-Aided Geometric Design (CAGD), geometric modeling and kinematics [1][2][3]. From past to present, both offsets surfaces and ruled surfaces have been examined in Euclidean and non-Euclidean spaces: Ravani and Ku [4] generalized the theory of Bertrand curves for Bertrand ruled surface-offsets based on line geometry. They showed that a ruled surface can have an infinity of Bertrand offsets, in the same way as a planar curve can have an infinity of Bertrand mates. Based on this study, Küçük and Gürsoy provided some characterizations of Bertrand offsets of trajectory ruled surfaces in terms of the relationships between the projection areas for the spherical images of Bertrand offsets and their integral invariants [5]. In [6], Kasap and Kuruoglu obtained the relationships between Integral invariants of the pairs of the Bertrand ruled surface in Euclidean 3-space. In [7], Kasap and Kuruoglu initiated the study of Bertrand offsets of ruled surfaces in Minkowski 3-space. The involute-evolute offsets of a ruled surface is defined by Kasap et al. in [8]. Orbay et al.,in [9], initiated the study of Mannheim offsets of the ruled surface. Onder and Ugurlu obtained the relationships between invariants of Mannheim offsets of timelike ruled surfaces, and they gave the conditions for these surface offsets to be developable [10]. These offset surfaces are defined using the geodesic Frenet frame which was given by [8]. Based on the involute-evolute offsets of ruled surfaces in [10], Senturk and Yuce calculated integral invariants of these offsets with respect to the geodesic Frenet frame [11]. Important contributions to the Bertrand offsets of these ruled surfaces have been studied in [12][13][14][15].
In this paper, a generalization of the well known theory of Bertrand curves is presented for timelike ruled surfaces in Minkowski space. Using lines instead of points, two timelike ruled surfaces which are offset in the sense of Bertrand are defined. In particular, we investigate how to construct the timelike Bertrand offset from a timelike ruled surface with vanishing dual geodesic curvature. Meanwhile, a timelike developable surface can have a timelike developable Bertrand offset if a linear equation holds between the curvature and torsion of its edge of regression.

Basic Concepts
We begin with requisite concepts on the dual numbers, dual Lorentzian vectors and E. Study map (see [1][2][3][16][17][18]): An oriented (non-null) line in Minkowski 3-space can be defined by a point α ∈ L and a normalized direction vector x of L, that is, x, x = ±1. To acquire components for L, one forms the moment vector x * = α × x with respect to the origin point in E 3 1 . If α is replaced by any point β = α+tx, t ∈ R on L, this shows that x * is independent of α on L. The two vectors x and x * are not independent of one another; they satisfy the following: x, x = ±1, x * , x =0.
The six components x i , x * i (i = 1, 2, 3) of x and x * are named the normalized Plücker coordinates of the line L. Thus, the two vectors, x and x * , locate the oriented line L.
A dual number x is a number x + εx * , where x, x * in R and ε is a dual unit with the property that ε 2 = 0. Then the set: together with the Lorentzian inner product, forms the so-named dual Lorentzian 3-space D 3 1 . This yields: where f 1 , f 2 , and f 3 , are the dual base at the origin point O(0, 0, 0) of the dual Lorentzian 3-space D 3 1 . Thereby a point then the vector x is called a spacelike (resp. timelike) dual unit vector if x, x =1(resp. x, x = − 1). It is clear that: The hyperbolic, and Lorentzian (de Sitter space) dual unit spheres with the center O are: respectively. Via this we have the following map (E. Study's map): The dual unit spheres are shaped as a pair of conjugate hyperboloids. The common asymptotic cone represents the set of null (lightlike) lines, the ring shaped hyperboloid represents the set of spacelike lines, and the oval shaped hyperboloid forms the set of timelike lines, opposite points of each hyperboloid represent the pair of opposite vectors on a line (see Figure 1).

Bertrand Offsets of Timelike Ruled Surfaces
In the Minkowski 3-space, a one-parameter Lorentzian spatial motion of a spacelike oriented line forms a timelike or spacelike ruled surface. We assume that the surfaces in this paper are all timelike ruled surfaces, and we denote the surface with (X). Applying to the E. Study map, a spacelike differentiable curve, represents a timelike ruled surface (X) in Minkowski 3-space E 3 1 . x(t) are identified with the rulings of the surface and from now on we do not distinguish between a ruled surface and its representing dual curve. The spacelike vector, is the dual unit tangent vector on x(t). Introducing the timelike dual unit vector g(t) = g(t) + εg * (t) = − x × t we have the moving frame { x(t), t(t), g(t)} on x(t) called Blaschke frame. Then, x, x = t, t = − g, g =1, The Blaschke formula is [16]: where are named the Blaschke invariants of the spacelike dual curve x(t). The dual unit vectors x, t, and g corresponding to three concurrent mutually orthogonal oriented lines in E 3 1 and they intersected at a point c on x named the striction (or central) point. The trajectory of the central points is the striction curve on (X).
The dual arc-length s of x(t) is defined by: The distribution parameter of (X) is: From Equations (1) and (3) we also obtain [16]: where ω = ω + εω * = χ x + g is the Darboux vector, and γ( s) := γ + εγ * is the dual geodesic curvature of x( s) on H 2 + . The tangent direction of c(s), is given by [16]: which is a spacelike (resp. a timelike) curve if |µ| |Γ| (resp. |µ| > |Γ|. The functions γ(s), Γ(s) and µ(s) are named the curvature (construction) functions of the ruled surface. These functions described as follows: γ is the geodesic curvature of the spherical image spacelike curve x = x(s); Γ describes the angle between the ruling of (X) and the tangent to the striction curve; and µ is its distribution parameter at the ruling. These functions locate an approach for establishing timelike ruled surfaces with a given spacelike or timelike striction curve by the equation: The unit normal vector field e(s, v) at any point is: which is the spacelike central normal at the striction point (v = 0). Let φ be the angel between the unit normal spacelike vector e and the central normal t, then, It is clear that: This result is a Minkowski version of the well known Chasles Theorem [1][2][3]. Under the assumption that | γ| 1, we also specify the timelike Disteli-axis: where ψ = ψ + εψ * is the dual radius of curvature between b and x. The dual geodesic curvature γ( s) in terms of Γ, µ and γ is [16]: We also have: where κ( s) is the dual curvature, and τ( s) is the dual torsion of the spacelike dual curve x( s) ∈ S 2 1 .
Proof. From Equation (11), we can find that γ( s) = constant yields that τ( s) = 0, and κ( s) is constant, which implies x( s) is a spacelike dual circle on S 2 1 .

Definition 1.
A non-developable timelike ruled surface (X) is defined as a constant Disteli-axis timelike ruled surface if its dual geodesic curvature γ( s) is constant.
According to the E. Study map, the constant Disteli-axis timelike ruled surface (X) is formed by a one-parameter helical motion with constant pitch h about the timelike Disteli-axis b, by the oriented spacelike line x situated at a Lorentzian constant distance ψ * and a Lorentzian constant angle ψ relative to the timelike Disteli-axis b. Moreover, if γ( s) = 0, then x( s) is a spacelike great dual circle on S 2 1 , that is, In this case, all the rulings of (X) intersected orthogonally with the timelike Disteli-axis b, that is, ψ = ψ * = 0. Thus, we have γ( s) = 0 ⇔ (X) is a timelike helicoidal surface. The constant Disteli-axis rule is essential to the curvature theory of ruled surfaces. We will therefore examine its properties in some detail later. Now, we present a kinematic interpretation of γ( s) as follows: If x( s) = x( s + 2π), then x( s) is a closed curve on S 2 1 . According to the E. Study map, this curve corresponds to (X)closed timelike ruled surface in E 3 1 . We define a timelike dual unit vector u rigidly linked with the Blaschke frame { x( s), t( s), g( s)} such that the timelike oriented line corresponding to u generates a spacelike developable ruled surface (spacelike torse) along the orthogonal trajectory of the (X)-closed timelike ruled surface. Then, the timelike dual unit vector u can be represented as: Then we call the total change of β( s) the dual angle of the pitch of the (X)-closed timelike ruled surface, that is: It is separated into the real and dual parts as: Hence, we arrive therefore at the conclusion that: (1) The angle pitch of (X)-closed timelike ruled surface is: (2) The pitch of the (X)-closed timelike ruled surface is: The pitch L x and the angle of pitch λ x are integral invariants of the (X)-closed timelike ruled surface. Then, is the Minkowski version of the dual angle of pitch defined in [5,12,19]. Notice that in Equation (7): is a timelike tangential developable ruled surface (timelike tangential surface for short). Let u be the arc length parameter of c(s) and where κ(u) and τ(u) are the natural curvature and torsion of the striction curve c(u), respectively; Therefore, the curvature function Γ(u) is the radius of curvature of the spacelike striction curve c(u). We arrive therefore at the conclusion that the spacelike striction curve c(u) is the edge of regression of (X). Based on [20], we summarize this result in the following: Theorem 1. Any timelike ruled surface (X) with the curvature function, with real constants (a, b) = (0, 0), is a timelike tangential surface of a spacelike curve lies on a Lorentzian sphere with radius √ a 2 − b 2 > 0.
If Γ(s) = 0, then the striction curve is tangent to g; it is normal to the ruling through c(s). In this case, (X) is a timelike binormal ruled surface. Similarly, we find: where κ(u) and τ(u) are the natural curvature and torsion of the striction curve c(u), respectively; Therefore, the curvature function µ(u) is the radius of the torsion of the spacelike striction curve c(s). Similarly, we summarize this result in the following: Theorem 2. Any timelike ruled surface (X) with the curvature function, with real constants (a, b) = (0, 0), is a timelike binormal surface of a timelike curve lying on a Lorentzian sphere with radius √ a 2 + b 2 .
Definition 2. Let (X) and (X) be two timelike ruled surfaces in E 3 1 ; (X) is said to be Bertrand offsets of (X) if there exists a one-to-one correspondence between their rulings such that both surfaces have a common spacelike central normal at the striction points of their corresponding rulings.
Let us consider a timelike ruled surface (X) represented by a spacelike dual unit vector, where x i = x i ( s), (i = 1, 2, 3) are its dual coordinate functions. Then, Differentiating Equation (17), (3) and with the aid of Equation (5), we find: If we suppose that the spacelike dual curves x = x( s) and x= x( s) are Bertrand offsets, that is, t= t, then we have: Substituting Equation (20) into the second equation of (19) and simplifying it, we obtain: From Equations (19) and (21) we obtain the equations: where c 1 and c 3 are dual constants of integrations. Therefore, we can find a hyperbolic constant dual angle ϑ = ϑ + εϑ * such that c 1 = cosh ϑ and c 3 = sinh ϑ. Thus, as a result the following Theorem can be given: The offset hyperbolic dual angle formed by the generating timelike lines of a nondevelopable timelike ruled surface and its timelike Bertrand offset at corresponding central points remains constant.
It is obvious from the above notations that a timelike ruled surface, generally, has a double infinity of timelike Bertrand offsets. Every timelike Bertrand offset can be generated by a hyperbolic constant linear offset ϑ * ∈ R and a hyperbolic constant angular offset ϑ ∈ R. Any two timelike surfaces of this family of timelike ruled surfaces are reciprocal of one another; if (X) is a timelike Bertrand offset of (X), then (X) is also a timelike Bertrand offset of (X). Thereby, Equation (17) becomes: In the view of the reality that for a ruled surface and its Bertrand offset the central normals coincide, it follows from the above theorem that the central tangents of the two timelike ruled surfaces also have the same constant dual angle at the corresponding points on the two striction curves. The relationship between the Blaschke frame of a timelike ruled surface and that of its Bertrand offset can therefore be written as: Notice that the above equation is exactly the Minkowski version in as of the Euclidean case (see [4,5,12]). If ϑ = 0 (resp. ϑ * = 0), the timelike Bertrand offsets are called oriented (resp. coincident) offsets. With the aid of Equations (16) and (24) the dual angle of the pitch of (X)-closed timelike ruled surface is given as: This is a new characterization of Bertrand offsets of closed timelike ruled surfaces in terms of their dual invariants. Therefore, the following theorem may be given.
are obtained. This is a Lorentzian version of Holditch's theorem [19][20][21][22]. Let s be the dual arc length of x( s) ∈ S 2 1 , then: where From Equation (28) This is another characterization of Bertrand offsets of timelike ruled surfaces in terms of their dual geodesic curvatures. Therefore, the following theorem can be given. (29) is satisfied. On the other hand, for the timelike ruled surface (X), let e(s, v) be the spacelike unit normal of an arbitrary point. Hence, as in Equation (8), we have:

Theorem 5. The non-developable timelike ruled surfaces (X), and (X) form a Bertrand offset if and only if Equation
where µ is the distribution parameter of (X). It is clear from Equations (8) and (30) that the spacelike normal to a timelike ruled surface and its timelike Bertrand offsets are not the same. This means that the Bertrand offsets of a timelike ruled surface are, generally, not parallel offsets. Now, it seems natural to pose the following question: Under what position a timelike ruled surface and its timelike Bertrand offsets are parallel offsets? The answer is affirmative and can be declared as follows: Theorem 6. Two non-developable timelike ruled surfaces (X) and (X) are parallel offsets if and only if: (i) µ = µ; and (ii) each axis of the Blaschke frame of (X) is collinear with the conformable axis of (X).
Proof. Assume that (X) and (X) are parallel offsets, or e(s, v) × e(s, v) = 0. Then, we have: The above equation must hold true for any value v = 0, which leads to ϑ = 0 and µ = µ. Corollary 4. Two developable timelike ruled surfaces (X) and (X) are parallel offsets if and only if each axis of the Blaschke frame of (X) is collinear with the corresponding axis of (X).

Example 1.
In what follows, we will construct the constant Disteli-axis timelike ruled surface (X) Since γ( s) is constant, from Equation (5) we obtain the ODE t + κ 2 t = 0. Without loss of generality, we may assume t(0) = (0, 1, 0); the general solution of the ODE becomes: where b 1 , b 2 , and b 3 are some dual constants satisfying b 2 1 − b 2 3 = 1, and b 2 = 0. From this, we can obtain: where d 1 , and d 3 are some dual constants satisfying b 3 d 3 − b 1 d 1 = 0, and d 2 1 − d 2 3 = ρ 2 − 1; where ρ κ = 1. If we adopt the dual coordinates transformation such that: Notice that x( s) does not depend on the choice of the lower sign or upper sign of ∓. Therefore through the paper we choice upper sign, that is where ϕ = κ s. It is a spacelike spherical curve with the dual curvature κ = 1 − γ 2 on the Lorentzian dual unit sphere S 2 1 . Let ϕ = ϕ(1 + εh), h denoting the pitch of the helical motion, then Equation (31) represents a timelike ruled surface. Thus, the Blaschke frame is found as: It is easily seen from Equation (32) that: From the real and dual parts of Equation (34), we find Further, the Disteli-axis is: This means that the axis of the helical motion is the constant timelike Disteli-axis b.
On the other hand, the base curve can be obtained as-if we separate Equation (32) into real and dual parts we reach: x(ϕ)=(− cosh ψ cos ϕ, cosh ψ sin ϕ, sinh ψ), (37) and Let α(α 1 , α 2 , α 3 ) denote a point on x. Since α×x = x * we have the system of linear equations in α 1 , α 2 , and α 3 : The matrix of coefficients of unknowns α 1 , α 2 , and α 3 is: and therefore its rank is 2 with ϕ = pπ (p is an integer), and ψ = 0. In addition the rank of the augmented matrix, is 2. Hence this system has infinitely many solutions represented with Since α 3 is taken at random, then we may take ϕ * + α 3 = 0. In this case, Equation (39) reduces to: We now simply find the base curve as: It can be shown that α , x = 0; ( = d dϕ ) so the base curve of (X) is its striction curve. Thus we have the timelike ruled surface (X) If (x, y, z) are the coordinates of y, then: where χ = ψ * coth ψ, and Z = z + hϕ. The parameters h, ψ and ψ * can control the shape of the surface (X). Thus, Equation (41) is a 3-parameter family of Lorentzian unit spheres . The intersection of each Lorentzian unit sphere and the corresponding spacelike plane z = −hϕ is a one-parameter family of Euclidean circles x 2 + y 2 = ψ * 2 Therefore, the envelope of Equation (41) is a one-parameter family of Lorentzian cylinders.

Remark 1. (a)
If h = 0, then the striction curve is a circle, and (X) is a Lorentzian unit sphere ( Figure 2 , then the striction curve is the timelike Disteli-axis, and (X) is a timelike helicoidal surface; −3 ≤ v ≤ 3, and 0 ≤ ϕ ≤ 2π (Figure 3).  Corollary 5. The Bertrand offset of a timelike helicoidal surface, generally, does not have to be a timelike helicoidal surface and can be a regular timelike ruled surface.

Properties of the Striction Curves
In this subsection, we discuss the properties of the striction curves of the Bertrand offsets. With the aid of Definition 2, the striction curve c(s) of (X) is obtained as: from which we obtain: whereas, as in Equation (11), it is: Thus, from Equations (46) and (47), we have: If µ = 0, that is, (X) is the timelike tangent ruled surface of a given timelike space curve of class three, thus, from Equation (48), it follows that: Thus the Bertrand offset of a timelike tangential is not a timelike tangential, that is, µ(s) = 0. If (X) is also a timelike tangential, that is, µ(s) = 0. In this case, we obtain the relation: ( Corollary 6. If (X) and (X) are two timelike tangential Bertrand offsets then their striction curves are timelike Bertrand curves.
Furthermore, from Equation (50) the offset distance ϑ * is: Hence, if the timelike tangential offset of a timelike tangential surface is an oriented offset, it is then a coincident offset. In the case of a timelike plane curve, τ(u) = 0, which, in view of Equation (50), implies that κ(u) is constant. In this case c(u) = c(u), and c(u) are closed self-mated and Equation (45) becomes: From the fact that ζ 2 2 =1, we get:

Corollary 7.
Every closed self-mated timelike tangential surface has a constant width.
In similar arguments, we can produce the corresponding results for a timelike tangential; we omit the details here.

Conclusions
In this paper, a generalization of Bertrand offsets of curves for timelike ruled surfaces has been developed. Interestingly, there are many similarities between the theory of Bertrand curves and the theory of Bertrand offsets for timelike ruled surfaces. For instance, a timelike ruled surface can have an infinity of Bertrand offsets in the same way as a plane curve can have an infinity of Bertrand mates. Furthermore, recently, the application of singularity theory, submanifolds theory and harmonic quasiconformal mappings and so forth has attracted great interest. For future research, we will engage with the new ideas that Gaussian and mean curvatures of these Bertrand offsets can be calculated, when the Weingarten map for the Bertrand offsets spacelike ruled surfaces is defined. We will also consider integrating the study of singularity theory and submanifolds theory and so forth, presented in [23][24][25][26][27][28][29][30][31][32][33][34][35][36][37][38][39][40][41][42], with the results of this paper to explore new methods to find more results and theorems related to symmetric properties about this topic.