mathematics
Article
Curvatures on Homogeneous Generalized Matsumoto Space
M. K. Gupta 1 , Suman Sharma 1 , Fatemah Mofarreh 2
1
2
3
*
and Sudhakar Kumar Chaubey 3, *
Department of Mathematics, Guru Ghasidas Vishwavidyalaya, Bilaspur 495009, India
Department of Mathematical Sciences, College of Sciences, Princess Nourah bint Abdulrahman University,
Riyadh 11546, Saudi Arabia
Section of Mathematics, Department of Information Technology, University of Technology and Applied
Sciences, P.O. Box 77, Shinas 324, Oman
Correspondence:
[email protected]
Abstract: The curvature characteristics of particular classes of Finsler spaces, such as homogeneous
Finsler spaces, are one of the major issues in Finsler geometry. In this paper, we have obtained the
expression for S-curvature in homogeneous Finsler space with a generalized Matsumoto metric and
demonstrated that the homogeneous generalized Matsumoto space with isotropic S-curvature has
to vanish the S-curvature. We have also derived the expression for the mean Berwald curvature by
using the formula of S-curvature.
Keywords: Minkowski space; Finsler space; homogeneous space; isometry group; Lie group; Matsumoto
change
MSC: 53B40; 53C60
1. Introduction
Citation: Gupta, M.K.; Sharma, S.;
Mofarreh, F.; Chaubey, S.K.
Curvatures on Homogeneous
Generalized Matsumoto Space.
Mathematics 2023, 11, 1316. https://
doi.org/10.3390/math11061316
Academic Editor: Adara M. Blaga
Received: 7 January 2023
About eight decades ago, G. Randers [1] published a paper on an asymmetric metric
at the four-dimensional space of general relativity. R. S. Ingarden identified this metric
as a special kind of Finsler metric in 1957. By extending the Randers metric of Finsler
space, M. Matsumoto [2] in 1972 developed the concept of an (α, β)-metric. The theory
of Finsler spaces with an (α, β)-metric has been developed into a useful branch of Finsler
geometry and studied by many geometers [3–8]. The (α, β)-metric is scalar function at the
tangent bundle
TM defined using F = αφ(s) with s = β/α, where β = bi ( x )yi is 1-form
q
and α = ahk ( x )yh yk denotes a Riemannian metric in the manifold M. The Randers metric,
Matsumoto metric and Kropina metric are very important examples of (α, β)-metrics.
1
Among them, the Matsumoto metric is one of the interesting examples with φ(s) = 1−
s,
given by M. Matsumoto [9] in 1989 by using the gradient of a slope, gravity and speed. The
generalized Matsumoto metric is defined as F = αφ(s) with
Revised: 5 March 2023
Accepted: 6 March 2023
φ(s) =
Published: 9 March 2023
1
,
(1 − s ) m
(1)
m +1
Copyright: © 2023 by the authors.
Licensee MDPI, Basel, Switzerland.
This article is an open access article
distributed under the terms and
conditions of the Creative Commons
Attribution (CC BY) license (https://
creativecommons.org/licenses/by/
i.e., F = (αα− β)m , where, m 6= 0, −1, and s 6= 1.
The germs of homogeneous Riemannian space were found in the Myers–Steenrod
theorem [10] in 1939, which states that “The group of isometries of a Riemannian manifold
admits a differentiable structure such that it forms a Lie transformation group of the manifold". This
theorem generalized the concept of the Lie group to homogeneous Riemannian manifolds.
Further, in 2002, Deng and Hou [11] extended the above conclusion to the Finsler manifold.
This result introduced the idea of using Lie theory in Finsler geometry. Some classical
results in Riemannian homogeneous space to Finsler homogeneous space were extended by
4.0/).
Mathematics 2023, 11, 1316. https://doi.org/10.3390/math11061316
https://www.mdpi.com/journal/mathematics
Mathematics 2023, 11, 1316
2 of 11
Latifi and Razavi [12]. The properties of homogeneous Riemannian manifolds are studied
in [13].
The exploration of the curvature characteristics of a special class of Finsler space is
the central problem at Finsler geometry. In 1997, Z. Shen [14] discussed S-curvature, a nonRiemannian quantity, while studying the volume comparison in Riemann–Finsler geometry.
It measures the change rate of volume form for a Finsler space along the geodesics. He
has given an explicit formula for S-curvature in homogeneous Finsler manifold with an
(α, β)-metric [15].
In 2006, the expression for S-curvature in the homogeneous Randers metric was
derived by S. Deng [16]. Further, in 2010, S. Deng and X. Wang [17] obtained the expression
for S-curvature of a G-invariant homogeneous Finsler manifold with an (α, β)-metric on
the coset space of a Lie group G, and by using this formula, they have obtained the Berwald
mean curvature Eij . As an application, they have proved that a G-invariant homogeneous
Finslerian space with an (α, β)-metric has isotropic S-curvature if and only if its S-curvature
vanishes. The expression for S-curvature, which was derived by S. Deng and X. Wang [17],
was modified by Shankar and Kaur [18] while studying homogeneous Finslerian space
with an (α, β)-metric; they also discussed the curvature property of homogeneous Finsler
space with an exponential metric [19]. Narasimhamurthy et al. [20] explored the curvature
characteristics of homogeneous Kropina space in 2017. Further, in 2022, G. Shankar et al. [21]
discussed curvatures on homogeneous generalized Kropina space. Narasimhamurthy
et al. [22] also studied the curvature properties on homogeneous Matsumoto space. In the
present paper, we obtained the expression for S-curvature in homogeneous Finsler space
with the generalized Matsumoto metric, and we used this expression of S-curvature to
obtain the expression for mean Berwald curvature.
This paper is structured as follows: we discuss the basic information on homogeneous
Finsler space and Lie groups in Section 2. In Section 3, we obtain the expression for Scurvature in a homogeneous Finsler manifold with the generalized Matsumoto metric and
demonstrated that the isotropic S-curvature in homogeneous generalized Matsumoto space
must have vanishing S-curvature. An explicit formula for Berwald mean curvature Eij is
obtained in Section 4.
Definition 1. [23] Suppose V is a real vector space of dimension n endowed with a smooth norm F
defined on V \{0} that satisfies the following:
(i) F (e) ≥ 0, ∀ e ǫ V,
(ii) F (λe) = λF (e), ∀λ > 0, i.e., F is positively homogeneous,
(iii) Let {e1 , e2 , .....en } be a basis of V such that y = y1 e1 + y2 e2 + .... + yn en . Then the Hessian
matrix
h 1 i
gij =
F2
,
2
yi y j
is positive definite at each point of V \{0}.
Then, F is called the Minkowski norm, and the pair (V, F ) is termed as Minkowski space.
Definition 2. [23] The Finsler metric at the smooth connected manifold M is a function F : TM →
[0, ∞) satisfying the following conditions:
(i)
(ii)
Regular: F is smooth on the entire slit tangent bundle TM \{0},
The restriction of F to any tangent plane Tx M, xǫM is a Minkowskian norm.
Then, the pair ( M, F ) is termed a Finsler manifold, or Finsler space.
The prerequisite for an (α, β)-metric to be a Finsler metric is stated by Z. Shen as follows:
Mathematics 2023, 11, 1316
3 of 11
β
Lemma 1. [23] Let F = αφ(s) with s = α , where α stands for Riemannian metric and β represents
a 1-form such that b := k βkα < b0 for b0 ∈ (0, ∞). If the smooth positive function φ on (−b0 , b0 )
obeys the restriction
′′
′
(b2 − s2 )φ − sφ + φ > 0,
for |s| ≤ b < b0 ;
then, F becomes a Finsler metric and vice-versa.
Now, let us discuss the S-curvature on a Finsler manifold. Let F be the Minkowskian
norm on an n-dimensional vector space V with the basis {ei }. The distortion of Minkowski
space (V, F ) is defined as follows [14]:
τ (y) = ln
where
σF =
q
| gij (y)|
σF
,
Vol ( Bn )
Vol {(yi ) ǫ Rn | F (yi ei )
< 1}
.
Furthermore, for any tangent vector y ǫ Tx M \{0}, let τ ( x, y) be a distortion of a Minkowskian
norm F on Tx M for any x ǫ M. Let γ(t) be a geodesic satisfying γ(0) = x, γ̇(0) = y. The
rate of change of the distortion along a geodesic γ is defined to be S-curvature and is
given by
d
S( x, y) =
[τ (γ(t)), γ̇(t)]| t=0 .
dt
While studying the volume comparison in Riemann–Finsler geometry, Z. Shen and X.
Cheng [15] defined the two different volume forms as follows:
Definition 3. [15] The Holmes–Thompson volume form dVHT = σHT ( x )d( x ) is defined as
σTH =
1
VolBn
Z
{yi ǫ Rn | F ( x,yi ei )<1}
|( gij )|dy.
The Busemann–Hausdroff volume form dVBH = σBH ( x )d( x ) is defined as
σBH =
Vol ( Bn )
Vol {(yi ) ǫ Rn | F ( x, yi ei )
< 1}
.
In the case of Riemannian metric, both volume forms coincide, i.e., dVHT = dVBH =
q
| gij ( x )|dx .
An isometry in a Finslerian space ( M, F ) is defined as follows:
Definition 4. [11] A diffeomorphism φ: M → M is said to be an isometry if
F (φ( x ), dφx y) = F ( x, y),
∀ x ǫ M, y ǫ Tx M.
Deng and Hou [11] have shown that the above definition of isometry in the Finsler
geometry ( M, F ) is equivalent to the following: “An isometry of ( M, F ) is a mapping of M
onto M which preserves the distance of each pair of points of M ”.
Let G be a smooth manifold satisfying the group properties. If the map λ : G × G →
G, λ( g1 , g2 ) = g1 g2−1 ∀ g1 , g2 ǫ G is smooth, then G is called a Lie group.
Let σ : G × M → M, ( g, x ) → g.x be an action of a Lie group G on a smooth manifold
M. It is called a Lie group action (or smooth action) if the map σ is differentiable. Thus, Lie
groups act on M as the left-translation given by L g ( x ) = gx.
The orbit of a Lie group G on a manifold M is defined as Gx = { g.x | g ǫ G }, at each point
x ǫ M. A Lie group action is called transitive if the Lie group possesses only one orbit.
Mathematics 2023, 11, 1316
4 of 11
Definition 5. [11] A Finsler space ( M, F ) is said to be a homogeneous Finsler space if the group of
isometries I ( M, F ) acts transitively on the manifold M.
Definition 6. A Riemannian metric α : TM
α gx ( gv, gu) = α x (v, u),
L
TM → R on a manifold M is called G-invariant if
∀ v, u ǫ Tx M, ∀ x ǫ M and ∀ g ǫ G.
A Lie algebra g is a vector space together with the Lie bracket (an alternating bilinear
map [ , ] : g × g → g) which satisfies the Jacobi identity. A Lie algebra is the tangent
space of a Lie group at the identity.
Definition 7. A Lie group G on a smooth manifold M is called a Lie transformation group if G
has smooth action on M.
One of Myers and Steenrod’s most well-known results is that “The group of isometries
I ( M, F ) of a Riemannian manifold is a Lie transformation group on M" [10]. This result was
extended to Finsler space by S. Deng and Z. Hau [11] as follows: “Let ( M, F ) be a homogeneous
Finsler space with the group of isometries G = I ( M, F ) being a Lie transformation group of M.
Then for a ǫ M the isotropic subgroup Ia ( M, F ) of I ( M, F ) at a is compact".
Let N = Ia ( M, F ) be a closed isotropy subgroup of G; then, by using the above result,
the subgroup N is compact and a Lie group itself. Therefore, a homogeneous Finsler
manifold M can be written as a coset space G/N.
Definition 8. [11] Let G/N be a homogeneous Finsler space, where N is a closed subgroup of
a connected Lie group G with Lie algebras n and g, respectively. The homogeneous Finsler space
( G/N, α) with an invariant Riemannian metric α is called reductive in the sense of Nomizu [24,25]
if the Lie algebra g can be decomposed as g = n ⊕ q with Ad(q) ⊂ q, ∀ nǫ N. Then, q corresponds
to the tangent space of G/N at the origin of N and β corresponds to a vector in q which is invariant
under the adjoint action of N on q.
Definition 9. [23] A Finsler Manifold M with Minkowaskian norm F is said to have almost
isotropic S-curvature if there exists a closed 1-form η and a smooth function k( x ) on M that satisfies
S( x, y) = (1 + n)[η (y) + k( x ) F (y)],
for x ǫ G/N, y ǫ Tx M.
If η (y) = 0, then the Finsler space ( M, F ) is said to have isotropic S-curvature. In addition, if
η (y) = 0 together with k( x ) = const, then the Finsler space ( M, F ) is said to have constant
S-curvature.
2. S-Curvature of Homogeneous Finsler Space with Generalized Matsumoto Metric
In 2009, Z. Shen and Cheng [15] obtained the formula for S-curvature for Finsler space
with (α, β)-metric, which is given as follows:
!
′
f (b)
Φ
(2)
S = (s0 + r0 ) 2ψ −
− α−1 2 (r00 − 2αQs0 ),
b f (b)
2∆
where
′
′
φ
Q =
′,
φ − sφ
Q
,
ψ =
2∆
′
∆ = Q (b2 − s2 ) + Qs + 1,
′
′′
Φ = ( Q − Q s)(∆n + Qs + 1) − (b2 − s2 )(1 + Qs) Q ,
2rij = bi| j + b j|i ,
2sij = bi| j − b j|i ,
i
b rij = r j ,
bi sij = s j ,
i j
rij y y = r00 ,
s i y i = s0 ,
(3)
(4)
Mathematics 2023, 11, 1316
5 of 11
and
f (b) =
R π
(sinn−2 ) T (bcost)dt
0 Rπ
,
n−2 t ) dt
0 ( sin
dV = dVHT ,
if
R π n −2
t
0 sin
,
R π sinn−2nt dt
if
dV = dVBH ,
0 φ(bcost) dt
where dVHT and dVBH are the Holmes–Thompson volume and the Busemann–Haudroff
volume form, respectively.
Z. Shen [15] proved that in the case of a constant Riemannian length b, the parameter
s0 + r0 vanishes. Hence, Equation (2) reduces to
S = − α −1
Φ
(r00 − 2αQs0 ).
2∆2
S. Deng and X. Wang deduced the above formula as follows:
Theorem 1. [17] If a reductive homogeneous Finsler space G/N has a decomposition of its Lie
algebra g = n ⊕ q with a G-invariant (α, β)-metric (F = αφ(s)), then the S-curvature is given
as follows:
Φ
αQh[w, y]q , wi + ch[w, y]q , yi ,
S( N, y) =
2∆2 α
where w ǫ q corresponds to β. Here, q corresponds to the tangent space TN ( G/N ) of G/N at
origin N.
Later on, G. Shankar and Kaur [18] modified the above expression of S-curvature as
S( N, y) =
Φ
αQh[w, y]q , wi + h[w, y]q , yi .
2∆2 α
(5)
By using Equation (5), we find the expression of S-curvature for the homogeneous generalized Matsumoto space.
In view of Equations (1), (3), and (4), we obtain the following parameters for the
homogeneous Finsler space with generalized Matsumoto metric:
Q =
m
[1 − s(m + 1)]
∆ =
′
Q =
m ( m + 1)
[1 − s(m + 1)]2
′′
Q = −
mb2 (m + 1) + (1 − s)2 − sm(1 + sm)
,
[1 − s(m + 1)]2
2m(m + 1)2
[1 − s(m + 1)]3
(6)
(7)
and
Φ =
o
2ms(1 + m) − m n
2
2
[
1
−
s
(
m
+
1
)](
1
−
s
)
+
n
[
mb
(
m
+
1
)
+
(
1
−
s
)
−
sm
(
1
+
sm
)]
[1 − s(m + 1)]4
+
2m(m + 1)2 (b2 − s2 )(1 − s)
,
[1 − s(m + 1)]4
which can be written as
Φ =
(s3 A + s2 B + sC − D )
,
[1 − s(m + 1)]4
(8)
Mathematics 2023, 11, 1316
6 of 11
where
B = −3m − m2 − mn(m + 1)(m2 + 2m + 5),
n
o
C = m(m + 2)(n + 1) + 2m(m + 1) 1 + n + b2 [mn2 + mn − m − 1] ,
A = 2m(m + 1)[2 − n(m − 1)],
D = m(n + 1) + mb2 [mn2 + mn − 2(m + 1)2 ].
Substituting the values from Equations (6)–(8) into Equation (5), we obtain the expression
of S-curvature in the homogeneous generalized Matsumoto space as
m
[
w,
y
]
,
w
[
w,
y
]
,
y
q
q
(s3 A + s2 B + sC − D )
.
S( N, y) =
+
2
[1 − s ( m + 1)
α
2{mb2 (m + 1) + (1 − s)2 − sm(1 + sm)}
(9)
Thus we have
Theorem 2. If a reductive homogeneous Finsler space G/N has a decomposition of Lie algebra
m +1
g = n ⊕ q with a G-invariant generalized Matsumoto metric (F = (αα− β)m ), then the S-curvature
is given by (9).
Next, we give an application of the above theorem.
Theorem 3. If a reductive homogeneous Finsler space G/N has a decomposition of Lie algebra g =
m +1
n ⊕ q with a G-invariant generalized Matsumoto metric (F = (αα− β)m ), then the Finsler space
( G/N, F ) has isotropic S-curvature if and only if the S-curvature vanishes.
Proof. We have to prove only the necessary part. Let the Finsler space ( G/N, F ) have
isotropic S-curvature; then, in view of Definition 9, we get
S( x, y) = k ( x )(n + 1) F (y),
x ǫ G/N and y ǫ Tx M.
In the case of a homogeneous space, it is enough to calculate S-curvature at origin, i.e.,
x = N, y = w. At origin, the right-hand side of the formula of S-curvature given in
Equation (9) becomes zero as h[w, w]q wi = 0, giving k( N ) = 0, which implies S( N, y) =
0 ∀ y ǫ Tx M. Hence, the Finsler space G/N has zero S-curvature.
3. Mean Berwald Curvature
Another significant non-Riemannian Finslerian quantity is mean Berwald curvature.
Z. Shen and S. S. Chern [23] have presented the mean Berwald curvature for the Finsler
space as a family of symmetry space Ey : Tx M × Tx M → R, defined by
Ey (u, v) = Eij ( x, y)ui v j ,
where
2Eij =
∂2 S( x, y)
,
∂yi ∂y j
(10)
and u = ui ∂x∂ i and v = vi ∂x∂ i ǫ Tx M for x ǫ M. Then, E = { Ey : y ǫ TM\{0}} is called the
mean Berwald curvature or E-curvature. They [23] also defined the isotropic E-curvature
as follows:
Definition 10. [23] A homogeneous Finsler space G/N has isotropic E-curvature if
2E = k ( x )(n + 1)hF −1 ,
Mathematics 2023, 11, 1316
7 of 11
where h = hij ( x, y)dxi dx j is the angular metric tensor.
At the origin , aij = δji ; therefore, we can easily get the following equalities:
yi = yi ,
s yi
y
1
= ( bi − s i ) ,
α
α
s yi y j
∂
=
∂y j
α yi =
yi
,
α
αbi − syi
α2
β y i = bi ,
=
(11)
[3syi y j − α(bi y j + b j yi ) − sα2 δji ]
α4
. (12)
Let us consider
ξ =
s3 A + s2 B + sC − D
2{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
2
.
(13)
Differentiating (13) with respect to y j and using Equations (11) and (12), we get
s3 A + s2 B + sC − D [2(1 − s) + m(1 + 2sm)]
∂ξ
=
sy j
3
∂y j
{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
3s2 A + 2sB + C
s ,
+
2 yj
2{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
which can be simplified as
∂ξ
(s4 R + s3 P + s2 T + sU + V )
s ,
=
3 yj
j
∂y
2{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
(14)
where
R = 3A(m2 − 1),
P = 2B(m2 − 1) − A(m + 2),
U = 2B[1 + mb2 (m + 1)] + C (m + 2) − 4D (m2 − 1),
T = 3A[1 + mb2 (m + 1)] + 3C (m2 − 1),
V = C [1 + mb2 (m + 1)] − 2D (m + 2).
Differentiating (14) with respect to yi , we get
∂2 ξ
(s4 R + s3 P + s2 T + sU + V )
s
=
3 yi y j
j
i
∂y ∂y
2{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
+
+
(4s3 R + 3s2 P + 2sT + U )
2{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
3
s yi s y j
3[2(1 − s) + m(1 + 2sm)] s4 R + s3 P + s2 T + sU + V
2{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
4
which can be simplified as
(s4 R + s3 P + s2 T + sU + V )
∂2 ξ
s
=
3 yi y j
j
i
∂y ∂y
2{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
5
s θ1 + s4 θ2 + s3 θ3 + s2 θ4 + sθ5 + θ6
+
s s ,
4 yi y j
2{mb2 (m + 1) + (1 − s)2 − ms(1 + ms)}
s yi s y j ,
Mathematics 2023, 11, 1316
8 of 11
where
θ1 = 2R(m2 − 1),
θ2 = 3P(m2 − 1) − R(m + 2),
θ3 = 4R[1 + mb2 (m + 1)] + 4T (m2 − 1),
θ4 = 3P[1 + mb2 (m + 1)] + T (m + 2) + 5U (m2 − 1),
θ5 = 2T [1 + mb2 (m + 1)] + 2U (m + 2) + bV (m2 − 1),
θ6 = 3V (m + 2) + [1 + mb2 (m + 1)]V.
In view of (13) Equation (9) can be rewritten as
ξ
ξm
[w, y]q , w +
[w, y]q , y .
S( N, y) =
[1 − s(m + 1)]
α
(15)
By using (15), Equation (10) can be rewritten as
1 ∂2 I
∂2 II
1 ∂2 S( x, y)
Eij =
=
+ i j ,
2 ∂yi ∂y j
2 ∂yi ∂y j
∂y ∂y
where
ξm
[w, y]q , w ,
I =
[1 − s(m + 1)]
ξ
II =
[w, y]q , y .
α
(16)
(17)
Now, we have to calculate each term of Equation (16) separately. Differentiating I with
respect to y j and using Equation (11), we obtain
∂I
∂
ξm
=
[
w,
y
]
,
w
q
∂y j
∂y j [1 − (m + 1)s]
∂ξ
m
m ( m + 1)
ξs j [w, y]q , w
=
+
[1 − (m + 1)s] ∂y j [1 − (m + 1)s]2 y
ξm
+
[w, w j ]q , w .
[1 − ( m + 1) s ]
(18)
Again, differentiating Equation (18) with respect to yi , we obtain
"
∂ξ
∂ξ
∂2 ξ
∂2 I
m ( m + 1)
m ( m + 1)
m
s j
=
+
s i+
[1 − s(m + 1)] ∂yi ∂y j [1 − s(m + 1)]2 ∂y j y
[1 − s(m + 1)]2 ∂yi y
∂yi ∂y j
#
D
E
m ( m + 1) ξ
m ( m + 1)2 ξ
+
s yi s y j +
syi sy j [w, y]q , w
2
3
[1 − s(m + 1)]
[1 − s(m + 1)]
m ( m + 1) ξ
m
∂ξ
[
w,
w
]
,
w
s
+
+
j
i q
[1 − s(m + 1)] ∂y j [1 − s(m + 1)]2 y
m
∂ξ
m ( m + 1) ξ
+
s i [w, w j ]q , w .
+
[1 − s(m + 1)] ∂yi [1 − s(m + 1)]2 y
Now differentiating II with respect to y j and using Equation (11), we get
∂II
∂ ξ
=
[
w,
y
]
,
y
q
∂y j
∂y j α
ξ ∂
∂ ξ
[w, y]q , y +
[w, y]q , y
=
α ∂y j
∂y j α
ξ
1 ∂ξ
ξy j
=
[ [w, y]q , w j + w, w j ]q , y ,
−
[w, y]q , y +
3
j
α ∂y
α
α
(19)
(20)
Mathematics 2023, 11, 1316
9 of 11
Again differentiating the Equation (20) with respect to yi , we get
∂2 II
=
∂yi ∂y j
where
3ξyi y j
1 ∂2 ξ
∂ξ yi
∂ξ y j
ξ i
−
−
+
−
δ
[w, y]q y
α ∂yi ∂y j
α5
α3 j
∂yi α3
∂y j α3
1 ∂ξ
ξy j
[w, wi ]q , y + [w, y]q , wi
+
− 3
α ∂y j
α
1 ∂ξ
ξyi
−
+
[w, w j ]q , y + [w, y]q , w j
3
i
α ∂y
α
ξ
[w, wi ]q , w j + [w, w j ]q , wi ,
+
α
(21)
∂
[w, y]q , y = [w, y]q , w j + [w, w j ]q , y ,
j
∂y
∂2
[
w,
y
]
,
y
= [w, wi ]q , w j + [w, w j ]q , wi ,
q
∂yi ∂y j
and
∂
[
w,
w
]
,
w
= 0,
q
i
∂y j
∂
[w, w j ]q , w = 0 .
i
∂y
Plugging the value of (19) and (21) into Equation (16), we get an expression for the mean
Berwald curvature Eij as follows:
Eij =
1
2
#
3ξyi y j
∂ξ yi
ξ i
∂ξ y j
1 ∂2 ξ
−
+
−
δ
[w, y]q y
−
α ∂yi ∂y j
α5
α3 j
∂yi α3
∂y j α3
ξ
1 ∂ξ
ξy j
[w, wi ]q , w j + [w, w j ]q , wi
+
[w, y]q , wi + [w, wi ]q , y +
−
α ∂y j
α
α3
1 ∂ξ
ξyi
[w, y]q , w j + [w, w j ]q , y
+
−
3
i
α ∂y
α
"
m
m ( m + 1)
m ( m + 1) ξ
∂ξ i
∂2 ξ
−
+
s +
s is j
(22)
[1 − s(m + 1)] ∂yi ∂y j [1 − s(m + 1)]2 ∂y j y [1 − s(m + 1)]2 y y
#
D
E
∂ξ
m ( m + 1)
m ( m + 1)2 ξ
syi sy j [w, y]q , w
+
sy j +
2
3
i
[1 − s(m + 1)] ∂y
[1 − s(m + 1)]
m ( m + 1) ξ
m
∂ξ
[
w,
w
]
,
w
s
+
−
j
q
i
[1 − s(m + 1)] ∂y j [1 − s(m + 1)]2 y
)
m
∂ξ
m ( m + 1) ξ
.
s i [w, w j ]q , w
−
+
[1 − s(m + 1)] ∂yi [1 − s(m + 1)]2 y
("
Thus we have
Theorem 4. If a reductive homogeneous Finsler space G/N has a decomposition of its Lie algem +1
bra g = n ⊕ q with a G-invariant generalized Matsumoto metric (F = (αα− β)m ), then mean
Berwald curvature is given by (22).
Z. Shen [26] has proved that if a Finsler space has almost isotropic S-curvature, then
it has isotropic E-curvature. In Theorem 3, we have shown that a reductive homogeneous
generalized Matsumoto space has isotropic S-curvature if and only if the S-curvature vanishes. In
view of Equation (10), the E-curvature also vanishes; therefore, the space is weakly Berwald.
Thus, we have the following corollary.
Mathematics 2023, 11, 1316
10 of 11
Corollary 1. Let a reductive homogeneous Finsler space G/N have a decomposition of its Lie algebra
m +1
g = n ⊕ q with a G-invariant generalized Matsumoto metric (F = (αα− β)m ). If ( G/N, F ) has
isotropic S-curvature, then the space is weakly Berwald.
4. Conclusions
We have obtained the result that if a reductive homogeneous generalized Matsumoto
space has isotropic S-curvature, then both the S-curvature and the E-curvature vanish, and
therefore the space is weakly Berwald. The question remains whether the above result is
true for any reductive homogeneous Finsler space with an (α, β)-metric.
Author Contributions: Conceptualization, M.K.G., S.S., F.M. and S.K.C.; Data creation, S.K.C.;
Funding acquisition, F.M.; Investigation, M.K.G., S.S., F.M.; Methodology, M.K.G., F.M. and S.K.C.;
Project administration, S.K.C.; Writing—original draft, M.K.G., F.M. and S.S.; Writing—review and
editing, S.K.C. and F.M. All authors have read and agreed to the published version of the manuscript.
Funding: The third author was supported by Grant Project No. (PNURSP2023R27) from Princess
Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.
Institutional Review Board Statement: Not applicable.
Informed Consent Statement: Not applicable.
Data Availability Statement: Not applicable.
Acknowledgments: Authors express their sincere thanks to the anonymous reviewers and Editor
for their valuable suggestions. The author, Fatemah Mofarreh, expresses her gratitude to Princess
Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2023R27),
Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.
Conflicts of Interest: The authors declare no conflict of interest.
References
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
Randers, G. On an asymmetrical metric in the four-space of general relativity. Phys. Rev. 1941, 59, 195. [CrossRef]
Matsumoto, M. Theory of (α, β)-metric. Rep. Math. Phys. 1992, 31, 43–83. [CrossRef]
Gupta, M.K.; Pandey, P.N. Hypersurface of a Finsler Space Subjected to a Kropina Change with an h-Vector. Proc. Natl. Acad. Sci.
USA 2018, 88, 241–246. [CrossRef]
Gupta, M.K.; Pandey, P.N. Hypersurfaces of conformally and h-conformally related Finsler spaces. Acta Math. Hung. 2009, 3,
257–264. [CrossRef]
Gupta, M.K.; Gupta, A.K. h -exponential change of Finsler metric. Facta Univ. (NIS) 2016, 31, 1029–1039. [CrossRef]
Gupta, M.K.; Pandey, P.N. On hypersurface of a Finsler space with a special metric. Acta Math. Hung. 2008, 120, 165–177.
[CrossRef]
Matsumoto, M. Foundations of Finsler Geometry and Special Finsler Spaces; Kaiseisha: Tokyo, Japan, 1986.
Matsumoto, M. The induced and intrinsic Finsler connections of a hypersurface and Finslerien projective geometry. J. Math. Kyoto
Univ. 1985, 25, 107–144. [CrossRef]
Matsumoto, M. A slope of a mountain is a Finsler surface with respect to a time measure. J. Math. Kyoto Univ. 1989, 29, 17–25.
[CrossRef]
Myers, S.B.; Steenrod, N.E. The group of isometries of a Riemannian manifold. Ann. Math. 1939, 40, 400–416. [CrossRef]
Deng, S.; Hau, Z. The group of isometries of a Finsler space. Pac. J. Math. 2002, 207, 149–155. [CrossRef]
Latifi, D.; Razavi, A. On homogeneous Finsler spaces. Rep. Math. Phys. 2006, 57, 357–366. [CrossRef]
Chaubey, S.K.; Suh, Y.J. Riemannian Concircular Structure Manifolds. Filomat 2022, 36, 6699–6711.
Shen, Z. Volume comparison and its applications in Riemann–Finsler geometry. Adv. Math. 1997, 128, 306–328. [CrossRef]
Shen, Z.; Cheng, X. A class of Finsler metrics with isotropic S-curvature. Israel J. Math. 2009, 169, 317–340.
Deng, S. The S-curvature of homogeneous Randers Spaces. Differ. Geo. Appl. 2009, 27, 75–84 [CrossRef]
Deng, S.; Wang, X. The S-curvature of homogeneous (α, β)-metrics. Balk. Geom. Its Appl. 2010, 15, 39–48.
Shanker, G.; Kaur, K. Homogeneous Finsler spaces with some special (α, β) -metrics. Appl. Sci. 2019, 21, 219–235.
Shankar, G.; Kaur, K. Homogeneous Finsler space with exponential metric. Adv. Geom. 2020, 20, 391–400. [CrossRef]
Narasimhamurthy, S.K.; Keriyappa, C.; Kamplappa, S.K. On curvatures of homogeneous Finsler-Kropina space. Gulf J. Math.
2017, 5, 73–83. [CrossRef]
Shankar, G.; Jangir, S.; Kaur, J. Curvatures on homogeneous Finsler space. arXiv 2022, arXiv:2203.04667v1.
Narasimhamurthy, S.K.; Kavyashree, A.R.; Mallikarjun, K.Y. Curvature properties of homogeneous Matsumoto metric. Asian J.
Math. Appl. 2014, 2014, ama0134.
Mathematics 2023, 11, 1316
23.
24.
25.
26.
11 of 11
Chern, S.S.; Shen, Z. Riemann–Finsler Geometry; World Scientific Publisher: Singapore, 2004.
Kobayashi, S.; Nomizu, K. Foundations of Differential Geomtry; Interscience Publishers: Geneva, Switzerland, 1963; Volume 1.
Nomizu, K. Invariant affine connections on homogeneous spaces. Amer. J. Math 1954, 76, 33–65. [CrossRef]
Shen, Z. Landsberg Curvature, S-Curvature and Riemann Curvature; Cambridge University Press: Cambridge, UK, 2013; p. 50.
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.