arxiv: v1 [math.dg] 31 Mar 2014 Generalized Similar Frenet Curves

Transcription

1 arxiv: v1 [mathdg] 31 Mar 2014 Generalize Similar Frenet Curves Fatma GÖKÇELİK, Seher KAYA, Yusuf YAYLI, an F Nejat EKMEKCİ Abstract The paper is evote to ifferential geometric invariants etermining a Frenet curve in E n up to a irect similarity These invariants can be presente by the Eucliean curvatures in terms of an arc lengths of the spherical inicatrices Then, these invariants expresse by focal curvatures of the curve An then, we give the relationship between curvatures of evolute curve an shape curvatures Morever, these invariants is given the geometric interpretation 1 Introuction Curves are important for many areas of science In Physics, the particle orbits as it movesis etermine by using the curves Especially, the curveshave an important place in fractal science In this fiel, fractal curves variation base on changing the similarities mapping on the same segments In the human boy,fingerprint is the remarkable example of the fractal curve Fingerprint is occurs the similar curves In nature, fractal curve which is calle Koch curve is seen in the structure of snowflake Koch curve is constructe by using the base curve an its similar curves Figure 1 The construction of Koch curve Eucliean Geometry can be escribe as a stuy of the properties of geometric figures Only the properties which o not change uner isometries eserve to be calle geometric properties A similarity of the Eucliean space E n is an automorphism of E n for which the ratio: istance between two arbitrary points to istance between the transforme points is a positive constant This transformation preserves angles In this stuy, we investigate preserve which properties of the curves uner similarity transformation The arc length parameter of the curve is not protecte up to similarity transformation but arc length parameter of inicatrix curves 2000 Mathematics Subject Classification 53A55, 53A04 Key wors an phrases Self-similar curves, Similar curves, Shape curvatures, Focal curvatures 1

2 2 FATMA GÖKÇELİK, SEHER KAYA, YUSUF YAYLI, AND F NEJAT EKMEKCİ are preserve So, the curve is re-parameterize in terms of arc length parameters of inicatrix curves Encheva an Georgiev use spherical tangent inicatrix of the curve an its arc length parameter As general of this stuy, we use all spherical inicatrix curves an their arc length parameters that is, we use its spherical images V i which is the i th Frenet vector fiel in E n After, we calculate some ifferential-geometric invariants of curves up to irect similarities The invariants are introuce shape curvatures Then, we etermine a curve which given the shape curvatures in the o-imensional an even-imensional Eucliean space an this is illustrate with an example in E 3 Finally, a geometric interpretation of shape curvatures are given in E 3 2 Preliminaries In this section, we review some basic concepts on classical ifferential geometry of space curves in Eucliean n space For any two vectors x = (x 1,x 2,,x n ) an y = (y 1,y 2,,y n ) E n, xy as the stanar inner prouct Let α : I R E n be a curve with α(t) 0, where α(t) = α We also enote the norm of x by x t The arc length parametres of curve α is etermine such that α (s) = 1, where α (s) = α s Let V 1, V 2,, V n be a Frenet moving n frame of the curve α Then the following Frenet-Serret formula hols (21) V 1 (s) = κ 1(s)V 2 (s) V i(s) = κ i 1 (s)v i 1 (s)+κ i (s)v i+1 (s) V n (s) = κ n 1(s)V n 1 (s) where κ 1, κ 2,,κ n 1 are the curvatures of the curve α at s We will stuy the ifferential-geometricinvariants ofacurvein E n with respect to the group Sim + (R n ) of all orientation-preserving similarities of R n Any such similarity F : R n R n is calle a irect similarity an can be expresse in the form F(x) = λax+b where x E n is an arbitrary point, A is an orthogonal n n matrix, b is a translation vector an λ > 0 is a real constant We enote the image of the curve α uner the irect similarity F by the curve ᾱ, ie, ᾱ = F α Then, the curve ᾱ can be expresse as (22) F α(t) = F(α(t)) = λaα(t)+b The arc length functions of α an ᾱ are t t (23) s(t) = α(u) u u an s(t) = ᾱ(u) u u = λs(t) t 0 Let { V1, V 2,, V } n, κ 1, κ 2,, κ (n 1) be a Frenet apparatus of the curve ᾱ Since s s = 1 (=const) the curvatures of the curve ᾱ are given by λ (24) κ i = 1 λ κ i(s), i = 1,2,,n 1 We obtain κ i s = κ i s t 0

3 SIMILAR CURVES 3 3 Expresse with respect to arc length parameter σ of the V i inicatrix curve of the curve α In this section, we give some characterizations of the curve α by using the arc length parameters of its V i inicatrix curve Let γ(σ i ) = V i (s) be the spherical V i inicatrix of the curve α an be σ i an arc length parameter of the curve γ Then the curve α amits a reparametrization by σ i α = α(σ i ) : I R E n It is clear that (31) = (κ i 1 (s)) 2 +(κ i (s)) 2 s, 1 = (κ i 1 ) 2 +(κ i ) 2 s Hence, = (κ i 1 ) 2 +(κ i ) 2 s is invariant uner the group of the irect similarities of E n Let V 1, V 2,, V n be a Frenet frame fiel along the curve α parameterizeby the arc length parameter σ i of its V i inicatrix curve Then the structure equations of the curve α are given by (32) α = 1 (κ i 1 ) 2 +(κ i ) 2 V 1 (s), (33) where, (V 1,V 2,,V n 1,V n ) T = K(V 1,V 2,,V n 1,V n ) T K = 0 κ 1 κ 1 (κ 0 0 i 1) 2 +(κ i) (κ i 1) 2 +(κ i) 2 κ (κ i 1) 2 +(κ i) κ n 1 (κ i 1) 2 +(κ i) 2 κ n 1 0 (κ i 1) 2 +(κ i) V 1 (s), V 2 (s),, V n (s) (κ i 1 ) 2 +(κ i ) (κ 2 i 1 ) 2 +(κ i ) (κ 2 i 1 ) 2 +(κ i ) 2 are orthogonal n-frame of the curve α(σ i ) We take κ = s ( 1 (κ i 1 ) 2 +(κ i ) 2 ) an κ j = κ j (κ i 1 ) 2 +(κ i ) 2, j = 1,2,,n 1

4 4 FATMA GÖKÇELİK, SEHER KAYA, YUSUF YAYLI, AND F NEJAT EKMEKCİ So we can write, K = κ κ κ 1 κ κ κ 2 κ κ κ n 2 κ κ n κ n 1 κ Then we obtain this equation (34) ( T ( 1 (κ i 1) 2 +(κ 2V 1 1,, n) i) (κ i 1) 2 +(κ 2V = K 1 i) (κ i 1) 2 +(κ 2V 1 1,, i) (κ i 1) 2 +(κ 2V n i) Remark 1 For i = 1 (that is, σ i = σ) equation (33) coincience with equation (26) in [8] Definition 1 Let α : I R E n be a Frenet space curve parameterize by an arc length parameter σ i of its V i inicatrix curve The functions (35) κ(σ i ) = (κ i 1 ) 2 +(κ i ) 2 an κ j (σ i ) = (κ i 1 ) 2 +(κ i ) 2 κ j (κ i 1 ) 2 +(κ i ) 2, j = 1,2,,n 1 ) T are calle shape curvatures of the curve α Proposition 1 Let α(σ i ) : I R E n Frenet curve the orthogonal frame is V 1, V 2,, V n (κ i 1 ) 2 +(κ i ) (κ 2 i 1 ) 2 +(κ i ) (κ 2 i 1 ) 2 +(κ i ) 2 The functions κ(σ i ) = (κ i 1 ) 2 +(κ i ) 2 κ j an κ j (σ i ) =, j = 1,2,,n 1 (κ i 1 ) 2 +(κ i ) 2 (κ i 1 ) 2 +(κ i ) 2 are ifferential geometric invariants etermining the curve α up to a irect similarity Proof Let { V1, V 2,, V n, κ 1, κ 2,, κ (n 1) } beafrenetapparatusofthecurve ᾱ = F α The shape curvatures of the curve ᾱ are given κ(σ i ) = ( κ i 1 ) 2 +( κ i ) 2 ( κ i 1 ) 2 +( κ i ) 2 σ i By using the κ i = 1 λ κ i(s), i = 1,2,,n 1 an s s = 1 (=const) we have λ κ(σ i ) = κ(σ i )

5 SIMILAR CURVES 5 an are obtaine analogously κ j (σ i ) = κ j (σ i ) = κ j (σ i ) κ j ( κ i 1 ) 2 +( κ i ) 2 The proof is complete Remark 2 For i = 1 (that is, σ i = σ) κ an κ j (j = 2,,n 1) coincience with κ 1 an κ i (i = 2,3,,n 1) respectively in [8] 4 The relation between the curve α an its evolute curve Definition 2 Let β : I R E 3 be a unit spee Frenet with Serret-Frenet apparatus {κ 1,κ 2,V 1,V 2,V 3 } an be an evolute curve of α Then the following equality β(s) = α(s)+m 1 (s)v 2 (s)+m 2 (s)v 3 (s) where m 1 (s) = 1 κ 1 (s), m 2(s) = 1 ( ) κ 1 (s) cot κ 2 (s)s In [12], R Uribe-Vargas foun formulas which express the Eucliean curvatures in terms of the focal curvatures Similarly, we may represent all ifferentialgeometric invariants κ i by the m i (i = 1,2) curvatures an their erivativesfor i = 1 we obtain that κ 1 = s ( 1 κ 1 ) an κ 2 = κ 2 κ 1 Proposition 2 Let α : I R 3 be a unit spee Frenet curve with constant invariants κ 1 0 an κ 2 0 Then, the m i (i = 1,2) curvatures of α are κ 1 = m 1 an κ 2 = m 1(m 1m 2 m 1 m 2) m 2 1 +m2 2 Proof Since κ 1 = 1 κ 1 (s) an κ 2 = κ 2 κ 1 then we get ( ) 1 m 1 (s) = = κ 1 κ 1 (s) ( ( 1 m 2 (s) = κ 1 (s) cot )) κ 2 (s)s = m m 2 1 κ 2 1 ( ) m 1 κ 1 sin 2 κ 2 (s)s κ 2 = m 1(m 1m 2 m 1 m 2) m 2 1 +m2 2

6 6 FATMA GÖKÇELİK, SEHER KAYA, YUSUF YAYLI, AND F NEJAT EKMEKCİ 5 The relation between the curve α an focal curve Let α : I R E n be a unit spee Frenet curve Suppose that all Eucliean curvatures of the curve α are nonzero for any s I The curve C α : I R E n consisting of the centers of the osculating spheres of the curve α is calle the focal curve of α Then the focal curve C α has a representation: (51) C α = α(s)+f 1 (s)v 2 (s)++f n 2 (s)v n 1 (s)+f n 1 (s)v n (s) where the functions f i (s), i = 1,,n 1 are calle focal curvature of the curve α In [12], R Uribe-Vargas foun equation between Eucliean curvatures an focal curvatures Then by using this equation we can express the shape curvatures of α in terms of focal curvatures Proposition 3 Let α : I R E n be a space curve with all Eucliean curvatures ifferent from zero Then, (52) κ = f i 2 f i 1 f i s ((f1 f 1 + f 2f 2 + +f ) i 2f i 2) 2 (( fi + f1 f 1 + f 2f 2 + +f ) ), i 1f i 1 2 fi 2 κ j = f i 2f i 1 f i f 1 f 1 + f 2f 2 + +f j 1f j 1 f j 1 f ((f1 j f 1 + f 2f 2 + +f ) i 2f i 2) 2 (( fi + f1 f 1 + f 2f 2 + +f ) ), i 1f i 1 2 fi 2 j = 1,,n 1 Proof Accoring to the first two theorems in [12], there are relations between the Frenet curvatures an focal curvatures as follows: (53) κ i = f 1f 1 + f 2f 2 + +f i 1f i 1 f i 1 f i, i = 2,3,,n 1 By using the Eq (35) an Eq (53) we obtain the Eq (53) Remark 3 For i = 1 (that is σ i = σ), the representation of the shape curvatures is given with Eq(52) the same as representation of the shape curvatures is given with Eq (42) in [9] 6 Self-Similar Frenet Curves The curve α : I R E n is calle self-similar if an only if all its invariants κ, κ 1,, κ n 1 are constant K = 0 κ κ 1 0 κ κ 2 0 κ κ n 2 0 κ n κ n 1 0

7 SIMILAR CURVES 7 Accoring to [2], the normal form of the matrix K is given following as 0 λ λ λ λ λ m λ m 0 Then the symetric matrix K 2 has m = n negative eigenvalues with multiplicity 2 two: λ 2 1, λ 2 2,, λ 2 m 61 Self- Similar curves in Even-Dimensional Eucliean Spaces In this section, we eal with self-similar curves We can write a curve if we have constant shape curvatures of the curve Besies, the curve α can be written arc length parameter σ i of its V i inicatrix curve Theorem 1 Let α : I R 2m be a self-similar curve The curve α parameterize by the general arc-length parameter σ i of its V i inicatrix curve The curve α can be written, (61) ( a1 α(σ i ) = e κσi sinθ 1, a 1 e κσi cosθ 1,, a m e κσi sinθ m, a ) m e κσi cosθ m b 1 b 1 b m b m where b j = κ 2 +λ 2 j, θ j = λ 2 j σ λ 2 j i +arccos for j = 1,2,,m κ 2 +λ 2 j an the real ifferent nonzero numbers a 1,a 2,,a m are solution of the system V j,v j = 1, j = 1,2,,m Proof Weexpressintheformofacolumnvectorω(σ i ) = (V 1 (σ i ),V 2 (σ i ),,V 2m 1 (σ i ),V 2m (σ i )) of unit vector fiels {V 1 (σ i ),V 2 (σ i ),,V 2m 1 (σ i ),V 2m (σ i )} From the solution of the ifferential equation ω = Kω, we can calculate the unit vector fiels {V 1 (σ i ),V 2 (σ i ),,V 2m 1 (σ i ),V 2m (σ i )} Also, the first unit vector has V 1 (σ i ) = (a 1 cos(λ 1 σ i ),a 1 sin(λ 1 σ i ), a m cos(λ m σ i ),a m sin(λ m σ i )) Because of V 1,V 1 = 1, we obtain that m (a j ) 2 = 1 j=1 TheparametricequationofthecurveαisgivenbyX = (x 1 (σ),x 2 (σ),,x 2m 1 (σ),x 2m (σ)) 1 Then the Eq (31) can write X = V 1 We can see easily that κ 2 i 1 +κ2 i = e κσi Hence, we have κ 2 i 1 +κ2 i x 2j 1 = a e κσ j cos(λ j σ i ) an x 2j = a e κσi j sin(λ j σ i ), for j = 1,2,,m Integrating the last equations, we obtain (62) x 2j 1 = a j κ e κ1σi cos(λ j σ i )+ λ j κ x 2j

8 8 FATMA GÖKÇELİK, SEHER KAYA, YUSUF YAYLI, AND F NEJAT EKMEKCİ (63) x 2j = a j e κ1σi sin(λ j σ i ) λ i κ κ x 2j 1 Using the Eq(62) an Eq(63), we get two equations: where x 2j 1 = x 2j = a j κ 2 +λ 2 j a j κ 2 +λ 2 j sinθ j cosθ j From here, θ j can be foun e κσ i ( κcos(λ j σ i )+λ j sin(λ j σ i )) = a j e κσi sinθ j, b j e κσ i ( κsin(λ j σ i ) λ j cos(λ j σ i )) = a j e κσi cosθ j b j = b j κ (cos(λ jσ i ) λ j b j cosθ j ), = b j κ (sin(λ jσ i ) λ j b j sinθ j ) θ j = λ j σ i +arccos We can write from the equation ε =Kε V 1 (σ i ) = e κσi α(σ i ) V 2 (σ i ) = 1 κ 1 V 1 (σ i ) λ j κ 2 +λ 2 j V 3 (σ i ) = 1 κ 2 ( k 1 V 1 (σ i )+ V 2 (σ i )) V 4 (σ i ) = 1 κ 3 ( κ 2 V 2 (σ i )+ V 3 (σ i )) V m (σ i ) = So, we show that by using an algebric calculus V 1,V 1 = 1 m a 2 j = 1 The proof is complete 1 ( κ m 2 V m 2 (σ i )+ V m 1 (σ i )) κ m 1 j=1 V 2,V 2 = 1 m a 2 j λ2 j = κ2 1 j=1 V 3,V 3 = 1 m a 2 j(1 λ 2 j) 2 = κ 2 2 j=1 V 4,V 4 = 1 m a 2 jλ 2 j( κ 2 2 λ 2 j) 2 = κ 2 2 κ 2 3 j=1 an so on Remark 4 For i = 1 (that is σ i = σ), the representation of the curve α in even-imensional Eucliean spaces is given with Eq(61) the same as representation of the curve α is given with Eq (52) in [9]

9 SIMILAR CURVES 9 62 Self-Similar Curves in O-Dimensional Eucliean Spaces We can also express self-similar curves in R 2m+1 Theorem 2 Let α : I R 2m+1 be a self-similar curve The curve α parameterize by the general arc-length parameter σ i of its V i inicatrix curve The curve α can be written, (64) ( a1 α(σ i ) = e κσi sinθ 1, a 1 e κσi cosθ 1,, a m e κσi sinθ m, a ) m e κσi cosθ m,a e κσi m+1 b 1 b 1 b m b m where b j = κ 2 +λ 2 j, θ j = λ 2 j σ λ 2 j i +arccos for j = 1,2,,m κ 2 +λ 2 j antherealifferentnonzeronumbersa 1,a 2,,a m+1 Tocalculatea 1,a 2,,a m+1 we use these m+1 equations V 1 (σ i ) = e κσi α(σ i ) From here V 2 (σ i ) = 1 κ 1 V 1 (σ i ) V 3 (σ i ) = 1 κ 2 ( κ 1 V 1 (σ i )+ V 2 (σ i )) V 4 (σ i ) = 1 κ 3 ( κ 2 V 2 (σ i )+ V 3 (σ i )) V m+1 (σ i ) = 1 κ m ( κ m 1 V m 1 (σ i )+ V m (σ i )) V j,v j = 1, j = 1,2,,m+1 V 1,V 1 = 1 m a 2 i + κ 2 a 2 m+1 = 1 i=1 V 2,V 2 = 1 m+1 a 2 iλ 2 i = κ 2 1 i=1 V 3,V 3 = 1 m a 2 i (1 λ2 i i=1 κ 2 1 V i,v i = 1,i = 4,,m+1, ) 2 + κ 2 a 2 m+1 = κ2 2 κ 2 1 Proof The proof is the same as the proof of Theorem 2 Remark 5 For i = 1 (that is σ i = σ), the representation of the curve α in o-imensional Eucliean spaces is given with Eq(61) the same as representation of the curve α is given with Eq (52) in [9] Example 1 Let be shape curvature functions κ 1 = 3 13 an κ 2 = 2 13 of the curve α in R 3 We can calculate the curve α (see Figure 2) corresponing to them ( a1 α(σ 2 ) = e κσ2 sinθ 1, a ) 1 e κσ2 cosθ 1,a e κσ2 2 b 1 b 1

10 10 FATMA GÖKÇELİK, SEHER KAYA, YUSUF YAYLI, AND F NEJAT EKMEKCİ where σ 2 is arc length parameter of its normal inicatrix curve Then we use equations in o imensional space, an algebraic calculus shows that λ 2 1 = 5 13, a 1 = 3 an a 2 = s 4 5, b 1 =, θ 1 = s 2 13 σ 2+arccos s Figure 2 The curve α 7 Geometric Interpretation of Shape Curvatures in 3-Eucliean Spaces In this section, we mentione that geoesic curvatures of inicatrix curves are relate to shape curvatures of the curve Proposition 4 Geoesic curvatures of inicatrix curves are invariant uner the group Sim + (R 3 ) Proof Let α : I R 3 be a Frenet curve with {V 1,V 2,V 3,κ 1,κ 2 } Frenet apparatus an κ 1, κ 2 be shape curvatures Its inicatrix curve show that γ : I S 2 is a spherical curve with arc length parameter σ i (i = 1,2,3) of γ Let us enote t(σ i ) = γ(σ i ) an we call t(σ i ) a unit tangent vector of γ We now set a vector ρ(σ i ) = γ(σ i ) t(σ i ) along the curve γ This frame is calle the Sabban frame of γ on S 2 Then we have the following spherical Frenet formulae of γ (71) γ t ρ = κ g 0 κ g 0 t where κ g = et(γ,t, ) is the geoesic curvature of γ at γ(σ i ) LetᾱbesimilarcurveofαunerthegroupSim + (R 3 )an { V1, V 2, V } 3, κ 1, κ 2, κ 1, κ 2 be Frenet apparatus of the curve ᾱ Its inicatrix curve γ : I S 2 is a spherical curve with arc length parameter σ i (i = 1,2,3) of γ The orthogonal frame { γ( σ i ), t( σ i ), ρ( σ i )} along γ is calle the Sabban frame of γ If the curve γ is a tangent inicatrix curve with arc length parameter σ 1 then the following Frenet-Serret formulas hol t(σ 1 ) = γ(σ 1 ) σ 1 γ t ρ

11 SIMILAR CURVES 11 σ 1 t(σ 1 ) = γ(σ 1 )+ κ 2 κ 1 ρ(σ 1 ) So, the geoesic curvature κ g = κ 2 Similarly, we calculate κ g = κ 2 Using the κ 1 κ 1 Eq(1), we get κ g = κ g If the curve γ is a normal inicatrix curve with arc length parameter σ 2 then the following Frenet-Serret formulas hol t(σ 2 ) = γ(σ 2 ) σ 2 ) t(σ 2 ) = γ(σ 2 )+ κ 2 ( κ2 1 ρ(σ 2 ) σ 2 σ 2 κ 1 ) κ g (σ 2 ) = κ 2 ( κ Similarly, we get κ g = κ 1 ( κ ) So, κ g is equal to σ 2 κ 1 σ 2 κ 1 κ g If the curve γ is a binormal inicatrix curve with arc length parameter σ 3 then the following Frenet-Serret formulas hol t(σ 3 ) = γ(σ 3 ) σ 3 t(σ 3 ) = γ(σ 3 )+ κ 1 ρ(σ 2 ) σ 3 κ 2 κ g (σ 2 ) = κ 1 Similarly, we get κ g = κ 1 So, κ g is equal to κ g κ 2 κ 2 The proof is complete

12 12 FATMA GÖKÇELİK, SEHER KAYA, YUSUF YAYLI, AND F NEJAT EKMEKCİ References [1] o Carmo, M P, Differential Geometry of curves an surfaces, Prentice-Hall Inc,(1976) [2] W Greub, Linear Algebra, 3r e, Springer Verlag, Heielberg, 1967 [3] H H Hacısalihoğlu, Differential Geometry, Faculty of Sciences an Arts, University of İnönü Press, 1983 [4] H A Hayen, On a general helix in a Riemannian n-space, Proc Lonon Math Soc (2) 1931; 32:37 45 [5] W Kuhnel, Differential Geometry: Curves-Surfaces-Manifols Wiesbaen: Brauncweig, (1999) [6] J Montere, Curves with constant curvature ratios, Bolet ın e la Sociea Matem atica Mexicana13(2007), [7] E Özamar, H H Hacisalihoğlu, A characterization of incline curves in Eucliean-space, Communication e la facult e es sciences e L Universit e Ankara 24(1975), [8] R Encheva an G Georgiev, Shapes of space curves, J Geom Graph 7 (2003), [9] R Encheva, G Georgiev an H Georgi Similar Frenet curves Results Math 55 (2009), no 3-4, [10] D J Struik, Lectures on Classical Differential Geometry, Dover, New-York, 1988 [11] S Yılmaz, M Turgut, A new version of Bishop frame an an application to spherical images, J Math Anal Appl, 371 (2010) [12] Uribe-Vargas, Ricaro On vertices, focal curvatures an ifferential geometry of space curves Bull Braz Math Soc (NS) 36 (2005), no 3, Department of Mathematics, Faculty of Science, University of Ankara Tanogan, Ankara, TURKEY aress: fgokcelik@ankaraeutr Department of Mathematics, Faculty of Science, University of Ankara Tanogan, Ankara, TURKEY aress: seherkaya@ankaraeutr Department of Mathematics, Faculty of Science, University of Ankara Tanogan, Ankara, TURKEY aress: yyayli@scienceankaraeutr Department of Mathematics, Faculty of Science, University of Ankara Tanogan, Ankara, TURKEY aress: ekmekci@scienceankaraeutr