Involute-Evolute Curve Couples in the Euclidean 4-Space
Total Page:16
File Type:pdf, Size:1020Kb
Int. J. Open Problems Compt. Math., Vol. 2, No. 2, June 2009 Involute-Evolute Curve Couples in the Euclidean 4-Space Emin Özyılmaz1 and Süha Yılmaz2 1Ege University, Faculty of Science, Dept. of Math., Bornova-Izmir, Turkey. 2Dokuz Eylül University, Buca Educational Faculty, Buca-Izmir, Turkey. E-mail: [email protected], [email protected] Abstract In this work, for regular involute-evolute curve couples, it is proven that evolute’s Frenet apparatus can be formed by involute’s apparatus in four dimensional Euclidean space when involute curve has constant Frenet curvatures. By this way, another orthonormal frame of the same space is obtained via the method expressed in [5]. Moreover, it is observed that evolute curve cannot be an inclined curve. In an analogous way, we use method of [6]. Keywords: Classical Differential Geometry, Euclidean space, Involute- Evolute curve couples, Inclined curves. 1 Introduction The idea of a string involute is due to C. Huygens (1658), who is also known for his work in optics. He discovered involutes while trying to build a more accurate clock (see [1]). The involute of a given curve is a well-known concept in Euclidean-3 space E 3 (see [3]). It is well-known that, if a curve differentiable in an open interval, at each point, a set of mutually orthogonal unit vectors can be constructed. And these vectors are called Frenet frame or moving frame vectors. The rates of these frame vectors along the curve define curvatures of the curves. The set, whose elements are frame vectors and curvatures of a curve, is called Frenet apparatus of the curves. In recent years, the theory of degenerate submanifolds has been treated by researchers and some classical differential geometry topics have been extended to 169 Involute-Evolute Curve Couples Lorentz manifolds. For instance, in [6], the authors extended and studied space- like involute-evolute curves in Minkowski space-time. In the presented paper, in an analogous way as in [6], we calculate Frenet apparatus of the evolute curve by apparatus of involute W-curve. We use the method expressed in [5]. Thereafter, we prove that evolute of an involute cannot be an inclined curve in four dimensional Euclidean space. 2 Preliminaries To meet the requirements in the next sections, here, the basic elements of the theory of curves in the space E 4 are briefly presented (A more complete elementary treatment can be found in [3]). G Let α : I ⊂ R → E 4 be an arbitrary curve in the Euclidean space E 4 . G Recall that the curve α is said to be of unit speed (or parametrized by arclength G G function s ) if α ′,α ′ =1, where .,. is the standard scalar (inner) product of E 4 given by G G a,b = a1b1 + a2b2 + a3b3 + a4b4 (1) G G 4 for each a = (a1 , a2 , a3 , a4 ) , b = (b1 ,b2 ,b3 ,b4 )∈ E . In particular, the norm of a G G G G vector a ∈ E 4 is given by a = a, a . G G G G Denote by {T (s), N(s), B(s), E(s)} the moving Frenet frame along the unit G speed curve α . Then the Frenet formulas are given by (see [2]) G G ⎡T ′ ⎤ ⎡ 0 κ 0 0⎤⎡T ⎤ ⎢ G ⎥ ⎢ G ⎥ ′ ⎢ ⎥ ⎢N ⎥ ⎢−κ 0 τ 0⎥⎢N⎥ ⎢ G ⎥ = ⎢ G ⎥ . (2) B′ ⎢ 0 −τ 0 σ ⎥ B ⎢ G ⎥ ⎢ ⎥⎢ G ⎥ ⎢ ⎥ 0 0 −σ 0 ⎢ ⎥ ⎣E′⎦ ⎣ ⎦⎣E ⎦ G G G G Here T,N, B andE are called, respectively, the tangent, the normal, the binormal and the trinormal vector fields of the curves. And the functions κ(s),τ (s) and σ (s) are called, respectively, the first, the second and the third curvature of the G curveα . And, recall that a regular curve is called a W-curve if it has constant G Frenet curvatures [4]. Let α : I ⊂ R → E 4 be a regular curve. If tangent vector G G G field T of α forms a constant angle with unit vector U , this curve is called an G G G inclined curve in E 4 . Let φ and ξ be unit speed regular curves in E 4 φ is an E min Özyılmaz and Süha Yılmaz 170 G G G G G involute of ξ if φ lies on the tangent line to ξ at ξ (s ) and the tangents to ξ , G G G 0 G G ξ (s ) and φ are perpendicular for each s . φ is an evolute of ξ if ξ is an 0 G 0 G G G involute of φ . And this curve couple defined by φ = ξ + µ T. In the same space, in [5], author presented a vector product and a method to determine Frenet apparatus of the regular curves as follows. G G Definition 2.1 Let a = (a , a , a , a ), b = (b ,b ,b ,b ) and 1 2 3 4 G1 2 3 4 G 4 G G c = (c1 , c2 , c3 , c4 ) be vectors in E .The vector product of a, b and c is defined by the determinant G G G G e1 e2 e3 e4 G G G a a a a a ∧ b ∧ c = 1 2 3 4 , b1 b2 b3 b4 c1 c2 c3 c4 where G G G G G G G G e ∧ e ∧ e = e , e ∧ e ∧ e = e , G G 1G G2 G 3 G 4 G2 G3 G 4 G 1 G G e3 ∧ e4 ∧ e1 = e2 ,,e4 ∧ e1 ∧ e2 = e3 e3 ∧ e2 ∧ e1 = e4 . G G Theorem 2.2 Let α = α(t) be an arbitrary curve in E4 . Frenet apparatus G of the α can be calculated by the following equations. G G α ′ T = G , (3) α ′ G 2 G G G G G α ′ α ′′ − α ′,α ′′ α ′ N = , (4) G 2 G G G G α ′ α ′′ − α ′,α ′′ α ′ G G G G B =η E ∧T ∧ N, (5) G G G G T ∧ N ∧α ′′′ E =η G G G , (6) T ∧ N ∧α ′′′ 171 Involute-Evolute Curve Couples G 2 G G G G α ′ α ′′ − α ′,α ′′ α ′ κ = , (7) G 4 α ′ G G G G T ∧ N ∧α ′′′ α ′ τ = , (8) G 2 G G G G α ′ α ′′ − α ′,α ′′ α ′ G G α (IV ) , E σ = G G G G (9) T ∧ N ∧ α ′′′ α ′ G G G G where η is taken ±1 to make 1 determinant of [T, N, B, E]. matrix. 3 Main Results G G G Theorem 3.1 Let φ be involute of ξ and ξ be a W-curve in E 4 . The Frenet G G G G G G apparatus of φ ({Tφ , Nφ , Bφ , Eφ ,κ φ ,τ φ ,σ φ }) can be formed by apparatus of ξ G G G G ({T, N, B, E,κ,τ ,σ }). Proof From definition of involute-evolute curve couples we know G G G φ = ξ + µ T. (10) Differentiating both sides with respect to s , we obtain G dφ dsφ G dµ G G = T + T + µκN. (11) ds ds ds φ G G Definition of such kind curves yields [3], Tφ ⊥ T. Therefore, we have dµ + 1 = 0. (12) ds Hence µ = c − s. Then, we write G G G φ = ξ + (c − s)T (13) and G ds G T φ = (c − s)κN. (14) φ ds Taking the norm of both sides (here . denotes derivative according to s ) G G Tφ = N (15) and G φ = (c − s)κ. (16) E min Özyılmaz and Süha Yılmaz 172 Considering the presented method, we calculate differentiations of (14) four times. We write, respectively, G G G G φ = −κ 2 (c − s)T −κN +κτ(c − s)B. (17) G G G G φ = {}− 2κ 2T − κ(c − s)[κ 2 +τ 2 ]N − 2κτB + κτσ(c − s)E . (18) ....G G G G G φ = {}κ 2 (c − s)[][]κ 2 +τ 2 T − 2κ κ 2 +τ 2 N −κτ(c − s) [κ 2 +τ 2 +σ 2 ]B − 2κτσE . (19) Considering (4), we form G 2 G G G G G G φ φ − φ ,φ φ == κ(c − s)[− κT +τB]. (20) Since, we have the principal normal and theG firstG curvature of the curve G − κT + τB Nφ = (21) κ 2 + τ 2 and κ 2 + τ 2 κ φ = . (22) [](c − s)κ 3 G G G Using vector product of Tφ ∧ Nφ ∧ φ , we get G G G G T N B E G G G 0 1 0 0 T ∧ N ∧ φ = κ τ φ φ − 0 0 (23) κ 2 +τ 2 κ 2 +τ 2 φ1 φ2 φ3 φ4 κτ G G G = []τσ (c − s)T + κσ(c − s)B + 3κE . κ 2 +τ 2 We obtain trinormal vector G G G G τσ (c − s)T +κσ(c − s)B + 3κE Eφ =η . (24) [][]τσ (c − s) 2 + κσ (c − s) 2 + 9κ 2 By this way, we easily have the second curvature []τσ (c − s) 2 + [κσ (c − s)]2 + 9κ 2 τ = . (25) φ κ 2 +τ 2 G Considering (9) and (24), we have the third curvature of the curve φ as 173 Involute-Evolute Curve Couples −κ 2τσ [σ 2 (c − s) 2 − 3] σ φ = . (26) [][]τσ (c − s) 2 + κσ (c − s) 2 + 9κ 2 G G G Finally, the vector product of Eφ ∧ Tφ ∧ Nφ follows that G G G G η 2 2 2 Bφ = {−3κτ T −3κ B +σ (c − s)(κ +τ )E}, (27) A.