Novi Sad J. Math. Vol., No. 2, 200, 10-110 A METHOD OF THE DETERMINATION OF A GEODESIC CURVE ON RULED SURFACE WITH TIME-LIKE RULINGS Emin Kasap 1 Abstract. A non-linear differential equation is analyzed to determine the geodesic curves on ruled surfaces with time-like rulings in R 1. When it is assumed that curvature and torsion of the base curve and components with respect to Frenet s frame of time-like straight-line are constants, for a special integration constant, it appears that the resulting non-linear differential equation can be integrated exactly. Finally, examples are given to show the geodesic curve on ruled surfaces with time-like rulings. AMS Mathematics Subject Classification 2000): 8E10 Key words and phrases: Geodesic curve, Non-Linear differential equation, Time-like ruled surface 1. Introduction Most people have heard the phrase: A straight line is the shortest distance between two points. But in differential geometry, they say the same in a different language. They say instead: Geodesics for the Euclidean metric are straight lines. A geodesic is a curve that represents the extremal value of a distance function in some space. In the Euclidean space, extremal means minimal, so geodesics are paths of minimal arc length. In the -dimensional Minkowski space, the extremal paths are actually maximal arc length. Geodesics are important in the relativistic description of gravity. Einstein s Principle of Equivalence, part of the General Theory of Relativity, tells us that geodesics represent the paths of freely-falling particles in a given space. Freelyfalling in this context means moving only under the influence of gravity, with no other forces involved.) Geodesics are the curves along which geodesic curvature vanishes. This is of course where the geodesic curvature name comes from. Since Lorentzian metric is not positive definite metric, the distance function ds 2 can be positive, negative or zero, whereas the distance function in the Euclidean space can only be positive. Thus, we have to separate our geodesics on the basis of whether the distance function is positive, negative or zero. The geodesics with ds 2 < 0 are called space-like geodesics. The geodesics with ds 2 > 0 are called time-like geodesics, while geodesics with ds 2 = 0 are called null geodesics. 1 Ondokuz Mayıs University, Faculty of Arts & Sciences, Department of Mathematics, Samsun -TURKEY, e-mail: kasape@omu.edu.tr
104 E. Kasap In this article, the basic concepts of -dimensional Minkowski space have been first given. Using geodesic curvature, the differential equation of the geodesics on a time-like ruled surface with time-like rulings has been obtained and solved under some conditions. Finally, examples have been given related to the subject. 2. Preliminaries Let us consider the Minkowski -space R 1[R, +, +, )] and let the Lorentzian inner product of X = x 1, x 2, x ) and Y = y 1, y 2, y ) R be < X, Y > = x 1 y 1 + x 2 y 2 x y. A vector X R 1 is called a space-like vector when < X, X > > 0 or X = 0. It is called time-like and null lightlike) vector in case of < X, X > < 0 and < X, X > = 0 for X 0, respectively. The norm of X R 1 is denoted by X and defined as X < = X, X. > For a regular curve in R 1, if its tangent vector at every point is space-like, it is called space-like curve. Similarly, if its tangent vector is time-like and null vector, it is called time-like and null curve, respectively,[]. Let X = x 1, x 2, x ) and Y = y 1, y 2, y ) be any two vectors in R 1. The cross product of X and Y is defined by 1) X Y = x 2 y x y 2, x y 1 x 1 y, x 2 y 1 x 1 y 2 ), [1]. A surface in R 1 is called a time-like surface if the induced metric on the surface is a Lorentz metric, i.e. the normal vector on the time-like surface is a space-like vector, [2]. Let α = αs) be a unit speed space-like curve in R 1. Consider the orthonormal Frenet frame { e 1, e 2, e } associated with the curve α = αs), such that e 1 = e 1 s), e 2 = e 2 s) and e = e s) are the tangent vector field, the principal vector field and the binormal vector field, respectively. In this study, e = e s) will be taken as time-like. If one takes it space-like, similar procedures will be applied. The Frenet formulas are given by 2) e 1 s) = κs) e2 s), e 2 s) = κs) e1 s) + τs) e s), e s) = τs) e2 s) where κs) and τs) are the curvature and torsion of αs), respectively. It is easy to see from 1) that ) e 1 e 2 = e, e 1 e = e 2, e 2 e = e 1 A time-like straight line X in R 1, such that it is strictly connected to Frenet s frame of the space-like curve α = αs), is represented uniquely with respect to this frame, in the form
A method of the determination of a geodesic curve... 10 4) Xs) = x i s) e i s), < Xs), Xs) > < 0 i=1 As X moves along α = αs) it generates a time-like ruled surface given by the regular parametrization ϕs,v) = αs) + v Xs) x 2 1 + x 2 2 x 2 = 1, X s) 0 where the components x i s) i = 1, 2, ) are scalar functions of the arc-length parameter of the curve α = αs) This ruled surface will be denoted by M. The curve α = αs) is called a base curve and the various positions of the generating line X are called the rulings of the surface M. If consecutive rulings of a ruled surface in R 1 intersect, then the surface is said to be developable. All other ruled surfaces are called skew surfaces. If there exists a common perpendicular to two constructive rulings in the skew surface, then the foot of the common perpendicular on the main ruling is called a striction point. The set of striction points on a ruled surface defines the striction curve, []. The striction curve, β = βs), can be written in terms of the base curve αs) as βs) = αs) φs) Xs) where ) φs) = x 1 x 2 κ < X, X > The unit normal vector n on the time-like ruled surface M is given by 6) n = α s) Xs) + vx s) Xs) α s) Xs) + vx s) Xs) From ) and 4) the unit normal vector to the ruled surface M at the point s, o ) is ns, o ) = x e 2 + x 2 e x 2 2 x 2 Thus, if x 2 = 0, x 0 then the base curve of M is a geodesic curve. In this paper, the striction curve of the ruled surface M will be taken as the base curve. In this case, for the parametric equation of M, we can write ϕs,v) = αs) + v Xs), X s) 0 x 2 1 + x 2 2 x 2 = 1, x 1 x 2 κ = 0
106 E. Kasap. Geodesic Curvature Let γ = γs) be a curve on the ruled surface M. Then it can be written as 7) γs) = αs) + vs) Xs) Using 2), for the unit tangent vector along the curve γ γs), we get where T s) = γ s) γ s) = η 1 e 1 + η 2 e 2 + η e R η 1 = 1 + v x 1, η 2 = v x 2 + vϕ 1, η = v x + vϕ 2 ϕ 1 = x 2 + x 1 κ + x τ, ϕ 2 = x + x 2 τ and R = η 2 1 + η2 2 η 2. Thus, we obtain T [ ] s) = R /2 η 1 η 2 κ) e 1 + η 2 + η 1 κ + η τ) e 2 + η + η 2 τ) e R R 2 η 1 e 1 + η 2 e 2 + η e ) ) From 6), the unit normal vector field on the ruled surface M along the curve γ = γs) is ns, vs) ) = vx ϕ 1 x 2 ϕ 2 ) e 1 + x + vx 1 ϕ 2 ) e 2 + x 2 + vx 1 ϕ 1 ) e v2 x ϕ 1 x 2 ϕ 2 ) 2 + x + vx 1 ϕ 2 ) 2 x 2 + vx 1 ϕ 1 ) 2 Hence, the geodesic curvature of the curve γ = γs) is obtained as 1 8) k g = R ns, vs) ) η 1 η 2 η η 1 η 2 κ η 2 + η 1 κ + η τ η + η 2 τ vx ϕ 1 x 2 ϕ 2 ) x + vx 1 ϕ 2 x 2 + vx 1 ϕ 1 Then, the differential equation of the geodesic curves on the ruled surface M is given by 9) fs, v)v + hs, v)v ) 2 + gs, v)v + rs, v)v x 2 κ = 0, where fs, v) = 1 [ + x 2 1 + v 2 ϕ 2 1 ϕ 2 2), ] hs, v) = v ϕ 2 2 ϕ 2 1 x 2ϕ 1 + x ϕ 2 + x 2 τϕ 2 x 1 κ + x τ)ϕ 1, gs, v) = vx 1 [x 2ϕ 1 x 2 ϕ 1 + x ϕ 2 x ϕ 2 2τx 2 ϕ 2 x ϕ 1 ) + 2x 1 κϕ 1 + ϕ 2 1 ϕ 2 2 + v 2 ϕ 2 ϕ 2 ϕ 1 ϕ 1) x 1 x 2 κ ]
A method of the determination of a geodesic curve... 107 and rs, v) = x 2 ϕ 1 + x ϕ 2 + x 1 κϕ 1 x 2 τϕ 2 + x τϕ 1 [ ] + v x 1 ϕ 1 ϕ 1 ϕ 2 ϕ 2) + x 2 κϕ 2 2 ϕ 2 1) 10) [ + v 2 ϕ 2ϕ 1 ϕ 2 ϕ 1)x ϕ 1 x 2 ϕ 2 ) ] + ϕ 1 ϕ 1 ϕ 2 2)x 1 κ + x τ) + x 2 τϕ 2 ϕ 2 1ϕ 2 ) If κ = 0, then α = αs) is a line. In this case, since the ruled surface M is a part of Lorentzian plane, the geodesics on the surface M are straight lines. In this paper we assume that κ 0. In general, the non-linear differential equation 9) can not be solved analytically. Moreover, since we do not have any boundary condition, we can not use any numerical method. Hence, let curvature and torsion of the base curve α = αs) be constants and X be fixed in { e 1, e 2, e } such that x 1 = 0. Under this assumption, the differential equation 9) takes the form 11) where fv)v + hv)v ) 2 + rv)v = 0 12) fv) = 1 + v 2 ϕ 2 1, hv) = 2vϕ 2 1, rv) = ϕ 2 1 1 + v 2 ϕ 2 1), ϕ1 = x τ If τ = 0, from 11) we obtain v = as + b, a, b R. Therefore, from 7) the equation of a geodesic curve on the space-like ruled surface M is γs) = αs) + as + b) Xs) We assume that τ 0. By using the substitution p = pv) = v takes the form = dv ds, we find that equation 11) 1) fv)p dp dv + hv)p2 + rv)v = 0 Putting 2 hv) rv) fv) = Hv) and 2 fv) v = Rv) in 1), we have the following representation for 1): 2p dp dv + Hv)p2 = Rv) Now, by making the substitution q = p 2, we have that the last equation reduces to 14) dq + Hv)q = Rv) dv
108 E. Kasap This is a linear differential equation. It is well known that solution of the equation 14) is q = e [ Hv)dv c 1 + Rv)e ] Hv)dv dv,where c 1 is an arbitrary constant. Since Hv)dv = ln1 + v 2 ϕ 2 1) 2 and Hv)dv 1 Rv)e dv =, we 1+v 2 ϕ 2 1 obtain the following solution for the differential equation 11): 1) s = ± dv c1 1 + v 2 ϕ 2 1 )2 + 1 + v 2 ϕ 2 1 ) It is well known that the left-hand side of 1) is the elliptic integral see for example [4]) which can not be integrated exactly except for the following case: If case c 1 = 0, we have 16) v = ± 1 ϕ 1 sinhϕ 1 s) From 7) and 1), the equation of a geodesic curve on the surface M is 17) γs) = α s) + 1 ϕ 1 sinhϕ 1 s) Xs) Since the tangent vector of the geodesic curve γ = γs) is γs = e 1 + vϕ 1 e 2 + v x e, we have the following result: Corollary 1. i) If 1 + v 2 ϕ 2 1 x 2 v ) 2 > 0, then γ = γs) is a space-like curve, ii) If 1 + v 2 ϕ 2 1 x 2 v ) 2 < 0, then γ = γs) is a time-like curve, iii) If 1 + v 2 ϕ 2 1 x 2 v ) 2 = 0, then γ = γs) is a null curve. Example 1. Let α s) = 2 s, cosh s), sinh s) )be a space-like curve such that κ = 1/ and τ = 2 /. The short calculations give e 1 = and e = 2, sinh s), cosh ), s) e 2 =, 2 sinh s), 2 cosh ). s) 0, cosh s), sinh s) ) Let 0, 0, 1) be expression of unit time-like vector X = Xs) with respect to the orthonormal frame { e 1, e 2, e }. Therefore, we have a ruled surface given by the parametric equation ϕ 1 s, v) = 2 s v, cosh s) v 2 sinh s), sinh s) v 2 cosh s)) It is clear that ϕ is a time-like ruled surface with time-like rulings. From 16), it follows that the equation of a geodesic curve on the surface ϕ is
A method of the determination of a geodesic curve... 109 γs) = 2 s sinh 2 sinh2 s), cosh s) sinh 2 s) cosh s) sinh 2 s) sinh s)) Because of Corollary 1, γ = γ s) is a null curve Fig. 1). s), Fig. 1. Ruled surface ϕ 1 and its geodesic curve Example 2. ϕ 2 s, v) = cosh 2 s) + v sinh2 s), s v 2, sinh 2 s) + v cosh2 s)) is a time-like ruled surface with time-like rulings. surface ϕ 2 is A geodesic curve on the γs) = cosh 2 s) + sinh 2 s) + 2 sinh6 2 sinh6 s) sinh2 s) cosh2 s)) s), s Because of Corollary 1, γ = γ s) is a null curve Fig. 2). sinh6 s),
110 E. Kasap References Fig. 2. Ruled surface ϕ 2 and its geodesic curve [1] Akutagawa, K., Nishikawa, S., The Gauss Map and Space-like Surfaces with Prescribed Mean Curvature in Minkowski -Space. Tohoku Math. J. 42 1990), 67-82. [2] Beem, J. K., Ehrlich, P. E.,Global Lorentzian Geometry. New York: Marcel Dekker. Inc. 1981. [] O Neill, B., Semi Riemannian Geometry. New York, London: Accedemic Press 198. [4] Gradshteyn, I. S., Ryzhık, I. M., Table of Integrals, Series and Products. New York: Academic Press 1980 [] Turgut, A., Hacisalihoğlu, H. H., Time-like Ruled Surfaces in the Minkowski -Space. Far East J. Math. Sci. Vol. No. 1 1997), 8-90. Received by the editors April 11, 200