- Original research
- Open access
- Published:
On involute-evolute curve couple in the hyperbolic and de Sitter spaces
Journal of the Egyptian Mathematical Society volume 27, Article number: 25 (2019)
Abstract
This paper aims at showing that Frenet apparatus of an evolute curve can be formed in terms of Frenet apparatus of its involute curve in the hyperbolic (de Sitter) space. Also, we establish relationships among Frenet frame of the considered curve couple. Finally, we defray some examples to confirm our main results.
Introduction
The idea of a string involute is due to Christian Huygens (1658), who is also known for his work in optics. He discovered involutes while trying to develop a more accurate clock [1]. The involute of a given curve is a well-known concept in Euclidean 3-space R3. It is well-known that if a curve is differentiable at each point of an open interval, a set of mutually orthogonal unit vectors can be constructed and called Frenet frame or moving frame vectors. The rates of these frame vectors along the curve define curvatures of the curves. The set, whose elements are frame vector and curvatures of a curve, is called Frenet apparatus of the curve.
It is safe to report that the many important results in the theory of the curves in R3 were initiated by G. Monge, and G. Darboux pioneered the moving frame idea (for more details see [2]). Thereafter, Frenet defined his moving frame and his special equations which play important role in mechanics and kinematics as well as in differential geometry. At the beginning of the twentieth century, A. Einstein’s theory opened a door to the use of new geometries. One of them, Minkowski space-time, which is simultaneously the geometry of special relativity and the geometry induced on each fixed tangent space of an arbitrary Lorentzian manifold, was introduced, and some of the classical differential geometry topics have been treated by the researchers. In the recent years, the theory of degenerate submanifolds has been treated by researchers and some classical differential geometry topics have been extended to Lorentz manifolds. For instance, in [3–5], the authors extended and studied spacelike involute-evolute curves in Euclidean 4-space and Minkowski space-time.
An evolute and its involute are defined in mutual pairs. The evolute and the involute of the curve pair are well known by the mathematicians especially the differential geometry scientists. The evolute of any curve is defined as the locus of the centers of curvature of the curve. The original curves are then defined as the involute of the evolute. The simplest case is that of a circle, which has only one center of curvature (its center), which is a degenerate evolute and the circle itself is the involute of this point.
Izumiya et al. defined the evolute curve in hyperbolic 2-space and found its equation. Following the works of them, we defined the evolute curve in hyperbolic 3-space and de Sitter 3-space and found its equations (see Definitions (2) and (3), and for more details, see [1, 6–10]).
In this paper, we calculate the Frenet apparatus of the evolute curve in terms of the apparatus of its involute curve in hyperbolic 2-space, hyperbolic 3-space, and de Sitter 3-space. We hope that our results can be seen as refinement and generalization of many corresponding results existing in the literature and useful in mathematical modeling and some other applications.
Preliminaries
In this section, we give the basic notions and familiar results in Lorentzian geometry which we need in this paper (for more details, see [7–12]).
Hyperbolic 2-space
Let R3={(x1,x2,x3)∣x1,x2,x3∈R} be a three-dimensional vector space and x=(x1,x2,x3) and y=(y1,y2,y3) be two vectors in R3. The pseudo-scalar product of x and y is defined by 〈x,y〉=−x1y1+x2y2+x3y3. (R3,〈,〉) is called a three-dimensional pseudo-Euclidean space or Minkowski 3-space. We write \({E}_{1}^{3}\) instead of (R3,〈,〉). We say that a vector x in \({E}_{1}^{3}\) is spacelike, lightlike, or timelike if 〈x,x〉>0,〈x,x〉=0 or 〈x,x〉<0, respectively. We now define spheres in \({E}_{1}^{3}\) as follows:
We call \({H}_{\pm }^{2}\) a hyperbola and \({S}_{1}^{2}\) a pseudo-sphere. Now, we discuss some basic facts of curves in hyperbolic 2-space, which are needed in the sequel.
Let \(\alpha :I\longrightarrow {H}_{+}^{2}\subset {E}_{1}^{3};\quad \alpha (t)=(x_{1}(t),x_{2}(t),x_{3}(t))\) be a smooth regular curve in \( {H}_{+}^{2} (i.e.,\alpha ^{\prime }(t)\neq 0)\) for any t∈I, where I is an open interval. It is easy to show that 〈α′(t),α′(t)〉>0, for any t∈I. We call such a curve a spacelike curve. The norm of the vector \(x\in {E}_{1}^{3}\) is defined by \(\Arrowvert x\Arrowvert =\sqrt {\arrowvert \langle x,x\rangle \arrowvert }\). The arc-length of a spacelike curve α, measured from α(t0),t0∈I is \(s(t)=\int _{t_{\circ }}^{t}\Arrowvert \alpha ^{\prime }(t)\Arrowvert dt\). Then, the parameter s is determined such that \( \lVert \dot {\alpha }(s)\rVert =1\), where \(\dot {\alpha }(s)=\frac {d\alpha (s)}{ds}\). So, we say that a spacelike curve α is parameterized by arc-length, if it satisfies \(\Arrowvert \dot {\alpha }(s)\Arrowvert =1\). Throughout the remainder in this paper, we denote the parameter s of α as the arc-length parameter. Let us denote \(\mathbf {T} (s)=\dot {\alpha }(s)\), and we call T(s) a unit tangent vector of α at s.
For any \(x=(x_{1},x_{2},x_{3}),y=(y_{1},y_{2},y_{3})\in {E}_{1}^{3}\), the pseudo-vector product of x and y is defined as follows:
We remark that 〈x∧y,z〉=det(x y z). Hence, x∧y is pseudo-orthogonal to x,y. We now set a vector E(s)=α(s)∧T(s). By definition, we can calculate that 〈E(s),E(s)〉=1 and 〈α(s),α(s)〉=−1. We can also show that T(s)∧E(s)=−α(s) and α(s)∧E(s)=−T(s). Therefore, we have a pseudo-orthonormal frame {α(s),T(s),E(s)} along α(s). We have the following hyperbolic Frenet-Serret formula of plane curves:
or in the matrix form:
where κg is the geodesic curvature of the curve α in \( {H}_{+}^{2} \), which is given by
Hyperbolic 3-space
Let R4 be a four-dimensional vector space. For any x=(x1,x2,x3,x4),y=(y1,y2,y3,y4)∈R4, the pseudo-scalar product of x and y is defined by 〈x,y〉=−x1y1+x2y2+x3y3+x4y4. (R4,〈,〉) is called a Minkowski 4-space and denoted by \({E}_{1}^{4}\). We say that a vector \(x\in {{E}_{1}^{4}}\) is spacelike, lightlike, or timelike if 〈x1,x2〉>0,〈x1,x2〉=0 or 〈x1,x2〉<0, respectively. The norm of the vector \(x\in {E}_{1}^{4}\) is defiend by \(\lVert x\rVert =\sqrt { \lvert \langle x,x\rangle \rvert }\). For a non-zero vector \(\upsilon \in E_{1}^{4}\) and a real number c, we define a space with pseudo-normal υ by
The space S(Ï…,c) is called a spacelike space, a timelike space, or a lightlike space if Ï… is timelike, spacelike, or lightlike, respectively.
Now, we define a hyperbolic 3-space by
For any x=(x1,x2,x3,x4), y=(y1,y2,y3,y4) and \( z=(z_{1},z_{2},z_{3},z_{4}) \in {{E}_{1}^{4}}\), the pseudo-vector product of x, y, and z is defined as follows:
We now prepare some basic facts of curves in hyperbolic 3-space.
Let \(\beta :I\longrightarrow {H}_{+}^{3}\subset {E}_{1}^{4};\quad \beta (t)=(x_{1}(t),x_{2}(t),x_{3}(t),x_{4}(t))\) be a smooth regular curve in \( {H}_{+}^{3} (i.e.,\beta ^{\prime }(t)\neq 0)\) for any t∈I where I is an open interval. So that 〈β′(t),β′(t)〉>0 for any t∈I. The arc-length of β measured from β(t∘),t∘∈I is \(s(t)=\int _{t_{\circ }}^{t}\Arrowvert \beta ^{\prime }(t)\Arrowvert dt\). Then, the parameter s is determined such that \(\Arrowvert \dot {\beta }(s)\Arrowvert =1\), where \(\dot {\beta }(s)=\frac {d\beta (s)}{ds}\). So, we say that a spacelike curve β is parameterized by arc-length if it satisfies that \(\Arrowvert \dot {\beta }(s)\Arrowvert =1\). Let us denote \(\mathbf {T}(s)=\dot {\beta }(s)\), and we call T(s) a unit tangent vector of β at s.
Here, we construct the explicit differential geometry on curves in \( {H}_{+}^{3}(-1)\). Let \(\beta :I\longrightarrow {H}_{+}^{3}(-1)\) be a regular curve. Since \({H}_{+}^{3}(-1)\) is a Riemannian manifold, we can reparameterize β by the arc-length. Hence, we may assume that β(s) is a unit speed curve. So, we have the tangent vector \(\mathbf {T}(s)=\dot {\beta }(s)\) with ∥T∥=1. In case when \( \left \langle \dot {\mathbf {T}}(s),\dot {\mathbf {T}}(s)\right \rangle \neq -1\), then we have a unit vector
Moreover, define E(s)=β(s)∧T(s)∧N(s), then we have a pseudo-orthonormal frame {β(s),T(s),N(s),E(s)} of \({E}_{1}^{4}\) along β. By standard arguments, under the assumption that \(\left \langle \dot {\mathbf {T}}(s),\dot {\mathbf {T}}(s)\right \rangle \neq -1\), we have the following Frenet formula:
In another form:
where
are the geodesic curvature and geodesic torsion of the curve β in \({H}_{+}^{3}(-1)\), respectively.
Since \(\left \langle \dot {\mathbf {T}}(s)-\beta (s),\dot {\mathbf {T}}(s)-\beta (s)\right \rangle =\left \langle \dot {\mathbf {T}}(s),\dot {\mathbf {T}}(s)\right \rangle +1\), the condition
is equivalent to the condition κg(s)≠0. Moreover, we can show that the curve β(s) satisfies the condition κg(s)≡0 if and only if there exists a lightlike vector c such that β(s)−c is a geodesic. Such a curve is called an equidistant curve (see [9, 12]).
De Sitter 3-space
Let \(\gamma :I\longrightarrow {S}_{1}^{3}\) be a smooth and regular spacelike curve in \({S}_{1}^{3}\). We can parameterize it by arc-lengths. Hence, we may assume that γ(s) is a unit speed curve and we have the tangent vector \(\mathbf {T}(s)=\dot {\gamma }(s)\) with ∥T∥=1. In this case, we call γ a unit speed spacelike curve. If \(\left \langle \dot {\mathbf {T}}(s),\dot {\mathbf {T}}(s)\right \rangle \neq 1\), then \(\lVert \dot {\mathbf {T}}(s)+\gamma (s)\rVert \neq 0\), and we define the unit vector \(\mathbf {N}(s)=\frac { \dot {\mathbf {T}}(s)+\gamma (s)}{\lVert \dot {\mathbf {T}}(s)+\gamma (s)\rVert }\). Moreover, define E(s)=γ(s)∧T(s)∧N(s), then we have a pseudoorthonormal frame {γ(s),T(s),N(s),E(s)} of \({E}_{1}^{4}\) along γ. By standard arguments, under the assumption that \(\left \langle \dot {\mathbf {T}}(s),\dot {\mathbf {T}}(s)\right \rangle \neq 1\), we have the following Frenet-Serret type formula:
It can be written as:
where δ(γ)=sign (N(s)) (which we shall write as simply δ) and
are the geodesic curvature and geodesic torsion of the curve γ in \({S}_{1}^{3}\), respectively.
Since \(\left \langle \dot {\mathbf {T}}(s)+\gamma (s),\dot {\mathbf {T}}(s)+\gamma (s)\right \rangle =\left \langle \dot {\mathbf {T}}(s),\dot {\mathbf {T}}(s)\right \rangle -1\), the condition \(\left \langle \dot {\mathbf {T}}(s),\dot {\mathbf {T}}(s)\right \rangle \neq 1\) is equivalent to the condition κg(s)≠0 (see [4]).
The Frenet apparatus of an evolute curve in hyperbolic 2-space
In this section, we introduce the Frenet apparatus of an evolute curve in terms of Frenet apparatus of its involute curve in \({H}_{+}^{2} \).
Definition 1
Let \(\alpha :I\longrightarrow {H}_{+}^{2}\) be a smooth and regular spacelike curve in hyperbolic 2-space. We define the hyperbolic evolute curve of α(s) under the assumption that \(\kappa _{g}^{2}(s)\neq \pm 1 \) in \({H}_{+}^{2} \) as;
We remark that hα is located in \({H}^{2}_{+}\cup {H}_{-}^{2} \) if and only if \(\kappa _{g}^{2}>1 \). If hα is located in \({H}_{-}^{2} \), we may consider −hα(s)instead of hα(s)and we call α(s) an involute curve of hα(s) (for more details, see [10]).
We denote by the Frenet apparatus of an evolute curve hα(s) by \( \left \lbrace h_{\alpha }(s),\mathbf {T}_{h_{\alpha }}(s),\mathbf {E}_{h_{\alpha }}(s),\mathcal {K}_{h_{\alpha }}(s)\right \rbrace \).
Theorem 1
Let \(\alpha (s):I\longrightarrow {H}_{+}^{2}\subset {E}_{1}^{3} \) be a unit speed spacelike involute curve in \({H}_{+}^{2} \), then the Frenet apparatus of the hyperbolic evolute curve hα(s) are given as follows:
Proof
From the definition of the evolute curve in hyperbolic 2-space, we can write
Differentiating both sides of the previous equation with respect to s and substitute from Eq. (1), we obtain
which can be written as
then, we get
Since \( \mathbf {E}_{h_{\alpha }}(s)=h_{\alpha }(s)\wedge \mathbf {T}_{h_{\alpha }}(s) \), we have
then, we get
Also, by differentiating the Eq. (9) and substitute from Eq. (1), we obtain
Because \( \mathcal {K}_{h_{\alpha }}=\det \left (h_{\alpha }(s) \ \mathbf {T}_{h_{\alpha }}\ \dot {\mathbf {T}}_{h_{\alpha }}\right) \), then from Eqs. (8–10), we get
which can be written as:
In a simple form
In the light of the above calculations, the proof is completed. â–¡
The Frenet apparatus of an evolute curve in hyperbolic 3-space
Here, as in the case of hyperbolic 2-space, we construct the Frenet apparatus of an evolute curve using Frenet apparatus of its involute curve in the hyperbolic 3-space \({H}_{+}^{3}(-1) \) and define its equation. We start as follows:
Definition 2
For a given involute curve β in \({H}_{+}^{3}(-1) \), the hyperbolic evolute curve \(h_{\beta } : I\longrightarrow {H}_{+}^{3}\) of β(s) is defined by
under the assumption that \(\kappa _{g}^{2}-\left (\frac {\dot {\kappa _{g}} }{\kappa _{g}\tau _{g}}\right)^{2}> 1 \).
We remark that hβ(s) is located in \({H}^{3}_{+}(-1) \)if and only if \(\kappa _{g}^{2}-\left (\frac { \dot {\kappa _{g}}}{\kappa _{g}\tau _{g}}\right)^{2}> 1 \), where β(s) is an involute curve of hβ(s) (see [6]).
Now, we denote by \( \left \lbrace {h_{\beta }(s),\ \mathbf {T}_{h_{\beta }}(s),\ \mathbf {\mathbf {N}}_{h_{\beta }}(s),\ \mathbf {E} _{h_{\beta }}(s),\ \mathcal {K}_{h_{\beta }}(s),\ \mathcal {T}_{h_{\beta }}(s)} \right \rbrace \) the Frenet apparatus of hβ(s) and we formulate the following theorem.
Theorem 2
Let hβ(s)be a unit speed spacelike evolute curve of β(s), then the Frenet apparatus of hβ(s) can be expressed as:
where μ1,μ2,μ3,η1,η2,η3,η4,ζ1,ζ2,ζ3, and ζ4 are smooth functions.
Proof
According to the Definition (2), we have
If we denote
then, the evolute curve hβ(s) can take the form
Differentiating both sides of the previous equation with respect to s and substitute from Eq. (3), we obtain
Following the differentiating of Eq. (13), we get
which can be written in a simple form
where
Thus, from Eqs. (12) and (14), we obtain
Following the above, we can write
Also, from Eqs. (4) and (17), we obtain
Therefore, by differentiating (14) and using (3), we can obtain
which can be written as:
Noting that
From Eqs. (4), (12), (13), (15), and (19), the torsion \(\mathcal {T}_{\beta } \) is given by
or
In addition, from (12), (13), and (17), the vector \(\mathbf {E}_{h_{\beta }}(s)=h_{\beta }(s)\wedge \mathbf {T}_{h_{\beta }}(s) \wedge \mathbf {N}_{h_{\beta }}(s)\) is computed as:
which can be taken in the form
In the light of the previous computations, the proof is completed. â–¡
The Frenet apparatus of an evolute curve in de Sitter 3-space
Similar to the case of the hyperbolic evolute curve, we introduce the definition Frenet apparatus of an evolute curve in the three-dimensional de Sitter space.
Definition 3
Let γbe an involute curve in \({S}_{1}^{3} \), then the de Sitter evolute curve \(d_{\gamma } : I\longrightarrow {S}_{1}^{3}\) of γ(s) is expressed as
under the assumption that \(\kappa _{g}^{2}-\left (\frac {\dot {\kappa _{g}} }{\kappa _{g}\tau _{g}}\right)^{2}< 1 \).
We remark that dγ(s) is located in \({S}^{3}_{1} \) if and only if \(\kappa _{g}^{2}-\left (\frac { \dot {\kappa _{g}}}{\kappa _{g}\tau _{g}}\right)^{2}< 1 \), where γ(s) is an involute curve of dγ (see [1]).
We refer to \( \left \lbrace d_{\gamma }(s),\ \mathbf {T}_{d_{\gamma }}(s),\ \mathbf {N}_{d_{\gamma }}(s),\ \mathbf {E} _{d_{\gamma }}(s),\ \mathcal {K}_{\gamma }(s),\ \mathcal {T}_{d_{\gamma }}(s)\right \rbrace \) as Frenet apparatus of the evolute curve in \({S}^{3}_{1} \).
Theorem 3
For a given spacelike evolute curve dγ(s) of γ(s), the Frenet apparatus are introduced as:
where the functions λ1,λ2,λ3,ξ1,ξ2,ξ3,ξ4,B1,B2,B3, and B4 being smooth functions.
Proof
From the definition of an evolute curve in de Sitter 3-space, we have
If we denote by
then (22) can be written as
Differentiating both sides of (24), and using (5), we get
which gives by differentiating
In another form, (26) is written
where
Thus, from Eqs. (6), (24), and (27), we obtain
and
Moreover, by differentiating Eq. (26) with respect to s, one can obtain
which in abbreviated form
where
Now, after using (24), (25), (27), and (30), the torsion \(\mathcal {T}_{d_{\gamma }} \) of the evolute curve dγ(s) is obtained
The only vector remaining from Frenet apparatus is the binormal vector Eγ(s), which is given directly by
Thus, the theorem has been proven. â–¡
Examples
In this section, to support the theoretical results of this paper, we construct two examples of an evolute curve in the two- and three-dimensional hyperbolic spaces, then we calculate its Frenet apparatus using Frenet apparatus of its involute curve.
Example 1
Consider the general helix curve α in \({H}_{+}^{2}(-1)\), where
Firstly, we compute the Frenet frame, the curvature and the torsion of the curve α. For this, from Eq. (33), the tangent vector of the curve α is given by
And from (33) and (34), we get
which enable us to obtain
the curvature of the curve α(s) is given as follows:
which takes the simple form
Thus, from Theorem (1), the Frenet apparatus of the evolute curve hα of α(s) (see Figs. 1 and 2 ) are expressed respectively, by
and
Example 2
Let β be a general helix in \({H}_{+}^{3}(-1)\), where
From (37), the tangent vector of the curve β is given by
which gives by differentiating
From Eqs. (37) and (39), we get
and
Also, we get
Using the differentiation of Eq. (37) three times with respect to s to obtain
then, we get
From Theorem (2) and Eqs. (11), (16) and (20), the Frenet apparatus of the evolute curve hβ of β(s) are respectively, expressed by
and
Availability of data and materials
Not applicable.
References
Bilici, M., Çaliş, M.: Some new notes on the involutes of the timelike curves in Minkowski 3-Space. Int. J. Contemp. Math. Sci. 6, 2019–2030 (2011).
Grabiner, J. V.: A History of Mathematics. Wiley, New York (1968).
Özyilmaz, E., Yilmaz, S.: Involute-Evolute curve couples in the Euclidean 4-space. Int. J. Open Probl. Compt. Math. 2(2), 168–174 (2009).
Sato, T.: Pseudo-spherical evolutes of curves on a spacelike surface in three dimensional Lorentz-Minkowski space. J. Geom. 103, 319–331 (2012).
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. 16, 793–801 (2008).
Abdel-Aziz, H. S., Saad, M. K., Abdel-salam, A. A.: Some geometric invariants of pseudo-spherical evolutes in the hyperbolic 3-space. Comput. Mater. Contin. 57(3), 389–415 (2018).
Hayashi, R., Izumiya, S., Sato, T.: Duals of curves in hyperbolic space. Note Mat. 33, 97–106 (2013).
Boyer, C.: A History of Mathematics. Wiley, New York (1968).
Hayashi, R., Izumiya, S., Sato, T.: Focal surfaces and evolutes of curves in hyperbolic space. Commun. Korean Math. Soc. 32, 147–163 (2017).
Izumiya, S., He pei, D., Sano, T., Torii, E.: Evolutes of hyperbolic plane curves. Acta Math. Sin. 20(3), 543–550 (2004).
Izumiya, S., Nabarro, C., de jesus, A.: Horospherical and hyperbolic dual surfaces of space-like curves in de sitter space. J. Singularities. 16, 180–193 (2017).
Liu, H.: Curves in three dimensional Riemannian space forms. Results Math. 66(3), 469–480 (2014).
Acknowledgements
The authors are very grateful to referees for the useful suggestions and remarks for the revised version.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
Not applicable.
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 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
Abdel-Aziz, H., Saad, M. & Abdel-Salam, A. On involute-evolute curve couple in the hyperbolic and de Sitter spaces. J Egypt Math Soc 27, 25 (2019). https://doi.org/10.1186/s42787-019-0023-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42787-019-0023-z