arxiv: v1 [math.dg] 1 Oct 2018

Transcription

1 ON SOME CURVES WITH MODIFIED ORTHOGONAL FRAME IN EUCLIDEAN 3-SPACE arxiv: v1 [mathdg] 1 Oct 018 MOHAMD SALEEM LONE, HASAN ES, MURAT KEMAL KARACAN, AND BAHADDIN BUKCU Abstract In this paper, we study helices and the Bertrand curves We obtain some of the classification results of these curves with respect to the modified orthogonal frame in Euclidean 3-spaces 1 Introduction In the classical study of differential geometry, curves satisfying particular relations with respect to their curvatures are of greater importance and applications Helices and Bertrand curves are two among the prominent A helix is a curve whose tangent makes a constant angle with a fixed directionaxis [3, 8] There is a famous classification of a general helixlancret theorem: a curve is a general helix iff τ = constant [17] Izumiya and Takeuchi [9] defined a special class of helices called as slant helices, where the normal vector observes a constant angle with the fixed direction They obtained a necessary and sufficient condition for a curve to be slant helix: a curve is a slant helix iff its geodesic curvature and the principal normal satisfying the expression τ +τ 3 is a constant fucntion J Bertrand in 1850 discovered the notion of Bertrand curve A Bertrand curve is a curve whose principal normal is normal to some other curve called as Bertrand mate curve Such a pair of curves is called as Bertrand pair [5, 6] Bertrand curves satisfy a linear relationaτ +b = 1 between its curvature and torsion and hence appear as an analogous form of one dimensional linear Weingarten surfaces which also have found enormous applications in Computer Aided Geometric DesignCAGD [18] Therefore, we see that Bertrand curve appear as a natural generalization of helices [4], and in particular, Bertrand mates are used as offset curves in CAGD [11] Schief[16] used the soliton theory to study the geodesic imbedding of Bertrand curves For more study of helices and Bertrand curves, we refer [1, 10, 13, 14] Preliminaries Letϕs beac 3 spacecurveineuclidean3-spacee 3, parametrizedbyarclength s We also assume that its curvature s 0 anywhere Then an orthonormal 000 Mathematics Subject Classification 53A04, 53A35 Key words and phrases Bertrand curve, Helixslant, Modified orthogonal frame 1

2 MOHAMD SALEEM LONE, HASAN ES, MURAT KEMAL KARACAN, AND BAHADDIN BUKCU frame {t, n, b} exists satisfying the Frenet-Serret equations 1 t s n s = τ ts ns b s 0 τ 0 bs where t is the unit tangent, n is the unit principal normal, b is the unit binormal, and τs is the torsion For a given C 1 function s and a continuous function τs, there exists a C 3 curve ϕ which has an orthonormal frame {t,n,b} satisfying the Frenet-Serret frame 1 Moreover, any other curve ϕ satisfying the same conditions differs from ϕ only by a rigid motion Now let ϕt be a general analytic curve which can be reparametrized by its arc length s, where s I and I is a nonempty open interval Assuming that the curvature function has discrete zero points or s is not identically zero, we have an orthogonal frame {T,N,B} defined as follows: T = dϕ ds, N = dt ds, B = T N, where T N is the vector product of T and N The relations between {T,N,B} and previous Frenet frame vectors at non-zero points of are T = t,n = n,b = b Thus, we see that Ns 0 = Bs 0 = 0 when s 0 = 0 and squares of the length of N and B vary analytically in s From Eq, it is easy to calculate 3 T s N s B s = τ 0 τ Ts Ns Bs where all the differentiation is done with respect to the arc lengths and τ = τs = detϕ,ϕ,ϕ is the torsion of ϕ From Frenet-Serret equation, we know that any point, where = 0 is a removable singularity of τ Let, be the standard inner product of E 3, then {T,N,B} satisfies: 4 T,T = 1, N,N = B,B =, T,N = T,B = N,B = 0 The orthogonal frame defined in 3 satisfying 4 is called as a modified orthogonal frame [15] Let I be an open interval of real line R and M be a n dimensional Riemannian manifold and T p M be a tangent space of M at a point p M A curve on M is a smooth mapping ψ : I M As a submanifold of R, I has a coordinate system consisting of the identity map u of I The velocity vector of ψ at s I is given by ψ s = dψu du s T ψs M A curve ψs is said to be regular if ψ s 0 for any s Let ψs be a space curve on M and {t,n,b} the moving Frenet frame along ψ, then we have the following,,

3 ON SOME CURVES WITH MODIFIED ORTHOGONAL FRAME IN EUCLIDEAN 3-SPACE 3 properties 5 ψ s = t D t t = n D t n = t+τb D t b = τn, where D denotes the covariant differentiation on M [7] 3 General helices with modified orthogonal frame In this section, we study a curve on manifold M From 3, we have ψ s = t T = t 31 D T N = T + N +τb D T B = τn + B Theorem 31 Lancret theorem Let ψ : I E 3 be a parametrization by arclength Then, with respect to the modified orthogonal frame, ψ is a general helix if and only if τs = λ, where λ R s Remark 3 Lancret theorem is a celebrated theorem on helices having many proofs in different ambient spaces and frames It can be easily proved with the modified orthgonal frame also Theorem 33 A unit speed curve ψ is a general helix according to the modified orthogonal frame if and only if 3 D T D T D T T = µn + 3τ τ D TN where 33 µ = + τ 3 Proof Let ψ be a general helix Then, from 31, we have, 34 D T D T T = T + N +τb and D T D T D T T = T N + N + + T + N +τb +τ B +τ Combining like terms, we get D T D T D T T = T + τn + B + τ N +3τ B D T D T D T T = 3 T + τ N + D 3τ T N + T τ N

4 4MOHAMD SALEEM LONE, HASAN ES, MURAT KEMAL KARACAN, AND BAHADDIN BUKCU 35 D T D T D T T = 3 +3 τ τ T + + τ 3 Now, since ψ is a general helix, we have τ = constant and the derivation give rise to τ = τ or = τ τ Substitute the value τ τ = in 35, we obtain 36 D T D T D T T = + τ - 3 N + 3τ τ D TN N + 3τ τ D TN Conversely, assume 3 is satisfied We show that the curve ψ is a general helix By differentiating covariantly 36, we obtain and so D T N = D T D T T 37 D T D T N = D T D T D T T If we use 3 in 37, we get D T D T N = + τ 3 D T D T N = + τ 3 D T D T N = 3τ τ T + D T D T N = 3τ τ T + N + 3τ τ D TN N + 3τ τ T + N +τb + τ - 3å + 3τ N +3τ B τ + τ 3 + 3τ N +3τ B τ 38 D T D T N = 3τ τ T + + τ 3 On the other hand, D T N = T N + +τ B +τ τn + B 39 D T N = 3 T + τ + + 3τ τ N +3τ B N + T + N +τb τ + τ B

5 ON SOME CURVES WITH MODIFIED ORTHOGONAL FRAME IN EUCLIDEAN 3-SPACE 5 From 38 and 39, we obtain and so = τ τ τ τ = 0 τ τ 1 = τ = 0 Integrating 310 equality, we get τ = constant Hence ψ is a general helix Theorem 34 Let ψ be a unit speed curve, then ψ is a general helix according to the modified orthogonal frame if and only if dett,t,t = 0 Proof Let τ is constant We have the equalities ψ α = T = T = N ψ = T = T + N +τb ψ 4 = T = T N + 1 N N + T + N +τb +τ τn N T = 3 T + τ τ N + +τ Since ψ is a general helix, we have Hence, we get τ +τ = 3τ T = 3 T + τ N +3τ B +τ B B The above equalities implies that dett,t,t = τ 3 τ 3τ = 3τ τ = 3 3 τ τ τ Since is constant, we have = 0 and dett,t,t = 0

6 6MOHAMD SALEEM LONE, HASAN ES, MURAT KEMAL KARACAN, AND BAHADDIN BUKCU τ Now, let dett,t,t = 0 It is clear that is constant for being τ = 0 Thus, ψ is a general helix Theorem 35 Let ψ be a unit speed curve with constant curvature in E 3 Then ψ is a slant helix according to the modified orthogonal frame if and only if the function 31 is constant τ +τ 3 Proof Let ψ be a unit speed curve in E 3 Let U be the vector field such that the function Ns,U = c is constant There exist smooth functions a and b such that 313 U = asts+cns+bsbs, s I As U is constant, a differentiation of 313 together 3 gives a c = a bτ = 0 b +cτ = 0 From the second equation in 314, we get 315 a = τb Moreover, since U is a constant vector, we have 316 U,U = a +c +b = constant We point out that this constraint, together with the second and third equation of 314 is equivalent to the very system 314 Combining 314 and 316, let m be the constant given by This gives The third equation in 314 yields b +τ = constant c = m m b = ± +τ b = ± m ττ +τ +τ This can be written as cτ = ± m ττ +τ +τ ± c m = τ +τ 3

7 ON SOME CURVES WITH MODIFIED ORTHOGONAL FRAME IN EUCLIDEAN 3-SPACE 7 Conversely, assume that the condition 31 is satisfied In order to simplify the computations, we assume that the function in 31 is a constant, namely c the other case is analogous Define 317 U = mτ +τ Ts+ m s I +τbs+cns, A differentiation of 317 together with the modified orthogonal frame gives U = mτ Ts +τ 3 mττ Bs+ +τ 3 mτ +τ Ns m + +τ τns+ mτ Ts+τBs = 0 +τ 3/ that is, U is a constant vector On the other hand, mτ m Ns,U = +τ Ts+cNs+ +τ Bs,U = c, c = constant and this means that ψ is a slant helix We can give Salkowski curves as striking example of slant helices 4 Bertrand Curves with Modified Orthogonal Frame Definition 41 Let ϕ and ψ be two curves with non-vanishing curvatures and torsions and N ϕ and N ψ are normals of ϕ and ψ, respectively If N ϕ and N ψ are parallel, then ϕ,ψ is called Bertrand pair [6] From the definition of Bertrand pair ϕs,ψs, there is a functional relation s = s s such that δ s s = δs Let ϕ,ψ be a Bertrand pair, we can write 41 ψs = ϕs+δsn ϕ s Theorem 4 The distance between the corresponding points of a Bertrand pair C ϕ,c ψ with respect to the modified orthogonal frame is constant Proof Let C ϕ and C ψ be given ϕs and ψs, respectively Using 41, we can write ψ = ϕ+δn ϕ Differentiating, and using modified orthogonal frame, we obtain 4 ψ s = 1 δ ϕ Tϕ + δ + δ ϕ N ϕ +δτ ϕ B ϕ Taking the inner product 4 with N ϕ, and using N ϕ N ψ, we obtain This implies N ϕ,ψ s = δ + δ ϕ = 0 43 δ δ = ϕ or 44 δs = c s

8 8MOHAMD SALEEM LONE, HASAN ES, MURAT KEMAL KARACAN, AND BAHADDIN BUKCU where c a real number except zero, Therefore ψ ϕs = c sn ϕ s = c Lemma 43 The angle between tangent lines of a Bertran pair ϕ,ψ is constant Proof Differentiaiting T ψ,t ϕ, we get d ds T ψ,t ϕ = T ψ,n ϕ + T ψ,n ϕ Since N ψ = ± Nϕ, N ψ,t ϕ = 0 and N ϕ,t ψ = 0 Thus we get d ds T ϕ,t ψ = 0 and so T ϕ,t ψ =constant Theorem 44 A pair of curves C ϕ,c ψ with τ ϕ 0 is a Bertrand pair if and only if 45 c +acτ ϕ = 1, where a = cotθ and c =constant Proof Suppose C ϕ : ϕ,c ψ : ψ be a Bertrand pair with τ ϕ 0 Let the modified orthogonal frames of ϕs and ψs are given by {T ϕ = t ϕ,n ϕ = n ϕ,b ϕ = b ϕ },{T ψ = t ψ,n ψ = n ψ,b ψ = b ψ }, respectively From Lemma 43, we know that the angle θ between T ϕ and T ψ is constant Thus, we may write 46 T ψ = cosθt ϕ + sinθ B ϕ Using 43 and 44 in 4, we get 47 ψ s = 1 c T ϕ + cτ ϕ B ϕ From 46 and 47, we obtain or 1 c cosθ = cτ ϕ sinθ 48 c +acτ ϕ = 1 Conversly, suppose C ϕ be a curve satisfying c + acτ ϕ = 1 and τ ϕ 0 Define another curve C ψ as: ψs = ϕs+δsn ϕ s We shall prove that C ϕ and C ψ are Bertrand mates From 47, we know 49 ψ s = 1 c T ϕ + cτ ϕ B ϕ Using the given condition in 49, we obtain ψ s = acτ ϕ T ϕ + cτ ϕ B ϕ = c at ϕ + B ϕ τ ϕ

9 ON SOME CURVES WITH MODIFIED ORTHOGONAL FRAME IN EUCLIDEAN 3-SPACE 9 Hence the tangent vector to C ψ is given by 410 T ψ = ψ s ψ s = cτ at ϕ + Bϕ ϕ cτ ϕ a +1 Differentiation 410 with respect to s, we get { dt ψ ds = ± 1 a +1 This implies that or 411 an ϕ ϕ B ϕ + 1 ϕ τϕ a N ψ = ± ϕ ds a +1ds N ϕ τ ϕ N ψ = ± a ds N ϕ a +1ds Since N ψ and ± Nϕ are unit vectors, from 411, we have and This completes the proof ds ds = a = ± at ϕ + Bϕ a ;a = const +1 } τ ϕ N ϕ + ϕ ds B ϕ ds τ ϕ a +1 N ψ = ± N ϕ Theorem 45 Let C ϕ,c ψ be a Bertrand mate in Euclidean 3-space E 3 according to the modified orthogonal frame, then the following identities hold: = c sin θ c1 c, sinθ τ ϕ = > 0 c Proof From 46 and 47, we can write respectively, 1 c = ds cosθ ds ds ds cosθ = 1 c 41 c τ ϕ = ds sinθ ds ds ds sinθ = cτ ϕ Interchanging the roles of ϕ and ψ, thus ψ,ϕ is also a Bertrand mate and in this case, δ and θ are replaced with δ and θ, respectively Hence we can write as ds 413 ds cosθ = 1+c ds ds sinθ = c By multiplying the first parts of 41 and 413, we get cos θ = 1 c 1+c

10 10MOHAMD SALEEM LONE, HASAN ES, MURAT KEMAL KARACAN, AND BAHADDIN BUKCU or 414 = c sin θ c1 c Again multiplying the second parts of 41 and 413, we get 415 sin θ = c τ ϕ From above equation, we see that τ ϕ > 0 Theorem 46 Suppose there exists a one-one relation between the points of the curves C ϕ and C ψ, such that at the corresponding points P ϕ on C ϕ and P ψ on C ψ : a is constant b is constant c T ϕ is parallel to T ψ, then the curve C generated by P that divides the segment P ϕ P ψ in ratio h : 1 is a Bertrand curve Proof Let αs, α ϕ s, α ψ s be the coordinate vectors at the points P, P ϕ, P ψ on the curves C, C ϕ, C ψ respectively Then from a convex combination of points P ϕ and P ψ, the equation of point P is 416 αs = hα ϕ s+1 hα ψ s, h R,h [0,1] Differentiating 416 with respect to s and using the hypothesis, ie, T ϕ = T ψ,we find 417 Tds = ht ϕ +1 ht ψ ds ψ = [h +1 hds ψ ]T ϕ 418 T = T ϕ = T ψ 419 h ds +1 hds ψ ds = 1 Similary, by differentiating 418, we obtain 40 Nds = N ϕ = N ψ ds ψ, 41 ds = = ds ψ, and 4 43 ds = N = N ϕ = N ψ From the vector product of 418 and 43, we have 44 B = B ϕ = B ψ Differentiating 44 and using 418,43, we get 45 τ N = τ N ψ ds ψ ψ ds

11 ON SOME CURVES WITH MODIFIED ORTHOGONAL FRAME IN EUCLIDEAN 3-SPACE 11 and 46 ds ψ ds = τ By inserting 4 and 46 in 419, we get h 1 h + τ = 1; 0, 0, which is the desired result, since h,, are constant Theorem 47 If the condition c in Theorem 46 is modified so that at the corresponding points P ϕ and P ψ the binormals B ϕ and B ψ are parallel, then the curve C is a Bertrand curve Proof Since B ϕ = B ψ, similar as in 45 and 46, we obtain 47 and 48 Using 48, we can rewrite 47 as Thus, we have T ϕ = N ϕ B ϕ = 1 ϕ N ϕ = τ ϕ ds ψ N ψ ds ψ = τ ϕ N ϕ = N ψ ϕ N ψ ϕ B ψ = N ψ B ψ = T ψ Therefore T ϕ is parallel to T ψ, so that by Theorem 46, C is a Bertrand curve Theorem 48 If the condition c in Theorem 46 is modified so that at the corresponding points P ϕ and P ψ the tangent T ϕ at P ϕ is parallel to the binormal B ψ at P ψ, then the curve C is a Bertrand curve Proof Since T ϕ = B ψ, it follow that 49 N ϕ = ds ψ N ψ Hence N ϕ is parallel to N ψ and since Nϕ and N ψ are unit vectors, 430 From 49 and 430, we get 431 Moreover since N ϕ = ± N ψ ds ψ = B ϕ = T ϕ N ϕ = B ψ N ψ = B ψ N ψ = ψ ψ T ψ = T ψ, ψ

12 1MOHAMD SALEEM LONE, HASAN ES, MURAT KEMAL KARACAN, AND BAHADDIN BUKCU we get T ψ = B ϕ Let R, R ϕ, R ψ be the coordinate vectors at the points P, P ϕ, P ψ on the curves C, C ϕ, C ψ respectively Then 43 R = hr ϕ +1 hr ψ By differentiating 43 with respect to s and by 431, we have [ 433 T = ht ϕ ] ϕ dsϕ 1 ht ψ ds Taking the norm of 433, we obtain 434 ds = h τ ψ + ϕ 1 h Thus with the help of 434, we can rewrite 433 as T = h T ϕ + 1 h T ψ h τψ + ϕ1 h h τψ + ϕ1 h or 435 T = h ϕ T ϕ +h ψ T ψ, where h ds = h h τ ψ + ϕ1 h = h ϕ, h ϕ = constant 1 h ds ψ ds = 1 h h τ ψ + ϕ 1 h = h ψ, h ψ = constant Differentiating 435, one can easily get 436 Hence 437 and N = h N ϕ ds ψ N ψ ϕ +h ψ ds ds N = N ϕ = N ψ 438 = h ϕ ds +h ψ ds ψ ds Using 435 and 437, we can find 439 Differentiating 439, we have 440 τ N = h ϕτ ϕ ds B = h B ϕ B ψ ϕ +h ψ N ϕ ds ψ N ψ +h ψ ds

13 ON SOME CURVES WITH MODIFIED ORTHOGONAL FRAME IN EUCLIDEAN 3-SPACE 13 Hence 441 τ = τ ϕ h ϕ ds +τ ds ψ ψh ψ ds Using 47 and 48, we have and 44 Assume that = ds ψ = τ ϕ τ ϕ = M ϕ = h ϕ ds, M ds ψ ψ = h ψ ds, then by 438,441 and 44, we have + τ M ψ M ϕ = M ϕ + M ψ + τ ϕm ϕ + M ψ M ψ M ϕ = ϕ M ϕ ψ + + τ ϕ + M ψ M ψ M ϕ }{{} 0 = M ϕ M ψ + M ψ M ϕ = constant Since ϕ and Mϕ M ψ = h ds ψ 1 h = h 1 h areconstantandthisistheintrinsicequation of a Bertrand curve References [1] A T Ali, R Lopez, Slant helices in Minkowski space E1 3, J Korean Math Soc48, No1, pp , doi: /JKMS , 011 [] H Balgetir, M Bektas, J Inoguchi, J, Null Bertrand Curves in Minkowski 3-space and their Characterizations, Note di Matematica 31,7-13, 004 [3] M Barros, General helices and a theorem of Lancret, Proc Amer Math Soc 15 5, , 1997 [4] JM Bertrand, Mémoire sur la théorie des courbes á double courbure J Math Pures Appl 15, , 1850 [5] JF Burke, Bertrand Curves Associated with a Pair of Curves, Mathematics Magazine, 341, 60-6, 1960 [6] MDo Carmo, Differential Geometry of Curves and Surfaces, Prentice-Hall, New Jersey, 1976 [7] N Ekmekci, On General Helices and Submanifolds of an Indefinite-Riemann Manifold, An Ştiint Univ Al I Cuza Iaşi Mat NS, 46, 63-70, 000 [8] K Ilarslan, Characterizations of Spacelike General Helices in Lorentzian Manifolds, Kragujevac J Math, 5, 09-18, 003 [9] S Izumiya and N Takeuchi, New special curves and developable surfaces, Turkish J Math 8, , 004 [10] H Matsuda, SH Yorozu, Notes on Bertrand Curves, Yokohama Mathematical Journal, 50, 41-58, 003 [11] AW Nutbourne, RR Martin, Differential Geometry Applied to the Design of Curves and Surfaces, ellis Horwood, Chichester, UK, 1988 [1] AO Ogrenmis, H Oztekin, M Ergut, Bertrand Curves in Galilean Space and Their Characterizations, Kragujevac J Math 3, , 009 [13] AO Ogrenmis, M Ergut, M Bektas, On The Helices in The Galilean Space G 3, Iranian J of Sci & Tech, Transaction A, Vol 31A, , 007

14 14MOHAMD SALEEM LONE, HASAN ES, MURAT KEMAL KARACAN, AND BAHADDIN BUKCU [14] HB Oztekin, M Bektas, Representation formulae for Bertrand curves in the Minkowski 3-space, Scientia Magna, 61, 89-96, 010 [15] T Sasai The Fundamental Theorem of Analytic Space Curves and Apparent Singularities of Fuchsian Differential Equations Tohoku Math Journ, 36, 17-4, 1984 [16] WK Schief, On the integrability of Bertrand curves and Razzaboni surfaces, J Geom Phys, 45, , 003 [17] DJ Struik, Lectures on Classical Differential Geometry, nd edn Addison Wesley, Dover, 1988 [18] B van-brunt and K Grant, Potential application of Weingarten surfaces in CADG, Part I: Weingarten surfaces and surface shape investigation, Comput Aided Geom Des, 13, , 1996 [19] DW Yoon, General Helices of AWk-Type in the Lie Group, Journal of Applied Mathematics, Article ID 53513, 10 pages,doi:101155/01/53513,volume 01 International Centre for Theoretical Sciences, Tata Institute of Fundamental Research, , Bengaluru, India Current address: International Centre for Theoretical Sciences, Tata Institute of Fundamental Research, , Bengaluru, India address: mohamdsaleemlone@ictsresin Gazi University, Gazi Educational Faculty, Department of Mathematical Education, Teknikokullar / Ankara-Turkey address: hasanes@gaziedutr Usak University, Faculty of Sciences and Arts, Department of Mathematics,1 Eylul Campus, 6400,Usak-Turkey address: muratkaracan@usakedutr Gazi Osman Pasa University, Faculty of Sciences and Arts, Department of Mathematics,6050,Tokat- Turkey address: bbukcu@yahoocom