Next Article in Journal
Anomaly Detection in the Molecular Structure of Gallium Arsenide Using Convolutional Neural Networks
Next Article in Special Issue
Singular Surfaces of Osculating Circles in Three-Dimensional Euclidean Space
Previous Article in Journal
Efficient Maximum Likelihood Algorithm for Estimating Carrier Frequency Offset of Generalized Frequency Division Multiplexing Systems
Previous Article in Special Issue
Developable Surfaces Foliated by General Ellipses in Euclidean Space R3
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Hypersurfaces of Revolution Family in the Five-Dimensional Pseudo-Euclidean Space E25

1
School of Mathematics, Hangzhou Normal University, Hangzhou 311121, China
2
Key Laboratory of Cryptography of Zhejiang Province, Hangzhou Normal University, Hangzhou 311121, China
3
Department of Mathematics, Faculty of Sciences, Bartın University, Kutlubey Campus, 74100 Bartın, Turkey
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2023, 11(15), 3427; https://doi.org/10.3390/math11153427
Submission received: 21 July 2023 / Revised: 2 August 2023 / Accepted: 3 August 2023 / Published: 7 August 2023
(This article belongs to the Special Issue Advances in Differential Geometry and Its Applications)

Abstract

:
We present a family of hypersurfaces of revolution distinguished by four parameters in the five-dimensional pseudo-Euclidean space E 2 5 . The matrices corresponding to the fundamental form, Gauss map, and shape operator of this family are computed. By utilizing the Cayley–Hamilton theorem, we determine the curvatures of the specific family. Furthermore, we establish the criteria for maximality within this framework. Additionally, we reveal the relationship between the Laplace–Beltrami operator of the family and a 5 × 5 matrix.

1. Introduction

Chen [1,2,3,4] initially introduced the concept of submanifolds with finite order immersion in m-space E m or pseudo-Euclidean m-space E ν m using a finite number of eigenfunctions derived from their Laplacian. Since then, extensive research has been conducted in this field.
Takahashi worked that a Euclidean submanifold is classified as 1-type if and only if it is either minimal or minimal within a hypersphere of E m . Additionally, Garay [5] extended the analysis of Takahashi’s theorem in E m . Hypersurfaces with constant curvature were the primary focus of Cheng and Yau [6], while Chen and Piccinni [7] specialized in submanifolds with a Gauss map of finite type in E m . Dursun [8] introduced hypersurfaces with a pointwise 1-type Gauss map in E n + 1 , while Aminov [9] delved into the geometry of submanifolds. In the realm of space forms, Chen et al. [10] dedicated a significant amount of time to the thorough investigation of 1-type submanifolds and the 1-type Gauss map.
Within the framework of E 3 , Takahashi [11] extensively explored the realm of minimal surfaces, revealing that spheres and minimal surfaces with Δ r = λ r , λ R constitute the exclusive surface types. Ferrandez et al. [12] made a noteworthy discovery, categorizing surfaces Δ H = A 3 × 3 H as either minimal sections of a sphere or right circular cylinders. The properties of the minimal helicoid with a pointwise 1-type Gauss map of the first kind were thoroughly examined by Choi and Kim [13]. Garay [14] developed a classification scheme for revolution-based surfaces of finite type. Dillen et al. [15] conducted an in-depth investigation into unique surfaces characterized by Δ r = A 3 × 3 r + B 3 × 1 , encompassing minimal surfaces, spheres, and circular cylinders. Stamatakis and Zoubi [16] established fundamental properties of surfaces of revolution determined by Δ I I I x = A 3 × 3 x . Kim et al. [17] directed their research towards the Cheng–Yau operator and the Gauss map of surfaces of revolution.
In the context of E 4 , Moore [18,19] undertook two comprehensive investigations into the properties of general rotational surfaces. Hasanis and Vlachos [20] directed their research towards hypersurfaces featuring a harmonic mean curvature vector field. Cheng and Wan [21] dedicated their efforts to studying complete hypersurfaces exhibiting constant mean curvature. Arslan et al. [22] delved into the exploration of the Vranceanu surface, with a specific focus on analyzing its pointwise 1-type Gauss map. Arslan et al. [23] conducted studies on generalized rotational surfaces and introduced tensor product surfaces characterized by a pointwise 1-type Gauss map [24]. Güler et al. [25] conducted extensive research on the properties of helicoidal hypersurfaces, while another work by Güler et al. [26] focused on the investigation of the Gauss map and the third Laplace–Beltrami operator of rotational hypersurfaces. Güler [27] further examined rotational hypersurfaces characterized by Δ I R = A 4 × 4 R . Additionally, Güler [28] derived the fundamental form fourth and curvature formulas for hyperspheres.
In Minkowski 4-space E 1 4 , Ganchev and Milousheva [29] investigated surfaces analogous to those studied in [18,19]. Arvanitoyeorgos et al. [30] conducted research on the mean curvature vector field, establishing Δ H = α H with a constant value α . Arslan and Milousheva [31] focused their attention on meridian surfaces of elliptic or hyperbolic type, analyzing their pointwise 1-type Gauss map. Arslan et al. [32] examined rotational λ -hypersurfaces in Euclidean spaces. Güler et al. [33,34,35,36] extensively explored the concept of bi-rotational hypersurfaces. Li et al. [37,38,39,40,41,42,43,44,45,46,47] conducted a series of theoretical research and development on singularity theory, submanifold theory, etc. Their work has contributed to the advancement of related research areas. We can find more motivations of our work from several papers (see [48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63]).
The main goal of this research is to present a new family of hypersurfaces of revolution in the five-dimensional pseudo-Euclidean space E 2 5 . This family, referred to as x , is characterized by four distinct parameters. The central focus of the research revolves around the computation of various matrices associated with x , which include the fundamental form, Gauss map, and shape operator. The Cayley–Hamilton theorem is employed as a tool to determine the curvatures of x . Furthermore, the paper establishes equations that describe the relationship between the mean curvature and Gauss–Kronecker curvature of x . Additionally, an investigation is carried out to explore the connection between the Laplace–Beltrami operator of x and a 5 × 5 matrix, revealing intriguing interconnections.
In Section 2, we elucidate the fundamental principles of five-dimensional pseudo-Euclidean geometry, providing a clear explanation of its key concepts.
Section 3 is dedicated to presenting the curvature formulas specifically tailored for hypersurfaces in E 2 5 , enabling a deeper understanding of their geometric properties.
In Section 4, we delve into a detailed exposition of the family of hypersurfaces of revolution, meticulously examining their unique properties and characteristics.
In Section 5, we explore the Laplace–Beltrami operator of a smooth function in E 2 5 , utilizing the aforementioned family to efficiently compute its corresponding values.
Lastly, we serve a conclusion in Section 6.

2. Preliminaries

In this paper, we use the following notations, formulas, equations, etc.
For clarity, E v m represents a pseudo-Euclidean m-space with coordinates denoted as ( x 1 , x 2 , , x m ) with index v. The canonical pseudo-Euclidean metric tensor on E v m is represented by g ˜ and defined as g ˜ = , = i = 1 v d x i 2 + i = v + 1 m d x i 2 . Let M ˜ be an m-dimensional semi-Riemannian submanifold, and is embedded in E v m , and the Levi–Civita connections [64] associated with M are denoted as ˜ , , respectively. We utilize X , Y , Z , and W to denote vector fields tangent to M, and ξ , ς to represent vector fields normal to M.
The Gauss formula and the Weingarten formula are determined by the equations
˜ X Y = X Y + h ( X , Y ) , ˜ X ξ = A ξ ( X ) + D X ξ ,
where h represents the second fundamental form of M, A denotes the shape operator, and D corresponds to the normal connection of M. The shape operator A ξ is a symmetric endomorphism of the tangent space T p M at each point p M for each ξ T p M . The shape operator and the second fundamental form are related by the equation
h ( X , Y ) , ξ = A ξ X , Y .
The Gauss equation is determined by
R ( X , Y , ) Z , W = h ( Y , Z ) , h ( X , W ) h ( X , Z ) , h ( Y , W ) ,
where R describes the curvature tensor associated with the Levi–Civita connection ∇, and h denotes the second fundamental form of M. The Codazzi equation is given by
( ¯ X h ) ( Y , Z ) = ( ¯ Y h ) ( X , Z ) ,
where ¯ h denotes the covariant derivative of h with respect to the Levi–Civita connection ∇, and X , Y , Z represent tangent vector fields on M. The curvature tensor R D associated with the normal connection D is not explicitly mentioned in the given equations. The covariant derivative of h is defined by
( ¯ X h ) ( Y , Z ) = D X h ( Y , Z ) h ( X Y , Z ) h ( Y , X Z ) .
where D represents the normal connection of M.
Let M be an oriented hypersurface in E n + 1 with its shape operator S , position vector x. Consider a local orthonormal frame field { e 1 , e 2 , , e n } consisting of principal directions of M coinciding with the principal curvature k i for i = 1 , 2 , , n . Let the dual basis of this frame field be { f 1 , f 2 , , f n } . Then, the first structural equation of Cartan is determined by
d θ i = i = 1 n θ j ω i j , i , j = 1 , 2 , , n ,
where ω i j indicates the connection forms coinciding with the chosen frame field. By the Codazzi equation, we derive the equations
e i ( k j ) = ω i j ( e j ) ( k i k j ) , ω i j ( e l ) ( k i k j ) = ω i l ( e j ) ( k i k l )
for different i , j , l = 1 , 2 , , n .
We let s j = σ j ( k 1 , k 2 , , k n ) , where σ j denotes the j-th elementary symmetric function defined by
σ j ( a 1 , a 2 , , a n ) = 1 i 1 < i 2 < < i j n a i 1 a i 2 a i j ,
and consider the notation
r i j = σ j ( k 1 , k 2 , , k i 1 , k i + 1 , k i + 2 , , k n ) .
According to the given definition, we have r i 0 = 1 and s n + 1 = s n + 2 = = 0 . The function s k is referred to as the k-th mean curvature of the oriented hypersurface M. The mean curvature H = 1 n s 1 is also defined, and the Gauss–Kronecker curvature of M is K = s n . If s j 0 , the hypersurface M is known as j-minimal.
In Euclidean ( n + 1 ) -space, to obtain the i-th curvature formulas K i (see [65,66] for details), where i = 0 , , n , we have the following characteristic polynomial equation P S ( λ ) = 0 of S :
k = 0 n 1 k s k λ n k = det ( S λ I n ) = 0 .
Here, I n indicates the identity matrix. Hence, we reveal the curvature formulas as n i K i = s i .
Let x = x ( u , v , α , β ) be an immersion from M 4 E 4 to E 2 5 .
Definition 1. 
An inner product of a 1 = ( a 1 1 , a 2 1 , , a 5 1 ) , ,   a 2 = ( a 1 2 , a 2 2 , , a 5 2 ) of E 2 5 is determined by
a 1 , a 2 = a 1 1 a 1 2 a 2 1 a 2 2 + a 3 1 a 3 2 a 4 1 a 4 2 + a 5 1 a 5 2 .
Definition 2. 
A quadruple vector product of a 1 = ( a 1 1 , a 2 1 , , a 5 1 ) , ,   a 4 = ( a 1 4 , a 2 4 , , a 5 4 ) of E 2 5 is defined by
a 1 × a 2 × a 3 × a 4 = det e 1 e 2 e 3 e 4 e 5 a 1 1 a 2 1 a 3 1 a 4 1 a 5 1 a 1 2 a 2 2 a 3 2 a 4 2 a 5 2 a 1 3 a 2 3 a 3 3 a 4 3 a 5 3 a 1 4 a 2 4 a 3 4 a 4 4 a 5 4 .
Definition 3. 
The matrix g i j 1 · h i j determines the shape operator matrix S of hypersurface x in pseudo-Euclidean 5-space E 2 5 , where, g i j 4 × 4 and h i j 4 × 4 describe the first and the second fundamental form matrices, respectively, and g i j = x i , x j ,   h i j = x i j , G ,   i , j = 1 , 2 , , 4 ,     x u = x u when i = 1 ,     x u v = 2 x u v when i = 1 and j = 2 , etc., e k denotes the natural base elements of E 5 ,and
G = x u × x v × x α × x β x u × x v × x α × x β
determines the Gauss map of the hypersurface x .

3. Curvatures in E 2 5

In this section, we reveal the curvature formulas of any hypersurface x = x ( u , v , α , β )  in E 2 5 .
Theorem 1. 
A hypersurface x in E 2 5 has the following curvature formulas, K 0 = 1 by definition,
4 K 1 = c 3 c 4 , 6 K 2 = c 2 c 4 , 4 K 3 = c 1 c 4 , K 4 = c 0 c 4 ,
where c 4 λ 4 + c 3 λ 3 + c 2 λ 2 + c 1 λ + c 0 = 0 denotes the characteristic polynomial equation P S ( λ ) = 0 of the shape operator matrix S , c 4 = det g i j , c 0 = det h i j , and g i j , h i j are the first and the second fundamental form matrices, respectively.
Proof. 
The solution matrix g i j 1 · h i j gives the shape operator matrix S of hypersurface x in pseudo-Euclidean 5-space E 2 5 . We reveal the characteristic polynomial equation det ( S λ I 4 ) = 0 of S . Thus, we obtain the curvatures
4 0 K 0 = 1 , 4 1 K 1 = k 1 + k 2 + k 3 + k 4 = c 3 c 4 , 4 2 K 2 = k 1 k 2 + k 1 k 3 + k 1 k 4 + k 2 k 3 + k 2 k 4 + k 3 k 4 = c 2 c 4 , 4 3 K 3 = k 1 k 2 k 3 + k 1 k 2 k 4 + k 1 k 3 k 4 + k 2 k 3 k 4 = c 1 c 4 , 4 4 K 4 = k 1 k 2 k 3 k 4 = c 0 c 4 ,
Definition 4. 
A space-like hypersurface x is called j-maximal if K j = 0 , where j = 1 , , 4 .
Theorem 2. 
A hypersurface x = x ( u , v , α , β ) in E 2 5 has the following relation
K 0 V 4 K 1 IV + 6 K 2 III 4 K 3 II + K 4 I = O 4 ,
where I , II , , V determines the fundamental form matrices, and O 4 represents the zero matrix having order 4 of the hypersurface.
Proof. 
Regarding n = 4 in 1, it runs. □

4. Hypersurfaces of Revolution Family in E 2 5

In this section, we define the hypersurfaces of revolution family (HRF), then find its differential geometric properties in pseudo-Euclidean 5-space E 2 5 . The HR in Riemannian space forms were given in [67].
The HRF M of Euclidean n + 1 -space constructed by a surface γ around rotating axis does not meet γ is acquired by taking the orbit of under the orthogonal transformations of n + 1 -space.
To construct the HRF, we start with the generating surface given by γ = γ u , v = f , 0 , g , 0 , h and apply the rotation matrix L = diag L α , L β , 1 with the elements given by L t = cosh t sinh t sinh t cosh t ,   t = α , β , respectively, and L · = , det L = 1 . Then, we state the HRF given by x = L · γ T when γ rotates about axis = ( 0 , 0 , 0 , 0 , 1 ) . Finally, we present the following.
Definition 5. 
The HRF is an immersion x : M 4   E 4   E 2 5 with rotating axis ( 0 , 0 , 0 , 0 , 1 ) , defined by
x ( u , v , α , β ) = f cosh α , f sinh α , g cosh β , g sinh β , h ,
where f , g , h denote the differentiable functions that depend on u , v R , 0 α , β < 2 π .
Taking the first derivatives of HRF given by Equation (4) with respect to u , v , α , β , respectively, we obtain the first fundamental form matrix
g i j = f u 2 + g u 2 + h u 2 f u f v + g u g v + h u h v 0 0 f u f v + g u g v + h u h v f v 2 + g v 2 + h v 2 0 0 0 0 f 2 0 0 0 0 g 2 ,
and f u = f u ,   f v = f v ,   f u 2 = 2 f u 2 , etc. Hence, g = det g i j = f 2 g 2 W , where W = G 1 2 + G 2 2 + G 3 2 , and
G 1 = h u g v h v g u , G 2 = f u h v f v h u , G 3 = g u f v f u g v .
Since g > 0 , the HRF determined by Equation (4) is a space-like hypersurface.
Using (2), we obtain the following Gauss map of the HRF determined by Equation (4):
G = 1 W 1 / 2 G 1 cosh α , G 1 sinh α , G 2 cosh β , G 2 sinh β , G 3 .
By taking the second derivatives with respect to u , v , α , β , of HRF described by Equation (4), and by using the Gauss map given by Equation (6), we find the second fundamental form matrix
h i j = 1 W G 1 f u u + G 2 g u u + G 3 h u u G 1 f u v + G 2 g u v + G 3 h u v 0 0 G 1 f u v + G 2 g u v + G 3 h u v G 1 f v v + G 2 g v v + G 3 h v v 0 0 0 0 f G 1 0 0 0 0 g G 2 ,
and f u u = 2 f u 2 ,   f u v = 2 f u v , ect. By using (5) and (7), we compute the following shape operator matrix of (4):
S = diag s k l 2 × 2 , s 33 , s 44 ,
with the following components
s 11 = f v 2 + g v 2 + h v 2 G 1 f u u + G 2 g u u + G 3 h u u f u f v + g u g v + h u h v G 1 f u v + G 2 g u v + G 3 h u v W 3 / 2 , s 12 = f v 2 + g v 2 + h v 2 G 1 f u v + G 2 g u v + G 3 h u v f u f v + g u g v + h u h v G 1 f v v + G 2 g v v + G 3 h v v W 3 / 2 , s 21 = f u 2 + g u 2 + h u 2 G 1 f u v + G 2 g u v + G 3 h u v f u f v + g u g v + h u h v G 1 f u u + G 2 g u u + G 3 h u u W 3 / 2 , s 22 = f u 2 + g u 2 + h u 2 G 1 f v v + G 2 g v v + G 3 h v v f u f v + g u g v + h u h v G 1 f u v + G 2 g u v + G 3 h u v W 3 / 2 , s 33 = G 1 f W 1 / 2 , s 44 = G 2 g W 1 / 2 .
Finally, using (3), with (5) and (7), respectively, we find the curvatures of the HRF defined by Equation (4) as follows.
Theorem 3. 
Let x be the HRF determined by Equation (4) in E 2 5 . x contains the following curvatures
K 0 = 1 , 4 K 1 = g 11 g 33 g 44 h 22 + g 22 g 44 h 33 + g 22 g 33 h 44 + g 33 g 44 g 22 h 11 2 g 12 h 12 g 12 2 g 44 h 33 + g 33 h 44 g 33 g 44 g 11 g 22 g 12 2 , 6 K 2 = g 11 g 22 h 33 h 44 + g 33 h 22 h 44 + g 44 h 22 h 33 2 g 12 h 12 g 44 h 33 + g 33 h 44 + h 11 g 33 g 44 h 22 + g 22 g 44 h 33 + g 22 g 33 h 44 h 12 2 g 33 g 44 g 12 2 h 33 h 44 g 33 g 44 g 11 g 22 g 12 2 , 4 K 3 = g 11 h 22 + 2 h 12 g 12 g 22 h 11 h 33 g 33 h 11 h 22 h 44 g 44 h 11 h 22 h 33 + h 12 2 g 44 h 33 + g 33 h 44 g 33 g 44 g 11 g 22 g 12 2 , K 4 = h 11 h 22 h 12 2 h 33 h 44 g 11 g 22 g 12 2 g 33 g 44 .
Here, K 1 represents the mean curvature, and K 4 denotes the Gauss–Kronecker curvature.
Proof. 
By using the Cayley–Hamilton theorem, we reveal the following characteristic polynomial equation P S ( λ ) = 0 of S :
K 0 λ 4 4 K 1 λ 3 + 6 K 2 λ 2 4 K 3 λ + K 4 = 0 .
The curvatures K i of x are obtained by the above equations, where g 33 0 ,   g 44 0 ,   g 11 g 22 g 12 2 0 .
Theorem 4. 
Let x be the HRF described by Equation (4) in E 2 5 . x has the following principal curvatures
k 1 = 1 2 s 11 + s 22 s 11 s 22 2 + 4 s 12 s 21 , k 2 = 1 2 s 11 + s 22 + s 11 s 22 2 + 4 s 12 s 21 , k 3 = s 33 = G 1 f W 1 / 2 , k 4 = s 44 = G 2 g W 1 / 2 .
Proof. 
By using equation det ( S k I 4 ) = 0 , the theorem is clear. □
Corollary 1. 
Let x be the HRF defined by Equation (4) in E 2 5 . x is 1-maximal if and only if the following partial differential equation appears
0 = g 11 g 33 g 44 h 22 + g 22 g 44 h 33 + g 22 g 33 h 44 + g 33 g 44 g 22 h 11 2 g 12 h 12 g 12 2 g 44 h 33 + g 33 h 44 .
Corollary 2. 
Let x be the HRF determined by Equation (4) in E 2 5 . x is 2-maximal if and only if the following partial differential equation occurs
0 = g 11 g 22 h 33 h 44 + g 33 h 22 h 44 + g 44 h 22 h 33 2 g 12 h 12 g 44 h 33 + g 33 h 44 + h 11 g 33 g 44 h 22 + g 22 g 44 h 33 + g 22 g 33 h 44 h 12 2 g 33 g 44 g 12 2 h 33 h 44 .
Corollary 3. 
Let x be the HRF given by Equation (4) in E 2 5 . x is 3-maximal if and only if the following partial differential equation holds
0 = g 11 h 22 + 2 h 12 g 12 g 22 h 11 h 33 g 33 h 11 h 22 h 44 g 44 h 11 h 22 h 33 + h 12 2 g 44 h 33 + g 33 h 44 .
Corollary 4. 
Let x be the HRF described by Equation (4) in E 2 5 . x is 4-maximal if and only if the following partial differential equation determines
0 = h 11 h 22 h 12 2 h 33 h 44 .
Hence, we find the following.
Example 1. 
Let x be the HRF determined by Equation (4) in E 2 5 . When the profile hypersurface γ of x is parameterized by the unit sphere: f = cos u cos v , g = sin u cos v , h = sin v , then S = I 4 and the HRF has the following curvatures K i = 1 , where i = 0 , 1 , , 4 .
Example 2. 
Assume x be the HRF denoted by Equation (4) in E 2 5 . While the profile hypersurface γ of x is parameterized by the rational unit sphere: f = 1 u 2 1 + u 2 1 v 2 1 + v 2 , g = 2 u 1 + u 2 1 v 2 1 + v 2 , h = 2 v 1 + v 2 , the HRF has the same results determined by Example 1.
Example 3. 
Let x be the HRF defined by Equation (4) in E 2 5 . When the generating hypersurface γ of x is parameterized by the Riemann sphere: f = 2 u u 2 + v 2 + 1 , g = 2 v u 2 + v 2 + 1 , h = u 2 + v 2 1 u 2 + v 2 + 1 , the HRF has S = I 4 and has the following curvatures K i = 1 i , where i = 0 , 1 , , 4 .
Example 4. 
Considering the pseudo-hypersphere S 2 4 ( ρ ) : = q E 2 5 q , q = ρ 2 , radius ρ > 0 , parameterized by
q ( u , v , α , β ) = ρ cos u cos v cosh α ρ cos u cos v sinh α ρ sin u cos v cosh β ρ sin u cos v sinh β ρ sin v ,
we compute S = 1 ρ I 4 . Hence, we find the following curvatures K i = 1 ρ i , where i = 0 , 1 , , 4 . Then, the hypersurface q described by Equation (8) is an umbilical hypersphere (i.e., K 1 4 = K 4 ) of E 2 5 .

5. Hypersurfaces of Revolution Family with Δ x = A x in E 2 5

In this section, our focus is on the Laplace–Beltrami operator of a smooth function in E 2 5 . We will proceed to compute it utilizing the HRF, which is defined by Equation (4).
By using the inverse matrix of the first fundamental form matrix g i j 4 × 4 , we have the following.
Definition 6. 
The Laplace–Beltrami operator of a smooth function φ = φ ( x 1 , x 2 , x 3 , x 4 ) D   ( D R 4 ) of class C 4 depends on the first fundamental form g i j of a hypersurface x , is the operator defined by
Δ φ = 1 g 1 / 2 i , j = 1 4 x i g 1 / 2 g i j φ x j ,
where g i j = g k l 1 and g = det g i j .
Therefore, the Laplace–Beltrami operator of the HRF given by Equation (4) is determined by
Δ x = 1 g 1 / 2 u g 1 / 2 g 11 x u + u g 1 / 2 g 12 x v + v g 1 / 2 g 21 x u + v g 1 / 2 g 22 x v + α g 1 / 2 g 33 x α + β g 1 / 2 g 44 x β .
By using the derivatives of the functions in (10), with respect to u , v , α , β , respectively, we obtain the following.
Theorem 5. 
The Laplace–Beltrami operator of the HRF x denoted by Equation (4) is given by Δ x = 4 K 1 G , where K 1 describes the mean curvature and G represents the Gauss map of x .
Proof. 
By direct computing (10), we obtain Δ x . □
Theorem 6. 
Let x be the HRF defined by Equation (4). Δ x = M x , where M represents the squared matrix of order 5 if and only if x has K 1 = 0 , i.e., it is a 1-maximal hypersurface.
Proof. 
We find 4 K 1 G = M x , and then we have
m 11 f cosh α + m 12 f sinh α + m 13 g cosh β + a 14 g sinh β + a 15 h = Φ f g h u g v h v g u cosh α , m 21 f cosh α + m 22 f sinh α + m 23 g cosh β + a 24 g sinh β + a 25 h = Φ f g h u g v h v g u sinh α , m 31 f cosh α + m 32 f sinh α + m 33 g cosh β + a 34 g sinh β + a 35 h = Φ f g f u h v f v h u cosh β , m 41 f cosh α + m 42 f sinh α + m 43 g cosh β + a 44 g sinh β + a 45 h = Φ f g f u h v f v h u sinh β , m 51 f cosh α + m 52 f sinh α + m 53 g cosh β + a 54 g sinh β + a 55 h = Φ f g g u f v f u g v .
Here, M = m i j 5 × 5 , and Φ = 4 K 1 g 1 / 2 , where g = f 2 g 2 W . Derivativing above ODEs twice with respect to α , we obtain the following m i 5 = 0 ,   Φ = 0 , where i = 1 , 2 , , 5 . Then, we obtain m i 1 cosh α + m i 2 sinh α f = 0 , where i = 1 , 2 , , 5 . The functions cosh and sinh are linear independent on α , then all the components of the matrix M are 0. Since Φ = 4 K 1 g 1 / 2 , then K 1 = 0 . This means that x is a 1-maximal HRF. □
Hence, we obtain the following.
Example 5. 
Let x be the HRF given by Equation (4). When the generating hypersurface γ of x is parameterized by the unit sphere determined by Example 1, then, HRF x supplies Δ x = A x , where A = 5 I 4 , and I 4 denotes the identity matrix.
Example 6. 
Let x be the HRF denoted by Equation (4). While the generating hypersurface γ of x is parameterized by the Riemann sphere defined by Example 3, HRF x has the same results denoted by Example 5.

6. Conclusions

In conclusion, this research has introduced a novel and distinct family of hypersurfaces characterized by four parameters in the five-dimensional pseudo-Euclidean space E 2 5 .
By performing comprehensive computations, we have determined the fundamental form, Gauss map, and shape operator matrices associated with this family, enabling a comprehensive understanding of its geometric attributes. The application of the Cayley–Hamilton theorem has allowed us to ascertain the curvatures of these hypersurfaces, providing crucial information about their intrinsic geometry. Furthermore, we have identified the conditions for maximality within this specific context, shedding light on the behavior and potential optimality of these hypersurfaces. Notably, we have uncovered a captivating connection between the Laplace–Beltrami operator of this family and a 5 × 5 matrix, enhancing our comprehension of their intricate relationship.
The findings presented in this study contribute significantly to the field of five-dimensional pseudo-Euclidean geometry, expanding the existing knowledge and paving the way for further exploration and advancements in this area of research.

Author Contributions

E.G. gave the idea of the hypersurfaces of revolution family in 5-dimensional pseudo-Euclidean space. Conceptualization, Y.L. and E.G.; methodology, Y.L. and E.G.; software, Y.L. and E.G.; validation, Y.L. and E.G.; investigation, Y.L. and E.G.; resources, Y.L. and E.G.; data curation, Y.L. and E.G.; writing—original draft preparation, Y.L. and E.G.; writing—review and editing, Y.L. and E.G.; visualization, Y.L. and E.G.; supervision, Y.L. and E.G.; funding acquisition, Y.L. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No data were created.

Acknowledgments

We gratefully acknowledge the constructive comments from the editor and the anonymous referees.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Chen, B.Y. On submanifolds of finite type. Soochow J. Math. 1983, 9, 65–81. [Google Scholar]
  2. Chen, B.Y. Total Mean Curvature and Submanifolds of Finite Type; World Scientific: Singapore, 1984. [Google Scholar]
  3. Chen, B.Y. Finite Type Submanifolds and Generalizations; University of Rome: Rome, Italy, 1985. [Google Scholar]
  4. Chen, B.Y. Finite type submanifolds in pseudo-Euclidean spaces and applications. Kodai Math. J. 1985, 8, 358–374. [Google Scholar] [CrossRef]
  5. Garay, O.J. An extension of Takahashi’s theorem. Geom. Dedicata 1990, 34, 105–112. [Google Scholar] [CrossRef]
  6. Cheng, S.Y.; Yau, S.T. Hypersurfaces with constant scalar curvature. Math. Ann. 1977, 225, 195–204. [Google Scholar] [CrossRef]
  7. Chen, B.Y.; Piccinni, P. Submanifolds with finite type Gauss map. Bull. Austral. Math. Soc. 1987, 35, 161–186. [Google Scholar] [CrossRef] [Green Version]
  8. Dursun, U. Hypersurfaces with pointwise 1-type Gauss map. Taiwan J. Math. 2007, 11, 1407–1416. [Google Scholar] [CrossRef]
  9. Aminov, Y. The Geometry of Submanifolds; Gordon and Breach Sci. Pub.: Amsterdam, The Netherlands, 2001. [Google Scholar]
  10. Chen, B.Y.; Güler, E.; Yaylı, Y.; Hacısalihoğlu, H.H. Differential geometry of 1-type submanifolds and submanifolds with 1-type Gauss map. Int. Electron. J. Geom. 2023, 16, 4–49. [Google Scholar] [CrossRef]
  11. Takahashi, T. Minimal immersions of Riemannian manifolds. J. Math. Soc. Jpn. 1966, 18, 380–385. [Google Scholar] [CrossRef]
  12. Ferrandez, A.; Garay, O.J.; Lucas, P. On a certain class of conformally at Euclidean hypersurfaces. In Global Analysis and Global Differential Geometry; Springer: Berlin, Germany, 1990; pp. 48–54. [Google Scholar]
  13. Choi, M.; Kim, Y.H. Characterization of the helicoid as ruled surfaces with pointwise 1-type Gauss map. Bull. Korean Math. Soc. 2001, 38, 753–761. [Google Scholar]
  14. Garay, O.J. On a certain class of finite type surfaces of revolution. Kodai Math. J. 1988, 11, 25–31. [Google Scholar] [CrossRef]
  15. Dillen, F.; Pas, J.; Verstraelen, L. On surfaces of finite type in Euclidean 3-space. Kodai Math. J. 1990, 13, 10–21. [Google Scholar] [CrossRef]
  16. Stamatakis, S.; Zoubi, H. Surfaces of revolution satisfying ΔIIIx = Ax. J. Geom. Graph. 2010, 14, 181–186. [Google Scholar]
  17. Kim, D.S.; Kim, J.R.; Kim, Y.H. Cheng–Yau operator and Gauss map of surfaces of revolution. Bull. Malays. Math. Sci. Soc. 2016, 39, 1319–1327. [Google Scholar] [CrossRef] [Green Version]
  18. Moore, C. Surfaces of rotation in a space of four dimensions. Ann. Math. 1919, 21, 81–93. [Google Scholar] [CrossRef]
  19. Moore, C. Rotation surfaces of constant curvature in space of four dimensions. Bull. Am. Math. Soc. 1920, 26, 454–460. [Google Scholar] [CrossRef] [Green Version]
  20. Hasanis, T.; Vlachos, T. Hypersurfaces in E 4 with harmonic mean curvature vector field. Math. Nachr. 1995, 172, 145–169. [Google Scholar] [CrossRef]
  21. Cheng, Q.M.; Wan, Q.R. Complete hypersurfaces of R 4 with constant mean curvature. Monatsh. Math. 1994, 118, 171–204. [Google Scholar] [CrossRef]
  22. Arslan, K.; Bayram, B.K.; Bulca, B.; Kim, Y.H.; Murathan, C.; Öztürk, G. Vranceanu surface in E 4 with pointwise 1-type Gauss map. Indian J. Pure Appl. Math. 2011, 42, 41–51. [Google Scholar] [CrossRef]
  23. Arslan, K.; Bayram, B.K.; Bulca, B.; Öztürk, G. Generalized rotation surfaces in E 4 . Results Math. 2012, 61, 315–327. [Google Scholar] [CrossRef]
  24. Arslan, K.; Bulca, B.; Kılıç, B.; Kim, Y.H.; Murathan, C.; Öztürk, G. Tensor product surfaces with pointwise 1-type Gauss map. Bull. Korean Math. Soc. 2011, 48, 601–609. [Google Scholar] [CrossRef] [Green Version]
  25. Güler, E.; Magid, M.; Yaylı, Y. Laplace–Beltrami operator of a helicoidal hypersurface in four-space. J. Geom. Symmetry Phys. 2016, 41, 77–95. [Google Scholar] [CrossRef] [Green Version]
  26. Güler, E.; Hacısalihoğlu, H.H.; Kim, Y.H. The Gauss map and the third Laplace–Beltrami operator of the rotational hypersurface in 4-space. Symmetry 2018, 10, 398. [Google Scholar] [CrossRef] [Green Version]
  27. Güler, E. Rotational hypersurfaces satisfying ΔIR = AR in the four-dimensional Euclidean space. J. Polytech. 2021, 24, 517–520. [Google Scholar]
  28. Güler, E. Fundamental form IV and curvature formulas of the hypersphere. Malaya J. Mat. 2020, 8, 2008–2011. [Google Scholar] [CrossRef]
  29. Ganchev, G.; Milousheva, V. General rotational surfaces in the 4-dimensional Minkowski space. Turk. J. Math. 2014, 38, 883–895. [Google Scholar] [CrossRef] [Green Version]
  30. Arvanitoyeorgos, A.; Kaimakamis, G.; Magid, M. Lorentz hypersurfaces in E 1 4 satisfying ΔH = αH. Ill. J. Math. 2009, 53, 581–590. [Google Scholar]
  31. Arslan, K.; Milousheva, V. Meridian surfaces of elliptic or hyperbolic type with pointwise 1-type Gauss map in Minkowski 4-space. Taiwan. J. Math. 2016, 20, 311–332. [Google Scholar] [CrossRef]
  32. Arslan, K.; Sütveren, A.; Bulca, B. Rotational λ-hypersurfaces in Euclidean spaces. Creat. Math. Inform. 2021, 30, 29–40. [Google Scholar] [CrossRef]
  33. Güler, E.; Yaylı, Y.; Hacısalihoğlu, H.H. Bi-rotational hypersurface with Δx = Ax in 4-space. Facta Univ. Ser. Math. Inform. 2022, 37, 917–928. [Google Scholar]
  34. Güler, E.; Yaylı, Y.; Hacısalihoğlu, H.H. Bi-rotational hypersurface and the second Laplace–Beltrami operator in the four dimensional Euclidean space E 4 . Turk. J. Math. 2022, 46, 2167–2177. [Google Scholar] [CrossRef]
  35. Güler, E.; Yaylı, Y.; Hacısalihoğlu, H.H. Bi-rotational hypersurface satisfying ΔIIIx = Ax in 4-space. Honam Math. J. 2022, 44, 219–230. [Google Scholar]
  36. Güler, E.; Yaylı, Y.; Hacısalihoğlu, H.H. Bi-rotational hypersurface satisfying Δx = Ax in pseudo-Euclidean space E 2 4 . TWMS J. Pure Appl. Math. in press.
  37. Li, Y.; Laurian-Ioan, P.; Alqahtani, L.; Alkhaldi, A.; Ali, A. Zermelo’s navigation problem for some special surfaces of rotation. AIMS Math. 2023, 8, 16278–16290. [Google Scholar] [CrossRef]
  38. Li, Y.; Alkhaldi, A.; Ali, A.; Abdel-Baky, R.A.; Saad, M.K. Investigation of ruled surfaces and their singularities according to Blaschke frame in Euclidean 3-space. AIMS Math. 2023, 8, 13875–13888. [Google Scholar] [CrossRef]
  39. Li, Y.; Srivastava, S.K.; Mofarreh, F.; Kumar, A.; Ali, A. Ricci Soliton of CR-Warped Product Manifolds and Their Classifications. Symmetry 2023, 15, 976. [Google Scholar] [CrossRef]
  40. Li, Y.; Caliskan, A. Quaternionic Shape Operator and Rotation Matrix on Ruled Surfaces. Axioms 2023, 12, 486. [Google Scholar] [CrossRef]
  41. Li, Y.; Gezer, A.; Karakaş, E. Some notes on the tangent bundle with a Ricci quarter-symmetric metric connection. AIMS Math. 2023, 8, 17335–17353. [Google Scholar] [CrossRef]
  42. Li, Y.; Eren, K.; Ersoy, S. On simultaneous characterizations of partner-ruled surfaces in Minkowski 3-space. AIMS Math. 2023, 8, 22256–22273. [Google Scholar] [CrossRef]
  43. Li, Y.; Bhattacharyya, S.; Azami, S.; Saha, A.; Hui, S.K. Harnack Estimation for Nonlinear, Weighted, Heat-Type Equation along Geometric Flow and Applications. Mathematics 2023, 11, 2516. [Google Scholar] [CrossRef]
  44. Li, Y.; Kumara, H.A.; Siddesha, M.S.; Naik, D.M. Characterization of Ricci Almost Soliton on Lorentzian Manifolds. Symmetry 2023, 15, 1175. [Google Scholar] [CrossRef]
  45. Li, Y.; Gupta, M.K.; Sharma, S.; Chaubey, S.K. On Ricci Curvature of a Homogeneous Generalized Matsumoto Finsler Space. Mathematics 2023, 11, 3365. [Google Scholar] [CrossRef]
  46. Li, Y.; Abolarinwa, A.; Alkhaldi, A.; Ali, A. Some Inequalities of Hardy Type Related to Witten-Laplace Operator on Smooth Metric Measure Spaces. Mathematics 2022, 10, 4580. [Google Scholar] [CrossRef]
  47. Li, Y.; Ganguly, D. Kenmotsu Metric as Conformal η-Ricci Soliton. Mediterr. J. Math. 2023, 20, 193. [Google Scholar] [CrossRef]
  48. Gür, S. Geometric properties of timelike surfaces in Lorentz-Minkowski 3-space. Filomat 2023, 37, 5735–5749. [Google Scholar]
  49. Gür, S.; Şenyurt, S.; Grilli, L. The Dual Expression of Parallel Equidistant Ruled Surfaces in Euclidean 3-Space. Symmetry 2022, 14, 1062. [Google Scholar]
  50. Çalışkan, A.; Şenyurt, S. Curves and ruled surfaces according to alternative frame in dual space. Commun. Fac. Sci. Univ. 2020, 69, 684–698. [Google Scholar] [CrossRef]
  51. Gür, S.; Şenyurt, S.; Grilli, L. The Invariants of Dual Parallel Equidistant Ruled Surfaces. Symmetry 2023, 15, 206. [Google Scholar]
  52. Şenyurt, S.; Çalışkan, A. The quaternionic expression of ruled surfaces. Filomat 2018, 32, 5753–5766. [Google Scholar] [CrossRef] [Green Version]
  53. Çalışkan, A.; Şenyurt, S. The dual spatial quaternionic expression of ruled surfaces. Therm. Sci. 2019, 23, 403–411. [Google Scholar] [CrossRef] [Green Version]
  54. Özcan, B.; Şenyurt, S. On Some Characterizations of Ruled Surface of a Closed Timelike Curve in Dual Lorentzian Space. Adv. Appl. Clifford Algebr. 2012, 22, 939–953. [Google Scholar]
  55. Şenyurt, S.; Gür, S. Spacelike surface geometry. Int. J. Geom. Methods Mod. Phys. 2017, 14, 1750118. [Google Scholar] [CrossRef]
  56. As, E.; Şenyurt, S. Some Characteristic Properties of Parallel-Equidistant Ruled Surfaces. Math. Probl. Eng. 2013, 2013, 587289. [Google Scholar] [CrossRef] [Green Version]
  57. Antić, M.; Hu, Z.; Moruz, M.; Vrancken, L. Surfaces of the nearly Kähler S 3  ×  S 3 preserved by the almost product structure. Math. Nachr. 2021, 294, 2286–2301. [Google Scholar] [CrossRef]
  58. Antić, M.; Djordje, K. Non-Existence of Real Hypersurfaces with Parallel Structure Jacobi Operator in S6(1). Mathematics 2022, 10, 2271. [Google Scholar] [CrossRef]
  59. Antić, M.; Moruz, M.; Van, J. H-Umbilical Lagrangian Submanifolds of the Nearly Kähler S 3  ×  S 3 . Mathematics 2020, 8, 1427. [Google Scholar] [CrossRef]
  60. Antić, M. A class of four-dimensional CR submanifolds in six dimensional nearly Kähler manifolds. Math. Slovaca 2018, 68, 1129–1140. [Google Scholar] [CrossRef]
  61. Antić, M. Characterization of Warped Product Lagrangian Submanifolds in C n . Results Math. 2022, 77, 106. [Google Scholar] [CrossRef]
  62. Antić, M. A class of four dimensional CR submanifolds of the sphere S6(1). J. Geom. Phys. 2016, 110, 78–89. [Google Scholar] [CrossRef]
  63. Antić, M.; Vrancken, L. Conformally flat, minimal, Lagrangian submanifolds in complex space forms. Sci. China Math. 2022, 65, 1641–1660. [Google Scholar] [CrossRef]
  64. Levi–Civita, T. Famiglie di superficie isoparametriche nellordinario spacio euclideo. Rend. Acad. Lincei 1937, 26, 355–362. [Google Scholar]
  65. Alias, L.J.; Gürbüz, N. An extension of Takashi theorem for the linearized operators of the highest order mean curvatures. Geom. Dedicata 2006, 121, 113–127. [Google Scholar] [CrossRef]
  66. Kühnel, W. Differential Geometry. Curves-Surfaces-Manifolds, 3rd ed.; Translated from the 2013 German ed.; AMS: Providence, RI, USA, 2015. [Google Scholar]
  67. Do Carmo, M.P.; Dajczer, M. Rotation hypersurfaces in spaces of constant curvature. Trans. Am. Math. Soc. 1983, 277, 685–709. [Google Scholar] [CrossRef] [Green Version]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Li, Y.; Güler, E. A Hypersurfaces of Revolution Family in the Five-Dimensional Pseudo-Euclidean Space E25. Mathematics 2023, 11, 3427. https://doi.org/10.3390/math11153427

AMA Style

Li Y, Güler E. A Hypersurfaces of Revolution Family in the Five-Dimensional Pseudo-Euclidean Space E25. Mathematics. 2023; 11(15):3427. https://doi.org/10.3390/math11153427

Chicago/Turabian Style

Li, Yanlin, and Erhan Güler. 2023. "A Hypersurfaces of Revolution Family in the Five-Dimensional Pseudo-Euclidean Space E25" Mathematics 11, no. 15: 3427. https://doi.org/10.3390/math11153427

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop