SOME CHARACTERIZATIONS OF QUATERNIONIC RECTIFYING CURVES IN THE SEMI-EUCLIDEAN SPACE
4 2
Tülay SOYFİDAN and Mehmet Ali GÜNGÖR
Abstract: The notion of rectifying curve in the Euclidean space is introduced by Chen as a curve whose position vector always lies in its rectifying plane spanned by the tangent and the binormal vector field t and n2 of the curve. In this study, we have obtained some characterizations of semi-real spatial 3 quaternionic rectifying curves in 1 . Moreover, by the aid of these characterizations, we have investigated semi real quaternionic rectifying curves in semi-quaternionic space v . Keywords. Semi-quaternionic rectifying curves, Semi-real quaternion, SemiEuclidean space. AMS 2010. 11R52, 53A04, 53C50.
1. Introductions Quaternions were discovered by Irish mathematician Sir William R. Hamilton who invented quaternions in order to extend three dimensional vector algebra for inclusion of multiplication and divisions. Although it has been found that ordinary vector algebra provides a better mathematical apparatus for investigating physical problems, quaternion algebra, nevertheless, provides us with a simple and elegant represantation for describing finite rotations in space. Moreover, quaternions are found applications in robotics, molecular modelling and computer graphics. A striking feature of quaternions is that the product of two quaternions is non-commutative, meaning that the product of two quaternions depends on which factor is to the left of the multiplication sign and which factor is to the right. At the beginning, the pratical use of quaternions was minimal in comparison with other methods. But today, quaternions have played a significant role recently in several areas of physical science; namely, in differential geometry, in analysis and synthesis of mechanism and machines simulation of particle motion in molecular physics and quaternionic formulation of equation of motion in the theory of relativity. Moreover, quaternions have developed a wide-spread use in computer graphics and robotics research because they can be used to control rotations in three dimensional space. As a set, the quaternions are coincide with 4 , a 4 dimensional vector space over the real numbers. Considering this feature of quaternions, Bharathi and Nagaraj introduced the Serret-Frenet formulae for a quaternionic curves in 3 and 4 , [2]. Then, lots of papers have been published by using these studies. One of them is a study given by Çöken and
1
Tuna. They gave the Serret-Frenet formulas, inclined curves, harmonic curvatures and some characterizations for a quaternionic curve in the semi-Euclidean spaces
3 1
and
4 2
, [3].
On the other hand, the notion of the rectifying curve is introduced in [1] as a space curve whose position vector always lies in its rectifying plane. Therefore, the position vector with respect to a chosen origin, of a rectifying curve in 3 , satisfies the equation (s) (s)t (s) (s)n2 (s) where and are arbitrary differentiable functions in terms of the arc length parameter sI
. Chen and Dillen [5] found a relationship between the rectifying curves and the centrodes given by the endpoints of the Darboux vector of a space curve and playing an important role in mechanics . In [6], Ilarslan and Nesovic, defined a rectifying curve in 4 as a curve whose position vector always lies in the orthogonal complement N1 of its principal normal vector field N1 . Thus, the position vector with respect to a chosen origin, of a rectifying curve in
4
, satisfies the equation (s) (s)T (s) (s) N 2 (s) ( s) N3 ( s)
where , and are differentiable functions in the arc length function s . In addition that, the rectifying curves in Minkowski space were studied by Ilarslan and Nesovic, [7,10]. Then, Güngör and Tosun defined the spatial quaternionic rectifying curves in 3 and gave some characterizations for these curves. Moreover, they investigated quaternionic rectifying curves in 4 , [4]. The main purpose of this paper, firstly, is to establish some characterizations of spatial quaternionic rectifying curves in 13 and, secondly, to give quaternionic rectifying curves in semi-quaternionic space
v
by the aid of these characterizations.
2. Preliminaries A semi-real quaternion is defined with q q1e1 q2e2 q3e3 q4 (or q Sq Vq where the symbols Sq q4 and Vq q1e1 q2 e2 q3e3 denote scalar and vector part of q , respectively) such that i) ei ei = ei ,
1 i 3,
ii) ei e j = ei e j ek
e 1 i
3 1
in R
ei e j = ei e j ek
in R24
(2.1)
where (ijk ) is an even permutation of (123), [3]. For every p, q
v
, using these basic products we can expand the product of two semi-real
quaternion as
2
p q S p Sq g Vp ,Vq S pVq SqVp Vp Vq ,
where we have used the usual inner and cross products in semi-Euclidean space
(2.2) 3 1
, [3].
The conjugate of the semi-real quaternion q is denoted by q and defined q Sq Vq . Thus, we define symmetric, non-degenerate valued bilinear form h as follows:
1 p p q q p q p for 2 q 1 h( p, q) p q p q q p q p for 2 h( p, q )
and it is called semi-real quaternion inner product, [3]. The norm of a semi-real quaternion q q1 , q2 , q3 , q4 N ( q)
v
3 1
(2.3) 4 2
is
q12 q2 2 q32 q4 2 .
(2.4)
If N (q) 1 , then q is called a semi-real unit quaternion, [8]. q is called a semi-real spatial quaternion whenever q q 0 , [3]. Moreover, quaternion
product of two semi-real spatial quaternions is p q
g p, q
p
q.
(2.5)
q is a semi-real temporal quaternion whenever q q 0 . Any general q can be written as
1 1 qq qq . 2 2
q
3. Some Characterizations of Semi-Real Spatial Quaternionic Curves The 3 dimensional semi-Euclidean space
quaternions q Qv line
3 1
is identified with the space of spatial
in an obvious manner. Let I 0,1 be an interval in the real
qq 0
and : I R Qv ,
3
s (s) i (s)ei ,
1 i 3,
i 1
be the smooth curve with the arc-length parameter s . So, the tangent (s) t has unit length, [3].
3
Theorem 3.1. Let t ,n1 ,n2 be the Serret-Frenet frame at the point ( s) of the semi-real spatial quaternionic curve . Then the Serret-Frenet equations are t n1 kn1 , n1 t kt n1 rn2 ,
(3.1)
n2 n2 rn1 ,
where t , n1 , n2 ,k and r denote the unit tangent, the principal normal, the unit binormal, the principal curvature and the torsion of the semi-real spatial quaternionic curve , respectively. Moreover, h(t , t) = t , h(n1 , n1 ) = n , h(n2 , n2 ) = n , [3]. 1
2
In a similar manner to the reference [4], we can define the semi-real spatial quaternionic rectifying curves as follows. The position vector of the semi-real spatial quaternionic rectifying curve satisfies the following equation (s) (s)t (s) (s)n2 (s)
where and are arbitrary differentiable functions. The following theorems provide some simple characterizations of semi-real spatial quaternionic rectifying curves. Theorem 3.2. Let : I R R13 be a semi-real spatial quaternionic curve in
3 1
with k 0
and let s be its pseudo arc length function of curve. Then is semi-real spatial quaternionic rectifying curve if and only if the following four statements hold; i ) The distance function N ( ) provides 2 t s 2 c1s c2 , for some constants c1
and c2 . ii ) The tangential component of the position vector of the
is given by
h , t t s c for some constant c , where h t , t t . iii) The normal component N of the position vector of the has constant length. In
addition, the distance function is non-constant. iv) The torsion r (s) 0 and the binormal component of the position vector ( s) is
constant i.e., h( , n2 ) is constant. Proof. Without loss of the generality, let us first suppose that : I R R13 is parameterized by the pseudo arc length function s and is a semi-real spatial quaternionic rectifying curve. So, the position vector ( s) of the satisfies the equation (s) (s)t (s) (s)n2 (s)
(3.2)
where ( s) and ( s) are some differentiable functions of the pseudo arc length parameter s .
4
Differentiating the equation (3.2) with respect to the pseudo arc length function s and by applying the Frenet equation (3.1), we obtain that h( , t ) ( s) 1 h( , n1 ) ( s)k ( s) n1 n2 ( s)r ( s ) 0
(3.3)
h( , n2 ) ( s) 0
whereby h(n1 , n1 ) = n and h(n2 , n2 ) = n . 1
2
Moreover, we get ( s ) s c, ( s ) a, ( s)k ( s) n n ( s)r ( s) 0, 1
(3.4)
2
where c, a R and hence a 0, r (s) 0. From the equation (3.2) we easily obtain that 2 N 2 ( ) h( , ) t 2 n 2 . 2
By substituting the equation (3.4) into the last equation, we get 2 t s 2 c1s c2 . This proves statement (i ) . Further, from the equations (3.2) and (3.4) we get h , t t t s c. This implies statement (ii) . Next, from the equation (3.2) we have the normal component N of the position vector of the semi-real spatial quaternionic rectifying curve is given by N n2 . Therefore, N ( N ) a 0. Thus, statement (iii) is proved.
And lastly, from (3.2) we easily find that h , n2 constant and since r (s) 0, the statement (iv) is proved. Conversely, assume that statement (i ) or statement (ii ) holds. Then, we have h , t t s c , for some constant c . Differentiating this equation with respect to s , we
obtain that n k h , n1 0. Hence h( , n1 ) 0 is found. So, is a semi-real spatial 1
quaternionic rectifying curve. Next, if we accept the statement (iii) holds, then we have (s) m(s)t (s) N (s) , m(s) R . Hence we easily find that c h( N , N ) h( , ) t h( , t )2 .
By differentiating the last equation with respect to s gives 5
h( , t ) = t h( , t ) t n1 k h( , n1 ) .
(3.5)
On the other hand, the distance function N ( ) is a non-constant. So, we get h( , t ) 0 . Therefore, since function k (s) 0 and from (3.5) we find h( , n1 ) 0 , which means that is a semi-real spatial quaternionic rectifying curve. And finally if statement (iv) holds, we have h( , n2 ) = constant. If we take the derivative of this equation with respect to s and apply Frenet equations (3.1), then we easily obtain n rh( , n1 ) = 0. Since r (s) 0 , we find that h( , n1 ) = 0 . So, it means that the curve is a 2
semi-real spatial quaternionic rectifying curve. In the next theorem,we prove that the ratio of the torsion and curvature of a unit speed semireal spatial quaternionic rectifying curve is a non-constant linear function of the pseudo arc length parameter s. Theorem 3.3. Let : I R R13 be a semi-real spatial quaternionic curve in
3 1
with a
spacelike or a timelike rectifying plane and with the curvature k (s) 0. The curve is a r ( s) c1 s c2 , where c1 , c2 R , k (s)
semi-real spatial quaternionic curve if and only if there holds c1 0.
Proof. Without loss of generality, suppose that : I
3 1
is parameterized by the
pseudo arc length function s and is a semi-real spatial quaternionic rectifying curve. By r ( s) ( s) sc n n n n the use of the equation (3.4), we have for some constants c1 k ( s) ( s) a 1
and a. Consequently,
n n 1
a
2
, c2
n n c 1
2
a
1
2
r ( s) c1 s c2 , whereby c1 0 and c1 , c2 R . k (s)
Conversely, let us suppose that c1
2
r ( s) c1 s c2 , c1 , c2 R and c1 0 . Then, especially we take k (s)
, where c R, a 0. So,
r ( s) sc n1 n2 . Thus, by using the Frenet k (s) a
equations (3.1), we obtain that d (s) (s)t (s) (s)n2 (s) 0, ds
which means that the curve is semi-real spatial quaternionic rectifying curve. Theorem 3.4. Let (s) be a unit speed semi-real spatial quaternionic curve in the following statements hold:
6
3 1
. Then
is a semi-real spatial quaternionic rectifying curve with a spacelike rectifying plane if and only if, up to parametrization, is given by
i)
(t ) y(t )
a , cos t
a 0,
where y(t ) is a unit speed spatial spacelike quaternionic curve lying in the pseudosphere S12 (1) . ii)
is a semi-real spatial spacelike (timelike) quaternionic rectifying curve with a timelike rectifying plane and a spacelike (timelike) quaternionic position vector if and only if, up to parametrization, is given by (t ) y(t )
a , sinh t
a 0,
where y(t ) is a unit speed spatial timelike (spacelike) quaternionic curve lying in the pseudosphere S12 (1) (pseudohyperbolic space H 02 (1) ). iii)
is a semi-real spatial spacelike (timelike) quaternionic rectifying curve with a timelike rectifying plane and a timelike (spacelike) quaternionic position vector if and only if, up to parametrization, is given by (t ) y(t )
a , cosh t
a 0,
where y(t ) is a unit speed spatial spacelike (timelike) quaternionic curve lying in the pseudohyperbolic space H 02 (1) (pseudosphere S12 (1) ). Proof: i) Let ( s) be a unit speed semi-real quaternionic rectifying curve with spacelike 3 1
rectifying plane in
. Since the position vector lies in the spacelike rectifying plane, we
have h( , ) 0, h(t , t ) t 1 and h(n2 , n2 ) n 1. By the proof of Theorem 3.2, we have 2
N ( ) (s c) a , s, a R, a 0. If we apply a translation with respect to s , then we 2
2
2
2
have 2 s 2 a 2 . Next, we define a curve y lying in the pseudosphere S12 (1) by ( s) . ( s)
(3.6)
( s) y ( s) s 2 a 2 .
(3.7)
y ( s)
Then, we get
By differentiating equation (3.7) with respect to s , we obtain that 7
s
t ( s) y( s)
y ( s) s 2 a 2 .
s a2 2
(3.8)
Since h( y, y) 1, we find that h( y, y) 0. From equation (3.8) we get 1 h(t , t ) h( y , y )( s 2 a 2 )
s2 , s a2 2
and so h( y , y )
a2
s
2
a2
2
(3.9)
,
which means that y is a spacelike semi-real quaternionic curve. From (3.9) we obtain that N ( y( s))
s
a . Let t N ( y (u ))du be the pseudo arc length s a2 0 2
parameter of the semi-real quaternionic curve y. Then we have s
a du, 2 0 u a
t
2
and therefore s a tan t. By substituting this into equation the (3.7) we obtain the parametrization. Conversely, assume that is a semi-real quaternionic curve defined by (i), where y (t ) is a unit speed semi-real spacelike quaternionic curve lying in the pseudosphere S12 (1). By differentiating the equation (i) with respect to t , we get (t )
a y(t )sin t y(t ) cos t . cos 2 t
Moreover, we have h( y, y) 1, h( y, y) 1 and h( y, y) 0. So,we obtain that h( , )
a 2 sin t a2 , h( , ) , 3 cos t cos 4 t
(3.10)
a . Let us put (t ) m(t ) (t ) N , where m(t ) R and N cos 2 t h( , ) is a normal component of the position vector . Then we easily find that m , and h( , )
and consequently N (t )
therefore h( N , N ) h( , )
h( , ) 2 . h( , )
8
Since
h( , )
a2 cos 2 t
h( N , N ) a 2 constant.
N ( )
and
by
So,
using we
(3.10),
find
that
the
last
equation
converts
into
and
since
N N (t ) constant
a constant, Theorem 3.2 implies that is a semi-real quaternionic rectifying cos t
curve. ii) Let ( s) be a unit speed semi-real spacelike quaternionic rectifying curve with a timelike rectifying plane and a spacelike position vector. Hence we have h( , ) 0, h(t , t ) t 1
and
h(n2 , n2 ) n2 1.
By the proof of Theorem 3.2, we obtain
2 N ( )2 (s c)2 a2 , s, a R, a 0. If we apply a translation with respect to s , then we
have 2 s 2 a 2 , s a. Further, we define a curve y( s) lying in the pseudosphere S12 (1) by ( s) . ( s)
(3.11)
( s) y ( s) s 2 a 2 ,
(3.12)
y ( s)
It follows that
and if we take the derivative of the previous equation with respect to s , then we easily find that s
t ( s) y( s)
y ( s) s 2 a 2 .
s a2 2
(3.13)
Since h( y, y) 1, it follows that h( y, y) 0. Consequently, h(t , t ) h( y , y )( s 2 a 2 )
s2 1. s a2 2
From the last equation if we do necessary arrangement, we obtain that h( y , y )
a2
s
2
a2
2
(3.14)
,
which means that y is a semi-real timelike quaternionic curve. By considering equation (3.14), we easily find that N ( y( s)) s
a , a 0, s2 a2
s a. Let
t N ( y (u ))du be the pseudo arc length parameter of the semi-real quaternionic curve y. 0
So, we have
9
s
a du, 2 u a2 0
t
and thus s a coth t. By substituting this into (3.12), we obtain the parametrization. Conversely, let us assume that is a semi-real quaternionic curve defined by statement (ii), where y(t ) is a unit speed semi-real timelike quaternionic curve lying in the pseudosphere S12 (1). By differentiating the statement (ii) with respect to t , we find that
(t )
a y(t )sinh t y(t ) cosh t . sinh 2 t
(3.15)
By assumption we have h( y, y) 1, h( y, y) 1 and therefore h( y, y) 0. Then, the equation (3.15) implies that h( , )
and therefore N (t )
a 2 cosh t , sinh 3 t
h( , )
a2 , sinh 4 t
(3.16)
a . cos 2 t
Let us put (t ) m(t ) (t ) N , where m(t ) R and N is a normal component of the position vector . Then we easily find that m
h( N , N ) h( , )
Since h( , )
a2 sinh 2 t
h( , ) , and therefore h( , )
h( , ) 2 . h( , )
(3.17)
and by using the equation (3.16), the equation (3.17) becomes
h( N , N ) a 2 constant. Hence N N (t ) constant and since N ( )
a constant, sinh t
Theorem 3.2 implies that is a semi-real quaternionic rectifying curve. The proof in the case when is a semi-real timelike quaternionic rectifying curve with a timelike rectifying plane and a timelike quaternionic position vector is analogous. iii) The proof is analogous to the proofs of the statements i) and ii).
10
4
Some Characterizations of Semi-Real Quaternionic Rectifying Curves
In this section, we firstly mention semi-real quaternionic curve in characterize the semi-real quaternonic rectifying curve in
4 2
v
4 2
is identified with the
. Suppose that
4
s ( s) i ( s)ei ,
: I R Qv ,
. And then we
in terms of their curvatures.
As in the Section 3, the four dimensional semi-Euclidean space space of unit quaternions which is denoted by
4 2
(1 i 4),
i 1
e4 1
is a smooth curve defined over the interval I 0,1. Let the parameter s be chosen such that the tangent T = (s) has unit magnitude. Theorem 4.1. Let T , N1 , N 2 , N 3 be the Serret-Frenet frame in the point ( s) of the semireal quaternionic curve . Then the Serret-Frenet equations are T N1 N1 , N1 t N1 T n1 kN 2 ,
(4.1)
N 2 t kN1 n1 r t T N1 N 3 ,
N 3 n2 r t T N1 N 2
where N T , N1 T t T , N 2 T n1 T , N 3 T n2 T 1
h T , T T , h N1 , N1 N1 , h N 2 , N 2 n1 T , h N 3 , N 3 n2 T .
(4.2)
It is obtained the Serret-Frenet formulae and the apparatus for the curve (s) by making use of the Serret-Frenet formulae for a curve (s) in
3 1
, [3].
Moreover, there are relationships between curvatures of the curves and . These relations can be explained that the torsion of is the principal curvature of the curve . Also, the bitorsion of is r t T N , where r is the torsion of and is the principal 1
curvature of , [3]. Now, we characterize the semi-real quaternionic rectifying curves with respect to their curvatures. Let (s) be unit speed semi-real quaternionic curve in v , with non-zero curvatures ( s), k ( s) and r t T N . Then, the position vector ( s) of the semi-real 1
quaternionic curve satisfies the equation (s) (s)T (s) (s) N 2 (s) ( s) N3 ( s)
for some differentiable functions (s), ( s) and ( s). Therefore, we give the following theorems of semi-real quaternionic rectifying curve . 11
Theorem 4.2. Let us suppose that s is a unit speed semi-real quaternionic curve in v
, with non-zero curvatures s , k s and r t T N . Then is congruent to a semi1
real quaternionic rectifying curve if and only if tn N 1
s r t T N s c k s
1
1
s k s s c s k s s k s 0 , c R. t n2 N1 2 k s r t T N1
(4.3)
Proof: Let s be a unit speed semi-real quternionic rectifying curve and s , k s and r t T N be non zero curvatures of . By definition, the position vector of the curve 1
satisfies (s) (s)T (s) (s) N 2 (s) ( s) N3 ( s)
(4.4)
for some differentiable functions s , s and s .
By differentiating the equation (4.4) with respect to the pseudo arc length function s and using the Frenet equations (4.1), we find that
T T N1 - t k N1 - n2 r t T N1 N 2 n1 r t T N1 N 3 .
So, we have 1 N t k 0 1
n r tT N 0 2
(4.5)
1
n r t T N 0 1
1
and therefore s s c, s t N
s s c k s
1
s t n N 2
(4.6)
,
s k s s c s k s s k s
k 2 s r t T N1
1
s
,
where c R . In this way we express that the functions s , s and s in terms of the curvature functions s , k s and r (s) t T N (s) of the semi-real quaternionic rectifying curve 1
. Therefore, by using the last equation (4.5) and relation equation (4.6), we find that
curvatures s , k s and r (s) t T N (s) satisfy the equation (4.3). 1
12
Conversely, assume that the curvatures s , k s and arbitrary unit speed semi-real quaternionic rectifying curve in
r ( s) t T
v
N1
(s) of an
. Thus, by considering
the Frenet equations (4.1) and (4.3), we find that s s c N2 s s s c T s t N1 k s d 0 s k s s c s k s - s k s ds t n2 N1 N 3 s k 2 s r t T N1 ( s )
which means that the quaternionic curve is congruent to a semi-real quaternionic rectifying curve. Now, we assume that all the curvature functions s , k s and r (s) t T N (s) 1
of quaternionic rectifying curve in
are constant and different from zero. Then, we can
v
express the following corollary from the Theorem 4.2. Corollary 4.1. There are no quaternionic semi-real rectifying curves lying fully in
v
, with
non-zero constant curvatures s , k s and r (s) t T N (s) . 1
Let s be a unit speed semi-real quternionic curve in curvatures s , k s and
r ( s) . t T
N1
v
, with non-zero
If any two of the curvature functions are
constant, we may consider the following theorem. Theorem 4.3 Let s be a unit speed semi-real quternionic curve in
r ( s) .
curvatures s , k s and
t T
N1
Then
v
, with non-zero
is congruent to a semi-real
quaternionic rectifying curve if i)
(s) constant 0 , k s constant 0 and
r
t T
N
1 n1 n2 s 2 n1 n2 cs 2c1
1
2
(namely, r s non constant ), c, c1 R ; ii)
k s constant 0 and r s t T N1 s
(namely,
r (s) constant ). t T
N1
Then, s
c1e
i n1 n2 ( r t T N1 ) s
c2 e sc
i n1 n2 ( r t T N1 ) s
, c, c1 , c2 R .
iii) s constant 0, r s constant (namely, r t T N (s) constant ) and 1
sc
k s c1e
i n1 n2 ( r t T N1 ) s
c2 e
i n1 n2 ( r t T N1 ) s
Proof: 13
, c, c1 , c2 R.
Suppose that s constant 0 , k s constant 0 and r s is non-constant
i)
function. By using the equation (4.5), we find differential equation
r s n1 n2 r t T N1
s c 0, 3
cR .
The solution of the this differential equation is given by
r
t T
ii)
Now,
assume
N
1 n1 n2 s 2 2 n1 n2 cs 2c1
1
k s constant 0 ,
that
.
r s t T N1 s
(namely,
r (s) constant ) non constant functions. Then equation (4.5) implies differential t T
N1
equation n s s c r s t T N s n s s c 0, r s t T N s constant 0, c R, 2
1
1
2
1
whose solution has the form s
c1e
i n1 n2 ( r t T N1 ) s
c2 e sc
i n1 n2 ( r t T N1 ) s
, c, c1 , c2 R .
iii) If (s) constant 0, r (s) = constant (namely, r (s) t T N (s) constant ) and k ( s) 1
is non-constant function, by using the equation (4.3) we get the following differential equation
n
1
s s c r s t T N s k s
1
2
s s c 0, r s t T N1 s constant 0, c R. k s
The solution of the above differential equation is given by sc
k s c1e
i n1 n2 ( r t T N1 ) s
c2 e
i n1 n2 ( r t T N1 ) s
, c, c1 , c2 R.
The following theorem provides some simple characterizations of semi-real quaternionic rectifying curves in v .
14
Theorem 4.4. Let s be a unit speed semi-real quaternionic rectifying curve in
v
,
with non-zero curvatures s , k s and r (s) t T N (s) if and only if one the following 1
four statements hold; i) The distance function N ( ) satisfies 2 T s 2 c1s c2 for some constants c1 and c2 .
ii) The tangential component of the position vector of the semi-real spatial quaternionic curve is given by h , T T s c for some constant c . iii) The normal component N of the position vector of the curve has constant length and the distance function is nonconstant. iv) The first binormal component and the second binormal component of the position vector of the semi-real quaternionic curve are respectively given by h s , N 2 s t n1 T N1 h s , N 3 s t T N1
s s c k s
s k s s c s k s - s k s
k 2 s r t T N1 ( s )
(4.7) , c R.
Proof: i) Let us assume that : I Qv is parameterized by the pseudo arc length function s and is a semi-real quaternionic rectifying curve in
v
with non-zero curvatures s ,
k s and r t T N1 .
The position vector s of the satisfies the equation (4.4), where the differentiable functions s , s and s satisfy the relation (4.5). If we make necessary arrangement in the equation (4.5), we obtain that r t T N (s) n s s n s s 0 1
2
2
Since r t T N 0 by assumption, n s s n s s 0 is found. 1
1
2
So, n 2 s n 2 s a2 , 1
for
some
(4.8)
2
a 0.
constant
the equation (4.4) we have h s , s T s n T s n T s , which together with (4.6) and (4.8) gives 2
From
2
1
2
2
h s , s T s c a 2 . Therefore, we obtain 2
2 T s 2 c1s c2 , for some
constants c1 and c2 . So, the statement (i) is provided. ii) From the equation (4.4) we obtain that h s , T s T s , which together with (4.6) give h s , T s T s c , c R . iii) From the equation (4.4) it is clear that the normal component N of the position vector of the quaternionic rectifying curve implies N s s N 2 s s N3 s and 15
therefore h N s , N s n T 2 s n T 2 s . Therefore, by using (4.8), we find 1
2
N (s) a , for some constant a 0 . By statement (i), s is non-constant function. N
Thus, statement (iii) is proved. iv) Taking the scalar product of the equation (4.6) with N 2 and N 3 , respectively. Thus, by using the equation (4.6), we find that curvatures s , k s and r (s) t T N (s) 1
satisfy the equation (4.7). Conversely, assume that statement (i) (or statement (ii)) holds. Then, we have h s , s T s 2 c1s c2 , for some constants c1 and c2 . By differentiating this equation two times (one times) with respect to s and using the Frenet equations (4.2), we obtain N s h s , N1 s 0 . Since s 0 by assumption, h s , N1 s 0 is found. 1
Hence, is a semi-real quaternionic rectifying curve. If statement (iii) holds, let us put s s T s N s , where s is arbitrary differentiable function. Then h N s , N s h s , s 2 s h s , T s 2 s h s , T s .
Since h s , T s T s and h s , T s T , we get h N s , N s h s , s T h s , T s , 2
(4.9)
where h N s , N s is a constant from statement (iii) and h s , s 2 s is a non constant from statement (i). Differentiating the equation (4.9) with respect to s and using the Serret-Frenet equations (4.4), we find T N s h s , N1 s 0 . Since s 0 by assumption, 1
h s , N1 s 0 is found. Hence, is a semi-real quaternionic rectifying curve.
Finally, if statement (iv) holds, by taking the derivative of the first equation in (4.7) with respect to s and using the Serret-Frenet equations (4.2), we obtain K s s c t k s h s , N1 s n1 r t T N1 (s)h s , N 3 s t n1 T N1 . k s
By using the second equation in (4.7), the last equation becomes t k s h s , N1 s 0 . Since k s is non zero curvature by assumption, h s , N1 s 0 is found. Hence, is a semi-real quaternionic rectifying curve. This proves the theorem. References
16
[1] B. Y. Chen, When does the position vector of a space curve always lie in its rectifying plane, Amer. Math. Monthly 110, 147-152, 2003. [2] K. Bharathi and M. Nagaraj, Quaternion valued Function of a Real Variable SerretFrenet Formulae, Indian J. Pure, 18(6), 507-511, 1987. [3] A. C. Çöken and A. Tuna, On the quaternionic inclined curves in the semiEuclidean space 24 , Applied Mathematics and Computation, 155, 373-389, 2004. [4] M. A. Güngör and M. Tosun, Some Characterizations of Quaternionic Rectifying Curves, Differential Geometry, Dynamical Systems, 13, 102-113, 2011. [5] B. Y. Chen and F. Dillen, Rectifying curves as centrodes and extremal curves, Bull. Inst. Math. Academia Sinica 33(2), 77-90, 2005. [6] K. İlarslan, E. Nesovic, Some characterizations of rectifying curves in Euclidean space E 4 , Turk J. Math. 32, 21-30, 2008. [7] K. İlarslan and E. Nesovic, On Rectifying as Centrodes and Extramal Curves in the Minkowski 3-Space, Novi Sad J. Math, 37(1), 53-64, 2007. [8] M. Özdemir and A.A. Ergin, Rotations with unit timelike quaternions in Minkowski 3 space, Journal of Geometry and Physics, 56, 322-336, 2006. [9] J. P. Ward, Quaternions and Cayley Numbers, Kluwer Academic Publishers, Boston/London, 1997. [10] K. İlarslan, E. Nesovic and M. Petrovic-Torgasev, Some characterizations of rectifying curves in the Minkowski 3-space, Novi Sad J. Math, 33(2), 23-32, 2003. [11]
F. Kahraman, İ. Gök and H. H. Hacısalihoğlu, On the quaternionic B2 slant
helices in the semi-Euclidean space E24 , Applied Mathematics and Computation, 155, 373389, 2004.
Department of Mathematics, Sakarya Unıversity, Sakarya, Turkey. E-mail:
[email protected] Department of Mathematics, Sakarya Unıversity, Sakarya, Turkey. E-mail:
[email protected]
17