Abstract

The main goal of this paper is to study the motion of two associated ruled surfaces in Euclidean 3-space . In particular, the motion of Bishop Frenet offsets of ruled surfaces is investigated. Additionally, the characteristic properties for such ruled surfaces are given. Finally, an application is presented and plotted using computer aided geometric design.

1. Introduction

Motion is to add the time element to our curves and surfaces. Motion theory has received a great deal of attention from mathematical physics, biology, dynamical systems, image processing, and computer vision. The problem is interesting since we may set two different subjects on the same theoretical basis. One is a geometrical interpretation of integrable systems. Connections between the differential geometry of curve motions and the integrable systems have been discussed. The analysis is extended to more general types of motion and other integrable systems [13]. The other is surface dynamics, the dynamics of shapes in physical and biological systems, as in crystal growth.

A variety of dynamics of shapes in physics, chemistry, and biology are modeled in terms of motion of surfaces and interfaces, and some dynamics of shapes are reduced to motion of curves. These models are specified by velocity fields or acceleration fields which are local or nonlocal functionals of the intrinsic quantities of curves. In physics, it is very interesting to describe motions of patterns such as interfaces, wave fronts, and defects [4]. Applications include kinematics of interfaces in crystal growth [5, 6], deformation of vortex filaments in inviscid fluid, and viscous fingering in a Hele-Shaw cell [7, 8]. The subject of how space curves or surfaces evolve in time is of great interest and has been investigated by many authors [922].

Classical differential geometry of the curves may be surrounded by the topics of general helices, involute-evolute curve couples, spherical curves, and Bertrand curves. Such special curves are investigated and used in some real world problems like mechanical design or robotics by the well-known Frenet-Serret equations because we think of curves as the path of a moving particle in the Euclidean space [23]. Thereafter researchers aimed to determine another moving frame for a regular curve. In 1975, Bishop pioneered “Bishop frame” by means of parallel vector fields. This special frame is also called a “parallel” or “alternative” frame of the curves [24].

A practical application of Bishop frame is that it is used in the area of biology and computer graphics. For example, it may be possible to compute information about the shape of sequences of DNA using a curve defined by Bishop frame. The Bishop frame may also provide a new way to control virtual cameras in computer animations [25]. Nowadays a good deal of research has been done on Bishop frames in Euclidean space [26, 27], in Minkowski space [28, 29], and in dual space [30]. Recently, the authors in [31] introduced a new version of the Bishop frame and called it a “type 2 Bishop frame” and this special frame is extended to study many surfaces [32, 33].

Studies related to offset profiles date back to the nineteenth century. Offsets curves play an important role in areas of CAD/CAM, robotics, cam design, and many industrial applications. In particular they are used in mathematical modeling of cutting paths milling machines. The classic work in this area is that of Bertrand [34], who studied curve pairs which have common principal normals. Such curves are referred to as Bertrand curves and can be considered as offsets of one another. The theory of the Mannheim curves has been extended in the three-dimensional Euclidean space by [35, 36].

Recently, there have been a number of studies of offsets ruled surfaces [37, 38], studied Bertrand and Mannheim offsets of ruled surfaces. Pottmann et al. [39] presented classical and circular offsets of rational ruled surfaces. More recently, Soliman et al. [40] studied geometric properties and invariants of Mannheim offsets of timelike ruled surface with timelike ruling.

The aim of this paper is to use the new version of type 2 Bishop frame which is studied in [23, 31, 41] and Frenet frame to construct offsets base curves of two ruled surfaces. Thus, the kinematics of such surfaces in terms of their intrinsic geometric formulas are established. An application of these surfaces and their motions is considered and plotted.

2. Geometry of Motion Curves and Surfaces in

2.1. Motion of Curves

Let be an arbitrary curve in . Recall that the curve is said to be of unit speed if , where is the standard scalar (inner) product of . Denote by the moving Frenet frame along the unit speed curve . Then the Frenet formulas are given by [42]Here, , , and are the tangent, the principal normal, and the binormal vector fields of the curve , respectively. and are called curvature and torsion of the curve , respectively.

In the rest of the paper, we suppose everywhere that and .

Let be a unit speed regular curve in . The type 2 Bishop formulas of are defined by [23, 31, 41]Here, , , and are the tangent, the principal normal, and the binormal vector fields of the curve , respectively.

The Bishop frame or parallel transport frame is an alternative to the Frenet frame. Thus, the matrix relation between type 2 Bishop and Frenet-Serret frames can be expressed asHere, the type 2 Bishop curvatures are defined byIt can be also deduced asThe frame is properly oriented, and and are polar coordinates for the curve . We will call the set type 2 Bishop invariants of the curve .

Using Frenet formulas (1) many geometries [13, 9, 1519] studied connections between integrable evolution and the motion of curves in a 3-dimensional Euclidean space. They considered that denote a point on a space curve at the time . The conventional geometrical model is specified by the velocity fieldswhere , , and are the unit tangent, normal, and binormal vectors along the curve and , , and are the tangential, normal, and binormal velocities, respectively. Velocity fields are functionals of the intrinsic quantities of curves, for example, curvature, , torsion , and their derivatives.

The time evolution equations for Frenet frame , , and are given bywhereUsing type 2 Bishop frame, Kiziltuğ [41] considered the flow of the curve as the following:and in view of type 2 Bishop formulas (2), Kiziltuğ [41] obtained the time evolution equations for such frame as follows:where

2.2. Motion of Surfaces

Here, and in the sequel, we assume that the indices run over the ranges . The Einstein summation convention will be used; that is, repeated indices, with one upper index and one lower index, denoted summation over its range.

Let our surface, moving in 3-dimensional Euclidean space , be given at time by the position vectorwhere are the Cartesian coordinates in some fixed in time Cartesian frame and are convective curvilinear coordinates. Then, the two tangent vectors and the unit normal vector to the surface are given byrespectively. Thus, the metric and the coefficients of the second fundamental form are given bywhere is the Euclidean inner product.

Thus, the Gaussian curvature and the mean curvature are given byrespectively, where is the associated contravariant metric tensor field of the covariant metric tensor field ; that is, .

As one moves along the surface (at a fixed time), the tangent and normal vectors change according to the Gauss-Weingarten equations,where are called the Christoffel symbols of the 2nd kind, which are given asFrom the compatibility conditions of (16), we get the Gauss-Codazzi equations,where is the Riemann tensor and is the covariant derivative,Nakayama et al. [11, 14, 21, 22] introduced the dynamics of the surface, where the velocity of the surface is expressed bywhere and are the tangential and the normal velocities, respectively.

Using (13), (16), and (20) we can obtain the time evolution equations for the local frame,Thus, using (13), (16), one can see that the time evolution equations for and are given byrespectively.

2.3. Bishop Frenet Offsets of Ruled Surfaces

In view of relation (3) and inspired by the concepts of Bertrand and Mannheim offsets of ruled surfaces [3538], we can reformulate the following definitions of Bishop Frenet offsets for ruled surfaces.

A pair of curves and are said to be Bishop Frenet curves if there exists a one-to-one correspondence between their points such that both curves have a common binormal vector at their corresponding points . Such curves will be referred to as “Bishop Frenet offsets.”

Thus, we can write the relation between the curves and aswhere is distance between corresponding points on the curves and .

If we take the derivative of the above equation and adopt the relation , we can see that . On the other hand, from the distance function between two points, we haveThus, we can say that is a nonzero positive constant.

The ruled surface is said to be Bishop Frenet offset of the ruled surface if there exists a one-to-one correspondence between their rulings such that the binormal vector of the base curve of is the binormal vector of the base curve of . In this case, is called a pair of Bishop Frenet ruled surfaces.

Thus, we can write the parametric representation of the ruled surfaces and as follows:where and are the base curves of and , respectively.

3. Motion of Frenet Ruled Surface

In this section, the fundamental quantities , and their evolution of ruled surfaces (26) and (28) are obtained, respectively. Thus the Gaussian, mean curvatures, and their evolution of such surfaces are given. For this purpose, let a ruled surface generated by the binormal vector of the Frenet frame, moving in 3-dimensional Euclidean space , be given at time by the parametrization [11]:where , , and .

3.1. Curvatures of

From (26) and using Serret-Frenet formulas (1) it is easily checked that the coefficients of the first fundamental form of are given bywhere .

Using (13), the unit normal vector field to the surface is given byThis leads to the coefficients of the second fundamental form of given byThus, using (15) one can see that the Gaussian and mean curvature functions of are given, respectively, by the following.

Lemma 1. ConsiderFrom (17) one can see that the Christoffel symbols of are given by the following.

Lemma 2. Considerand other components equal zero.

3.2. Curvatures’ Evolution of

Actually, here and in the sequel is a remarkable fact that when we calculate and of , we have to compute the velocities of . Thus, using (6), (7), and (20) with the assumption that velocities of the curve are , , and , one can see that the tangential velocities and the normal velocity of are given by the following.

Corollary 3. Considerwhere and .
Using (19), (33), and (34) one can obtain the following:where and .

Based on the above results, we have the following.

Corollary 4. The evolution equations for the metric tensor of are given byIn view of (19), (31), and (34), one can obtainUsing (23) and combining (31), ((34) and (35)) with (37), we have the following.

Corollary 5. The evolution equations for of are given byTaking (15) into account and using the above results one could have the evolution of the Gaussian and mean curvatures of as follows:respectively.

4. Motion of Bishop Frenet Offset of Ruled Surface

In this section, the fundamental quantities and of Bishop Frenet offset are obtained. The velocities of are obtained. Thus the formulas of the evolution of the 1st and 2nd fundamental quantities of are derived. For this purpose, let a Bishop Frenet offset of ruled surface generated by binormal vector of the type 2 Bishop frame, moving in 3-dimensional Euclidean space , be given at time by the parametrization [1]:where , , and .

4.1. Curvatures of

From (27) and using Bishop formulas (2) it is easily checked that the coefficients of the first fundamental form of Bishop Frenet offset are given bywhere and , are the type 2 Bishop curvatures of the curve given from (4).

Using (13), the unit normal vector field of the Bishop Frenet offset is given byThis leads to the coefficients of the second fundamental form of Bishop Frenet offset given byAccording to (15) one can get the Gaussian and mean curvatures of Bishop Frenet offset , respectively, as follows.

Lemma 6. ConsiderFrom (17), one can obtain the Christoffel symbols of Bishop Frenet offset as follows.

Lemma 7. Considerand other components equal zero.

4.2. Curvatures’ Evolution of

By a similar manner to Section 3.1, to calculate and , we have to compute the velocities of . Thus, using (9), (10), and (20) with the assumption that velocities of the curve are , , and , one can get the tangential velocities and the normal velocity of as the following.

Corollary 8. Considerwhere , , and .
Having (19) and (33) in mind and taking into account the above corollary and after straightforward computations we get the following:Considering the above obtained results, we can formulate the following.

Corollary 9. The evolution equations for the metric tensor of are given byUsing (19), (43), and (46), one can get the following:From the foregoing results, using (23), and after straightforward computations we conclude the following.

Corollary 10. The evolution equations for of are given byRegarding the above obtained results, the evolution of the Gaussian and mean curvatures of can be obtained using the same technique as in (39).

5. Application

In this section, we give an example of how the evolving offsets base curves and generators of a pair of Bishop Frenet ruled surface will look like after a period of time and the effect of the evolution on curves’ frames. This is given through some illustrated figures. For this purpose we consider a helix curve as a base curve of the ruled surface :Thus, its binormal vector is given byUsing relation (24), the parametrization of the base curve of the ruled surface takes the following form:Thus and using the parametrizations of surfaces (26), (27), (28), and (40) we can show Figures 1, 2, and 3 as follows.

Figure 1 shows the original pair of Bishop Frenet ruled surface at and it is noticed that the vector is in direction of the vector .

Figure 2 shows the evolution of the pair of Bishop Frenet ruled surface. In this case, the function affects the pair and these surfaces are plotted for different values of the time . The evolution of the pair expands and collapses under these values of the time and it is noticed that the motion of the pair conserves the motion of the moving frames associated with the offsets base curves , respectively; that is, the vector is in direction of the vector .

Figure 3 shows the evolution of the pair of Bishop Frenet ruled surface. In this case, the function affects the pair and these surfaces are plotted for different values of the time . Also, the same result as in Figure 2 is obtained; that is, the vector is in direction of the vector .

6. Conclusion

We conclude that, by changing the applied time-varying functions on the pair , it is found that the moving frames associated with the offsets base curves describe a parallel transport frame motion. This study plays an important role in the construction and motion of new offsets of ruled surfaces by giving a new frame. We can apply this idea on many different surfaces using different methods. The field is developing rapidly, and there are a lot of problems to be solved and more work is needed to establish different results of new surfaces in different spaces. We hope that this idea will be helpful to mathematicians who are specialized in this area.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author wishes to express profound thanks and appreciation to Professor Dr. Nassar H. Abdel All, Emeritus Professor, Department of Mathematics, Assiut University, Egypt, for his strong support, continuous encouragement, revising this paper carefully, and his helpful suggestions. The author would like also to thank Mr. Ali A. Said, Assistant Lecturer, Faculty of Science, Assiut University, for helping to draw curves’ frames.