Journal of Applied Mathematics and Physics
Vol.06 No.08(2018), Article ID:86970,9 pages
10.4236/jamp.2018.68149

Evolutions of the Ruled Surfaces via the Evolution of Their Directrix Using Quasi Frame along a Space Curve

M. A. Soliman, Nassar H. Abdel-All, R. A. Hussien, Taha Youssef

Department of Mathematics, Faculty of Science, Assiut University, Assiut, Egypt

Copyright © 2018 by authors and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: July 25, 2018; Accepted: August 27, 2018; Published: August 30, 2018

ABSTRACT

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.

Keywords:

Ruled Surfaces, Quasi Frame, Frenet Frame, Evolution of Space Curves

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 κ 1 , κ 2 , κ 3 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 κ 1 , κ 2 , κ 3 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 r = r ( s ) be a vector valued function of a regular space curve represented with its arc-length s , the vectors associated to the curve are

T = r ( s ) r ( s ) , N = T ( s ) T ( s ) , B = T × N , (1)

where T is the tangent vector, N is the normal vector, B is the binomial vector.

The curvature κ 1 and the torsion κ 2 are given by

κ 1 = r ( s ) r ( t ) r ( s ) 3 , κ 2 = d e t ( r , r , r ) r ( s ) × r ( s ) 2 . (2)

The Frenet frame ( T , N , B ) vary along r according to the well-known Serret-Frenet relations [17]

d d s ( T N B ) = ( 0 κ 0 κ 0 τ 0 τ 0 ) ( T N B ) . (3)

The quasi frame of a regular space curve r = r ( s ) is given by

T q = T , N q = T × k T × k , B q = T × N q , (4)

where k is the projection vector can be chosen as k = ( 1,0,0 ) or k = ( 0,1,0 ) or k = ( 0,0,1 ) .

Let θ is the angel between the normal N and quasi normal N q . Then, the relation between two frames is given by

( T q N q B q ) = ( 1 0 0 0 c o s θ ( s ) s i n θ ( s ) 0 s i n θ ( s ) c o s θ ( s ) ) ( T N B ) . (5)

Thus,

( T N B ) = ( 1 0 0 0 c o s θ ( s ) s i n θ ( s ) 0 s i n θ ( s ) c o s θ ( s ) ) ( T q N q B q ) . (6)

A short calculation using Equations (3), (5) and (6) shows that the variation of quasi frame is given by

d d s ( T q N q B q ) = ( 0 κ 1 κ 2 κ 1 0 κ 3 κ 2 κ 3 0 ) ( T q N q B q ) , (7)

where the quasi curvatures are

κ 1 = κ cos θ , κ 2 = κ sin θ , κ 3 = θ + τ . (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 κ 1 , κ 2 and κ 3 , 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]

s ( T q N q B q ) = ( 0 κ 1 κ 2 κ 1 0 κ 3 κ 2 κ 3 0 ) ( T q N q B q ) , (9)

t ( T q N q B q ) = ( 0 λ μ λ 0 ν μ ν 0 ) ( T q N q B q ) . (10)

We can write the Serret-Frenet equations and the equation of the evolution in the matrix form as follows. Defining

q = ( T q N q B q ) , A = ( 0 κ 1 κ 2 κ 1 0 κ 3 κ 2 κ 3 0 ) , B = ( 0 λ μ λ 0 ν μ ν 0 ) . (11)

The Serret-Frenet equations and the equation of the evolution can be written concisely as

q s = A q , q t = B q . (12)

Applying the compatibility condition

t q s = s q t , (13)

a short calculation using Equations (9), (10) and (11) leads to

A t B s + [ A , B ] = 0 3 × 3 (14)

where [ A , B ] = A B B A is called Lie bracket of A and B, using Equation (11) leads to

( 0 ( κ 1 t ν κ 2 + μ κ 3 λ s ) ( κ 2 t + ν κ 1 λ κ 3 + μ s ) ( κ 1 t ν κ 2 + μ κ 3 λ s ) 0 ( κ 3 t μ κ 1 + λ κ 2 ν s ) ( κ 2 t + ν κ 1 λ κ 3 + μ s ) ( κ 3 t μ κ 1 + λ κ 2 ν s ) 0 ) = 0 3 × 3 . (15)

Thus the compatibility conditions becomes

κ 1 t = ν κ 2 μ κ 3 + λ s , κ 2 t = λ κ 3 ν κ 1 μ s , κ 3 t = μ κ 1 λ κ 2 + ν s . (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 ( κ 1 , κ 2 , κ 3 ) 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]

ψ ( u , v , t ) = r ( u , t ) + v N q ( u , t ) . (17)

The tangent space to the surface ψ is,

ψ u = ( 1 v κ 1 ) T + v κ 3 B q , ψ v = N q , (18)

the subscripts s and u stand for partial derivatives.

The normal to ψ is,

N ψ = ψ s ψ t | ψ t ψ t | = v κ 3 T + ( 1 v κ 1 ) B q 1 2 v κ 1 + v 2 κ 1 2 + v 2 κ 3 2 . (19)

The second derivative is calculated and given by

ψ u u = ( v κ 2 κ 3 + v κ 1 u ) T + ( κ 1 v κ 1 2 v κ 3 2 ) + N q + ( κ 2 v κ 1 κ 2 + v κ 3 u ) B q , ψ u v = κ 1 T + κ 3 B q , ψ v v = 0. (20)

where κ i u = κ i u and κ i t = κ i t , i = 1 , 2 , 3.

If we compute components of the first fundamental form, we have

g 11 = 1 2 v κ 1 + v 2 κ 1 2 + v 2 κ 3 2 , g 12 = 0 , g 22 = 1. (21)

The fundamental metric is

g = 1 2 v κ 1 + v 2 κ 1 2 + v 2 κ 3 2 . (22)

If we compute components of the second fundamental form, we have

l 11 = κ 2 2 v κ 1 κ 2 + v 2 κ 1 2 κ 2 + v 2 κ 2 κ 3 2 + v 2 κ 3 κ 1 u + v κ 3 u v 2 κ 1 κ 3 t 1 2 v κ 1 + v 2 κ 1 2 + + v 2 κ 3 2 , l 12 = κ 3 1 2 v κ 1 + v 2 κ 1 2 + + v 2 κ 3 2 , l 22 = 0. (23)

The Gaussian curvature K and the mean curvature H are calculated and given by,

K = l 11 l 22 l 12 2 g 11 g 22 g 12 2 = κ 3 2 ( 1 + v κ 1 2 + v 2 κ 3 2 ) 2 , H = l 11 g 22 2 l 12 g 12 + l 22 g 11 2 ( g 11 g 22 g 12 2 ) = κ 2 ( 1 + v κ 1 2 + v 2 κ 3 2 ) 2 + v ( v κ 3 κ 1 u + κ 3 t ( 1 v κ 1 ) 2 ( 1 + v κ 1 2 + v 2 κ 3 2 ) 3 / 2 . (24)

4.2. Evolution of Quasi Binormal Ruled Surface

The equation of surfaces generated by quasi normal is

ψ ( u , v , t ) = r ( u , t ) + v B q ( u , t ) . (25)

The tangent space to the surface ψ is,

ψ u = ( 1 v κ 2 ) T v κ 3 N q , ψ v = B q . (26)

the subscripts s and u stand for partial derivatives.

The normal to ψ is,

N ψ = ψ s ψ t | ψ t ψ t | = v κ 3 T + ( 1 + v κ 2 ) N q 1 2 v κ 2 + v 2 κ 2 2 + + v 2 κ 3 2 . (27)

The second derivative is calculated and given by

ψ u u = ( v κ 1 κ 3 v κ 2 u ) T + ( κ 1 v κ 1 κ 2 v κ 3 u ) N q + ( κ 2 v κ 2 2 v κ 3 2 ) B q ψ u v = κ 2 T κ 3 N q ψ v v = 0 (28)

If we compute components of the first fundamental form, we have

g 11 = 1 2 v κ 2 + v 2 κ 2 2 + v 2 κ 3 2 g 12 = 0 g 22 = 1 (29)

If we compute components of the second fundamental form, we have

l 11 = κ 1 + 2 v κ 1 κ 2 v 2 κ 1 κ 2 2 v 2 κ 1 κ 3 2 + v 2 κ 3 κ 2 u + v κ 3 u v 2 κ 2 κ 3 u 1 2 v κ 2 + v 2 κ 2 2 + v 2 κ 3 2 1 2 v κ 2 + v 2 κ 2 2 + + v 2 κ 3 2 l 12 = κ 3 1 2 v κ 1 + v 2 κ 1 2 + + v 2 κ 3 2 1 2 v κ 2 + v 2 κ 2 2 + + v 2 κ 3 2 l 22 = 0 (30)

The Gaussian curvature K and the mean curvature H are calculated and given by,

K = l 11 l 22 l 12 2 g 11 g 22 g 12 2 = κ 3 2 ( 1 + v κ 2 2 + v 2 κ 3 2 ) 2 , H = l 11 g 22 2 l 12 g 12 + l 22 g 11 2 ( g 11 g 22 g 12 2 ) = κ 1 + 2 v κ 1 κ 2 v 2 κ 1 κ 2 2 v 2 κ 1 κ 3 2 + v 2 κ 3 κ 2 u + v κ 3 u v 2 κ 2 κ 3 u 2 ( 1 2 v κ 2 + v 2 κ 2 2 + v 2 κ 3 2 ) 3 / 2 . (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.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

Cite this paper

Soliman, M.A., Abdel-All, N.H., Hussien, R.A. and Youssef, T. (2018) Evolutions of the Ruled Surfaces via Their Evolution of the Directrix Using Quasi Frame along a Space Curve. Journal of Applied Mathematics and Physics, 6, 1748-1756. https://doi.org/10.4236/jamp.2018.68149

References

  1. 1. Chirikjian, G. and Burdick, J. (1994) A Modal Approach to Hyper-Redundant Manipulator Kinematics. IEEE Transactions on Robotics and Automation, 10, 343-354. https://doi.org/10.1109/70.294209

  2. 2. Brockett, R. (1991) Notes on Motion Control. Harvard University ES258 Class Notes. Harvard University, Cambridge.

  3. 3. Jayender, J. and Vosburgh, K.G. (2010) New Kinematic Metric for Quantifying Surgical Skill for Flexible Instrument Manipulation. Information Processing in Computer-Assisted Interventions, Springer, Berlin.

  4. 4. Shahab, K. and Uwe, Z. (2005) Control of Contour Formations of Autonomous Vehicles by General Curve Evolution Theory. Proceedings of the 2005 Australasian Conference on Robotics and Automation, Sydney, 5-7 December 2005, 1-8.http://hdl.handle.net/1885/76694

  5. 5. Da Rios, L.S. (1906) Sul moto d’un liquido indefinito con un filetto vorticoso. Gordon and Breach, 22, 117-135.

  6. 6. Galdi, G.P. (1971) Motion of Distorted Vortex Rings. Journal of the Physical Society of Japan, 31, 591-599. https://doi.org/10.1143/JPSJ.31.591

  7. 7. Lamb Jr., G.L. (1977) Solitons on Moving Space Curves. Journal of Mathematical Physics, 18, 1654-1661. https://doi.org/10.1063/1.523453

  8. 8. Lakshmanan, M., Ruijgrok, Th.W. and Thompson, C.J. (1976) On the Dynamics of a Continuum Spin System. Physica A, 577, 577-590. https://doi.org/10.1016/0378-4371(76)90106-0

  9. 9. Doliwa, A. and Santini, P. (1994) An Elementary Geometric Characterisation of the Integrable Motions of a Curve. Physics Letters A, 185, 373-384. https://doi.org/10.1016/0375-9601(94)90170-8

  10. 10. Abd-Ellah, H.N. (2015) Evolution of Translation Surfaces in Euclidean 3-Space. Applied Mathematics & Information Sciences, 9, 661-668.

  11. 11. Hussien, R.A. and Mohamed, S.G. (2016) Generated Surfaces via Inextensible Flows of Curves in R3. Journal of Applied Mathematics, 2016, Article ID: 6178961. https://doi.org/10.1155/2016/6178961

  12. 12. Kwon, D.Y. and Park, F.C. (1999) Evolution of Inelastic Plane Curves. Applied Mathematics Letters, 12, 115-119. https://doi.org/10.1016/S0893-9659(99)00088-9

  13. 13. Kwon, D.Y. and Park, F.C. (2005) Inextensible Flows of Curves and Developable Surfaces. Applied Mathematics Letters, 18, 1156-1162. https://doi.org/10.1016/j.aml.2005.02.004

  14. 14. Latifi, D. and Razavi, A. (2008) Inextensible Flows of Curves in Minkowskian Space. Advanced Studies in Theoretical Physics, 2, 761-768.

  15. 15. Korpinar, T., Altay, G. and Turhan, E. (2011) New Inextensible Flows of Tangent Developable Surfaces in Euclidian 3-Space E3. Revista Notas de Matemática, 7, 172-176.

  16. 16. Mukherjee, R. and Balakrishnan, R. (2008) Moving Curves of the Sine-Gordon Equation: New Links. Physics Letters A, 372, 6347-6362. https://doi.org/10.1016/j.physleta.2008.08.070

  17. 17. Eisenhart, L.P. (1909) A Treatise on the Differential Geometry of Curves and Surfaces. Dover Pub. Inc., New York.

  18. 18. Bishop, R.L. (1975) There Is More than One Way to Frame a Curve. The American Mathematical Monthly, 82, 246-251. https://doi.org/10.1080/00029890.1975.11993807

  19. 19. Ylmaz, S. and Turgut, M. (2010) A New Version of Bishop Frame and an Application to Spherical Images. Journal of Mathematical Analysis and Applications, 371, 764-776.

  20. 20. Bloomenthal, J. (1990) Calculation of Reference Frames along a Space Curve. In: Glassner, A., Graphics Gems, Academic Press, Cambridge, 567-571. https://doi.org/10.1016/B978-0-08-050753-8.50124-8

  21. 21. Baur, O. and Grafarend, E.W. (2005) Orbital Rotations of a Satellite. Case Study: GOCE. Artificial Satellites, 40, 87-107.

  22. 22. Dede, M., Ekici, C. and Tozak, H. (2015) Directional Tubular Surfaces. International Journal of Algebra, 9, 527-535. https://doi.org/10.12988/ija.2015.51274

  23. 23. Lipschutz, M.M. (1969) Theory and Problems of Differential Geometry. Schaum’s Outline Series.

  24. 24. VassiliouIan, P.J. and Lisle, G. (2000) Geometric Approaches to Differential Equations. Cambridge University Press, Cambridge.

  25. 25. Rogers, C. and Schief, W.K. (2002) Backlund and Darboux Transformations Geometry and Modern Application in Soliton Theory. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511606359

  26. 26. Hussien, R.A. and Youssef, T. (2016) Evolution of Special Ruled Surfaces via the Evolution of Their Directrices in Euclidean 3-Space E3. Applied Mathematics & Information Sciences, 10, 1949-1956. https://doi.org/10.18576/amis/100536