Next Article in Journal
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems
Previous Article in Journal
Dynamic Optimization of a Supply Chain Operation Model with Multiple Products
Previous Article in Special Issue
Exploring Conformal Soliton Structures in Tangent Bundles with Ricci-Quarter Symmetric Metric Connections
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Right Conoids Demonstrating a Time-like Axis within Minkowski Four-Dimensional Space

1
School of Mathematics, Hangzhou Normal University, Hangzhou 311121, China
2
Department of Mathematics, Faculty of Sciences, Bartın University, Kutlubey Campus, Bartın 74100, Türkiye
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(15), 2421; https://doi.org/10.3390/math12152421
Submission received: 9 July 2024 / Revised: 21 July 2024 / Accepted: 31 July 2024 / Published: 4 August 2024

Abstract

:
In the four-dimensional Minkowski space, hypersurfaces classified as right conoids with a time-like axis are introduced and studied. The computation of matrices associated with the fundamental form, the Gauss map, and the shape operator specific to these hypersurfaces is included in our analysis. The intrinsic curvatures of these hypersurfaces are determined to provide a deeper understanding of their geometric properties. Additionally, the conditions required for these hypersurfaces to be minimal are established, and detailed calculations of the Laplace–Beltrami operator are performed. Illustrative examples are provided to enhance our comprehension of these concepts. Finally, the umbilical condition is examined to determine when these hypersurfaces become umbilic, and also the Willmore functional is explored.
MSC:
53A10; 53A35; 53B30; 53C35; 53C42

1. Introduction

The parametric equation
r ( u , v ) = α v + u β v = 0 , 0 , g v + u cos f v , sin f v , 0
determines a ruled surface in three-dimensional Minkowski space L 3 . This specific surface, distinguished by its unique geometric properties, is accurately identified as a right conoid. It features a time-like axis defined by the vector ( 0 , 0 , 1 ) and adheres to the metric signatures ( + , + , ) inherent to Minkowski space.
To unravel the intricacies inherent in this parametric representation, let us break down its components. The curve α ( v ) acts as a foundational axis along the z-direction. Concurrently, the vector function β ( v ) defines the generating vector shaping the ruled surface. The parameter u moves dynamically along this generating vector, while v parametrizes the curve α ( v ) , influencing the overall structure of the ruled surface.
The essential geometric features of the right conoid are encapsulated by this parametric formulation, which also serves as a mathematical framework for understanding its behavior within L 3 . A foundation is laid by the intricate relationship among the reference curve, generating vector, and parametric variables, allowing for the exploration of the geometric intricacies and properties of this ruled surface within the context of Minkowski space.
This classification gains significance as the surface is generated by moving a straight line intersecting a predetermined linear reference, ensuring that perpendicular alignment between these lines is maintained throughout the generation process. By defining the x y -plane as the orthogonal plane and the z-axis as the baseline, we derive the parametric equation that defines the right conoid.
Moreover, identifying this ruled surface as a right conoid with a time-like axis in L 3 emphasizes its geometric finesse and structural integrity. This classification not only emphasizes its importance within the context of Minkowski space but also enables a deeper understanding of its curvature characteristics and spatial configuration.
This study aims to thoroughly investigate the core attributes of hypersurfaces categorized as right conoids with a time-like axis (RCH-T) within the expansive realm of four-dimensional Minkowski space L 4 . Our primary objective is to compute differential geometric objects crucial to these hypersurfaces. Leveraging the robust framework provided by the Cayley–Hamilton theorem, our aim is to scrutinize and quantify the intrinsic curvatures inherent in these particular hypersurfaces.
In addition to exploring curvature properties, a core objective of our research is to establish criteria that govern minimization within this particular geometric framework. This entails a thorough examination of factors influencing the reduction in specific geometric attributes, thereby enriching our understanding of the dynamics of RCH-T in four-dimensional Minkowski space.
An essential focus of our investigation is the intricate relationship between RCH-T and the Laplace–Beltrami ( L B ) operator in the expansive domain of L 4 . By exploring this connection, our aim is to gain insights into the intrinsic geometric properties of these hypersurfaces, thereby deepening our understanding of their behavior within the Minkowski space framework.
Furthermore, our analysis extends to include the elucidation of the umbilical condition, which reveals specific geometric characteristics that RCH-T may manifest. To provide a thorough overview of these geometric properties, we introduce the Willmore functional for RCH-T, enabling a quantitative assessment of their shape attributes.
This multifaceted approach not only advances our theoretical understanding but also lays the foundation for practical applications and further advancements in the study of hypersurfaces within Minkowski space.
In Section 2, we delve into the foundational principles and concepts of four-dimensional Minkowski geometry. Section 3 focuses on detailing curvature formulas applicable to hypersurfaces in L 4 . Moving forward to Section 4, we provide a comprehensive definition of right conoid hypersurfaces with a time-like axis, highlighting their distinct properties and characteristics. Section 5 shifts the discussion to the L B operator for a smooth function in L 4 , utilizing the hypersurfaces analyzed previously. Section 6 addresses umbilical right conoid hypersurfaces with a time-like axis in L 4 . The Willmore functional of these hypersurfaces is introduced in Section 7. Finally, the present study concludes in the last section.

2. Preliminaries

In Minkowski ( n + 1 ) -space L n + 1 , the symbol s j is expressed as σ j , which 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 we use the notation
r i j = σ j ( k 1 , k 2 , , k i 1 , k i + 1 , k i + 2 , , k n ) .
An oriented hypersurface M is considered within the intricate domain of Minkowski four-dimensional space L 4 . The shape operator of this hypersurface, denoted by S = s i j 3 × 3 , is employed in the exploration of various geometric measures.
Let r i j = σ j ( k 1 , k 2 , k 3 ) with the defined condition, leading to r i 0 = 1 . The function s k is recognized as the k-th average curvature of the oriented surface M. Specifically, the average curvature H is given by H = 1 3 s 1 . Moreover, the Gauss–Kronecker ( G K ) curvature of M is denoted as K = s 3 .
These curvature terms play crucial roles in differential geometry, particularly in understanding the geometric properties of hypersurfaces. The mean curvature H represents the average of the principal curvatures and is fundamental in various geometric and physical contexts. For M, H is directly related to the first mean curvature s 1 .
The Gauss–Kronecker curvature K, also known as the Gaussian curvature in dimension three, characterizes the intrinsic curvature of M independent of its embedding in higher-dimensional space. It is given by the third mean curvature s 3 .
Together, these curvatures provide comprehensive insights into the geometry of M, facilitating analyses ranging from surface classification to applications in fields such as physics and materials science.
The characteristic polynomial, denoted as k = 0 3 1 k s k λ 3 k = 0 , of S is indicated by the equation
det ( S λ I 3 ) = 0 .
Here, I 3 denotes the identity matrix. The curvature relations are revealed as 3 i K i = s i , highlighting the intrinsic geometric properties of the hypersurface.
In this investigation, a vector is deemed identical to its transpose. We analyze the embedding of x = x ( u , v , w ) from M 3 E 3 into L 4 .
Definition 1.
An inner product for two vectors t 1 = ( t 1 1 , t 2 1 , t 3 1 , t 4 1 ) , t 2 = ( t 1 2 , t 2 2 , t 3 2 , t 4 2 ) of L 4 is achieved through the expression
t 1 , t 2 = t 1 1 t 1 2 + t 2 1 t 2 2 + t 3 1 t 3 2 t 4 1 t 4 2 .
Definition 2.
A triple vector product for three vectors t 1 = ( t 1 1 , t 2 1 , t 3 1 , t 4 1 ) , t 2 = ( t 1 2 , t 2 2 , t 3 2 , t 4 2 ) , t 3 = ( t 1 3 , t 2 3 , t 3 3 , t 4 3 ) in L 4 is given by the determinant
t 1 × t 2 × t 3 = e 1 e 2 e 3 e 4 t 1 1 t 2 1 t 3 1 t 4 1 t 1 2 t 2 2 t 3 2 t 4 2 t 1 3 t 2 3 t 3 3 t 4 3 .
Here, the base components in L 4 are determined by e k .
Definition 3.
The shape operator matrix S of the hypersurface x in Minkowski four-dimensional space L 4 is indicated by g i j 1 · h i j , where g i j 3 × 3 and h i j 3 × 3 represent the first and the second fundamental form matrices, respectively. The components of the matrices are defined as g i j = x i , x j , h i j = x i j , G , for i , j = 1 , 2 , 3 , and the Gauss map of x is obtained through the expression
G = x u × x v × x w x u × x v × x w .
Refer to Chen et al. [1], Li, Güler, and Toda [2], and O’Neill [3] for detailed explanations.

3. Curvatures in L 4

In this section, we explore the curvature expressions associated with a hypersurface characterized by ϕ = ϕ ( u , v , w ) within the context of L 4 . We delve into the geometric properties of the hypersurface, considering its embedding into the space L 4 .
Proposition 1.
The following curvature formulas are associated with a hypersurface ϕ in L 4 : K 0 = 1 by definition,
3 K 1 = d 2 d 3 , 3 K 2 = d 1 d 3 , K 3 = d 0 d 3 ,
where d 3 λ 3 + d 2 λ 2 + d 1 λ + d 0 = 0 describes the characteristic polynomial Eq. P S ( λ ) = 0 of the shape operator matrix S , d 3 = det g i j , d 0 = det h i j , and g i j , h i j denote the first and the second fundamental form matrices, respectively.
Proof. 
The curvatures are indicated by the characteristic polynomial equation of S in L 4 :
K 0 = 1 , 3 K 1 = k 1 + k 2 + k 3 = d 2 d 3 , 3 K 2 = k 1 k 2 + k 1 k 3 + k 2 k 3 = d 1 d 3 , K 3 = k 1 k 2 k 3 = d 0 d 3 .
Definition 4.
A hypersurface ϕ in L 4 is termed j-minimal when K j = 1 , 2 , 3 = 0 .
Proposition 2.
The following relation between the curvatures and the fundamental forms holds for a hypersurface ϕ = ϕ ( u , v , w ) in L 4 :
K 0 f i j 3 K 1 t i j + 3 K 2 h i j K 3 g i j = O 3 ,
where g i j , h i j , t i j , f i j give the first, second, third, and fourth fundamental form matrices, and O 3 determines the zero matrix.

4. RCH-T in L 4

In this section, the right conoid hypersurface with a time-like axis is described, and its geometric qualities are examined in Minkowski four-dimensional space L 4 .
In L 4 , attention is given to a ruled hypersurface determined by
ϕ ( u , v , w ) = α v , w + u β v , w = 0 , 0 , 0 , Ψ + u cos cos ρ , sin cos ρ , sin ρ , 0 .
Here, α , β denote the surfaces, u R 0 , β , β = 1 , = v , ρ = ρ w , Ψ = Ψ v , w describe differentiable functions, and 0 , ρ < 2 π .
The following definition supplies the hypersurface ϕ ( u , v , w ) = R · η T , where the profile hypersurface η = u , 0 , 0 , Ψ rotates around the time-like axis = 0 , 0 , 0 , 1 through
R ( v , w ) = cos cos ρ sin cos sin ρ 0 sin cos ρ cos sin sin ρ 0 sin ρ 0 cos ρ 0 0 0 0 1 ,
with R S O 4 , R · T = T , R T · ε · R = R · ε · R T = ε , ε = diag ( 1 , 1 , 1 , 1 ) .
Definition 5.
A right conoid hypersurface with a time-like axis is immersed by ϕ: M 3 E 3 L 4 , parametrized by
ϕ ( u , v , w ) = ϕ 1 ( u , v , w ) ϕ 2 ( u , v , w ) ϕ 3 ( u , v , w ) ϕ 4 ( u , v , w ) = u cos cos ρ u sin cos ρ u sin ρ Ψ .
Here, u R 0 , = v , ρ = ρ w , 0 , ρ < 2 π , and Ψ = Ψ v , w .
For brevity, the following notations are chosen: c = cos , s = sin , C = cos ρ , and S = sin ρ .
The computation of g i j is determined by the first derivatives of the RCH-T, as given in Equation (4) with respect to u , v , and w , resulting in the following matrix:
g i j = 1 0 0 0 u 2 C 2 v 2 Ψ v 2 Ψ v Ψ w 0 Ψ v Ψ w u 2 ρ w 2 Ψ w 2 ,
and v = v , v 2 = 2 v 2 , etc. Therefore, det g i j = u 2 W , where W = v 2 u 2 ρ w 2 Ψ w 2 C 2 ρ w 2 Ψ v 2 . The characterization of the RCH-T described by Equation (4) as a space-like (resp., time-like, light-like) hypersurface is contingent upon whether W > 0 (resp., W < 0 , W = 0 ).
Applying the Gauss map formula (Formula ), the Gauss map of the RCH-T, as determined by Equation (4), is derived as follows:
G = 1 W 1 / 2 s ρ w Ψ v c S C v Ψ w c ρ w Ψ v s S C v Ψ w C 2 v Ψ w C u v ρ w .
By taking the second derivatives with respect to u , v , and w of the RCH-T defined by Equation (4) and employing the Gauss map as given by Equation (6), the subsequent matrix is acquired:
h i j = 0 C v ρ w Ψ v W 1 / 2 C v ρ w Ψ w W 1 / 2 C v ρ w Ψ v W 1 / 2 C u C S v 3 Ψ w + ρ w v v Ψ v v Ψ v v W 1 / 2 u v ρ w C Ψ v w + ρ w S Ψ v W 1 / 2 C v ρ w Ψ w W 1 / 2 u v ρ w ρ w S Ψ v + C Ψ v w W 1 / 2 C u v ρ w w Ψ w ρ w Ψ w w W 1 / 2 ,
where u u = 2 u 2 , u v = 2 u v , etc. By employing (5) and (7), the computation of the shape operator matrix S = s i j 3 × 3 for (4) is carried out. Therefore, utilizing (3) in conjunction with (5) and (7), the curvatures of the RCH-T are determined.
Theorem 1.
Let ϕ be an RCH-T defined by the equation in (4) within L 4 . The curvatures associated with ϕ are outlined, with K 0 = 1 by default, as follows:
K 1 = 1 3 u C 2 v 2 u 2 ρ w 2 Ψ w 2 ρ w 2 Ψ v 2 3 / 2 C v ρ w C 2 u 2 v 2 Ψ v 2 Ψ w w + 2 C v ρ w Ψ v Ψ w Ψ v w + C v ρ w u 2 ρ w 2 Ψ w 2 Ψ v v + v C ρ w w + 2 S ρ w 2 Ψ v 2 Ψ w + C v v ρ w Ψ v + C S v 3 Ψ w Ψ w 2 C u 2 v v ρ w 3 Ψ v C 2 u 2 v 3 C ρ w w + S ρ w 2 Ψ w , K 2 = v 3 C 2 v 2 u 2 ρ w 2 Ψ w 2 ρ w 2 Ψ v 2 2 C 2 ρ w ρ w v v Ψ v ρ w v Ψ v v + C S v 3 Ψ w Ψ w w C v ρ w 2 2 S ρ w Ψ v + C Ψ v w Ψ v w C 2 v ρ w ρ w w Ψ w Ψ v v v ρ w 4 Ψ v 2 + C 3 v 3 S ρ w w C ρ w 2 Ψ w 2 + C 2 v v ρ w ρ w w Ψ v Ψ w , K 3 = C 2 v 2 ρ w 2 u C 2 v 2 u 2 ρ w 2 Ψ w 2 ρ w 2 Ψ v 2 5 / 2 C ρ w v Ψ w 2 Ψ v v 2 Ψ v Ψ w Ψ v w + Ψ v 2 Ψ w w + v C ρ w w + 2 S ρ w 2 Ψ v 2 + C ρ w v v Ψ v + C S v 3 Ψ w Ψ w Ψ w ,
Proof. 
By applying the theorem of Cayley–Hamilton, the curvatures K i associated with ϕ are determined through the characteristic polynomial, mentioned by Equation (1), of the RCH-T defined by Equation (4):
K 0 λ 3 3 K 1 λ 2 + 3 K 2 λ K 3 = 0 .
Corollary 1.
Let ϕ be an RCH-T mentioned by Equation (4) in L 4 . ϕ is deemed 1-minimal if the ensuing partial differential equation emerges:
C v ρ w C 2 u 2 v 2 Ψ v 2 Ψ w w + 2 Ψ v Ψ w Ψ v w + u 2 ρ w 2 Ψ w 2 Ψ v v + v C ρ w w + 2 S ρ w 2 Ψ v 2 Ψ w + C v v ρ w Ψ v + C S v 3 Ψ w Ψ w 2 C u 2 v v ρ w 3 Ψ v C 2 u 2 v 3 C ρ w w + S ρ w 2 Ψ w = 0 ,
where u 0 , C v u 2 ρ w 2 Ψ w 2 1 / 2 ± ρ w Ψ v .
Corollary 2.
Consider ϕ as an RCH-T indicated by Equation (4) within L 4 . ϕ is regarded as 2-minimal if the subsequent partial differential equation is satisfied:
C 2 ρ w v v ρ w Ψ v v ρ w Ψ v v + C S v 3 Ψ w Ψ w w C v ρ w 2 2 S ρ w Ψ v + C Ψ v w Ψ v w C 2 v ρ w ρ w w Ψ w Ψ v v v ρ w 4 Ψ v 2 + C 3 v 3 S ρ w w C ρ w 2 Ψ w 2 + C 2 v v ρ w ρ w w Ψ v Ψ w = 0 ,
where C v u 2 ρ w 2 Ψ w 2 1 / 2 ± ρ w Ψ v .
Corollary 3.
Let ϕ be an RCH-T given by Equation (4) in L 4 . ϕ is deemed 3-minimal if the following partial differential equation is provided:
C ρ w v Ψ v 2 Ψ w w 2 Ψ v Ψ w Ψ v w + Ψ w 2 Ψ v v + v C ρ w w + 2 S ρ w 2 Ψ v 2 + C ρ w v v Ψ v + C S v 3 Ψ w Ψ w Ψ w = 0 ,
where u 0 , C v u 2 ρ w 2 Ψ w 2 1 / 2 ± ρ w Ψ v .
It should be noted that the resolutions for Ψ in the corollaries are challenges yet to be addressed.

5. The Laplace–Beltrami Operator of the RCH-T in L 4

In this section, the focus shifts to the application of the L B operator on a smooth function in L 4 . The subsequent steps involve calculating this operator using the RCH-T defined by the equation in (4).
Definition 6.
The Laplace–Beltrami operator is defined for a smooth function ς = ς x 1 , x 2 , x 3 D D R 3 of class C 3 and depends on the first fundamental form g i j :
Δ ς = 1 g 1 / 2 i , j = 1 3 x i g 1 / 2 g i j ς x j ,
where g i j = g k l 1 and g = det g i j .
For comprehensive insights into the Laplace–Beltrami operator, refer to the works of Chen et al. [1] and Lawson [4]. Hence, the following is provided.
Theorem 2.
The Laplace–Beltrami operator of the RCH-T ϕ expressed by Equation (4) is formulated as Δ ϕ = 3 K 1 G , where K 1 represents the mean curvature and G depicts the Gauss map of ϕ.
Proof. 
The L B operator applied to the RCH-T as described by Equation (4) is represented as follows:
Δ ϕ = 1 g 1 / 2 u g 1 / 2 g 11 ϕ u + v g 1 / 2 g 22 ϕ v + v g 1 / 2 g 23 ϕ w + w g 1 / 2 g 32 ϕ v + w g 1 / 2 g 33 ϕ w ,
where
g i j = 1 u 2 W 1 0 0 0 u 2 ρ w 2 Ψ w 2 Ψ v Ψ w 0 Ψ v Ψ w C 2 u 2 v 2 Ψ v 2 ,
and W = C 2 v 2 u 2 ρ w 2 Ψ w 2 ρ w 2 Ψ v 2 . Through the substitution of the derivatives of the components, as determined by (10), into the formula presented by (9), the formation of Δ ϕ = Δ ϕ 1 , Δ ϕ 2 , Δ ϕ 3 , Δ ϕ 4 along with its individual components is accomplished.
Δ ϕ 1 = 1 u W 2 ( C ρ w v s Ψ v ρ w + C S c Ψ w v u 2 ρ w 2 Ψ w 2 Ψ v v + 2 Ψ v Ψ w Ψ v w + C 2 u 2 v 2 Ψ v 2 Ψ w w c C 3 S 2 v 4 Ψ w 4 C s v v ρ w 2 + 2 c S 2 v 2 ρ w 2 + c C S v 2 ρ w w Ψ v 2 Ψ w 2 + c C 3 S u 2 v 4 C ρ w w + S ρ w 2 Ψ w 2 + C 2 u 2 v ρ w s S v 2 ρ w 2 + c S v v ρ w 2 + C s v 2 ρ w w Ψ v Ψ w s v ρ w C ρ w w + 2 S ρ w 2 Ψ v 3 Ψ w C 2 S v ρ w c v v + s v 2 Ψ v Ψ w 3 + s C u 2 v v ρ w 4 Ψ v 2 ) , Δ ϕ 2 = 1 u W 2 ( C ρ w v c Ψ v ρ w C S s Ψ w v u 2 ρ w 2 Ψ w 2 Ψ v v + 2 Ψ v Ψ w Ψ v w + C 2 u 2 v 2 Ψ v 2 Ψ w w s C 3 S 2 v 4 Ψ w 4 C c v v ρ w 2 + 2 s S 2 v 2 ρ w 2 + s C S ρ w w v 2 Ψ v 2 Ψ w 2 + s C 3 S u 2 v 4 C ρ w w + S ρ w 2 Ψ w 2 C 2 u 2 v ρ w c S v 2 ρ w 2 + c C v 2 ρ w w s S v v ρ w 2 Ψ v Ψ w + c v ρ w C ρ w w + 2 S ρ w 2 Ψ v 3 Ψ w C 2 S v ρ w s v v c v 2 Ψ v Ψ w 3 c C u 2 v v ρ w 4 Ψ v 2 ) , Δ ϕ 3 = 1 u W 2 ( C 3 v 2 ρ w u 2 ρ w 2 Ψ w 2 Ψ w Ψ v v + 2 C 3 v 2 ρ w Ψ v Ψ w 2 Ψ v w + C 3 v 2 ρ w Ψ v 2 + s C S u 2 v 2 Ψ w Ψ w w s C 4 S u 2 v 4 ρ w w Ψ w 2 + C 4 S v 4 Ψ w 2 u 2 ρ w 2 Ψ w 2 C 2 v C v ρ w w Ψ v Ψ w 2 S v ρ w 2 Ψ v Ψ w C v v ρ w Ψ w 2 + C u 2 ρ w 3 v v Ψ v Ψ w ) , Δ ϕ 4 = 1 u 2 W 2 ( C 2 v 2 ρ w 2 u 2 ρ w 2 Ψ w 2 Ψ v v + 2 C 2 v 2 ρ w 2 Ψ v Ψ w Ψ v w + C 2 v 2 ρ w 2 C 2 u 2 v 2 Ψ v 2 Ψ w w + C ρ w v 2 S v ρ w 2 Ψ v 2 + C v ρ w w Ψ v 2 + C ρ w v v Ψ v Ψ w + C 2 S v 3 Ψ w 2 C 2 u 2 v 3 C ρ w w + S ρ w 2 Ψ w C 2 u 2 v v v ρ w 4 Ψ v ) .
Definition 7.
The hypersurface ϕ is termed harmonic if each component of Δ ϕ is null.
Example 1.
Upon substituting v = v , ρ w = w , and Ψ v , w = w into an RCH-T defined by Equation (4), the expression is simplified to
ϕ ( u , v , w ) = u cos v cos w , u sin v cos w , u sin w , w .
Its Gauss map and the shape operator matrix are characterized by
G = 1 1 u 2 1 / 2 cos v sin w , sin v sin w , cos w , u ,
S = 0 0 1 1 u 2 1 / 2 0 tan w u 1 u 2 1 / 2 0 1 1 u 2 3 / 2 0 0 .
Subsequently, the principal curvatures are k 1 = i u 2 1 = k 2 and k 3 = tan w u 1 u 2 1 / 2 , and the curvatures are determined through
K 1 = tan w 3 u 1 u 2 1 / 2 , K 2 = 1 3 1 u 2 2 , K 3 = tan w u 1 u 2 5 / 2 .
Hence,
Δ ϕ = tan w u 1 u 2 cos v sin w , sin v sin w , cos w , u .
In conclusion, the hypersurface is neither minimal nor harmonic.
Example 2.
Upon choosing v = v , ρ w = w , and Ψ v , w = v for an RCH-T defined by Equation (4), the RCH-T is parametrized by
ϕ ( u , v , w ) = u cos v cos w , u sin v cos w , u sin w , v .
ϕ possesses the Gauss map
G = 1 1 u 2 cos 2 w 1 / 2 sin v , cos v , 0 , u cos w .
Therefore, the shape operator matrix is determined by
S = 0 cos w 1 u 2 cos 2 w 1 / 2 0 cos w 1 u 2 cos 2 w 3 / 2 0 u sin w 1 u 2 cos 2 w 3 / 2 0 sin w u 1 u 2 cos 2 w 1 / 2 0 .
The curvatures are given by
K 1 = 0 , K 2 = 1 3 1 u 2 cos 2 w 2 , K 3 = 0 .
Finally, Δ ϕ = 0 , 0 , 0 , 0 . This implies that the hypersurface is 1-minimal, 3-minimal, and harmonic.
A comprehensive understanding of the diverse expressions of the geometric structures of the RCH-T indicated by Equation (4) is provided by exploring the hypersurfaces classified as minimal, non-minimal, harmonic, and non-harmonic.

6. The Umbilical Condition of the RCH-T in L 4

In this section, the umbilical condition for the RCH-T defined by Equation (4) is disclosed.
Definition 8.
A point p on a hypersurface is termed umbilical if and only if k 1 = k 2 = k 3 . This implies K 1   3 = K 3 .
As a result, we offer the following, laying down an essential foundation for deciphering the fundamental principles behind our findings.
Theorem 3.
A point p on the hypersurface of the right conoid, ϕ : M 3 E 3 L 4 , that features a time-like axis, is considered umbilic if and only if it satisfies the partial differential equation K 1   3 K 3 = 0 . Here, K 1 and K 3 indicate the mean and Gauss–Kronecker curvatures, respectively.
Proof. 
By using the curvatures K 1 and K 3 of the right conoid hypersurface with the time-like axis ϕ , the following partial differential equation arises:
Φ 3 27 C 2 u 2 W 2 v 2 ρ w 2 Θ = 0 ,
where
Φ = C v ρ w C 2 u 2 v 2 Ψ v 2 Ψ w w + 2 C v ρ w Ψ v Ψ w Ψ v w + C v ρ w u 2 ρ w 2 Ψ w 2 Ψ v v + v C ρ w w + 2 S ρ w 2 Ψ v 2 Ψ w + C v v ρ w Ψ v + C S v 3 Ψ w Ψ w 2 C u 2 v v ρ w 3 Ψ v C 2 u 2 v 3 C ρ w w + S ρ w 2 Ψ w , Θ = C ρ w v Ψ w 2 Ψ v v 2 Ψ v Ψ w Ψ v w + Ψ v 2 Ψ w w + v C ρ w w + 2 S ρ w 2 Ψ v 2 + C ρ w v v Ψ v + C S v 3 Ψ w Ψ w Ψ w , W = C 2 v 2 u 2 ρ w 2 Ψ w 2 ρ w 2 Ψ v 2 .
This theorem highlights a significant geometric property of the points on the hypersurface. It states that a point on the right conoid hypersurface with a time-like axis is umbilic exactly when it satisfies the given partial differential equation. The primary challenge is to find solutions Ψ that fulfil the partial differential equations described in Equation (11).

7. The Willmore Functional of the RCH-T in L 4

In this section, we introduce the Willmore property of the RCH-T.
Definition 9.
Let s: M E 2   R n be a smooth immersion such that W ( s ) < . The function s is deemed a critical point for W if
n C ( M , R n ) , d d q W ( s + q n )   q = 0 = 0 .
An immersion satisfying this condition is referred to as Willmore.
Refer to the studies conducted by Li and Yau [5], Toda [6], and the research carried out by Willmore [7,8] for a thorough exploration of Euclidean properties. Hence, the Willmore functional is employed for the RCH-T given by Equation ( ) in Minkowski four-dimensional space.
Theorem 4.
An immersion ϕ : M 3 E 3 L 4 is considered Willmore if and only if it satisfies the partial differential equation
Δ K 1 + 3 K 1 ( K 1   3 K 3 ) = 0 ,
where Δ denotes the Laplace–Beltrami operator, and K 1 and K 3 represent the mean and Gauss–Kronecker curvatures, respectively.
Proof. 
By using the curvatures determined by Theorem 1, and by utilizing the expression Δ K 1 = K 1 u u + K 1 v v + K 1 w w and incorporating the umbilical condition K 1   3 K 3 = 0 , the following partial differential equation is unveiled:
K 1 u u + K 1 v v + K 1 w w + Φ Φ 3 27 C 2 u 2 W 2 v 2 ρ w 2 Θ = 0 ,
where
Φ = C v ρ w C 2 u 2 v 2 Ψ v 2 Ψ w w + 2 C v ρ w Ψ v Ψ w Ψ v w + C v ρ w u 2 ρ w 2 Ψ w 2 Ψ v v + v C ρ w w + 2 S ρ w 2 Ψ v 2 Ψ w + C v v ρ w Ψ v + C S v 3 Ψ w Ψ w 2 C u 2 v v ρ w 3 Ψ v C 2 u 2 v 3 C ρ w w + S ρ w 2 Ψ w , Θ = C ρ w v Ψ w 2 Ψ v v 2 Ψ v Ψ w Ψ v w + Ψ v 2 Ψ w w + v C ρ w w + 2 S ρ w 2 Ψ v 2 + C ρ w v v Ψ v + C S v 3 Ψ w Ψ w Ψ w , W = C 2 v 2 u 2 ρ w 2 Ψ w 2 ρ w 2 Ψ v 2 .
A profound connection between the immersion of the hypersurface and its Willmore property is established by this theorem. It is asserted that the immersion ϕ from E 3 into L 4 achieves the status of being Willmore if and only if it aligns with the specified equation. The identification of solutions Ψ for the partial differential equation referred to as (12) remains an unresolved matter.

8. Conclusions

In conclusion, this study has offered a detailed exploration of hypersurfaces identified as right conoids with a time-like axis (RCH-Ts) in four-dimensional Minkowski space L 4 . Through meticulous analysis and computation of essential matrices—specifically, the fundamental form, Gauss map, and shape operator—specific curvatures intrinsic to these geometrical entities have been uncovered. The application of the Cayley–Hamilton theorem has been instrumental in shedding light on the complex geometric properties of RCH-T hypersurfaces.
The foundational investigation into four-dimensional Minkowski geometry laid a solid groundwork, elucidating crucial curvature formulas applicable to hypersurfaces within this space. The comprehensive definition of RCH-Ts has highlighted their unique characteristics and has distinguished them within the realm of hypersurfaces.
Moreover, practical implications of the Laplace–-Beltrami operator on these hypersurfaces have been explored, demonstrating its computational utility and furthering our understanding of their geometric behavior. The introduction of umbilical RCH-T hypersurfaces has expanded our exploration, revealing additional geometric insights.
Lastly, the presentation and analysis of the Willmore functional has provided a quantitative measure to evaluate the shape characteristics of RCH-T hypersurfaces, contributing to both theoretical advancements and potential practical applications.
In summary, this comprehensive investigation not only deepens our theoretical understanding of hypersurfaces in Minkowski space but also sets the stage for future research and applications in geometry and mathematical physics.

Author Contributions

Conceptualization, Y.L. and E.G.; Methodology, Y.L. and E.G.; Software, E.G.; Writing–original draft, Y.L. and E.G.; Writing–review & editing, Y.L. and E.G.; Supervision, Y.L. All authors have read and agreed to the published version of the manuscript.

Funding

This study received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors gratefully acknowledge the constructive comments from the editor and the anonymous referees.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. 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]
  2. Li, Y.; Güler, E.; Toda, M. Family of right conoid hypersurfaces with light-like axis in Minkowski four-space. AIMS Math. 2024, 9, 18732–18745. [Google Scholar] [CrossRef]
  3. O’Neill, B. Semi-Riemannian Geometry. With Applications to Relativity, 1st ed.; Pure and Applied Mathematics; Academic Press Inc.: Cambridge, MA, USA; Harcourt Brace Jovanovich Publishers: New York, NY, USA, 1983; Volume 103. [Google Scholar]
  4. Lawson, H.B. Lectures on Minimal Submanifolds, 2nd ed.; Mathematics Lecture Series 9; Publish or Perish Inc.: Wilmington, DE, USA, 1980. [Google Scholar]
  5. Li, P.; Yau, S.-T. A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact surfaces. Invent. Math. 1982, 69, 269–291. [Google Scholar] [CrossRef]
  6. Toda, M.D. Willmore Energy: Brief Introduction and Survey. In Willmore Energy and Willmore Conjecture; CRC Press: Boca Raton, FL, USA, 2018; pp. 1–7. [Google Scholar]
  7. Willmore, T.J. Note on Embedded Surfaces. An. Şti. Univ. "Al. I. Cuza” Iaşi Sect. I a Mat. (N.S.) 1965, 11, 493–496. [Google Scholar]
  8. Willmore, T.J. Riemannian Geometry; Oxford Science Publications: Oxford, UK; Oxford University Press: Oxford, UK, 1993. [Google Scholar]
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. Right Conoids Demonstrating a Time-like Axis within Minkowski Four-Dimensional Space. Mathematics 2024, 12, 2421. https://doi.org/10.3390/math12152421

AMA Style

Li Y, Güler E. Right Conoids Demonstrating a Time-like Axis within Minkowski Four-Dimensional Space. Mathematics. 2024; 12(15):2421. https://doi.org/10.3390/math12152421

Chicago/Turabian Style

Li, Yanlin, and Erhan Güler. 2024. "Right Conoids Demonstrating a Time-like Axis within Minkowski Four-Dimensional Space" Mathematics 12, no. 15: 2421. https://doi.org/10.3390/math12152421

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