Abstract
As a one-parameter family of singular space curves, we consider a one-parameter family of framed curves in the Euclidean space. Then we define an envelope for a one-parameter family of framed curves and investigate properties of envelopes. Especially, we concentrate on one-parameter families of framed curves in the Euclidean 3-space. As applications, we give relations among envelopes of one-parameter families of framed space curves, one-parameter families of Legendre curves and one-parameter families of spherical Legendre curves, respectively.
Similar content being viewed by others
1 Introduction
For regular plane curves, envelopes are classical objects in differential geometry [1, 2, 6, 7, 10, 12]. An envelope of a family of curves is a new curve which is tangent to curves of the given family. An envelope of a family of submanifolds in the Euclidean space were studied in [3, 15]. Using the notion of stability for germs of family, they investigate the singularities of the envelope of the submanifolds in the Euclidean space via Legendrian singularity theory. However, by using implicit functions, the definition and calculation of the envelope of space curves are complicated.
On the other hand, if we look at the classical concept of envelope we see that the envelope is the set of characteristic points and avoiding singularities of the elements of the family. Moreover, for singular space curves, the classical definitions of envelopes are vague. In [14], the second author clarified the definition of the envelope for families of singular plane curves. In [11], we clarified the definition of the envelope for families of singular spherical curves. In this paper we pursue second author’s method and treat the envelope of smooth space curves with singular points. We would like to define an envelope of parametric space curves with singular points in the Euclidean space. As a singular curve, we consider a framed curve in the Euclidean space. A framed curve in the Euclidean space is a smooth curve with a moving frame (cf. [8]). It is a generalization of a regular curve with linear independent condition, a Legendre curve in the unit tangent bundle over the Euclidean plane and a Legendre curve in the unit spherical bundle over the unit sphere.
In Sect. 2, we consider one-parameter families of framed curves in the Euclidean space. We give a moving frame and the curvature of a one-parameter family of framed curves. Then we give the existence and uniqueness theorems in terms of the curvatures of the one-parameter families of framed curves. In Sect. 3, we define an envelope of a one-parameter family of framed curves in the Euclidean space. We obtain that the envelope is also a framed curve. As a main result, we give a necessary and sufficient condition that a one-parameter family of framed curves has an envelope (Theorem 3.3). In Sect. 4, we focus on the framed curves in the Euclidean 3-space. The theory of one-parameter families of framed curves relate to the theory of surfaces with singular points (cf. [4, 5]). The envelope is independent of rotated frames and reflected frames of the framed curves. We also define a parallel curve of a one-parameter family of framed space curves. The parallel curve is also a one-parameter family of framed curves. Then the envelope of parallel curves and a parallel curve of the envelope of a one-parameter family of framed curves coincide (Proposition 4.7). In Sect. 5, as applications, we give relations among envelopes of one-parameter families of framed space curves, one-parameter families of Legendre curves in the unit tangent bundle over the Euclidean plane and one-parameter families of Legendre curves in the unit spherical bundle over the unit sphere, respectively. In Sect. 6, we give concrete examples of envelopes of one-parameter families of framed curves.
All maps and manifolds considered here are differentiable of class \(C^\infty \).
2 Framed curves and one-parameter families of framed curves in the Euclidean space
We first recall some definitions and results of framed curves in the Euclidean space. For more details see [8].
Let \({\mathbb {R}}^n\) be the n-dimensional Euclidean space equipped with the inner product \(\varvec{a} \cdot \varvec{b} = \sum _{i=1}^{n}a_{i}b_{i}\), where \(\varvec{a} = (a_1, \ldots , a_n)\) and \(\varvec{b} = (b_1, \ldots , b_n)\). We denote the norm of \(\varvec{a}\) by \(|\varvec{a}|=\sqrt{\varvec{a} \cdot \varvec{a}}\). Let \(\varvec{a}_{1},\ldots ,\varvec{a}_{n-1}\in {\mathbb {R}}^n\) be vectors \(\varvec{a}_{i}=(a_{i1},\ldots ,a_{in})\) for \(i=1,\ldots ,n-1\). The vector product is given by
where \(\{\varvec{e}_1, \ldots , \varvec{e}_n\}\) is the canonical basis of \({\mathbb {R}}^n\). Then we have \((\varvec{a}_{1}\times \cdots \times \varvec{a}_{n-1})\cdot \varvec{a}_{i} = 0\) for \(i = 1,\ldots ,n-1\). Note that for the case of \(n = 3\),
Let \(S^{n-1}=\{(x_{1},\ldots ,x_{n})\in \mathbb {R}^n~|~x_{1}^2+\cdots +x_{n}^2=1\}\) be the unit sphere. We denote the set \(\Delta _{n-1}\),
Then \(\Delta _{n-1}\) is a \(n(n-1)/2\)-dimensional smooth manifold.
Let I be an interval of \({\mathbb {R}}\).
Definition 2.1
Let \((\gamma , \varvec{\nu }): I \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) be a smooth mapping. We say that \((\gamma , \varvec{\nu })\) is a framed curve if \(\dot{\gamma }(t) \cdot \nu _{i}(t)=0\) for all \(t \in I\) and \(i=1,\ldots ,n-1\), where \(\varvec{\nu }=(\nu _{1},\ldots ,\nu _{n-1})\).
We define \(\varvec{\mu }:I\rightarrow S^{n-1}\) by \(\varvec{\mu }(t) = \nu _{1}(t)\times \cdots \times \nu _{n-1}(t)\). By definition, \((\varvec{\nu }(t),\varvec{\mu }(t)) \in \Delta _{n}\) and \(\{\varvec{\nu }(t),\varvec{\mu }(t)\}\) is a moving frame along \(\gamma (t)\). Then we have the Frenet type formula.
where \(A(t) = (\alpha _{ij}(t)) \in \mathfrak {o}(n), i, j = 1, \ldots , n\), \( \mathfrak {o}(n)\) is the set of \(n \times n\) alternative matrices and \(\alpha :I \rightarrow {\mathbb {R}}\) is a smooth function. We say that the mapping \((\alpha _{ij}, \alpha )\) is the curvature of the framed curve \((\gamma , \varvec{\nu })\).
Definition 2.2
Let \((\gamma , \varvec{\nu })\) and \((\widetilde{\gamma }, \widetilde{\varvec{\nu }}) : I \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) be framed curves. We say that \((\gamma , \varvec{\nu })\) and \((\widetilde{\gamma }, \widetilde{\varvec{\nu }})\) are congruent as framed curves if there exist a special orthogonal matrix \(X\in SO(n)\) and a constant vector \({\varvec{x}}\in {\mathbb {R}}^{n}\) such that \(\widetilde{\gamma }(t)=X(\gamma (t))+{\varvec{x}}\) and \(\widetilde{\varvec{\nu }}(t)=X(\varvec{\nu }(t))\) for all \(t\in I\).
Then we have the existence and uniqueness theorems in terms of the curvatures of the framed curves.
Theorem 2.3
(Existence Theorem for framed curves [8]). Let \((\alpha _{ij}, \alpha ) : I \rightarrow \mathfrak {o}(n)\times {\mathbb {R}}\) be a smooth mapping. Then there exists a framed curve \((\gamma ,\varvec{\nu }):I \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) whose associated curvature is given by \((\alpha _{ij}, \alpha )\).
Theorem 2.4
(Uniqueness Theorem for framed curves [8]). Let \((\gamma , \varvec{\nu })\) and \((\widetilde{\gamma }, \widetilde{\varvec{\nu }}) : I \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1} \) be framed curves with the curvatures \((\alpha _{ij},\alpha )\) and \((\widetilde{\alpha }_{ij},\widetilde{\alpha })\) respectively. Then \((\gamma , \varvec{\nu })\) and \((\widetilde{\gamma }, \widetilde{\varvec{\nu }})\) are congruent as framed curves if and only if \((\alpha _{ij},\alpha )\) and \((\widetilde{\alpha }_{ij},\widetilde{\alpha })\) coincide.
Next, we consider one-parameter families of framed curves in the Euclidean space. Let \(\Lambda \) be open interval of \(\mathbb {R}\).
Definition 2.5
Let \((\gamma , \varvec{\nu }): I \times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) be a smooth mapping. We say that \((\gamma , \varvec{\nu })\) is a one-parameter family of framed curves if \(\gamma _t(t, \lambda ) \cdot \nu _{i}(t, \lambda )=0\) for all \((t, \lambda )\in I \times \Lambda \) and \(i=1,\ldots ,n-1\), where \(\varvec{\nu }=(\nu _{1},\ldots ,\nu _{n-1})\).
By definition, \((\gamma (\cdot ,\lambda ), \varvec{\nu }(\cdot ,\lambda )): I \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1} \) is a framed curve for each fixed parameter \(\lambda \in \Lambda \). It is easy to see that \((-\gamma , \varvec{\nu })\) and \((\gamma , -\varvec{\nu })\) are also one-parameter families of framed curves.
We define \(\varvec{\mu }(t,\lambda )=\nu _{1}(t,\lambda )\times \cdots \times \nu _{n-1}(t,\lambda )\). Then \(\{\varvec{\nu }(t,\lambda ),\varvec{\mu }(t,\lambda )\}\) is a moving frame along \(\gamma (t,\lambda )\) and we have the Frenet type formula.
where \(A(t,\lambda ) = (\alpha _{ij}(t,\lambda )), B(t,\lambda ) = (\beta _{ij}(t,\lambda ))\in \mathfrak {o}(n), i, j = 1, \ldots , n\), \(\alpha :I \times \Lambda \rightarrow {\mathbb {R}}\) is a smooth function and \(P:I\times \Lambda \rightarrow {\mathbb {R}}^{n},~P(t,\lambda )=(P_{1}(t,\lambda ), \ldots ,P_{n}(t,\lambda ))\) is a smooth mapping.
By \(\gamma _{t\lambda }(t,\lambda )=\gamma _{\lambda t}(t,\lambda ),~\nu _{t\lambda }(t,\lambda )=\nu _{\lambda t}(t,\lambda )\) and \(\varvec{\mu }_{t\lambda }(t,\lambda )=\varvec{\mu }_{\lambda t}(t,\lambda )\), we have the integrability condition
for all \((t,\lambda )\in \mathrm {I}\times \mathrm {\Lambda }\). We call the mapping \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\) with the integrability condition (2.1) the curvature of the one-parameter family of framed curves \((\gamma ,\varvec{\nu })\).
Definition 2.6
Let \((\gamma ,\varvec{\nu })\) and \((\widetilde{\gamma }, \widetilde{\varvec{\nu }}) : I \times \Lambda \rightarrow {\mathbb {R}}^{n}\times \Delta _{n-1}\) be one-parameter families of framed curves. We say that \((\gamma ,\varvec{\nu })\) and \((\widetilde{\gamma }, \widetilde{\varvec{\nu }})\) are congruent as one-parameter families of framed curves if there exist a special orthogonal matrix \(X \in SO(n)\) and a constant vector \({\varvec{x}}\in {\mathbb {R}}^{n}\) such that \(\widetilde{\gamma }(t, \lambda ) = X(\gamma (t, \lambda ))+{\varvec{x}}\) and \(\widetilde{\varvec{\nu }}(t, \lambda ) = X(\varvec{\nu }(t, \lambda ))\) for all \((t, \lambda )\in I \times \Lambda \).
We give the existence and uniqueness theorems in terms of the curvatures of the one-parameter families of framed curves.
Theorem 2.7
(Existence Theorem for one-parameter families of framed curves). Let \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n}): I \times \Lambda \rightarrow \mathfrak {o}(n)\times \mathfrak {o}(n)\times {\mathbb {R}}^{n+1}\) be a smooth mapping with the integrability condition. Then there exists a one-parameter family of framed curves \((\gamma ,\varvec{\nu }) : I \times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) whose associated curvature is given by \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\).
Proof
We denote that M(n) is the set of \(n\times n\) matrices and \(I_n\) is the identity matrix. Choose any fixed value \((t_0, \lambda _0) \in I \times \Lambda \). We consider an initial value problem,
where \(F(t,\lambda ) \in M(n)\) and \(A(t,\lambda ) = (\alpha _{ij}(t,\lambda )), B(t,\lambda ) = (\beta _{ij}(t,\lambda ))\in \mathfrak {o}(n)\) for \(i, j = 1, \ldots , n\). By
and the integrability condition \(A_\lambda +AB=B_t+BA\), we have \(F_{t\lambda }=F_{\lambda t}\). Since \(I\times \Lambda \) is simply connected, there exists a solution \(F(t,\lambda )\). Since \(A(t,\lambda ),B(t,\lambda )\in \mathfrak {o}(n)\),
It follows that is constant. Therefore, we have
Let . Since
we have
Hence \(F(t,\lambda )\) is a special orthogonal matrix. Then \(\varvec{\mu }(t,\lambda )=\nu _1(t,\lambda )\times \cdots \times \nu _{n-1}(t,\lambda )\). Next we consider differential equations
By the integrability condition, we have \(\gamma _{t\lambda }(t,\lambda )=\gamma _{\lambda t}(t,\lambda )\) for all \((t,\lambda )\in I\times \Lambda \). Then there exists a solution \(\gamma (t,\lambda )\). It follows that \((\gamma ,\varvec{\nu }) : I \times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) is a one-parameter family of framed curves whose associated curvature is given by \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\). \(\square \)
Lemma 2.8
If \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})(t,\lambda ) =(\widetilde{\alpha }_{ij},\widetilde{\beta }_{ij},\widetilde{\alpha }, \widetilde{P}_{1},\ldots ,\widetilde{P}_{n})(t,\lambda )\) and \((\gamma ,\varvec{\nu })(t_0,\lambda _0)=(\widetilde{\gamma },\widetilde{\varvec{\nu }})(t_0,\lambda _0)\) for some point \((t_0, \lambda _0) \in I \times \Lambda \), then \((\gamma ,\varvec{\nu })\)=\((\widetilde{\gamma },\widetilde{\varvec{\nu }})\).
Proof
We put \(\nu _{n}(t,\lambda )=\varvec{\mu }(t,\lambda )\) and \(\widetilde{\nu }_{n}(t,\lambda )=\widetilde{\varvec{\mu }}(t,\lambda )\). We define a smooth function \(f:I\times \Lambda \rightarrow \mathbb {R}\) by
By \(\varvec{\nu }(t_0,\lambda _0)=\widetilde{\varvec{\nu }}(t_0,\lambda _0)\), we have \(\nu _{i}(t_0,\lambda _0)=\widetilde{\nu }_{i}(t_0,\lambda _0)~(i=1,\ldots ,n)\) and hence \(f(t_0,\lambda _0)=n\). Since \(\alpha _{ij}(t,\lambda )=\widetilde{\alpha }_{ij}(t,\lambda )\) and \(\alpha _{ij}(t,\lambda )=-\alpha _{ji}(t,\lambda )\), we have
In the same way, we have \(f_\lambda (t,\lambda )=0\). It follows that f is constant with value n. By the Cauchy-Schwarz inequality, we have
for each \(i=1,\ldots ,n\). If one of these inequalities is strict, the value of \(f(t,\lambda )\) would be less than n. Therefore, these inequalities are equalities, that is, \(\nu _{i}(t,\lambda )\cdot \widetilde{\nu }_{i}(t,\lambda )=1\). Then we have \(|\nu _{i}(t,\lambda )-\widetilde{\nu }_{i}(t,\lambda )|^2=0\) and hence \(\nu _{i}(t,\lambda )=\widetilde{\nu }_{i}(t,\lambda )\) for all \((t,\lambda )\in I\times \Lambda \) and \(i=1,\ldots ,n\). Since \(\gamma _{t}(t,\lambda )=\alpha (t,\lambda )\varvec{\mu }(t,\lambda ), \widetilde{\gamma }_{t}(t,\lambda )=\widetilde{\alpha }(t,\lambda ) \widetilde{\varvec{\mu }}(t,\lambda )\), \(\gamma _{\lambda }(t,\lambda )=P_{1}(t,\lambda )\nu _{1}(t,\lambda ) +\cdots +P_{n-1}(t,\lambda )\nu _{n-1}(t,\lambda )+P_{n}(t,\lambda )\varvec{\mu }(t,\lambda )\), \(\widetilde{\gamma }_{\lambda }(t,\lambda )=\widetilde{P}_{1}(t,\lambda ) \widetilde{\nu }_{1}(t,\lambda )+\cdots +\widetilde{P}_{n-1}(t,\lambda ) \widetilde{\nu }_{n-1}(t,\lambda )+\widetilde{P}_{n}(t,\lambda ) \widetilde{\varvec{\mu }}(t,\lambda )\), and the assumptions \(\alpha (t,\lambda )=\widetilde{\alpha }(t,\lambda ), P_{i}(t,\lambda )=\widetilde{P}_{i}(t,\lambda ) \ (i=1,\dots ,n)\), we have
It follows that \(\gamma (t,\lambda )-\widetilde{\gamma }(t,\lambda )\) is constant. By the condition \(\gamma (t_{0},\lambda _{0})= \widetilde{\gamma }(t_{0},\lambda _{0})\), we have \(\gamma (t,\lambda )=\widetilde{\gamma }(t,\lambda )\) for all \((t,\lambda )\in I\times \Lambda .\) \(\square \)
Theorem 2.9
(Uniqueness Theorem for one-parameter families of framed curves). Let \((\gamma ,\varvec{\nu })\) and \((\widetilde{\gamma },\widetilde{\varvec{\nu }}): I \times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1} \) be one-parameter families of framed curves with the curvatures \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\) and \((\widetilde{\alpha }_{ij},\widetilde{\beta }_{ij},\widetilde{\alpha }, \widetilde{P}_{1},\ldots ,\widetilde{P}_{n})\), respectively. Then \((\gamma ,\varvec{\nu })\) and \((\widetilde{\gamma },\widetilde{\varvec{\nu }})\) are congruent as one-parameter families of framed curves if and only if \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\) and \((\widetilde{\alpha }_{ij},\widetilde{\beta }_{ij},\widetilde{\alpha }, \widetilde{P}_{1},\ldots ,\widetilde{P}_{n})\) coincide.
Proof
Suppose that \((\gamma , \varvec{\nu })\) and \((\widetilde{\gamma }, \widetilde{\varvec{\nu }})\) are congruent as one-parameter families of framed curves, there exist a matrix \(X\in SO(n)\) and a constant vector \({\varvec{x}}\in {\mathbb {R}}^{n}\) such that
for all \((t,\lambda )\in I\times \Lambda \). Since the definition of \(\varvec{\mu }\), we have \(\widetilde{\varvec{\mu }}(t,\lambda )=X(\varvec{\mu }(t,\lambda ))\) for all \((t,\lambda )\in I\times \Lambda \). By a direct calculation, we have
Therefore, \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\) and \((\widetilde{\alpha }_{ij},\widetilde{\beta }_{ij}, \widetilde{\alpha },\widetilde{P}_{1},\ldots ,\widetilde{P}_{n})\) coincide.
Conversely, suppose that \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\) and \((\widetilde{\alpha }_{ij},\widetilde{\beta }_{ij}, \widetilde{\alpha },\widetilde{P}_{1},\ldots ,\widetilde{P}_{n})\) coincide. Let \((t_0, \lambda _0)\) \( \in I \times \Lambda \) be fixed. By using a congruence as one-parameter families of framed curves, we may assume \(\gamma (t_0, \lambda _0)= \widetilde{\gamma }(t_0, \lambda _0)\) and \(\varvec{\nu }(t_0, \lambda _0) = \widetilde{\varvec{\nu }}(t_0, \lambda _0)\). By Lemma 2.8, we have \(\gamma (t, \lambda ) = \widetilde{\gamma }(t, \lambda )\) and \(\varvec{\nu }(t, \lambda ) = \widetilde{\varvec{\nu }}(t, \lambda )\) for all \((t,\lambda ) \in I \times \Lambda \). \(\square \)
3 Envelopes of one-parameter families of framed curves in the Euclidean space
Let \((\gamma ,\varvec{\nu }): I \times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) be a one-parameter family of framed curves with the curvature \((\alpha _{ij},\beta _{ij},\alpha ,\) \(P_{1},\ldots ,P_{n})\) and let \(e:U \rightarrow I \times \Lambda \), \(e(u) = (t(u), \lambda (u))\) be a smooth curve, where U is an interval of \({\mathbb {R}}\). We denote \(E_\gamma =\gamma \circ e:U \rightarrow {\mathbb {R}}^{n}\), \(E_{\nu _{i}}=\nu _{i}\circ e:U \rightarrow S^{n-1}\) and \(E_{\varvec{\nu }}=\varvec{\nu }\circ e : U \rightarrow \Delta _{{n-1}}\).
Definition 3.1
We call \(E_\gamma \) an envelope (and e a pre-envelope) for the one-parameter family of framed curves \((\gamma ,\varvec{\nu })\), when the following conditions are satisfied.
- (i)
The function \(\lambda \) is non-constant on any non-trivial subinterval of U. (The Variability Condition.)
- (ii)
For all \(u\in U\), the curve \(E_\gamma \) is tangent at u to the curve \(\gamma (t, \lambda )\) at the parameter \((t(u),\lambda (u))\), meaning that the tangent vectors \(E_\gamma '(u) = (dE /du)(u)\) and \(\varvec{\mu }(e(u))\) are linearly dependent. (The Tangency Condition.)
This definition is a generalization of the definition of an envelope of a one-parameter family of Legendre curves in [11, 14]. Note that the tangency condition is equivalent to the condition \(E_\gamma '(u) \cdot \nu _{i}(e(u))=E_\gamma '(u) \cdot E_{\nu _{i}}(u) = 0\) for all \(u\in U\) and \(i=1,\ldots ,n-1.\)
Proposition 3.2
Let \((\gamma , \varvec{\nu }) : I\times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) be a one-parameter family of framed curves with the curvature \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\). Suppose that \(e : U \rightarrow I\times \Lambda , e(u) = (t(u), \lambda (u))\) is a pre-envelope and \(E_\gamma : U \rightarrow {\mathbb {R}}^n\) is an envelope of \((\gamma , \varvec{\nu })\). Then \((E_\gamma , E_{\varvec{\nu }}) : U \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) is a framed curve with the curvature
Proof
By definition, \(E_{\nu _{i}}(u) \cdot E_{\nu _{ j}}(u) = \nu _{i}(e(u))\cdot \nu _{j}(e(u))=\delta _{ij}\) for all \(u \in U\) and \(i,j=1,\ldots ,n-1\). Since \(E_\gamma \) is an envelope, \(E_\gamma '(u) \cdot E_{\nu _{ i}}(u) = 0\) for all \(u \in U\) and \(i=1,\ldots ,n-1\). It follows that \((E_\gamma , E_{\varvec{\nu }}) : U \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) is a framed curve. By a direct calculation, we have the curvature
\(\square \)
As a main result, we formulate a necessary and sufficient condition that a one-parameter family of framed curves has an envelope. The envelope theorem is as follows:
Theorem 3.3
Let \((\gamma ,\varvec{\nu }):I \times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) be a one-parameter family of framed curves and let \(e : U \rightarrow I \times \Lambda \) be a smooth curve satisfying the variability condition. Then the following are equivalent.
- (1)
\(e:U \rightarrow I \times \Lambda \) is a pre-envelope of \((\gamma , \varvec{\nu })\) and \(E_\gamma \) is an envelope of \((\gamma , \varvec{\nu })\).
- (2)
\(\gamma _\lambda (e(u))\cdot \nu _{i}(e(u)) = 0\) for all \(u \in U\) and \(i=1,\ldots ,n-1\).
- (3)
\(P_i(e(u))=0\) for all \(u \in U\) and \(i=1,\dots ,n-1\).
Proof
Suppose that e is a pre-envelope of \((\gamma ,\varvec{\nu })\). By the tangency condition, there exists a smooth function \(c:U \rightarrow \mathbb {R}\) such that \(E_\gamma '(u) = c(u)\varvec{\mu }(e(u))\). By differentiate \(E_\gamma (u) = \gamma \circ e(u)\), we have
It follows from \(\gamma _t(t, \lambda )=\alpha (t, \lambda )\varvec{\mu }(t, \lambda )\) that \(\bigl (t'(u)\alpha (e(u))-c(u)\bigr )\varvec{\mu }(e(u))+\lambda '(u)\gamma _{\lambda }(e(u))=0.\) Then we have \(\lambda '(u)\gamma _{\lambda }(e(u))\cdot \nu _{i}(e(u))=0.\) By the variability condition, we have \(\gamma _{\lambda }(e(u))\cdot \nu _{i}(e(u))=0\) for all \(u\in U\) and \(i=1,\ldots ,n-1\).
Conversely, suppose that \(\gamma _{\lambda }(e(u)) \cdot \nu _{i}(e(u))=0\) for all \(u \in U\) and \(i=1,\ldots ,n-1\). Since
e is a pre-envelope of \((\gamma , \varvec{\nu })\). Therefore, (1) and (2) are equivalent.
By using the Frenet type formula of the one-parameter family of framed curves, \(P_i(t,\lambda )=\gamma _{\lambda }(t,\lambda ) \cdot \nu _i(t,\lambda )\) for all \((t,\lambda ) \in I \times \Lambda \) and \(i=1,\dots ,n-1\). Therefore, (2) and (3) are equivalent. \(\square \)
We say that the singular set of \(\gamma :I\times \Lambda \rightarrow {\mathbb {R}}^n\) is the subset of the domain \(I\times \Lambda \) defined by
Here we discuss the relation between the envelope \(E_\gamma \) of \((\gamma , \varvec{\nu })\) and the singular set of \(\gamma \). In order to consider the result, we need the following lemma.
Lemma 3.4
Let \(\varvec{a},\varvec{b}:U\rightarrow {\mathbb {R}}^n\) be smooth maps. Suppose that the set of non-zero points of smooth function \(k:U\rightarrow {\mathbb {R}}\) is dense in U. If \(k(u)\varvec{a}(u)\) and \(\varvec{b}(u)\) are linearly dependent, then \(\varvec{a}(u)\) and \(\varvec{b}(u)\) are linearly dependent for all \(u\in U\).
Proof
Since rank\((k(u)\varvec{a}(u),\varvec{b}(u))\le 1\). By the condition and continuous property, we have rank\((\varvec{a}(u),\varvec{b}(u))\le 1\) for all \(u\in U\). \(\square \)
Proposition 3.5
Let \((\gamma ,\varvec{\nu }):I\times \Lambda \rightarrow {\mathbb {R}}^n\times \Delta _{n-1}\) be a one-parameter family of framed curves, and let \(e:U\rightarrow I\times \Lambda \) be a smooth curve satisfying the variability condition. If the set of regular points of \(\gamma \) on e(U) is dense in U and trace of e lies in the singular set of \(\gamma \), then e is a pre-envelope of \((\gamma ,\varvec{\nu })\) (and \(E_\gamma \) is an envelope).
Proof
Since e belong to the singular set of \(\gamma \), we have rank\((\gamma _t(e(u)),\gamma _\lambda (e(u)))\le 1\) for all \(u\in U\). Therefore \(\gamma _t(e(u))=\beta (e(u))\varvec{\mu }(e(u))\) and \(\gamma _\lambda (e(u))\) are linearly dependent. By the assumption, the set of non-zero points of \(\beta \circ e(u)\) is dense in U. It follows from Lemma 3.4 that \(\varvec{\mu }(e(u))\) and \(\gamma _\lambda (e(u))\) are linearly dependent. Therefore \(\gamma _\lambda (e(u))\cdot \nu (e(u))=0\) for all \(u\in U\). By Theorem 3.3, e is a pre-envelope of \((\gamma ,\varvec{\nu })\). \(\square \)
Proposition 3.6
Let \((\gamma , \varvec{\nu }) : I \times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) be a one-parameter family of framed curves. Suppose that \(e : U \rightarrow I\times \Lambda \) is a pre-envelope and \(E_\gamma \) is an envelope of \((\gamma ,\varvec{\nu })\). Then \(e : U \rightarrow I\times \Lambda \) is also a pre-envelope of \((-\gamma ,\varvec{\nu })\), \((\gamma ,-\varvec{\nu })\). Moreover, \(-E_\gamma \) is an envelope of \((-\gamma ,\varvec{\nu })\) and \(E_\gamma \) is an envelope of \((\gamma ,-\varvec{\nu })\).
Proof
Since \(e : U \rightarrow I\times \Lambda \) is a pre-envelope, we have \(\gamma _{\lambda }(e(u))\cdot \nu _{i}(e(u))=0\) for all \(u \in U\) and \(i=1,\ldots ,n-1\). It follows that \(-\gamma _{\lambda }(e(u))\cdot \nu _{i}(e(u))=0\) and \(\gamma _{\lambda }(e(u))\cdot (-\nu _{i}(e(u)))=0\) for all \(u \in U\). Thus \(e : U \rightarrow I\times \Lambda \) is also a pre-envelope of \((-\gamma ,\varvec{\nu })\), \((\gamma ,-\varvec{\nu })\). \(-E_\gamma \) is an envelope of \((-\gamma ,\varvec{\nu })\) and \(E_\gamma \) is an envelope of \((\gamma ,-\varvec{\nu })\). \(\square \)
Let \(\widetilde{I}\) and \(\widetilde{\Lambda }\) be intervals of \({\mathbb {R}}\).
Definition 3.7
We say that a map \(\Phi : \widetilde{I} \times \widetilde{\Lambda } \rightarrow I \times \Lambda \) is a one-parameter family of parameter change if \(\Phi \) is a diffeomorphism of the form \(\Phi (s, k) = (\phi (s, k), \varphi (k))\).
Proposition 3.8
Let \((\gamma , \varvec{\nu }) : I \times \Lambda \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) be a one-parameter family of framed curves with the curvature \((\alpha _{ij},\beta _{ij},\alpha ,P_{1},\ldots ,P_{n})\). Suppose that \(\Phi : \widetilde{I}\times \widetilde{\Lambda } \rightarrow I\times \Lambda , \Phi (s,k)= (\phi (s, k), \varphi (k))\) is a one-parameter family of parameter change. Then \((\widetilde{\gamma }, \widetilde{\varvec{\nu }}) = (\gamma \circ \Phi , \varvec{\nu } \circ \Phi ) : \widetilde{I} \times \widetilde{\Lambda } \rightarrow {\mathbb {R}}^{n} \times \Delta _{n-1}\) is also a one-parameter family of framed curves with the curvature
Moreover, if \(e: U \rightarrow I\times \Lambda \) is a pre-envelope and \(E_\gamma \) is an envelope, then \(\Phi ^{-1}\circ e : U \rightarrow \widetilde{I} \times \widetilde{\Lambda }\) is a pre-envelope and \(E_\gamma \) is also an envelope of \((\widetilde{\gamma }, \widetilde{\varvec{\nu }})\).
Proof
Since \(\widetilde{\gamma }_s(s, k) = \gamma _t(\Phi (s, k))\phi _s(s,k)\) and \(\gamma _t(t, \lambda ) \cdot \nu _{i}(t, \lambda ) = 0\), we have \(\widetilde{\gamma }_s(s, k) \cdot \widetilde{\nu }_{i}(s, k) = 0\) for all \((s, k) \in \widetilde{I} \times \widetilde{\Lambda }\) and \(i=1,\ldots ,n-1\). Therefore, \((\widetilde{\gamma }, \widetilde{\nu })\) is a one-parameter family of framed curves. By a direct calculation, we have the curvature
By the form of the diffeomorphism \(\Phi (s, k)=(\phi (s, k), \varphi (k)),~\Phi ^{-1}:I\times \Lambda \rightarrow \widetilde{I} \times \widetilde{\Lambda }\) is given by the form \(\Phi ^{-1}(t, \lambda ) = (\psi (t,\lambda ), \varphi ^{-1}(\lambda ))\), where \(\psi \) is a smooth function. It follows that \(\Phi ^{-1} \circ e(u) = (\psi (t(u), \lambda (u)), \varphi ^{-1}(\lambda (u)))\). Since \((d/du)\varphi ^{-1}(\lambda (u)) = (\varphi ^{-1})_\lambda (\lambda (u))\lambda '(u),\) the variability condition holds. Moreover, we have
It follows that
for all \(u\in U\) and \(i=1,\ldots ,n-1\). By Theorem 3.3, \(\Phi ^{-1} \circ e\) is a pre-envelope of \((\widetilde{\gamma }, \widetilde{\nu })\). Therefore, \(\widetilde{\gamma } \circ \Phi ^{-1} \circ e = \gamma \circ \Phi \circ \Phi ^{-1} \circ e = \gamma \circ e = E_\gamma \) is also an envelope of \((\widetilde{\gamma }, \widetilde{\varvec{\nu }})\). \(\square \)
4 Envelopes of one-parameter families of framed curves in \(\mathbb {R}^{3}\times \Delta _{2}\)
In this section, we concentrate on the case of \(n=3\). We use the following notations. Let \((\gamma ,\nu _{1},\nu _{2}):I\times \Lambda \rightarrow \mathbb {R}^{3}\times \Delta _{2}\) be a one-parameter family of framed curves and \(\varvec{\mu }(t,\lambda )=\nu _{1}(t,\lambda )\times \nu _{2}(t,\lambda )\). We have the Frenet type formula.s
Then we have the integrability condition
for all \((t,\lambda )\in \mathrm {I}\times \mathrm {\Lambda }\). We call the mapping \((\ell ,m,n,\alpha ,L,M,N,P,Q,R)\) with the integrability condition (4.1) the curvature of the one-parameter family of framed curves \((\gamma ,\nu _{1},\nu _{2})\).
By using the above notations and Theorem 3.3, we have the following Corollary.
Corollary 4.1
Let \((\gamma , \nu _1,\nu _2) : I\times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha ,L,M,N,P,Q,R)\) and let \(e : U \rightarrow I \times \Lambda \) be a smooth curve satisfying the variability condition. Then the following are equivalent.
- (1)
\(e : U \rightarrow I \times \Lambda \) is a pre-envelope and \(E_\gamma \) is an envelope of \((\gamma , \nu _1, \nu _2)\).
- (2)
\(\gamma _{\lambda }(e(u)) \cdot \nu _1(e(u))=0\) and \(\gamma _{\lambda }(e(u)) \cdot \nu _2(e(u))=0\) for all \(u \in U\).
- (3)
\(P(e(u))=0\) and \(Q(e(u))=0\) for all \(u \in U\).
We give two examples. One is an example that a one-parameter family of framed curves has an envelope and the other is that a one-parameter family of framed curves does not have an envelope.
Example 4.2
Let \((\gamma ,\nu _1,\nu _2): {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {R}}^3 \times \Delta _2\) be
Then \((\gamma ,\nu _1,\nu _2)\) is a one-parameter family of framed curves. Since \(\gamma _\lambda (t,\lambda )=(1,0,0)\), we have \(\gamma _\lambda (t,\lambda ) \cdot \nu _1(t,\lambda )=-t/(1+t^2)\) and \(\gamma _\lambda (t,\lambda ) \cdot \nu _2(t,\lambda )=-t^2/\sqrt{(1+t^2)(1+t^2+t^4)}\). By Corollary 4.1, \(e:{\mathbb {R}}\rightarrow {\mathbb {R}}\times {\mathbb {R}}, e(u)=(0,u)\) is a pre-envelope of \((\gamma ,\nu _1,\nu _2)\). Hence \(E(u)=\gamma \circ e(u)=(u,0,0)\) is an envelope of \((\gamma ,\nu _1,\nu _2)\). For more general cases see in Example 6.1.
Example 4.3
Let \((\gamma ,\nu _1,\nu _2): {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {R}}^3 \times \Delta _2\) be
Then \((\gamma ,\nu _1,\nu _2)\) is also a one-parameter family of framed curves. However, since \(\gamma _\lambda (t,\lambda )=(0,1,0)\), we have \(\gamma _\lambda (t,\lambda ) \cdot \nu _1(t,\lambda )=1/(1+t^2)\ne 0\) for all \((t,\lambda )\in I\times \Lambda \) and \(\gamma _\lambda (t,\lambda ) \cdot \nu _2(t,\lambda )=-t^3/\sqrt{(1+t^2)(1+t^2+t^4)}\). By Corollary 4.1, \((\gamma ,\nu _1,\nu _2)\) does not have an envelope.
4.1 Rotated frame and reflected frame of a one-parameter family of framed curves
Let \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha ,L, M,N,P,Q,R)\). For the normal plane of \(\gamma (t,\lambda )\), spanned by \(\nu _{1}(t,\lambda )\) and \(\nu _{2}(t,\lambda )\), there are other frames by rotations and reflections. We define \((\overline{\nu }_{1}(t,\lambda ),\overline{\nu }_{2}(t,\lambda ))\in \Delta _{2}\) by
where \(\theta : I \times \Lambda \rightarrow {\mathbb {R}}\) is a smooth function. Then \((\gamma , \overline{\nu }_{1},\overline{\nu }_{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) is also a one-parameter family of framed curves and \(\overline{\varvec{\mu }}(t,\lambda )=\overline{\nu }_{1}(t,\lambda ) \times \overline{\nu }_{2}(t,\lambda )=\nu _{1}(t,\lambda )\times \nu _{2}(t,\lambda ) =\varvec{\mu }(t,\lambda )\). By a direct calculation, the curvature \((\overline{\ell },\overline{m},\overline{n},\overline{\alpha }, \overline{L},\overline{M},\overline{N}, \overline{P},\overline{Q},\overline{R})\) of \((\gamma ,\overline{\nu }_{1},\overline{\nu }_{2})\) is given by
We call the moving frame \(\{\overline{\nu }_{1}(t,\lambda ),\overline{\nu }_{2}(t,\lambda ),\varvec{\mu }(t,\lambda )\}\) a rotated frame along \(\gamma (t,\lambda )\) by \(\theta (t,\lambda )\).
On the other hand, we define \((\widetilde{\nu }_{1}(t,\lambda ),\widetilde{\nu }_{2}(t,\lambda ))\in \Delta _{2}\) by
where \(\theta :I \times \Lambda \rightarrow {\mathbb {R}}\) is a smooth function. Then \((\gamma , \widetilde{\nu }_{1},\widetilde{\nu }_{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) is also a one-parameter family of framed curves and \(\widetilde{\varvec{\mu }}(t,\lambda )=\widetilde{\nu }_{1}(t,\lambda )\times \widetilde{\nu }_{2}(t,\lambda )=\nu _{2}(t,\lambda )\times \nu _{1}(t,\lambda ) =-\varvec{\mu }(t,\lambda )\). By a direct calculation, the curvature \((\widetilde{\ell },\widetilde{m},\widetilde{n},\widetilde{\alpha },\widetilde{L},\widetilde{M},\widetilde{N}, \widetilde{P},\widetilde{Q}, \widetilde{R})\) of \((\gamma ,\widetilde{\nu }_{1},\widetilde{\nu }_{2})\) is given by
We call the moving frame \(\{\widetilde{\nu }_{1}(t,\lambda ),\widetilde{\nu }_{2}(t,\lambda ),-\varvec{\mu }(t,\lambda )\}\) a reflected frame along \(\gamma (t,\lambda )\) by \(\theta (t,\lambda )\). By using Corollary 4.1, we have the following result.
Proposition 4.4
Under the above notations, if \(e : U \rightarrow I\times \Lambda \) is a pre-envelope of \((\gamma , \nu _{1},\nu _{2})\), then \(e : U \rightarrow I\times \Lambda \) is also a pre-envelope of \((\gamma ,\overline{\nu }_{1},\overline{\nu }_{2})\) and \((\gamma , \widetilde{\nu }_{1},\widetilde{\nu }_{2})\).
Proof
By Corollary 4.1, we have \(P(e(u))=Q(e(u))=0\) for all \(u \in U\). It follows that \(\overline{P}(e(u))=\overline{Q}(e(u))=0\) and \(\widetilde{P}(e(u))=\widetilde{Q}(e(u))=0\) for all \(u \in U\). Therefore, we have the result. \(\square \)
It follows that the envelope is independent of rotated frames and reflected frames of the framed curves.
4.2 Parallel curves of one-parameter families of framed curves
The parallel curve of a framed curve is defined in [9]. We define a parallel curve of a one-parameter family of framed curves.
Definition 4.5
Let \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be a one-parameter family of framed curves and \(\theta : I\times \Lambda \rightarrow {\mathbb {R}}\) be a smooth function which satisfy \(\theta _{t}(t,\lambda )=\ell (t,\lambda )\) and \(\theta _{\lambda }(t,\lambda )=L(t,\lambda )\) for all \((t,\lambda ) \in I \times \Lambda \). Then we define a parallel curve \(\gamma _{(a,b)}:I \times \Lambda \rightarrow {\mathbb {R}}^{3}\) of the one-parameter family of framed curves \((\gamma ,\nu _1,\nu _2)\) by
where \(a,b\in {\mathbb {R}}\).
Remark 4.6
Since \(\theta _{t}(t,\lambda )=\ell (t,\lambda )\) and \(\theta _{\lambda }(t,\lambda )=L(t,\lambda )\), \(\ell _{\lambda }(t,\lambda )=L_{t}(t,\lambda )\) holds for all \((t,\lambda )\in I\times \Lambda \). By the integrability condition (4.1), \(\ell _{\lambda }(t,\lambda )=L_{t}(t,\lambda )\) is equivalent to \(M(t,\lambda )n(t,\lambda )-N(t,\lambda )m(t,\lambda )=0\).
Proposition 4.7
Let \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha ,L,M,N,P,Q,R)\) and \(\theta : I\times \Lambda \rightarrow {\mathbb {R}}\) be a smooth function which satisfy \(\theta _{t}(t,\lambda )=\ell (t,\lambda )\) and \(\theta _{\lambda }(t,\lambda )=L(t,\lambda )\) for all \((t,\lambda ) \in I \times \Lambda \). Then \((\gamma _{(a,b)}, \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) is also a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha +m(a\cos \theta +b\sin \theta )+n(a\sin \theta -b\cos \theta ),L,M,N,P,Q,R+M(a\cos \theta +b\sin \theta )+N(-a\sin \theta +b\cos \theta ))\). Moreover, if \(e : U \rightarrow I\times \Lambda \) is a pre-envelope of \((\gamma , \nu _{1},\nu _{2})\), then \(e : U \rightarrow I\times \Lambda \) is also a pre-envelope of \((\gamma _{(a,b)},\nu _{1},\nu _{2})\). We have \(E_{\gamma _{(a,b)}}(u)=(E_\gamma )_{(a,b)}(u)\) for all \(u\in U\), where \(E_{\gamma _{(a,b)}}=\gamma _{(a,b)}\circ e\).
Proof
Since
we have \((\gamma _{(a,b)})_{t}(t,\lambda )\cdot \nu _{1}(t,\lambda )=0\) and \((\gamma _{(a,b)})_{t}(t,\lambda )\cdot \nu _{2}(t,\lambda )=0\) for all \((t,\lambda ) \in I \times \Lambda \). Hence \((\gamma _{(a,b)}, \nu _{1},\nu _{2})\) is a one-parameter family of framed curves. It follows that \(\gamma (t,\lambda )\) and \(\gamma _{(a,b)}(t,\lambda )\) have the same moving frame \(\{\nu _{1}(t,\lambda ),\nu _{2}(t,\lambda ),\varvec{\mu }(t,\lambda )\}\). By a direct calculation, we have the curvature \(\bigl (\ell ,m,n,\alpha +m(a\cos \theta +b\sin \theta ) +n(-a\sin \theta +b\cos \theta ),L,M,N,P,Q,R+M(a\cos \theta +b\sin \theta )+N(-a\sin \theta +b\cos \theta )\bigr )\) of \((\gamma _{a,b},\nu _1,\nu _2)\).
If \(e : U \rightarrow I\times \Lambda \) is a pre-envelope of \((\gamma ,\nu _{1},\nu _{2})\), then \(P(e(u))=0\) and \(Q(e(u))=0\) for all \(u\in U\). It follows that \((\gamma _{(a,b)})_{\lambda }(e(u))\cdot \nu _{1}(e(u))=0\) and \((\gamma _{(a,b)})_{\lambda }(e(u))\cdot \nu _{2}(e(u))=0\) for all \(u\in U\). Thus \(e : U \rightarrow I\times \Lambda \) is also a pre-envelope of \((\gamma _{(a,b)},\nu _{1},\nu _{2})\) by Corollary 4.1. Moreover, we have
for all \(u\in U\). \(\square \)
5 Relations among envelopes of one-parameter families of framed curves, Legendre curves and spherical Legendre curves
First, we give relations between one-parameter families of framed curves and one-parameter families of Legendre curves in the unit tangent bundle over the Euclidean plane. We review one-parameter families of Legendre curves. For more details see [14].
Let \((\gamma ,\nu ) : I \times \Lambda \rightarrow \mathbb {R}^2 \times S^1\) be a smooth mapping. We say that \((\gamma , \nu ) \) is a one-parameter family of Legendre curves if \(\gamma _t(t,\lambda )\cdot \nu (t,\lambda )=0\) for all \((t,\lambda )\in I\times \Lambda \).
We denote \(\varvec{J}(a) = (-a_2, a_1)\) the anticlockwise rotation by \(\pi /2\) of a vector \(\varvec{a} = (a_1,a_2)\). We define \(\varvec{\mu }(t,\lambda ) = \varvec{J}(\nu (t,\lambda ))\). Since \(\{\nu (t,\lambda ),\varvec{\mu }(t,\lambda )\}\) is a moving frame along \(\gamma (t,\lambda )\) on \(\mathbb {R}^2\), we have the Frenet type formula.
By the integrability condition, we have
for all \((t,\lambda )\in I\times \Lambda \). We call the mapping \((\ell ,\alpha ,L,P,Q)\) with the integrability condition the curvature of the one-parameter family of Legendre curves \((\gamma ,\nu )\).
We consider two projections to the planes. Let \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha ,L,M,N,P,Q,R)\). For a fix point \((t_{0},\lambda _{0})\in I\times \Lambda \), we consider two projections from \({\mathbb {R}}^{3}\) to the \(\nu _{1}(t_{0},\lambda _{0})\) and \(\nu _{2}(t_{0},\lambda _{0})\) directions, respectively. We consider the projection of \(\gamma \) to the \(\nu _{1}(t_{0},\lambda _{0})\) direction. We denote
Then \((\gamma _{\nu _{1}})_{t}(t,\lambda )=\alpha (t,\lambda )(\varvec{\mu }(t,\lambda ) \cdot \nu _{2}(t_{0},\lambda _{0}),\varvec{\mu }(t,\lambda )\cdot \varvec{\mu }(t_{0},\lambda _{0}))\). There exist subintervals \(I_{1}\) of I around \(t_0\) and \(\Lambda _{1}\) of \(\Lambda \) around \(\lambda _{0}\) such that \((\varvec{\mu }(t,\lambda )\cdot \nu _{2}(t_{0},\lambda _{0}))^{2}+(\varvec{\mu } (t,\lambda )\cdot \varvec{\mu }(t_{0},\lambda _{0}))^{2}\ne 0\) for all \((t,\lambda )\in I_{1} \times \Lambda _{1}\).
Proposition 5.1
Let \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha ,L,M,N,P,Q,R)\). Then \((\gamma _{\nu _{1}},\nu _{\nu _{1}}) : I_{1} \times \Lambda _{1} \rightarrow \mathbb {R}^2\times S^1\) is a one-parameter family of Legendre curves with the curvature \((\ell _{\nu _{1}},\alpha _{\nu _{1}},L_{\nu _{1}}, P_{\nu _{1}},Q_{\nu _{1}})\), where
Proof
We define a smooth map \(\nu _{\nu _{1}} : I_{1} \times \Lambda _{1} \rightarrow S^{1}\) by
Then \((\gamma _{\nu _{1}},\nu _{\nu _{1}}) : I_{1} \times \Lambda _{1} \rightarrow \mathbb {R}^2\times S^1\) is a one-parameter family of Legendre curves. By definition, \(\varvec{\mu }_{\nu _{1}} : I_{1} \times \Lambda _{1} \rightarrow S^{1}\) is given by
By a direct calculation, we have the curvature \((\ell _{\nu _{1}},\alpha _{\nu _{1}},L_{\nu _{1}}, P_{\nu _{1}},Q_{\nu _{1}})\) of \((\gamma _{\nu _{1}},\nu _{\nu _{1}})\). \(\square \)
Proposition 5.2
Under the same notations in Proposition 5.1, suppose that \(e : U \rightarrow I_{1}\times \Lambda _{1}\) is a pre-envelope of \((\gamma ,\nu _{1},\nu _{2})\). Then \(e : U \rightarrow I_{1}\times \Lambda _{1}\) is also a pre-envelope of \((\gamma _{\nu _{1}},\nu _{\nu _{1}}) :I_{1} \times \Lambda _{1} \rightarrow {\mathbb {R}}^2 \times S^1\). Moreover, we have \(E_{\gamma _{\nu _{1}}}(u)=(E_\gamma )_{\nu _{1}}(u)\) for all \(u\in U\), where \(E_{\gamma _{\nu _{1}}}(u)=\gamma _{\nu _{1}}\circ e(u)\).
Proof
Since \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3}\times \Delta _{2}\) is a one-parameter family of framed curves and \(e : U \rightarrow I_1\times \Lambda _1\) is a pre-envelope of \((\gamma ,\nu _{1},\nu _{2})\), we have \(P(e(u))=Q(e(u))=0\) for all \(u\in U\) by Corollary 4.1. By Proposition 5.1, we have \(P_{\nu _{1}}(e(u))=0\) for all \(u\in U\). Therefore \(e : U \rightarrow I_{1}\times \Lambda _{1}\) is a pre-envelope of \((\gamma _{\nu _{1}},\nu _{\nu _{1}})\) (cf. [14]). Moreover, we have \(E_{\gamma _{\nu _{1}}}(u)=\gamma _{\nu _{1}}\circ e(u)=\bigl (\gamma (e(u))\cdot \nu _{2}(t_{0},\lambda _{0}),\gamma (e(u)) \cdot \varvec{\mu }(t_{0},\lambda _{0})\bigr ) =\bigl (E_\gamma (u)\cdot \nu _{2}(t_{0},\lambda _{0}),E_\gamma (u) \cdot \varvec{\mu }(t_{0},\lambda _{0})\bigr )=(E_\gamma )_{\nu _{1}}(u)\) for all \(u\in U\). \(\square \)
We also consider the projection of \(\gamma \) to the \(\nu _{2}(t_{0},\lambda _{0})\) direction. We denote \(\gamma _{\nu _{2}} : I\times \Lambda \rightarrow {\mathbb {R}}^{2} ,(t,\lambda )\mapsto (\gamma (t,\lambda )\cdot \nu _{1}(t_{0},\lambda _{0}), \gamma (t,\lambda )\cdot \varvec{\mu }(t_{0},\lambda _{0})).\) There exist subintervals \(I_{2}\) of I around \(t_0\) and \(\Lambda _{2}\) of \(\Lambda \) around \(\lambda _{0}\) such that \((\varvec{\mu }(t,\lambda )\cdot \nu _{1}(t_{0},\lambda _{0}))^{2} +(\varvec{\mu }(t,\lambda )\cdot \varvec{\mu }(t_{0},\lambda _{0}))^{2}\ne 0\) for all \((t,\lambda )\in I_{2} \times \Lambda _{2}\). We can prove the following similarly.
Proposition 5.3
Let \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha ,L,M,N,P,Q,R)\). Then \((\gamma _{\nu _{2}},\nu _{\nu _{2}}): I_{2} \times \Lambda _{2} \rightarrow \mathbb {R}^2\times S^1\) is a one-parameter family of Legendre curves with the curvature \((\ell _{\nu _{2}},\alpha _{\nu _{2}},L_{\nu _{2}},P_{\nu _{2}},Q_{\nu _{2}})\), where
Proposition 5.4
Under the same notations in Proposition 5.3, suppose that \(e : U \rightarrow I_{2}\times \Lambda _{2}\) is a pre-envelope of \((\gamma ,\nu _{1},\nu _{2})\). Then \(e : U \rightarrow I_{2}\times \Lambda _{2}\) is also a pre-envelope of \((\gamma _{\nu _{2}},\nu _{\nu _{2}}):I_{2} \times \Lambda _{2} \rightarrow {\mathbb {R}}^2 \times S^1\). Moreover, we have \(E_{\gamma _{\nu _{2}}}(u)=(E_\gamma )_{\nu _{2}}(u)\) for all \(u\in U\), where \(E_{\gamma _{\nu _{2}}}(u)=\gamma _{\nu _{2}}\circ e(u)\).
Second, we give a relations between one-parameter families of framed curves and one-parameter families of spherical Legendre curves in the unit spherical bundle over the unit sphere. We review the one-parameter families of spherical Legendre curves. For more details see [11].
Let \((\gamma , \nu ): I \times \Lambda \rightarrow \Delta _{2}\subset S^{2}\times S^{2}\) be a smooth mapping. We say that \((\gamma , \nu )\) is a one-parameter family of spherical Legendre curves if \(\gamma _t(t, \lambda ) \cdot \nu (t, \lambda )=0 \) for all \((t, \lambda )\in I \times \Lambda \). We define \(\varvec{\mu }(t,\lambda )=\gamma (t,\lambda )\times \nu (t,\lambda )\). Then \(\{\gamma (t,\lambda ), \nu (t,\lambda ),\varvec{\mu }(t,\lambda )\}\) is a moving frame along \(\gamma (t,\lambda )\) on \(S^2\). We have the Frenet type formula.
By the integrability condition, we have
We call the mapping (m, n, L, M, N) with the integrability condition the curvature of the one-parameter family of spherical Legendre curves \((\gamma ,\nu )\). Let \((\gamma ,\nu ): I \times \Lambda \rightarrow \Delta _{2}\) be a one-parameter family of spherical Legendre curves with the curvature (m, n, L, M, N) and let \(e:U \rightarrow I \times \Lambda \), \(e(u) = (t(u), \lambda (u))\) be a smooth curve, where U is an interval of \({\mathbb {R}}\). We denote \(E_\gamma =\gamma \circ e:U \rightarrow S^{2}\) and \(E_\nu =\nu \circ e:U \rightarrow S^{2}\).
We call \(E_\gamma \) an envelope (and e a pre-envelope) for the one-parameter family of spherical Legendre curves \((\gamma ,\nu )\), when the following conditions are satisfied.
- (i)
The function \(\lambda \) is non-constant on any non-trivial subinterval of U. (The Variability Condition.)
- (ii)
For all u, the curve \(E_\gamma \) is tangent at u to the curve \(\gamma (t, \lambda )\) at the parameter \((t(u),\lambda (u))\), meaning that the tangent vectors \(E_\gamma '(u) = (dE /du)(u)\) and \(\varvec{\mu }(e(u))\) are linearly dependent. (The Tangency Condition.)
In [13], the relations between framed curves and spherical Legendre curves are discussed. Here we discuss relations between one-parameter families of framed curves and one-parameter families of spherical Legendre curves, see Example 6.4.
Proposition 5.5
Let \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha ,L,M,N,P,Q,R)\). Suppose that \(\gamma (t,\lambda )\) is non-zero. We denote \(\widetilde{\gamma }(t,\lambda )=\gamma (t,\lambda )/|\gamma (t,\lambda )|\) and \(\widetilde{\gamma }(t,\lambda )=a(t,\lambda )\nu _{1}(t,\lambda )+b(t,\lambda ) \nu _{2}(t,\lambda )+c(t,\lambda )\varvec{\mu }(t,\lambda )\) with \(a^{2}(t,\lambda )+b^{2}(t,\lambda )+c^{2}(t,\lambda )=1\). If \(a^{2}(t,\lambda )+b^{2}(t,\lambda )\ne 0\) for all \((t,\lambda )\in I\times \Lambda \) and \(\widetilde{\nu }(t,\lambda )=(\widetilde{\gamma }\times \varvec{\mu }/ |\widetilde{\gamma }\times \varvec{\mu }|)(t,\lambda ),\) then \((\widetilde{\gamma },\widetilde{\nu }):I \times \Lambda \rightarrow \Delta _{2}\) is a one-parameter family of spherical Legendre curves with the curvature
Proof
Since \(\widetilde{\gamma }(t,\lambda )=a(t,\lambda )\nu _{1}(t,\lambda ) +b(t,\lambda )\nu _{2}(t,\lambda )+c(t,\lambda )\varvec{\mu }(t,\lambda )\) and \(\widetilde{\nu }(t,\lambda )=\left( (b\nu _{1}-a\nu _{2})/\sqrt{a^{2}+b^{2}}\right) (t,\lambda )\), we have \(\widetilde{\gamma }(t,\lambda )\cdot \widetilde{\nu }(t,\lambda )=0\). Moreover,
Therefore \((\widetilde{\gamma },\widetilde{\nu }):I \times \Lambda \rightarrow \Delta _{2} \) is a one-parameter family of spherical Legendre curves. By a direct calculation, we have
By using the Frenet type formula of a one-parameter family of spherical Legendre curves, we also have
By a direct calculation, we have the curvature \((\widetilde{m},\widetilde{n},\widetilde{L},\widetilde{M},\widetilde{N})\) of \((\widetilde{\gamma },\widetilde{\nu })\). \(\square \)
Proposition 5.6
Under the same assumptions in Proposition 5.5, suppose that \(e : U \rightarrow I\times \Lambda \) is a pre-envelope of \((\gamma ,\nu _{1},\nu _{2})\) and \(E_\gamma :U \rightarrow {\mathbb {R}}^3\) is an envelope. Then \(e : U \rightarrow I\times \Lambda \) is also a pre-envelope of \((\widetilde{\gamma }, \widetilde{\nu }):I \times \Lambda \rightarrow \Delta _{2}\). Moreover, we have \(E_{\widetilde{\gamma }}(u)=\widetilde{E}_\gamma \)(u) for all \(u\in U\), where \(E_{\widetilde{\gamma }}(u)=\widetilde{\gamma }\circ e(u)\) and \(\widetilde{E}_\gamma (u)=E_\gamma (u)/|E_\gamma (u)|\).
Proof
Since \((\gamma , \nu _{1},\nu _{2}) : I \times \Lambda \rightarrow {\mathbb {R}}^3 \times \Delta _{2}\) is a one-parameter family of framed curves and \(e : U \rightarrow I\times \Lambda \) is a pre-envelope of \((\gamma ,\nu _{1},\nu _{2})\), we have \(\gamma _\lambda (e(u))\cdot \nu _{1}(e(u))=0\) and \(\gamma _\lambda (e(u))\cdot \nu _{2}(e(u))=0\) for all \(u\in U\). It follows that
Therefore \(e : U \rightarrow I\times \Lambda \) is also a pre-envelope of \((\widetilde{\gamma }, \widetilde{\nu })\). Moreover, \(E_{\widetilde{\gamma }}(u)=\widetilde{\gamma }( e(u))=\widetilde{\gamma (e(u))}=\widetilde{E}_\gamma (u).\) Thus, we have \(E_{\widetilde{\gamma }}(u)=\widetilde{E}_\gamma \)(u) for all \(u\in U\). \(\square \)
Conversely, we have the following result.
Proposition 5.7
Let \((\gamma , \nu ):I \times \Lambda \rightarrow \Delta _{2} \) be a one-parameter family of spherical Legendre curves with the curvature (m, n, L, M, N). Then \((\gamma ,\gamma ,\nu ) : I\times \Lambda \rightarrow S^{2}\times \Delta _{2} \subset {\mathbb {R}}^{3}\times \Delta _{2}\) is a one-parameter family of framed curves with the curvature \((\ell ,m,n,\alpha ,L,M,N,P,Q,R)=(0,m,n,m,L,M,N,0,L,M)\).
Proof
Since \((\gamma , \nu ):I \times \Lambda \rightarrow \Delta _{2}\) is a one-parameter family of spherical Legendre curves, we have \(\gamma (t,\lambda )\cdot \nu (t,\lambda )=0\) and \(\gamma _{t}(t,\lambda )\cdot \nu (t,\lambda )=0\) for all \((t,\lambda ) \in I \times \Lambda \). Therefore, \((\gamma ,\gamma ,\nu ) : I\times \Lambda \rightarrow S^{2}\times \Delta _{2} \subset {\mathbb {R}}^{3}\times \Delta _{2}\) is a one-parameter family of framed curves. By a direct calculation, we have the curvature of \((\gamma ,\gamma ,\nu )\). \(\square \)
Proposition 5.8
Under the same notations in Proposition 5.7, suppose that \(e : U \rightarrow I\times \Lambda \) is a pre-envelope of \((\gamma ,\nu )\) and \(E_\gamma :U \rightarrow S^2\) is an envelope. Then \(e : U \rightarrow I\times \Lambda \) is also a pre-envelope of \((\gamma , \gamma ,\nu ):I \times \Lambda \rightarrow S^2 \times \Delta _{2} \subset {\mathbb {R}}^3 \times \Delta _{2}\). Moreover, \(E_{\gamma }\) is also an envelope of \((\gamma ,\gamma ,\nu )\).
Proof
Since \(\gamma _\lambda (e(u))\cdot \nu (e(u))=0\) for all \(u\in U\), \(e : U \rightarrow I \times \Lambda \) is also a pre-envelope of \((\gamma ,\gamma ,\nu )\). Therefore, \(E_\gamma \) is also an envelope of \((\gamma ,\gamma ,\nu )\). \(\square \)
6 Examples
Example 6.1
Let \(n_{1},n_{2},n_{3},k_{1}\) and \(k_{2}\) be natural numbers with \(n_{2}=n_{1}+k_{1}\) and \(n_{3}=n_{2}+k_{2}.\) Let \((\gamma ,\nu _{1},\nu _{2}): {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be
Then \((\gamma ,\nu _{1},\nu _{2})\) is a one-parameter family of framed curves. By a direct calculation, we have
Then the curvature is given by
If we take \(e: {\mathbb {R}}\rightarrow {\mathbb {R}}\times {\mathbb {R}}\), \(e(u)=(0,u)\), then the variability condition holds and we have \(P(e(u))=Q(e(u))=0\) for all \(u\in {\mathbb {R}}\). Therefore e is a pre-envelope and an envelope \(E_\gamma :{\mathbb {R}}\rightarrow {\mathbb {R}}^3\) is given by \(E_\gamma (u)=(u,0,0)\).
If we take \((n_{1},n_{2},n_{3})=(2,3,4)\), we have a one-parameter family of framed curves
Example 6.2
Let \(n_{1},n_{2},n_{3},m_{1},m_{2},m_{3}\),\(k_{1},k_{2},h_{1}\) and \(h_{2}\) be natural numbers with \(n_{2}=n_{1}+k_{1},~n_{3}=n_{2}+k_{2}\), \(m_{2}=m_{1}+h_{1},~m_{3}=m_{2}+h_{2}\), \(h_{1}k_{2}=h_{2}k_{1}\) and \(h_{1}\) or \(k_{1}\) is 1, or \(h_{1}\) and \(k_{1}\) are relatively prime. Let \((\gamma ,\nu _{1},\nu _{2}): {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be
Then \((\gamma ,\nu _{1},\nu _{2})\) is a one-parameter family of framed curves. Moreover, by \(\gamma _{\lambda }(t,\lambda )=(\lambda ^{m_{1}-1},\lambda ^{m_{2}-1},\lambda ^{m_{3}-1})\),
If we take \(e: {\mathbb {R}}\rightarrow {\mathbb {R}}\times {\mathbb {R}}\), \(e(u)=(u^{h_{1}},u^{k_{1}})\), then the variability condition holds, \(\gamma _{\lambda }(e(u))\cdot \nu _{1}(e(u))=0\) and \(\gamma _{\lambda }(e(u))\cdot \nu _{2}(e(u))=0\) for all \(u\in {\mathbb {R}}\). Therefore e is a pre-envelope and an envelope \(E_\gamma :{\mathbb {R}}\rightarrow {\mathbb {R}}^3\) is given by
If we take \((n_{1},n_{2},n_{3},m_{1},m_{2},m_{3})=(2,3,4,2,3,4)\), then \(\gamma (t,\lambda )=(t^{2}/2+\lambda ^{2}/2,t^{3}/3+\lambda ^{3}/3,t^{4}/4+\lambda ^{4}/4)\) and an envelope \(E_{\gamma }(u)=(u^{2},2u^{3}/3,u^{4}/2),\) see Figs. 4, 5 and 6.
Example 6.3
Let \((\varvec{p},\nu _{p1},\nu _{p2}):[0,2\pi )\rightarrow {\mathbb {R}}^{3}\times \Delta _{2}\) be an astroid \(\varvec{p}(t)=(\cos ^{3}t-1,\sin ^{3}t,\cos 2t-1)\), \(\nu _{p1}(t)=(-\sin t,-\cos t,0),\nu _{p2}(t)=1/5(-4\cos t,4\sin t,3)\) and \((\varvec{q},\nu _{q1},\nu _{q2}):[0,2\pi )\rightarrow {\mathbb {R}}^{3}\times \Delta _{2}\) be given by \(\varvec{q}(\lambda )=(\cos ^{3}\lambda ,-\sin ^{3}\lambda ,\cos 2\lambda )\), \(\nu _{q1}(t)=(\sin \lambda ,-\cos \lambda ,0), \nu _{q2}(t)=1/5(-4\cos \lambda ,-4\sin \lambda ,3)\). Then \((\varvec{p},\nu _{p1},\nu _{p2})\) and \((\varvec{q},\nu _{q1},\nu _{q2})\) are framed curves.
We consider a one-parameter family of framed curves \((\gamma ,\nu _1,\nu _2):[0,2\pi )\times [0,2\pi )\rightarrow {\mathbb {R}}^{3}\times \Delta _{2}\),
where
that is
By a direct calculation, we have
If we take \(e:[0,2\pi )\rightarrow [0,2\pi )\times [0,2\pi ),e(u)=(0,u)\), then \(\gamma _{\lambda }(e(u))\cdot \nu _{1}(e(u))=0\) and \(\gamma _{\lambda }(e(u))\cdot \nu _{2}(e(u))=0\) for all \(u\in [0,2\pi )\). Therefore e is a pre-envelope and an envelope \(E_{\gamma }:[0,2\pi )\rightarrow {\mathbb {R}}^{3}\) is given by \(E_{\gamma }(u)=\varvec{q}(u)=(\cos ^{3}u,-\sin ^{3}u,\cos 2u),\) see Figs. 7, 8 and 9.
Example 6.4
Let \((\gamma ,\nu _{1},\nu _{2}): {\mathbb {R}}\times [0,2\pi ) \rightarrow {\mathbb {R}}^{3} \times \Delta _{2}\) be
Then \((\gamma ,\nu _{1},\nu _{2})\) is a one-parameter family of framed curves. By a direct calculation, we have
If we take \(e:{\mathbb {R}}\rightarrow {\mathbb {R}}\times [0,2\pi ),e(u)=(0,u)\), we have \(\gamma _{\theta }(e(u))\cdot \nu _{1}(e(u))=0\) and \(\gamma _{\theta }(e(u))\cdot \nu _{2}(e(u))=0\) for all \(u\in {\mathbb {R}}\). Therefore e is a pre-envelope and an envelope \(E_{\gamma }:{\mathbb {R}}\rightarrow {\mathbb {R}}^{3}\) is given by
Since \(|\gamma (t,\theta )|\ne 0\), for all \((t,\theta )\in {\mathbb {R}}\times [0,2\pi )\), we can consider
Moreover, we have \(\widetilde{\gamma }(t,\theta )=a(t,\theta )\nu _{1}(t,\theta )+b(t,\theta )\nu _{2} (t,\theta )+c(t,\theta )\varvec{\mu }(t,\theta )\), where
Then \(a^{2}(t,\theta )+b^{2}(t,\theta )\ne 0\) for all \((t,\theta )\in {\mathbb {R}}\times [0,2\pi )\) and we have \(\widetilde{\nu }(t,\theta )=(\widetilde{\gamma }\times \varvec{\mu }/ |\widetilde{\gamma }\times \varvec{\mu }|)(t,\theta ).\) By Proposition 5.5, \((\widetilde{\gamma },\widetilde{\nu }):{\mathbb {R}}\times [0,2\pi ) \rightarrow \Delta _{2}\) is a one-parameter family of spherical Legendre curves. By Proposition 5.6, \(e:{\mathbb {R}}\rightarrow {\mathbb {R}}\times [0,2\pi ),e(u)=(0,u)\) is also a pre-envelope of \((\widetilde{\gamma }, \widetilde{\nu })\). By a direct calculation, we have
References
Bruce, J.W., Giblin, P.J.: What is an envelope? Math. Gaz. 65, 186–192 (1981)
Bruce, J.W., Giblin, P.J.: Curves and Singularities. A Geometrical Introduction to Singularity Theory, 2nd edn. Cambridge University Press, Cambridge (1992)
Carneiro, M.J.D.: Singularities of envelopes of families of submanifolds in \(\mathbb{R}^{n}\). Ann. Sci. Ecole Norm. Sup. 16, 173–192 (1983)
Fukunaga, T., Takahashi, M.: Framed surfaces in the Euclidean space. Bull. Braz. Math. Soc. New Ser. (2018). https://doi.org/10.1007/s00574-018-0090-z
Fukunaga, T., Takahashi, M.: Framed surfaces and one-parameter families of framed curves. Preprint (2018)
Gibson, C.G.: Elementary Geometry of Differentiable Curves. An Undergraduate Introduction. Cambridge University Press, Cambridge (2001)
Gray, A., Abbena, E., Salamon, S.: Modern Differential Geometry of Curves and Surfaces with Mathematica. Studies in Advanced Mathematics, 3rd edn. Chapman and Hall/CRC, Boca Raton (2006)
Honda, S., Takahashi, M.: Framed curves in the Euclidean space. Adv. Geom. 16, 265–276 (2016). https://doi.org/10.1515/advgeom-2015-0035
Honda, S., Takahashi, M.: Evolutes and focal surface of framed immersions in the Euclidean space. Proc. R. Soc. Edinb. Sect. A Math. (2019). https://doi.org/10.1017/prm.2018.84
Ishikawa, G.: Generic bifurcations of framed curves in a space form and their envelopes. Topol. Appl. 159, 492–500 (2012)
Li, Y.-L., Pei, D.-H., Takahashi, M., Yu, H.-O.: Envelopes of Legendre curves in the unit spherical bundle over the unit sphere. Q. J. Math. (2018). https://doi.org/10.1093/qmath/hax056
Rutter, J.W.: Geometry of Curves. Chapman & Hall/CRC Mathematics. Chapman & Hall/CRC, Boca Raton (2000)
Takahashi, M.: Legendre Curves in the Unit Spherical Bundle Over the Unit Sphere and Evolutes Real and Complex Singularities. Contemporary Mathematics, vol. 675, pp. 337–355. American Mathematical Society, Providence (2016)
Takahashi, M.: Envelopes of Legendre curves in the unit tangent bundle over the Euclidean plane. Results Math. 71, 1473–1489 (2017). https://doi.org/10.1007/s00025-016-0619-7
Thom, R.: Sur la théorie des enveloppes. J. Math. Pures Appl. (9) 41, 177–192 (1962)
Acknowledgements
The authors would like to thank the referee for helpful comments to improve the original manuscript. The first author was supported by the National Natural Science Foundation of China (Grant No. 11671070) and the second author was supported by the JSPS KAKENHI (Grant No. JP 17K05238).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict of interest in this work.
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
Pei, D., Takahashi, M. & Yu, H. Envelopes of one-parameter families of framed curves in the Euclidean space. J. Geom. 110, 48 (2019). https://doi.org/10.1007/s00022-019-0503-1
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s00022-019-0503-1