# Some characterizations of null osculating curves in the Minkowski space-time/Nullkooldumiskoverate iseloomustusest Minkowski aegruumis.

1. INTRODUCTION

In the Euclidean space [E.sub.3] there exist three classes of curves, so-called rectifying, normal, and osculating curves, which satisfy Cesaro's fixed point condition [3]. Namely, rectifying, normal, and osculating planes of such curves always contain a particular point. It is well known that if all the normal or osculating planes of a curve in [E.sub.3] pass through a particular point, then the curve lies in a sphere or is a planar curve, respectively. It is also known that if all rectifying planes of the curve in [E.sub.3] pass through a particular point, then the ratio of torsion and curvature of the curve is a non-constant linear function [2]. Rectifying curves in the Minkowski space-time [E.sup.4.sub.1] are defined and studied in [4].

Normal curves in the Minkowski space-time are defined in [5] as the space curves whose position vector (with respect to some chosen origin) always lies in its normal space [T.sup.[perpendicular to]], which represents the orthogonal complement of the tangent vector field of the curve.

Analogously, osculating curves in the Minkowski space-time are defined in [6] as the space curves whose position vector (with respect to some chosen origin) always lies in its osculating space, which represents the orthogonal complement of the first binormal or second binormal vector field of the curve. Timelike osculating curves as well as spacelike osculating curves, whose Frenet frame contains only non-null vector fields, are characterized in [6].

In this paper we give the necessary and sufficient conditions for null curves in [E.sup.4.sub.1] to be osculating curves in terms of their curvature functions. In particular, we obtain some relations between null normal curves and null osculating curves as well as between null rectifying curves and null osculating curves. Finally, we give some examples of the null osculating curves in [E.sup.4.sub.1].

2. PRELIMINARIES

The Minkowski space-time [E.sup.4.sub.1] is the Euclidean 4-space [E.sup.4 equipped with indefinite flat metric given by

g = --[dx.sup.2.sub.1] + [dx.sup.2.sub.2] + [dx.sup.2.sub.3] + [dx.sup.2.sub.4],

where ([x.sub.1], [x.sub.2], [x.sub.3], [x.sub.4]) is a rectangular coordinate system of [E.sup.4.sub.1]. Recall that a vector v [member of] [E.sup.4.sub.1] can be spacelike if g(v, v) > 0 or v = 0, timelike if g(v, v) < 0, and null (lightlike) if g(v, v) = 0 and v [not equal to] 0. The norm of a vector v is given by [parallel]v[parallel] = [square root of [absolute value of g(v, v)], and two vectors v and w are said to be orthogonal if g(v, w) = 0. An arbitrary curve [alpha](s) in [E.sup.4.sub.1] can locally be spacelike, timelike, or null (lightlike), if all its velocity vectors [alpha]' (s) are respectively spacelike, timelike, or null [7]. A null curve [alpha] is parameterized by pseudo-arc s if g([alpha]"(s), [alpha]"(s)) = 1 [1].

Let {T,N, [B.sub.1], [B.sub.2]} be the moving Frenet frame along a curve [alpha] in [E.sup.4.sub.1] consisting of the tangent, principal normal, first binormal vector field, and second binormal vector field, respectively. If [alpha] is a null Cartan curve, the Frenet equations are given by [1,8]

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (1)

where the first curvature [[kappa].sub.1] (s) = 0 if [alpha] is a straight line, in all other cases [[kappa].sub.1] (s) = 1. Therefore, such curve has two curvatures [[kappa].sub.2](s) and [[kappa].sub.3](s) and the following conditions hold

g(T, T) = g([B.sub.1], [B.sub.1]) = 0, g(N,N) = g ([B.sub.2], [B.sub.2]) = 1, g(T, N)= g(T, [B.sub.2]) = g(N, [B.sub.1]) = g(N, [B.sub.2]) = g([B.sub.1], [B.sub.2]) = 0, g(T, [B.sub.1]) = 1.

Recall that arbitrary curve [alpha] in [E.sup.4.sub.1] is called osculating curve of the first or second kind if its position vector (with respect to some chosen origin) always lies in the orthogonal complement [B.sub.2[perpendicular to].sub.2] or [B.sub.2[perpendicular to].sub.2], respectively [6].

Consequently, the position vector of the null osculating curve of the first and second kind satisfies respectively the equations

[alpha](s) = [lambda](s)T (s) + [mu](s)N(s) + v(s)[B.sub.1](s), (2)

[alpha](s)= [lambda](s)N (s)+ [mu](s) [B.sub.1](s) + v(s)[B.sub.2](s), (3)

for some differentiable functions [lambda](s), [mu](s), and v(s) in pseudo-arc function s.

3. NULL OSCULATING CURVES OF THE FIRST KIND IN [E.sup.4.sub.1]

In this section we characterize null osculating curves of the first kind in the Minkowski space-time. We show that a null curve in [E.sup.4.sub.1] is an osculating curve of the first kind if and only if it lies fully in the timelike hyperplane of [E.sup.4.sub.1]. In relation to that, we give the following theorem.

Theorem 3.1. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] Then [alpha] is congruent to an osculating curve of the first kind if and only if its third curvature [[kappa].sub.3](s) is equal to zero for each s.

Proof. First assume that [alpha] is an osculating curve of the first kind in [E.sup.4.sub.1]. Then its position vector satisfies relation (2). Differentiating relation (2) with respect to s and using (1), we easily find that [[kappa].sub.3](s) = 0.

Conversely, assume that the third curvature [k.sub.3] (s) = 0 for each s. Then relation (1) implies that [B.sub.2](s) is a constant vector and hence g([alpha], [B.sub.2]) is a constant function. Since the position vector of [alpha] can be decomposed as

[alpha] = g([alpha], [B.sub.1])T + g(alpha], N)N + g([alpha],T) [B.sub.1] + g([alpha], [B.sub.2]) {B.sub.2],

and g([alpha], [B.sub.2])[B.sub.2] is a constant vector, it follows that a is congruent to an osculating curve of the first kind. This completes the proof of the theorem. []

As a consequence, we easily get the following two statements.

Corollary 3.1. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1]. Then a lies fully in the timelike hyperplane of [E.sup.4.sub.1] if and only if it is an osculating curve of the first kind.

Corollary 3.2. Let [alpha] be the null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s. Then a is an osculating curve of the first kind if and only if its position vector has the following form

[alpha](s) = (v(s) [k.sub.2] (s) - v"(s))T (s) + v' (s)N (s) + v(s)[B.sub.1](s),

where v(s) = g([alpha](s), T (s)) [not equal to] 0 is an arbitrary differentiate function satisfying the differential equation

v"'(s) - 2v' (s)[k.sub.2] (s) - v(s)[k'.sub.2] (s) + 1 = 0.

4. NULL OSCULATING CURVES OF THE SECOND KIND IN [E.sup.4.sub.1]

In this section, we characterize null osculating curves of the second kind lying fully in [E.sup.4.sub.1] by using the components of their position vectors and the curvature functions. Let [alpha] be a null osculating curve of the second kind in [E.sup.4.sub.1] parameterized by pseudo-arc s and with the third curvature [k.sub.3] (s) [not equal to] 0 for each s. Then its second curvature [k.sub.2](s) can be equal to zero or different from zero. Thus we consider two cases: (A) [k.sub.2](s) = 0 and (B) [k.sub.2](s) [not equal to] 0.

Case (A) [k.sub.2](s) = 0.

Differentiating relation (3) with respect to s and by using (1), we obtain the system of equations

[mu](s) - [lambda] (s) = 0, [lambd]'(s) = 0, - v(s) [[kappa].sub.3] (s) = 1, v'(s) + [mu](s) [[kappa].sub.3](s) = 0, (4)

where [lambda] = g([alpha], N), [mu] = g(a, T), and v = g([alpha], [B.sub.2]) are the principal normal, the tangential, and the second binormal component of the position vector of the curve, respectively. From the second equation of relation (4) we get [lambda](s) = c [member of] R, so we may distinguish two subcases: (A.1) [lambda](s) = 0 and (A.2) [lambda](s) = c [member of] [R.sub.0].

(A.1) [lambda](s) = 0. In this subcase, the first equation of (4) implies that the tangential component [mu] = g([alpha], T) is a real constant, so again we may distinguish two subcases: (A.1.1) [mu](s) = 0 and (A.1.2) [mu](s) = a, a [member of] [R.sub.0] .

(A.1.1) [mu](s) = 0. In this subcase, we obtain the following theorem which gives the necessary and sufficient conditions for the null curve in [E.sup.4.sub.1] with the zero tangential component of the position vector to be an osculating curve of the second kind.

Theorem 4.1. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [k.sub.1](s) = 1, [k.sub.2](s) = 0, and [k.sub.3](s) [not equal to] 0. If [alpha] is an osculating curve of the second kind with tangential component g([alpha], T) = 0, then the following statements hold:

(i) the third curvature [k.sub.3] (s) is a non-zero constant;

(ii) [alpha] lies in a pseudosphere [S.sup.3.sub.1](r), r [member of] [R.sup.+.sub.0];

(iii) the second binormal component g([alpha], [B.sub.2]) of the position vector of the curve is a non-zero constant. Conversely, if a is a null Cartan curve in E4 parameterized by pseudo-arc s, with curvatures k4 (s) = 1, [k.sub.2](s) = 0, [k.sub.3](s) [not equal to] 0 and one of the statements (i), (ii), or (iii) holds, then [alpha] is an osculating curve of the second kind.

Proof. First assume that [alpha](s) is an osculating curve of the second kind with tangential component g([alpha], T) = 0. By using the system of equations (4) we get

[lambda](s)= 0, - v(s)[k.sub.3] (s) = 1, v'(s)= 0.

It follows that v(s) = c [member of] [R.sub.0] and thus [k.sub.3] (s) = - 1/c = constant, which proves statement (i). Since the position vector of the curve is given by

[alpha](s) = c[B.sub.2](s), c [member of] [R.sub.0],

we easily get g([alpha], [alpha]) = [c.sup.2], g([alpha], [B.sub.2]) = c, which proves statements (ii) and (iii).

Conversely, assume that statement (i) holds. Putting [k.sub.3] (s) = c, c [member of] [R.sub.0] and using relation (1), we find

d/ds ([alpha](s)+ 1/c [B.sub.2](s)) = 0.

Thus [alpha] is congruent to the second kind null osculating curve. If statement (ii) holds, differentiating the equation g([alpha], [alpha]) = [r.sup.2], r [member of] [R.sup.+.sub.0], three times with respect to s and using (1), we obtain g([alpha], [B.sub.1]) = 0, which means that [alpha] is a second kind osculating curve. If statement (iii) holds, by taking the derivative of the equation g([alpha], [B.sub.2])= constant [not equal to] 0 with respect to s and by applying (1), we get g([alpha], [B.sub.1])= 0, which proves the theorem. []

The next statement is an easy consequence of Theorem 4.1. It gives the simple relationship between null normal curves and null osculating curves of the second kind.

Corollary 4.1. Every null normal curve lying fully in [E.sup.4.sub.1] is a second kind null osculating curve. Conversely, every second kind null osculating curve in [E.sup.4.sub.1] with zero tangential component g([alpha], T) is a null normal curve.

(A.1.2) [mu](s) = a [member of] [R.sub.0]. In this subcase the following theorem, which can be proved in a similar way as Theorem 4.1, holds.

Theorem 4.2. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [k.sub.1] (s) = 1, [k.sub.2](s) = 0, and [k.sub.3] (s) [not equal to] 0. If [alpha] is an osculating curve of the second kind with tangential component g([alpha], T) = a [member of] [R.sub.0], then the following statements hold:

(i) the third curvature [k.sub.3] (s) is given by

[k.sub.3](s) = 1/[square root of 2as + b], a [member of] [R.sub.0], b [member of] R; 2as + b

(ii) the principal normal component of the position vector of the curve is zero, i.e. g([alpha], N) = 0;

(iii) the distance function [rho] = [parallel][alpha][parallel] satisfies [[rho].sup.2] = [absolute value of [c.sub.1] s + [c.sub.2]], [c.sub.1] [member of] [R.sub.0], [c.sub.2] [member of] R.

Conversely, if [alpha] is a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [[k.sub.1] (s) = 1 , [k.sub.2](s) = 0, [k.sub.3](s) = 0 and one of the statements (i), (ii), or (iii) holds, then a is an osculating curve of the second kind.

As a consequence of Theorem 4.2, we obtain the next statement which gives a simple relationship between null rectifying curves and null osculating curves of the second kind.

Corollary 4.2. Every null rectifying curve in [E.sup.4.sub.1] with the second curvature [k.sub.2](s) = 0 is an osculating curve of the second kind. Conversely, every osculating curve [alpha] of the second kind in [E.sup.4.sub.1] with principal normal component g([alpha], N) = 0 is a null rectifying curve.

(A.2) [lambda](s) = c [member of] [R.sub.0]. In this subcase we obtain the next theorem which gives the necessary and sufficient conditions for the null curve in [E.sup.4.sub.1] with the constant principal normal component of the position vector to be an osculating curve of the second kind.

Theorem 4.3. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [[k.sub.1] (s) = 1 , [k.sub.2](s) = 0, and [k.sub.3] (s) [not equal to] 0. If a is an osculating curve of the second kind with principal normal component g([alpha], N) = c [member of] [R.sub.0], then the following statements hold:

(i) the third curvature [k.sub.3](s) is given by

[k.sub.3] (s)= 1/[square root of [as.sup.2] + bs + c], a [member of] [R.sub.0], b, c [member of] R;

(ii) the tangential component of the position vector of the curve is given by g([alpha], T) = as + b, a [member of] [R.sub.0], b [member of] R;

(iii) the distance function [rho](s) = [parallel][alpha](s)[parallel] satisfies [[rho].sup.2](s) = [absolute value of [ds.sup.2] + es + f], d [member of] [R.sub.0], [R.sub.0], e, f [member of] R.

Conversely, if [alpha] is a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s, with curvatures [[k.sub.1] (s) = 1, [k.sub.2](s) = 0, [k.sub.3](s) [not equal to] 0 and one of the statements (i), (ii), or (iii) holds, then [alpha] is an osculating curve of the second kind.

The proof of Theorem 4.3 is similar to the proof of Theorem 4.1.

Case (B) [k.sub.2](s) [not equal to] 0.

Differentiating relation (3) with respect to s and using (1), we obtain the system of equations

[lambda] [[kappa].sub.2] - V[[kappa].sub.3] = 1, [lambda]' = [mu] [[kappa.sub.2] [mu]' = [lambda], v' + [mu][[kappa].sub.3] = 0. (5)

By using the first and last equation of relation (5), we get

([lambda] [[kappa].sub.2] - 1 / [[kappa].sub.3]' + [mu] [[kappa].sub.3] = 0.

By using the second and the third equation of relation (5), a straightforward calculation leads to the differential equation

[mu]' ([k.sub.2]/[k.sub.3])' + [mu] ([k.sup.2.sub.2] + [k.sup.2.sub.3] / [k.sub.3] - (1/[k.sub.3])' = 0. (6)

Then we may distinguish two subcases: (B.1) ([k.sub.2]/[k.sub.3])' = 0 and (B.2) ([k.sub.2]/[k.sub.3])' [not equal to] 0.

(B.1) ([k.sub.2]/[k.sub.3])' = 0. It follows that the ratio of the curvature functions [k.sub.2] and [k.sub.3] is a constant, i.e. [k.sub.2](s)/[k.sub.3](s) = a [member of] [R.sub.0], so we again may distinguish two subcases: (B.1.1) [k.sub.3](s) = c [member of] [R.sub.0] and (B.1.2) [k.sub.3](s) [not equal to] constant.

(B.1.1) [k.sub.3](s) = [member of] [R.sub.0]. Then [k.sub.2](s) = ac [member of] [R.sub.0], which means that [alpha] is a null helix. Moreover, relation (6) becomes

c[mu](s)([a.sup.2] + 1) = 0.

The last equation implies that tangential component [mu] (s) = 0. In this way, we obtain the next characterization of null osculating helices of the second kind.

Theorem 4.4. Let [alpha] be a null Cartan helix in [E.sup.4.sub.1]. Then a is congruent to an osculating curve of the second kind with tangential component g([alpha], T) = 0 if and only if [alpha] lies in a pseudosphere [S.sup.3.sub.1](r) in [E.sup.4.sub.1].

We omit the proof of the previous theorem since it is analogous to the proof of Theorem 4.1.

(B.1.2) [k.sub.3](s) [not equal to] constant. In this subcase the following theorem holds.

Theorem 4.5. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s and with curvatures [k.sub.1](s) = 1, [k.sub.2](s) = a[k.sub.3](s), a [member of] [R.sub.0], [k.sub.3](s) [not equal to] constant. Then a is congruent to an osculating curve of the second kind if and only if the third curvature [k.sub.3](s) satisfies the differential equation

9[k".sub.3]'(s)i [k'.sub.3](s)[k.sub.3](s) - [k"'.sub.3](s)[k.sub.2.sub.3] (s) - 12 [k'.sub.3.sub.3](s) + a[k.sub.3.sub.3](s) [k.sup.3.sub.3](s) = 0, a [member of] [R.sub.0]. (7)

Proof. First assume that a is congruent to the second kind osculating curve. By using relation (6) we get

[mu] = - [k'.sub.3] / [k.sup.3.sub.3] ([a.sup.2] + 1). (8)

Next, relation (8) and the third equation of relation (5) imply

[lambda] = 3 [k'.sub.3.sub.2] - [k'.sub.3] [k.sub.3] (9)

Substituting (9) in the first equation of relation (5), we obtain

v = a(3[k.sub.2.sub.2] - [k'.sub.3] [k.sub.3]) - [k.sub.3.sub.3]]([a.sup.2] + 1)/ [k.sup.4.sub.3] ([a.sup.2] + 1) (10)

In this way, all components of the position vector [alpha] are expressed in terms of the third curvature [k.sub.3]. Moreover, by using (8), (9), and the second equation of relation (5) we find that [k.sub.3] satisfies relation (7).

Conversely, assume that the third curvature [k.sub.3] satisfies relation (7). Let us consider the vector X [member of] [E.sup.4.sub.1] given by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

By using (1) and (7), we find that X' = 0, which means that X is a constant vector. Consequently, [alpha] is congruent to an osculating curve of the second kind. This completes the proof of the theorem. []

(B.2) ([k.sub.2]/[k.sub.3])' [not equal to] 0. It follows that [k.sub.2](s)/[k.sub.3](s) [not equal to] constant. Then we may distinguish two subcases: (B.2.1) [k.sub.2](s) [not equal to] constant, [k.sub.3](s) [not equal to] constant [not equal to] 0; (B.2.2) [k.sub.2](s) = 0, [k.sub.3](s) = constant;

(B.2.1) [k.sub.2](s) [not equal to] constant, [k.sub.3](s) = constant [not equal to] 0. In this subcase, we obtain the next theorem which can be proved in a similar way as Theorem 4.5.

Theorem 4.6. Let a be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [[kappa].sub.1] (s) = 1 , [k.sub.2](s) [not equal to] constant, and [k.sub.3](s) = a [member of] [R.sub.0]. Then a is congruent to an osculating curve of the second kind if and only if the second curvature [k.sub.2](s) satisfies the differential equation

([k.sub.2.sub.2](s)+ [a.sup.2])[k'.sub.2](s) - 3[k.sub.2](s) [k'.sup.2.sub.2] (s) + [([k.sub.2.sub.2]] (s)+ [a.sup.2]).sup.2] = 0, a [member of] [R.sub.0]. (11)

(B.2.2) [k.sub.2](s) [not equal to] 0, [k.sub.3](s) [not equal to] constant. In the last subcase, the following theorem holds.

Theorem 4.7. Let a be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [k.sub.1] (s) = 1, [k.sub.2](s) [not equal to] 0, and [k.sub.3](s) [not equal to] constant. Then [alpha] is congruent to an osculating curve of the second kind if and only if the curvature functions [k.sub.2](s) and [k.sub.3](s) satisfy the relation

[e.sup.-[integral]p(s)ds] (c + [integral] q(s) [e.sup.[integral]p(s)ds] ds) = p(s)q(s) - q'(s) / [p.sup.2](s) - p'(s) - [k.sub.2](s), c [member of] R.

where

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

5. SOME EXAMPLES OF NULL OSCULATING CURVES IN [E.sup.4.sub.1]

Let us consider the null cubic in [E.sup.4.sub.1] given by

[alpha](s) = (1/6 [s.sup.3] + s, 1/2 [s.sup.2], 1/6 [s.sup.3], [s.sup.3], s).

Since its curvature functions have the form

[[kappa].sub.](s) = 1, [[kappa].sub.2](s)= 0, [[kappa].sub.3](s) = 0,

Theorem 3.1 implies that [alpha] is an osculating curve of the first kind.

As the second example of a null osculating curve, let us consider the curve a in [E.sup.4.sub.1] with the equation

[alpha](s) (1/[square root of 2] sinh s, 1/[square root of 2] cosh s, 1/[square root of 2] sin s, 1/[square root of 2] coss s).

It can be easily verified that curvature functions of [alpha] are given by

[[kappa].sub.1](s) = 1, [[kappa].sub.2] (s) = 0, [[kappa].sub.3](s) = -1.

Hence a is a null helix lying in the pseudosphere. According to Theorem 4.4, [alpha] is an osculating curve of the second kind.

Next, let us consider the null curve in [E.sup.4.sub.1] given by

[alpha](s) = ([e.sup.as] + 1/c cos(cs) - 1/2 [a.sup.2] [e.sup.-as], [e.sup.as] + 1/c cos(cs), 1/2 [a.sup.2] [e.sup.-as] - 1/c cos(cs), 1/c sin (cs)),

where a, c [member of] [R.sub.0]. By using a straightforward calculation it can be shown that tangent vector T(s) = [alpha]'(s) satisfies the equation g([alpha], T) = 0. Hence Theorem 4.2 implies that [alpha] is an example of an osculating curve of the second kind.

Finally, let us consider the null curve in [E.sup.4.sub.1] with the equation

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

where s is a pseudo-arc parameter. A straightforward calculation shows that the curvature functions of [alpha] are given by

[[kappa].sub.1] (s) = 1, [k.sub.2](s) = 6/ [s.sup.2], [k.sub.3](s) = 6/[as.sup.2],

where a [member of] [R.sub.0]. Moreover, it can be easily verified that the curvature functions satisfy relation (7). According to Theorem 4.7, it follows that a is congruent to an osculating curve of the second kind.

6. CONCLUSION AND FURTHER REMARKS

Many classical results from Riemannian geometry have Lorentz counterparts. In fact, spacelike and timelike curves can be studied by a similar approach as in positive definite Riemannian geometry. However, null curves have some different properties compared to spacelike and timelike curves. In other words, the results of the null curve theory have no Riemannian analogues, because the arc length of the null curve vanishes, so that it is not possible to normalize the tangent vector in the usual way.

In this paper, we introduce the notions of the first kind and the second kind null osculating curves in the Minkowski space-time [E.sup.4.sub.1] . Also we give the necessary and sufficient conditions for the null curves in E4 to be osculating curves in terms of their curvature functions. Relevant examples are given. In the light of the obtained results, we also emphasize that the same problem can be studied for null, pseudo null, partially null, spacelike, and timelike curves in the semi-Riemannian space [E.sup.4.sub.2].

doi: 10.3176/proc.2012.1.01

REFERENCES

(1.) Bonnor, W. B. Null curves in a Minkowski space-time. Tensor, 1969, 20, 229-242.

(2.) Chen, B. Y. When does the position vector of a space curve always lie in its rectifying plane? Amer. Math. Monthly, 2003,110, 147-152.

(3.) Honda, K. and Inoguchi, J. Cesaro's method for Cartan framed null curves. Preprint, 2003.

(4.) Ilarslan, K. and Nesovic, E. Some charactherizations of null, pseudo null and partially null rectifying curves in Minkowski space-time. Taiwan. J. Math., 2008, 12(5), 1035-1044.

(5.) Ilarslan, K. and Nesovic, E. Spacelike and timelike normal curves in Minkowski space-time. Publ. Inst. Math. Belgrade, 2009, 85(99), 111-118.

(6.) Ilarslan, K. and Nesovic, E. The first kind and the second kind osculating curves in Minkowski space-time. Compt. rend. Acad. bulg. Sci., 2009, 62(6), 677-686.

(7.) O'Neill, B. Semi-Riemannian Geometry with Applications to Relativity. Academic Press, New York, 1983.

(8.) Walrave, J. Curves and Surfaces in Minkowski Space. Doctoral thesis, K. U. Leuven, Faculty of Science, Leuven, 1995.

Kazim Ilarslan (a) * and Emilija Nesovic (b)

(a) Kirikkale University, Faculty of Sciences and Arts, Department of Mathematics, Kirikkale, Turkey

(b) University of Kragujevac, Faculty of Science, Department of Mathematics and Informatics, Kragujevac, Serbia

Received 14 October 2010, accepted 15 July 2011, available online 15 February 2012

* Corresponding author, kilarslan@yahoo.com

In the Euclidean space [E.sub.3] there exist three classes of curves, so-called rectifying, normal, and osculating curves, which satisfy Cesaro's fixed point condition [3]. Namely, rectifying, normal, and osculating planes of such curves always contain a particular point. It is well known that if all the normal or osculating planes of a curve in [E.sub.3] pass through a particular point, then the curve lies in a sphere or is a planar curve, respectively. It is also known that if all rectifying planes of the curve in [E.sub.3] pass through a particular point, then the ratio of torsion and curvature of the curve is a non-constant linear function [2]. Rectifying curves in the Minkowski space-time [E.sup.4.sub.1] are defined and studied in [4].

Normal curves in the Minkowski space-time are defined in [5] as the space curves whose position vector (with respect to some chosen origin) always lies in its normal space [T.sup.[perpendicular to]], which represents the orthogonal complement of the tangent vector field of the curve.

Analogously, osculating curves in the Minkowski space-time are defined in [6] as the space curves whose position vector (with respect to some chosen origin) always lies in its osculating space, which represents the orthogonal complement of the first binormal or second binormal vector field of the curve. Timelike osculating curves as well as spacelike osculating curves, whose Frenet frame contains only non-null vector fields, are characterized in [6].

In this paper we give the necessary and sufficient conditions for null curves in [E.sup.4.sub.1] to be osculating curves in terms of their curvature functions. In particular, we obtain some relations between null normal curves and null osculating curves as well as between null rectifying curves and null osculating curves. Finally, we give some examples of the null osculating curves in [E.sup.4.sub.1].

2. PRELIMINARIES

The Minkowski space-time [E.sup.4.sub.1] is the Euclidean 4-space [E.sup.4 equipped with indefinite flat metric given by

g = --[dx.sup.2.sub.1] + [dx.sup.2.sub.2] + [dx.sup.2.sub.3] + [dx.sup.2.sub.4],

where ([x.sub.1], [x.sub.2], [x.sub.3], [x.sub.4]) is a rectangular coordinate system of [E.sup.4.sub.1]. Recall that a vector v [member of] [E.sup.4.sub.1] can be spacelike if g(v, v) > 0 or v = 0, timelike if g(v, v) < 0, and null (lightlike) if g(v, v) = 0 and v [not equal to] 0. The norm of a vector v is given by [parallel]v[parallel] = [square root of [absolute value of g(v, v)], and two vectors v and w are said to be orthogonal if g(v, w) = 0. An arbitrary curve [alpha](s) in [E.sup.4.sub.1] can locally be spacelike, timelike, or null (lightlike), if all its velocity vectors [alpha]' (s) are respectively spacelike, timelike, or null [7]. A null curve [alpha] is parameterized by pseudo-arc s if g([alpha]"(s), [alpha]"(s)) = 1 [1].

Let {T,N, [B.sub.1], [B.sub.2]} be the moving Frenet frame along a curve [alpha] in [E.sup.4.sub.1] consisting of the tangent, principal normal, first binormal vector field, and second binormal vector field, respectively. If [alpha] is a null Cartan curve, the Frenet equations are given by [1,8]

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (1)

where the first curvature [[kappa].sub.1] (s) = 0 if [alpha] is a straight line, in all other cases [[kappa].sub.1] (s) = 1. Therefore, such curve has two curvatures [[kappa].sub.2](s) and [[kappa].sub.3](s) and the following conditions hold

g(T, T) = g([B.sub.1], [B.sub.1]) = 0, g(N,N) = g ([B.sub.2], [B.sub.2]) = 1, g(T, N)= g(T, [B.sub.2]) = g(N, [B.sub.1]) = g(N, [B.sub.2]) = g([B.sub.1], [B.sub.2]) = 0, g(T, [B.sub.1]) = 1.

Recall that arbitrary curve [alpha] in [E.sup.4.sub.1] is called osculating curve of the first or second kind if its position vector (with respect to some chosen origin) always lies in the orthogonal complement [B.sub.2[perpendicular to].sub.2] or [B.sub.2[perpendicular to].sub.2], respectively [6].

Consequently, the position vector of the null osculating curve of the first and second kind satisfies respectively the equations

[alpha](s) = [lambda](s)T (s) + [mu](s)N(s) + v(s)[B.sub.1](s), (2)

[alpha](s)= [lambda](s)N (s)+ [mu](s) [B.sub.1](s) + v(s)[B.sub.2](s), (3)

for some differentiable functions [lambda](s), [mu](s), and v(s) in pseudo-arc function s.

3. NULL OSCULATING CURVES OF THE FIRST KIND IN [E.sup.4.sub.1]

In this section we characterize null osculating curves of the first kind in the Minkowski space-time. We show that a null curve in [E.sup.4.sub.1] is an osculating curve of the first kind if and only if it lies fully in the timelike hyperplane of [E.sup.4.sub.1]. In relation to that, we give the following theorem.

Theorem 3.1. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] Then [alpha] is congruent to an osculating curve of the first kind if and only if its third curvature [[kappa].sub.3](s) is equal to zero for each s.

Proof. First assume that [alpha] is an osculating curve of the first kind in [E.sup.4.sub.1]. Then its position vector satisfies relation (2). Differentiating relation (2) with respect to s and using (1), we easily find that [[kappa].sub.3](s) = 0.

Conversely, assume that the third curvature [k.sub.3] (s) = 0 for each s. Then relation (1) implies that [B.sub.2](s) is a constant vector and hence g([alpha], [B.sub.2]) is a constant function. Since the position vector of [alpha] can be decomposed as

[alpha] = g([alpha], [B.sub.1])T + g(alpha], N)N + g([alpha],T) [B.sub.1] + g([alpha], [B.sub.2]) {B.sub.2],

and g([alpha], [B.sub.2])[B.sub.2] is a constant vector, it follows that a is congruent to an osculating curve of the first kind. This completes the proof of the theorem. []

As a consequence, we easily get the following two statements.

Corollary 3.1. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1]. Then a lies fully in the timelike hyperplane of [E.sup.4.sub.1] if and only if it is an osculating curve of the first kind.

Corollary 3.2. Let [alpha] be the null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s. Then a is an osculating curve of the first kind if and only if its position vector has the following form

[alpha](s) = (v(s) [k.sub.2] (s) - v"(s))T (s) + v' (s)N (s) + v(s)[B.sub.1](s),

where v(s) = g([alpha](s), T (s)) [not equal to] 0 is an arbitrary differentiate function satisfying the differential equation

v"'(s) - 2v' (s)[k.sub.2] (s) - v(s)[k'.sub.2] (s) + 1 = 0.

4. NULL OSCULATING CURVES OF THE SECOND KIND IN [E.sup.4.sub.1]

In this section, we characterize null osculating curves of the second kind lying fully in [E.sup.4.sub.1] by using the components of their position vectors and the curvature functions. Let [alpha] be a null osculating curve of the second kind in [E.sup.4.sub.1] parameterized by pseudo-arc s and with the third curvature [k.sub.3] (s) [not equal to] 0 for each s. Then its second curvature [k.sub.2](s) can be equal to zero or different from zero. Thus we consider two cases: (A) [k.sub.2](s) = 0 and (B) [k.sub.2](s) [not equal to] 0.

Case (A) [k.sub.2](s) = 0.

Differentiating relation (3) with respect to s and by using (1), we obtain the system of equations

[mu](s) - [lambda] (s) = 0, [lambd]'(s) = 0, - v(s) [[kappa].sub.3] (s) = 1, v'(s) + [mu](s) [[kappa].sub.3](s) = 0, (4)

where [lambda] = g([alpha], N), [mu] = g(a, T), and v = g([alpha], [B.sub.2]) are the principal normal, the tangential, and the second binormal component of the position vector of the curve, respectively. From the second equation of relation (4) we get [lambda](s) = c [member of] R, so we may distinguish two subcases: (A.1) [lambda](s) = 0 and (A.2) [lambda](s) = c [member of] [R.sub.0].

(A.1) [lambda](s) = 0. In this subcase, the first equation of (4) implies that the tangential component [mu] = g([alpha], T) is a real constant, so again we may distinguish two subcases: (A.1.1) [mu](s) = 0 and (A.1.2) [mu](s) = a, a [member of] [R.sub.0] .

(A.1.1) [mu](s) = 0. In this subcase, we obtain the following theorem which gives the necessary and sufficient conditions for the null curve in [E.sup.4.sub.1] with the zero tangential component of the position vector to be an osculating curve of the second kind.

Theorem 4.1. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [k.sub.1](s) = 1, [k.sub.2](s) = 0, and [k.sub.3](s) [not equal to] 0. If [alpha] is an osculating curve of the second kind with tangential component g([alpha], T) = 0, then the following statements hold:

(i) the third curvature [k.sub.3] (s) is a non-zero constant;

(ii) [alpha] lies in a pseudosphere [S.sup.3.sub.1](r), r [member of] [R.sup.+.sub.0];

(iii) the second binormal component g([alpha], [B.sub.2]) of the position vector of the curve is a non-zero constant. Conversely, if a is a null Cartan curve in E4 parameterized by pseudo-arc s, with curvatures k4 (s) = 1, [k.sub.2](s) = 0, [k.sub.3](s) [not equal to] 0 and one of the statements (i), (ii), or (iii) holds, then [alpha] is an osculating curve of the second kind.

Proof. First assume that [alpha](s) is an osculating curve of the second kind with tangential component g([alpha], T) = 0. By using the system of equations (4) we get

[lambda](s)= 0, - v(s)[k.sub.3] (s) = 1, v'(s)= 0.

It follows that v(s) = c [member of] [R.sub.0] and thus [k.sub.3] (s) = - 1/c = constant, which proves statement (i). Since the position vector of the curve is given by

[alpha](s) = c[B.sub.2](s), c [member of] [R.sub.0],

we easily get g([alpha], [alpha]) = [c.sup.2], g([alpha], [B.sub.2]) = c, which proves statements (ii) and (iii).

Conversely, assume that statement (i) holds. Putting [k.sub.3] (s) = c, c [member of] [R.sub.0] and using relation (1), we find

d/ds ([alpha](s)+ 1/c [B.sub.2](s)) = 0.

Thus [alpha] is congruent to the second kind null osculating curve. If statement (ii) holds, differentiating the equation g([alpha], [alpha]) = [r.sup.2], r [member of] [R.sup.+.sub.0], three times with respect to s and using (1), we obtain g([alpha], [B.sub.1]) = 0, which means that [alpha] is a second kind osculating curve. If statement (iii) holds, by taking the derivative of the equation g([alpha], [B.sub.2])= constant [not equal to] 0 with respect to s and by applying (1), we get g([alpha], [B.sub.1])= 0, which proves the theorem. []

The next statement is an easy consequence of Theorem 4.1. It gives the simple relationship between null normal curves and null osculating curves of the second kind.

Corollary 4.1. Every null normal curve lying fully in [E.sup.4.sub.1] is a second kind null osculating curve. Conversely, every second kind null osculating curve in [E.sup.4.sub.1] with zero tangential component g([alpha], T) is a null normal curve.

(A.1.2) [mu](s) = a [member of] [R.sub.0]. In this subcase the following theorem, which can be proved in a similar way as Theorem 4.1, holds.

Theorem 4.2. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [k.sub.1] (s) = 1, [k.sub.2](s) = 0, and [k.sub.3] (s) [not equal to] 0. If [alpha] is an osculating curve of the second kind with tangential component g([alpha], T) = a [member of] [R.sub.0], then the following statements hold:

(i) the third curvature [k.sub.3] (s) is given by

[k.sub.3](s) = 1/[square root of 2as + b], a [member of] [R.sub.0], b [member of] R; 2as + b

(ii) the principal normal component of the position vector of the curve is zero, i.e. g([alpha], N) = 0;

(iii) the distance function [rho] = [parallel][alpha][parallel] satisfies [[rho].sup.2] = [absolute value of [c.sub.1] s + [c.sub.2]], [c.sub.1] [member of] [R.sub.0], [c.sub.2] [member of] R.

Conversely, if [alpha] is a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [[k.sub.1] (s) = 1 , [k.sub.2](s) = 0, [k.sub.3](s) = 0 and one of the statements (i), (ii), or (iii) holds, then a is an osculating curve of the second kind.

As a consequence of Theorem 4.2, we obtain the next statement which gives a simple relationship between null rectifying curves and null osculating curves of the second kind.

Corollary 4.2. Every null rectifying curve in [E.sup.4.sub.1] with the second curvature [k.sub.2](s) = 0 is an osculating curve of the second kind. Conversely, every osculating curve [alpha] of the second kind in [E.sup.4.sub.1] with principal normal component g([alpha], N) = 0 is a null rectifying curve.

(A.2) [lambda](s) = c [member of] [R.sub.0]. In this subcase we obtain the next theorem which gives the necessary and sufficient conditions for the null curve in [E.sup.4.sub.1] with the constant principal normal component of the position vector to be an osculating curve of the second kind.

Theorem 4.3. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [[k.sub.1] (s) = 1 , [k.sub.2](s) = 0, and [k.sub.3] (s) [not equal to] 0. If a is an osculating curve of the second kind with principal normal component g([alpha], N) = c [member of] [R.sub.0], then the following statements hold:

(i) the third curvature [k.sub.3](s) is given by

[k.sub.3] (s)= 1/[square root of [as.sup.2] + bs + c], a [member of] [R.sub.0], b, c [member of] R;

(ii) the tangential component of the position vector of the curve is given by g([alpha], T) = as + b, a [member of] [R.sub.0], b [member of] R;

(iii) the distance function [rho](s) = [parallel][alpha](s)[parallel] satisfies [[rho].sup.2](s) = [absolute value of [ds.sup.2] + es + f], d [member of] [R.sub.0], [R.sub.0], e, f [member of] R.

Conversely, if [alpha] is a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s, with curvatures [[k.sub.1] (s) = 1, [k.sub.2](s) = 0, [k.sub.3](s) [not equal to] 0 and one of the statements (i), (ii), or (iii) holds, then [alpha] is an osculating curve of the second kind.

The proof of Theorem 4.3 is similar to the proof of Theorem 4.1.

Case (B) [k.sub.2](s) [not equal to] 0.

Differentiating relation (3) with respect to s and using (1), we obtain the system of equations

[lambda] [[kappa].sub.2] - V[[kappa].sub.3] = 1, [lambda]' = [mu] [[kappa.sub.2] [mu]' = [lambda], v' + [mu][[kappa].sub.3] = 0. (5)

By using the first and last equation of relation (5), we get

([lambda] [[kappa].sub.2] - 1 / [[kappa].sub.3]' + [mu] [[kappa].sub.3] = 0.

By using the second and the third equation of relation (5), a straightforward calculation leads to the differential equation

[mu]' ([k.sub.2]/[k.sub.3])' + [mu] ([k.sup.2.sub.2] + [k.sup.2.sub.3] / [k.sub.3] - (1/[k.sub.3])' = 0. (6)

Then we may distinguish two subcases: (B.1) ([k.sub.2]/[k.sub.3])' = 0 and (B.2) ([k.sub.2]/[k.sub.3])' [not equal to] 0.

(B.1) ([k.sub.2]/[k.sub.3])' = 0. It follows that the ratio of the curvature functions [k.sub.2] and [k.sub.3] is a constant, i.e. [k.sub.2](s)/[k.sub.3](s) = a [member of] [R.sub.0], so we again may distinguish two subcases: (B.1.1) [k.sub.3](s) = c [member of] [R.sub.0] and (B.1.2) [k.sub.3](s) [not equal to] constant.

(B.1.1) [k.sub.3](s) = [member of] [R.sub.0]. Then [k.sub.2](s) = ac [member of] [R.sub.0], which means that [alpha] is a null helix. Moreover, relation (6) becomes

c[mu](s)([a.sup.2] + 1) = 0.

The last equation implies that tangential component [mu] (s) = 0. In this way, we obtain the next characterization of null osculating helices of the second kind.

Theorem 4.4. Let [alpha] be a null Cartan helix in [E.sup.4.sub.1]. Then a is congruent to an osculating curve of the second kind with tangential component g([alpha], T) = 0 if and only if [alpha] lies in a pseudosphere [S.sup.3.sub.1](r) in [E.sup.4.sub.1].

We omit the proof of the previous theorem since it is analogous to the proof of Theorem 4.1.

(B.1.2) [k.sub.3](s) [not equal to] constant. In this subcase the following theorem holds.

Theorem 4.5. Let [alpha] be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s and with curvatures [k.sub.1](s) = 1, [k.sub.2](s) = a[k.sub.3](s), a [member of] [R.sub.0], [k.sub.3](s) [not equal to] constant. Then a is congruent to an osculating curve of the second kind if and only if the third curvature [k.sub.3](s) satisfies the differential equation

9[k".sub.3]'(s)i [k'.sub.3](s)[k.sub.3](s) - [k"'.sub.3](s)[k.sub.2.sub.3] (s) - 12 [k'.sub.3.sub.3](s) + a[k.sub.3.sub.3](s) [k.sup.3.sub.3](s) = 0, a [member of] [R.sub.0]. (7)

Proof. First assume that a is congruent to the second kind osculating curve. By using relation (6) we get

[mu] = - [k'.sub.3] / [k.sup.3.sub.3] ([a.sup.2] + 1). (8)

Next, relation (8) and the third equation of relation (5) imply

[lambda] = 3 [k'.sub.3.sub.2] - [k'.sub.3] [k.sub.3] (9)

Substituting (9) in the first equation of relation (5), we obtain

v = a(3[k.sub.2.sub.2] - [k'.sub.3] [k.sub.3]) - [k.sub.3.sub.3]]([a.sup.2] + 1)/ [k.sup.4.sub.3] ([a.sup.2] + 1) (10)

In this way, all components of the position vector [alpha] are expressed in terms of the third curvature [k.sub.3]. Moreover, by using (8), (9), and the second equation of relation (5) we find that [k.sub.3] satisfies relation (7).

Conversely, assume that the third curvature [k.sub.3] satisfies relation (7). Let us consider the vector X [member of] [E.sup.4.sub.1] given by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

By using (1) and (7), we find that X' = 0, which means that X is a constant vector. Consequently, [alpha] is congruent to an osculating curve of the second kind. This completes the proof of the theorem. []

(B.2) ([k.sub.2]/[k.sub.3])' [not equal to] 0. It follows that [k.sub.2](s)/[k.sub.3](s) [not equal to] constant. Then we may distinguish two subcases: (B.2.1) [k.sub.2](s) [not equal to] constant, [k.sub.3](s) [not equal to] constant [not equal to] 0; (B.2.2) [k.sub.2](s) = 0, [k.sub.3](s) = constant;

(B.2.1) [k.sub.2](s) [not equal to] constant, [k.sub.3](s) = constant [not equal to] 0. In this subcase, we obtain the next theorem which can be proved in a similar way as Theorem 4.5.

Theorem 4.6. Let a be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [[kappa].sub.1] (s) = 1 , [k.sub.2](s) [not equal to] constant, and [k.sub.3](s) = a [member of] [R.sub.0]. Then a is congruent to an osculating curve of the second kind if and only if the second curvature [k.sub.2](s) satisfies the differential equation

([k.sub.2.sub.2](s)+ [a.sup.2])[k'.sub.2](s) - 3[k.sub.2](s) [k'.sup.2.sub.2] (s) + [([k.sub.2.sub.2]] (s)+ [a.sup.2]).sup.2] = 0, a [member of] [R.sub.0]. (11)

(B.2.2) [k.sub.2](s) [not equal to] 0, [k.sub.3](s) [not equal to] constant. In the last subcase, the following theorem holds.

Theorem 4.7. Let a be a null Cartan curve in [E.sup.4.sub.1] parameterized by pseudo-arc s with curvatures [k.sub.1] (s) = 1, [k.sub.2](s) [not equal to] 0, and [k.sub.3](s) [not equal to] constant. Then [alpha] is congruent to an osculating curve of the second kind if and only if the curvature functions [k.sub.2](s) and [k.sub.3](s) satisfy the relation

[e.sup.-[integral]p(s)ds] (c + [integral] q(s) [e.sup.[integral]p(s)ds] ds) = p(s)q(s) - q'(s) / [p.sup.2](s) - p'(s) - [k.sub.2](s), c [member of] R.

where

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

5. SOME EXAMPLES OF NULL OSCULATING CURVES IN [E.sup.4.sub.1]

Let us consider the null cubic in [E.sup.4.sub.1] given by

[alpha](s) = (1/6 [s.sup.3] + s, 1/2 [s.sup.2], 1/6 [s.sup.3], [s.sup.3], s).

Since its curvature functions have the form

[[kappa].sub.](s) = 1, [[kappa].sub.2](s)= 0, [[kappa].sub.3](s) = 0,

Theorem 3.1 implies that [alpha] is an osculating curve of the first kind.

As the second example of a null osculating curve, let us consider the curve a in [E.sup.4.sub.1] with the equation

[alpha](s) (1/[square root of 2] sinh s, 1/[square root of 2] cosh s, 1/[square root of 2] sin s, 1/[square root of 2] coss s).

It can be easily verified that curvature functions of [alpha] are given by

[[kappa].sub.1](s) = 1, [[kappa].sub.2] (s) = 0, [[kappa].sub.3](s) = -1.

Hence a is a null helix lying in the pseudosphere. According to Theorem 4.4, [alpha] is an osculating curve of the second kind.

Next, let us consider the null curve in [E.sup.4.sub.1] given by

[alpha](s) = ([e.sup.as] + 1/c cos(cs) - 1/2 [a.sup.2] [e.sup.-as], [e.sup.as] + 1/c cos(cs), 1/2 [a.sup.2] [e.sup.-as] - 1/c cos(cs), 1/c sin (cs)),

where a, c [member of] [R.sub.0]. By using a straightforward calculation it can be shown that tangent vector T(s) = [alpha]'(s) satisfies the equation g([alpha], T) = 0. Hence Theorem 4.2 implies that [alpha] is an example of an osculating curve of the second kind.

Finally, let us consider the null curve in [E.sup.4.sub.1] with the equation

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

where s is a pseudo-arc parameter. A straightforward calculation shows that the curvature functions of [alpha] are given by

[[kappa].sub.1] (s) = 1, [k.sub.2](s) = 6/ [s.sup.2], [k.sub.3](s) = 6/[as.sup.2],

where a [member of] [R.sub.0]. Moreover, it can be easily verified that the curvature functions satisfy relation (7). According to Theorem 4.7, it follows that a is congruent to an osculating curve of the second kind.

6. CONCLUSION AND FURTHER REMARKS

Many classical results from Riemannian geometry have Lorentz counterparts. In fact, spacelike and timelike curves can be studied by a similar approach as in positive definite Riemannian geometry. However, null curves have some different properties compared to spacelike and timelike curves. In other words, the results of the null curve theory have no Riemannian analogues, because the arc length of the null curve vanishes, so that it is not possible to normalize the tangent vector in the usual way.

In this paper, we introduce the notions of the first kind and the second kind null osculating curves in the Minkowski space-time [E.sup.4.sub.1] . Also we give the necessary and sufficient conditions for the null curves in E4 to be osculating curves in terms of their curvature functions. Relevant examples are given. In the light of the obtained results, we also emphasize that the same problem can be studied for null, pseudo null, partially null, spacelike, and timelike curves in the semi-Riemannian space [E.sup.4.sub.2].

doi: 10.3176/proc.2012.1.01

REFERENCES

(1.) Bonnor, W. B. Null curves in a Minkowski space-time. Tensor, 1969, 20, 229-242.

(2.) Chen, B. Y. When does the position vector of a space curve always lie in its rectifying plane? Amer. Math. Monthly, 2003,110, 147-152.

(3.) Honda, K. and Inoguchi, J. Cesaro's method for Cartan framed null curves. Preprint, 2003.

(4.) Ilarslan, K. and Nesovic, E. Some charactherizations of null, pseudo null and partially null rectifying curves in Minkowski space-time. Taiwan. J. Math., 2008, 12(5), 1035-1044.

(5.) Ilarslan, K. and Nesovic, E. Spacelike and timelike normal curves in Minkowski space-time. Publ. Inst. Math. Belgrade, 2009, 85(99), 111-118.

(6.) Ilarslan, K. and Nesovic, E. The first kind and the second kind osculating curves in Minkowski space-time. Compt. rend. Acad. bulg. Sci., 2009, 62(6), 677-686.

(7.) O'Neill, B. Semi-Riemannian Geometry with Applications to Relativity. Academic Press, New York, 1983.

(8.) Walrave, J. Curves and Surfaces in Minkowski Space. Doctoral thesis, K. U. Leuven, Faculty of Science, Leuven, 1995.

Kazim Ilarslan (a) * and Emilija Nesovic (b)

(a) Kirikkale University, Faculty of Sciences and Arts, Department of Mathematics, Kirikkale, Turkey

(b) University of Kragujevac, Faculty of Science, Department of Mathematics and Informatics, Kragujevac, Serbia

Received 14 October 2010, accepted 15 July 2011, available online 15 February 2012

* Corresponding author, kilarslan@yahoo.com

Printer friendly Cite/link Email Feedback | |

Title Annotation: | MATHEMATICS |
---|---|

Author: | Ilarslan, Kazim; Nesovic, Emilija |

Publication: | Proceedings of the Estonian Academy of Sciences |

Article Type: | Report |

Geographic Code: | 7TURK |

Date: | Mar 1, 2012 |

Words: | 4577 |

Previous Article: | On dispersion properties of surface motions in the Gulf of Finland/ Soome lahe pinnakihi hoovuste dispersioonist. |

Next Article: | On an ([epsilon], [delta])-trans-Sasakian structure/([epsilon], [delta])-trans-Sasaki muutkondadest. |

Topics: |