- Original research
- Open access
- Published:
On spacelike equiform-Bishop Smarandache curves on \(S_{1}^{2}\)
Journal of the Egyptian Mathematical Society volume 27, Article number: 7 (2019)
Abstract
In this paper, we introduce the equiform-Bishop frame of a spacelike curve r lying fully on \(S_{1}^{2}\) in Minkowski 3-space \(\mathbb {R}^{3}_{1}\). By using this frame, we investigate the equiform-Bishop Frenet invariants of special spacelike equiform-Bishop Smarandache curves of a spacelike base curve in \(\mathbb {R}^{3}_{1}\). Furthermore, we study the geometric properties of these curves when the spacelike base curve r is specially contained in a plane. Finally, we give a computational example to illustrate these curves.
Introduction
In the theory of curves in the Euclidean and Minkowski spaces, a regular curve whose position vector is composed by Frenet frame vectors on another regular curve is called a Smarandache curve [1].
Smarandache geometries were proposed by Smarandache in [2] which are generalization of classical geometries, i.e., these Euclid, Lobachevshy-Bolyai-Gauss, and Riemann geometries may be united altogether in the same space, by some Smarandache geometries under the combinatorial procedure. These geometries can be either partially Euclidean and partially non-Euclidean or only non-Euclidean.
An axiom is said to be Smarandachely denied if the axiom behaves in at least two different ways within the same space, i.e., validated and invalided, or only invalided but in multiple distinct ways [3–6].
A Smarandache geometry is a geometry which has at least one Smarandachely denied axiom (1969). Recently, special Smarandache curves have been studied by some authors [7–11].
In this work, we introduce the equiform-Bishop frame of a spacelike curve r lying fully on \(S_{1}^{2}\) in Minkowski 3-space \(\mathbb {R}^{3}_{1}\). Also, we introduce a special spacelike equiform-Bishop Smarandache curves according to these frame of a spacelike curve r in \(\mathbb {R}^{3}_{1}\). In the “Basic concepts” section, we give the basic conceptions of Minkowski 3-space \(\mathbb {R}^{3}_{1}\), the Bishop frame, and the equiform-Bishop frame that will be used during this work. In the “Main results” section, we investigate the special spacelike euiform-Bishop TB1,TB2,B1B2, and TB1B2-Smarandache curves in terms of the equiform-Bishop curvature functions K1(σ), and K2(σ) of the spacelike curve r in \(\mathbb {R}^{3}_{1}\). Furthermore, we obtain some properties on these curves when the spacelike base curve r is contained in a plane. In the “Example” section, we give a computational example to clarify these curves. We hope these results will be helpful to mathematicians who are specialized on mathematical modeling.
Basic concepts
The Minkowski 3-space \(\mathbb {R}_{1}^{3}\) is the Euclidean 3-space \(\mathbb {R}^{3}\) provided with the Lorentzian inner product
where (ς1,ς2,ς3) is a rectangular coordinate system of \(\mathbb {R}_{1}^{3}\). The arbitrary vector \(\upsilon \in \mathbb {R}_{1}^{3}\) can have one of three Lorentzian clause depicts; it can be spacelike if \(\mathcal {D}(\upsilon,\upsilon)>0\) or υ=0, timelike if \(\mathcal {D}(\upsilon,\upsilon)<0\), and lightlike if \(\mathcal {D}(\upsilon,\upsilon)=0\) and υ≠0. Similarly, a curve r parametrized by \(r=r(s):I\subset \mathbb {R}\rightarrow \mathbb {R}_{1}^{3} \) can be spacelike, timelike, or lightlike if all of its velocity vectors r′(s) are spacelike, timelike, or lightlike, respectively [12, 13].
Denote by {t,n,b} the moving Frenet frame along the regular spacelike curve r with arc-length parameter s in \(\mathbb {R}_{1}^{3}\). The Frenet trihedron consists of the tangent vector t, the principal normal vector n, and the binormal vector b. Then, the Frenet frame has the following properties [12]:
where \(\left (\,\cdot =\frac {d}{ds}\right), {\varepsilon }=\pm 1, \mathcal {D}(t,t)=1, \mathcal {D}(n,n)={\varepsilon }, \mathcal {D}(b,b)=-{\varepsilon }\), and \(\mathcal {D}(t,n)=\mathcal {D}(t,b)=\mathcal {D}(n,b)=0\). If ε=1, then r=r(s) is a spacelike curve with spacelike principal normal n and timelike binormal b. Also, if ε=−1, then r=r(s) is a spacelike curve with timelike principal normal n and spacelike binormal b.
Let r=r(s) be a regular curve in \(\mathbb {R}_{1}^{3}\). If the tangent vector field of this curve forms a constant angle with a constant vector field U, then this curve is called a general helix or an inclined curve [14].
Definition 1
A regular curve in Minkowski 3-space, whose position vector is composed by Frenet frame vectors on another curve, is called a Smarandache curve [15].
The Bishop frame or parallel transport frame is an alternative approach to defining a moving frame that is well defined even when the curve has vanishing second derivative [16,17].
Let us consider the Bishop frame {t,b1,b2} of the spacelike curve r(s) with a spacelike or timelike normal b1(ε=1 or ε=−1). The Bishop frame {t,b1,b2} is expressed as [17,18].
where \(\mathcal {D}(t,t)=1, \mathcal {D}(b_{1},b_{1})={\varepsilon }, \mathcal {D}(b_{2},b_{2})=-{\varepsilon }\) and \(\mathcal {D}(t,b_{1})=\mathcal {D}(t,b_{2})=\mathcal {D}(b_{1},b_{2})=0\). Here, we shall call k1(s) and k2(s) as Bishop curvatures. The relation matrix may be expressed as
where
and
Let \(r:I\subset \mathbb {R}\rightarrow \mathbb {R}_{1}^{3}\) be a spacelike curve in Minkowski space \(\mathbb {R}_{1}^{3}\). We define the equiform-Bishop parameter of r by \(\sigma =\int k_{1} ds\). Then, we have \(\rho =\frac {ds}{d\sigma }\), where \(\rho =\frac {1}{k_{1}}\) is the radius of curvature of the curve r. We recall {T,B1,B2,} be the moving equiform-Bishop frame where T(σ)=ρ t(s),B1(σ)=ρ b1(s), and B2(σ)=ρ b2(s) are the equiform-Bishop tangent vector, equiform-Bishop principal normal vector, and equiform-Bishop binormal vector respectively. Additionally, the first and second equiform-Bishop curvatures of the curve r=r(σ) are defined by \(K_{1}(\sigma)=\dot {\rho }=\frac {d\rho }{ds}\) and \(K_{2}(\sigma)=\frac {k_{2}}{k_{1}}\). So, the moving equiform-Bishop frame of r=r(σ) is given as [19]:
where \(\left (\,'=\frac {d}{d\sigma }\right), \mathcal {D}(T,T)=\rho ^{2}, \mathcal {D}(B_{1},B_{1})={\varepsilon } \rho ^{2}, \mathcal {D}(B_{2},B_{2})=-{\varepsilon }\rho ^{2}\), and \(\mathcal {D}(T,B_{1})=\mathcal {D}(T,B_{2})= \mathcal {D}(B_{1},B_{2})=0\).
The pseudo-Riemannian sphere of unit radius and with center in the origin in the space \(\mathbb {R}_{1}^{3}\) is defined by
Main results
In this section, we introduce a special spacelike equiform-Bishop Smarandache curves according to the equiform-Bishop frame in Minkowski 3-space \(\mathbb {R}_{1}^{3}\). Furthermore, we obtain the natural curvature functions of these curves and studying some properties on it when the spacelike base curve r=r(s) specially is contained in a plane. Let r=r(σ) be a regular unit speed spacelike curve with spacelike equiform-Bishop principal normal and timelike equiform-Bishop binormal.
Definition 2
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\). The spacelike equiform-Bishop TB1-Smarandache curve \({\varphi }:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) of r defined by
Theorem 1
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\) with the moving equiform-Bishop frame {T,B1,B2}. If \({\varphi }:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) is the spacelike equiform-Bishop TB1-Smarandache curve of r=r(σ) with non-zero natural curvature functions, then its Frenet frame {Tφ,Nφ,Bφ} is given by
where
Proof
Differentiationg Eq. (6) with respect to σ and using Eq. (5), we get
hence
with the parameterization
Again differentiating Eq. (10) with respect to σ, we have
where
The curvature and the principal normal of φ are given as follows
and
On the other hand, we can express
where
Now, from Eq. (9), we have
similarly
where
As a consequence with the above computation, the torsion of φ is obtained as
□
Corollary 1
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\) with the moving equiform-Bishop frame {T,B1,B2}. If the base curve r=r(s) is contained in a plane, then the spacelike equiform-Bishop TB1-Smarandache curve is a circular helix if \(\,K_{2}\neq \pm \frac {\sqrt {2}}{a}\) and K2≠±1. Moreover, its natural curvature functions are dependent only on the second equiform-Bishop curvature and given by
Definition 3
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\). The spacelike equiform-Bishop TB2-Smarandache curve \({\varphi }:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) of r defined by
Theorem 2
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\) with the moving equiform-Bishop frame {T,B1,B2}. If \({\varphi }:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) is the spacelike equiform-Bishop TB2-Smarandache curve of r=r(σ) with non-zero natural curvature functions, then its Frenet frame {Tφ,Nφ,Bφ} is given by
where
Proof
Differentiationg Eq. (13) with respect to σ and using Eq. (5), we have
then, we have
where
Then
where
Therefore, the natural curvature functions κφ,τφ can be expressed as follows:
and
Also, the binormal vector of φ is
where
Differentiating Eq. (16) with respect to σ, we get
and
where
Then
□
Corollary 2
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\) with the moving equiform-Bishop frame {T,B1,B2}. If the base curve r=r(s) is contained in a plane, then the spacelike equiform-Bishop TB2-Smarandache curve is a circular helix if \(\,K_{2}\neq \pm \frac {a}{\sqrt {2}}\) and K2≠±1 and its natural curvature functions are dependent only on the second equiform-Bishop curvature and given by
Definition 4
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\). The spacelike equiform-Bishop B1B2-Smarandache curve \({\varphi }:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) of r defined by
Theorem 3
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\) with the moving equiform-Bishop frame {T,B1,B2}. If \({\varphi }:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) is the spacelike equiform-Bishop B1B2-Smarandache curve of r=r(σ) with non-zero natural curvature functions, then its Frenet frame {Tφ,Nφ,Bφ} is given by
Proof
Differentiationg Eq. (20) with respect to σ and using Eq. (5), we get
hence
with the parameterization
Differentiating Eq. (23) with respect to σ, we have
The curvature of φ is given by
Furthermore, the principal normal and binormal vectors of φ are defined as follows:
From Eq. (22), we get
similarly
Then, we obtain the torsion of φ as follows. Then
□
Corollary 3
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\) with the moving equiform-Bishop frame {T,B1,B2}. If the base curve r=r(s) is contained in a plane, then the spacelike equiform-Bishop B1B2-Smarandache curve is also contained in a plane.
Definition 5
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\). The spacelike equiform-Bishop TB1B2-Smarandache curve \({\varphi }:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) of r defined by
Theorem 4
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\) with the moving equiform-Bishop frame {T,B1,B2}. If \({\varphi }:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) is the spacelike equiform-Bishop TB1B2-Smarandache curve of r=r(σ) with non-zero natural curvature functions, then its Frenet frame {Tφ,Nφ,Bφ} is given by
where
Proof
Differentiationg Eq. (25) with respect to σ and using Eq. (5), this leads to
then
where
Then, from Eq. (29), we get
where
Then, the curvature and the principal normal vector of φ are respectively
and
Besides, the binormal vector of φ is given by
where
The derivatives φ′′ and φ′′′ of φ are
and
where
Then
□
Corollary 4
Let \(r:I\subset \mathbb {R}\rightarrow S_{1}^{2}\) be a regular unit speed spacelike curve lying fully on \(S^{2}_{1}\) with the moving equiform-Bishop frame {T,B1,B2}. If the base curve r=r(s) is contained in a plane, then the spacelike equiform-Bishop TB1B2-Smarandache curve is a circular helix if \(\,K_{2}\neq \pm \frac {a^{2}+b^{2}}{2}\) and K2≠±1. Also, its natural curvature functions are dependent only on the second equiform-Bishop curvature and given by
Example
In this section, we construct a computational examples of the spacelike equiform-Bishop Smarandache curves in \(\mathbb {R}_{1}^{3}\) with the moving equiform-Bishop frame {T,B1,B2} of the spacelike equiform-Bishop curve r=r(σ). Let r(s)=(s,s sin(lns),s cos(lns)) be a unit speed spacelike curve parametrized by arc-length s with spacelike principal normal vector in \(\mathbb {R}_{1}^{3}\) (see Fig. 1). Then, it is easy to show that
This vector is spacelike and future-directed, we have \({\kappa }=\frac {\sqrt {2}}{s}\). Hence,
The torsion is \({\tau }=\frac {1}{s}\) and \(\theta (s)=\int \left (\frac {1}{s}\right)ds=\ln {s}+c\). Here, we can take c=0. From Eq. (4), we get \(k_{1}(s)=\left (\frac {\sqrt {2}}{s}\right)\cosh {(\ln s)}, k_{2}(s)=\left (\frac {\sqrt {2}}{s}\right)\sinh {(\ln s)}\). Also from Eq. (2), we get \(b_{1}(s)=-\int k_{1}(s)t(s)ds\) and \(b_{2}(s)=-\int k_{2}(s)t(s)ds\), then we have
Now, the equiform-Bishop parameter is \(\sigma =\int k_{1}\,ds=\sqrt {2}\,\sinh {(\ln s)}+c\). In this case, we take c=0, then we have \(s=\left (\frac {\sigma +\sqrt {\sigma ^{2}+2}}{\sqrt {2}}\right)\) and \(\rho =\left (\frac {\sigma +\sqrt {\sigma ^{2}+2}}{\sqrt {2}\sqrt {\sigma ^{2}+2}}\right) \). Furthermore, the equiform-Bishop curvatures are given by
So the spacelike equiform-Bishop curve r=r(σ) is defined as (see Fig. 2
It easy to show that
It is easy to show that T is an equiform-Bishop spacelike vector. Also
It is clear that B1 is an equiform-Bishop spacelike vector and B2 is an equiform-Bishop timelike vector. Moreover, if we take a=b=1, the spacelike equiform-Bishop TB1-Smarandache curve φ(σ∗) of the curve r(σ) is given by (see Fig. 3)
If we take a=3 and \(b=\sqrt {7}\), the spacelike equiform-Bishop TB2-Smarandache curve φ(σ∗) of the curve r(σ) is given by (see Fig. 4)
If we take a=2 and \(b=\sqrt {2}\), the spacelike equiform-Bishop B1B2-Smarandache curve φ(σ∗) of the curve r(σ) is given by (see Fig. 5)
If we take a=2,b=1, and \(c=\sqrt {2}\), the spacelike equiform-Bishop TB1B2-Smarandache curve φ(σ∗) of the curve r(σ) is given by (see Fig. 6)
References
Ashbacher, C.: Smarandache geometries. Smarandache Notions J. 8(1), 212–215 (1997). http://fs.unm.edu/SNJ9.pdf.
Smarandache, F.: Mixed Noneuclidean Geometries. Studii si Cercetari Stiintifice, University of Bacau. 8, 127–154 (1998). arXiv: math/0010119 10/2000.
Ozturk, U., Betul Koc Ozturk, E.: Smarandache curves according to curves on a spacelike surface in Minkowski 3-space \(\mathbb {R}_{1}^{3}\). J. Discret. Math, 1–10 (2014). http://doi.org/10.1155/2014/829581.
Yilmaz, S., Savci, U.: Smarandache Curves and Applications According to Type-2 Bishop Frame in Euclidean 3-Space. Int. J. Math. Combinatorics. 2, 1–15 (2016). https://pdfs.semanticscholar.org/337b/40522d7884ec70e608aefc0c00faeb7d5202.pdf.
Iseri, H.: Smarandache Manifolds. American Res. Press, Mansfield University, PA (2002). Associate Professor of Mathematics Department of Mathematics and Computer Information Science Mansfield University. http://fs.unm.edu/Iseri-book.pdf.
Mao, L.: Smarandache Geometries & Map Theory with Applications. Chinese Branch Xiquan House, Academy of Mathematics and Systems Chinese Academy of Sciences, Beijing (2006).
Bektaş, Ö., Yüce, S.: Special Smarandache curves according to Darboux frame in Euclidean 3- space. Rom. J. Math. Comp. Sci. 3, 48–59 (2013). http://www.rjm-cs.ro/BektasYuce.pdf.
Solouma, E. M.: Special Smarandache curves recording by curves on a spacelike surface in Minkowski space-time. PONTE J. 73(2), 251–263 (2017). https://doi.org/10.21506/j.ponte.2017.2.20.
Solouma, E. M.: Type-2 spacelike Bishop frame and an application to spherical image in Minkowski space-time. Int. J. Appl. Comput. Math. 3, 3575–3591 (2017). https://doi.org/10.1007/s40819-017-0316-6.
Solouma, E. M.: Special equiform Smarandache curves in Minkowski space-time. J. Egy. Math. Soc. 25(3), 19–325 (2017). http://doi.org/10.1016/j.joems.2017.04.003.
Taşköprü, K., Tosun, M.: Smarandache curves on S 2. Boletim Soc. Paraneanse Matematica. 32(1), 51–59 (2014). http://doi.org/10.5269/bspm.v32i1.19242.
López, R.: Differential geometry of curves and surfaces in Lorentz-Minkowski space. Inter. Elect. J. Geom. 7(1), 44–107 (2014). http://www.iejgeo.com/matder/dosyalar/makale-155/2014-1-5.pdf.
O’Neill, B.: Semi-Riemannian Geometry with Applications to Relativity. Academic press, New York (1983).
Do, Carmo: M.P.: Differential Geometry of Curves and Surfaces Prentice Hall. Englewood Cliffs, NJ (1976).
Turgut, M., Yılmaz, S.: Smarandache Curves in Minkowski Space-Time. Inter. J. Math. Comb. 3, 51–55 (2008). https://core.ac.uk/download/pdf/30439084.pdf.
Bishop, L. R.: There is more than one way to frame a curve. Amer. Math. Monthly. 82(3), 246–251 (1975). https://doi.org/10.2307/2319846.
Bukcu, B., Karacan, M. K.: Bishop frame of the spacelike curve with a spacelike principal normal in Minkowski 3-space. Commun. Fac. Sci. Univ. Ank. Sér. A1 Math. Stat. 57(1), 13–22 (2008). https://scialert.net/eboardlivedna.php?issn=1819-3579&id=90.3579.
Bukcu, B., Karacan, M. K.: Bishop frame of the spacelike curve with a spacelike binormal in Minkowski 3-space. Selçuk. J. Appl. Math. 11(1), 15–25 (2010). http://sjam.selcuk.edu.tr/sjam/article/view/250/172.
Elsayied, H. K., Elzawy, M., Elsharkawy, A.: Equiform spacelike normal curves according to equiform-Bishop frame in \(E^{3}_{1}\). Math. Meth. Appl. Sci, 1–7 (2017). https://doi.org/10.1002/mma.4618.
Acknowledgements
The authors are grateful to the Editor in Chief and the referees for their efforts and constructive criticism which have improved the manuscript.
Funding
The author received no funding for this work.
Author information
Authors and Affiliations
Contributions
Both author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Solouma, E., Mahmoud, W. On spacelike equiform-Bishop Smarandache curves on \(S_{1}^{2}\). J Egypt Math Soc 27, 7 (2019). https://doi.org/10.1186/s42787-019-0009-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42787-019-0009-x