Research Article | Open Access
Željka Milin Šipuš, Blaženka Divjak, "Surfaces of Constant Curvature in the Pseudo-Galilean Space", International Journal of Mathematics and Mathematical Sciences, vol. 2012, Article ID 375264, 28 pages, 2012. https://doi.org/10.1155/2012/375264
Surfaces of Constant Curvature in the Pseudo-Galilean Space
We develop the local theory of surfaces immersed in the pseudo-Galilean space, a special type of Cayley-Klein spaces. We define principal, Gaussian, and mean curvatures. By this, the general setting for study of surfaces of constant curvature in the pseudo-Galilean space is provided. We describe surfaces of revolution of constant curvature. We introduce special local coordinates for surfaces of constant curvature, so-called the Tchebyshev coordinates, and show that the angle between parametric curves satisfies the Klein-Gordon partial differential equation. We determine the Tchebyshev coordinates for surfaces of revolution and construct a surface with constant curvature from a particular solution of the Klein-Gordon equation.
Study of differential geometry of curves and surfaces in Euclidean, as well as in other non-Euclidean ambient spaces, has a long history. Classical context of the Euclidean space is a source of results which could be transferred to some other geometries. One way of defining new geometries is through Cayley-Klein spaces. They are defined as projective spaces with an absolute figure, a subset of consisting of a sequence of quadrics and planes . Projectivities of the projective space which leave invariant the absolute figure define the subgroup of projectivities called the group of motions of a Cayley-Klein space. By means of the absolute figure, metric relations are also defined and they are invariant under the group of motions.
In three-dimensional projective space various types of Cayley-Klein spaces can be defined, such as elliptic and hyperbolic space, Euclidean and pseudo-Euclidean (Minkowski) space, simple and double isotropic space, Galilean and pseudo-Galilean space, and quasielliptic and quasihyperbolic space. General theory of differential geometry of curves and surfaces in Cayley-Klein spaces can be found in . Foundations of these areas in the pseudo-Galilean space were established in , as well as in the papers [3–7]. Geometry of the Galilean space was studied in [8–11]. The four-dimensional Galilean space appears in connection with classical Newtonian mechanics, where first coordinate describes time and other three coordinates are space coordinates.
The main interest of this paper is to develop the local theory of surfaces in the pseudo-Galilean space and to study surfaces of constant curvatures. As in the Minkowski space , two classes of surfaces are introduced, spacelike and timelike surfaces, and for them the Gaussian curvature is defined. The obtained results are compared to the well-known results in the Euclidean and Minkowski geometry. The results can easily be transferred to the Galilean space. Furthermore, we define the Tchebyshev coordinates on a surface and show that the asymptotic lines form the Tchebyshev net if and only if this surface is a spacelike surface of constant negative curvature or timelike surface of constant positive curvature. We study the angle between the Tchebyshev curves on a surface of constant curvature and show that the angle satisfies the Klein-Gordon partial differential equation. In this respect, the Klein-Gordon equation plays the analogous role in the pseudo-Galilean space as the sine-Gordon equation in Euclidean space. We construct a surface with constant Gaussian curvature from a known solution of a Klein-Gordon equation. Similar problem is treated in  for the Galilean space and in wider context in  by means of Cartan frames.
The absolute figure of the pseudo-Galilean space is the ordered triple , where is the ideal (absolute) plane in the real three-dimensional projective space , the line (absolute line) in , and the fixed hyperbolic involution of points of . Homogeneous coordinates in are introduced in such a way that the absolute plane is given by , the absolute line by , and the hyperbolic involution by . The last condition is equivalent to the requirement that the conic is the absolute conic. Metric relations are introduced with respect to the absolute figure. In affine coordinates defined by , distance between points , , is defined by
The group of motions of is a six-parameter group given (in affine coordinates) by It leaves invariant the absolute figure as well as the pseudo-Galilean distance (2.1) of points.
In the pseudo-Galilean space, a vector is called isotropic if it is of the form . Among these vectors, there are also vectors with supplementary norm equal to zero; they are called lightlike vectors. Isotropic vectors satisfying are said to be spacelike vectors and vectors satisfying timelike vectors. A plane of the form const. is called a pseudo-Euclidean plane (since its induced geometry is pseudo-Euclidean, i.e., Minkowski plane geometry), otherwise it is called isotropic (since its induced geometry is isotropic, i.e., Galilean plane geometry). In the pseudo-Euclidean plane distance between points , , given by their affine coordinates is defined by while in the isotropic plane
The pseudo-Galilean space can be also regarded as a Cayley-Klein space equipped with the projective metric of signature , as explained in . According to the description of the Cayley-Klein spaces in , it is denoted by and also called the Galilean space of index 1.
3. The Gaussian Curvature of Surfaces in
We will treat a -surface, , as a subset for which there exists an open subset of and -mapping satisfying . A -surface is called regular if is an immersion and simple if is an embedding. It is admissible if it does not have pseudo-Euclidean tangent planes. Let us denote , , , , . Then a surface is admissible if and only if , for some . If we assume then such a surface is admissible and can be locally expressed in the form
Let be a regular admissible surface. We define a side tangential vector by The vector is a vector in a tangent plane and we assume that it is not an isotropic lightlike vector, but a unit isotropic spacelike or timelike vector. The function , , defined by is equal to the pseudo-Galilean norm of the isotropic vector . In particular, in the parametrization (3.2) we have In the following, we will not consider surfaces with , that is, surfaces having lightlike side tangential vectors (lightlike surfaces).
In a tangent plane in a point of a regular admissible surface, there is a unique isotropic direction defined by the condition . This isotropic line in a tangent plane in a point of the surface meets the absolute line in a point . If we denote by a point on obtained from by the hyperbolic involution , then a line connecting and is perpendicular to the tangent plane. Therefore a unit surface normal field is defined by We introduce a pseudo-Galilean cross-product in the following way: where , , is a unit spacelike, and is a unit timelike vector, , . Now we can write which for (3.2) turns to . Furthermore, we can notice that the pseudo-Galilean cross product can be defined by means of the pseudo-Galilean scalar product so that is the isotropic vector defined by the relation for any vector . Byabove a vector, the projection of a vector on the pseudo-Euclidean -plane is denoted and by the pseudo-Euclidean scalar product in the same plane, .
Obviously the following proposition holds.
Proposition 3.1. The side tangential vector and the normal vector are unit isotropic vectors that satisfy
Since the normal vector field satisfies , we distinguish two basic types of admissible surfaces: spacelike surfaces having timelike surface normals () and timelike surfaces having spacelike normals (). A surface is spacelike if in all of its points, timelike otherwise. In the parametrization (3.2) a surface is spacelike if .
The first fundamental form of a surface is induced from the metric of the ambient space where We introduce the fundamental coefficients by which the first fundamental form can be written as Notice again that the indices or on variables denote different symbols, whereas indices, or, denote the partial derivatives with respect to the th and th parameter. Furthermore , , .
Now the function has the form and the surface is spacelike if , timelike otherwise. We can notice that if a surface is spacelike, both parts of the first fundamental form, and are positive definite, while for the timelike surfaces, the form is positive definite whereas is negative definite. We have assumed here, without loss of generality, . In the latter case this means that the matrix of the first fundamental form is indefinite, analogously to the timelike surfaces in the Minkowski space .
In particular, for the parametrization (3.2) we have since when .
Example 3.2. Hyperbolic cylinders () are surfaces which are everywhere spacelike (timelike). They are spheres of the space , called hyperbolic spheres. Planes are everywhere lightlike surfaces, see Figure 1.
The Gaussian curvature of a surface is defined by means of the coefficients of the second fundamental form , , which are the normal components of , , respectively. If we put then the following proposition follows.
Proposition 3.3. One has
Proof. The first coordinate of (3.19) is given by Under assumption we have and therefore (3.19) turns to From (3.23) it follows that is an isotropic vector equal to . The coefficients are obtained by scalar multiplication by .
In particular, for the parametrization (3.2) we have
Functions defined by (3.19) are called the Christoffel symbols of the second kind.
Now we can prove the following proposition.
Proposition 3.4. Derivatives of the side tangential vector and the normal vector are given by
Proof. Vectors and are isotropic vectors and therefore can be expressed as linear combinations of and . Since , it follows , . Also . Having a pseudoscalar product in the isotropic plane, we conclude , , for a -function , .
Now, from the definition of it follows that By using (3.19) it is easy to show that the component by of is equal to .
We will define the Gaussian curvature as the product of principal curvatures, the normal curvatures in the principal direction. The principal directions are tangent directions of a curve on a surface along which the normal field of the surface determines developable ruled surface, that is, . This property characterizes principal directions in Euclidean space .
Proposition 3.5. The principal directions on a regular admissible surface are given by (the isotropic direction) and
The principal curvature is given in the next proposition.
The Gaussian curvature of a regular admissible surface is defined by or for (3.2)
The third fundamental form is introduced in the analogous way as in Euclidean space. Since is a unit isotropic field along , the end points of its associated position vectors lie on a hyperbolic unit sphere. More precisely, if is a timelike (spacelike) field, that is, if a surface is spacelike (timelike), then the end points of associated position vectors of lie on a unit spacelike sphere (unit timelike sphere ), see Figure 1. The obtained mapping is called the Gauss map (the spherical map); the set of all end points of is called the spherical image of a surface. The third fundamental form is the first fundamental form of the spherical image. Therefore it is defined by where Particularly, for (3.2) we have , and By a simple computation we can notice that the following relation holds.
Proposition 3.7. One has.
Theorem 3.8. Minimal surfaces in a pseudo-Galielan space are ruled conoidal surfaces, that is, they are cones with vertices on the absolute line or ruled surfaces with the absolute line as a director curve in infinity.
Proof. We define a normal section in a point of a surface as a plane curve obtained as a section of the surface by a pseudo-Euclidean plane. It can be shown that the curvature of a normal section (parametrized by the arc-length) as a curve in a pseudo-Euclidean plane is . This is obtained from the fact that, for a curve parametrized by the arc length, tangent vector field is equal to the side tangential field , and therefore .
Furthermore, if and only if a curve is a line in the pseudo-Euclidean plane, and therefore is an isotropic line in . Since , the assertion follows.
4. Surfaces of Revolution
In the pseudo-Galilean space there are two types of rotations: pseudo-Euclidean rotations given by the normal form and isotropic rotations with the normal form where and .
The trajectory of a single point under a pseudo-Euclidean rotation is a pseudo-Euclidean circle (i.e., a rectangular hyperbola) The invariant is the radius of the circle. Pseudo-Euclidean circles intersect the absolute line in the fixed points of the hyperbolic involution (). There are three kinds of pseudo-Euclidean circles: circles of real radius, of imaginary radius, and of radius zero. Circles of real radius are timelike curves (having timelike tangent vectors) and of imaginary radius spacelike curves (having spacelike tangent vectors).
The trajectory of a point under the isotropic rotation is an isotropic circle whose normal form is The invariant is the radius of the circle. The fixed line of the isotropic rotations is the absolute line .
By rotating a nonisotropic curve , , around the -axis by pseudo-Euclidean rotations, we obtain a timelike surface and by rotating a curve , , around the -axis, we obtain a spacelike surface
The Gaussian curvature of these surfaces is given by or if we assume that the rotated curve is parametrized by the arc length , () by
Therefore, surfaces with constant curvature are described by the ordinary differential equation Their implicit equation is and the first fundamental form The following theorem holds.
Theorem 4.1. The profile curve of surfaces of revolution of constant Gaussian curvature in pseudo-Galilean space is as follows.(1)If (i.e., for spacelike surfaces and for timelike surfaces), then the general solution of the differential equation (4.8) is (2)If , then the general solution of the differential equation (4.8) is (3)If , then the general solution of the differential equation (4.8) is
Examples of these surfaces are given in Figures 2 and 3. Notice that if , then the profile curve is a line (4.12). Among these surfaces there are also hyperbolic spheres (, ), see Figures 1 and 4. Cones (, ) are also surfaces of revolution with vanishing curvature.
Next we consider the isotropic rotations. By rotating an isotropic curve about the -axis by isotropic rotation, we obtain a surface Let us assume that the rotated curve is parametrized by the arc length that is, the curve is spacelike (its tangent vectors are spacelike, ) or timelike (its tangent vectors are timelike, ). By a simple calculation it can be shown that by revolving a spacelike (timelike) curve a spacelike (timelike) surface is obtained. From (4.15) it follows , and therefore, the following expression for is obtained regardless of the type of the surface: Therefore, the profile curve of a surface with constant curvature is described by the ordinary differential equation
Theorem 4.2. The profile curve of a surface with constant curvature obtained by isotropic rotations is given by
for a spacelike surface and
and for a timelike surface, where is a constant.
If , then which implies that the profile curve is a line and obtained surface a parabolic sphere (Figure 5).
We can notice that this situation appears much more simpler than the same situation in the Euclidean space, where the expressions of the profile curves involve elliptic integrals.
Theorem 4.3. There are no minimal surfaces of revolution (4.5), (4.6). Surfaces with constant mean curvature are hyperbolic timelike, respectively, spacelike spheres obtained by rotating a line , resp., .
The mean curvature of a surface (4.14) is given by
Theorem 4.4. The profile curve of a surface of revolution of constant mean curvature obtained by isotropic rotations (Figure 6) in pseudo-Galilean space is as follows. (1)If , then , , , , that is, the surface is generated by an isotropic rotation of an isotropic line (a parabolic sphere). (2)If , then for a spacelike surface () and for a timelike surface where , . A surface is obtained by an isotropic rotation of a pseudo-Euclidean circle.
5. Klein-Gordon Equation and the Tchebyshev Coordinates in
In the context of classical surface theory in the three-dimensional Euclidean space, the sine-Gordon equation has the geometrical interpretation in terms of surfaces with negative constant Gaussian curvature. This is shown by parametrizing a surface by coordinates that satisfy where are coefficients of the first fundamental form (i.e., by Tchebyshev coordinates). Then Theorema Egregium implies
In particular, for a surface with constant negative curvature , the previous equation turns to the sine-Gordon equation for the angle between parametric curves
Similar results hold in a three-dimensional pseudo-Riemannian manifold of constant curvature (e.g., Minkowski space ). The angle between curves of the Tchebyshev net on a spacelike (timelike) surface of constant negative (positive) curvature satisfies the sine-Gordon equation or its hyperbolic analogue sinh-Gordon equation .
Our aim is to introduce the analogue of the Tchebyshev coordinates on a surface in the pseudo-Galilean space and to establish a partial differential equation satisfied by the angle between the parametric curves. In order to be able to consider the angle between parametric curves of a surface, it is assumed that parametric curves are non-isotropic curves, that is, ,.
We proceed with the following definition.
Definition 5.1. Tchebyshev net on a surface is the net of parametric curves for which the first fundamental coefficients satisfy , .
Notice that according to our notation we have , .
The first condition from the definition implies that the parametric curves of this net are parametrized by the arc length. The side tangential vector in these coordinates is given by , where . Furthermore, since it follows that Such definition of the Tchebyshev coordinates is motivated by the following theorem whose counterpart holds in Euclidean space. For the analogous result in simply isotropic space see .
Theorem 5.2. Asymptotic curves on a -surface in , , form the Tchebychev net if and only if is a spacelike surface with constant negative curvature or timelike surface with constant positive curvature.
Proof. First notice that on spacelike surfaces with negative curvature and timelike surface with positive curvature there are two families of real asymptotic curves, due to the fact that the equation for the asymptotic curves has two real solutions.
Proof follows from the analogues of the Gauss and Codazzi-Mainardi equations for surfaces in the pseudo-Galilean space . They are obtained in the following way.
Let be a parametrization of , and let denote its unit normal field. Multiplying (3.23) by (and analogous expression obtained when assuming ), it can be shown that the Christoffel symbols of the second kind defined by (3.19) are given by
Under assumption the following is obtained: where , . We can notice that the previous formula differs from its analogue in the Galilean space  in the sign of the term . This is a consequence of the formulas for in Proposition 3.4 (with the opposite sign than in the Galilean space).
The component by gives the Gauss (integrability) equation and the component by the Codazzi-Mainardi equation Now, let us assume that the Gaussian curvature of a surface is constant and that the parametric curves asymptotic. For parametrization with asymptotic lines we have . We consider spacelike surfaces with negative curvature and timelike surfaces with positive curvature, that is, surfaces that have two families of asymptotic lines. In asymptotic coordinates equation (5.9) for , and reduces to Furthermore, the assumption implies . By derivating this equation with using we get On the other hand, partial derivatives of , for an arbitrary parametrization of a regular admissible surface are equal to They are obtained by derivating the expression and using obtained from for and , .
Now from and it follows that By using expressions in we can write this system as It follows that Furthermore , and therefore the previous equation implies Substituting (5.17) into the system we obtain (since , ) Let us analyze conditions (5.17), (5.18). Condition (5.17) implies , , that is, functions are functions of one parameter only.
Condition (5.18) implies and therefore Condition (5.17) enables us to introduce new coordinates to obtain . Analogously we can obtain . For the coefficients of the new parametrization we have Therefore, since , Condition (5.20) now implies =, which means that the considered coordinates are Tchebychev.
Conversely, if the asymptotic curves form the Tchebychev net, let us prove that has constant curvature. The assumptions imply and where . Expressions in imply that in Tchebyshev coordinates Christoffel symbols , , are given by Therefore Codazzi-Mainardi equations are equal to Now by differentiating partially in the first variable, we obtain and (5.26) implies Since from we have it follows that In the same way we can conclude and therefore , what was claimed.
Let us now determine the angle between curves of the Tchebyshev net on a regular admissible surface. The angle between nonisotropic unit vectors in the pseudo-Galilean space is determined by using the following expression: The defined angle is invariant under the group of motions . By applying expression (5.34) to the tangent vectors of the Tchebyshev parametric curves, we obtain and therefore we can write The function and the function as well are differentiable of class , , if and only if a surface is not lightlike.
For the Tchebyshev coordinates we have and the Gauss (integrability) equation (5.8) for turns to Furthermore, from we have which with implies Therefore that is, . Since , where is the angle between Tchebyshev curves, then we have If the Gaussian curvature of the surface is constant , , the previous equation turns to the Klein-Gordon equation Therefore we have proved the following theorem:
Theorem 5.3. The angle between curves of the Tchebychev net and the function as well on a spacelike surface of constant negative curvature and timelike surface of constant positive curvature in satisfy the Klein-Gordon equation.
Finally, the functions satisfy the Klein-Gordon equation as well. The function is the curvature of a parametric curve of the Tchebychev net and a parametric curve . Notice that these curves are parametrized by the arc-length, since .
Theorem 5.4. The functions , on a spacelike surface of constant negative curvature and timelike surface of constant positive curvature in satisfy the Klein-Gordon equation.
Proof. We have and therefore is a spacelike (timelike) vector for a spacelike (timelike) surface. Hence we can write Now we have Therefore Therefore we have . Analogously we prove for .
Theorem 5.5. The parametric net on a spacelike surface of revolution (4.6) obtained by pseudo-Euclidean rotations forms the Tchebyshev net in the following parametrization of the surface (): and on a timelike surface of revolution (4.5) (, see Figure 7) The parametric net on a surface of revolution (4.14) obtained by isotropic rotations forms the Tchebyshev net in the following parametrization of a spacelike surface with , (see Figure 8): and of a timelike surface with
Remark 5.6. Notice that for the given parametrizations of surfaces obtained by pseudo-Euclidean rotations we have that is, Tchebyshev curves satisfy condition similar to that one in the Euclidean space (). Therefore, the parametric curves satisfy and , which describes , as the functions of form . The angle between curves of the Tchebychev net for spacelike and timelike surfaces obtained by pseudo-Euclidean rotations is equal to