Next Article in Journal
Detectability Improved Tamper Detection Scheme for Absolute Moment Block Truncation Coding Compressed Images
Previous Article in Journal
Analytical Model of a Multi-Step Straightening Process for Linear Guideways Considering Neutral Axis Deviation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Special Kinds of Involute and Evolute Curves in 4-Dimensional Minkowski Space

by
Muhammad Hanif
1,*,
Zhong Hua Hou
1 and
Kottakkaran Sooppy Nisar
2
1
School of Mathematical Science, Dalian University of Technology, Dalian 116024, China
2
Department of Mathematics, Prince Sattam Bin Abdulaziz University, Alkharj 11991, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(8), 317; https://doi.org/10.3390/sym10080317
Submission received: 18 June 2018 / Revised: 6 July 2018 / Accepted: 22 July 2018 / Published: 2 August 2018

Abstract

:
Recently, extensive research has been done on evolute curves in Minkowski space-time. However, the special characteristics of curves demand advanced level observations that are lacking in existing well-known literature. In this study, a special kind of generalized evolute and involute curve is considered in four-dimensional Minkowski space. We consider (1,3)-evolute curves with respect to the casual characteristics of the (1,3)-normal plane that are spanned by the principal normal and the second binormal of the vector fields and the (0,2)-evolute curve that is spanned by the tangent and first binormal of the given curve. We restrict our investigation of (1,3)-evolute curves to the (1,3)-normal plane in four-dimensional Minkowski space. This research contribution obtains a necessary and sufficient condition for the curve possessing the generalized evolute as well as the involute curve. Furthermore, the Cartan null curve is also discussed in detail.
MSC:
53A04; 53A35

1. Introduction

In the theory of curves, one of the important and interesting problems is the characterization of regular curves, in particular, the involute–evolute of a given curve. Evolutes and involutes (also known as evolvents) were studied by C. Huygens [1]. According to D. Fuchs [2], an involute of a given curve is a curve to which all tangents of the given curve are normal. He also defined the equation for an enveloping curve of the family of normal planes for a space curve. Suleyman and Seyda [3] determined the concept of parallel curves, which means that if the evolute exists, then the evolute of the parallel arc will also exist and the involute will coincide with the evolute. Brewster and David [4] stated that a curve is composed of two arcs with a common evolute, and the common evolute of two arcs must be a curve with only one tangent in each direction. In general, the evolute of a regular curve has singularities, and these points correspond to vertices. Emin and Suha [5] determined that an evolute Frenet apparatus can be formed by an involute apparatus in four dimensional Euclidean space, so, in this way, another orthonormal of the same space can be obtained. Shyuichi Izumiya [6] defined evolutes as the loci of singularities of space-like parallels and geometric properties of non-singular space-like hyper surfaces corresponding to the singularities of space-like parallels or evolutes. Takami Sato [7] investigated the singularities and geometric properties of pseudo-spherical evolutes of curves on a space-like surface in three-dimensional Minkowski-space. Marcos Craizer [8] stated that the iteration of involutes generates a pair of sequences of curves with respect to the Minkowski metric and its dual.
According to Boaventura Nolasco and Rui Pacheco [9], correspondence between plane curves and null curves in Minkowski three-space exists. He also described the geometry of null curves in terms of the curvature of the corresponding plane curves. M. Turgut and S. Yilmaz [10] obtained the Frenet apparatus of a given curve by defining the space-like involute–evolute curve couple in Minkowski space-time. Some researchers have investigated evolute curves and their characterization in Minkowski space [11,12,13,14,15,16] as well as in Euclidean space. Many researchers have dealt with evolute–involute curves, but no research has been carried out on the Cartan null curve. In this study, a special kind of generalized evolute and involute curve is considered in four-dimensional Minkowski space. We obtained necessary and sufficient conditions for the curve possessing a generalized evolute as well as an involute.

2. Preliminaries

Consider the Minkowski space-time, ( E 1 4 , G ) , where E 1 4 = { y = ( y 1 , y 2 , y 3 , y 4 ) | y i R } and G = d y 1 2 + d y 2 2 + d y 3 2 + d y 4 2 . For any M = ( m 1 , m 2 , m 3 , m 4 ) and N = ( n 1 , n 2 , n 3 , n 4 ) T y E . We denote M · N = G ( M , N ) = m 1 n 1 + m 2 n 2 + m 3 n 3 + m 4 n 4 . Let I be an open interval in R and α : I E 1 4 be a regular curve in E 1 4 that is parameterized by the arc length parameter, s, and { T , N , B 1 , B 2 } is the moving Frenet frame along α , consisting of the tangent vector, T; the principal normal vector, N; the first binormal vector, B 1 , and the second binormal vector, B 2 , respectively, so that T N B 1 B 2 coincides with the standard orientation of E 1 4 . Then, T · T = ϵ 1 , N · N = ϵ 2 , B 1 · B 1 = ϵ 3 , B 2 · B 2 = ϵ 4 , ϵ 1 ϵ 2 ϵ 3 ϵ 4 = 1 , ϵ i { 1 , 1 } , i { 1 , 2 , 3 , 4 } .
In particular, the following conditions hold: T · N = T · B 1 = T · B 2 = N · B 1 = N · B 2 = B 1 · B 2 = 0 .
In accordance with reference [17], the Frenet–Serret formula for α in E 1 4 is given by
T N B 1 B 2 = 0 ϵ 2 k 1 0 0 ϵ 1 k 1 0 ϵ 3 k 2 0 0 ϵ 2 k 2 0 ϵ 1 ϵ 2 ϵ 3 k 3 0 0 ϵ 3 k 3 0 T N B 1 B 2 .
We introduce some methodologies in this paper. At any point of α , the plane spanned by { T , B 1 } is called the (0,2)-tangent plane of α . The plane spanned by { N , B 2 } is called the (1,3)-normal plane of α .
Let α : I E 1 4 and α * : I E 1 4 be two regular curves in E 1 4 , where s is the arc-length parameter of α . Denote s * = f ( s ) to be the arc-length parameters of α * . For any s I , if the (0,2)-tangent plane of α at α ( s ) coincides with the (1,3)-normal plane at α * ( s ) of α * , then α * is called the (0,2)-involute curve of α in E 1 4 and α is called the (1,3)-evolute curve of α * in E 1 4 .
An arbitrary curve, α ( s ) in E 1 4 , can locally be space-like, time-like, or null (light-like) if all of its velocity vectors, α ( s ) , are respectively space-like, time-like, or null [18]. A null curve, α , is parametrized by the pseudo-arc s if g ( α ( s ) , α ( s ) ) = 1 [19]. On the other hand, a nonnull curve, α , is parametrized by the arc-length parameter, s, if g ( α ( s ) , α ( s ) ) = ± 1 . In accordance with references [19,20], if α is null Cartan curve, the Cartan Frenet frame is given by
T N B 1 B 2 = 0 k 1 0 0 k 2 0 k 1 0 0 k 2 0 k 3 k 3 0 0 0 T N B 1 B 2 ,
where k 1 ( s ) = 0 if α ( s ) is a null straight line or k 1 ( s ) = 1 in all other cases. In this case, the next conditions hold: T · T = B 1 · B 1 = 0 , N · N = B 2 · B 2 = 1 , T · N = T · B 2 = N · B 1 = N · B 2 = B 1 · B 2 = 0 , T · B 1 = 1 .

3. The (0,2)-Involute Curve of a Given Curve in E 1 4

In this section, we proceed to study the existence and expression of the (0,2)-involute curve of a given curve in E 1 4 .
Theorem 1.
Let α : I E 1 4 be a regular curve parameterized by arc-length s so that k 1 , k 2 and k 3 are not zero. If α possesses the (0,2)-involute mate curve, α * ( s ) = α ( s ) + ( ϕ 0 s ) T ( s ) + φ B 1 ( s ) , with φ 0 , then k 1 , k 2 and k 3 satisfy
k 2 k 1 = τ , k 3 k 1 = t 1 ( τ + ϵ 1 ϵ 3 t 2 ) , τ = ϕ 0 s + φ t 1 2 t 2 φ ( 1 ϵ 1 ϵ 3 t 1 2 ) ,
where ϕ 0 , φ , t 1 and t 2 are given constants. Moreover, the three curvatures of α * are given by
k 1 * = ϵ 1 ϵ 4 ϵ 2 * f t 3 2 φ ( τ + ϵ 1 ϵ 3 t 2 ) , k 2 * = f ( ϵ 4 ϵ 3 * t 2 τ ϵ 2 ϵ 3 * t 2 2 ϵ 1 ϵ 4 * t 3 2 ) φ t 1 ( τ + ϵ 1 ϵ 3 t 2 ) , k 3 * = ϵ 4 ϵ 4 * f φ t 1 ,
where f 0 . The associated Frenet frame are given by
T * = f t 3 ( t 1 N + B 2 ) , N * = f ( T + t 2 B 1 ) , B 1 * = g t 3 ( N + t 1 B 2 ) , B 2 * = f ( t 2 T + B 1 ) .
Proof. 
Let α : I E 1 4 be a regular curve with arc-length parameter s so that k 1 , k 2 and k 3 are not zero. Suppose that α * : I E 1 4 is the (0,2)-involute curve of α . { T * , N * , B 1 * , B 2 * } is the Frenet frame along α * and k 1 * , k 2 * and k 3 * are the curvatures of β * . Then
span { T , B 1 } = s p a n { N * , B 2 * } , span { N , B 2 } = s p a n { T * , B 1 * } .
Moreover, α * can be expressed as
α * ( s ) = α ( s ) + ϕ ( s ) T ( s ) + φ ( s ) B 1 ,
where ϕ ( s ) and φ ( s ) are C functions on I.
By differentiating ( 3 ) with respect to s and using the Frenet formula (1), we get
f T * = ( 1 + ϕ ) T ( s ) + φ ( s ) B 1 + ϵ 2 ( ϕ k 1 φ k 2 ) N ϵ 1 ϵ 2 ϵ 3 φ k 3 B 2 .
Taking the inner product on both sides of (4) with T and B 1 , respectively, we get 1 + ϕ = 0 and φ = 0 , which implies that φ is constant and ϕ = φ 0 s , where ϕ 0 is the integration constant. So, (4) turns into
f T * = ϵ 2 ( ϕ k 1 φ k 2 ) N ϵ 1 ϵ 2 ϵ 3 φ k 3 B 2 .
If we denote
μ = ϵ 2 ( ϕ k 1 φ k 2 ) f , ν = ϵ 1 ϵ 2 ϵ 3 φ k 3 f ,
then (5) turns into
T * = μ N + ν B 2 , μ 2 + ν 2 = 1 .
Case 1: φ 0 . In this case, ν 0 . μ ν = t 1 implies that μ = t 1 ν and
ϵ 2 ( ϕ k 1 φ k 2 ) = ϵ 1 ϵ 2 ϵ 3 φ t 1 k 3 , f = ϵ 1 ϵ 2 ϵ 3 φ ν 1 k 3 , ν 2 = 1 1 + t 1 2 .
By differentiating (7) with respect to s and using the Frenet formula (1), we get
ϵ 2 * f k 1 * N * = μ N ϵ 1 μ k 1 T + ν B 2 + ϵ 3 ( μ k 2 ν k 3 ) B 1 .
By taking the inner product from both sides of (9) with N and B 2 , respectively, we get μ = 0 and ν = 0 , which implies that μ and ν are constants. So, (9) turns into
ϵ 2 * f k 1 * N * = ϵ 1 μ k 1 T + ϵ 3 ( μ k 2 ν k 3 ) B 1 .
Denote
f = ϵ 1 ν t 1 k 1 ϵ 2 * f k 1 * , g = ϵ 3 ν ( t 1 k 2 k 3 ) ϵ 2 * f k 1 * ,
then (10) turns into
N * = f T + g B 1 , f 2 + g 2 = 1 .
g f = t 2 implies that g = t 2 f and
t 1 t 2 k 1 = ϵ 1 ϵ 3 ( t 1 k 2 k 3 ) , f 2 = 1 1 + t 2 2 .
From Equations (8) and (13), we have
τ : = k 2 k 1 = ϕ φ + t 1 2 t 2 1 ϵ 1 ϵ 3 t 1 2 , k 3 k 1 = t 1 ( τ + ϵ 1 ϵ 3 t 2 ) .
ν f = t 3 implies that ν = t 3 f . From (11), we get
f k 1 * = ϵ 1 ϵ 2 * t 1 t 3 k 1 , t 3 2 = 1 + t 2 2 1 + t 1 2 .
By differentiating (12) with respect to s using the Frenet formula (1), we get
ϵ 1 * f k 1 * T * + ϵ 3 * f k 2 * B 1 * = f T + ϵ 2 ( f k 1 g k 2 ) N + g B 1 ϵ 1 ϵ 2 ϵ 3 g k 3 B 2 .
By taking inner product on both side of (16) by T and B 1 respectively, we get f = 0 and g = 0 , which implies that f and g are constants. In this case, (16) turns into
ϵ 3 * f k 2 * B 1 * = ϵ 1 * f k 1 * T * + ϵ 2 f ( k 1 t 2 k 2 ) N ϵ 1 ϵ 2 ϵ 3 g t 2 k 3 B 2 .
By substituting (7) and (15) into (17), we get
f k 2 * B 1 * = f k 1 ( ϵ 4 ϵ 3 * t 2 τ ϵ 2 ϵ 3 * t 2 2 ϵ 1 ϵ 4 * t 3 2 ) ( N + t 1 B 2 ) .
From (18), we may choose that
B 1 * = ϵ 4 ν N + ϵ 2 μ B 2 , f k 2 * = t 3 1 k 1 ( ϵ 4 ϵ 3 * t 2 τ ϵ 2 ϵ 3 * t 2 2 ϵ 1 ϵ 4 * t 3 2 ) .
By differentiating (19) about s and using the Frenet formula (1), we get
ϵ 2 * f k 2 * N * ϵ 1 * ϵ 2 * ϵ 3 * f k 3 * B 2 * = ϵ 1 ϵ 4 ν k 1 T ( ϵ 3 ϵ 4 ν k 2 + ϵ 2 ϵ 3 μ k 3 ) B 1 ,
from which we obtain
ϵ 4 * f k 3 * B 2 * = ( ϵ 2 * f f k 2 * + ϵ 1 ϵ 4 ν k 1 ) T + ( ϵ 2 * g f k 2 * ϵ 3 ϵ 4 ν k 2 ϵ 2 ϵ 3 μ k 3 ) B 1 = t 3 1 k 1 ( τ + ϵ 1 ϵ 3 t 2 ) ( g T + f B 1 ) .
From (21), we may choose that
B 2 * = g T + f B 1 , f k 3 * = ϵ 4 * t 3 1 k 1 ( τ + ϵ 1 ϵ 3 t 2 ) .
From Equations (14), (15), (18) and (22), we can easily acquire our theorem. ☐
Case 2: If φ = 0 , we have the following theorem.
Theorem 2.
Let α : I E 1 4 be a regular curve with arc-length parameter s so that k 1 , k 2 and k 3 are not zero. If α possesses the (0,2)-involute mate curve α * = α ( s ) + ( ϕ 0 s ) T ( s ) , then k 1 and k 2 satisfy
g k 1 + f k 2 = 0 ,
where ϕ 0 , f, and g are given constants.
Moreover, the three curvatures of α * are given by
k 1 * = 1 ϵ 1 ϵ 2 ϵ 2 * f ( s ϕ 0 ) , k 2 * = ϵ 4 ϵ 3 * g k 3 ϵ 2 ( s ϕ 0 ) k 1 , k 3 * = ϵ 1 * ϵ 4 f k 3 ϵ 2 ( s ϕ 0 ) k 1 .
The associated Frenet frames are given by
T * = N , N * = f T + g B 1 , B 1 * = B 2 , B 2 * = g T + f B 1 .
In this case, (4) turns into
α * ( s ) = α ( s ) + ( ϕ 0 s ) T ( s ) .
By differentiating (24) with respect to s and using the Frenet Formula (1), we get
f T * = ϵ 2 ( ϕ 0 s ) k 1 N ,
from which we may assume that
f = ϵ 2 ( s ϕ 0 ) k 1 , T * = N .
By differentiating the second equation of (26) about s and using the Frenet Formula (1), we get
ϵ 2 * f k 1 * N * = ϵ 1 k 1 T ϵ 3 k 2 B 1 .
Suppose that
N * = f T + g B 1 , f = ϵ 1 k 1 ϵ 2 * f k 1 * , g = ϵ 3 k 2 ϵ 2 * f k 1 * , f 2 + g 2 = 1 .
It follows that
k 2 k 1 = g f ϵ 1 ϵ 3 .
By differentiating (27) about s, we obtain that f and g are constants:
ϵ 3 * f k 2 * B 1 * = ϵ 1 * f k 1 * T * + ϵ 2 ( f k 1 g k 2 ) N ϵ 1 ϵ 2 ϵ 3 g k 3 B 2 = ϵ 2 g ( g f k 1 + k 2 ) N + ϵ 4 g k 3 B 2 = ϵ 4 g k 3 B 2 .
Suppose that
B 1 * = B 2 , f k 2 * = ϵ 4 ϵ 3 * g k 3 .
By differentiating (30) about s, we obtain
ϵ 4 * f k 3 * B 2 * = ϵ 2 f k 2 * N * + ϵ 3 k 3 B 1 = ϵ 1 * ϵ 4 k 3 [ f g T ( 1 g 2 ) B 1 ] = ϵ 1 * ϵ 4 f k 3 ( g T f B 1 ) .
Suppose that
T * N * B 1 * B 2 * = T N B 1 B 2 ,
then
B 2 * = g T + f B 1 , f k 3 * = ϵ 1 * ϵ 4 f k 3 .
From Equations (27), (30) and (33), we have achieved the desired theorem.
Remark 1.
Theorems 1 and 2 are quite different.

4. The (1,3)-Evolute Curve of a Given Curve in E 1 4

In this section, we want to study the (1,3)-evolute curve of a given curve in E 1 4 .
Theorem 3.
Let α : I E 1 4 be a regular curve with arc length parameter s so that k 1 , k 2 and k 3 are not zero, If α possesses the (1,3)-evolute mate curve, α * ( s ) = α ( s ) + 1 i k 1 ( s ) [ i N ( s ) + j B 2 ( s ) ] 1 k 3 ( s ) B 2 ( s ) , then k 1 , k 2 and k 3 satisfy ϵ 1 i k 1 + ϵ 3 ( j k 2 j k 3 ) = 0 , where i and j are given constants. Three curvatures of α * are given by
k 1 * = ϵ 1 ϵ 2 * 2 ( i k 1 ) f , k 2 * = 2 [ ϵ 4 ϵ 3 * k 3 / ( 2 i ) ϵ 1 ϵ 4 * j k 1 ] f , k 3 * = 2 k 3 / ( 2 i f ) , f = ( 1 / i k 1 ) .
The associated Frenet frames are given by
T * = i N + j B 2 , N * = ( T + B 1 ) / 2 , B 1 * = j N + i B 2 , B 2 * = ( T + B 1 ) / 2 .
Proof. 
Let α : I E 1 4 be a regular curve with arc-length parameter s so that k 1 , k 2 and k 3 are not zero. Let α * : I E 1 4 be the (1,3)-evolute curve of α . { T * , N * , B 1 * , B 2 * } is the Frenet frame along α * and k 1 * , k 2 * and k 3 * are the curvatures of α * . Then,
s p a n { T , B 1 } = s p a n { N * , B 2 * } , s p a n { N , B 2 } = s p a n { T * , B 1 * } .
Moreover, α * can be expressed as
α * ( s ) = α ( s ) + p ( s ) N ( s ) + q ( s ) B 2 ,
where p ( s ) and q ( s ) are C functions on I.
Differentiating (35) with respect to s using Frenet Formula (1), we get
T * f = ( 1 p ϵ 1 k 1 ) T + p N + q B 2 + ϵ 3 ( p k 2 q k 3 ) B 1 ,
By taking the inner product from both sides of (36) with T and B 1 , respectively, we get
f T * = p N + q B 2 , p = 1 ϵ 1 k 1 , q = ϵ 1 k 2 k 1 k 3 .
Denote
i = u f , j = v f ,
then (37) turns into
T * = i N + j B 2 , i 2 + j 2 = 1 .
By differentiating (39) with respect to s and using the Frenet formula (1), we get
ϵ 2 * f k 1 * N * = i N ϵ 1 i k 1 T + j B 2 + ϵ 3 ( i k 2 j k 3 ) B 1 .
By taking inner product on both sides of (40) with N and B 2 respectively, we get i = o and j = 0 , which implies that i and j are constants.
From (38), we obtain
p = i f + p 0 = 1 ϵ 1 k 1 , q = j f + q 0 = ϵ 1 k 2 k 1 k 3 .
Moreover, (40) turns into
ϵ 2 * f k 1 * N * = ϵ 1 i k 1 T + ϵ 3 ( i k 2 j k 3 ) B 1 .
Denote
r = ϵ 1 i k 1 ϵ 2 * f k 1 * , t = ϵ 3 ( i k 2 j k 3 ) ϵ 2 * f k 1 * .
then (42) turns into
N * = r T + t B 1 , f k 1 * = ϵ 1 ϵ 2 * r 1 i k 1 , r 2 + t 2 = 1 .
Moreover, we have
ϵ 1 ϵ 2 * t i k 1 + ϵ 3 ( r i k 2 r j k 3 ) = 0 .
Case 1: t 0 . By differentiating (44) about s and using the Frenet Formula (1), we get
ϵ 1 * f k 1 * T * + ϵ 3 * f k 2 * B 1 * = ϵ 2 ( r k 1 t k 2 ) N ϵ 1 ϵ 2 ϵ 3 t k 3 B 2 + r T + t B 1 .
By taking inner product on both sides of (46) with T and B 1 respectively, we get r = 0 and t = 0 , which implies that r and t are constants. In this case, (46) turns into
f k 2 * B 1 * = ( ϵ 2 ϵ 3 * r 2 ϵ 1 ϵ 4 * i 2 r k 1 ϵ 2 ϵ 3 * t k 2 ) N ( ϵ 4 ϵ 3 * t k 3 + ϵ 1 ϵ 4 * i j r k 1 ) B 2 .
Denote
σ = ( f k 2 * ) 1 ( ϵ 2 ϵ 3 * r 2 ϵ 1 ϵ 4 * i 2 r k 1 ϵ 2 ϵ 3 * t k 2 ) , ς = ( f k 2 * ) 1 ( ϵ 4 ϵ 3 * t k 3 + ϵ 1 ϵ 4 * i j r k 1 ) ,
then (47) turns into
B 1 * = σ N + ς B 2 , σ 2 + ς 2 = 1 .
Since T * B 1 * , it follows from (40) and (50) that σ ς = j i , which implies that
ϵ 1 i k 1 + ϵ 3 ( i k 2 j k 3 ) = 0 .
From (45) and (50), we can see that
i k 2 j k 3 = ϵ 1 ϵ 3 i k 1 , ( ϵ 1 r ϵ 1 ϵ 1 * t ) i k 1 = 0 .
Since t 0 , it follows from (51) that t = r . Hence, (49) turns into
B 1 * = j N + i B 2 , f k 2 * = ϵ 1 ϵ 4 * j r k 1 + ϵ 4 ϵ 3 * t i k 3 .
By differentiating (52) about s using (1), we get
ϵ 2 * f k 2 * N * + ϵ 4 * f k 3 * B 2 * = ϵ 1 j k 1 T ϵ 3 ( j k 2 + i k 3 ) B 1 ,
from which we obtain
f k 3 * B 2 * = ϵ 2 * f k 2 * N * + ϵ 1 j k 1 T ϵ 3 ( j k 2 + i k 3 ) B 1 , ϵ 4 ϵ 3 * ϵ 4 * t 2 i k 3 ( T + B 1 ) .
It follows from (54) that
B 2 * = t T + r B 1 , f k 3 * = ϵ 4 ϵ 3 * ϵ 4 * t i k 3 .
From (43), (52) and (55), we can easily acquire our desired theorem. ☐
Case 2: If t = 0 , we have the following theorem.
Theorem 4.
Let α : I E 1 4 be a regular curve parameterized by arc-length s so that k 1 , k 2 and k 3 are not zero. If α possesses the (1,3)-evolute mate curve, α * ( s ) = α ( s ) + 1 i k 1 ( s ) [ i N ( s ) + j B 2 ( s ) ] , then k 2 and k 3 satisfy i k 2 j k 3 = 0 , where i and j are given constants. Moreover, the three curvatures of α * are given by
k 1 * = ϵ 1 ϵ 2 * i k 1 / f , k 2 * = ϵ 1 ϵ 2 * j k 1 / f , k 3 * = ϵ 3 i 1 k 3 / f , f = ( 1 i k 1 ) .
The associated Frenet frames are given by
T * = i N + j B 2 , N * = T , B 1 * = j N + i B 2 , B 2 * = B 1 .
Proof. 
For this case, we may suppose that
N * = T , f k 1 * = ϵ 1 ϵ 2 * i k 1 , ϵ 3 ( i k 2 j k 3 ) = 0 .
From (41) and the third equation of (58), we acquire
p = i ( f + f 0 ) = ϵ 1 k 1 q = j ( f + f 0 ) = ϵ 1 j i k 1 .
By differentiating (58) about s and using (1), we get
ϵ 1 * f k 1 * T * + ϵ 3 * f k 2 * B 1 * = ϵ 2 k 1 N .
It follows that we may choose
B 1 * = j N + i B 2 , f k 2 * = ϵ 1 ϵ 2 * j k 1 .
By differentiating (61) about s using the Frenet Formula (1) and third equation of (58), we get
B 2 * = B 1 , f k 3 * = ϵ 3 ( j k 2 + i k 3 ) = ϵ 3 i 1 k 3 .
From (58), (61) and (62), we can easily acquire our desired theorem. ☐
Remark 2.
Theorems 3 and 4 are quite different.

5. The (1,3)-Evolute Curve of a Cartan Null Curve in E 1 4

In this section, we proceed to study the existence and expression of the (1,3)-evolute curve of a given Cartan null curve in E 1 4 . At any point of α , the plane spanned by { N , B 2 } is called the (1,3)-normal plane of α .
Let α : I E 1 4 and α * : I E 1 4 be two regular curves in E 1 4 , where s is the arc-length parameter of α . Denote s * = f ( s ) to be the arc-length parameters of α * . For any s I , if the (0,2)-tangent plane of α at α ( s ) coincides with the (1,3)-normal plane at α * ( s ) of α * , then α * is called the (0,2)-involute curve of α in E 1 4 and α is called the (1,3)-evolute curve of α * in E 1 4 .
Theorem 5.
Let α : I E 1 4 be a null Cartan curve with arc length parameter s so that k 1 = 1 , and k 2 k 3 are not zero, if α possesses the (1,3)-evolute mate curve, α * ( s ) = α ( s ) + 1 i ( s ) [ i N ( s ) + j B 2 ( s ) ] 1 k 3 ( s ) B 2 ( s ) , then k 1 , k 2 and k 3 satisfy i + i k 2 j k 3 = 0 , where i and j are given constants. Three curvatures of α * are given by
k 1 * = 2 ( i ) f , k 2 * = 2 [ k 3 / ( 2 i ) j ] f , k 3 * = 2 k 3 / ( 2 i f ) , f = ( 1 / i ) .
Moreover, the associated Frenet frames are given by
T * = i N + j B 2 , N * = ( T + B 1 ) / 2 , B 1 * = j N + i B 2 , B 2 * = ( T + B 1 ) / 2 .
Proof. 
Let α : I E 1 4 be a Cartan null curve parameterized by the pseudo-arc parameter s with curvatures k 1 = 1 , and k 2 and k 3 are not zero. Let α * : I E 1 4 be the (1,3)-evolute curve of α . Denote { T * , N * , B 1 * , B 2 * } as the Frenet frame along α * and k 1 * , k 2 * and k 3 * as the curvatures of α * . Then
s p a n { T , B 1 } = s p a n { N * , B 2 * } , s p a n { N , B 2 } = s p a n { T * , B 1 * } .
Moreover, α * can be expressed as
α * ( s ) = α ( s ) + p ( s ) N ( s ) + q ( s ) B 2 ,
where p ( s ) and q ( s ) are C functions on I. By differentiating (66) with respect to s using the Frenet Formula (2), we get
T * f = ( 1 + p k 2 q k 3 ) T + p N + q B 2 p B 1 .
By taking the inner product on both sides of (67) with T and B 1 , respectively, we get
f T * = p N + q B 2 , p = 1 , q = k 2 k 3 .
Denote
i = p f , j = q f ,
then (68) turns into
T * = i N + j B 2 , i 2 + j 2 = 1 .
By differentiating (70) with respect to s and using the Frenet formula (2), we get
f k 1 * N * = i N i B 1 + j B 2 + ( i k 2 j k 3 ) T .
By taking the inner product on both sides of (71) with N and B 2 respectively, we get i = o and j = 0 which implies that i and j are constants. From (69), we get
p = i f + p 0 = 1 , q = j f + q 0 = k 2 k 3 .
Moreover, (71) turns into
f k 1 * N * = i B 1 + ( i k 2 j k 3 ) T .
Denote
r = i f k 1 * , t = ( i k 2 j k 3 ) f k 1 * ,
then (73) turns into
N * = r B 1 + t T , f k 1 * = r 1 i , r 2 + t 2 = 1 .
Moreover,
t i + r i k 2 r j k 3 = 0 .
Case 1: t 0 . By differentiating (75) about s and using the Frenet Formula (2), we get
f k 1 * T * + f k 2 * B 1 * = ( t k 1 r k 2 ) N + r k 3 B 2 + r T + t B 1 .
By taking the inner product from both sides of (77) with T and B 1 respectively, we get r = 0 and t = 0 , which implies that r and t are constants. In this case, (77) turns into
f k 2 * B 1 * = ( r 2 i 2 r t k 2 ) N ( t k 3 + i j r ) B 2 .
Denote
σ = ( f k 2 * ) 1 ( r 2 i 2 r t k 2 ) , ς = ( f k 2 * ) 1 ( t k 3 i j r ) ,
then (78) turns into
B 1 * = σ N + ς B 2 , σ 2 + ς 2 = 1 .
Since T * B 1 * , it follows from (70) and (80) that σ ς = j i , which implies that
i + i k 2 j k 3 = 0 .
From (76) and (81), we can see that
i k 2 j k 3 = i , ( t r ) i = 0 .
Since t 0 , it follows from (82) that t = r .
Hence (80) turns into
B 1 * = j + i B 2 , f k 2 * = j r + t i k 3 .
By differentiating (83) about s using (2), we get
f k 2 * N * + f k 3 * B 2 * = j B 1 ( j k 2 + i k 3 ) T .
From which we have
f k 3 * B 2 * = f k 2 * N * + j B 1 ( j k 2 + i k 3 ) T , t 2 i k 3 ( T + B 1 ) .
It follows from (85) that
B 2 * = t T + r B 1 , f k 3 * = t i k 3 .
From (74), (83) and (86), we easily acquire our desired theorem. ☐
Case 2: For t = 0 , we have the following theorem.
Theorem 6.
Let α : I E 1 4 be a null Cartan curve with arc-length parameter s so that k 1 = 1 , k 2 and k 3 are not zero. If α possesses the (1,3)-evolute mate curve, α * ( s ) = α ( s ) + 1 i k 1 ( s ) [ i N ( s ) + j B 2 ( s ) ] , then k 2 and k 3 satisfy i k 2 j k 3 = 0 , where i and j are given constants. Moreover, the three curvatures of α * are given by
k 1 * = i / f , k 2 * = j / f , k 3 * = i 1 k 3 / f , f = ( 1 i ) .
The associated Frenet frames are given by
T * = i N + j B 2 , N * = T , B 1 * = j N + i B 2 , B 2 * = B 1 .
Proof. 
For this case, we may suppose that
N * = T , f k 1 * = i , i k 2 j k 3 = 0 .
Moreover, from (72) and the third equation of (89), we get
p = i ( f + f 0 ) = 1 k 1 q = j ( f + f 0 ) = j i .
By differentiating (89) about s and using (2), we get
f k 1 * T * + f k 2 * B 1 * = k 1 N .
It follows that we can choose
B 1 * = j N + i B 2 , f k 2 * = j .
By differentiating (92) about s using the Frenet Formula (2) and third equation of (89), we get
B 2 * = B 1 , f k 3 * = ( j k 2 + i k 3 ) = i 1 k 3 .
From (89), (92) and (93), we can easily acquire our desired theorem. ☐
Remark 3.
Theorems 5 and 6 are quite different.
Condition 2:
Theorem 7.
Let α : I E 1 4 be a null Cartan curve with arc length parameter s so that k 1 = 1 , and k 2 k 3 are not zero if α possesses the (1,3)-evolute mate curve, α * ( s ) = α ( s ) + 1 i ( s ) k 1 [ i N ( s ) + j B 2 ( s ) ] 1 k 3 ( s ) B 2 ( s ) . Then, k 1 , k 2 and k 3 satisfy i k 1 + i j k 3 = 0 , where i and j are given constants. Three curvatures of α * are given, as follows:
k 1 * = 2 ( i k 1 ) f , k 2 * = 2 [ k 3 / ( 2 i ) j k 1 ] f , k 3 * = 2 k 3 / ( 2 i f ) , f = ( 1 / i k 1 ) .
The associated Frenet Frame are given by
T * = i N + j B 2 , N * = ( T + B 1 ) / 2 , B 1 * = j N + i B 2 , B 2 * = ( T + B 1 ) / 2 .
Proof. 
Let α : I E 1 4 be a Cartan null curve parametrized by pseudo-arc parameter s with curvatures k 2 = 1 , and k 1 and k 3 are not zero. Let α * : I E 1 4 be the (1,3)-evolute curve of α . Denote { T * , N * , B 1 * , B 2 * } as the Frenet frame along α * and k 1 * , k 2 * and k 3 * as the curvatures of α * . Then,
s p a n { T , B 1 } = s p a n { N * , B 2 * } , s p a n { N , B 2 } = s p a n { T * , B 1 * } .
Moreover, α * can be expressed as
α * ( s ) = α ( s ) + p ( s ) N ( s ) + q ( s ) B 2 ,
where p ( s ) and q ( s ) are C functions on I. By differentiating (97) with respect to s using the Frenet Formula (2), we get
T * f = ( 1 + p q k 3 ) T + p N + q B 2 p k 1 B 1 .
By taking the inner product from both sides of (98) with T and B 1 respectively, we get
f T * = p N + q B 2 , p = 1 k 1 , q = 1 k 1 k 3 .
Denote
i = p f , j = q f ,
then (99) turns into
T * = i N + j B 2 , i 2 + j 2 = 1 .
By differentiating (101) with respect to s and using the Frenet formula (2), we get
f k 1 * N * = i N i k 1 B 1 + j B 2 + ( i j k 3 ) T .
By taking the inner product from both sides of (102) with N and B 2 , respectively, we get i = o and j = 0 which implies that i and j are constants. From (100), we get
p = i f + p 0 = 1 k 1 , q = j f + q 0 = 1 k 1 k 3 .
Moreover, (102) turns into
f k 1 * N * = i k 1 B 1 + ( i j k 3 ) T .
Denote
r = i k 1 f k 1 * , t = ( i j k 3 ) f k 1 * ,
then (104) turns into
N * = r B 1 + t T , f k 1 * = r 1 i k 1 , r 2 + t 2 = 1 .
Moreover,
t i k 1 + r i r j k 3 = 0 .
Case 1: t 0 . By differentiating (106) about s and using the Frenet Formula (2), we get
f k 1 * T * + f k 2 * B 1 * = ( t k 1 r ) N + r k 3 B 2 + r T + t B 1 .
By taking the inner product on both sides of (108) with T and B 1 , respectively, we get r = 0 and t = 0 , which implies that r and t are constants. In this case, (108) turns into
f k 2 * B 1 * = ( r 2 i 2 r t ) N ( t k 3 + i j k 1 r ) B 2 .
Denote
σ = ( f k 2 * ) 1 ( r 2 i 2 r k 1 t ) , ς = ( f k 2 * ) 1 ( t k 3 i j r k 1 ) ,
then (109) turns into
B 1 * = σ N + ς B 2 , σ 2 + ς 2 = 1 .
Since T * B 1 * , it follows from (101) and (111) that σ ς = j i , which implies that
i k 1 + i j k 3 = 0 .
From (107) and (112), we get
i j k 3 = i k 1 , ( t r ) i k 1 = 0 .
Since t 0 , it follows from (113) that t = r . Hence, (111) turns into
B 1 * = j N + i B 2 , f k 2 * = j r k 1 + t i k 3 .
By differentiating (114) about s using (2), we get
f k 2 * N * + f k 3 * B 2 * = j k 1 B 1 ( j + i k 3 ) T .
From which we have
f k 3 * B 2 * = f k 2 * N * + j k 1 B 1 ( j + i k 3 ) T , t 2 i k 3 ( T + B 1 ) .
It follows from (116) that
B 2 * = t T + r B 1 , f k 3 * = t i k 3 .
From (106), (114) and (117), we can easily acquire our desired theorem. ☐
Case 2: For t = 0 , we have the following theorem.
Theorem 8.
Let α : I E 1 4 be a null Cartan curve with arc-length parameter s so that k 1 = 1 , k 2 and k 3 are not zero. If α possesses the (1,3)-evolute mate curve α * ( s ) = α ( s ) + 1 i k 1 ( s ) [ i N ( s ) + j B 2 ( s ) ] , then k 2 and k 3 satisfy i k 2 j k 3 = 0 , where i and j are given constants. Moreover, the three curvatures of α * are given by
k 1 * = i / f , k 2 * = j / f , k 3 * = i 1 k 3 / f , f = ( 1 i ) .
The associated Frenet frames are given by
T * = i N + j B 2 , N * = T , B 1 * = j N + i B 2 , B 2 * = B 1 .
Proof. 
In this case, we may suppose that
N * = B 1 , f k 1 * = i k 1 , i j k 3 = 0 .
Moreover, from (112) and the third equation of (120), we get
p = i ( f + f 0 ) = 1 k 1 , q = j ( f + f 0 ) = j i k 1 .
By differentiating (120) about s and using (2), we get
f k 1 * T * + f k 2 * B 1 * = k 1 N .
It follows that we can choose
B 1 * = j N + i B 2 , f k 2 * = j k 1 .
By differentiating (123) about s using the Frenet Formula (2) and using the third equation of (120), we get
B 2 * = B 1 , f k 3 * = ( j + i k 3 ) = j 1 .
From (120), (123) and (124), we can easily acquire our desired theorem. ☐
Remark 4.
Theorems 7 and 8 are quite different.

6. Conclusions

This paper established new kinds of generalized evolute and involute curves in four-dimensional Minkowski space by providing the necessary and sufficient conditions for the curves possessing generalized evolute and involute curves. Furthermore, the study invoked a new type of (1,3)-evolute and (0,2)-evolute curve in four-dimensional Minkowski space. The study also provided a new kind of generalized null Cartan curve in four-dimensional Minkowski space. For this new type of curve, the study provided several theorems with necessary and sufficient conditions and obtained significant results. The understanding of evolute curves with this new type evolute curve in four-dimensional Minkowski space will be beneficial for researchers in future studies. The designing of a framework for the involutes of order k of a null Cartan curve in Minkowski spaces will be considered in future work.

Author Contributions

M.H. is a doctorate candidate under the supervision of Z.H.H. and writer of original draft. Z.H.H. write, review and edit the original draft and formal analysis by K.S.N.

Funding

The work presented in this paper is supported by National Natural Science Foundation of China under Grant No. 61473059.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Huygens, C. 1673 Horologium oscillatorium. In Sive de Motu Pendulorum ad Horologia Aptato Demonstrationes Geometrical (Paris: AF Muguet); Iowa State University Press: Ames, IA, USA, 1986. [Google Scholar]
  2. Fuchs, D. Evolutes and involutes of spatial curves. Am. Math. Mon. 2013, 120, 217–231. [Google Scholar] [CrossRef]
  3. Şenyurt, S.; Kılıçoğlu, Ş. On the Differential Geometric Elements of the Involute D-Scroll in E3. Adv. Appl. Clifford Algebras 2015, 25, 977–988. [Google Scholar] [CrossRef]
  4. Gere, B.H.; Zupnik, D. On the Construction of Curves of Constant Width. Stud. Appl. Math. 1943, 22, 31–36. [Google Scholar] [CrossRef]
  5. Özyılmaz, E.; Yılmaz, S. Involute-evolute curve couples in the euclidean 4-Space. Int. J. Open Probl. Compt. Math. 2009, 2, 168–174. [Google Scholar]
  6. Izumiya, S.; Takahashi, M. Spacelike parallels and evolutes in Minkowski pseudo-spheres. J. Geom. Phys. 2007, 57, 1569–1600. [Google Scholar] [CrossRef] [Green Version]
  7. Sato, T. Pseudo-spherical evolutes of curves on a spacelike surface in three dimensional Lorentz—Minkowski space. J. Geom. 2012, 103, 319–331. [Google Scholar] [CrossRef]
  8. Craizer, M. Iteration of involutes of constant width curves in the Minkowski plane. Beiträge Algebra Geometrie/Contrib. Algebra Geom. 2014, 55, 479–496. [Google Scholar] [CrossRef]
  9. Nolasco, B.; Pacheco, R. Evolutes of plane curves and null curves in Minkowski 3-space. J. Geom. 2017, 108, 195–214. [Google Scholar] [CrossRef]
  10. Turgut, M.; Yilmaz, S. On the Frenet frame and a characterization of space-like involute-evolute curve couple in Minkowski space-time. Int. Math. Forum 2008, 3, 793–801. [Google Scholar]
  11. Bükcü, B.; Karacan, M.K. On the involute and evolute curves of the timelike curve in Minkowski 3-space. Demonstr. Math. 2007, 40, 721–732. [Google Scholar]
  12. Bukcu, B.; Karacan, M.K. On the involute and evolute curves of the spacelike curve with a spacelike binormal in Minkowski 3-space. Int. J. Contemp. Math. Sci. 2007, 2, 221–232. [Google Scholar] [CrossRef]
  13. Yoon, D.W. On the evolute offsets of ruled surfaces in Minkowski 3-space. Turk. J. Math. 2016, 40, 594–604. [Google Scholar] [CrossRef]
  14. As, E.; Sarıoğlugil, A. On the Bishop curvatures of involute-evolute curve couple in E3. Int. J. Phys. Sci. 2014, 9, 140–145. [Google Scholar]
  15. Yu, H.; Pei, D.; Cui, X. Evolutes of fronts on Euclidean 2-sphere. J. Nonlinear Sci. Appl. 2015, 8, 678–686. [Google Scholar] [CrossRef] [Green Version]
  16. Fukunaga, T.; Takahashi, M. Evolutes of fronts in the Euclidean plane. Hokkaido Univ. Prepr. Ser. Math. 2012, 1026, 1–17. [Google Scholar] [CrossRef]
  17. İlarslan, K.; Nešović, E. Spacelike and timelike normal curves in Minkowski space-time. Publ. Inst. Math. 2009, 85, 111–118. [Google Scholar] [CrossRef]
  18. O’neill, B. Semi-Riemannian Geometry With Applications to Relativity; Academic Press: Cambridge, MA, USA, 1983; Volume 103. [Google Scholar]
  19. Bonnor, W.B. Null curves in a Minkowski space-time. Tensor 1969, 20, 229. [Google Scholar]
  20. Bonnor, W. Curves with null normals in Minkowski space-time. In A Random Walk in Relativity and Cosmology; 1985; pp. 33–47. Avaliable online: http://adsabs.harvard.edu/abs/1985rwrc.conf...33B (accessed on 17 June 2018).

Share and Cite

MDPI and ACS Style

Hanif, M.; Hou, Z.H.; Nisar, K.S. On Special Kinds of Involute and Evolute Curves in 4-Dimensional Minkowski Space. Symmetry 2018, 10, 317. https://doi.org/10.3390/sym10080317

AMA Style

Hanif M, Hou ZH, Nisar KS. On Special Kinds of Involute and Evolute Curves in 4-Dimensional Minkowski Space. Symmetry. 2018; 10(8):317. https://doi.org/10.3390/sym10080317

Chicago/Turabian Style

Hanif, Muhammad, Zhong Hua Hou, and Kottakkaran Sooppy Nisar. 2018. "On Special Kinds of Involute and Evolute Curves in 4-Dimensional Minkowski Space" Symmetry 10, no. 8: 317. https://doi.org/10.3390/sym10080317

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop