Next Article in Journal
A Genetic Algorithm for Site-Specific Management Zone Delineation
Next Article in Special Issue
Curves in Multiplicative Equiaffine Space
Previous Article in Journal
A Mathematical Model of a Fair Blood Allocation Framework for the Transfusion Haematology System of Bulgaria
Previous Article in Special Issue
Ricci Semi-Symmetric Robertson–Walker Spacetime in f(R)-Gravity
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Characterization of Finsler Space with Rander’s-Type Exponential-Form Metric

by
Vinit Kumar Chaubey
1,
Brijesh Kumar Tripathi
2,
Sudhakar Kumar Chaubey
3 and
Meraj Ali Khan
4,*
1
Department of Mathematics, North-Eastern Hill University, Shillong 793022, India
2
Department of Mathematics, L. D. College of Engineering, Navrangpura, Ahmedabad 380015, India
3
Section of Mathematics, IT Department, University of Technology and Applied Sciences, P.O. Box 77, Shinas 324, Oman
4
Department of Mathematics and Statistics, College of Science, Imam Mohammad Ibn Saud Islamic University (IMSIU), P.O. Box 65892, Riyadh 11566, Saudi Arabia
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(7), 1063; https://doi.org/10.3390/math13071063
Submission received: 11 February 2025 / Revised: 14 March 2025 / Accepted: 20 March 2025 / Published: 25 March 2025

Abstract

:
This study explores a unique Finsler space with a Rander’s-type exponential metric, G ( α , β ) = ( α + β ) e β ( α + β ) , where α is a Riemannian metric and β is a 1-form. We analyze the conditions under which its hypersurfaces behave like hyperplanes of the first, second, and third kinds. Additionally, we examine the reducibility of the Cartan tensor C for these hypersurfaces, providing insights into their geometric structure.

1. Introduction

The study of Finslerian hypersurfaces and their classification represents a significant advancement in the field of Finsler geometry, a branch of differential geometry that generalizes Riemannian geometry by allowing the metric to depend not only on position but also on direction. The notion of Finslerian hypersurfaces was first introduced by the eminent mathematician Matsumoto, who provided a systematic classification of these hypersurfaces into three distinct types: hyperplanes of the first kind, second kind, and third kind. This classification was based on the geometric and algebraic properties of the hypersurfaces and their relationship to the underlying Finsler metric. Matsumoto’s work laid the groundwork for subsequent research, inspiring numerous mathematicians to explore the properties of these hypersurfaces under various modifications and generalizations of the Finsler metric. These investigations, as documented in references [1,2,3,4,5,6,7,8,9,10,11,12], have uncovered a rich array of geometric properties, deepening our understanding of the intrinsic structure of Finslerian hypersurfaces and their applications in geometry and physics.
In addition to his contributions to the theory of Finslerian hypersurfaces, Matsumoto also introduced the concept of an ( α , β ) -metric [13], which has since become a central topic of research in Finsler geometry. An ( α , β ) -metric is a generalization of the classical Riemannian metric, where α represents the Riemannian part of the metric and β is a 1-form that introduces a directional dependence. The exponential metric, expressed as L = α e β α , is a unique form of the ( α , β ) -metric that has attracted significant attention due to its elegant structure and its connections to theoretical physics and cosmology. The exponential metric has been extensively examined by various authors [14,15,16,17,18,19,20], who have explored its geometric properties under different conditions. One notable feature of the exponential metric is its relationship to Rander’s metric. Specifically, under certain transformations, the exponential metric can be reduced to Rander’s metric, which has significant applications in theoretical physics, particularly in the study of spacetime geometries and cosmological models. This connection highlights the importance of ( α , β ) -metrics not only in pure mathematics but also in applied fields.
A hypersurface is a generalization of the concept of hyperplane. It is defined as follows.
Definition 1. 
A sub-manifold of dimension ( n 1 ) is termed a hypersurface of an enveloping manifold M of dimension n, and the co-dimension of the hypersurface is one.
If m > n , then the space V n is termed a subspace of V m , and V m serves as an enveloping space for V n . Particularly, if m = n + 1 , then V n is referred to as a hypersurface of the enveloping space V n + 1 .
Hence, a hypersurface M n 1 of the manifold M n can be parametrically described by the equation
x i = x i ( u α ) , { α = 1 , 2 , , ( n 1 ) } ,
where u represent the Gaussian coordinates on the hypersurface M n 1 .
If y i represents the supporting line element at a point ( u α ) on the hypersurface M n 1 , tangential to M n 1 , then we have
y i = B α i ( u ) v α
Thus, v α is regarded as the supporting element of M n 1 at a point ( u α ) . Considering the function G ̲ ( u , v ) = G ( x ( u ) , y ( u , v ) ) , which generates a Finsler metric on M n 1 , we obtain an ( n 1 ) -dimensional Finsler space U ( n 1 ) = ( M n 1 , G ̲ ( u , v ) ) .
In Finsler geometry, a hyperplane can be classified into different types based on its geometric properties. Below are some examples of such hypersurfaces:
Example 1. 
A sphere can be visualized as a three-dimensional structure and is an example of a two-dimensional manifold ( n = 2 ) embedded in three-dimensional space. Thus, a hypersurface on this sphere would be a one-dimensional curve.
Example 2. 
A torus can be visualized as a three-dimensional structure and is an example of a two-dimensional manifold ( n = 2 ) embedded in three-dimensional space, and a spiral curve would represent the hypersurface.
In Figure 1, the first image shows the sphere as the three-dimensional space, with the curve (red lines) representing a hypersurface within it. The second image features a torus as the three-dimensional space, where the spiral curve (red line) represents a hypersurface within that structure.
Example 3 
(Hyperplane of first kind). A hyperplane in a three-dimensional Finsler space is classified as a “hyperplane of the first kind" if it intersects with a given curve or surface within that space.
Example 4 
(Hyperplane of second kind). A “hyperplane of the second kind" in Finsler geometry is a hyperplane (represented by a surface) that does not intersect with a given curve or surface in the three-dimensional Finsler space.
In Figure 2, the first image shows a hyperplane intersecting with a curve, and this intersection is classified as a “hyperplane of the first kind”. In the second image, the surface is shifted upward by adding 5 to the z-values, preventing any intersection with the curve. This is referred to as the “hyperplane of the second kind”.
Example 5 
(Hyperplane of third kind). We consider a flat plane embedded in 3D space. This plane has zero curvature, and its normal vector remains constant. This serves as a simplified analogy for a hyperplane of the third kind in Finsler geometry, where the conditions of vanishing curvature and tensor create a similar “flatness" within the Finsler space (Figure 3).
Thus “hyperplane of the third kind” is essentially “flat” with respect to the ambient Finsler space.
In this paper, we introduce and analyze a novel ( α , β ) -metric defined as G ( α , β ) = ( α + β ) e β ( α + β ) . We refer to this metric as the Rander’s-type exponential ( α , β ) -metric due to its structural similarity to Rander’s metric combined with an exponential factor. This metric represents a natural extension of the classical Rander’s metric and the exponential metric, combining their features in a way that opens up new avenues for geometric exploration. Our primary focus is on investigating the intrinsic properties of this Finsler space, particularly the conditions under which its hypersurfaces exhibit characteristics of hyperplanes of the first, second, and third kind. In Theorem 3, we derive the necessary and sufficient conditions for the hypersurfaces of the Rander’s-type exponential ( α , β ) -metric to be classified as hyperplanes of the first kind. These conditions are expressed in terms of the geometric invariants of the Finsler space and provide a clear characterization of the hypersurfaces in this category. Similarly, in Theorem 4, we establish the conditions under which the hypersurfaces exhibit properties of hyperplanes of the second kind. These conditions involve a deeper analysis of the interplay between the Riemannian part α and the 1-form β in the metric. Finally, in Theorem 5, we address the case of hyperplanes of the third kind, identifying the specific geometric constraints that must be satisfied for the hypersurfaces to fall into this classification.
In addition to the classification of hypersurfaces, we also investigate the reducibility of the Cartan tensor C for these hypersurfaces. The Cartan tensor is a fundamental object in Finsler geometry, encoding information about the anisotropy of the Finsler metric. Its reducibility, or the extent to which it can be decomposed into simpler components, provides valuable insights into the geometric structure of the Finsler space. In Propositions 1–3, we examine the reducibility of the Cartan tensor in various forms, focusing on the hypersurfaces associated with the Rander’s-type exponential ( α , β ) -metric. These propositions reveal the conditions under which the Cartan tensor can be reduced to simpler forms, shedding light on the geometric behavior of the hypersurfaces and their relationship to the underlying metric.
Through this detailed analysis, we aim to contribute to the broader understanding of Finslerian hypersurfaces and their geometric properties, particularly in the context of the newly introduced Rander’s-type exponential ( α , β ) -metric. Our results not only extend the existing theory of Finslerian hypersurfaces but also provide new tools for exploring the geometric and physical implications of ( α , β ) -metrics. By uncovering the intrinsic properties of this metric and its hypersurfaces, we hope to inspire further research into the rich and diverse world of Finsler geometry.

2. Preliminaries

In this study, we investigate an n-dimensional Finsler space represented as U n = { M n , G ( α , β ) } . Here, U n consists of an n-dimensional differentiable manifold M n coupled with a fundamental function G that takes on a Rander’s-type exponential form within a unique Finsler space metric, expressed as
G ( α , β ) = ( α + β ) e β ( α + β )
Taking partial derivatives of Equation (1) with respect to α and β yields
G α = α ( α + β ) e β ( α + β ) , G β = ( 2 α + β ) ( α + β ) e β ( α + β )
G α α = β 2 ( α + β ) 3 e β ( α + β ) G β β = α 2 ( α + β ) 3 e β ( α + β )
G α β = α β ( α + β ) 3 e β ( α + β )
where G α = G α , G β = G β , G α α = G α α , G β β = G β β , G α β = G α β .
In the Finsler space U n = { M n , G ( α , β ) } , the normalized support element l i = i G ˙ and the angular metric tensor h i j are defined as, per reference [21],
l i = α 1 G α Y i + G β b i
h i j = p a i j + q 0 b i b j + q 1 ( b i Y j + b j Y i ) + q 2 Y i Y j
where Y i = a i j y j . For the fundamental metric Function (1) above, the constants are
p = e 2 β α + β ) , q 0 = α 2 ( α + β ) 2 e 2 β ( α + β ) , q 1 = β ( α + β ) 2 e 2 β ( α + β ) , q 2 = ( α + 2 β ) α ( α + β ) 2 e 2 β ( α + β )
The fundamental metric tensor g i j = 1 2 i ˙ j ˙ G 2 and its corresponding reciprocal tensor g i j for G = G ( α , β ) can be found in reference [21].
g i j = p a i j + p 0 b i b j + p 1 ( b i Y j + b j Y i ) + p 2 Y i Y j
where
p 0 = { α 2 + ( 2 α + β ) 2 } ( α + β ) 2 e 2 β ( α + β ) , p 1 = 2 α ( α + β ) 2 e 2 β ( α + β ) p 2 = 2 β α ( α + β ) 2 e 2 β ( α + β )
The reciprocal tensor g i j of g i j is given by
g i j = p 1 a i j s 0 b i b j s 1 ( b i y j + b j y i ) s s 2 y i y j
where b i = a i j b j a n d b 2 = a i j b i b j
s 0 = 1 τ p { p p 0 + ( p 0 p 2 p 1 2 ) α 2 } , s 1 = 1 τ p { p p 1 + ( p 0 p 2 p 1 2 ) β } , s 2 = 1 τ p { p p 2 + ( p 0 p 2 p 1 2 ) b 2 } , τ = p ( p + p 0 b 2 + p 1 β ) + ( p 0 p 2 p 1 2 ) ( α 2 b 2 β 2 )
The hv-torsion tensor C i j k = 1 2 k ˙ g i j is provided in reference [10].
2 p C i j k = p 1 ( h i j m k + h j k m i + h k i m j ) + γ 1 m i m j m k
where
γ 1 = p p 0 β 3 p 1 q 0 , m i = b i α 2 β Y i
Here, m i represents a non-zero covariant vector that is orthogonal to the support element y i .
Given the components { j k i } representing the Christoffel symbols of the associated Riemannian space R n , and using k to represent the covariant derivative with respect to x k determined by these Christoffel symbols, we now introduce the following definition:
2 E i j = b i j + b j i , 2 U i j = b i j b j i
where b i j = j b i .
The Cartan connection of U n , represented as C Γ = ( Γ j k * i , Γ 0 k * i , Γ j k i ) , defines the special Finsler space. The difference tensor D j k i = Γ j k * i { j k i } is given by
D j k i = B i E j k + U k i B j + U j i B k + B j i b 0 k + B k i b 0 j b 0 m g i m B j k C j m i A k m C k m i A j m + C j k m A s m g i s + λ s ( C j m i C s k m + C k m i C s j m C j k m C m s i )
where
B k = p 0 b k + p 1 Y k , B i = g i j B j , U i k = g k j U j i B i j = { p 1 ( a i j α 2 Y i Y j ) + p 0 β m i m j } 2 , B i k = g k j B j i A k m = B k m E 00 + B m E k 0 + B k U 0 m + B 0 U k m λ m = B m E 00 + 2 B 0 U 0 m , B 0 = B i y i
In this context, the symbol ‘ 0 ’ represents contraction with y i , excluding the elements p 0 , q 0 , and s 0 .

3. Cartan Connection for the Hypersurface of a Finsler Space

If U n 1 represents a hypersurface of U n defined by x i = x i ( u α ) , with { α = 1 , 2 , 3 ( n 1 ) } , and if the supporting element y i of U n is tangent to F n 1 [21], then
y i = B α i ( u ) v α
The metric tensor, the hv-tensor, a unit normal vector, the angular metric tensor, and the connection between projection factors and their inverses for a Finslerian hypersurface F n 1 [21] at a point ( u α ) are detailed as follows:
g α β = g i j B α i B β j , C α β γ = C i j k B α i B β j B γ k ,
g i j { x ( u , v ) , y ( u , v ) } B α i N j = 0 , g i j { x ( u , v ) , y ( u , v ) } N i N j = 1
.
h α β = h i j B α i B β j , h i j B α i N j = 0 , h i j N i N j = 1 .
B i α = g α β g i j B β j , B α i B i β = δ α β , B i α N i = 0 , B α i N i = 0 .
N i = g i j N j , B i k = g k j B j i , B α i B j α + N i N j = δ j i .
The Cartan connection I C Γ = ( Γ β γ * α , G β α , C β γ α ) associated with the Finslerian hypersurface F n 1 is expressed as
Γ β γ * α = B i α ( B β γ i + Γ j k * i B β j B γ k ) + M β α h γ .
G β α = B i α ( B 0 β i + Γ 0 j * i B β j ) , C β γ α = B i α C j k i B β j B γ k ,
where
M β γ = N i C j k i B β j B γ k , M β α = g α γ M β γ , H β = N i ( B 0 β i + Γ o j * i B β j ) ,
and
B β γ i = B β i u γ , B 0 β i = B α β i v α .
Note: The tensorial quantities M α β and H α are identified as the second fundamental v-tensor and the normal curvature vector, respectively.
Moreover, the second fundamental h-tensor H β γ can be represented as, per [21],
H β γ = N i ( B β γ i + Γ j k * i B β j B γ k ) + M β H γ ,
In this context, M β = N i C j k i B β j N k . Given the above expression, it is evident that the tensorial quantity H β γ is non-symmetric, leading to
H β γ H γ β = M β H γ M γ H β .
The covariant derivatives of the projection factor B α i with respect to the h- and v-directions of I C Γ can now be articulated as
B α | β i = H α β N i , B α i | β = M α β N i .
When we contract H β γ and H γ β with v β , the result is
H 0 γ = H γ , H γ 0 = H γ + M γ H 0 ,
Hence, the crucial findings for the Finslerian hypersurface [21] that we will utilize in our current study are as follows.
Lemma 1. 
The normal curvature tensor becomes zero in all cases if and only if the normal curvature vector vanishes on a Finslerian hypersurface U ( n 1 ) .
Lemma 2. 
In a scenario where U n symbolizes a Finsler space and U ( n 1 ) signifies its hypersurface, the hypersurface U ( n 1 ) is classified as a hyperplane of the first kind solely when the normal curvature vector completely disappears.
Lemma 3. 
Given a Finsler space denoted by U n and its corresponding hypersurface U ( n 1 ) , the hypersurface U ( n 1 ) is categorized as a hyperplane of the second kind only under the condition that both the normal curvature vector and the second fundamental h-tensor vanish completely.
Lemma 4. 
In the context where U n stands for a Finsler space and U ( n 1 ) denotes its hypersurface, the hypersurface U ( n 1 ) is classified as a hyperplane of the third kind if and only if the normal curvature vector, the second fundamental h-tensor, and the v-tensor vanish identically.

4. Hypersurface U ( n 1 ) ( c ) of a Finsler Space with Rander’s-Type Exponential Form of ( α , β ) -Metric

In the context of a Finsler space featuring a Rander’s-type exponential ( α , β ) -metric expressed as G ( α , β ) = ( α + β ) e β ( α + β ) , where α = a i j ( x ) y i y j denotes a Riemannian metric and the vector field b i ( x ) = b x i signifies the gradient of a scalar function b ( x ) , we now explore a hypersurface U ( n 1 ) ( c ) determined by the equation b ( x ) = c , where c stands for a constant [10].
Obtained from the parametric representation x i = x i ( u α ) of F n 1 ( c ) , we derive
b ( x ) u α = 0
b ( x ) x i x i u α = 0
b i B α i = 0
The preceding demonstration illustrates that b i ( x ) represents the covariant components of a normal vector field of the hypersurface U n 1 ( c ) . Moreover, we have
b i B α i = 0 a n d b i y i = 0 i . e β = 0
and the induced metric G ( u , v ) of U n 1 ( c ) is given by
G ( u , v ) = a α β v α v β , a α β = a i j B α i B β j
which is a Riemannian metric.
Substituting β = 0 into Equations (2), (4) and (6) yields
p = 1 , q 0 = 1 , q 1 = 0 q 2 = α 2 p 0 = 5 p 1 = 2 α 1 p 2 = 0 τ = 1 + b 2 , s 0 = 1 1 + b 2 s 1 = 2 α ( 1 + b 2 ) s 2 = 4 b 2 α 2 ( 1 + b 2 )
From Equation (5) we obtain
g i j = a i j 1 1 + b 2 b i b j 2 α ( 1 + b 2 ) ( b i y j + b j y i ) + 4 b 2 α 2 ( 1 + b 2 ) y i y j
Therefore, traversing the Finslerian hypersurface U n 1 ( c ) using Equations (20) and (17) results in
g i j b i b j = b 2 ( 1 + b 2 )
Thus, we have
b i ( x ( u ) ) = b 2 ( 1 + b 2 ) N i , b 2 = a i j b i b j
where b is the length of the vector b i .
Once more, by utilizing Equations (20) and (21), we obtain
b i = a i j b j = b 1 + b 2 N i + 2 b 2 y i α
Thus, we have the following theorem.
Theorem 1. 
The Riemannian metric induced on a Finsler hypersurface U ( n 1 ) ( c ) within a Finsler space U ( n ) ( c ) , characterized by the Rander’s-type exponential metric described in Equation (1), is delineated in Equation (18). Moreover, the scalar function b ( x ) is defined by Equations (21) and (22).
The angular metric tensor h i j and the fundamental metric tensor g i j of U n can be expressed as
h i j = a i j + b i b j 1 α 2 Y i Y j a n d g i j = a i j + 5 b i b j + 2 α ( b i Y j + b j Y i )
By combining Equations (17), (23) and (13), it can be deduced that, if h α β ( a ) represents the angular metric tensor of the Riemannian a i j ( x ) , then, along U ( c ) n 1 , h α β = h α β ( a ) .
Thus, along U ( c ) n 1 , p 0 β = 4 α .
Deriving from Equation (8), we obtain
γ 1 = 2 α , m i = b i
Then, the hv-torsion tensor becomes
C i j k = 1 α ( h i j b k + h j k b i + h k i b j ) 1 α b i b j b k
In the Rander’s-type exponential form of the ( α , β ) -metric of a Finsler hypersurface U ( c ) ( n 1 ) , it follows from Equations (13), (14), (16), (17) and (24) that we obtain
M α β = 1 α b 2 ( 1 + b 2 ) h α β a n d M α = 0
Hence, based on Equation (14), it can be concluded that H α β is symmetric, leading to the following theorem.
Theorem 2. 
The v-tensor, representing the second fundamental form for the hypersurface U ( n 1 ) ( c ) within a Finsler space characterized by the Rander’s-type exponential metric described in Equation (1), is given by Equation (25). Simultaneously, the h-tensor H α β is identified as symmetric.
Now, from Equation (17), we have b i B α i = 0 . Then, we have
b i | β B α i + b i B α | β i = 0
Consequently, by utilizing Equation (16) and the expression b i | β = b i | j B β j + b i | j N j H β , we obtain
b i | j B α i B β j + b i | j B α i N j H β + b i H α β N i = 0
Since b i | j = b h C i j h , we obtain
b i | j B α i N j = 0
Thus, deriving from Equation (26), we have
b 2 ( 1 + b 2 ) H α β + b i | j B α i B β j = 0
Since b i | j is symmetric, upon contracting Equation (27) with v β and applying Equation (12), we obtain
b 2 ( 1 + b 2 ) H α + b i | j B α i y j = 0
Once more, contracting Equation (28) with v α and employing Equation (12), we arrive at
b 2 ( 1 + b 2 ) H 0 + b i | j y i y j = 0
From Lemmas 1 and 2, along with Equation (29), it becomes evident that a Finslerian hypersurface U ( n 1 ) ( c ) within a Finsler space featuring Rander’s-type exponential metric as given in Equation (1) is a first-kind hyperplane if b i | j y i y j = 0 .
Given that b i | j represents the covariant derivative concerning C Γ within the Finsler space U n defined over y i , whereas b i j = j b i denotes the covariant derivative concerning the Riemannian connection { j k i } , it follows that b i j is independent of y i . Consequently, we are inclined to examine the disparity b i | j b i j , where b i j = j b i .
Given that b i constitutes a gradient vector, we can deduce from Equation (9) that
E i j = b i j U i j = 0 a n d U j i = 0
Leveraging the aforementioned fact and Equation (10), the difference tensor D j k i = Γ j k * i { j k i } can be articulated as
D j k i = B i b j k + B j i b 0 k + B k i b 0 j b 0 m g i m B j k C j m i A k m C k m i A j m + C j k m A s m g i s + λ s ( C j m i C s k m + C k m i C s j m C j k m C m s i )
where
B i = 5 b i + 2 α 1 Y i , B i = 5 ( 1 + b 2 ) b i + 2 ( 1 b 2 ) α ( 1 + b 2 ) y i , B i B i = 4 + 21 b 2 1 + b 2 , λ m = B m b 00 , B i j = 1 α ( a i j Y i Y j α 2 ) + 2 α b i b j , B j i = 1 α { ( δ j i α 2 y i Y j ) + 2 ( 1 + b 2 ) b i b j 4 b 2 α ( 1 + b 2 ) b j y i } , A k m = B k m b 00 + B m b k 0
Considering Equations (19) and (20), the connection in Equation (11) transforms into B 0 i = 0 , B i 0 = 0 , owing to Equation (31), resulting in A 0 m = B m b 00 .
Contracting Equation (30) with y k now yields
D j 0 i = B i b j 0 + B j i b 00 B m C j m i b 00
Once more, contracting the previous equation with respect to y j gives
D 00 i = B i b 00 = { 5 ( 1 + b 2 ) b i + 2 ( 1 b 2 ) α ( 1 + b 2 ) y i } b 00
Considering Equation (17) in the context of U ( c ) ( n 1 ) , we obtain
b i D j 0 i = 5 b 2 ( 1 + b 2 ) b j 0 + 1 + 3 b 2 α ( 1 + b 2 ) b j b 00 5 1 + b 2 b i b m C j m i b 00
Contracting Equation (32) with y j , we have
b i D 00 i = 5 b 2 1 + b 2 b 00
Given Equations (21), (22) and (25), and M α = 0 , we obtain
b i b m C j m i B α j = b 2 ( 1 + b 2 ) M α = 0
Therefore, with the relation b i | j = b i j b r D i j r , Equations (32) and (33) yield
b i | j y i y j = b 00 b r D 00 r = 1 4 b 2 1 + b 2 b 00
As a result, Equations (28) and (29) can be expressed as
b 2 1 + b 2 H α + 1 4 b 2 1 + b 2 b i 0 B α i = 0 , b 2 1 + b 2 H 0 + 1 4 b 2 1 + b 2 b 00 = 0
Therefore, the condition H 0 = 0 is equivalent to b 00 = 0 . Utilizing the fact that β = b i y i = 0 , the condition b 00 = 0 can be restated as b i j y i y j = b i y i b j y j for a certain c j ( x ) . Hence, we can express this as
2 b i j = b i c j + b j c i
Combining Equations (17) and (35), we obtain
b 00 = 0 , b i j B α i B β j = 0 , b i j B α i y j = 0
Hence, from Equation (34), we obtain H α = 0 ; again, from Equations (31) and (35), we obtain b i 0 b i = c 0 b 2 2 , λ m = 0 , A j i B β j = 0 , and B i j B α i B β j = 1 α h α β .
Now, employing Equations (20), (21), (22), (25) and (30), we arrive at
b r D i j r B α i B β j = c 0 b 4 2 α ( 1 + b 2 ) h α β
Therefore, Equation (27) simplifies to
H α β + c 0 b 3 2 α ( 1 + b 2 ) 3 / 2 h α β = 0
Therefore, the hypersurface F ( c ) n 1 exhibits umbilic properties.
Theorem 3. 
The necessary and sufficient condition for the hypersurface U ( n 1 ) ( c ) in a Finsler space U ( n ) ( c ) with a Rander’s-type exponential-form metric given by Equation (1) to be a hyperplane of the first kind is precisely defined in Equation (35).
The following is evident from Equation (35).
Corollary 1. 
The second fundamental h-tensor for a Finsler hypersurface U ( n 1 ) ( c ) of a Finsler space U ( n ) ( c ) equipped with a Rander’s-type exponential-form metric defined in Equation (1) is directly related to its angular metric tensor.
According to Lemma 3, the hypersurface U ( n 1 ) ( c ) qualifies as a hyperplane of the second kind when and only when H α = 0 and H α β = 0 . Consequently, deducing from Equation (36), we obtain
c 0 = c i ( x ) y i = 0
Thus, there exists a function ψ ( x ) such that
c i ( x ) = ψ ( x ) b i ( x )
Therefore, from Equation (35), we obtain
2 b i j = b i ( x ) ψ ( x ) b j ( x ) + b j ( x ) ψ ( x ) b i ( x )
This can be expressed as
b i j = ψ ( x ) b i b j
Theorem 4. 
The necessary and sufficient condition for the hypersurface U ( n 1 ) ( c ) of a Finsler space U ( n ) ( c ) equipped with a Rander’s-type exponential-form metric defined in Equation (1) to be classified as a hyperplane of the second kind is delineated in Equation (37).
Once more, Lemma 4, in conjunction with Equation (25) and M α = 0 , indicates that U n 1 ( c ) does not form a hyperplane of the third kind. Therefore, the following holds.
Theorem 5. 
The hypersurface U ( n 1 ) ( c ) within a Finsler space U ( n ) ( c ) , distinguished by a Rander’s-type exponential metric as specified in Equation (1), is incapable of being a hyperplane of the third kind.

5. Some Important Results of Hypersurfaces U ( n 1 ) ( c ) of a Finsler Space U n ( c ) with Rander’s-Type Exponential Form of ( α , β ) -Metric

The hv-torsion tensor C i j k of U ( n 1 ) ( c ) with a Rander’s-type exponential metric of ( α , β ) , expressed in Equation (24), is given by
C i j k = 1 α ( h i j b k + h j k b i + h k i b j ) 1 α b i b j b k
Contracting by g j k , we have
C i = C i j k g j k = ( 2 + 3 b 2 ) α ( 1 + b 2 ) b i
This indicates that
b i = α ( 1 + b 2 ) ( 2 + 3 b 2 ) C i
Therefore, when expressed as Equation (24),
C i j k = ( 1 + b 2 ) ( 2 + 3 b 2 ) ( h i j C k + h j k C i + h k i C j ) α 2 ( 1 + b 2 ) 3 ( 2 + 3 b 2 ) 3 C i C j C k
Definition 2. 
A Finsler Space U n is called semi-C-reducible, if the (h) hv-tortion tensor C i j k is written in the form
C i j k = p ( n + 1 ) ( h i j C k + h j k C i + h k i C j ) + q C 2 C i C j C k .
Now, by combining Equations (39) and (40), we obtain
p = ( n + 1 ) ( 1 + b 2 ) ( 2 + 3 b 2 ) a n d q = α 2 C 2 ( 1 + b 2 ) 3 ( 2 + 3 b 2 )
Thus, we arrive at the following proposition.
Proposition 1. 
The Finslerian hypersurface U ( n 1 ) ( c ) of Finsler space U n equipped with a Rander’s-type exponential-form metric defined in Equation (1) is always a semi- C -reducible Finsler space if Equation (41) satisfied.
Moreover, by contracting Equation (24) with B α i and utilizing Equation (17), we can derive
C i j k B α i = 1 α ( h i j b k B α i + h k i b j B α i )
By contracting Equation (42) with B β j and applying Equation (17), we obtain
C i j k B α i B β j = 1 α h i j b k B α i B β j
This suggests that
C i j k B α i B β j = 1 α h α β b k
By contracting Equation (43) and applying Equation (17), we find
C i j k B α i B β j B γ k = C α β γ = 0
Proposition 2. 
The Finslerian hypersurface U ( n 1 ) ( c ) of Finsler space U n equipped with a Rander’s-type exponential-form metric defined in Equation (1) is a C -reducible Finsler space if Equation (44) satisfied.
Definition 3. 
A Finsler space U n is called C 2-like if the (h) hv-tortion tensor C i j k is written in the form
C i j k = 1 C 2 C i C j C k
The main scalar I [22] of a two-dimensional Finsler space is defined as
L C i j k = I m i m j m k
Since m i = b i , then we have
L C i j k = I b i b j b k
Contracting g j k , we have
L C i = I b 2 ( 1 + b 2 ) b i
Now, the main scalar I of a two-dimensional Finsler space is
C i j l = L 2 ( 1 + b 2 ) 3 I 3 b 6 C i C j C k
Therefore, utilizing the definition above and Equation (46), we find
C = I 3 2 b 3 L ( 1 + b 2 ) 3 2
Proposition 3. 
The Finslerian hypersurface U ( n 1 ) ( c ) in a two-dimensional Finsler space U n , which is endowed with Rander’s-type exponential-form metric as defined in Equation (1), will consistently represent a C 2 -like Finsler space given that Equation (47) holds true.

6. Conclusions

Following an in-depth exploration of a distinct Finsler space defined by a Rander’s-type exponential-form metric with the expression G ( α , β ) = ( α + β ) e β ( α + β ) , where α represents the Riemannian metric and β denotes the 1-form metric, this study has delved into the intrinsic properties of this specialized geometric space.
The research has primarily focused on investigating the behavior of hypersurfaces within this Finsler space and their resemblance to hyperplanes categorized into the first, second, and third kinds. By scrutinizing the conditions under which these hypersurfaces exhibit such characteristics, we have unveiled significant insights into the interplay between the metric structure and the geometric properties of the space.
Furthermore, our study has examined the reducibility of the Cartan tensor C for these hypersurfaces in diverse forms, unveiling further layers of complexity within the geometric framework.
By shedding light on the nuanced relationship between the metric structure and the geometric features of Finsler spaces, this research contributes to a deeper understanding of the behavior of these spaces under specific conditions. The findings presented in this study pave the way for further exploration and research in the realm of Finsler geometry, offering a promising avenue for uncovering additional intriguing facets and applications within this field.

Author Contributions

Conceptualization, V.K.C., B.K.T., S.K.C. and M.A.K.; methodology, V.K.C., B.K.T., S.K.C. and M.A.K.; investigation, V.K.C., B.K.T., S.K.C. and M.A.K.; Writing—original draft preparation, V.K.C., B.K.T., S.K.C. and M.A.K. writing—review and editing, V.K.C., B.K.T., S.K.C. and M.A.K. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-DDRSP2502).

Data Availability Statement

The original contributions presented in the study are included in the article, further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Chaubey, V.K.; Mishra, A. Hypersurface of a Finsler Space with Special (α, β)-metric. J. Contemp. Math. Anal. 2017, 52, 1–7. [Google Scholar]
  2. Li, Y.; Bin-Asfour, M.; Albalawi, K.S.; Guediri, M. Spacelike Hypersurfaces in de Sitter Space. Axioms 2025, 14, 155. [Google Scholar] [CrossRef]
  3. Li, Y.; Bhattacharyya, S.; Azami, S.; Hui, S. Li-Yau type estimation of a semilinear parabolic system along geometric flow. J. Inequal. Appl. 2024, 131, 2024. [Google Scholar] [CrossRef]
  4. 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]
  5. Kitayama, M. On Finslerian hypersurfaces given by β-change. Balk. J. Geom. Its Appl. 2002, 7, 49–55. [Google Scholar]
  6. Lee, I.Y.; Park, H.Y.; Lee, Y.D. On a hypersurface of a special Finsler spaces with a metric ( α + β 2 α ) . Korean Math. Sci. 2001, 8, 93–101. [Google Scholar]
  7. Narasimhamurthy, S.; Kumar, P.; Bagewadi, C.S. C-Conformal metric transformations on Finslerian hypersurface. J. Indones. Math. Soc. 2011, 17, 59–66. [Google Scholar]
  8. Pandey, P.N.; Yadav, G.P. Hypersurface of a Finsler space with Randers change of special (α, β)-Metric. Bull. Transilv. Univ. Bras. III Math. Inform. Phys. 2018, 11, 195–206. [Google Scholar]
  9. Shankar, G.; Ravindra. On a hypersurface of a Finsler space with the special (α, β)-metric α + β + β N + 1 α N . J. Indian Math. Soc. 2013, 80, 329–339. [Google Scholar]
  10. Singh, U.P.; Kumari, B. On a hypersurface of a Matsumoto space. Indian J. Pure Appl. Math. 2001, 32, 521–531. [Google Scholar]
  11. Tripathi, B.K. Hypersurfaces of a Finsler Space with Deformed Berwal-Infinite Series Metric. TWMS J. Appl. Eng. Math. 2020, 10, 296–304. [Google Scholar]
  12. Tiwari, S.K.; Rai, A. Finslerian Hypersurface and Generalized β-Conformal Change of Finsler Metric. Kyungpook Math. J. 2018, 58, 781–788. [Google Scholar]
  13. Matsumoto, M. Theory of Finsler spaces with (α, β)-metric. Rep. Math. Phys. 1992, 31, 43–83. [Google Scholar] [CrossRef]
  14. Cheng, X.; Shen, Z.; Tian, Y. A class of Einstein (α, β)-metrics. Israel J. Math. 2012, 192, 221–249. [Google Scholar] [CrossRef]
  15. Gupta, M.K.; Gupta, A.K. Hypersurface of a Finsler space subjected to an h-exponential change of metric. Int. J. Geom. Methods Mod. Phys. 2016, 13, 1650129. [Google Scholar] [CrossRef]
  16. Gupta, M.K.; Sharma, S. On h-Randers exponential change of finsler metric. S. East Asian Math. Math. Sci. 2023, 19, 345–358. [Google Scholar]
  17. Kushwaha, R.S.; Shankar, G. On the L-duality of a Finsler space with exponential metric α e β α . Acta Univ. Sapientiae Math. 2018, 10, 167–177. [Google Scholar]
  18. Tripathi, B.K.; Patel, D. Berwald and Douglas spaces of a Finsler space with an exponential form of (α, β)-metric. Korean J. Math. 2024, 32, 661–671. [Google Scholar]
  19. Tayebi, A.; Nankali, A.; Najafi, B. On the Class of Einstein Exponential-Type Finsler Metrics. J. Math. Phys. Anal. Geom. 2018, 14, 100–114. [Google Scholar]
  20. Yu, Y. Projectively flat arctangent Finsler metric. J. Zhejiang Univ. Sci. A 2006, 7, 2097–2103. [Google Scholar] [CrossRef]
  21. Matsumoto, M. The induced and intrinsic Finsler connections of a hypersurface and Finslerian projective geometry. J. Math. Kyoto Univ. 1985, 25, 107–144. [Google Scholar]
  22. Matsumoto, M. Foundations of Finsler Geometry and Special Finsler Spaces; Kaiseisha Press: Saikawa, Japan, 1986. [Google Scholar]
Figure 1. Examples of hypersurface in sphere and torus.
Figure 1. Examples of hypersurface in sphere and torus.
Mathematics 13 01063 g001
Figure 2. Examples of first- and second-kind hyperplane in 3D.
Figure 2. Examples of first- and second-kind hyperplane in 3D.
Mathematics 13 01063 g002
Figure 3. Example of hyperplane of third kind.
Figure 3. Example of hyperplane of third kind.
Mathematics 13 01063 g003
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

Chaubey, V.K.; Tripathi, B.K.; Chaubey, S.K.; Khan, M.A. Characterization of Finsler Space with Rander’s-Type Exponential-Form Metric. Mathematics 2025, 13, 1063. https://doi.org/10.3390/math13071063

AMA Style

Chaubey VK, Tripathi BK, Chaubey SK, Khan MA. Characterization of Finsler Space with Rander’s-Type Exponential-Form Metric. Mathematics. 2025; 13(7):1063. https://doi.org/10.3390/math13071063

Chicago/Turabian Style

Chaubey, Vinit Kumar, Brijesh Kumar Tripathi, Sudhakar Kumar Chaubey, and Meraj Ali Khan. 2025. "Characterization of Finsler Space with Rander’s-Type Exponential-Form Metric" Mathematics 13, no. 7: 1063. https://doi.org/10.3390/math13071063

APA Style

Chaubey, V. K., Tripathi, B. K., Chaubey, S. K., & Khan, M. A. (2025). Characterization of Finsler Space with Rander’s-Type Exponential-Form Metric. Mathematics, 13(7), 1063. https://doi.org/10.3390/math13071063

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