Evolutions of the Ruled Surfaces via the Evolution of Their Directrix Using Quasi Frame along a Space Curve ()
1. Introduction
Recently, the study of the motion of inelastic plane curves has arisen in a number of diverse engineering applications. Chirikjian and Burdick [1] describe the motion of a planar hyper redundant (or snake-like) robot as the flow of a plane curve, while Brockett [2] explicitly proposes the idea of an inelastic string machine as a robotic device. Jagadeesan Jayender and Kirby G. Vosburgh [3] showed that the colonoscope can be modeled as a set of infinitesimal rigid links along a backbone curve defined in terms of the Frenet-Serret frame. They used evolution of space curve theory in their model. Kalantar, et al. [4] they considered a collection of robots which can act as markers on an imaginary curve moving according to the local curvature and the external environmental force projected unto the normal to the curve.
The geometric link between integrable equation and the motion of curves may be said to have its origin in an analysis by Da Rios [5] in 1906. He obtained partial differential equation that governing the moving curves. Takao [6] , showed that the Da Rios equations may be mapped to produce the celebrated nonlinear Schrodinger equation. Lamb [7] , later in 1977, linked the motion of curves with modified Korteweg-de Vries, the sine-Gordon and nonlinear Schrödinger equations. Lakshmanan et al. [8] , derived the Heisenberg spin chain equation via the spatial motion of a space curve.
In recent times, Santini and Doliwa [9] linked the motion of inextensible curves with solitonic systems. [10] studied evolution of the translation surfaces and their generating curves in E3 and obtained the evolution equations of the fundamental quantities and the Christoffel symbols for the translation surfaces. [11] studied generated surfaces via inextensible flows of curves in R3. They constructed and plotted the surfaces generated from the motion inextensible curves in R3. D. Y. Kwona and F. C. Park [12] [13] studied evolution of inelastic plane curves and inextensible flows of curves and developable ruled surfaces. They get partial differential equation that governing the flow of curves and the flow of ruled surfaces. Dariush Latifi and Asadollah Razavi [14] obtained necessary and sufficient conditions for an inextensible curve flow are expressed as a partial differential equation involving the curvature and torsion. T. Körpinar and E. Turhan [15] investigated inextensible flows of tangent developable surfaces in Euclidean 3-space E3 and obtained results for minimal tangent developable surfaces in Euclidean 3-space. R. Mukherjee and R. Balakrishnan [16] linked moving curves with sine-Gordon equation and displayed the evolving curve via the numerical integration of the Serret-Frenet equations.
In this paper, we introduce a different approach to this problem. The evolution of curves is represented by two sets of quasi Serret-Frenet equations for tangent, quasi normal and quasi binormal vectors to the curve. By applying compatibility condition on these vectors, three partial differential equations for the curvatures
are derived. We derive system of partial differential equations governing the time evolution of the curvatures of the evolving curve. Ruled surface is constructed on the evolving curve where the generator is quasi normal and quasi binormal vectors to the curve. The coefficients of the first, second fundamental forms, Gaussian curvatures, mean curvatures are obtained.
The article is organized as follows. In Section 2, we introduce differential geometry of curves focusing on Serret-Frenet frame and quasi frame along a space curve. In Section 3, the evolution of curves is represented by two sets of quasi Serret-Frenet equations for tangent, quasi normal and quasi binormal vectors to the curve. By applying compatibility condition on these vectors, three partial differential equations for the curvatures
are derived. In Section 4, Ruled surface is constructed on the evolving curve where the generator is quasi normal and quasi binormal vectors to the curve. The coefficients of the first, second fundamental forms, Gaussian curvatures, mean curvatures are obtained.
2. Frenet Frame and Quasi Frame along a Space Curve
There is a more moving frame that can be associated to a space curve in space such as Frenet frame [17] , Bishop frame [18] [19] [20] , Kepler frame [21] . In this section we define a new frame along a space curve as an alternant to Frenet frame which called quasi Frame [22] . Also geometric proprieties for the Frenet frame and quasi frame along a space curve are presented.
Let
be a vector valued function of a regular space curve represented with its arc-length
, the vectors associated to the curve are
(1)
where
is the tangent vector,
is the normal vector,
is the binomial vector.
The curvature
and the torsion
are given by
(2)
The Frenet frame
vary along
according to the well-known Serret-Frenet relations [17]
. (3)
The quasi frame of a regular space curve
is given by
(4)
where k is the projection vector can be chosen as
or
or
.
Let
is the angel between the normal
and quasi normal
. Then, the relation between two frames is given by
. (5)
Thus,
. (6)
A short calculation using Equations (3), (5) and (6) shows that the variation of quasi frame is given by
, (7)
where the quasi curvatures are
(8)
its well known that if we have the curvature and the torsion of a space curve as a functions of arc-length parameter, then by integrating Serret-Frenet we can reconstruct the curve up to its position in the space and this is an immediate consequence of the of the fundamental existence theorem for space curves [23] . Similarly, if we have the quasi curvatures
,
and
, then we can reconstruct the curve in the space via the integration of quasi Serret-Frenet Equation (9).
3. Evolution of a Space Curve with Time by Quasi Frame
In this section we study the evolution of a regular space curve using quasi frame. We derive time evolution equation for quasi frame and quasi curvatures. The variations of quasi Serret-Frenet with respect to s and t are similar to [24] [25]
, (9)
. (10)
We can write the Serret-Frenet equations and the equation of the evolution in the matrix form as follows. Defining
(11)
The Serret-Frenet equations and the equation of the evolution can be written concisely as
(12)
Applying the compatibility condition
, (13)
a short calculation using Equations (9), (10) and (11) leads to
(14)
where
is called Lie bracket of A and B, using Equation (11) leads to
(15)
Thus the compatibility conditions becomes
(16)
The set of Equation (16) is the main result of this paper they give a complete description of the motion of curves via quasi frame. These equations represent evolution equations for quasi curvatures of the evolving curve. For a given
we can integrant 16 to get the
and by integrating 9 we can get the evolving curve in space.
4. Evolution of Ruled Surfaces Depends on Their Directrix by Quasi Frame of a Space Curve
We provide a general scheme for studying evolution of ruled surfaces using an approach different from the one proposed by [13] [15] . We apply our method by using quasi frame along a space curve. Evolutions of ruled surfaces generated by the quasi normal and quasi binormal vector fields of space curve are presented. These evolutions of the ruled surfaces depend on the evolutions of their directrix using quasi frame along a space curve.
4.1. Evolution of Quasi Normal Ruled Surface
The equation of surfaces generated by quasi normal is [26]
(17)
The tangent space to the surface
is,
(18)
the subscripts s and u stand for partial derivatives.
The normal to
is,
(19)
The second derivative is calculated and given by
(20)
where
and
If we compute components of the first fundamental form, we have
(21)
The fundamental metric is
(22)
If we compute components of the second fundamental form, we have
(23)
The Gaussian curvature K and the mean curvature H are calculated and given by,
(24)
4.2. Evolution of Quasi Binormal Ruled Surface
The equation of surfaces generated by quasi normal is
(25)
The tangent space to the surface
is,
(26)
the subscripts s and u stand for partial derivatives.
The normal to
is,
(27)
The second derivative is calculated and given by
(28)
If we compute components of the first fundamental form, we have
(29)
If we compute components of the second fundamental form, we have
(30)
The Gaussian curvature K and the mean curvature H are calculated and given by,
(31)
5. Conclusion
In this paper, evolutions of ruled surfaces generated by the quasi normal and quasi binormal vector fields of space curve are presented. These evolutions of the ruled surfaces depend on the evolutions of their directrix using quasi frame along a space curve.
Acknowledgements
The authors would like to thank the referees for their helpful comments and suggestions.