- Original Research
- Open access
- Published:
Generalized involute and evolute curves of equiform spacelike curves with a timelike equiform principal normal in \(E_{1}^{3}\)
Journal of the Egyptian Mathematical Society volume 28, Article number: 26 (2020)
Abstract
Equiform geometry is considered as a generalization of the other geometries. In this paper, involute and evolute curves are studied in the case of the curve α is an equiform spacelike with a timelike equiform principal normal vector N. Furthermore, the equiform frames of the involute and evolute curves are obtained. Also, the equiform curvatures of the involute and evolute curves are obtained in Minkowski 3-space.
Introduction
In the last two decades, curves in Minkowski space have been studied by many mathematicians such as [1–3]. Specially, involute and evolute curves got an interest from alot of mathematicians in Minkowski 3-space. According to the usual Frenet frame, involute and evolute curves in Minkowski 3-space \(E_{1}^{3}\) were defined and studied in [1, 2, 4, 5]. The equiform geometry was defined in different spaces such as Galilean space [6], pseudo-Galilean space [7], Euclidean space [8], isotropic space [9], and Minkowski space [3, 10, 11].
In this paper, we firstly introduce the equiform parameter, the equiform frame, and the equiform formulas in the case of equiform spacelike curves with a timelike equiform principal normal in Minkowski space \(E_{1}^{3}\). Secondly, we introduce the involute and the evolute of the equiform spacelike curve with a timelike equiform principal normal. Further, the equiform frames for the involute and the evolute curves are obtained. Also, the equiform curvatures of the involute and the evolute curves are obtained.
Preliminaries
The three-dimensional Lorentzian space, or Minkowski 3-space \(E_{1}^{3}\), is the space R3 equipped with the metric g defined as:
where U=(u1,u2,u3) and V=(v1,v2,v3) are any two vectors in R3. The vector U in \(E_{1}^{3}\) may be lightlike if g(U,U)=0 and U≠0 or spacelike if g(U,U)>0 or U=0 or timelike if g(U,U)<0. The norm (length) of the vector U is defined by \(||\, U\, ||=\sqrt {|\,g(U,U)\,|}\).
The Lorentzian cross product is given by:
where U and \(V\in E_{1}^{3}\) [12, 13].
A differentiable map \(\alpha : I \subset R \rightarrow E_{1}^{3}\) is called smooth curve in Minkowski 3-space, where I is an open interval. Suppose that {t(s),n(s),b(s)} be the orthonormal Frenet frame along the curve α(s), where t(s),n(s), and b(s) are the tangent, the principal normal, and the binormal vectors of the curve α, respectively.
Any curve α in Minkowski 3-space can be one of the following cases and below the corresponding Frenet formulas:
(1) α is a spacelike curve with(i) a spacelike principal normal, then Frenet formulas are given by:
(ii) a timelike principal normal, then Frenet formulas are given by:
(iii) a null (lightlike) principal normal, then Frenet formulas are given by:
(2) α is a timelike curve, then Frenet formulas are given by:
[13]
(3) α is a lightlike curve, then Frenet formulas are given by:
[13]
The equiform geometry has minor importance related to usual one, and the curves that appear here in equiform geometry can be seen as a generalization of well-known curves from other geometries.
Let γ(s)=t(s) be the spherical tangent indicatrix of the curve α and σ be an arc length parameter of γ. We can make a reparameterization of α by the parameter σ, \(\alpha =\alpha (\sigma):I\rightarrow E_{1}^{3}\), the parameter σ is called the equiform parameter, of the curve α(σ).
Let σ be the arc length parameter of spherical tangent indicatrix ζ, then we have:
By integration with respect to s, we have:
where ρ is the radius of curvature of α [11].
Let T, N, and B be the orthogonal equiform frame along the curve α(σ) in Minkowski 3-space, where T, N, and B are the equiform-tangent, the equiform-normal, and the equiform-binomial vectors of the curve α(σ), respectively. They are given by \(T=\frac {d\alpha }{d\sigma }=\rho t\), N=ρn, b=ρb [10, 11].
The function K1:I→R defined by \(K_{1}=\frac {d\rho }{ds}\) is called the first equiform curvature of α(σ), and the function K2:I→R defined by \(K_{2}=\frac {\tau }{\kappa }\) is the called second equiform curvature of α(σ).
Definition 1
A curve α(σ) is an equiform spacelike if g(T,T)=ρ2>0 or T=0, equiform timelike if g(T,T)=−ρ2<0, or equiform null if g(T,T)=0 and T≠0.
If α(σ) is an equiform spacelike with a timelike equiform principal normal vector, then the equiform formulas are given in [10] by:
where
Lemma 1
Suppose that a curve α is an equiform spacelike with a timelike equiform principal normal N. If α(σ) is parameterized by the equiform parameter σ, then:
Lemma 2
If a curve α(σ∗) is an equiform spacelike with a timelike equiform principal normal N and σ∗ is not necessary the equiform parameter of the curve α, then:
Lemma 3
Suppose that a curve αis an equiform spacelike with a timelike equiform principal normal N. Then, the equiform curvatures are given by:
Definition 2
A curve α(σ) is an ordinary helix if the second equiform curvature K2=0, and it is a general helix if K2 is constant.
The involute of an equiform spacelike curve with a timelike equiform principal normal
In this section, we study the involute curve of the equiform spacelike curve with a timelike equiform principal normal vector N in \(E_{1}^{3}\). Also, the equiform frame of the involute curve is introduced. Furthermore, the equiform curvatures of the involute curve are obtained.
Definition 3
Let α(σ) be an equiform spacelike curve with a timelike equiform principal normal and a curve β(σ) be given, then the curve β is called an involute of the curve α, if the tangent at the point α(σ)to the curve αpasses through the tangent at the point β(σ) to the curve β. In the other words, β(σ)is an involute of α(σ)if the equation g(T,T∗)=0 is satisfied. β(σ) can be written in terms of the curve α as:
Let the equiform frames of the curve α(σ) and β(σ) be {T,N,B} and {T∗,N∗,B∗}, respectively.
Theorem 1
Let α(σ) be an equiform spacelike curve with a timelike equiform principal normal and suppose that a curve β(σ) is the involute of the curve α. Then,
where c is constant.
Proof
Suppose that β(σ) is the involute of α(σ). Then, we can write β(σ) as:
By taking the derivative of Eq. (1), with respect to σ, we have:
Since g(T∗,T)=0, then we have the differential equation:
Hence,
From Eqs. (1) and (2), we obtain:
□
Corollary 1
The distance between the curve α(σ) and its involute β(σ) is | c−s |.
Theorem 2
Let α(σ) be an equiform spacelike curve with a timelike equiform principal normal and suppose that a curve β is an involute of the curve α, then:
Proof
By taking the derivative of Eq. (3) with respect to σ, we have:
Then,
Let us assume that:
By taking the derivative of Eq. (4) with respect to σ, we have:
Hence, we have:
Since \(N^{*}=- \frac {B^{*}\wedge T^{*}}{\rho ^{*}}\), then we obtain:
□
Corollary 2
If α(σ) is an equiform spacelike curve with a timelike equiform principal normal vector, then its involutes are equiform timelike curves.
Theorem 3
Let β(σ)be an involute of the curve α(σ), and \(K_{1}^{*}\), \(K_{2}^{*}\) be the first and second equiform curvatures of the curve β, respectively. Then, \(K_{1}^{*}\) and \(K_{2}^{*}\) are given respectively by:
Proof
Since \(T^{*}=\frac {d\beta }{d \sigma ^{*}}=\frac {d\beta }{d \sigma } \frac {d \sigma }{\sigma ^{*}}.\) Using Eq. (4), we obtain:
By taking the derivative Eq. (5) and using Eq. (11), we get:
Therefore, the first equiform curvature \(K_{1}^{*}=\frac {-g(T^{*\prime },T^{*})}{ \rho ^{*2}}\) is given by:
Now, suppose that Eq. (10) is:
where \(a=\frac {\rho ^{*}}{\rho \sqrt {K_{2}^{2}+1}}.\) Taking the derivative of the above equation with respect to σ∗, we have:
Thus, the second equiform curvature \(K_{2}^{*}=\frac {g(N^{*\prime },B^{*})}{\rho ^{*2} }\) is given by:
□
Corollary 3
If α(σ) is an equiform spacelike curve with a timelike equiform principal normal N and β(σ) is an involute of α(σ), then:
- 1.
If α(σ) is a planar curve, then β(σ) is also planar.
- 2.
If α(σ) is an ordinary helix (K2=0), then β(σ) is planar.
- 3.
If α(σ) is a general helix (K2=c), then β(σ) is planar.
Proof
The proofs come forward from the equation of \(K_{2}^{*}\). □
The evolute of equiform spacelike curve with a timelike equiform principal normal
In this section, the evolute curves of the equiform spacelike curve with a timelike equiform principal normal N are studied in \(E_{1}^{3}\). Moreover, the equiform frame of the evolute curve is introduced. Furthermore, the equiform curvatures of the evolute are computed.
Definition 4
Let α(σ) be an equiform spacelike with a timelike equiform principal normal and a curve γ with the same interval be given. For ∀σ∈I, if the tangent at the point γ(σ) to the curve γ(σ)passes through the point α(s) and
then γ(σ) is called an evolute of the curve α(σ).
Let the Frenet frame of the curve α(σ) and γ(σ) be {T,N,B} and {T∗,N∗,B∗}, respectively.
Theorem 4
Let α(σ) be an equiform spacelike with a timelike equiform principal normal and a curve γ(σ) be an evolute of α, then:
Proof
Suppose that a curve γ(σ) be the evolute of the curve α(σ). Then, the vector γ(σ)−α(σ) is perpendicular to the vector T(σ). Then,
By taking the derivative of Eq. (12) with respect to σ, we have:
Then, we get:
Since \(g\left (\frac {d \gamma }{d \sigma },T\right)=0\), then we have:
and hence,
From Eqs. (12) and (14), the vector \(\frac {d \gamma }{d \sigma }\) is parallel to the vector γ−α, and we have:
Also, we have:
By taking the integration of the last equation, we get:
Hence, we find:
By substituting from Eqs. (13) and (15) into Eq. (12), we have:
Since,
and
moreover, we get:
□
Theorem 5
Let \(\gamma :I\rightarrow E_{1}^{3}\) be the evolute curve of the equiform spacelike curve \(\alpha :I\rightarrow E_{1}^{3}\). Then, the equiform frame of the curve γ is given by:
where \(z=\left (\int K_{2}d\sigma +c\right).\)
Proof
By similar proof of Theorem 2, we obtain the required. □
Corollary 4
If the curve α is a equiform spacelike curve with a timelike equiform principal normal, then its evolutes are equiform timelike curves.
Proof
The proof comes forward from Theorem 5. □
Theorem 6
Let the curve γbe an evolute of the curve α and let \(K_{1}^{*}\) and \(K_{2}^{*}\) be the first and second equiform curvetures of the curve γ. Then,
Proof
By taking the derivative of N∗ with respect to σ∗, we have:
Then,
Therefore,
Also,
Thus,
Therefore,
□
Corollary 5
If the curve α(σ) is planar, then its evolute curve β(σ) is also planar.
Availability of data and materials
The datasets used and/or analyzed during the current study are available from the corresponding author on reasonable request.
References
Bahaddin, B., Karacan, M.: On the involute and evolute curves of the timelike curve in Minkowski 3-space. Demonstratio Math. (2007). https://doi.org/10.1515/dema-2007-0320.
Bahaddin, B., Karacan, M.: On involute and evolute curves of spacelike curve with a spacelike principal normal in Minkowski 3-space. Int. J. Math. Combin. 1, 27–37 (2009).
Solouma, E.: Special equiform Smarandache curves in Minkowski space-time. J. Egy. Math. Soc. 25(3), 319–325 (2017).
Bilici, M.: On the involutes of the spacelike curve with a timelike binormal in Minkowski 3-space. Int. Math. Forum. 4(31), 1497–1509 (2009).
Ozturk, U., Ozturk, E., Ilarslan, K.: On the involute-evolute of the pseudonull curve in Minkowski 3-space. J. Appl. Math., 6 (2013). Article ID 651495. https://doi.org/10.1155/2013/651495.
Pavkovic, B. J., Kamenarovic, I.: The equiform differential geometry of curves in the Galilean space G3. Glas. Mat. 22(42), 449–457 (1987).
Divjak, E. Z. B.: The equiform differential geometry of curves in the pseudo-Galilean space. Math. Commun. 13(2), 321–332 (2008).
Nawratil, G.: Quaternionic approach to equiform kinematics and line-elements of Euclidean 4-space and 3-space. Comput. Aided Geom. Design. 47, 150–162 (2016).
Pavkovic, B. J.: Equiform geometry of curves in the isotropic spaces \(I_{1}^{3}\) and \(I_{2}^{3}\). Rad JAZU, 39–44 (1986).
El-sayied, H. K., Elzawy, M., Elsharkawy, A.: Equiform spacelike normal curves according to equiform-Bishop frame in \(E^{3}_{1}\). Math. Meth. Appl. Sci.17 (2017). https://doi.org/10.1002/mma.4618.
El-sayied, H. K., Elzawy, M., Elsharkawy, A.: Equiform timelike normal curves in Minkowski space \(E^{3}_{1}\). Far East. J. Math. Sci. 101, 1619–1629 (2017).
O’Neill, B.: Semi-Riemannian Geometry with Applications to Relativity. Academic Press, New York (1983).
Walrave, J.: Curves and surfaces in Minkowski space. Doctoral thesis. Leuven, K.U. Faculty of Science, Leuven (1995).
Acknowledgements
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author collected the data, performed the calculations, and was a major contributor in writing the manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Elsharkawy, A. Generalized involute and evolute curves of equiform spacelike curves with a timelike equiform principal normal in \(E_{1}^{3}\). J Egypt Math Soc 28, 26 (2020). https://doi.org/10.1186/s42787-020-00086-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42787-020-00086-4