 Research
 Open access
 Published:
A natural Frenet frame for null curves on the lightlike cone in Minkowski space \(\mathbb{R} ^{4}_{2}\)
Journal of Inequalities and Applications volume 2020, Article number: 235 (2020)
Abstract
In this paper, we investigate the representation of curves on the lightlike cone \(\mathbb {Q}^{3}_{2}\) in Minkowski space \(\mathbb {R}^{4}_{2}\) by structure functions. In addition, with this representation, we classify all of the null curves on the lightlike cone \(\mathbb {Q}^{3}_{2}\) in four types, and we obtain a natural Frenet frame for these null curves. Furthermore, for this natural Frenet frame, we calculate curvature functions of a null curve, especially the curvature function \(\kappa _{2}=0\), and we show that any null curve on the lightlike cone is a helix. Finally, we find all curves with constant curvature functions.
1 Introduction
The study of semiRiemannian manifolds plays an important role in differential geometry and physics, especially in the theory of relativity. In a semiRiemannian manifold, the induced metric on a lightlike submanifold is degenerate. In general relativity, lightlike submanifolds usually appear to be some smooth parts of the achronal boundaries, for example, event horizon of Kruskal and Kerr black holes and the compact Cauchy horizons in TaubNUT spacetime [5, 14]. One of the simplest examples of lightlike submanifolds is the lightlike cone \(\mathbb {Q}^{n}_{q}\) in Minkowski space \(\mathbb {R}^{n}_{q}\).
In differential geometry, one of the most important and applicable tools to analyse a curve is orthonormal frame. For a regular curve in Euclidean space \(\mathbb {R}^{n}\), we can use \(1\mbox{st}, 2\mbox{nd}, \ldots , n\mbox{th}\) derivative vectors to construct Frenet frame [8]. Abazari, Bohner, Sağer, and Yayli [2] studied the relationship between Frenet elements of the stationary acceleration curve in fourdimensional Euclidean space. Also, by Frenet elements, they have provided a necessary and sufficient condition for a curve on a timelike surface that is an acceleration curve.
Bonnor [4] introduced Cartan frame as the most useful frame, and he used this frame to study null curves. Bejancu [3] gave a method for consideration of a null curve in semiRiemannian manifold. Ferrández, Giménez and Lucas [7] generalized the Cartan frame to Lorentzian space form. Abazari, Bohner, Sağer, and Sedaghatdoost [1] studied some properties for spacelike curves in lightlike cones of index 1. Liu [12] studied curves in the lightlike cone and gave an asymptotic frame field along the curve and defined cone curvature functions for this frame field. To study the behavior of a curve in two and threedimensional lightlike cone, Liu and Meng [13] defined structure functions for a spacelike curve, and by these structure functions, they obtained representation formulas of spacelike curves in the lightlike cones \(\mathbb {Q}^{2}_{1}\) and \(\mathbb {Q}^{3}_{1}\) of Lorentzian space \(\mathbb {R}^{3}_{1}\) and \(\mathbb {R}^{4}_{1}\), respectively. Also, Külahci, Bektaş and Ergüt [11] considered \(\operatorname{AW}(k)\)type curves in the 3dimensional lightlike cone, and recently Külahci [10] considered spacelike normal curves on the lightlike cones \(\mathbb {Q}^{2}_{1}\) and \(\mathbb {Q}^{3}_{1}\). Since for a null curve that lies on the lightlike cone, any order derivative vectors are null vectors [15], for a null curve x on the lightlike cone \(\mathbb {Q}^{3}_{2}\), there exists a natural Frenet frame \(\{x,x',N,W\}\) [6, 15]. Sun and Pei [15] considered null curves on the lightlike cone and unit semiEuclidean 3sphere of Minkowski space \(\mathbb {R}^{4}_{2}\), and they obtained some results on \(\operatorname{AW}(k)\)type curves and null Bertrand curves on the lightlike cone \(\mathbb {Q}^{3}_{2}\).
In this paper, we obtain representation formulas for any curve on the lightlike cone \(\mathbb {Q}^{3}_{2}\) by structure functions, and by this representation, we classify all null curves on the lightlike cone. Furthermore, for a null curve on the lightlike cone, we construct a natural Frenet frame and calculate its curvature functions. Also, we show that the structure functions and the curvature functions of a null curve on the lightlike cone \(\mathbb {Q}^{3}_{2}\) satisfy a special secondorder differential equation, and by this natural Frenet frame, we conclude that any null curve on the lightlike cone is a helix.
2 Preliminaries
Let \(\mathbb {R}^{n}\) be ndimensional Euclidean space. For two vectors \(v= (v_{1},\ldots ,v_{n} )\), \(w= (w_{1},\ldots ,w_{n} )\) and \(q\in \mathbb {N}\cap [1,n]\), we define the bilinear form
which is a semiRiemannian manifold. The resulting semiRiemannian space is called Minkowski nspace of index q. If \(n=4\), then this is the simplest example of a relativistic spacetime [14]. In Minkowski space \(\mathbb {R}^{n}_{q}\), we say that a nonzero vector \(v\in \mathbb {R}^{n}_{q}\) is spacelike, null, or timelike if \(\langle v,v \rangle _{q}\) is positive, zero, or negative, respectively. Also, the vector 0 is spacelike. The norm of \(v\in \mathbb {R}^{n}_{q}\) is defined by \(\Vert v \Vert :=\sqrt{ \vert \langle v,v \rangle \vert }\). In Minkowski space \(\mathbb {R}^{n}_{q}\), there exist three types of hypersurfaces, called \((n1)\)pseudosphere or de Sitter \((n1)\)space for
antide Sitter \((n1)\)space for
and lightlike cone for
The curve \(x:I\to \mathbb {R}^{n}_{q}\) is called a spacelike curve (null curve or timelike curve) if for any \(t_{0}\in I\), the velocity vector \(\frac{\mathrm {d}x}{\mathrm {d}t}_{_{t=t_{0}}}\) of the curve is spacelike (null or timelike). Thus, a spacelike or timelike curve can be parameterized by arc length in the sense that \(\vert \langle \frac{\mathrm {d}x}{\mathrm {d}t}, \frac{\mathrm {d}x}{\mathrm {d}t} \rangle _{q} \vert =1\). Therefore, the arc length parameter of \(x:I\to \mathbb {R}^{n}_{q}\) is denoted by s, and we have
with \(\varepsilon =+1\) for a spacelike curve and \(\varepsilon =1\) for a timelike curve. For a null curve with any parameter t, we have \(\varepsilon =0\) [8]. For a null curve \(x:I\to \mathbb {Q}^{3}_{2}\subset \mathbb {R}^{4}_{2}\), there is a natural Frenet frame \(\{x(t),\xi (t),N(t),W(t)\}\) satisfying
where \(\xi (t)\) is the tangent vector, \(N(t)\) is the unique transversal vector to \(\xi (t)\), \(W(t)\) is the unique transversal vector to \(x(t)\) [15, (2.1)]. The vectors in this natural Frenet frame satisfy the equations
which we call the natural Frenet equations of the null curve x on the lightlike cone \(\mathbb {Q}^{3}_{2}\), where
and the functions h, \(\kappa _{1}\), \(\kappa _{2}\) are called the curvature functions of x [6]. Duggal and Jin [6, Proposition 4.1 b] showed that x has a parameter such that the curvature function \(h=0\) for the null curve in \(\mathbb {R}^{n}_{2}\), and, in addition, Sun and Pei [15] proved the following.
Proposition 2.1
(See [15, Proposition 2.1])
Let x be a curve on the lightlike cone \(\mathbb {Q}^{3}_{2}\). Then the type of the natural Frenet equations is invariant with respect to transformations of the coordinate neighborhood and the screen vector bundle of x. Moreover, it is possible to find a new parameter for x such that the curvature function \(h=0\) in the Frenet equation (2) of all possible types, using the same screen bundle.
Hence, we can get the natural Frenet equations of a null curve on the lightlike cone \(\mathbb {Q}^{3}_{2}\) as
In this paper, the semiRiemannian manifold is Minkowski space \(\mathbb {R}^{4}_{2}\), and especially, we consider its lightlike cone \(\mathbb {Q}^{3}_{2}\).
3 Representation formulas of cone curves in \(\mathbb {R}^{4}_{2}\)
H. Liu [13] has obtained representation formulas of the spacelike curves in the lightlike cones \(\mathbb {Q}^{2}_{1}\) and \(\mathbb {Q}^{3}_{1}\) and proved the following two theorems.
Theorem 3.1
(See [13])
Let \(x:I\to \mathbb {Q}^{2}_{1}\subset \mathbb {R}^{3}_{1}\) be a spacelike curve in \(\mathbb {Q}^{2}_{1}\) parameterized by arc length. Then x can be written as
for some nonconstant function f, which is called the structure function of x. The structure function f and the cone curvature function κ of x satisfy
where \(f'=\frac{\mathrm {d}f}{\mathrm {d}s}\).
Theorem 3.2
(See [13])
Let \(x:I\to \mathbb {Q}^{3}_{1}\subset \mathbb {R}^{4}_{1}\) be a spacelike curve in \(\mathbb {Q}^{3}_{1}\) parameterized by arc length. Then x can be written as
for some functions f and g, which are called structure functions of x. Here, ρ satisfies
The structure functions f, g, the cone curvature function κ, and the cone torsion function τ of x satisfy
where
First, in the following lemma, we give a result for spacelike and timelike curves in the lightlike cone \(Q^{3}_{2}\). By this virtue, we will be able to give a representation formula for such curves.
Lemma 3.3
Let \(x= (x_{1},x_{2},x_{3},x_{4} ):I\to \mathbb {Q}^{3}_{2} \subset \mathbb {R}^{4}_{2}\) be a spacelike or timelike curve parameterized by arclength in the lightlike cone \(\mathbb {Q}^{3}_{2}\). Then the functions \(x_{1}x_{3}\), \(x_{1}+x_{3}\), \(x_{4}x_{2}\), \(x_{4}+x_{2}\) are not zero.
Proof
Since \(\langle x,x \rangle _{2}=0\), we get
and from \(x_{1}^{2}x_{3}^{2}=x_{4}^{2}x_{2}^{2}\), we have
If one of the functions \(x_{1}x_{3}\), \(x_{1}+x_{3}\), \(x_{4}x_{2}\), \(x_{4}+x_{2}\) is zero, then
where \(\mu ,\lambda \in \{1,1\}\). Thus
and hence,
Since \(\mu ,\lambda \in \{1,1\}\), we obtain
which is a contradiction. □
Theorem 3.4
Let \(x= (x_{1},x_{2},x_{3},x_{4} ):I\to \mathbb {Q}^{3}_{2} \subset \mathbb {R}^{4}_{2}\) be a spacelike or timelike curve parameterized by arclength in the lightlike cone \(\mathbb {Q}^{3}_{2}\). Then we can write x as
for some functions f and g. Here, ρ satisfies
where \(\varepsilon =+1\) for spacelike curves and \(\varepsilon =1\) for timelike curves.
Proof
Since \(\langle x,x \rangle _{2}=0\), we get (5). Because the curve x is spacelike or timelike, from Lemma 3.3, we can define the nonzero smooth functions
where
Let \(\langle x',x' \rangle _{2}=\varepsilon \), where \(\varepsilon =+1\) for spacelike curves and \(\varepsilon =1\) for timelike curves. Then
so that
and by (5), we have
and thus
From \(\langle x',x \rangle _{2}=0\), we have
and hence
so that
By replacing (7) in (10), we have
i.e.,
i.e.,
i.e.,
i.e.,
Since f and g are not zero, the proof is complete. □
Unlike in Theorem 3.4, for a null curve in the lightlike cone, some of the functions \(x_{1}x_{3}\), \(x_{1}+x_{3}\), \(x_{4}x_{2}\), \(x_{4}+x_{2}\) may be zero. Thus, in the following, we state these cases separately.
Proposition 3.5
Let \(x:I\to \mathbb {Q}^{3}_{2}\subset \mathbb {R}^{4}_{2}\) be a null curve in the lightlike cone \(\mathbb {Q}^{3}_{2}\).

i.
If only one of the functions \(x_{1}x_{3}\), \(x_{1}+x_{3}\), \(x_{4}x_{2}\), \(x_{4}+x_{2}\) is not zero, then x is a null straight line.

ii.
It is impossible that only one of the functions \(x_{1}x_{3}\), \(x_{1}+x_{3}\), \(x_{4}x_{2}\), \(x_{4}+x_{2}\) is zero and the others are not zero.
Proof
First, we prove i. Without loss of generality, we suppose
From \(x_{1}+x_{3}=x_{1}x_{3}=0\), we have \(x_{1}=x_{3}=0\), and \(x_{4}+x_{2}=0\) implies \(x_{4}=x_{2}\). Hence
which is a null straight line. Next, we prove ii. Let x be a null curve in the lightlike cone \(\mathbb {Q}^{3}_{2}\). Without loss of generality, we suppose
Thus \(x_{1}^{2}x_{3}^{2}\neq 0\), and \(x_{4}^{2}x_{2}^{2}=0\), and this contradicts \(\langle x,x \rangle _{2}=0\). □
In the following theorem, we classify all null curves in the lightlike cone \(\mathbb {Q}^{3}_{2}\), which are not a straight line.
Theorem 3.6
Let \(x:I\to \mathbb {Q}^{3}_{2}\subset \mathbb {R}^{4}_{2}\) be a null curve in the lightlike cone \(\mathbb {Q}^{3}_{2}\) such that it is not a straight line. Then \(x= (x_{1},x_{2},x_{3},x_{4} )\) can be written as one of the following types.

Type 1.
\(x_{1}+x_{3}=0\) or \(x_{2}+x_{4}=0\). In this case, we have three types of curves:

Type 1.1.
If \(x_{1}+x_{3}=0\) and \(x_{2}+x_{4}=0\), then \(x=(f,g,f,g)\).

Type 1.2.
If \(x_{1}+x_{3}=0\) and \(x_{2}+x_{4}\neq 0\), then \(x=(f,g,f,g)\).

Type 1.3.
If \(x_{1}+x_{3}\neq 0\) and \(x_{2}+x_{4}=0\), then \(x=(f,g,f,g)\).
Here, the functions f and g are linearly independent.

Type 1.1.

Type 2.
If the functions \(x_{1}+x_{3}\) and \(x_{2}+x_{4}\) are not zero, then
$$ x=(f+\rho g,g\rho f,f\rho g,g+\rho f), $$where the smooth functions ρ, f, and g are
$$ \rho =\frac{x_{1}x_{3}}{x_{4}+x_{2}}=\frac{x_{4}x_{2}}{x_{1}+x_{3}},\qquad f=\frac{x_{1}+x_{3}}{2},\qquad g= \frac{x_{2}+x_{4}}{2}, $$and satisfy \((fg'f'g )\rho '=0\). In this case, we have two types of curves:

Type 2.1.
If the functions f and g are linearly independent, then
$$ x=(f+\lambda g,g\lambda f,f\lambda g,g+\lambda f), $$where λ is a real constant.

Type 2.2.
If the functions f and g are colinear, then
$$ x=(\lambda +\rho ,1\lambda \rho ,\lambda \rho ,1+\lambda \rho )g, $$where λ is a real constant.

Type 2.1.
Proof
Type 1.1. If \(x_{1}+x_{3}=x_{4}+x_{2}=0\), then, by Proposition 3.5 i., \(x_{1}x_{3}\) and \(x_{4}x_{2}\) are not zero. Putting \(f:=x_{1}=x_{3}\) and \(g:=x_{2}=x_{4}\), we get
Type 1.2. If \(x_{1}+x_{3}=0\) and \(x_{4}+x_{2}\neq 0\), then, from (6), we have \(x_{4}x_{2}=0\). Since x is not a straight line, by Proposition 3.5, \(x_{1}x_{3}\neq 0\). Setting \(f:=x_{1}=x_{3}\) and \(g:=x_{2}=x_{4}\), we get
Type 1.3. If \(x_{1}+x_{3}\neq 0\) and \(x_{4}+x_{2}=0\), then, from (6), we have \(x_{1}x_{3}=0\). Since x is not a straight line, by Proposition 3.5 i., \(x_{4}x_{2}\neq 0\). Putting \(f:=x_{1}=x_{3}\) and \(g:=x_{2}=x_{4}\), we obtain
Types 1.1–1.3. In all Type 1 cases, if f and g are linearly dependent, then x is a straight line. Thus, the smooth functions f and g are linearly independent.
Type 2. In the proof of Theorem 3.4, from \(x_{1}+x_{3}\neq 0\), \(x_{4}+x_{2}\neq 0\), and \(\langle x,x \rangle _{2}=\varepsilon \), we conclude
In a similar way, if we set \(\varepsilon =0\), then we can prove
Thus \(\rho '=0\) or \(fg'f'g=0\).
Type 2.1. If \(\rho '=0\) and \(fg'f'g\neq 0\), then \(\rho \equiv \lambda \) is a real constant and the functions f and g in the first equation of (11) are linearly independent, and hence
Type 2.2. If \(\rho '\neq 0\) and \(fg'f'g=0\), then the functions f and g in the first equation of (11) are linearly dependent. Thus \(f=\lambda g\), where λ is a real constant, and hence
If \(\rho '=0\) and \(fg'f'g=0\), then x is a straight line, contradicting the assumption. □
In Table 1, we summarize all cases on the basis of (6).
Definition 3.7
For Types 1.1–1.3 and Type 2.1, the functions f and g in Theorem 3.6 are called the structure functions of the cone curve \(x:I\to \mathbb {Q}^{3}_{2}\subset \mathbb {R}^{4}_{2}\). A null curve of Type 2.2 by structure functions ρ and g writes as \(x=(\lambda +\rho ,1\lambda \rho ,\lambda \rho ,1+\lambda \rho )g\).
For a Frenet null curve in the lightlike cone \(\mathbb {Q}^{3}_{2}\), there exists a nonunique natural Frenet frame \(\{x,\xi ,N,W\}\) that satisfies (1) [15]. In the following, we construct the vector fields N and W for one of the natural Frenet frames. Now we define the natural orthogonal vector field to a null vector field in \(\mathbb {R}^{4}_{2}\) and prove some of its properties.
Definition 3.8
Let \(V= (v_{1},v_{2},v_{3},v_{4} )\) be a null vector in Minkowski space \(\mathbb {R}^{4}_{2}\). Then the vectors \(V^{\perp }_{13}:= (v_{2},v_{1},v_{4},v_{3} )\) and \(V^{\perp }_{14}:= (v_{2},v_{1},v_{4},v_{3} )\) also are null vectors such that \(\langle V,V^{\perp }_{1i} \rangle _{2}=0\), \(i=3,4\). We call such null vectors natural orthogonal null vectors to V. If there is no confusion, instead of \(V^{\perp }_{1i}\), \(i=3,4\), we write \(V^{\perp }\).
The following lemma is a direct consequence of Definition 3.8.
Lemma 3.9
Let U, V be null vectors in Minkowski space \(\mathbb {R}^{4}_{2}\). Then we have the following:

i.
\(\langle U,V \rangle _{2}= \langle U^{\perp }_{1i},V^{\perp }_{1i} \rangle _{2}\), \(i=3,4\).

ii.
\(\langle U,V^{\perp }_{1i} \rangle _{2}= \langle U^{\perp }_{1i},V \rangle _{2}\), \(i=3,4\).
Theorem 3.10
Let \(x= (x_{1},x_{2},x_{3},x_{4} ):I\to \mathbb {Q}^{3}_{2} \subset \mathbb {R}^{4}_{2}\) be a null curve in the lightlike cone \(\mathbb {Q}^{3}_{2}\). Then the vector fields N and W of the natural Frenet frame \(\{x,\xi ,N,W\}\) for curves of the various types are as follows:

Type 1.1.
If \(x=(f,g,f,g)\) and \(\Theta =fg'f'g\), then
$$\begin{aligned}& N = \frac{1}{2\Theta }{(g,f,g,f)}=\frac{1}{2\Theta }x^{\perp }_{14}, \\& W = \frac{1}{2\Theta } \bigl(g',f',g',f' \bigr) = \frac{1}{2\Theta }{x'}^{\perp }_{14}. \end{aligned}$$ 
Type 1.2.
If \(x =(f,g,f,g)\) and \(\Theta =fg'f'g\), then
$$\begin{aligned}& N = \frac{1}{2\Theta }(g,f,g,f)=\frac{1}{2\Theta }x^{\perp }_{13}, \\& W = \frac{1}{2\Theta } \bigl(g',f',g',f' \bigr) = \frac{1}{2\Theta }{x'}^{\perp }_{13}. \end{aligned}$$ 
Type 1.3.
If \(x=(f,g,f,g)\) and \(\Theta =fg'f'g\), then
$$\begin{aligned}& N = \frac{1}{2\Theta }(g,f,g,f)=\frac{1}{2\Theta }x^{\perp }_{13}, \\& W = \frac{1}{2\Theta } \bigl(g',f',g',f' \bigr) = \frac{1}{2\Theta }{x'}^{\perp }_{13}. \end{aligned}$$ 
Type 2.1.
If \(x=(f+\lambda g,g\lambda f,f\lambda g,g+\lambda f)\), then
$$\begin{aligned}& N = \frac{1}{2 (1+\lambda ^{2} )\Theta } (g\lambda f,f \lambda g,g\lambda f,f\lambda g) = \frac{1}{2 (1+\lambda ^{2} )\Theta }x^{\perp }_{14}, \\& W = \frac{1}{2 (1+\lambda ^{2} )\Theta } \bigl(g' \lambda f',f' \lambda g',g'\lambda f',f' \lambda g' \bigr) = \frac{1}{2 (1+\lambda ^{2} )\Theta }{x'}^{\perp }_{14}, \end{aligned}$$where \(\Theta =fg'f'g\).

Type 2.2.
If \(x=Ag\), where
$$ A:= (\lambda +\rho ,1\lambda \rho ,\lambda \rho ,1+\lambda \rho ), $$then
$$\begin{aligned}& N = \frac{1}{2 (1+\lambda ^{2} )\rho 'g} (1\lambda \rho ,\lambda \rho ,1+\lambda \rho , \lambda +\rho ) = \frac{1}{2 (1+\lambda ^{2} )\rho 'g^{2}}x^{\perp }_{13}, \\& W = \frac{1}{2 (1+\lambda ^{2} )\rho 'g^{2}} \bigl(g'A_{13}^{\perp }+g \rho '(\lambda ,1,\lambda ,1) \bigr) = \frac{1}{2 (1+\lambda ^{2} )\rho 'g^{2}}{x'}^{\perp }_{13}. \end{aligned}$$
Proof
Since the vector fields N and W are defined by natural orthogonal vectors to x and \(x'\), we have
Moreover, since \(\langle x,x' \rangle _{2}=0\), by Lemma 3.9 i., for any type of null curves, we have
In order to obtain the vector fields N and W, it is thus sufficient to calculate \(\langle x^{\perp },x' \rangle _{2}\) in all types of null curves.
For a null curve of Type 1.1, we have
From Theorem 3.6, f and g are not proportional, so \(\Theta \neq 0\), and by Lemma 3.9 ii., we have
Similarly, the calculations for null curves of Type 1.2 and Type 1.3 are valid.
For a curve of Type 2.1, by direct calculations, we have
This equality for a null curve of Type 2.1, by Lemma 3.9 ii., yields
For a null curve of Type 2.2, we have \(x=Ag\), where
Moreover,
and by Lemma 3.9, we have
This completes the proof. □
Theorem 3.11
Let \(x= (x_{1},x_{2},x_{3},x_{4} ):I\to \mathbb {Q}^{3}_{2} \subset \mathbb {R}^{4}_{2}\) be a null curve in the lightlike cone \(\mathbb {Q}^{3}_{2}\) with natural Frenet frame \(\{x,\xi ,N,W\}\). Then the curvature functions of the curve x in the natural Frenet equations (2) for a null curve of Types 1.1, 1.2, 1.3 or Type 2.1 are
and for a null curve of Type 2.2 are
Proof
By using (3) and direct calculations, we can obtain the curvature functions. For example, the curvature functions for a null curve of Type 2.1 are
and
For a null curve of Type 2.2, let \(x=Ag\). Then
where \(B:=\frac{1}{\rho '}A'\), \({A'_{13}}^{\perp }=B_{13}^{\perp }\rho '\), and \(\langle B,A_{13}^{\perp } \rangle _{2}=2 (1+\lambda ^{2} )\). Therefore,
and
Since \(\langle x,x' \rangle _{2}= \langle x',x' \rangle _{2}=0\), by Lemma 3.9 i., \(\langle x^{\perp },{x'}^{\perp } \rangle _{2}= \langle {x'}^{\perp },{x'}^{\perp } \rangle _{2}=0\), so for any type of null curve, we have \(\kappa _{2}= \langle N',W \rangle =0\). □
If we use the parameter s̃ presented in Proposition 2.1 for the natural Frenet frame obtained in Theorem 3.10, together with Theorem 3.11 that gives \(\kappa _{2}=0\) for any type of null curve, the natural Frenet equations (4) are
where \(\kappa _{1}\) is now denoted by κ.
Lemma 3.12
Let \(x:I\to \mathbb {Q}^{3}_{2}\subset \mathbb {R}^{4}_{2}\) be a null curve parameterized by s̃ such that its tangent vector field has a constant angle with a constant vector β. Then the curve x is a straight line or β is in the plane generated by \(\mathrm{Span} \{ x (\tilde{s} ),x' (\tilde{s} ) \} \).
Proof
For any straight line, the statement is true. Thus, we assume that the curvature function \(\kappa (\tilde{s} )\neq 0\). Let β be a constant vector such that \(\langle x' (\tilde{s} ),\beta \rangle _{2}=l\) for any \(\tilde{s}\in I\). Thus, \(\langle x (\tilde{s} ),\beta \rangle _{2}=l \tilde{s}+l_{0}\) and \(\langle x'' (\tilde{s} ),\beta \rangle _{2}=0\). From (12), we conclude that \(\kappa (\tilde{s} ) \langle x (\tilde{s} ),\beta \rangle _{2}=0\), and from \(\kappa (\tilde{s} )\neq 0\), we get \(l=l_{0}=0\) so that
Hence \(r_{1} (\tilde{s} )= \langle W (\tilde{s} ),\beta \rangle _{2}\) and \(r_{2} (\tilde{s} )= \langle N (\tilde{s} ),\beta \rangle _{2}\). □
Theorem 3.13
Any null curve on the lightlike cone \(\mathbb {Q}^{3}_{2}\) is a helix.
Proof
For a straight line, the tangent vector has constant angle with any constant vector. Let β be a constant vector such that \(\langle x' (\tilde{s} ),\beta \rangle _{2}=l\). Then, by Lemma 3.12,
By differentiation of (13), we have
and by the second equation of (12), we get
Since x and \(x'\) are linearly independent, we obtain
and thus
Again by the second equation of (12), since \(x_{i} (\tilde{s} )\), \(i=1,\ldots ,4\), and \(r_{2} (\tilde{s} )\) satisfy the same differential equation, we can choose \(r_{2} (\tilde{s} )=x_{i} (\tilde{s} )\), \(i=1,\ldots ,4\). In this situation, for \(r_{2} (\tilde{s} ):=x_{1} (\tilde{s} )\), the constant vector β is
The equations \({x'_{1}}^{2}+{x'_{2}}^{2}={x'_{3}}^{2}+{x'_{4}}^{2}\) and \(x_{1}x_{1}'+x_{2}x_{2}'=x_{3}x_{3}'+x_{4}x_{4}'\) yield \(\langle x' (\tilde{s} ),\beta \rangle _{2}=0\). □
Kula and Yayli, in [9, Proposition 6.1], proved that, if \(x:\mathbb {R}\to \mathbb {R}^{4}\) satisfies a secondorder linear homogeneous differential equation, then the image of x lies in a twodimensional subspace of \(\mathbb {R}^{4}\). Thus, we can prove the following corollary.
Corollary 3.14
Let \(x:I\to \mathbb {Q}^{3}_{2}\subset \mathbb {R}^{4}_{2}\) be a null curve in the lightlike cone \(\mathbb {Q}^{3}_{2}\). Then the image of x lies in a 2dimensional subspace of \(\mathbb {R}^{4}\).
Proof
Since x satisfies the secondorder linear homogeneous differential equation in (12), by [9, Proposition 6.1], the proof is complete. □
4 Curves with special curvature functions
In this section, we classify all curves with constant curvature functions on the lightlike cone \(\mathbb {Q}^{3}_{2}\). These curves are solutions of a secondorder differential equation with constant coefficients. From now on, we assume that the parameter s̃ of the curve \(x (\tilde{s} )\) satisfies Proposition 2.1, i.e., \(h=0\). Also, since from Theorem 3.11, \(\kappa _{2}=0\) for a null curve on the lightlike cone \(\mathbb {Q}^{3}_{2}\) with respect to the natural Frenet frame obtained in Theorem 3.10, there exists only one curvature function κ. Also, by the second equation of (12), a null curve x on the lightlike cone \(\mathbb {Q}^{3}_{2}\) satisfies the secondorder differential equation
Hence, with initial conditions \(x (\tilde{s}_{0} )= (a_{1},a_{2},a_{3},a_{4} ) \in \mathbb {Q}^{3}_{2}\) and \(x' (\tilde{s}_{0} )= (b_{1},b_{2},b_{3},b_{4} )\in \mathbb {Q}^{3}_{2}\), the differential equation (14) has a unique solution. Thus, we have proved the following result.
Theorem 4.1
Let \(q_{0}= (a_{1},a_{2},a_{3},a_{4} )\in \mathbb {Q}^{3}_{2} \subset \mathbb {R}^{4}_{2}\) be a point on the lightlike cone \(\mathbb {Q}^{3}_{2}\), \(X_{0}= (b_{1},b_{2},b_{3},b_{4} )\) be a null tangent vector at \(q_{0}\), \(\kappa :I\to R\) be a nonzero smooth function, and \(\tilde{s}_{0}\in I\). Then there is a unique null curve \(x:I\to \mathbb {Q}^{3}_{2}\subset \mathbb {R}^{4}_{2}\) parameterized by s̃ with the natural Frenet frame \(\{x (\tilde{s} ),x' (\tilde{s} ),N ( \tilde{s} ),W (\tilde{s} )\}\) such that \(x (\tilde{s}_{0} )=q_{0}\), \(x' (\tilde{s}_{0} )=X_{0}\), and its curvature function is \(\kappa (\tilde{s} )\).
For constant curvature functions \(\kappa (\tilde{s} )=\kappa _{0}\), the solutions of the differential equation (14) are
for \(\kappa _{0}>0\), and
for \(\kappa _{0}<0\), where it is possible to calculate the coefficients \(a_{i}\), \(b_{i}\), \(c_{i}\), and \(d_{i}\), \(i=1,2\), from the initial conditions \(x (\tilde{s}_{0} )\) and \(x' (\tilde{s}_{0} )\).
The following example appears in [16, Example 5.1], where the authors have obtained a natural Frenet frame and its curvature functions for the given null curve in the way of Duggal and Bejancu [6]. In this example, we calculate our natural Frenet frame by Theorem 3.10.
Example 4.2
Let \(x:I\to \mathbb {Q}^{3}_{2}\) be the null curve given by
where \(I\subset \mathbb {R}\) is an open set and \(\theta =\frac{\sqrt{15}}{2}\ln s^{2}\). The structure functions of \(x(s)\) are
The tangent vector \(x'(s)\) is given by
Since \(x_{1}(s)+x_{3}(s)\neq 0\), \(x_{2}(s)+x_{4}(s)\neq 0\), and \(\lambda :=\rho (s)=1\sqrt{2}\), we get \(\rho '(s)=0\), and
From Theorem 3.6, the curve x is a curve of Type 2.1, and by Theorem 3.10, the unique transversal vector field to x is
since
and the unique transversal vector field to \(x'\) is
For this natural Frenet frame, we have, by Theorem 3.11, one curvature function, namely
and \(h(s)=\kappa _{2}(s)=0\). From Corollary 3.14, this curve lies in a 2dimensional subspace of \(\mathbb {R}^{4}\). By direct calculations, we can represent x as
where \(\theta (s)=\frac{\sqrt{15}}{2}\ln s^{2}\). In Fig. 1, we draw the projections of the null curve x on \(x_{i}=0\), \(i=1,\ldots ,4\).
In the following example, we give a null curve with constant curvature \(\kappa =1\).
Example 4.3
Let \(x_{0}=(1,17,11,13)\) be a point of the lightlike cone \(\mathbb {Q}^{3}_{2}\) and the vector \(x'_{0}= (\frac{5}{3},\frac{35}{3},\frac{25}{3},\frac{25}{3} )\) be a tangent vector at \(x_{0}\). Then the null curve
is a null curve of Type 2.1 that passes from \(x_{0}\) with tangent vector \(x'_{0}\), and its curvature function is constant \(\kappa =1\). For this curve, \(h=\frac{1}{3}\) and the structure functions are
also \(\Theta (s)=f(s)g'(s)f'(s)g(s)=15\). From Corollary 3.14, this curve lies in the 2dimensional subspace spanned by the initial condition vectors \(x_{0}\), \(x'_{0}\) as
In Fig. 2, we draw the projections of the null curve x on \(x_{i}=0\), \(i=1,\ldots ,4\).
References
Abazari, N., Bohner, M., Sağer, I., Sedaghatdoost, A.: Spacelike curves in the lightlike cone. Appl. Math. Inf. Sci. 12(6), 1227–1236 (2018)
Abazari, N., Bohner, M., Sağer, I., Yayli, Y.: Stationary acceleration of Frenet curves. J. Inequal. Appl. 2017, Paper No. 92 (2017)
Bejancu, A.: Lightlike curves in Lorentz manifolds. Publ. Math. (Debr.) 44(1–2), 145–155 (1994)
Bonnor, W.B.: Null curves in a Minkowski spacetime. Tensor 20, 229–242 (1969)
Duggal, K.L., Bejancu, A.: Lightlike Submanifolds of SemiRiemannian Manifolds and Applications. Mathematics and Its Applications, vol. 364. Kluwer Academic, Dordrecht (1996)
Duggal, K.L., Jin, D.H.: Null Curves and Hypersurfaces of SemiRiemannian Manifolds. World Scientific, Hackensack (2007)
Ferrández, A., Giménez, A., Lucas, P.: Null helices in Lorentzian space forms. Int. J. Mod. Phys. A 16(30), 4845–4863 (2001)
Kühnel, W.: Differential Geometry: Curves—Surfaces—Manifolds. Student Mathematical Library, vol. 77. Am. Math. Soc., Providence (2015). Third edition [of MR1882174], translated from the 2013 German edition by Bruce Hunt, with corrections and additions by the author
Kula, L., Yayli, Y.: Split quaternions and rotations in semi Euclidean space \(\mathbb{E}^{4}_{2}\). J. Korean Math. Soc. 44(6), 1313–1327 (2007)
Külahci, M.: Investigation of a curve using Frenet frame in the lightlike cone. Open Phys. 15(1), 175–181 (2017)
Külahci, M., Bektaş, M., Ergüt, M.: Curves of \(\operatorname{AW}(k)\)type in 3dimensional null cone. Phys. Lett. A 371(4), 275–277 (2007)
Liu, H.: Curves in the lightlike cone. Beitr. Algebra Geom. 45(1), 291–303 (2004)
Liu, H., Meng, Q.: Representation formulas of curves in a two and threedimensional lightlike cone. Results Math. 59(3–4), 437–451 (2011)
O’Neill, B.: SemiRiemannian Geometry: With Applications to Relativity. Pure and Applied Mathematics, vol. 103. Academic Press, New York (1983)
Sun, J., Pei, D.: Some new properties of null curves on 3null cone and unit semiEuclidean 3spheres. J. Nonlinear Sci. Appl. 8(3), 275–284 (2015)
Wang, Z., Pei, D., Kong, L.: Gaussian surfaces and nullcone dual surfaces of null curves in a threedimensional nullcone with index 2. J. Geom. Phys. 73, 166–186 (2013)
Acknowledgements
N. A. and A. S. thank the University of Mohaghegh Ardabili for supporting this research.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All five authors contributed equally to this work. They all read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abazari, N., Bohner, M., Sağer, I. et al. A natural Frenet frame for null curves on the lightlike cone in Minkowski space \(\mathbb{R} ^{4}_{2}\). J Inequal Appl 2020, 235 (2020). https://doi.org/10.1186/s1366002002500y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366002002500y