Next Article in Journal
“Computational Mathematics and Mathematical Physics”—Editorial I (2021–2023)
Next Article in Special Issue
Surface Family Pair with Bertrand Pair as Mutual Curvature Lines in Three-Dimensional Lie Group
Previous Article in Journal
On a Generalization of the Kummer’s Quadratic Transformation and a Resolution of an Isolated Case
Previous Article in Special Issue
Kropina Metrics with Isotropic Scalar Curvature
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Some Quasi-Curves in Galilean Three-Space

1
Department of Mathematics, Faculty of Science, Tanta University, Tanta 31511, Egypt
2
Department of Statistics and Operations Research, Faculty of Science, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia
3
Section of Mathematics, International Telematic University Uninettuno, Corso Vittorio Emanuele II, 39, 00186 Roma, Italy
*
Authors to whom correspondence should be addressed.
Axioms 2023, 12(9), 823; https://doi.org/10.3390/axioms12090823
Submission received: 18 July 2023 / Revised: 22 August 2023 / Accepted: 25 August 2023 / Published: 27 August 2023
(This article belongs to the Special Issue Advances in Differential Geometry and Singularity Theory)

Abstract

:
In this paper, the quasi-frame and quasi-formulas are introduced in Galilean three-space. In addition, the quasi-Bertrand and the quasi-Mannheim curves are studied. It is proven that the angle between the tangents of two quasi-Bertrand or quasi-Mannhiem curves is not constant. Furthermore, the quasi-involute is studied. Moreover, we prove that there is no quasi-evolute curve in Galilean three-space. Also, we introduce quasi-Smarandache curves in Galilean three-space. Finally, we demonstrate an illustrated example to present our findings.

1. Introduction

The geometry of curves in Galilean space has been studied for many years. Galilean geometry is a Cayley–Klein geometry with Galilean transformations of classical kinematics. Modern and traditional physics use the Galilean transformation group [1]. If the curve has any points of zero curvature, the Frenet frame cannot be established, and this is especially true for normal and binormal vectors. As a result, a number of mathematicians came up with frames that can deal with points in Euclidean, Minkowski, and Galilean geometry when the curvature is zero. These frames include the Bishop frame, the modified frame, the equiform frame, and the Darboux frame [2,3,4,5].
A new adapted frame that follows a space curve was provided in [6] by Dede et al. as an alternative to the Frenet frame. This design was referred to as the quasi-frame. This frame is both simpler and more precise than the Frenet frame. The fact that the quasi-frame may be seen as a generalization of the Frenet frame is one of the advantages of its use. It is defined by a vector that does not change and an angle that is formed between the quasi-normal and the principal normal to the Frenet frame. If the point has zero curvature, then the frame rotates by the angle, and the quasi-normal is defined such that it is perpendicular to both the tangent and the fixed vector. The vector that is perpendicular to both the tangent vector and the quasi-normal vector is referred to as the quasi-binormal vector. Much research on the quasi-frame has been conducted in a variety of Euclidean and Minkowski spaces and may be found in [7,8,9,10].
In 1850, the observation of J. Bertrand led to the discovery of Bertrand curves, which have become a significant subject of interest and intrigue in classical special curve theory. Bertrand curves are a particular class of curves defined by the property of having their principal normal coincide with that of another curve. Such curves are characterized by a linear relationship between the curvature and torsion of the curve. In the Galilean space and the Lorentzian space, there are a lot of works that are associated with Bertrand curves, such as [11,12,13].
The identification of involutes, which are mathematical curves derived from the rolling of one curve onto another, is credited to C. Huygens, who was engaged in the effort to create a more precise timepiece. [14]. Later on, in [15], the relations between the Frenet apparatus and the involute–evolute curve pair in the space E 3 were introduced. The involute–evolute curve pair was studied by A. Turgut in R n in [16], and the characteristics of the curves in the Galilean space were investigated in [6].
Investigating the properties of Mannheim curves in both Euclidean and Minkowski three-space, Liu and Wang made a significant discovery in 2007. They derived necessary conditions that relate to a curve’s curvature and torsion, which must be satisfied for the curve to be recognized as one of the partner curves of Mannheim. The comprehensive analysis of Mannheim curves is expounded in [17], where detailed research findings can be found.
Smarandache curves can be defined as a type of regular curve characterized by the decomposition of their position vector along the Frenet frame vectors of another regular curve. Several mathematicians have studied Smarandache curves, such as [18].
The present study is organized in the following manner. In Section 3, we investigate the quasi-frame, including its relation with the Frenet frame, and quasi-formulas in Galilean three-space are investigated. In Section 4, we study quasi-Bertrand curves in the Galilean three-space and our study demonstrates that there exists a constant measure of distance between corresponding points on two quasi-Bertrand curves that operate within Galilean 3-space, but the angle between tangent lines is not constant. In Section 5, we study quasi-Mannheim curves in the Galilean three-space, and we prove that the distance between corresponding points on two quasi-Mannheim curves in Galilean three-space is constant, but the angle between tangents is not constant. In Section 6, we investigate quasi-involute curves in the Galilean three-space. Also, we prove that there is no quasi-evolute curve in Galilean three-space. In Section 7, we prove that there are no quasi-evolute curves in the Galilean three-space. In Section 8, we focused on exploring the properties and characteristics of quasi-Smarandache curves in the Galilean three-space.

2. Preliminaries

The three-dimensional Galilean space, denoted as G 3 , is a genuine Cayley-Klein space equipped with the projective metric of a particular signature 0 , 0 , + , + . The absolute of the Galilean three-space consists of the set r , k , J in which r is the absolute plane in G 3 , k is the absolute line in k, and J is the fixed elliptic involution of points of f. A vector m = m 1 , m 2 , m 3 within the Galilean three-space G 3 is considered non-isotropic if its initial component is not zero. Otherwise, it is called an isotropic vector. Further, a vector with a first component of magnitude 1 is classified as a non-isotropic unit vector. In G 3 , the Galilean metric g is defined by
g m , n = m 1 n 1 , i f m 1 0 or n 1 0 , m 2 n 2 + m 3 n 3 , i f m 1 = 0 and n 1 = 0 ,
where m = m 1 , m 2 , m 3 and n = n 1 , n 2 , n 3 . Also, the Galilean norm of the vector q is defined as
m = m 1 , i f m 1 0 , m 2 2 + m 3 2 , i f m 1 = 0 .
Further, the Galilean vector product of m and n is defined as
m × n = 0 e 2 e 3 m 1 m 2 m 3 n 1 n 2 n 3 , i f m 1 0 or n 1 0 , e 1 e 2 e 3 m 1 m 2 m 3 n 1 n 2 n 3 , i f m 1 = 0 and n 1 = 0 ,
where ( e 1 , e 2 , e 3 ) is the usual basis of R 3 [3,6,13,19].
In G 3 , a curve is a mapping from an open interval I of R to G 3 as
Γ : I G 3 , t γ t = x 1 t , x 2 t , x 3 t .
If the curve has no inflection points Γ ˙ t × Γ ¨ t 0 and no isotropic tangents x 1 ˙ t 0 for each t I , then it is called an admissible curve. Let an admissible differentiable curve parameterized by the Galilean invariant arc length s be given by
γ s = s , x 2 s , x 3 s .
Then, the curvature κ s and the torsion τ s of the curve γ s are given by
κ s = Γ s = x 2 2 s + x 3 2 s , τ s = det Γ s , Γ s , Γ s κ 2 s
and the moving Frenet frame T s , N s , B s of the curve γ s is defined by
T s = γ s = 1 , x 2 s , x 3 s , N s = 1 κ s Γ s = 1 κ s 0 , x 2 s , x 3 s , B s = T s × N s = 1 κ s 0 , x 3 s , x 2 s ,
where the vectors T s , N s , and B s are the tangent, principal normal, and binormal unit vector fields of the curve Γ s [4,13]. On the another hand, the Frenet derivative formulas are given by
d d s T ( s ) N ( s ) B ( s ) = 0 κ ( s ) 0 0 0 τ ( s ) 0 τ ( s ) 0 T ( s ) N ( s ) B ( s ) .

3. Quasi-Frame and Quasi-Equations in G 3

The present section examines the quasi-frame and its correlation with the Frenet frame. Additionally, quasi-formulas are scrutinized within the context of Galilean three-space G 3 . Furthermore, the quasi-curvatures are introduced as part of this investigation. Consider a curve α ( s ) in G 3 . The quasi-frame composed of three orthonormal vectors, namely the unit tangent T ( s ) , the unit quasi-normal vector N q ( s ) , and the unit quasi-binormal vector B q ( s ) , can be defined. This quasi-frame, characterized by { T ( s ) , N q ( s ) , B q ( s ) } , is derived from the curve’s Frenet-Serret frame and is fundamental in a range of geometric computations as follows:
T = α | | α | | , N q = T × z | | T × z | | , B q = T × N q ,
where z is the projection vector given by either ( 1 , 0 , 0 ) , ( 0 , 1 , 0 ) , or ( 0 , 0 , 1 ) . The choice of the projection vector z depends on the parallelism with unit tangent vector T. We choose here z = ( 1 , 0 , 0 ) .
Consider the Frenet frame, denoted by { T , N , B } and θ ( s ) be an angle between N and N q ; then, we can write N q and B q in terms of N and B as
N q = c o s θ N + s i n θ B ,
B q = s i n θ N + c o s θ B ,
and we can write
N = c o s θ N q s i n θ B q ,
B = s i n θ N q + c o s θ B q .
Now, from Equations (3) and (7), we get
T = κ N = κ c o s θ N q κ s i n θ B q .
By taking the substitution K 1 = κ c o s θ and K 2 = κ s i n θ , we have
T = K 1 N q K 2 B q .
Similarly, by using Equations (5) and (6), N q and B q are given, respectively, by
N q = K 3 B q , B q = K 3 N q ,
where θ + τ = K 3 . Therefore, the quasi-formulas in the matrix notation are given by:
T N q B q = 0 K 1 K 2 0 0 K 3 0 K 3 0 T N q B q ,
The quasi-curvatures K 1 , K 2 , and K 3 are represented using the Frenet curvature and torsion as
K 1 = κ c o s θ , K 2 = κ s i n θ , K 3 = θ + τ .
Corollary 1. 
If α ( s ) is a curve in G 3 , then the quasi-curvatures K 1 , K 2 , and K 3 are given, respectively, by
K 1 = g ( T , N q ) , K 2 = g ( T , B q ) , K 3 = g ( N q , B q ) = g ( B q , N q ) .
Corollary 2. 
In the context of G 3 , the quasi-frame represents a generalization of the Frenet frame. Specifically, in the event that K 2 equals zero, the quasi-frame and the Frenet frame become equivalent.

4. Quasi-Bertrand Curves in G 3

This section investigates the Bertrand curves within the framework of the quasi-frame in G 3 . Our objective is to demonstrate that the distance between corresponding points on two Bertrand curves, as determined by the quasi-frame in G 3 , remains invariant. However, it should be noted that the angle between corresponding tangent lines on the two Bertrand curves, when analyzed using the quasi-frame in G 3 , exhibits variation and is not constant.
Definition 1. 
Two curves α ( s ) and α * in G 3 are said to be quasi-Bertrand curves according to the quasi-frame if the quasi-normal line to α is the same as the quasi-normal vector to the curve α * at the corresponding points, in other words, if N q of the curve α coincides with N q * at the corresponding points.
Theorem 1. 
If α ( s ) and α * ( s ) are quasi-Bertrand curves in G 3 , then
α * ( s ) = α ( s ) + c N q ,
where c is constant.
Proof. 
Let α ( s ) and α * ( s ) be quasi-Bertrand curves in G 3 ; then, we can write
α * ( s ) = α ( s ) + λ ( s ) N q ,
for some differentiable function λ ( s ) .
By differentiating Equation (12) with respect to s, we have
d α * d s = T + λ ( s ) N q + λ ( s ) K 3 B q .
Therefore, we can deduce that λ ( s ) is constant.
Hence,
α * ( s ) = α ( s ) + c N q ,
where c is constant. □
Corollary 3. 
The distance between two quasi-Bertrand curves is constant.
Theorem 2. 
The angle between the tangents of two quasi-Bertrand curves in G 3 is not constant.
Proof. 
Let α ( s ) and α * ( s ) be quasi-Bertrand curves in G 3 and let θ ( s ) be the angle between the tangents of α and α * ; then, we can write
cos θ = g ( T , T * ) | | T | | | | T * | | .
By differentiating Equation (14) with respect to s, we have
d d s cos θ = K 2 g ( T * , B q ) K 2 * g ( T , B q * ) d s * d s ,
which is not zero. Therefore, θ is not constant. □
Corollary 4. 
The angle between the tangents of two Frenet Bertrand curves according to the Frenet frame in G 3 is constant.
Proof. 
If we put K 2 and K 2 * into Equation (15), we have
d d s cos θ = 0 .
This implies that the angle between the tangents is constant. □
Theorem 3. 
If α ( s ) and α * ( s ) are quasi-Bertrand curves in G 3 , then the quasi-frame of α * ( s ) is given by
T * = 1 1 + C 2 K 3 2 [ T + C K 3 B q ] , N q * = N q , B q * = 1 1 + C 2 K 3 2 [ C K 3 e 1 + B q ] .
Proof. 
By differentiating Equation (13) with respect to s, we have
d α * d s * d s * d s = T + C K 3 B q ;
thus, we have
T * = d s d s * [ T + C K 3 B q ] ,
and we can obtain
N q * = N q .
Furthermore, we have
B q * = T * × N q * = d s d s * [ C K 3 e 1 + B q ] ,
such that d s * d s = 1 + C 2 K 3 2 .

5. Quasi-Mannheim Curves in G 3

This section focuses on the analysis of quasi-Mannheim curves within the framework of the quasi-frame in G 3 . Our objective is to establish that the distance between corresponding points on two quasi-Mannheim curves, as determined by the quasi-frame in G 3 , remains unchanged. However, it is important to note that the angle between the tangents of the two quasi-Mannheim curves in G 3 is not constant.
Definition 2. 
Two curves γ ( s ) and γ * ( s ) in G 3 are said to be quasi-Mannheim curves according to the quasi-frame if the quasi-normal line to α is the same as the quasi-binormal vector to the curve α * at the corresponding points. In this case, the curve α is called a quasi-Mannheim curve of α * and α * is called a quasi-Mannheim partner curve.
Theorem 4. 
If γ ( s ) and γ * are quasi-Mannheim curves in G 3 , then
γ * = γ ( s ) + c 1 N q ,
where c 1 is constant.
Proof. 
Let γ ( s ) and γ * ( s ) be quasi-Mannheim curves in G 3 . Then, γ * ( s ) can be written as
γ * = γ ( s ) + ν ( s ) N q ,
for some differentiable function ν ( s ) .
By differentiating Equation (17) with respect to s, we have
d γ * d s = T + ν ( s ) N q + ν ( s ) K 3 B q .
Therefore, we can deduce that ν ( s ) is constant.
Hence,
γ * = γ ( s ) + c 1 N q ,
where c 1 is constant. □
Corollary 5. 
The distance between corresponding points on two Mannheim curves remains consistent.
Theorem 5. 
The angle between the tangents of two quasi-Mannheim curves in G 3 is not constant.
Proof. 
Let γ ( s ) and γ * ( s ) be quasi-Mannheim curves in G 3 and let β ( s ) be the angle between the tangents of γ and γ * ; then,
cos β = g ( T , T * ) | | T | | | | T * | | .
By differentiating Equation (18) with respect to s, we have
d d s cos β = K 2 g ( B q , T * ) + K 1 * d s * d s g ( T , N q * ) ,
which is not zero. Therefore, β is not constant. □
Corollary 6. 
The angle between the tangents of two Frenet Mannheim curves according to the Frenet frame in G 3 is constant.
Proof. 
If we put K 2 and K 2 * in Equation (19), we have
d d s cos β = 0 .
This implies that the angle between the tangents is constant. □

6. Quasi-Involute Curves in G 3

In this section, we explore the properties of quasi-involute curves in G 3 as described by the quasi-frame. By utilizing the quasi-frame of the original curve, we derive the corresponding quasi-frame of the involute curve and also determine the quasi-curvatures of the quasi-involute.
Definition 3. 
In the context of Galilean space G 3 , curves β and β * be given. The Curve β * is known as the involute of the curve β if the tangent vector at β * ( s ) is intersected by the tangent vector at β ( s ) , whenever g ( T , T * ) = 0 . Here, the quasi-frames for β and β * are represented by T , N q , B q and T * , N q * , B q * , respectively.
In simpler terms, β * ( s ) can be expressed as
β * ( s ) = β ( s ) + X ( s ) T ( s ) .
Theorem 6. 
If β and β * are two curves in G 3 and β * is an involute of β, then
β * ( s ) = β ( s ) + ( a s ) T ,
where a is constant.
Proof. 
Let β * be an involute of β ; then, we can write
β * ( s ) = β ( s ) + X ( s ) T .
By differentiating Equation (20), we have
d β * d s = ( 1 + X ( s ) ) T + X K 1 N q X K 2 B q .
Since d β * d s is orthogonal to T, we obtain
1 + X ( s ) = 0 .
Therefore,
X = a s ,
where a is constant. Hence,
β * ( s ) = β ( s ) + ( a s ) T .
Theorem 7. 
If β and β * are two curves in G 3 and β * is a quasi-involute of β, then the quasi-frame of the curve β * is given as
T * = K 1 K 1 2 + K 2 2 N q K 2 K 1 2 + K 2 2 B q , N q * = K 2 K 1 2 + K 2 2 N q K 1 K 1 2 + K 2 2 B q ,
B q * = e 1 .
Proof. 
By differentiating Equation (21), we obtain
d β * d s = ( a s ) K 1 N q ( a s ) K 2 B q .
The norm of d β * d s is | | d β * d s | | = ( a s ) K 1 2 + K 2 2 . Then, we obtain
T * = K 1 K 1 2 + K 2 2 N q K 2 K 1 2 + K 2 2 B q .
Since N q * = T * × z | | T * × z | | , we obtain
N q * = K 2 K 1 2 + K 2 2 N q K 1 K 1 2 + K 2 2 B q .
Finally,
B q * = T * × N q * = e 1 .
Corollary 7. 
Let β and β * be two curves in G 3 . If β * is a Frenet involute of β, then the Frenet frame of the curve β * is given as
T * = N q , N q * = B q , B q * = T .
Theorem 8. 
Let β and β * be two curves in G 3 . If β * is a quasi-involute of β, then the quasi-curvatures of the curve β * are given, respectively, by
K 1 * = 1 ( a s ) K 1 2 + K 2 2 [ K 1 K 2 K 2 K 1 K 1 2 + K 2 2 K 3 ] , K 2 * = 0 , K 3 * = 0 .
Proof. 
By differentiating Equations (23)–(25) with respect to s, we obtain
d s * d s T * = [ ( K 1 K 1 2 + K 2 2 ) + K 2 K 3 K 1 2 + K 2 2 ] N q + [ K 1 K 3 K 1 2 + K 2 2 ( K 2 K 1 2 + K 2 2 ) ] B q ,
d s * d s N q * = [ ( K 2 K 1 2 + K 2 2 ) + K 1 K 3 K 1 2 + K 2 2 ] N q [ K 2 K 3 K 1 2 + K 2 2 + ( K 1 K 1 2 + K 2 2 ) ] B q ,
d s * d s B q * = K 1 N q + K 2 B q .
Since d s * d s = | | d β * d s | | , then
d s * d s = ( c s ) K 1 2 + K 2 2 .
Since K 1 * = g ( T * , N q * ) , we obtain
K 1 * = 1 ( c s ) K 1 2 + K 2 2 [ K 1 K 2 K 2 K 1 K 1 2 + K 2 2 K 3 ] .
Since K 2 * = g ( T * , B q * ) , we obtain
K 2 * = 0 .
Since K 3 * = g ( N q * , B q * ) = g ( B q * , B q * ) , we obtain
K 3 * = 0 .
Corollary 8. 
Let β and β * be two curves in the Galilean space G 3 . If β * is a Frenet involute of β, then the Frenet curvatures of the curve β * are given as
κ * = τ ( c s ) κ , τ = 0 .

7. Quasi-Evolute Curves in G 3

In this particular section, we establish the nonexistence of a quasi-evolute curve when adopting the quasi-frame within Galilean three-space G 3 . Since the Euclidean and Minkowski three-space evolute curves are well-defined, we provide a definition of the evolute curve within the Galilean three-space.
Definition 4. 
Assume that ζ and ζ * are two curves present in the Galilean space G 3 . We define the curve ζ * as a quasi-evolute of the curve ζ if, and only if, the tangent vector of ζ at the point ζ intersects with the tangent vector of ζ * at the point ζ * ( s ) , satisfying the zero dot product condition given by
g ( T * , T ) = 0 ,
where T , N q , B q and T * , N q * , B q * represent the quasi-frames of ζ and ζ * , respectively. In simpler terms, ζ * ( s ) can be expressed as
ζ * ( s ) = ζ ( s ) + Y ( s ) N q + Z ( s ) B q .
Theorem 9. 
Let ζ and ζ * be two curves in G 3 . Then, there is no quasi-evolute curve in G 3 .
Proof. 
Let ζ * is an evolute of ζ ; then, we can write
ζ * ( s ) = ζ ( s ) + Y ( s ) N q + Z ( s ) B q .
By differentiating Equation (33), we have
d ζ * d s = T q + ( Y K 3 Z ) N q + ( Y K 3 + Z ) B q .
Then, ζ * ζ = Y N q + Z B q , which implies that ζ * ζ is not parallel to d ζ * d s , which is a contradiction to ζ * being an evolute of ζ . Therefore, ζ * is not an evolute of ζ . □

8. Quasi-Smarandache Curves in G 3

In this section, we study the quasi-Smarandache curves in Galilean three-space of three different types. In all cases, we deduce the quasi-frame of the quasi-Smarandache curve in terms of the quasi-frame of the original curve. Furthermore, the quasi-curvatures of the quasi-Smarandache curve are obtained in terms of the quasi-curvatures of the original curve. Moreover, in all cases, the Frene–Smarandache is obtained and studied in G 3 .
Definition 5. 
If η ( s ) is composed of quasi-frame vectors on another curve, then η ( s ) is said to be a quasi-Smarandache curve in G 3 . In the other words, if η ( s ) is admissible curve in G 3 and T , N q , B q is a quasi-frame of another curve ϵ ( s ) , then quasi-Smarandache T N q , T B q , and T N B q curves are, respectively, defined by
η ( T N q ) = T + N q | | T + N q | | ,
η ( T B q ) = T + B q | | T + B q | | ,
η ( T N q B q ) = T + N q + B q | | T + N q + B q | | .

8.1. T N q -Smarandache Curve in G 3

If η ( s ) is an admissible curve in G 3 and quasi-Smarandache T N q curve is defined by η ( s ) = T + N q | | T + N q | | , since T + N q is a unit vector, then the quasi-Smarandache T N q curve is
η ( s ) = T + N q .
Theorem 10. 
If η ( s ) is a quasi-Smarandache T N q curve in G 3 , then the quasi-frame of η ( s ) is given by
( T ) η = A [ K 1 N q + ( K 3 K 2 ) B q ] , ( N q ) η = A ( K 3 K 2 ) N q A K 1 B q , ( B q ) η = e 1 = ( 1 , 0 , 0 ) ,
where A = 1 K 1 2 + ( K 3 K 2 ) 2 .
Proof. 
Let η ( s ) be a quasi-Smarandache T N q curve in G 3 . By differentiating Equation (37) with respect to s, we have
T η = A [ K 1 N q + ( K 3 K 2 ) B q ] ,
where A = 1 K 1 2 + ( K 3 K 2 ) 2 .
Since ( N q ) η = T η × z | | T η × z | | , we obtain
( N q ) η = A ( K 3 K 2 ) N q A K 1 B q .
Since ( B q ) η = ( T ) η × ( N q ) η , then
( B q ) η = e 1 = ( 1 , 0 , 0 ) .
Corollary 9. 
If η ( s ) is a Frenet–Smarandache curve in G 3 , the Frenet frame of the curve η ( s ) is given as
( T ) η = 1 κ 2 + τ 2 [ k N + τ B ] , ( N ) η = 1 κ 2 + τ 2 [ τ N κ B ] , ( B ) η = e 1 .
Theorem 11. 
If η ( s ) is a quasi-Smarandache curve in G 3 , then the quasi-curvatures are given, respectively, by
( K 1 ) η = A 2 A K 1 K 3 + A 3 K 1 K 3 A 3 K 3 3 + A 3 K 2 K 3 2 A 2 A K 1 K 2 A 3 K 1 K 2 + A 3 K 3 2 K 2 A 3 K 2 2 K 3 A 2 A K 1 K 3 + A 2 A K 1 K 2 A 3 K 1 2 K 3 A 3 K 1 K 3 + A 3 K 1 K 2 , ( K 2 ) η = 0 , ( K 3 ) η = 0 .
Proof. 
Let η ( s ) be a quasi-Smarandache curve in G 3 . By differentiating Equation (38), we have
( T ) η = [ A A K 1 + A 2 K 1 A 2 ( K 3 2 K 3 K 2 ) ] N q + [ A A ( K 3 K 2 ) + A 2 K 1 K 3 + A 2 K 3 A 2 K 2 ] B q .
By differentiating Equation (39), we obtain
( N q ) η = [ A A ( K 3 K 2 ) + A 2 ( K 3 K 2 ) + A 2 K 1 K 3 ] N q
+ [ A A K 1 + A 2 K 3 2 A 2 K 2 K 3 A 2 K 1 ] B q ,
since
( B q ) η = e 1 = 0 .
Since ( K 1 ) η = g ( T η , ( N q ) η ) , we have
( K 1 ) η = A 2 A K 1 K 3 + A 3 K 1 K 3 A 3 K 3 3 + A 3 K 2 K 3 2 A 2 A K 1 K 2 A 3 K 1 K 2 + A 3 K 3 2 K 2
A 3 K 2 2 K 3 A 2 A K 1 K 3 + A 2 A K 1 K 2 A 3 K 1 2 K 3 A 3 K 1 K 3 + A 3 K 1 K 2 .
Since ( K 2 ) η = g ( T η , ( B q ) η ) , we then have
( K 2 ) η = 0 .
Finally, since ( K 3 ) η = g ( ( N q ) 1 , ( B q ) 1 ) = g ( ( B q ) 1 , N q ) , we obtain
( K 3 ) η = 0 .
Corollary 10. 
If η ( s ) is a Frenet–Smarandache curve in G 3 , then the curvature and torsion are given, respectively, by
( κ ) η = A 3 ( κ τ τ κ ) A 3 τ ( τ 2 κ 2 ) ,
( τ ) η = 0 .
Corollary 11. 
If η ( s ) is a Frenet–Smarandache curve in G 3 , then the Smarandache curve in G 3 is a plane curve.

8.2. T B q -Smarandache Curve in G 3

If ρ ( s ) is an admissible curve in G 3 , then a quasi-Smarandache T B q curve is defined by
ρ ( s ) = T + B q .
Theorem 12. 
If ρ ( s ) is quasi-Smarandache T B q curve in G 3 , then the quasi-frame of ρ ( s ) is given by
( T ) ρ = D [ ( K 1 K 3 ) N q K 2 B q ] , ( N q ) ρ = D [ K 2 N q ( K 1 K 3 ) B q ] ( B q ) ρ = e 1 ,
where D = 1 K 2 2 + ( K 1 K 3 ) 2 .
Corollary 12. 
If ρ ( s ) is a Frenet–Smarandache curve in G 3 , then the Frenet frame of the curve η ( s ) is
( T ) ρ = N , ( N ) ρ = B , ( B ) ρ = e 1 .
Theorem 13. 
If ρ ( s ) is a quasi-Smarandache curve T B in G 3 , then the quasi-curvatures are given, respectively, by
( K 1 ) ρ = 2 D 2 D K 1 K 2 + 2 D 2 D K 2 K 3 D 3 K 1 K 2 + D 3 K 2 K 3 D 3 K 2 2 K 3
D 3 K 1 2 K 3 + 2 D 3 K 1 K 3 2 + D 3 K 1 K 2 D 3 K 3 3 D 3 K 2 K 2 ,
( K 2 ) ρ = 0 ,
( K 3 ) ρ = 0 ,
where D = 1 K 2 2 + ( K 1 K 3 ) 2 .
Corollary 13. 
If ρ ( s ) is a Frenet–Smarandache curve T B in G 3 , then the curvature and torsion are given, respectively, by
( κ ) ρ = τ | ( κ τ | ) 3 2 [ κ 2 + κ τ τ 2 ] ,
( τ ) ρ = 0 .
Corollary 14. 
If η ( s ) is a Frenet–Smarandache curve T B in G 3 , then the Smarandache curve T B is always a plane curve.

8.3. T N q B q -Smarandache Curve in G 3

If ϵ ( s ) is an admissible curve in G 3 , a quasi-Smarandache T N q B q curve is defined by
ϵ ( s ) = T + N q + B q .
Theorem 14. 
If ϵ ( s ) isa quasi-Smarandache T N q B q curve in G 3 , then the quasi-frame of ϵ ( s ) is given by
( T ) ϵ = E [ ( K 1 K 3 ) N q + ( K 3 K 2 ) B q ] , ( N q ) ϵ = E [ ( K 3 K 2 ) N q ( K 1 K 3 ) B q ] ( B q ) ϵ = e 1 ,
where E = 1 ( K 1 K 3 ) 2 + ( K 3 K 2 ) 2 .
Corollary 15. 
If ϵ ( s ) is a Frenet– T N B -Smarandache curve in G 3 , then the Frenet frame of the curve ϵ ( s ) is
( T ) ϵ = G [ ( κ τ ) N + τ B ] , N ϵ = G [ τ N ( κ τ ) B ] , B ϵ = e 1 ,
where G = 1 ( κ τ ) 2 + τ 2 .
Theorem 15. 
If ϵ ( s ) is a quasi-Smarandache curve in G 3 , then the quasi-curvatures are given, respectively, by
( K 1 ) ϵ = E 3 K 1 K 3 2 E 3 K 3 3 + 2 E 3 K 3 2 K 2 E 3 K 1 K 2 E 3 K 3 K 2 2 E 3 K 1 2 K 3 + 2 E 3 K 1 K 3 2 E 3 K 3 K 1 + E 3 K 2 K 1 , ( K 2 ) ϵ = 0 , ( K 3 ) ϵ = 0 ,
where E = 1 ( K 1 K 3 ) 2 + ( K 3 K 2 ) 2 .
Corollary 16. 
If ϵ ( s ) is a Frenet–Smarandache curve T N B in G 3 , then the curvature and torsion are given, respectively, by
κ ϵ = G 3 κ τ 2 G 3 τ 3 G 3 κ 2 τ + 2 G 3 κ τ 2 G 3 τ κ ,
τ ϵ = 0 ,
where G = 1 ( κ τ ) 2 + τ 2 .
Corollary 17. 
If ϵ ( s ) is a Frenet–Smarandache curve T N B in G 3 , then the Smarandache curve T N B is always a plane curve.
Example 1. 
Let α : I G 3 be a curve defined as
α ( s ) = ( s , cos s , sin s ) .
The quasi-frame of α is
T α = ( 1 , sin s , cos s ) ,
( N q ) α = ( 0 , cos s , sin s ) ,
( B q ) α = ( 0 , sin s , cos s ) .
The quasi-curvatures are given as
( κ 1 ) q = 1 , ( κ 2 ) q = 0 , ( κ 3 ) q = 1 .
  • The T N q Smarandache cure is defined as
    η ( s ) = T + N q = ( 1 , cos s sin s , sin s + cos s ) .
    The quasi-frame of η is
    ( T q ) η = 1 2 ( 0 , sin s cos s , cos s sin s ) ,
    ( N q ) η = 1 2 ( 0 , cos s sin s , sin s + cos s ) ,
    ( B q ) η = e 1 .
    The quasi-curvatures of η are
    ( κ 1 ) η = 1 2 ,
    ( κ 2 ) η = 0 ,
    ( κ 3 ) η = 0 ;
  • The T B q -Smarandache cure is defined as
    β ( s ) = T + B q = ( 1 , 2 sin s , 2 cos s ) .
    The quasi-frame of β is
    ( T q ) β = 1 2 ( 0 , 2 cos s , 2 sin s ) ,
    ( N q ) β = ( 0 , sin s , cos s ) ,
    ( B q ) β = e 1 .
    The quasi-curvatures of β are
    ( κ 1 ) β = 1 ,
    ( κ 2 ) β = 0 ,
    ( κ 3 ) β = 0 ;
  • The T N q B q -Smarandache curve is defined as
    ϵ ( s ) = T + N q + B q = ( 1 , cos s 2 sin s , sin s + 2 cos s ) .
    The quasi-frame of ϵ is
    T ϵ = 1 5 ( 0 , sin s 2 cos s , cos s 2 sin s ) ,
    ( N q ) ϵ = 1 5 ( 0 , cos s 2 sin s , sin s + 2 cos s ) ,
    ( B q ) ϵ = e 1 .
    The quasi-curvatures of ϵ are
    ( κ 1 ) β = 1 5 ,
    ( κ 2 ) β = 0 ,
    ( κ 3 ) β = 0 .

9. Conclusions

In this paper, firstly, the quasi-frame and its relation with the Frenet frame were investigated in G 3 . Moreover, we studied quasi-Bertrand curves in G 3 and we proved that the distance between corresponding points on two quasi-Bertrand curves in G 3 is constant, but the angle between tangent lines is not constant. Furthermore, we studied quasi-Mannheim curves in G 3 and we proved that the distance between corresponding points on two quasi-Mannheim curves in G 3 is constant, but the angle between tangents is not constant. Also, quasi-involute curves were investigated in G 3 and we proved that there are no quasi-evolute curves in G 3 . Finally, we studied the quasi-Smarandache curves in G 3 of three different types.

Author Contributions

Conceptualization, N.E. and A.E.; methodology, A.E.; software, N.E.; validation, C.C., W.E. and Y.T.; formal analysis, N.E.; investigation, A.E.; resources, C.C.; data curation, Y.T.; writing original draft preparation, A.E.; writing review and editing, N.E.; visualization, N.E.; supervision, W.E.; project administration, Y.T.; funding acquisition, W.E. All authors have read and agreed to the published version of the manuscript.

Funding

The study was funded by Researchers Supporting Project number (RSPD2023R749), King Saud University, Riyadh, Saudi Arabia.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gordon, B. A Simple Non-Euclidean Geometry and Its Physical Basis: An Elementary Account of Galilean Geometry and the Galilean Principle of Relativity; Springer: New York, NY, USA, 1979. [Google Scholar]
  2. Kızıltuğ, S.E.Z.A.İ.; Çakmak, A.; Erişir, T.Ü.L.A.Y.; Mumcu, G. On tubular surfaces with modified orthogonal frame in Galilean space 𝔾3. Therm. Sci. 2022, 26, 571–581. [Google Scholar] [CrossRef]
  3. Yoon, D.W. Inelastic flows of curves according to equiform in Galilean space. J. Chungcheong Math. Soc. 2011, 24, 665. [Google Scholar]
  4. Sahin, T.; Okur, M. Special Smarandache Curves with Respect to Darboux Frame in Galilean 3-Space. Int. J. Adv. Appl. Math. Mech. 2018, 5, 15–26. [Google Scholar]
  5. Sahin, T.; Karakus, F.; Orbay, K. Parallel Transports with respect to Frenet and Darboux Frames in the Galilean Space. J. Sci. Arts 2020, 1, 13–24. [Google Scholar]
  6. Akyigit, M.; Azak, A.Z.; Ersoy, S. Involute-evolute curves in Galilean space 𝔾3. Sci. Magna 2010, 6, 75–80. [Google Scholar]
  7. Elsayied, H.K.; Tawfiq, A.M.; Elsharkawy, A. Special Smarandach curves according to the quasi frame in 4-dimensional Euclidean space E4. Houst. J. Math. 2021, 74, 467–482. [Google Scholar]
  8. Elsharkawy, A.; Cesarano, C.; Tawfiq, A.; Ismail, A.A. The non-linear Schrödinger equation associated with the soliton surfaces in Minkowski 3-space. AIMS Math. 2022, 7, 17879–17893. [Google Scholar] [CrossRef]
  9. Elshenhab, A.M.; Moaaz, O.; Dassios, I.; Elsharkawy, A. Motion along a space curve with a quasi-frame in Euclidean 3-space: Acceleration and Jerk. Symmetry 2022, 14, 1610. [Google Scholar] [CrossRef]
  10. Hamouda, E.; Moaaz, O.; Cesarano, C.; Askar, S.; Elsharkawy, A. Geometry of Solutions of the Quasi-Vortex Filament Equation in Euclidean 3-Space E3. Mathematics 2022, 10, 891. [Google Scholar] [CrossRef]
  11. Balgetir, H.; Bektas, M.; Ergüt, M. Bertrand curves for nonnull curves in 3-dimensional Lorentzian space. Hadron. J. 2004, 27, 229–236. [Google Scholar]
  12. Ogrenmiş, A.O.; Oztekin, H.; Ergut, M. Bertrand curves in Galilean space and their characterizations. Kragujev. J. Math. 2009, 32, 139–147. [Google Scholar]
  13. Oztekin, H.B. Weakened Bertrand curves in the Galilean space 𝔾3. J. Adv. Math. Stud. 2009, 2, 69–77. [Google Scholar]
  14. Boyer, C. A History of Mathematics; Wiley: New York, NY, USA, 1968. [Google Scholar]
  15. Hacısalihoglu, H.H. Diferensiyel Geometri; Cilt I. Ankara Üniversitesi, Fen Fakültesi. Hacısalihoğlu Yayıncılık: Turkey, 2000. [Google Scholar]
  16. Turgut, A.; Erdogan, E. Involute-evolute curve couples of higher order in Rn and their horizontal lifts in Rn. Commun. Fac. Sci. Univ. Ank. Ser. A 1992, 41, 125–130. [Google Scholar]
  17. Orbay, K.; Kasap, E. On Mannheim partner curves in E3. Int. J. Phys. Sci. 2009, 4, 261–264. [Google Scholar]
  18. Turgut, M.; Yilmaz, S. Smarandache curves in Minkowski space-time. Int. J. Math. Comb. 2008, 3, 51–55. [Google Scholar]
  19. Ali, A.T. Position vectors of curves in the Galilean space 𝔾3. Mat. Vesn. 2012, 64, 200–210. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Elsharkawy, A.; Tashkandy, Y.; Emam, W.; Cesarano, C.; Elsharkawy, N. On Some Quasi-Curves in Galilean Three-Space. Axioms 2023, 12, 823. https://doi.org/10.3390/axioms12090823

AMA Style

Elsharkawy A, Tashkandy Y, Emam W, Cesarano C, Elsharkawy N. On Some Quasi-Curves in Galilean Three-Space. Axioms. 2023; 12(9):823. https://doi.org/10.3390/axioms12090823

Chicago/Turabian Style

Elsharkawy, Ayman, Yusra Tashkandy, Walid Emam, Clemente Cesarano, and Noha Elsharkawy. 2023. "On Some Quasi-Curves in Galilean Three-Space" Axioms 12, no. 9: 823. https://doi.org/10.3390/axioms12090823

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