Next Article in Journal
Certain Properties of a Class of Functions Defined by Means of a Generalized Differential Operator
Next Article in Special Issue
Differential Geometry of Submanifolds in Complex Space Forms Involving δ-Invariants
Previous Article in Journal
Formulation of Parsimonious Urban Flash Flood Predictive Model with Inferential Statistics
Previous Article in Special Issue
f(R,T)-Gravity Model with Perfect Fluid Admitting Einstein Solitons
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Bounds for Statistical Curvatures of Submanifolds in Kenmotsu-like Statistical Manifolds

by
Aliya Naaz Siddiqui
1,†,
Mohd Danish Siddiqi
2,*,† and
Ali Hussain Alkhaldi
3
1
Department of Mathematics, Maharishi Markandeshwar (Deemed to be University), Mullana, Ambala 133207, India
2
Department of Mathematics, College of Science, Jazan University, Jazan 45142, Saudi Arabia
3
Department of Mathematics, College of Science, King Khalid University, Abha 62529, Saudi Arabia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2022, 10(2), 176; https://doi.org/10.3390/math10020176
Submission received: 21 November 2021 / Revised: 30 December 2021 / Accepted: 5 January 2022 / Published: 6 January 2022
(This article belongs to the Special Issue Geometry of Manifolds and Applications)

Abstract

:
In this article, we obtain certain bounds for statistical curvatures of submanifolds with any codimension of Kenmotsu-like statistical manifolds. In this context, we construct a class of optimum inequalities for submanifolds in Kenmotsu-like statistical manifolds containing the normalized scalar curvature and the generalized normalized Casorati curvatures. We also define the second fundamental form of those submanifolds that satisfy the equality condition. On Legendrian submanifolds of Kenmotsu-like statistical manifolds, we discuss a conjecture for Wintgen inequality. At the end, some immediate geometric consequences are stated.

1. Introduction

A statistical manifold is an extension of a statistical model that is abstraction. The statistical manifold characterization is based on a statistical model in which the density functions are swapped by any Riemannian manifold M ¯ , the Riemannian metric d ¯ substitutes the Fisher information matrix of the manifold M ¯ , the dual connections D ¯ ( 1 ) and D ¯ ( 1 ) are exchanged by a couple of dual connections D ¯ and D ¯ * , and the skewness tensor is modified by a three-covariant skewness tensor, which counts the cummulants of the third order. Amari [1] first developed statistical manifolds in 1985. He looked at it from the standpoint of information geometry, and such manifolds include the concept of dual connections, also known as conjugate connections in affine geometry, which is strongly linked to affine differential geometry and has applications in numerous fields of scientific disciplines.
In its most basic form, information geometry is a part of mathematics that uses differential geometry concepts to the topic of probability theory. A model is a statistical manifold, and the amount of the parameters affects the point of statistical manifold and its transformation are well known from thermodynamics. The natural Riemannian manifold for thermodynamics is the statistical manifold. The geometrical representation in the framework of Gibbs’s statistical mechanical representation for reversible and irreversible fluctuations in the value of the critical variable. Entropy mechanics, which can give significant mechanical techniques in the analysis of thermodynamics, remains at the center of Gibbs’ work. Gibbs statistical manifolds frameworks have been extended to represent statistical manifold kinematics. Furthermore, thermodynamic equilibrium exists in the form of statistical groups across independent states, which serve as a link between statistical thermodynamics and information geometry theories. Fisher information matrix, for example, is useful to neural networks and Langevin kinetics. Furthermore, Newtonian dynamics can be recast in the language of Riemannian geometry applied to probability theory, namely, information geometry, where the link is made using the probability distribution’s average. As a result, the dynamics take place on a statistical manifold that is naturally endowed with a metric structure furnished by information geometry and the curvature of the statistical manifolds has a significant influence. For example, an entropy dynamics (ED) statistical model has been constructed on a 6 n -dimensional statistical manifold M. The micro-coordinated on the manifolds are represented by the expectation values of micro variables associated with Gaussian distribution.
The normalized square of the length of the second basic form of a submanifold of a Riemannian manifold was defined by Casorati [2] as Casorati curvature. This concept went beyond the primary direction of Riemannian manifold hypersurfaces. Geometry and other domains, such as computer visual information, have examined the Casorati curvature. Some findings were achieved in terms of isotropical Casorati curvature of production surfaces. In Riemannian manifolds, a geometrical explanation of the Casorati curvature of submanifolds was also investigated. Recently, a geometric analysis of the Cauchy–Schwarz inequality in terms of Casorati curvature has been considered. In this reason, the geometric study of Casorati curvatures for submanifolds is new and has many research problems. A couple of optimal Casorati inequalities had been obtained by many distinguished geometers in different ambient space forms (for example, [3,4]). Decu et al. have built certain inequalities for statistical submanifolds of Kenmotsu statistical manifolds with constant ϕ -sectional curvature involving normalized δ -Casorati curvatures and scalar curvature in [5]. Inequalities for statistical warped product submanifolds were explored by Aliya et al. in [6].
Wintgen [7], on the other hand, proposed a crucial relationship between the Gauss curvature, normal curvature, and squared mean curvature of any surface N in a four-dimensional Euclidean space E 4 , as well as the necessary and sufficient conditions under which the equality case holds. Guadalupe and Rodriguez generalized Wintgen’s inequality to a real-space surface of arbitrary codimension in the form R m + 2 ( c ) , m 2 . After that, Chen extended this inequality to surfaces in a 4-dimensional pseudo-Euclidean space E 2 4 with a neutral metric. In [8], DeSmet, Dillen, Verstraelen, and Vrancken found the DDVV conjecture (called the generalized Wintgen inequality in general) for an isometric immersion of a Riemannian manifold into a real space form. Furthermore, in [8], they conjectured this inequality for a submanifold with codimension 2 in a real space form R m + 2 ( c ) . The solution of this conjecture was independently proven by Lu [9] and Ge and Tang [10] for general case. Since then, many remarkable articles were published and several inequalities of this type were obtained for other kinds of submanifolds in different ambient spaces (see [11,12,13,14,15]).
The derivation of inequality in terms of Casorati curvatures for various submanifolds in various ambient spaces is focused on an optimization approach that establishes that the polynomial of quadratic type in the components of the second fundamental form is parabolic. However, in the present paper, the proof of the inequality involving Casorati curvatures (of submanifolds in Kenmotsu-like statistical manifolds) in Theorem 3 is emphasised on a constrained extremum problem on the submanifold given in Lemma 1. Equality case is also examined. On the other hand, we extend the classical DDVV inequality to a Legendrian submanifold in Kenmotsu-like statistical manifolds. The main ingredient in proving Theorem 6 is given by Theorem 5, which actually translates the DDVV-conjecture to an algebraic problem involving some traceless symmetric matrices.

2. Preliminaries

A semi-Riemannian manifold M ¯ and non-degenerate metric d ¯ , and a torsion-free affine connection by D ¯ . The triplet ( M ¯ , D ¯ , d ¯ ) is said to be a statistical manifold [16] with symmetric D ¯ d ¯ . It is usually denoted by ( M ¯ , D ¯ , d ¯ ) .
In case of a statistical manifold, we have a second connection D ¯ * as:
G d ¯ ( x , y ) = g ¯ ( D ¯ z x , y ) + d ¯ ( x , D ¯ z * y ) ,
for any x , y , z T r M ¯ , r M ¯ . The torsion-free affine connection D ¯ * is called dual (or conjugate) of the connection D ¯ with respect to the d ¯ and obeys
( D ¯ * ) * = D ¯ .
2 D ¯ 0 = D ¯ + D ¯ * ,
where D ¯ 0 is indicates the Levi-Civita connection on M ¯ .
A semi-Riemannian manifold ( M ¯ , d ¯ ) is said to be an almost contact metric manifold with almost contact structure ( ψ , ξ , η , d ) of certain kind [17] if it admits the almost contact structure ( ψ , ξ , η ) which satisfies the following equations:
η ( ξ ) = 1 , ψ ( ξ ) = 0 and η ψ = 0 ,
and also has another tensor field ψ * of type ( 1 , 1 ) which obeys
d ¯ ( ψ x , y ) = g ¯ ( x , ψ * y ) ,
for any x , y T r M ¯ . It is easy to see that
ψ * 2 x = x + η ( x ) ξ and d ¯ ( ψ x , ψ * y ) = d ¯ ( x , y ) η ( x ) η ( y ) ,
ψ * ξ = 0 and η ( ψ * ( x ) ) = 0 .
As a tensor field ψ is not symmetric, it shows that ψ + ψ * 0 everywhere.
Kenmotsu [18] initiated the study of Kenmotsu geometry, which is a crucial class of contact geometry. The almost contact metric manifold of certain class ( M ¯ , D ¯ , ϕ , ξ , η , d ¯ ) is said to be Kenmotsu-like statistical manifold [19], if the following axioms hold
D ¯ x ξ = x η ( x ) ξ , D ¯ x * ξ = x η ( x ) ξ ,
( D ¯ x ψ ) y = d ( ψ x , y ) ξ η ( z ) ψ x and ( D ¯ x * ψ * ) y = d ¯ ( ψ * x , y ) ξ η ( z ) ψ * .
The curvature tensor R ¯ with respect to D ¯ on a Kenmotsu-like statistical manifold is given as:
R ¯ ( x , y ) z = c 3 4 { d ¯ ( y , z ) x d ¯ ( x , z ) y } + c + 1 4 { d ¯ ( ψ y , z ) ψ x d ¯ ( ψ x , z ) ψ y 2 d ¯ ( ψ x , y ) ψ z d ¯ ( y , ξ ) d ¯ ( z , ξ ) x + d ¯ ( x , ξ ) d ¯ ( z , ξ ) y + d ¯ ( y , ξ ) d ¯ ( z , x ) ξ d ¯ ( x , ξ ) d ¯ ( z , y ) ξ } ,
where c R .
After, shifting ψ to ψ * in (9), we turn up the expression of the curvature tensor R ¯ * for D ¯ * .
Certainly, ( M ¯ , D ¯ * , d ¯ ) is a statistical manifold. For example, every semi-Riemannian manifold ( M ¯ , D ¯ , d ¯ ) endowed with a Riemannian connection D ¯ is a trivial statistical manifold. In this case, one turn up
d ¯ ( R ¯ ( x , y ) z , z ) = d ¯ ( z , R ¯ * ( x , y ) z ) ,
for any x , y , z , z T r M ¯ [16].
Let M be a submanifold of M ¯ on a statistical manifold M ¯ , D ¯ , d ¯ . Then ( M , D , d is also said to be a statistical manifold with the induced statistical structure ( D , d ) on M from ( D ¯ , d ¯ ) and we say M , D , d is a statistical submanifold in M ¯ , D ¯ , d ¯ .
The Gauss and Weingarten equations are used in statistical settings, respectively, defined by [20]:
D ¯ x y = D x y + h ( x , y ) , D ¯ x * y = D x * y + h * ( x , y ) , D ¯ x U = A U ( x ) + D x U , D ¯ x * U = A U * ( x ) + D x * U ,
for any x , y T r M and U T r M , where D ¯ and D ¯ * are the dual connections on M ¯ . Similarly, on M, we denote them by D and D * . For D ¯ and D ¯ * , the bilinear and symmetric imbedding curvature tensor of M in M ¯ are, respectively, indicated by h and h * .
The finest relation between h (respectively, h * ) and A (respectively, A * ) can be seen as [20]
d ¯ ( h ( x , y ) , U ) = d ( A U * x , y ) and d ¯ ( h * ( x , y ) , U ) = d ( A U x , y ) ,
for any x , y T r M and U T r M .
It is also noted that the relations 2 h 0 = h + h * and 2 A U 0 = A U + A U * exist by using (2).
The curvature tensor of D ¯ and D are given by R ¯ and R, respectively. Then, for any x , y , z , z T r M . Now, the corresponding Gauss formula are [20]
d ¯ ( R ¯ ( x , y ) z , z ) = d ( R ( x , y ) z , z ) + d ¯ ( h ( x , z ) , h * ( y , z ) ) d ¯ ( h * ( x , z ) , h ( y , z ) ) ,
and
d ¯ ( R ¯ * ( x , y ) z , z ) = d ( R * ( x , y ) z , z ) + d ¯ ( h * ( x , z ) , h ( y , z ) ) d ¯ ( h * ( x , z ) , h ( y , z ) ) .
The Ricci equations for D and D * are, respectively, given below [20]
d ¯ ( R ( x , y ) U , V ) = d ¯ ( R ¯ ( x , y ) U , V ) + d ( [ A U * , A V ] x , y ) ,
and
d ¯ ( R * ( x , y ) U , V ) = d ¯ ( R ¯ * ( x , y ) U , V ) + d ( [ A U , A V * ] x , y ) ,
for any x , y T r M and U , V T r M . Here R and R * are the normal curvature tensors for D and D * on T r M , respectively.
The usual definitions, in general, cannot produce a sectional curvature with regard to dual connections (which, of course, are not metric). In [21,22], Opozda presented a statistical sectional curvature on a statistical manifold. As a result, the statistical curvature tensor fields of M ¯ and M are defined as:
2 S ¯ = ( R ¯ + R ¯ * ) , and 2 S = ( R + R * ) .
Additionally, the normal statistical curvature tensor S is defined as:
2 S = ( R + R * ) .
For x T r M , we put
x = t a n ( ψ x ) + n o r ( ψ x ) = P x + F x ,
where P x is the tangential and F x is the normal component of ψ x . Likewise, we can write
ψ * x = t a n ( ψ * x ) + n o r ( ψ * x ) = P * x + F * x ,
where P * x is the tangential and F * x is the normal component of ψ * x .
Similar to the classical definition of C-totally real and Legendrian submanifolds of a Kenmotsu manifold (see [23]), we provide the following definition:
Definition 1.
Let M be an n-dimensional submanifold of an ( 2 m + 1 ) -dimensional Kenmotsu-like statistical manifold ( M ¯ , d , ψ , η , ξ ) . If ψ ( T r M ) T r M , then M is called C-totally real. However, if n = m , then a C-totally real submanifold turns to a Legendrian submanifold. Thus, it is easy to say that Legendrian submanifold is a C-totally real submanifold with the smallest possible codimension.
In the following sections, we prove several sharp inequalities on statistical submanifold immersed into a Kenmotsu-like statistical manifold with a curvature tensor of the kind (9).

3. Bounds for Normalized Scalar Curvature

In this section, we derive an inequality on the normalized scalar curvature of a statistical submanifold immersed into a Kenmotsu-like statistical manifold with a curvature tensor of the kind (9).
Let a statistical submanifold M of dimension m in a Kenmotsu-like statistical manifold M ¯ 2 n + 1 . We assume a local orthonormal tangent (respectively, normal) frame { v 1 , , v m } (respectively, { v m + 1 , , v 2 n + 1 } ) of T r M (respectively, T r M ), r M . Then, σ ( r ) is the scalar curvature of M and hence the normalized scalar curvature ρ of M are express as:
σ ( r ) = i , j = 1 i < j m d ( S ( v i , v j ) v j , v i ) , ρ = 2 σ m ( m 1 ) .
The mean curvature vectors are given by:
H = 1 m i = 1 m h ( v i , v i ) , and H * = 1 m i = 1 m h * ( v i , v i ) .
We set
h i j k = d ¯ ( h ( v i , v j ) , v k ) , and h i j * = d ¯ ( h * k ( v i , v j ) , v k ) ,
for i , j = { 1 , , m } and k = { m + 1 , , 2 n + 1 } .
We show the following.
Theorem 1.
Let a statistical submanifold M m in a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the form (9). Then
ρ c 3 4 + c + 1 4 m ( m 1 ) 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) + m m 1 d ¯ ( H , H * ) 1 m ( m 1 ) h h * .
Proof. 
Let { v 1 , , v m } and { v m + 1 , , v 2 n + 1 } be orthonormal frames of T r M and T r M , r M , respectively. From Equations (9) and (13), we get:
2 σ = c 3 4 ( m 2 m ) + c + 1 4 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) + m 2 d ¯ ( H , H * ) k = m + 1 2 n + 1 i , j = 1 m h i j k h i j * k c 3 4 ( m 2 m ) + c + 1 4 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) + m 2 d ¯ ( H , H * ) h h * .
By adopting the definition of the normalized scalar curvature ρ of M, we turn up the desired inequality. □
The characterization of equality cases in Theorem 1.
Theorem 2.
Let a statistical submanifold M m in a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the form (9). Equalities hold in (17) if and only if either h = 0 or h * = 0 holds.

4. Optimizations on a Statistical Submanifold with Casorati Curvatures

In this section, first we study Casorati curvatures (in short C C ) for a statistical submanifold, with respect to D and D * , in a Kenmotsu-like statistical manifold.
Let a statistical submanifold M of dimension m in a Kenmotsu-like statistical manifold M ¯ 2 n + 1 . We assume a local orthonormal tangent (respectively, normal) frame { v 1 , , v m } (respectively, { v m + 1 , , v 2 n + 1 } ) of T r M (respectively, T r M ), r M . Then, the squared norm of second fundamental forms h and h * ( h 2 and h * 2 ) are, respectively, indicated by C and C * , known by the Casorati curvatures ( C C ) of M in M ¯ . Therefore, we have:
m C = h 2 and m C * = h * 2 ,
here
h 2 = k = m + 1 2 n + 1 i , j = 1 m h i j k 2 , h * 2 = k = m + 1 2 n + 1 i , j = 1 m h i j * k 2 .
Next, we define an orthonormal basis { v 1 , , v t } of a t-dimensional subspace L of T M , d 2 . Then, the scalar curvature of the d-plane section L and the C C of subspace L are, respectively, given below:
σ ( L ) = i , j = 1 i < j d S ( v i , v j , v j , v i )
and
t C ( L ) = k = m + 1 2 n + 1 i , j = 1 d h i j k 2 , t C * ( L ) = k = m + 1 2 n + 1 i , j = 1 d h i j * k 2 ) .
The normalized C C δ C ( m 1 ) and δ ^ C ( m 1 ) are, respectively, defined as:
[ δ C ( m 1 ) ] r = 1 2 C r + m + 1 2 m inf { C ( L ) | L : a hyperplane of T r M }
and
[ δ ^ C ( m 1 ) ] r = 2 C r 2 m 1 2 m sup { C ( L ) | L : a hyperplane of T r M } .
Further, we, respectively, define the generalized normalized C C δ C ( p ; m 1 ) and δ ^ C ( p ; m 1 ) as follows:
(1)
For 0 < p < m 2 m
[ δ C ( p ; m 1 ) ] r = p C r + ζ ( p ) inf { C ( L ) | L : a hyperplane of T r M } .
(2)
For p > m 2 m
[ δ ^ C ( p ; m 1 ) ] r = p C r ζ ( p ) sup { C ( L ) | L : a hyperplane of T r M } ,
where
ζ ( p ) = 1 p m ( m 1 ) ( m + p ) ( m 2 m p ) , p m ( m 1 ) .
In a similar way, the normalized C C s δ C * ( m 1 ) and δ ^ C * ( m 1 ) and the generalized normalized C C δ C * ( p ; m 1 ) and δ ^ C * ( p ; m 1 ) can be defined. We also notice that
2 C 0 = C + C * , 2 δ C 0 ( p ; m 1 ) = δ C ( p ; m 1 ) + δ C * ( p ; m 1 ) .
To derive the section’s optimum inequalities, we require the following key lemma.
Lemma 1
([24]). If ϑ = { ( u 1 , u 2 , , u m ) R m : u 1 + u 2 + + u m = L } be a hyperplane of R m and f : R m R is a quadratic form, then
f ( u 1 , u 2 , , u m ) = μ 1 i = 1 m 1 ( u i ) 2 + μ 2 ( u m ) 2 2 i , j = 1 i < j m u i u j , μ 1 , μ 2 > 0 .
The restricted extremum problem therefore gives f the following global solution:
u 1 = u 2 = = u m 1 = L μ 1 + 1 , u m = L μ 2 + 1 = L ( m 1 ) ( μ 1 + 1 ) μ 2 = ( μ 1 m + 2 ) L μ 1 + 1 ,
provided that
μ 2 = m 1 μ 1 m + 2 .
Let { v 1 , , v m } and { v m + 1 , , v 2 n + 1 } be orthonormal frames of T r M and T r M , r M , respectively. From Equations (9) and (13), we arrive at
2 σ = c 3 4 ( m 2 m ) + c + 1 4 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) + 2 m 2 H 0 2 2 m C 0 m 2 2 H 2 + H * 2 + m 2 C + C * .
We now define a quadratic polynomial in terms of the components of the second fundamental form Q as
Q = p C 0 + ζ ( p ) C 0 ( L ) 2 σ + c 3 4 ( m 2 m ) + c + 1 4 { 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) } m 2 2 H 2 + H * 2 + m 2 C + C * .
We suppose that L is spanned by v 1 , , v m (without loss of generality), combining (20), it follows that:
Q = m + p m k = m + 1 2 n + 1 i , j = 1 m ( h i j 0 k ) 2 + ζ ( p ) m 1 k = m + 1 2 n + 1 i , j = 1 m 1 ( h i j 0 k ) 2 k = m + 1 2 n + 1 i = 1 m h i i 0 k 2 = k = m + 1 2 n + 1 i = 1 m 1 2 ( λ + 1 ) ( h i i 0 k ) 2 + 2 ( m + p ) m ( h i m 0 k ) 2 + λ 1 i j m 1 ( h i j 0 k ) 2 2 1 i j m ( h i i 0 k h j j 0 k ) + p m ( h m m 0 k ) 2 k = m + 1 2 n + 1 i = 1 m 1 λ ( h i i 0 k ) 2 2 1 i j m h i i 0 k h j j 0 k + p m ( h m m 0 ) 2 ,
where
λ = p m + ζ ( p ) m 1 .
Let us assume the quadratic form f k : R m R , for k = m + 1 , 2 n + 1 , defined by
f k h 11 0 k , , h m m 0 k = i = 1 m 1 λ ( h i i 0 k ) 2 2 1 i j m h i i 0 k h j j 0 k + p m ( h m m 0 k ) 2
and the problem as follows:
min { f k h 11 0 k , , h m m 0 k : h 11 0 k + + h m m 0 k = L k , L k R } .
On Comparing the functions (18) and (22), we find that
μ 1 = p m + ζ ( p ) m 1 and μ 2 = p m ,
which verify the relation the relation (19). Thus, by Lemma 1, entails that the critical point ( h 11 0 k , , h m m 0 k ) is given by:
h 11 0 k = = h m 1 m 1 0 k = L k μ 1 + 1 = L λ + 1 , h m m 0 k = L k μ 2 + 1 = m L k m + p ,
and a result, it is the global lowest point.
Next, plugging (23) into (22), we arrive at
f k ( h 11 0 k , , h m m 0 k ) = 0 .
From (21) and (24), we get Q 0 and hence we have the following:
2 σ p C 0 + ζ ( p ) C 0 ( L ) + m 2 C + C * + c 3 4 ( m 2 m ) + c + 1 4 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) m 2 2 H 2 + H * 2 .
Further, we find that:
ρ p m ( m 1 ) C 0 + ζ ( p ) m ( m 1 ) C 0 ( L ) + 1 2 ( m 1 ) C + C * + c 3 4 + c + 1 4 m ( m 1 ) 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) m 2 ( m 1 ) H 2 + H * 2 .
Hence, we get the following inequality.
Theorem 3.
Let a statistical submanifold M m in a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the form (9). Then, the generalized normalized C C δ C ( p ; m 1 ) and δ C * ( p ; m 1 ) holds
ρ 2 δ C 0 ( p ; m 1 ) m ( m 1 ) + 1 m 1 C 0 + c 3 4 + c + 1 4 m ( m 1 ) { 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) } m 2 ( m 1 ) H 2 + H * 2 .
Remark 1.
In a similar way ones can obtain inequality for the generalized normalized C C δ ^ C ( p ; m 1 ) and δ ^ C * ( p ; m 1 ) , that is,
ρ 2 δ ^ C 0 ( p ; m 1 ) m ( m 1 ) + 1 m 1 C 0 + c 3 4 + c + 1 4 m ( m 1 ) { 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) } m 2 ( m 1 ) H 2 + H * 2 .
The characterization of equality cases in Theorem 3.
Theorem 4.
Let a statistical submanifold M m in a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the form (9). Equalities occur identically, at all points of M, in the Equations (25) and (26) if and only if the totally geodesic submanifolds endowed with respect to the Levi–Civita connection.

5. Bounds for the Normalized Normal Scalar Curvature

In this segment, we use the most important ingredient, derived by Lu for the symmetric and trace-free operators in [9], in the proof of our desired DDVV inequality. This is as follows.
Theorem 5.
Let a Riemannian submanifold of dimension n immersed into ( n + m ) -dimensional Riemannian manifold. For every set { B 1 , , B m } of symmetric ( m × m ) -matrices with trace zero the following inequality holds:
r , s = 1 m | | B r , B s | | 2 r = 1 m | | B r | | 2 2 .
Let an m-dimensional Legendrian submanifold M of a Kenmotsu-like statistical manifold M ¯ 2 m + 1 with curvature tensor is of the form (9) and { v 1 , , v m } and { v m + 1 , , v 2 m + 1 } be orthonormal frames of T r M and T r M , r M , respectively. From Equations (9) and (13), we arrive at:
2 σ = c 3 4 ( m 2 m ) + 2 m 2 H 0 2 m 2 2 H 2 + H * 2 2 h 0 2 + 1 2 h 2 + h * 2 .
Then, the normalized scalar curvature of of M is ρ
ρ = c 3 4 + 2 m m 1 H 0 2 m 2 ( m 1 ) H 2 + H * 2 2 m ( m 1 ) h 0 2 + 1 2 m ( m 1 ) h 2 + h * 2 .
However, if we fix h H d = τ , h * H * d = τ * and h 0 H 0 d = τ 0 , the traceless part of the second fundamental forms, then, respectively, we get:
τ 2 = h 2 m H 2 , τ * 2 = h * 2 m H * 2 , τ 0 2 = h 0 2 m H 0 2 .
Thus, the expression (28) becomes:
ρ = c 3 4 + 2 H 0 2 1 2 H 2 + H * 2 2 m ( m 1 ) τ 0 2 + 1 2 m ( m 1 ) τ 2 + τ * 2 .
Now, we compute our main extrinsic curvature and the normalized normal scalar curvature of M as below.
ρ = 1 m ( m 1 ) { 1 a < b m 1 i < j m [ d ( R ( v i , v j ) v m + a , v m + b ) + d ( R * ( v i , v j ) v m + a , v m + b ) ] 2 } 1 / 2 = 1 m ( m 1 ) { 1 a < b m 1 i < j m [ d ¯ ( R ¯ ( v i , v j ) v m + a , v m + b ) + d ( [ A v m + a * , A v m + b ] v i , v j ) + d ¯ ( R ¯ * ( v i , v j ) v m + a , v m + b ) + d ( [ A v m + a , A v m + b * ] v i , v j ) ] 2 } 1 / 2 ,
which refers to the following:
ρ = 1 m ( m 1 ) { 1 a < b n 1 i < j m [ c + 1 4 ( δ i b δ j a δ i a δ j b ) + 4 d ( [ A v m + a 0 , A v m + b 0 ] v i , v j ) + g ( [ A v m + a , A v m + b ] v i , v j ) + d ( [ A v m + a * , A v m + b * ] v i , v j ) ] 2 } 1 / 2 .
On simplifying (29) and applying the Cauchy-Schwarz inequality, ( α + β + γ + π ) 2 4 ( α 2 + β 2 + γ 2 + π 2 ) 0 , for α , β , γ , π R , we introduce an inequality in (29) for ρ as follows:
ρ 2 m ( m 1 ) { 1 a < b n 1 i < j m [ c + 1 4 2 ( δ i b δ j a δ i a δ j b ) 2 + 16 d ( [ A v m + a 0 , A v m + b 0 ] v i , v j ) 2 + d ( [ A v m + a , A v m + b ] v i , v j ) 2 + d ( [ A v m + a * , A v m + b * ] v i , v j ) 2 ] } 1 / 2 2 m ( m 1 ) { m 2 ( m + 1 ) 2 ( c + 1 ) 2 64 + 1 4 a , b = 1 n [ 16 | | A a 0 , A b 0 | | 2 + | | A a , A b | | 2 + | | A a * , A b * | | 2 ] } 1 / 2 .
Now, by following the same steps done in [13], the sets { B 1 0 , B 2 0 , , B m 0 } , { B 1 , B 2 , , B m } and { B 1 * , B 2 * , , B m * } of symmetric with trace zero operators on T r M are defined as:
< B a 0 E , F > = < τ 0 ( E , F ) , U a > , < B a E , F > = < τ ( E , F ) , U a > ,
< B a * E , F > = < τ * ( E , F ) , U a > .
Clearly, we have the relations
B a 0 = A a 0 < H 0 , U a > I d , B a = A a < H , U a > I d , B a * = A a * < H * , U a > I d
and
[ A a 0 , A b 0 ] = [ B a 0 , B b 0 ] , [ A a , A b ] = [ B a , B b ] , [ A a * , A b * ] = [ B a * , B b * ] ,
for any b { 1 , , m } .
Therefore, we have:
ρ 2 m ( m 1 ) { m 2 ( m + 1 ) 2 ( c + 1 ) 2 64 + 1 4 a , b = 1 n [ 16 | | B a 0 , B b 0 | | 2 + | | B a , B b | | 2 + | | B a * , B b * | | 2 ] } 1 / 2 .
Then, by applying Theorem 5, we can easily arrive at:
ρ | c + 1 | 4 + 1 m ( m 1 ) a , b = 1 n 4 | | B a 0 | | 2 + | | B a | | 2 + | | B a * | | 2 | c + 1 | 4 + 1 m ( m 1 ) 4 | | τ 0 | | 2 + | | τ | | 2 + | | τ * | | 2 .
Substituting (28) in the last relation, we get:
ρ 2 ρ + | c + 1 | 4 c 3 2 + 8 m ( m 1 ) | | τ 0 | | 2 4 H 0 2 + H 2 + H * 2 .
However, the normalized scalar curvature ρ 0 of M for Levi–Civita connection is:
ρ = c 3 4 + m m 1 H 0 2 1 m ( m 1 ) h 0 2 = c 3 4 + H 0 2 1 m ( m 1 ) τ 0 2 .
Putting (34) into (35), we give the main result of this segment.
Theorem 6.
Let a Legendrian submanifold M m of a Kenmotsu-like statistical manifold M ¯ 2 m + 1 with curvature tensor is of the kind (9). Then we have:
ρ 2 ρ 8 ρ 0 + | c + 1 | + 6 c 4 9 2 + 4 H 0 2 + H 2 + H * 2 .

6. Some Geometric Applications

In this part, we study some immediate applications of the results (Theorems 1 and 3) proved in the previous section.
In light of Lemma 1 and taking q = m ( m 1 ) 2 in δ C ( p ; m 1 ) (respectively, δ C * ( p ; m 1 ) ), we find that:
δ C m ( m 1 ) 2 ; m 1 q = m ( m 1 ) δ C ( m 1 ) r ( respectively , δ C * m ( m 1 ) 2 ; m 1 q = m ( m 1 ) δ C * ( m 1 ) r )
at any point r M .
Thus, we turn up the following corollaries on Theorem 3.
Corollary 1.
Let a statistical submanifold M m of a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the kind (9). Then, the normalized C C δ C ( m 1 ) and δ C * ( m 1 ) holds
ρ 2 δ C 0 ( m 1 ) + 1 m 1 C 0 + c 3 4 + c + 1 4 m ( m 1 ) { 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) } m 2 ( m 1 ) H 2 + H * 2 .
Remark 2.
In a similar way, ones can obtain inequality for the normalized C C δ ^ C ( m 1 ) and δ ^ C * ( m 1 ) .
Now, from
H 0 2 = 1 4 H 2 + H * 2 + 2 d ¯ ( H , H * ) ,
and together with H 0 = 0 , we have the relation
H 2 + H * 2 = 2 d ¯ ( H , H * ) .
Hence, the following corollary follows directly from inequalities (25) and (26).
Corollary 2.
Let a statistical submanifold M m of a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the kind (9). If M is minimal, that is, H 0 = 0 . Then, we have:
ρ 2 δ C 0 ( p ; m 1 ) m ( m 1 ) + 1 m 1 C 0 + c 3 4 + c + 1 4 m ( m 1 ) { 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) } + m ( m 1 ) d ¯ ( H , H * ) .
Corollary 3.
Let a statistical submanifold M m of a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the kind (9). If M is minimal, that is, H 0 = 0 . Then, we have:
ρ 2 δ C 0 ( m 1 ) + 1 m 1 C 0 + c 3 4 + c + 1 4 m ( m 1 ) { 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) } + m ( m 1 ) d ¯ ( H , H * ) .
Some consequences of Theorem 1 are the following.
Corollary 4.
Let a statistical submanifold M m of a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the kind (9). If c = 1 , then
m ( m 1 ) ( ρ + 1 ) m 2 d ¯ ( H , H * ) h h * .
Corollary 5.
Let a statistical submanifold M m of a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the kind (9). Suppose that
1. 
h ( x , y ) = d ( x , y ) H and h * ( x , y ) = d ( x , y ) H * ;
2. 
h = 0 and h * = 0 ;
3. 
c = 1 .
Then ρ + 1 0 .
Remark 3.
In the above Corollary 5, we have 0 = h ( x , y ) = d ( x , y ) H , x , y T r M , which gives H = 0 . Similarly, 0 = h * ( x , y ) = g ( x , y ) H * implies H * = 0 . Hence, an inequality (17) reduces to ρ + 1 0 .
Corollary 6.
Let a statistical submanifold M m of a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the kind (9). If the following holds
ρ = c 3 4 + c + 1 4 m ( m 1 ) 2 P 2 ( t r a c e ( P ) ) 2 t r a c e ( P * 2 ) .
Then neither h = 0 nor h * = 0 .
Let us take a minimal submanifold M for the Levi-Civita connection, which gives H + H * = 0 because of H 0 = 0 and thus, we have the relation 2 d ¯ ( H , H * ) = | | H | | 2 + | | H * | | 2 . Then Theorem 6 gives
Corollary 7.
Let a statistical submanifold M m of a Kenmotsu-like statistical manifold M ¯ 2 n + 1 with curvature tensor is of the kind (9). Then we have
ρ 2 ρ 8 ρ 0 + | c + 1 | + 6 c 4 9 2 2 d ¯ ( H , H * ) .

7. Related Examples

Example 1.
Let R 4 be a Euclidean space with local coordinate system x 1 , x 2 , y 1 , y 2 , which admits the following almost complex structure J
J = 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 ,
the metric d R 4 = 2 x 1 2 + 2 x 2 2 y 1 2 y 2 2 and the flat affine connection D R 4 is a Kähler-like statistical manifold (see [17]). If R , D , t 2 is a trivial statistical manifold, it is known from [13] that the product manifold M ¯ 5 = R × f R 4 , D ¯ , d ¯ = t 2 + f 2 d R 4 is a Kenmotsu-like statistical manifold, where f = e t R + .
We define ψ , ξ and η by
ψ = 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 , ξ = d t = 1 0 0 0 0
and η = 1 , 0 , y 1 , 0 , y 2 . We also find
ψ * = 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 1 2 0 2 0 0 0 0 0 2 0 0 .
Next, we give examples of submanifolds in M ¯ 5 as follows:
Example 2.
The statistical submanifold M 3 = R × f R 2 of M ¯ 5 , where f = e t R + , attains equality for both inequalities (25) and (26) because M 3 is a totally geodesic submanifold of M ¯ 5 with respect to the Levi–Civita connection. Thus, Theorem 4 is satisfied.
Example 3.
Let us take a 3-dimensional submanifold M 3 of M ¯ 5 defined by an isometric immersion ω : M 3 M ¯ 5 as ω ( u , v , t ) = ( 0 , v , u , 0 , t ) . Then the vector fields at each point of M 3 are given as E 1 = ( 0 , 0 , 1 , 0 , 0 ) , E 2 = ( 0 , 1 , 0 , 0 , 0 ) and E 3 = ( 0 , 0 , 0 , 0 , 1 ) . By direct calculations, we have [ E 1 , E 2 ] = [ E 2 , E 3 ] = [ E 3 , E 1 ] = 0 and hence by Koszula formula, we calculate the Levi-Civita connection D 0 as D X i 0 X j = 0 for 1 i , j 3 . This tells us that M 3 is a totally geodesic submanifold of M ¯ 5 with respect to D 0 . Thus, Theorem 4 is satisfied.
Example 4.
Let ω be an isometric immersion from M 3 to M ¯ 5 defined by ω ( x 1 , y 1 , z 1 ) = ( x 1 , y 1 , z 1 , 0 , 0 ) . The vector fields at each point of M 3 are given by X 1 = e z 1 ( x 1 x 1 + y 1 y 1 ) , X 2 = e z 1 y 1 , and X 3 = e 2 z 1 z 1 . By direct calculations, we find that [ X 1 , X 2 ] = e z 1 X 2 , [ X 1 , X 3 ] = e 2 z 1 X 1 , and [ X 2 , X 3 ] = e 2 z 1 X 2 . It is easy to see that M 3 is a non-totally geodesic submanifold of M ¯ 5 with respect to Levi-Civita connection D 0 . In this case, the inequalities (25) and (26) are precisely satisfied at all points and the case of equality cannot be attained.

Author Contributions

Conceptualization, A.N.S. and M.D.S.; formal analysis, A.N.S. and M.D.S.; investigation, A.N.S. and M.D.S.; methodology, A.H.A.; project administration, A.N.S. and A.H.A.; validation, A.N.S. and M.D.S.; writing—original draft. All authors have read and agreed to the published version of the manuscript.

Funding

The present work is supported by the Deanship of Scientific research, King Khalid University, Saudi Arabia.

Institutional Review Board Statement

Not Applicable.

Informed Consent Statement

Not Applicable.

Data Availability Statement

Not Applicable.

Acknowledgments

The authors are grateful to the referees for the valuable suggestions and comments towards the improvement of this paper. The third author extends their appreciation to the Deanship of Scientific Research at King Khalid University for funding this work through research groups program under grant number R.G.P.2/74/42.

Conflicts of Interest

The authors declare that they have no competing interest.

References

  1. Amari, S. Differential-Geometrical Methods in Statistics. Lect. Notes Stats. 1985, 28, 1. [Google Scholar]
  2. Casorati, F. Mesure de la courbure des surfaces suivant l’idée commune. Acta Math. 1890, 14, 95–110. (In French) [Google Scholar] [CrossRef]
  3. Lee, C.W.; Yoon, D.W.; Lee, J.W. A pinching theorem for statistical manifolds with Casorati curvatures. J. Nonlinear Sci. Appl. 2017, 10, 4908–4914. [Google Scholar] [CrossRef] [Green Version]
  4. Siddiqui, A.N.; Shahid, M.H. Optimizations on Statistical Hypersurfaces with Casorati Curvatures. Kragujevac J. Math. 2021, 45, 449–463. [Google Scholar] [CrossRef]
  5. Decu, S.; Haesen, S.; Verstraelen, L.; Vilcu, G.E. Curvature Invariants of Statistical Submanifolds in Kenmotsu Statistical Manifolds of Constant ϕ-Sectional Curvature. Entropy 2018, 20, 529. [Google Scholar] [CrossRef] [Green Version]
  6. Siddiqui, A.N.; Chen, B.Y.; Bahadir, O. Statistical solitons and inequalities for statistical warped product submanifolds. Mathematics 2019, 7, 797. [Google Scholar] [CrossRef] [Green Version]
  7. Wintgen, P. Sur l’ine´galite´ de Chen-Willmore. CR Acad. Sci. Paris 1979, 288, 993–995. [Google Scholar]
  8. DeSmet, P.J.; Dillen, F.; Verstraelen, L.; Vrancken, L. A pointwise inequality in submanifold theory. Arch. Math. 1999, 35, 115–128. [Google Scholar]
  9. Lu, Z. Normal scalar curvature conjecture and its applications. J. Funct. Anal. 2011, 261, 1284–1308. [Google Scholar] [CrossRef] [Green Version]
  10. Ge, J.; Tang, Z. A proof of the DDVV conjecture and its equality case. Pac. J. Math. 2008, 237, 87–95. [Google Scholar] [CrossRef] [Green Version]
  11. Aydin, M.E.; Mihai, A.; Mihai, I. Generalized Wintgen inequality for statistical submanifolds in statistical manifolds of constant curvature. Bull. Math. Sci. 2017, 7, 155–166. [Google Scholar] [CrossRef]
  12. Chen, B.Y. Recent Developments in Wintgen Inequality and Wintgen Ideal Submanifolds. Int. Electron. J. Geom. 2021, 1, 6–45. [Google Scholar] [CrossRef]
  13. Murathan, C.; Ṣahin, B. A study of Wintgen like inequality for submanifolds in statistical warped product manifolds. J. Geom. 2018, 109, 1–18. [Google Scholar] [CrossRef]
  14. Siddiqui, A.N.; Shahid, M.H. On totally real statistical submanifolds. Filomat 2018, 32, 11. [Google Scholar] [CrossRef] [Green Version]
  15. Siddiqui, A.N.; Siddiqi, M.D.; Alkhaldi, A.H.; Ali, A. Lower Bounds on Statistical Submersions with vertical Casorati curvatures. Int. J. Geom. Methods Modern Phys. 2021. [Google Scholar] [CrossRef]
  16. Takano, K. Statistical manifolds with almost complex structures and its statistical submerions. Tensor. New Ser. 2004, 65, 123–137. [Google Scholar]
  17. Takano, K. Statistical manifolds with almost contact structures and its statistical submersions. J. Geom. 2006, 85, 171–187. [Google Scholar] [CrossRef] [Green Version]
  18. Kenmotsu, K. A class of almost contact Riemannian manifolds. Tohoku Math. J. 1972, 24, 93–103. [Google Scholar] [CrossRef]
  19. Siddiqi, M.D.; Siddiqui, A.N.; Aytimur, H. A Study of Kenmotsu-Like Statistical Submersions; preprints; 2022. [Google Scholar]
  20. Vos, P.W. Fundamental equations for statistical submanifolds with applications to the Bartlett correction. Ann. Inst. Stat. Math. 1989, 41, 429–450. [Google Scholar] [CrossRef]
  21. Opozda, B. Bochner’s technique for statistical structures. Ann. Glob. Anal. Geom. 2015, 48, 357–395. [Google Scholar] [CrossRef] [Green Version]
  22. Opozda, B. A sectional curvature for statistical structures. Linear Algebra Appl. 2016, 497, 134–161. [Google Scholar] [CrossRef] [Green Version]
  23. Yano, K.; Kon, M. Structures on Manifolds; Worlds Scientific: Singapore, 1984. [Google Scholar]
  24. Tripathi, M.M. Inequalities for algebraic Casorati curvatures and their applications. Note Mat. 2017, 37, 161–186. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Siddiqui, A.N.; Siddiqi, M.D.; Alkhaldi, A.H. Bounds for Statistical Curvatures of Submanifolds in Kenmotsu-like Statistical Manifolds. Mathematics 2022, 10, 176. https://doi.org/10.3390/math10020176

AMA Style

Siddiqui AN, Siddiqi MD, Alkhaldi AH. Bounds for Statistical Curvatures of Submanifolds in Kenmotsu-like Statistical Manifolds. Mathematics. 2022; 10(2):176. https://doi.org/10.3390/math10020176

Chicago/Turabian Style

Siddiqui, Aliya Naaz, Mohd Danish Siddiqi, and Ali Hussain Alkhaldi. 2022. "Bounds for Statistical Curvatures of Submanifolds in Kenmotsu-like Statistical Manifolds" Mathematics 10, no. 2: 176. https://doi.org/10.3390/math10020176

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