Abstract
In this article, the idea of the generalized Hasimoto-type surfaces are put forward based on the interaction between vortex filaments. Meanwhie, the surface of null growth is proposed by evolving a null curve as dictated direction and growth velocity in Minkowski 3-space. The conditions and geometric forms of the generalized Hasimoto-type surfaces of null growth are investigated. Last but not least, several typical examples are presented to characterize such surface growth and the corresponding perturbations explicitly.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Vortex filaments such as vortex tubes, rings and sheets are known to preserve their identities for a long time in a perfect fluid. The investigations on the motion of a system of vortices are quite helpful in understanding the fundamental elements underlying the dynamical structure of real flows. For an extremely thin isolated vortex filament \({\textbf{r}}={\textbf{r}}(s,t)\) with radius \(\epsilon \) in an incompressible unbounded fluid, the motion of \({\textbf{r}}(s,t)\) can be asymptotically described by its own induction as [4]
where s is the length measured along the filament, t the time, \(\kappa \) the curvature, \({\textbf{b}}\) the unit vector in the binormal direction, \(G=G(\Gamma ,\epsilon )\) the coefficient of local induction which is proportional to the circulation \(\Gamma \) of the filament. In common cases, the coefficient can be regarded as a constant, if appropriate units of time and length are chosen, then the equation (1.1) is reduced to a non-dimensional form
In 1972, Hasimoto found the intrinsic equation of an isolated and thin vortex filament without tension in an incompressible and inviscid fluid, i.e., the cubic non-linear Schrodinger (NLS) equation [4]. Later Rogers and Schief showed that the vortex motion without any change of form belongs to the traveling wave solution of the NLS equation [13]. In the language of differential geometry, when \({\textbf{r}}(s,t)\) is regarded as the position vector of such vortex filament, by considering the Frenet-serret formulae, the equation (1.2) is equivalent to
where \({\textbf{r}}_s=\frac{\partial {\textbf{r}}}{\partial s}\), \({\textbf{r}}_{ss}=\frac{\partial ^2 {\textbf{r}}}{\partial s^2}\) and \({\textbf{r}}_t=\frac{\partial {\textbf{r}}}{\partial t}\). And the surface model \({\textbf{r}}(s,t)\) wiped out by the vortex filament flow is called a Hasimoto surface [5, 7].
However, it should be noted that there exist interactions between the far distant portions of the filament in local motion, which means the coefficient of local induction \(G=G(\Gamma ,\epsilon )\) in equation (1.1) is not constant in real condition. In contrast to the vortex motion without any change of form as stated in equation (1.3), a perturbation factor \(\sigma (s,t)\) is introduced to study the practical motion of the vortex filament in a purely geometric manner and the following notion is proposed naturally.
Definition 1
Let \({\textbf{r}}(s,t)\) be a regular surface. If it satisfies
then it is said to be a generalized Hasimoto surface. Equation (1.4) is called the generalized vortex filament equation. \(\sigma (s,t)\) is a nonzero smooth function which is called perturbation factor of \({\textbf{r}}(s,t)\). Here, s is the length measured along the surface and t is the time.
Remark 1.1
The generalized Hasimoto surfaces are just Hasimoto surfaces when \(\sigma (s,t)\equiv 1\).
Notice that, \({\textbf{r}}_s(s,t)\times {\textbf{r}}_{ss}(s,t)=\sigma (s,t){\textbf{r}}_t(s,t)\) is not equivalent to \({\textbf{r}}_t(s,t)\times {\textbf{r}}_{tt}(s,t)=\sigma (s,t){\textbf{r}}_s(s,t)\) when we consider the meaning of parameter s and t. In order to distinguish them, we give the following definition.
Definition 2
Let \({\textbf{r}}(s,t)\) be a regular surface. If it satisfies
then it is called a generalized Hasimoto surface of type \({\textbf{I}}\). If it satisfies
then it is called a generalized Hasimoto surface of type \(\textbf{II}\). Here, \(\sigma (s,t)\) is a nonzero smooth function, s is the length measured along the surface and t is the time.
The study of a helicoidal filament has a long history and the existed theoretical studies prove that it is unstable to infinitesimal perturbations [6, 16]. In many biological beings, such as seashells, antlers and horns can find their helical structures. In 1838, Moseley began the first attempt to describe the spiral coils of the molluscan shell from the viewpoint of geometry [8]. In [14], Skalak et al. derived more detailed description by regarding the shell structure as a kind of surface growth. Furthermore, many experts investigated the various shell biological evolutions and presented the mathematical models for their surface growths, for example, Moulton and Goriely presented four basic transformations of the aperture on seashells, namely, coiling, dilation, rotation, and translation with fixed aperture shape [1,2,3, 9]. Those related research works not only are carried in Euclidean space, also are considered in pseudo-Euclidean space. For instance, Ozdemir and Tug proposed the model of the surface growth in Minkowski 3-space [11, 15]. It is undoubted that the study for some biological structures in pseudo-Euclidean space can take us some more practical mathematical problems and the study on various biological structures can be promoted by analyzing and classifying the geometric structures of some mathematical objects as well.
In the rest of this paper, we focus on the surface growth arising from a null curve to facilitate the further investigation on biological structures in Minkowski space. Firstly, we define the surface of null growth by evolving a null curve according to a denoted direction and growth velocity in Minkowski 3-space. Moreover, according to the growth velocity vector lying on the rectifying plane, the osculating plane and the normal plane of the null curve, the surfaces of null growth are divided into three kinds, which is briefly called NRGS, NOGS and NNGS, respectively. Meanwhile, the geometric expression forms for surfaces of null growth are represented via the structure functions of the generating null curves. Secondly, the conditions of generalized Hasimoto surfaces of null growth are classified completely by regarding the surfaces of null growth as a kind of vortex filaments with perturbations. Last but not least, several typical examples are designed to characterize such growth surfaces explicitly.
2 Preliminaries
Let \({\mathbb {E}}_{1}^{3}\) be the Minkowski 3-space with Lorentzian metric
where \({\textbf{x}}=(x_1, x_2, x_3), {\textbf{y}}=(y_1, y_2, y_3)\in {\mathbb {E}}_{1}^{3}\). Due to the indefinite metric, a vector \(\varvec{\delta }\in {\mathbb {E}}_{1}^{3}\) can be divided as spacelike vector, if \(\langle \varvec{\delta },\varvec{\delta }\rangle >0\) or \(\varvec{\delta } = 0\); timelike vector, if \(\langle \varvec{\delta },\varvec{\delta }\rangle <0\); lightlike (null) vector, if \(\langle \varvec{\delta },\varvec{\delta }\rangle =0\) (\(\varvec{\delta }\ne 0\)). A curve \({\textbf{a}}(s)\) is called spacelike, timelike or lightlike when all its tangent vector fields are spacelike, timelike or lightlike, correspondingly. In recent years, the research for null curves has made much progress. For example, the null arclength parameter for null curves is defined by normalizing the acceleration vectors of null curves such that \(\langle {\textbf{a}}''(s),{\textbf{a}}''(s)\rangle =1\), and the structure function of null curves is proposed, which is a powerful tool to graph the geometric objects related to null curves [12].
Proposition 2.1
[12] A null curve \({\textbf{a}}(s)\) with the null arclength parameter in \({\mathbb {E}}_{1}^{3}\) can be framed by a unique Cartan Frenet frame \(\{{\textbf{T}}={\textbf{T}}(s),{\textbf{N}}={\textbf{N}}(s),{\textbf{B}}={\textbf{B}}(s)\}\) such that
In sequence, \({\textbf{T}},{\textbf{N}},{\textbf{B}}\) is the tangent vector field, principal normal vector field and binormal vector field of \({\textbf{a}}(s)\), where \(\langle {\textbf{T}},{\textbf{T}}\rangle =\langle {\textbf{T}},{\textbf{N}}\rangle =\langle {\textbf{B}},{\textbf{B}}\rangle =\langle {\textbf{N}},{\textbf{B}}\rangle =0\), \(\langle {\textbf{N}},{\textbf{N}}\rangle =\langle {\textbf{T}},{\textbf{B}}\rangle =1\), and \({\textbf{T}}\times {\textbf{B}}={\textbf{N}}, {\textbf{B}}\times {\textbf{N}}={\textbf{B}}, {\textbf{N}}\times {\textbf{T}}={\textbf{T}}\). The plane spanned by \(\{{\textbf{T}},{\textbf{B}}\}\), \(\{{\textbf{T}},{\textbf{N}}\}\) and \(\{{\textbf{N}},{\textbf{B}}\}\) is called the rectifying plane, the osculating plane and the normal plane of \({\textbf{a}}(s)\), respectively. The function \(\kappa (s)=\frac{1}{2}\langle {\textbf{a}}'''(s),{\textbf{a}}'''(s)\rangle \) is said to be the null curvature of \({\textbf{a}}(s)\).
Remark 2.2
All the null curves are assumed to be parameterized by the null arclength and the null geodesic is excluded throughout this paper.
Proposition 2.3
[12] A null curve \({\textbf{a}}(s)\) in \({\mathbb {E}}^{3}_{1}\) can be represented as
whose Frenet frame \(\{{\textbf{T}}(s),{\textbf{N}}(s),{\textbf{B}}(s)\}\) is expressed as
and its null curvature \(\kappa (s)\) is related as
where \(f=f(s)\) is called the structure function of \({\textbf{a}}(s)\).
In what follows, we will construct a kind of growth surface from an arbitrary null curve in \({\mathbb {E}}_{1}^{3}\).
Definition 3
Let \({\textbf{a}}(s)\) be a null curve in \({\mathbb {E}}_{1}^{3}\), \(\varvec{\rho }(s, t)\) the velocity vector field on \({\textbf{a}}(s)\) at time t and \(\lambda (s)\) the stretch of \({\textbf{a}}(s)\) along the direction of \(\varvec{\rho }(s, t)\). Then the evolution of \({\textbf{a}}(s)\) deduced by \(\varvec{\rho }(s,t)\) is called a surface of null growth, which is written as
where \({\textbf{a}}(s)\) is called the generating curve, \(\varvec{\rho }(s,t)\) and \(\lambda (s)\) is called the growth velocity vector and the scaling factor of \({\textbf{r}}(s,t)\), respectively (Fig 1).
Remark 2.4
Indeed, the growth velocity vector field \(\varvec{\rho }(s,t)\) of \({\textbf{r}}(s,t)\) can be decomposed by the Frenet frame \(\{{\textbf{T}},{\textbf{N}},{\textbf{B}}\}\) of its generating curve \({\textbf{a}}(s)\). Then \({\textbf{r}}(s,t)\) can be rewritten as
where \(\rho _{i}(s,t)(i=1,2,3)\) are differentiable functions of s and t.
Definition 4
Let \({\textbf{r}}(s,t)\) be a surface of null growth with generating curve \({\textbf{a}}(s)\) and growth velocity vector field \(\varvec{\rho }(s,t)\) in \({\mathbb {E}}_{1}^{3}\).
-
If \(\varvec{\rho }(s,t)\) lies on the rectifying plane of \({\textbf{a}}(s)\), it is called a surface of null rectifying growth (NRGS in short), which is expressed as
$$\begin{aligned} {\textbf{r}}(s,t)={\textbf{a}}(s)+\lambda (s)[\rho _1(s,t){\textbf{T}}+\rho _3(s,t){\textbf{B}}]; \end{aligned}$$ -
If \(\varvec{\rho }(s,t)\) lies on the osculating plane of \({\textbf{a}}(s)\), it is called a surface of null osculating growth (NOGS in short), which is expressed as
$$\begin{aligned} {\textbf{r}}(s,t)={\textbf{a}}(s)+\lambda (s)[\rho _1(s,t){\textbf{T}}+\rho _2(s,t){\textbf{N}}]; \end{aligned}$$ -
If \(\varvec{\rho }(s,t)\) lies on the normal plane of \({\textbf{a}}(s)\), it is called a surface of null normal growth (NNGS in short), which is expressed as
$$\begin{aligned} {\textbf{r}}(s,t)={\textbf{a}}(s)+\lambda (s)[\rho _2(s,t){\textbf{N}}+\rho _3(s,t){\textbf{B}}], \end{aligned}$$
where \(\rho _{i}(s,t)(i=1,2,3)\) are differential functions of s and t.
In order to represent the surface of null growth in a local, elegant mathematical structure entirely, we develop a suitable mathematical frame to model the surface growth. From Definition 4 and Proposition 2.3, we have
Proposition 2.5
Let \({\textbf{r}}(s,t)=\{r_{1}(s,t),r_{2}(s,t),r_{3}(s,t)\}\) be a surface of null growth in \({\mathbb {E}}_{1}^{3}\).
-
If it is a NRGS, then it can be represented as
$$\begin{aligned} \left\{ \begin{aligned} r_{1}(s,t)&=\int \frac{f^{2}-1}{2f'}ds+\lambda \rho _{1}\frac{f^{2}-1}{2f'} +\lambda \rho _{3}\bigg (\frac{ff''}{f'}-\frac{(f^{2}-1)f''^{2}}{4f'^{3}}-f'\bigg ),\\ r_{2}(s,t)&=\int \frac{f}{f'}ds+\lambda \rho _{1}\frac{f}{f'}+\lambda \rho _{3}\bigg (\frac{f''}{f'}-\frac{ff''}{2f'^{3}}\bigg ),\\ r_{3}(s,t)&=\int \frac{f^{2}+1}{2f'}ds+\lambda \rho _{1}\frac{f^{2}+1}{2f'} +\lambda \rho _{3}\bigg (\frac{ff''}{f'}-\frac{(f^{2}+1)f''^{2}}{4f'^{3}}-f'\bigg ); \end{aligned} \right. \end{aligned}$$ -
If it is a NOGS, then it can be represented as
$$\begin{aligned} \left\{ \begin{aligned} r_{1}(s,t)&=\int \frac{f^{2}-1}{2f'}ds+\lambda \rho _{1}\frac{f^{2}-1}{2f'} +\lambda \rho _{2}\bigg (f-\frac{(f^{2}-1)f''}{2f'^{2}})\bigg ),\\ r_{2}(s,t)&=\int \frac{f}{f'}ds+\lambda \rho _{1}\frac{f}{f'}+\lambda \rho _{2}\bigg (1-\frac{ff''}{f'^{2}})\bigg ),\\ r_{3}(s,t)&=\int \frac{f^{2}+1}{2f'}ds+\lambda \rho _{1}\frac{f^{2}+1}{2f'} +\lambda \rho _{2}\bigg (f-\frac{(f^{2}+1)f''}{2f'^{2}})\bigg ); \end{aligned} \right. \end{aligned}$$ -
If it is a NNGS, then it can be represented as
$$\begin{aligned} \left\{ \begin{aligned} r_{1}(s,t)&=\int \frac{f^{2}-1}{2f'}ds+\lambda \rho _{2}\bigg (f-\frac{(f^{2}-1)f''}{2f'^{2}}\bigg )+\lambda \rho _{3}\bigg (\frac{ff''}{f'}-\frac{(f^{2}-1)f''^{2}}{4f'^{3}}-f'\bigg ),\\ r_{2}(s,t)&=\int \frac{f}{f'}ds+\lambda \rho _{2}\bigg (1-\frac{ff''}{f'^{2}} \bigg )+\lambda \rho _{3}\bigg (\frac{f''}{f'}-\frac{ff''}{2f'^{3}}\bigg ),\\ r_{3}(s,t)&=\int \frac{f^{2}+1}{2f'}ds+\lambda \rho _{2}\bigg (f-\frac{(f^{2}+1)f''}{2f'^{2}}\bigg )+\lambda \rho _{3}\bigg (\frac{ff''}{f'}-\frac{(f^{2}+1)f''^{2}}{4f'^{3}}-f'\bigg ), \end{aligned} \right. \end{aligned}$$
where \(f=f(s)\) is the structure function of its null generating curve.
Serving the discussions on the surfaces of generalized Hasimoto null growth, we make some preparations at the beginning.
Let \({\textbf{r}}(s,t)\) be a surface of null growth with generating curve \({\textbf{a}}(s)\), scaling factor \(\lambda (s)\) and growth velocity vector \(\varvec{\rho }(s,t)\) in Minkowski 3-space. From Remark 2.4, the surface \({\textbf{r}}(s,t)\) can be written as
where \(\rho _{i}(s,t) (i=1,2,3)\) are differentiable functions of s and t.
First of all, taking partial derivative on both sides of equation (2.1) with respect to s, we have
here, the differentiable functions \(\xi _{i}=\xi _{i}(s,t)(i=1,2,3)\) are the projections of \({\textbf{r}}_{s}\) on the Frenet frame of \({\textbf{a}}(s)\) as follows
and the prime \(``\;'\;"\) is the derivative or partial derivative respect to s.
Next, from equation (2.2), we get
where the differentiable functions \(\eta _{i}=\eta _{i}(s,t)(i=1,2,3)\) are the projections of \({\textbf{r}}_{ss}\) on the Frenet frame of \({\textbf{a}}(s)\) as follows
Furthermore, by differentiating equation (2.1) with respect to t twice, we have
and
Notice that, the dot \(``\;\dot{}\;"\) is the derivative or partial derivative respect to t.
From Proposition 2.1, we could obtain
and
3 The surfaces of generalized Hasimoto null growth of type \({\textbf{I}}\)
In this section, we focus on the surfaces of generalized Hasimoto null growth of type \({\textbf{I}}\), i.e., NRGS, NOGS and NNGS.
3.1 The surfaces of generalized Hasimoto null rectifyting growth of type \({\textbf{I}}\)
Assume that \({\textbf{r}}(s,t)\) is a NRGS, then \({\textbf{r}}(s,t)\) is written as by Definition 4
Based on the definition of generalized Hasimoto surface of type \({\textbf{I}}\), we know
where \(\sigma (s,t)\) is a nonzero smooth function.
Substituting equations (2.6) and (2.8) into equation (3.2), we have
which implies
Since \(\lambda =\lambda (s)\) and \(\sigma =\sigma (s,t)\) are nonzero functions, we find
Notice that, by equations (2.3) and (2.5) together with \(\rho _{2}=0\), \(\xi _{i}\), \(\eta _{i}\) \((i=1,2,3)\) in equations (3.3)–(3.4) are
and
Substituting equations (3.5) and (3.6) into (3.4), we obtain
Because \({\textbf{r}}(s,t)\) is a function of s and t, then \(\dot{\rho _{1}}\) and \(\dot{\rho _{3}}\) can not be zero simultaneously.
In case of \(\dot{\rho _{1}}\dot{\rho _{3}}\ne 0\), equation (3.7) produces
If \(\dot{\rho _{1}}\dot{\rho _{3}}=0\), we have the following two cases.
Case 1. \(\dot{\rho _{1}}=0,\dot{\rho _{3}}\ne 0\). In this case, from equation (3.7), we have
From above equation system and \(\lambda \ne 0\), we have \(\rho _{1}-\kappa \rho _{3}=0\) or \(\kappa =0\). However, by Remark 2.2, we know \(\kappa \ne 0\). By taking partial derivative with respect to t for \(\rho _{1}-\kappa \rho _{3}=0\), we have \(\dot{\rho _{1}}=\kappa \dot{\rho _{3}}=0\), it is a contradiction.
Case 2. \(\dot{\rho _{1}}\ne 0,\dot{\rho _{3}}=0\). In this case, from equation (3.7), we have
Similar to Case 1, by above equation system and \(\lambda \ne 0\), \(\rho _{1}-\kappa \rho _{3}=0\) is got, it is impossible. Therefore we have
Theorem 3.1
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NRGS of type \({\textbf{I}}\). Then its scaling factor \(\lambda (s)\) and the components \(\rho _{1}(s,t)\), \(\rho _{3}(s,t)\) of its growth velocity vector satisfy
where \({\dot{\rho }}_1{\dot{\rho }}_3\ne 0\).
Theorem 3.2
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NRGS of type \({\textbf{I}}\). Then the perturbation factor \(\sigma (s,t)\) can be expressed as
3.2 The surfaces of generalized Hasimoto null osculating growth of type \({\textbf{I}}\)
Assume that \({\textbf{r}}(s,t)\) is a NOGS, then \({\textbf{r}}(s,t)\) is written as by Definition 4
Based on the definition of generalized Hasimoto surface of type \({\textbf{I}}\), we know
where \(\sigma (s,t)\) is a nonzero smooth function.
Substituting equations (2.6) and (2.8) into equation (3.9), we have
which implies
Due to \(\lambda =\lambda (s)\) and \(\sigma =\sigma (s,t)\) are not zero everywhere, we have
Notice that, by equations (2.3) and (2.5) together with \(\rho _{3}=0\), \(\xi _{i}\), \(\eta _{i}\) \((i=1,2,3)\) in equations (3.10)-(3.11) are
and
Substituting equations (3.12) and (3.13) into (3.11), we obtain
Because \({\textbf{r}}(s,t)\) is a function of s and t, then \(\dot{\rho _{1}}\) and \(\dot{\rho _{2}}\) can not be zero simultaneously.
In case of \(\dot{\rho _{1}}\dot{\rho _{2}}\ne 0\), equation (3.14) gives
If \(\dot{\rho _{1}}\dot{\rho _{2}}=0\), we have the following two cases.
Case 1. \(\dot{\rho _{1}}=0,\dot{\rho _{2}}\ne 0\). In this case, from equation (3.14), we have
From above equation system, we can directly get \(1+(\lambda \rho _{1})'+2\lambda \kappa \rho _{2}=0.\) Continuously, taking partial derivative with respect to t, we have \(\lambda \kappa {\dot{\rho }}_{2}=0\). In view of \(\dot{\rho _{2}}\ne 0\) and Remark 2.2, they are all impossible.
Case 2. \(\dot{\rho _{1}}\ne 0, \dot{\rho _{2}}=0\). In this case, from equation (3.14), we have
From above equation system and \(\lambda \ne 0\), we can easily get \(\rho _{1}=\rho _2=0\). It is a contradiction.
Theorem 3.3
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NOGS of type \({\textbf{I}}\). Then its scaling factor \(\lambda (s)\) and the components \(\rho _{1}(s,t)\), \(\rho _{2}(s,t)\) of its growth velocity vector satisfy
where \({\dot{\rho }}_1{\dot{\rho }}_2\ne 0\).
Theorem 3.4
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NOGS of type \({\textbf{I}}\). Then the perturbation factor \(\sigma (s,t)\) can be expressed as
3.3 The surfaces of generalized Hasimoto null normal growth of type \({\textbf{I}}\)
Assume that \({\textbf{r}}(s,t)\) is a NNGS, then \({\textbf{r}}(s,t)\) is written as by Definition 4
Based on the definition of generalized Hasimoto surface of type \({\textbf{I}}\), we know
where \(\sigma (s,t)\) is a nonzero smooth function.
Substituting equations (2.6) and (2.8) into equation (3.16), we have
which implies
Since \(\lambda =\lambda (s)\) and \(\sigma =\sigma (s,t)\) are not zero everywhere, we find
Notice that, by equations (2.3) and (2.5) together with \(\rho _{1}=0\), \(\xi _{i}\), \(\eta _{i}\) \((i=1,2,3)\) in equations (3.17)-(3.18) are
and
Substituting equations (3.19) and (3.20) into (3.18), we obtain
Because \({\textbf{r}}(s,t)\) is a functions of s and t, then \(\dot{\rho _{2}}\) and \(\dot{\rho _{3}}\) can not be zero simultaneously.
In case of \(\dot{\rho _{2}}\dot{\rho _{3}}\ne 0\), equation (3.21) implies
If \(\dot{\rho _{2}}\dot{\rho _{3}}=0\), we have the following two cases.
Case 1. \(\dot{\rho _{2}}=0, \dot{\rho _{3}}\ne 0\). From equation (3.21), we have
We know \((\lambda \rho _{2})'-\lambda \kappa \rho _{3}=0\) from above equation system. By Remark 2.2 and \(\dot{\rho _{2}}=0\), we get \(\dot{\rho _{3}}=0\), it is impossible.
Case 2. \(\dot{\rho _{2}}\ne 0,\dot{\rho _{3}}=0\). From equation (3.21), we have
From above equation system, we get \(1-\lambda '\kappa \rho _{3}-\lambda \kappa \rho _{3}'+2\lambda \kappa \rho _{2} =0\). Continuously, taking partial derivative for this equation with respect to t, we have \(\kappa \dot{\rho _{2}}=0\). By Remark 2.2, we know \(\dot{\rho _{2}}=0\), it is impossible.
Theorem 3.5
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NNGS of type \({\textbf{I}}\). Then its scaling factor \(\lambda (s)\) and the components \(\rho _{2}(s,t)\), \(\rho _{3}(s,t)\) of its growth velocity vector satisfy
where \({\dot{\rho }}_2{\dot{\rho }}_3\ne 0\).
Theorem 3.6
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NNGS of type \({\textbf{I}}\). Then the perturbation factor \(\sigma (s,t)\) can be expressed as
4 The surfaces of generalized Hasimoto null growth of type \(\textbf{II}\)
In this section, we concern on the surfaces of generalized Hasimoto null growth of type \(\textbf{II}\), i.e., NRGS, NOGS and NNGS.
4.1 The surfaces of generalized Hasimoto null rectifyting growth of type \(\textbf{II}\)
Let \({\textbf{r}}(s,t)\) be a NRGS. Thanks to Definition 4, \({\textbf{r}}(s,t)\) is written as
By the definition of generalized Hasimoto surface of type \(\textbf{II}\), the surface \({\textbf{r}}(s,t)\) satisfies
for some nonzero smooth function \(\sigma (s,t)\).
Substituting equations (2.2) and (2.9) into equation (4.1), we have
which gives
Notice that, by equation (2.3) and \(\rho _{2}=0\), \(\xi _{i}\) \((i=1,2,3)\) in equations (4.2)-(4.3) are
Since \(\lambda =\lambda (s)\) and \(\sigma =\sigma (s,t)\) are nonzero, we find
From the last two equations of (4.4), we can obtain
where \(g_{i}(t)(i=1,2)\) are differentiable functions of t. On both sides of equations in (4.5), taking partial derivative with respect to t twice, we obtain
By substituting equations (4.6) into the first equation of (4.4), we have
Notice that the interior \(\textit{Int(U)}\) of the set \(\textit{U}=\{(s,t)|g_{1}(t)-s-\kappa (s) g_{2}(t)=0\}\) is not empty. Then \(g_{i}(t)(i=1,2)\) are constants on \(\textit{Int(U)}\), which contradicts to the fact that \(\dot{\rho _{1}}\) and \(\dot{\rho _{3}}\) can not be zero simultaneously. Therefore, we have
Theorem 4.1
Let \({\textbf{r}}(s, t)\) be a generalized Hasimoto NRGS of type \(\textbf{II}\). Then its scaling factor \(\lambda (s)\) and the components \(\rho _{1}(s,t)\), \(\rho _{3}(s,t)\) of its growth velocity vector field satisfy
where \(g_{i}(t)(i=1,2)\) are differential functions of t.
Theorem 4.2
Let \({\textbf{r}}(s, t)\) be a generalized Hasimoto NRGS of type \(\textbf{II}\). Then its perturbation factor \(\sigma (s,t)\) can be expressed as
where \(g_{i}(t)(i=1,2)\) are differential functions of t.
4.2 The surfaces of generalized Hasimoto null osculating growth of type \(\textbf{II}\)
Let \({\textbf{r}}(s,t)\) be a NOGS. Thanks to Definition 4, \({\textbf{r}}(s,t)\) is written as
Based on the definition of generalized Hasimoto surface of type \(\textbf{II}\), we know
where \(\sigma (s,t)\) is a nonzero smooth function.
Substituting equations (2.2) and (2.9) into equation (4.8), we have
Notice that, by equation (2.3) and \(\rho _{3}=0\), \(\xi _{i}\) \((i=1,2,3)\) in equation (4.9) are
Then, the following equation system can be obtained directly
Since \(\lambda =\lambda (s)\) and \(\sigma =\sigma (s,t)\) are not zero everywhere, we can find
By the second and third equation of (4.10), we can easily get \(\rho _{1}=\rho _{2}=0\), which is impossible.
Theorem 4.3
There is no generalized Hasimoto NOGS of type \(\textbf{II}\) in Minkowski 3-space.
4.3 The surfaces of generalized Hasimoto null normal growth of type \(\textbf{II}\)
Let \({\textbf{r}}(s,t)\) be a NNGS. Thanks to Definition 4, \({\textbf{r}}(s,t)\) is written as
Based on the definition of generalized Hasimoto surface of type \(\textbf{II}\), we know
where \(\sigma (s,t)\) is a nonzero smooth function.
Substituting equations (2.2) and (2.9) into equation (4.12), we have
Notice that, by equation (2.3) and \(\rho _{1}=0\), \(\xi _{i}\) \((i=1,2,3)\) in equation (4.13) are
Obviously, the following equation system holds from equation (4.13)
Since \(\lambda =\lambda (s)\) and \(\sigma =\sigma (s,t)\) are not zero everywhere, we can find
From above equation system, we can find \(\rho _{2}\) and \(\rho _{3}\) are all functions of s, which is impossible.
Theorem 4.4
There is no generalized Hasimoto NNGS of type \(\textbf{II}\) in Minkowski 3-space.
5 Example
Taking a null helix \({\textbf{a}}(s)=(\cos s,\sin s,s)\) with null curvature \(\kappa (s)=-\frac{1}{2}\). By Proposition 2.3, the structure function f(s) of \({\textbf{a}}(s)\) satisfies
solving the above differential equation, we obtain \(f(s)=\sec s-\tan s.\)
In the following, we construct several active growth surface models generated by this null curve and show the corresponding perturbation factors of such generalized Hasimoto-type surfaces.
Example 5.1
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NRGS of type \({\textbf{I}}\), by Theorem 3.1, when the growth components on the rectifying plane are
from Proposition 2.5, the surface \({\textbf{r}}(s,t)\) can be expressed as (See Fig. 2)
By Theorem 3.2, after explicit computation, the perturbation factor is written as
i.e., the surface \({\textbf{r}}(s,t)\) satisfies
Example 5.2
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NOGS of type \({\textbf{I}}\), by Theorem 3.3, when the growth components on the osculating plane are
from Proposition 2.5, the surface \({\textbf{r}}(s,t)\) can be expressed as (See Fig. 3)
By Theorem 3.4, through explicit computation, the perturbation factor is written as
i.e., the surface \({\textbf{r}}(s,t)\) satisfies
Example 5.3
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NNGS of type \({\textbf{I}}\), by Theorem 3.5, when the growth components on the normal plane are
from Proposition 2.5, the surface \({\textbf{r}}(s,t)\) can be expressed as (See Fig. 4)
By Theorem 3.6, after explicit computation, the perturbation factor is written as
i.e., the surface \({\textbf{r}}(s,t)\) satisfies
Example 5.4
Let \({\textbf{r}}(s,t)\) be a generalized Hasimoto NRGS of type \(\textbf{II}\), by Theorem 4.1, when the growth components on the rectifying plane are
from Proposition 2.5, the surface \({\textbf{r}}(s,t)\) can be epressed as (See Fig. 5)
By Theorem 4.2, the perturbation factor is written as
i.e., the surface \({\textbf{r}}(s,t)\) satisfies
6 Conclusions
We concern on the generalized Hasimoto-type surfaces by considering the interactions between the far distant portions of the vortex filament within null growth surface model. The asymptotic growth motion along the rectifying plane, the osculating plane and the normal plane are characterized respectively by pure geometry method accompanied with several examples. The conclusions obtained in this paper can find the further applications in the liquid mechanics and biology and so on.
Availability Statements
My manuscript has no associate data.
References
Boettiger, A., Ermentrout, B., Oster, G.: The neural origins of shell structure and pattern in aquatic mollusks. Proc. Natl. Acad. Sci. USA 106(16), 6837 (2009)
Dera, G., Eble, G., Neige, P., David, B.: The flourishing diversity of models in the oretical morphology: from current practices to future macroevolutionary and bioenvironmental challenges. Paleobiology. 34(3), 301–317 (2008)
Hammer, O., Bucher, H.: Models for the morphogenesis of the molluscan shell. Lethaia. 38(2), 111–122 (2005)
Hasimoto, H.: A soliton on a vortex filament. J. Fluid. Mech. 51, 477–485 (1972)
Hoz, F., Kumar, S., Vega, L.: Vortex filament equation for a regular polygon in the hyperbolic plane. J. Nonlinear Sci. 32, 9 (2022)
Kida, S.: Stability of a steady vortex filament. J. Phys. Soc. Jpn. 51(5), 1655–1662 (1982)
Koiso, N.: Vortex filament equation in a Riemannian manifold. Tohoku Math. J. 55, 311–320 (2003)
Moseley, H.: On the geometrical forms of turbinated and discoid shells. Phil. Trans. R. Soc. Lond. 128, 351–370 (1838)
Moulton, D.E., Goriely, A.: Mechanical growth and morphogenesis of seashells. J. Theor. Biol. 311, 69–79 (2012)
Moulton, D.E., Goriely, A.: Surface growth kinematics via local curve evolution. J. Math. Biol. 68, 81–108 (2014)
Ozdemir, Z., Tug, G.: Accretive growth kinematics via null evolution curve. Math Meth. Appl. Sci. 43, 10430–10440 (2020)
Qian, J.H., Kim, Y.H.: Directional associated curves of a null curve in \({\mathbb{E} }_{1}^{3}\). Bull. Korean Math. Soc. 52, 183–200 (2015)
Rogers, C., Schief, W.K.: Backlund and Darboux transformations, geometry of modern applications in soliton theory. Cambridge University Press (2002)
Skalak, R., Farrow, D., Hoger, A.: Kinematics of surface growth. J. Math. Biol. 35(8), 869–907 (1997)
Tug, G., Ozdemir, Z., Aydin, S.H., Ekmekci, F.N.: Accretive growth kinematics in Minkowski 3-space. J. Geom. Methods Mod. Phys. 14(5), 1–16 (2017)
Widnall, S.E.: The stability of a helical vortex filament. J. Fluid Mech. 54(4), 641–663 (1972)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors were supported by NSFC (No.11801065) and Research Ability Cultivation Fund for Young Teachers of Shenyang University of Technology (QNPY202209-24).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Qian, J., Li, Y. & Fu, X. Generalized Hasimoto-type surfaces of null growth in Minkowski 3-space. Math. Ann. 389, 187–208 (2024). https://doi.org/10.1007/s00208-023-02631-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-023-02631-9