Next Article in Journal
Generalization of the Modigliani–Miller Theory for the Case of Variable Profit
Previous Article in Journal
Minimally Supported Frequency (MSF) d-Dilation Wavelets
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Relations between Extrinsic and Intrinsic Invariants of Statistical Submanifolds in Sasaki-Like Statistical Manifolds

1
Department of Mathematics, Faculty of Arts and Sciences, Balıkesir University, Balıkesir 10145, Turkey
2
Department of Mathematics and Computer Science, Technical University of Civil Engineering Bucharest, 20396 Bucharest, Romania
3
Interdisciplinary Doctoral School (Faculty of Mathematics and Computer Science), Transilvania University of Braşov, 500036 Braşov, Romania
4
Department of Mathematics, Faculty of Arts and Sciences, İzmir Democracy University, İzmir 35140, Turkey
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Submission received: 26 April 2021 / Revised: 27 May 2021 / Accepted: 31 May 2021 / Published: 3 June 2021

Abstract

:
The Chen first inequality and a Chen inequality for the δ ( 2 , 2 ) -invariant on statistical submanifolds of Sasaki-like statistical manifolds, under a curvature condition, are obtained.

1. Introduction

One of the main topics of Information Geometry, which is regarded as a combination of differential geometry and statistics, deals with families of probability distributions, more exactly with their invariant properties. Information Geometry has many applications in image processing, physics, computer science, machine learning, etc.
In [1], Amari defined a statistical manifolds and presented some applications in Information Geometry. Such a manifold deals with dual connections (or conjugate connections), and, consequently, is closely related to an affine manifold.
Let ˜ be an affine connection on a Riemannian manifold ( M ˜ , g ˜ ) . A pair ˜ , g ˜ is a statistical structure on M ˜ if
˜ X g ˜ Y , Z ˜ Y g ˜ X , Z = 0 ,
for any X , Y , Z T M ˜ [2]. A Riemannian manifold ( M ˜ , g ˜ ) on which a pair of torsion-free affine connections ˜ and ˜ * satisfying
X g ˜ Y , Z = g ˜ ˜ X Y , Z + g ˜ Y , ˜ X * Z
is defined for any X , Y and Z T M ˜ is called a statistical manifold; one says that the connections ˜ and ˜ * are dual connections (see [1,3]).
Any torsion-free affine connection ˜ always has a dual connection given by
˜ + ˜ * = 2 ˜ 0 ,
where ˜ 0 denotes the Levi–Civita connection of M ˜ [1].
One challenge in submanifold theory is to obtain relations between the intrinsic and extrinsic invariants of a submanifold. An important new step in this topic is due to B.-Y. Chen, starting from 1993 [4]; he established such inequalities in a real space form, known as Chen inequalities. Since then, many geometers have studied this problem for different kind of submanifolds in certain ambient spaces (for example, see [5,6,7,8,9,10]). For the collections of the results related to Chen inequalities see also [11] and references therein.
The squared mean curvature is the main extrinsic invariant; the classical curvature invariants, namely the scalar curvature and the Ricci curvature, represent the main intrinsic invariants. A relation between the Ricci curvature and the main extrinsic invariant squared mean curvature for a submanifold in a real space form was given in [7] by B.-Y. Chen and now known as the Chen–Ricci inequality. In [12,13], K. Matsumoto and I. Mihai found relations between Ricci curvature and the squared mean curvature for submanifolds in Sasakian space forms. In [14], A. Mihai and I. N. Rădulescu proved a Chen inequality involving the scalar curvature and a Chen–Ricci inequality for special contact slant submanifolds of Sasakian space forms.
Furthermore, in [15], M. E. Aydın, A. Mihai and I. Mihai established relations between the extrinsic and intrinsic invariants for submanifolds in statistical manifolds of constant curvature. In [16], A. Mihai and I. Mihai considered statistical submanifolds of Hessian manifolds of constant Hessian curvature. As generalizations of the results given in [15], H. Aytimur and C. Özgür studied same problems for submanifolds in statistical manifolds of quasi constant curvature [17].
Recently, in [18], B.-Y. Chen, A. Mihai and I. Mihai gave the Chen first inequality for statistical submanifolds in Hessian manifolds of constant Hessian curvature.
In [19], H. Aytimur, M. Kon, A. Mihai, C. Özgür and K. Takano established a Chen first inequality and a Chen inequality for the invariant δ ( 2 , 2 ) for statistical submanifolds of Kähler-like statistical manifolds, under a curvature condition. Very recently, in [20], A. Mihai and I. Mihai proved a Chen inequality for the δ ( 2 , 2 ) -invariant; also, the δ ( 2 , 2 ) -invariant was studied in other ambient spaces by G. Macsim, A. Mihai and I. Mihai (see [21]), for example for Lagrangian submanifolds in quaternionic space forms.
Motivated by the above mentioned studies, as a continuation of the results obtained in [19], in the present paper we prove Chen first inequality and a Chen inequality for the invariant δ ( 2 , 2 ) for statistical submanifolds of Sasaki-like statistical manifolds, under a natural curvature condition.

2. Sasaki-Like Statistical Manifolds and Their Submanifolds

Let M ˜ be an odd dimensional manifold and ϕ , ξ , η be a tensor field of type 1 , 1 , a vector field and a 1-form on M ˜ , respectively. If ϕ , ξ and η satisfy the following conditions
η ξ = 1 , ϕ 2 X = X + η X ξ ,
for X T M ˜ , then M ˜ is said to have an almost contact structure ϕ , ξ , η and it is called an almost contact manifold.
In [22], K. Takano started with a semi-Riemannian manifold M ˜ , g ˜ with the almost contact structure ϕ , ξ , η , on which another tensor field ϕ * of type 1 , 1 satisfying
g ˜ ϕ X , Y + g ˜ X , ϕ * Y = 0 ,
for vector fields X and Y on M ˜ , g ˜ is considered.
M ˜ , g ˜ , ϕ , ξ , η is called an almost contact metric manifold of certain kind [22,23].
One has ϕ * 2 X = X + η X ξ and the following important relation holds:
g ˜ ϕ X , ϕ * Y = g ˜ X , Y η X η Y .
From (4), it follows that the tensor field ϕ is not symmetric with respect to g . This means that ϕ + ϕ * does not vanish everywhere. On the almost contact manifold, we have ϕ ξ = 0 and η ϕ X = 0 ; then, on the almost contact metric manifold of certain kind, one has ϕ * ξ = 0 and η ϕ * X = 0 .
In [22], Takano defined a statistical manifold on the almost contact metric manifold of certain kind. M ˜ , ˜ , g ˜ , ϕ , ξ , η is called a Sasaki-like statistical manifold if
˜ X ξ = ϕ X , ˜ X ϕ Y = g ˜ X , Y ξ η Y X .
Suppose that the curvature tensor R ˜ with respect to ˜ satisfies
R ˜ ( X , Y ) Z = c + 3 4 [ g ˜ ( Y , Z ) X g ˜ ( X , Z ) Y ] + c 1 4 [ η ( X ) η ( Z ) Y η ( Y ) η ( Z ) X + g ˜ ( X , Z ) η ( Y ) ξ g ˜ ( Y , Z ) η ( X ) ξ + g ˜ ( X , ϕ Z ) ϕ Y g ˜ ( Y , ϕ Z ) ϕ X + ( g ˜ ( X , ϕ Y ) g ˜ ( ϕ X , Y ) ) ϕ Z ] ,
where c is a constant (see [22]).
By interchanging ϕ and ϕ * in (8), one obtains the similar condition for curvature tensor R ˜ * .
If M ˜ is a Sasaki manifold, then the previous relation represents the curvature condition of being a Sasakian space form (i.e., the ϕ -sectional curvature is constant, c).
On a statistical manifold, the curvature tensor fields of ˜ and ˜ * , respectively, denoted by R ˜ and R ˜ * satisfy the relation
g ˜ R ˜ X , Y Z , W = g ˜ R ˜ * X , Y W , Z
(see [2]).
Let f : M M ˜ be an immersion, where M ˜ , g ˜ , ˜ is a statistical manifold. One considers a pair ( g , ) on M, defined by
g = f * g ˜ , g X Y , Z = g ˜ ˜ f * X f * Y , f * Z ,
for any X , Y , Z T M , where the connection induced from ˜ by f on the induced bundle f * : T M ˜ M is denoted by the same symbol ˜ . Then , g is a statistical structure on M , called the one induced by f from ˜ , g ˜ [2].
Let M , g , and M ˜ , g ˜ , ˜ be two statistical manifolds. Then f : M M ˜ is a statistical immersion if , g coincides with the induced statistical structure, i.e., if (1) holds [2]. Recall that, for M an n-dimensional submanifold of M ˜ , the Gauss formulas are
˜ X Y = X Y + h ( X , Y ) ,
˜ X * Y = X * Y + h * ( X , Y ) ,
where h and h * are symmetric and bilinear, called the imbedding curvature tensors of M in M ˜ for ˜ and ˜ * , respectively. The connections ∇ and * are called the induced connections of ˜ and ˜ * , respectively. Since h and h * are symmetric and bilinear, we have the linear transformations A υ and A υ * defined by
g A υ X , Y = g ˜ h X , Y , υ
and
g A υ * X , Y = g ˜ h * X , Y , υ ,
for any unit vector in the normal bundle υ T M and X , Y T M [3]. It is known that when we use the Levi–Civita connection, h and A υ are called the second fundamental form and the shape operator with respect to the unit υ T M , respectively, [24].
Let ˜ and ˜ * be affine and dual connections on M ˜ . We denote the induced connections ∇ and * of ˜ and ˜ * , respectively, on M. Let R ˜ , R ˜ * , R and R * be the Riemannian curvature tensors of ˜ , ˜ * , and * , respectively. Then the Gauss equations are given by
g ˜ R ˜ X , Y Z , W = g R X , Y Z , W + g ˜ h X , Z , h * Y , W g ˜ h * X , W , h Y , Z
and
g ˜ R ˜ * X , Y Z , W = g R * X , Y Z , W
+ g ˜ h * X , Z , h Y , W g ˜ h X , W , h * Y , Z ,
where X , Y , Z , W T M [3].
In the following, we recall an example of a Sasaki-like statistical manifold, for which the curvature tensor of R m 2 m + 1 satisfies the Equation (8) with c = 3 .
Example 1 ([22]).
Let R m 2 m + 1 be a ( 2 m + 1 ) -dimensional affine space with the standard coordinates x 1 , , x m , y 1 , , y m , z . One defines a semi-Riemannian metric g ˜ on R m 2 m + 1 by
g ˜ = 2 δ i j + y i y j 0 y i 0 δ i j 0 y j 0 1 .
One considers the affine connection ˜ , given by
˜ x i x j = y j y i y i y j ,
˜ x i y j = ˜ y j x i = y i x j + y i y j 2 δ i j z ,
˜ x i z = ˜ z x i = y i ,
˜ y i z = ˜ z y i = x i y i z ,
˜ y i y i = ˜ z z = 0 ,
where x i = x i , y i = y i and z = z .
Its conjugate can be find by straightforward calculations.
One also defines ϕ , ξ and η by
ϕ = 0 δ i j 0 δ i j 0 0 0 y j 0 , ξ = z = 0 . . . 0 1
and η = y 1 , 0 , y 2 , , y m , 0 , 1 .
Then R m 2 m + 1 , ˜ , g ˜ , ϕ , ξ , η represents a Sasaki-like statistical manifold with the curvature tensor of R m 2 m + 1 satisfying the Equation (8) with c = 3 . From here, it can be easily found that
ϕ * = 1 2 0 δ i j 0 4 δ i j 0 0 0 y j 0 .
Moreover, this manifold is not Sasaki with respect to the Levi–Civita connection.
For X T M , one decomposes
ϕ X = P X + F X ,
where P X and F X are the tangential and normal components of ϕ X , respectively.
Similarly, we can write
ϕ * X = P * X + F * X ,
where P * X and F * X are the tangential and normal components of ϕ * X , respectively.
Recall the following definitions from [25]:
Let M ˜ be a Sasaki-like statistical manifold and M a submanifold of M ˜ . For X T M , if ϕ X T M , then M is called an anti-invariant submanifold of M ˜ . On the other hand, for a submanifold M, if ϕ X T M , then M is called an invariant submanifold of M ˜ .
Remark 1.
For some examples of invariant and anti-invariant submanifolds of Sasaki-like statistical manifolds R 5 and R 9 endowed with the structure from the previous example see [25].
We will use the following standard notations (see also [19]):
P 2 = i , j = 1 n g 2 ( ϕ e i , e j ) ,
trace   P = i , j = 1 n g ( P e i , e j )
and
trace   P 2 = i , j = 1 n g ( P 2 e i , e j ) .
Let e 1 , , e n and e n + 1 , , e 2 m + 1 be orthonormal tangent and normal frames, respectively, on M . The mean curvature vector fields are given by
H = 1 n i = 1 n h e i , e i = 1 n α = 1 2 m n + 1 i = 1 n h i i α e n + α , h i j α = g ˜ h e i , e j , e n + α
and
H * = 1 n i = 1 n h * e i , e i = 1 n α = 1 2 m n + 1 i = 1 n h i i * α e n + α , h i j * α = g ˜ h * e i , e j , e n + α .
In [26], B. Opozda introduced the K-sectional curvature of the statistical manifold in the following way: let π be a plane in T M ˜ ; for an orthonormal basis X , Y of π , the K-sectional curvature was defined by
K ˜ π = 1 2 R ˜ X , Y + R ˜ * X , Y 2 R ˜ 0 X , Y ,
where R ˜ 0 is the curvature tensor field of Levi–Civita connection ˜ 0 on T M ˜ .
In next sections, we will use the same notation g for the metric on the ambient space, for the simplicity of writing.

3. Chen First Inequality

In the present section, we recall the following algebraic lemma which will be used in the proof of the main theorem.
Lemma 1 ([18,19]).
Let n 3 be an integer and a 1 , , a n n real numbers. Then we have
1 i < j n n a i a j a 1 a 2 n 2 2 n 1 i = 1 n a i 2 .
The equality case of the above inequality holds if and only if a 1 + a 2 = a 3 = = a n .
Let M ˜ be a ( 2 m + 1 ) -dimensional Sasaki-like statistical manifold satisfying (8), M an n-dimensional statistical submanifold of M ˜ , p M and π a plane section at p . We consider an orthonormal basis e 1 , e 2 of π and e 1 , , e n , e n + 1 , , e 2 m + 1 orthonormal basis of T p M and T p M , respectively.
We denote by K 0 the sectional curvature of the Levi–Civita connection 0 on M and by h 0 the second fundamental form of M . From (13), the sectional curvature K π of the plane section π is
K π = 1 2 g R e 1 , e 2 e 2 , e 1 + g R * e 1 , e 2 e 2 , e 1 2 g R 0 e 1 , e 2 e 2 , e 1 .
From (8), (9) and (12),
g R e 1 , e 2 e 2 , e 1 = c + 3 4 + c 1 4 2 g 2 e 1 , ϕ e 2 η e 2 2 η e 1 2
g e 2 , ϕ e 2 g e 1 , ϕ e 1 g ϕ e 1 , e 2 g e 1 , ϕ e 2 + α = 1 2 m n + 1 h 11 * α h 22 α h 12 * α h 12 α ,
and
g ( R * e 1 , e 2 e 2 , e 1 ) = g R e 1 , e 2 e 1 , e 2 = c + 3 4 + c 1 4 2 g 2 ϕ e 1 , e 2 + η e 2 2 + η e 1 2
+ g e 2 , ϕ e 2 g e 1 , ϕ e 1 + g ϕ e 1 , e 2 g e 1 , ϕ e 2 + α = 1 2 m n + 1 h 12 * α h 12 α h 11 α h 22 * α .
So, we obtain
K π = c + 3 4 + c 1 4 g 2 e 1 , P e 2 + g 2 P e 1 , e 2 η e 1 2 η e 2 2
g e 2 , P e 2 g e 1 , P e 1 g P e 1 , e 2 g e 1 , P e 2 K 0 π
+ 1 2 α = n + 1 2 m + 1 h 11 α h 22 * α + h 11 * α h 22 α 2 h 12 * α h 12 α .
The last equality can be written again as
K π = c + 3 4 + c 1 4 g 2 e 1 , P e 2 + g 2 P e 1 , e 2 η e 1 2 η e 2 2
g e 2 , P e 2 g e 1 , P e 1 g P e 1 , e 2 g e 1 , P e 2 K 0 π
+ α = 1 2 m n + 1 2 h 11 0 α h 22 0 α h 12 0 α 2 1 2 α = 1 2 m n + 1 h 11 α h 22 α h 12 α 2 + h 11 * α h 22 * α h 12 * α 2 .
By using the Gauss equation with respect to Levi–Civita connection, we find
K π = K 0 π + c + 3 4 + c 1 4 g 2 e 1 , P e 2 + g 2 P e 1 , e 2 η e 1 2 η e 2 2 g e 2 , P e 2 g e 1 , P e 1 g P e 1 , e 2 g e 1 , P e 2 2 K ˜ 0 π 1 2 α = 1 2 m n + 1 h 11 α h 22 α h 12 α 2 1 2 α = 1 2 m n + 1 h 11 * α h 22 * α h 12 * α 2 ,
where K ˜ 0 the sectional curvature of the Levi–Civita connection ˜ 0 on M ˜ .
On the other hand, let τ be the scalar curvature of M . Then, using (13) and (9), we get
τ = 1 2 1 i < j n g R e i , e j e j , e i + g R * e i , e j e j , e i 2 g R 0 e i , e j e j , e i = 1 2 1 i < j n g R e i , e j e j , e i g R e i , e j e i , e j τ 0 ,
where τ 0 is the scalar curvature of the Levi–Civita connection 0 on M . By using (12) and (8), we obtain
1 i < j n g R e i , e j e j , e i = 1 i < j n [ c + 3 4 g e j , e j g e i , e i g e i , e j g e i , e j
+ c 1 4 g e i , e j η ( e j ) η ( e i ) η e j η e j g e i , e i
+ g e i , e j η ( e j ) η ( e i ) g e j , e j η ( e i ) η ( e i )
+ g e i , ϕ e j g e i , ϕ e j g e j , ϕ e j g ϕ e i , e i
+ g e i , ϕ e j g ϕ e i , e j g e i , ϕ e j
+ g ˜ h * e i , e i , h e j , e j g ˜ h e i , e j , h * e i , e j .
Then, we have
1 i < j n g R e i , e j e j , e i = c + 3 8 n n 1 c 1 4 n 1 ξ T 2
+ c 1 4 1 i < j n g e i , P e j g P e j , e i g e j , P e j g P e i , e i
+ g e i , P e j g P e i , e j g e i , P e j
+ 1 i < j n g ˜ h * e i , e i , h e j , e j g ˜ h e i , e j , h * e i , e j .
By similar calculations, we get
1 i < j n g R e i , e j e i , e j = c + 3 8 n n 1 + c 1 4 n 1 ξ T 2
+ c 1 4 1 i < j n g e j , P e j g P e i , e i g P e i , e j g e j , P e i
g e i , P e j g P e i , e j g P e i , e j
+ 1 i < j n g ˜ h * e i , e j , h e i , e j g ˜ h e i , e i , h * e j , e j .
If we consider the last equality in (15), we obtain
τ = c + 3 8 n n 1 c 1 4 n 1 ξ T 2 + c 1 4 1 i < j n g e i , P e j g P e j , e i g e j , P e j g P e i , e i g e i , P e j g P e i , e j + g P e i , e j g P e i , e j τ 0 + 1 2 α = 1 2 m n + 1 1 i < j n h i i * α h j j α + h i i α h j j * α 2 h i j * α h i j α .
After straightforward calculations, we find
1 i < j n g e i , P e j g P e j , e i g e j , P e j g P e i , e i g e i , P e j g P e i , e j
+ g P e i , e j g P e i , e j = P 2 ( t r a c e P ) 2 2 + 1 2 i = 1 n g P e i , P * e i .
Using the last equality and (5) in (16), we get
τ = c + 3 8 n n 1 c 1 4 n 1 ξ T 2 P 2 + ( trace   P ) 2 2
1 2 ( trace   P 2 ) + 1 2 α = 1 2 m n + 1 1 i < j n h i i * α h j j α + h i i α h j j * α 2 h i j * α h i j α τ 0 .
The above equality can be written as
τ = c + 3 8 n n 1 c 1 4 n 1 ξ T 2 P 2 + ( trace   P ) 2 2
1 2 ( trace   P 2 ) + 1 2 α = 1 2 m n + 1 1 i < j n 2 h i i 0 α h j j 0 α h i j 0 α 2
1 2 α = 1 2 m n + 1 1 i < j n h i i α h j j α h i j α 2 1 2 α = 1 2 m n + 1 1 i < j n h i i * α h j j * α h i j * α 2 τ 0 .
By using the Gauss equation with respect to the Levi–Civita connection, we have
τ = τ 0 + c + 3 8 n n 1 c 1 4 n 1 ξ T 2 P 2 + ( trace   P ) 2 2 1 2 ( trace   P 2 ) 1 2 α = 1 2 m n + 1 1 i < j n h i i α h j j α h i j α 2 1 2 α = 1 2 m n + 1 1 i < j n h i i * α h j j * α h i j * α 2 2 τ ˜ 0 .
By subtracting (14) from (17), we get
τ K π τ 0 K 0 π = c + 3 8 n 2 n + 1 c 1 4 n 1 ξ T 2
+ ( trace   P ) 2 2 P 2 1 2 ( trace   P 2 ) + g 2 e 1 , P e 2 + g 2 P e 1 , e 2 η e 1 2 η e 2 2
g e 2 , P e 2 g e 1 , P e 1 g P e 1 , e 2 g e 1 , P e 2
1 2 α = 1 2 m n + 1 1 i < j n h i i α h j j α h i j α 2 + h i i * α h j j * α h i j * α 2
+ 1 2 α = 1 2 m n + 1 h 11 α h 22 α h 12 α 2 + h 11 * α h 22 * α h 12 * α 2 + 2 K ˜ 0 π 2 τ ˜ 0 .
From Lemma 1, we have
1 i < j n h i i α h j j α h 11 α h 22 α n 2 2 n 1 i = 1 n h i i α 2 = n 2 n 2 2 n 1 H α 2 ,
1 i < j n h i i * α h j j * α h 11 * α h 22 * α n 2 2 n 1 i = 1 n h i i * α 2 = n 2 n 2 2 n 1 H * α 2 .
Using the above inequality, we get
τ K π τ 0 K 0 π c + 3 8 n 2 n + 1 c 1 4 n 1 ξ T 2
+ ( trace   P ) 2 2 P 2 1 2 ( trace   P 2 ) + g 2 e 1 , P e 2 + g 2 P e 1 , e 2 g e 2 , P e 2 g e 1 , P e 1
g P e 1 , e 2 g e 1 , P e 2 n 2 n 2 4 n 1 H 2 + H * 2 2 τ ˜ 0 K ˜ 0 π .
Next, we can state the following main theorem.
Theorem 1.
Let M ˜ be a ( 2 m + 1 ) -dimensional Sasaki-like statistical manifold satisfying (8) and M an n-dimensional statistical submanifold of M ˜ .
( i ) Assume that ξ is tangent to M.
( a ) If M is invariant, then
τ 0 K 0 π τ K π c + 3 8 n 2 n + 1 + c 1 4 n 1 + ( trace P ) 2 2 P 2
1 2 ( trace P 2 ) + g 2 e 1 , P e 2 + g 2 P e 1 , e 2 g e 2 , P e 2 g e 1 , P e 1
g P e 1 , e 2 g e 1 , P e 2 + n 2 n 2 4 n 1 H 2 + H * 2 + 2 τ ˜ 0 K ˜ 0 π .
( b ) If M is anti-invariant, then
τ 0 K 0 π τ K π c + 3 8 n 2 n + 1 + c 1 4 n 1
+ n 2 n 2 4 n 1 H 2 + H * 2 + 2 τ ˜ 0 K ˜ 0 π .
( i i ) If ξ is normal to M and M is anti-invariant, then
τ 0 K 0 π τ K π c + 3 8 n 2 n + 1
+ n 2 n 2 4 n 1 H 2 + H * 2 + 2 τ ˜ 0 K ˜ 0 π .
Moreover, one of the equality holds in the all cases if and only if for any 1 α 2 m n + 1 we have
h 11 α + h 22 α = h 33 α = = h n n α , h 11 * α + h 22 * α = h 33 * α = = h n n * α , h i j α = h i j * α = 0 , i j , i , j 1 , 2 , 2 , 1 .

4. A Chen δ(2,2) Inequality

In this section, the following lemma has the important role in the proof of our main result.
Lemma 2 ([19,20]).
Let n 4 be an integer and a 1 , , a n n real numbers. Then we have
1 i < j n n a i a j a 1 a 2 a 3 a 4 n 3 2 n 2 i = 1 n a i 2 .
Equality holds if and only if a 1 + a 2 = a 3 + a 4 = a 5 = = a n .
Consider M ˜ a Sasaki-like statistical manifold satisfying (8). For p M , we take π 1 , π 2 T p M , mutually orthogonal, spanned, respectively, by s p e 1 , e 2 = π 1 , s p e 3 , e 4 = π 2 . Consider orthonormal bases e 1 , , e n T p M , e n + 1 , , e 2 m + 1 T p M . Then, from (14), for the planes π 1 and π 2 we have
K π 1 = K 0 π 1 + c + 3 4 + c 1 4 g 2 e 1 , P e 2 + g 2 P e 1 , e 2 η e 1 2 η e 2 2 g e 2 , P e 2 g e 1 , P e 1 g P e 1 , e 2 g e 1 , P e 2 2 K ˜ 0 π 1 1 2 α = 1 2 m n + 1 h 11 α h 22 α h 12 α 2 1 2 α = 1 2 m n + 1 h 11 * α h 22 * α h 12 * α 2
and
K π 2 = K 0 π 2 + c + 3 4 + c 1 4 g 2 e 3 , P e 4 + g 2 P e 3 , e 4 η e 3 2 η e 4 2 g e 4 , P e 4 g e 3 , P e 3 g P e 3 , e 4 g e 3 , P e 4 2 K ˜ 0 π 2 1 2 α = 1 2 m n + 1 h 33 α h 44 α h 34 α 2 1 2 α = 1 2 m n + 1 h 33 * α h 44 * α h 34 * α 2 .
From (17)–(19), it follows
τ τ 0 K π 1 K 0 π 1 K π 2 K 0 π 2
c + 3 8 n 2 n 4 c 1 4 n 1 ξ T 2 + ( trace   P ) 2 2 P 2 1 2 ( trace   P 2 )
+ g 2 e 1 , P e 2 + g 2 P e 1 , e 2 η e 1 2 η e 2 2 g e 2 , P e 2 g e 1 , P e 1
g P e 1 , e 2 g e 1 , P e 2 + g 2 e 3 , P e 4 + g 2 P e 3 , e 4 η e 3 2 η e 4 2
g e 4 , P e 4 g e 3 , P e 3 g P e 3 , e 4 g e 3 , P e 4
1 2 α = 1 2 m n + 1 1 i < j n h i i α h j j α h 11 α h 22 α h 33 α h 44 α + h i i * α h j j * α h 11 * α h 22 * α h 33 * α h 44 * α
2 τ ˜ 0 K ˜ 0 π 1 K ˜ 0 π 2 .
Lemma 2 gives
1 i < j n h i i α h j j α h 11 α h 22 α h 33 α h 44 α
n 3 2 n 2 i = 1 n h i i α 2 = n 2 n 3 2 n 2 H α 2 ,
and similarly for h * .
Summing, we get
α = 1 2 m n + 1 1 i < j n h i i α h j j α h 11 α h 22 α h 33 α h 44 α n 2 n 3 2 n 2 H 2
and similarly for H * .
In this way, we obtain the following inequality:
τ τ 0 K π 1 K 0 π 1 K π 2 K 0 π 2
c + 3 8 n 2 n 4 c 1 4 n 1 ξ T 2 + ( trace   P ) 2 2 P 2 1 2 ( trace   P 2 )
+ g 2 e 1 , P e 2 + g 2 P e 1 , e 2 η e 1 2 η e 2 2 g e 2 , P e 2 g e 1 , P e 1
g P e 1 , e 2 g e 1 , P e 2 + g 2 e 3 , P e 4 + g 2 P e 3 , e 4 η e 3 2 η e 4 2
g e 4 , P e 4 g e 3 , P e 3 g P e 3 , e 4 g e 3 , P e 4
n 2 n 3 4 n 2 H 2 + H * 2 2 τ ˜ 0 K ˜ 0 π 1 K ˜ 0 π 2 .
So we state the following theorem.
Theorem 2.
Let M ˜ be a ( 2 m + 1 ) -dimensional Sasaki-like statistical manifold satisfying (8) and M an n-dimensional statistical submanifold of M ˜ .
( i ) Assume that ξ is tangent to M.
( a ) If M is invariant, then
τ τ 0 K π 1 K 0 π 1 K π 2 K 0 π 2
c + 3 8 n 2 n 4 c 1 4 n 1 + ( trace P ) 2 2 P 2 1 2 ( trace P 2 )
+ g 2 e 1 , P e 2 + g 2 P e 1 , e 2 η e 1 2 η e 2 2 g e 2 , P e 2 g e 1 , P e 1
g P e 1 , e 2 g e 1 , P e 2 + g 2 e 3 , P e 4 + g 2 P e 3 , e 4 η e 3 2 η e 4 2
g e 4 , P e 4 g e 3 , P e 3 g P e 3 , e 4 g e 3 , P e 4
n 2 n 3 4 n 2 H 2 + H * 2 2 τ ˜ 0 K ˜ 0 π 1 K ˜ 0 π 2 .
( b ) If M is anti-invariant, then
τ τ 0 K π 1 K 0 π 1 K π 2 K 0 π 2
c + 3 8 n 2 n 4 c 1 4 n 1 η e 1 2 η e 2 2 η e 3 2 η e 4 2
n 2 n 3 4 n 2 H 2 + H * 2 2 τ ˜ 0 K ˜ 0 π 1 K ˜ 0 π 2 .
( i i ) If ξ is normal to M and M is anti-invariant, then
τ τ 0 K π 1 K 0 π 1 K π 2 K 0 π 2
c + 3 8 n 2 n 4 n 2 n 3 4 n 2 H 2 + H * 2
2 τ ˜ 0 K ˜ 0 π 1 K ˜ 0 π 2 .
Moreover, one of the equality holds in the all cases if and only if for any 1 α 2 m n + 1 we have
h 11 α + h 22 α = h 33 α = = h n n α , h 11 * α + h 22 * α = h 33 * α = = h n n * α , h i j α = h i j * α = 0 , i j , i , j 1 , 2 , 2 , 1 , ( 3 , 4 ) , ( 4 , 3 ) .

5. Conclusions

In Information Geometry, which is regarded as a combination of Differential Geometry and Statistics, one of the main topics and a modern one, at the same time, deals with families of probability distributions, more exactly with their invariant properties.
A challenge in submanifold theory is to obtain relations between extrinsic and intrinsic invariants of a submanifold. An important new step in this topic is due to B. Y. Chen, starting from 1993; new intrinsic invariants were introduced and such inequalities, known as Chen inequalities, were first established in a real space form. The introduction of Chen invariants was considered in the literature as one of the main contributions in classical Riemannian Geometry in the last decade of the 20-th century.
In this article, relations between extrinsic and intrinsic invariants of a submanifold, more precisely the Chen first inequality and a Chen inequality for the δ ( 2 , 2 ) -invariant on statistical submanifolds of Sasaki-like statistical manifolds, under a curvature condition, are obtained.

Author Contributions

Investigation, A.M. and C.Ö.; Methodology, H.A.; Project administration, A.M.; Supervision, A.M.; Writing–original draft, H.A.; Writing–review–editing, C.Ö. All authors contributed equally to this research. The research was carried out by all the authors, and the manuscript was subsequently prepared together. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Amari, S. Differential-Geometrical Methods in Statistics; Lecture Notes in Statistics, 28; Springer: New York, NY, USA, 1985. [Google Scholar]
  2. Furuhata, H. Hypersurfaces in statistical manifolds. Differ. Geom. Appl. 2009, 27, 420–429. [Google Scholar] [CrossRef] [Green Version]
  3. 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]
  4. Chen, B.-Y. Some pinching and classification theorems for minimal submanifolds. Arch. Math. 1993, 60, 568–578. [Google Scholar] [CrossRef]
  5. Arslan, K.; Ezentaş, R.; Mihai, I.; Murathan, C.; Özgür, C. Ricci curvature of submanifolds in locally conformal almost cosymplectic manifolds. Math. J. Toyama Univ. 2003, 26, 13–24. [Google Scholar]
  6. Chen, B.-Y. Mean curvature and shape operator of isometric immersions in real-space-forms. Glasg. Math. J. 1996, 38, 87–97. [Google Scholar] [CrossRef] [Green Version]
  7. Chen, B.-Y. Relations between Ricci curvature and shape operator for submanifolds with arbitrary codimensions. Glasg. Math. 1999, 41, 33–41. [Google Scholar] [CrossRef] [Green Version]
  8. Mihai, A. Modern Topics in Submanifold Theory; Editura Universităţii Bucureşti: Bucharest, Romania, 2006. [Google Scholar]
  9. Mihai, A.; Özgür, C. Chen inequalities for submanifolds of real space forms with a semi-symmetric metric connection. Taiwan. J. Math. 2010, 14, 1465–1477. [Google Scholar] [CrossRef]
  10. Mihai, A.; Özgür, C. Chen inequalities for submanifolds of complex space forms and Sasakian space forms endowed with semi-symmetric metric connections. Rocky Mt. J. Math. 2011, 41, 1653–1673. [Google Scholar] [CrossRef]
  11. Chen, B.-Y. Pseudo-Riemannian Geometry, δ-Invariants and Applications; World Scientific Publishing Co. Pte. Ltd.: Hackensack, NJ, USA, 2011. [Google Scholar]
  12. Matsumoto, K.; Mihai, I. Ricci tensor of C-totally real submanifolds in Sasakian space forms. Nihonkai Math. J. 2002, 13, 191–198. [Google Scholar]
  13. Mihai, I. Ricci curvature of submanifolds in Sasakian space forms. J. Aust. Math. Soc. 2002, 72, 247–256. [Google Scholar] [CrossRef] [Green Version]
  14. Mihai, A.; Rădulescu, I.N. Scalar and Ricci curvatures of special contact slant submanifolds in Sasakian space forms. Adv. Geom. 2014, 14, 147–159. [Google Scholar] [CrossRef]
  15. Aydın, M.E.; Mihai, A.; Mihai, I. Some inequalities on submanifolds in statistical manifolds of constant curvature. Filomat 2015, 29, 465–476. [Google Scholar] [CrossRef]
  16. Mihai, A.; Mihai, I. Curvature invariants for statistical submanifolds of Hessian manifolds of constant Hessian curvature. Mathematics 2018, 6, 44. [Google Scholar] [CrossRef] [Green Version]
  17. Aytimur, H.; Özgür, C. Inequalities for submanifolds in statistical manifolds of quasi-constant curvature. Ann. Pol. Math. 2018, 121, 197–215. [Google Scholar] [CrossRef]
  18. Chen, B.-Y.; Mihai, A.; Mihai, I. A Chen first inequality for statistical submanifolds in Hessian manifolds of constant Hessian curvature. Results Math. 2019, 74, 165. [Google Scholar] [CrossRef]
  19. Aytimur, H.; Kon, M.; Mihai, A.; Özgür, C.; Takano, K. Chen inequalities for statistical submanifolds of Kähler-like statistical manifolds. Mathematics 2019, 7, 1202. [Google Scholar] [CrossRef] [Green Version]
  20. Mihai, A.; Mihai, I. The δ(2,2)-invariant on statistical submanifolds of Hessian manifolds of constant Hessian curvature. Entropy 2020, 22, 164. [Google Scholar] [CrossRef] [Green Version]
  21. Macsim, G.; Mihai, A.; Mihai, I. δ(2,2)-invariant for Lagrangian submanifolds in quaternionic space forms. Mathematics 2020, 8, 480. [Google Scholar] [CrossRef] [Green Version]
  22. Takano, K. Statistical manifolds with almost contact structures and its statistical submersions. J. Geom. 2006, 85, 171–187. [Google Scholar] [CrossRef] [Green Version]
  23. Takano, K. Statistical manifolds with almost complex structures and its statistical submersions. Tensor 2004, 65, 128–142. [Google Scholar]
  24. Chen, B.-Y. Geometry of Submanifolds; Pure and Applied Mathematics bf 22; Marcel Dekker, Inc.: New York, NY, USA, 1973. [Google Scholar]
  25. Aytimur, H.; Özgür, C. Inequalities for submanifolds of Sasaki-like statistical manifolds. Turk. J. Math. 2018, 42, 3149–3163. [Google Scholar] [CrossRef]
  26. Opozda, B. A sectional curvature for statistical structures. Linear Algebra Appl. 2016, 497, 134–161. [Google Scholar] [CrossRef] [Green Version]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Aytimur, H.; Mihai, A.; Özgür, C. Relations between Extrinsic and Intrinsic Invariants of Statistical Submanifolds in Sasaki-Like Statistical Manifolds. Mathematics 2021, 9, 1285. https://0-doi-org.brum.beds.ac.uk/10.3390/math9111285

AMA Style

Aytimur H, Mihai A, Özgür C. Relations between Extrinsic and Intrinsic Invariants of Statistical Submanifolds in Sasaki-Like Statistical Manifolds. Mathematics. 2021; 9(11):1285. https://0-doi-org.brum.beds.ac.uk/10.3390/math9111285

Chicago/Turabian Style

Aytimur, Hülya, Adela Mihai, and Cihan Özgür. 2021. "Relations between Extrinsic and Intrinsic Invariants of Statistical Submanifolds in Sasaki-Like Statistical Manifolds" Mathematics 9, no. 11: 1285. https://0-doi-org.brum.beds.ac.uk/10.3390/math9111285

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