Pinching Theorems for Statistical Submanifolds in Sasaki-Like Statistical Space Forms

Abstract

In this paper, we obtain the upper bounds for the normalized $\delta$-Casorati curvatures and generalized normalized $\delta$-Casorati curvatures for statistical submanifolds in Sasaki-like statistical manifolds with constant curvature. Further, we discuss the equality case of the inequalities. Moreover, we give the necessary and sufficient condition for a Sasaki-like statistical manifold to be $\eta$-Einstein. Finally, we provide the condition under which the metric of Sasaki-like statistical manifolds with constant curvature is a solution of vacuum Einstein field equations.

1. Introduction

Information geometry provides a deeper understanding and a geometric approach to families of statistical models. In general, it is related to the study of the differential geometry of statistical manifolds. Information geometry has had a large scope of applications (e.g., physics, chemistry, biology and finance). It has also enabled a joint approach to many problems in the field of differential geometry. The purpose of information geometry is to use tools from Riemannian geometry to extract information from the underlying statistical models. The idea has been successfully used in different areas, including statistical inferences and manifold learning. Amari [1] showed that there are statistical relationships between families of probability densities in terms of the geometric properties of Riemannian manifolds. It is the study of the intrinsic properties of manifolds of probability distributions. In 1989, the notion of statistical submanifolds was introduced and studied by Vos [2]. However, to-date it has made very little progress due to the difficulty in finding classical differential geometric approaches for the study of statistical submanifolds. Furuhata [3] studied hypersurfaces in statistical manifolds and provided some examples as well. In 2006, Takano [4] introduced and studied the statistical structure on Sasakian manifolds, called Sasaki-like statistical manifolds. He also studied Sasaki-like statistical submersions. In 2017, Furuhata et al. [5] gave another notion for the statistical structures on Sasakian manifolds, called Sasakian statistical manifolds, and obtained several results. Recently, some results have been published for statistical manifolds and submanifolds by different geometers [6,7,8,9].

In order to provide an answer to an open question raised by S. S. Chern concerning the existence of minimal immersions into Euclidean spaces of arbitrary dimension, in the early 1990s Prof. B. Y. Chen introduced new types of Riemannian invariants known as Chen invariants or $\delta$-invariants and established general inequalities involving the new intrinsic invariants and the main extrinsic invariant for arbitrary Riemannian manifold. Such invariants and inequalities have many nice applications in several areas of Mathematics. In 1999, Casorati [10] introduced a new extrinsic invariant known as the Casorati curvature. Afterwards, various geometers discussed the geometrical importance of the Casorati curvature [11,12,13]. Due to its geometric importance, a number of results have been obtained in terms of the Casorati curvatures [14,15,16,17,18,19,20,21].

Recently, Lee et al. [19] derived extremities for normalized $\delta$-Casorati curvature for statistical submanifolds in statistical manifold with constant curvature. The purpose of this article is to show that normalized scalar curvature is bounded above by Casorati curvatures for statistical submanifolds in Sasaki-like statistical manifolds of constant $\varphi$-sectional curvature. Further, we find the condition under which a Sasaki-like statistical manifold becomes $\eta$-Einstein, and vice-versa. We also derive the condition which shows that the metric of Sasaki-like statistical manifolds with constant curvature is a solution of vacuum Einstein field equations.

2. Sasaki-Like Statistical Manifolds

Definition 1.

Let $(\overline{\mathtt{N}},\mathtt{g})$ be a Riemannian manifold and $\overline{\nabla }$ and ${\overline{\nabla }}^{*}$ be torsion-free affine connections on $\overline{\mathtt{N}}$. Then, the Riemannian manifold $(\overline{\mathtt{N}},\mathtt{g})$ is said to be statistical if

$$\begin{array}{c}\hfill \mathtt{Z}\mathtt{g}(\mathtt{X},\mathtt{Y})=\mathtt{g}({\overline{\nabla }}_{\mathtt{Z}}\mathtt{X},\mathtt{Y})+\mathtt{g}(\mathtt{X},{\overline{\nabla }}_{\mathtt{Z}}^{*}\mathtt{Y}),\end{array}$$

(1)

for $\mathtt{X},\mathtt{Y},\mathtt{Z}\in \mathsf{\Gamma }\left(T\overline{\mathtt{N}}\right)$.

Here, we remark the following:

• The connections $\overline{\nabla }$ and ${\overline{\nabla }}^{*}$ are called conjugate connections.
• If $(\overline{\nabla },\mathtt{g})$ is a statistical structure on $\overline{\mathtt{N}}$, then $({\overline{\nabla }}^{*},\mathtt{g})$ is also a statistical structure on $\overline{\mathtt{N}}$.
• For the dual connections $\overline{\nabla }$ and ${\overline{\nabla }}^{*}$, we have

  $$\begin{array}{c}\hfill {\overline{\nabla }}^{\circ }=\frac{1}{2}(\overline{\nabla }+{\overline{\nabla }}^{*}),\end{array}$$

  (2)

  where ${\overline{\nabla }}^{\circ }$ is the Levi-Civita connection for $\overline{\mathtt{N}}$.
• The curvature tensor fields $\overline{\mathtt{R}}$ and ${\overline{\mathtt{R}}}^{*}$ of $\overline{\nabla }$ and ${\overline{\nabla }}^{*}$, respectively, satisfy

  $$\begin{array}{c}\hfill \mathtt{g}({\overline{\mathtt{R}}}^{*}(\mathtt{X},\mathtt{Y})\mathtt{Z},\mathtt{W})=-\mathtt{g}(\mathtt{Z},\overline{\mathtt{R}}(\mathtt{X},\mathtt{Y})\mathtt{W}).\end{array}$$

  (3)

Let $\overline{\mathtt{N}}$ be a $(2m+1)$-dimensional manifold and let $\mathtt{N}$ be a n-dimensional submanifold of $\overline{\mathtt{N}}$. Then, the Gauss formulae are [2]:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\overline{\nabla }}_{\mathtt{X}}\mathtt{Y}={\nabla }_{\mathtt{X}}\mathtt{Y}+\zeta (\mathtt{X},\mathtt{Y}),\hfill \\ {\overline{\nabla }}_{\mathtt{X}}^{*}\mathtt{Y}={\nabla }_{\mathtt{X}}^{*}\mathtt{Y}+{\zeta }^{*}(\mathtt{X},\mathtt{Y}),\hfill \end{array}\right.\end{array}$$

(4)

where $\zeta$ and ${\zeta }^{*}$ are symmetric, bilinear, imbedding curvature tensors of $\mathtt{N}$ in $\overline{\mathtt{N}}$ for $\overline{\nabla }$ and ${\overline{\nabla }}^{*}$, respectively. Let us denote the normal bundle of $\mathtt{N}$ by $\mathsf{\Gamma }\left(T{\mathtt{N}}^{\perp }\right)$. The linear transformations $A_N$ and $A_N^{*}$ are defined by

$$\begin{array}{c}\hfill \left\{\begin{array}{c}\mathtt{g}(A_N\mathtt{X},\mathtt{Y})=\mathtt{g}(\zeta (\mathtt{X},\mathtt{Y}),N),\hfill \\ \mathtt{g}(A_N^{*}\mathtt{X},\mathtt{Y})=\mathtt{g}({\zeta }^{*}(\mathtt{X},\mathtt{Y}),N),\hfill \end{array}\right.\end{array}$$

(5)

for any $N\in \mathsf{\Gamma }\left(T{\mathtt{N}}^{\perp }\right)$ and $\mathtt{X},\mathtt{Y}\in \mathsf{\Gamma }\left(T\mathtt{N}\right)$. The corresponding Weingarten formulas are [2]:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\overline{\nabla }}_{\mathtt{X}}N=-A_N^{*}\mathtt{X}+{\nabla }_{\mathtt{X}}^{\perp }N,\hfill \\ {\overline{\nabla }}_{\mathtt{X}}^{*}N=-A_N\mathtt{X}+{\nabla }_{\mathtt{X}}^{*\perp }N,\hfill \end{array}\right.\end{array}$$

(6)

where $N\in \mathsf{\Gamma }\left(T{\mathtt{N}}^{\perp }\right)$, $\mathtt{X}\in \mathsf{\Gamma }\left(T\mathtt{N}\right)$, and ${\nabla }_{\mathtt{X}}^{\perp }$ and ${\nabla }_{\mathtt{X}}^{*\perp }$ are Riemannian dual connections with respect to the induced metric on $\mathsf{\Gamma }\left(T{\mathtt{N}}^{\perp }\right)$.

The corresponding Gauss equations are given by [2]:

$$\begin{array}{ccc}\hfill \mathtt{g}(\overline{\mathtt{R}}(\mathtt{X},\mathtt{Y})\mathtt{Z},\mathtt{W})& =& \mathtt{g}(\mathtt{R}(\mathtt{X},\mathtt{Y})\mathtt{Z},\mathtt{W})+\mathtt{g}(\zeta (\mathtt{X},\mathtt{Z}),{\zeta }^{*}(\mathtt{Y},\mathtt{W}))\hfill \\ & -& \mathtt{g}({\zeta }^{*}(\mathtt{X},\mathtt{W}),\zeta (\mathtt{Y},\mathtt{Z}))\hfill \end{array}$$

(7)

and

$$\begin{array}{ccc}\hfill \mathtt{g}({\overline{\mathtt{R}}}^{*}(\mathtt{X},\mathtt{Y})\mathtt{Z},\mathtt{W})& =& \mathtt{g}({\mathtt{R}}^{*}(\mathtt{X},\mathtt{Y})\mathtt{Z},\mathtt{W})+\mathtt{g}({\zeta }^{*}(\mathtt{X},\mathtt{Z}),\zeta (\mathtt{Y},\mathtt{W}))\hfill \\ & -& \mathtt{g}(\zeta (\mathtt{X},\mathtt{W}),{\zeta }^{*}(\mathtt{Y},\mathtt{Z})),\hfill \end{array}$$

(8)

where $\mathtt{R}$ and ${\mathtt{R}}^{*}$ are Riemannian curvature tensors with respect to ∇ and ${\nabla }^{*}$, respectively.

Let a tensor $\varphi$ be of type $(1,1)$, a vector field $\xi$, a 1-form $\eta$ on an odd dimensional manifold $\overline{\mathtt{N}}$ satisfying the conditions

$$\begin{array}{c}\eta \left(\xi \right)=1,\\ {\varphi }^2\mathtt{X}=-\mathtt{X}+\eta \left(\mathtt{X}\right)\xi ,\end{array}$$

for any $\mathtt{X}\in \mathsf{\Gamma }\left(T\overline{\mathtt{N}}\right)$, then we say $\overline{\mathtt{N}}$ has an almost contact structure $(\varphi ,\xi ,\eta )$.

Definition 2 (see Reference [4]).

A Riemannian manifold $(\overline{\mathtt{N}},\mathtt{g})$ is said to be an almost contact metric-like manifold if it has an almost contact structure $(\varphi ,\xi ,\mathtt{g})$ on $\overline{\mathtt{N}}$ satisfying

$$\begin{array}{c}\hfill \mathtt{g}(\varphi \mathtt{X},\mathtt{Y})+\mathtt{g}(\mathtt{X},{\varphi }^{*}\mathtt{Y})=0,\end{array}$$

(9)

for $\mathtt{X},\mathtt{Y}\in \mathsf{\Gamma }\left(T\overline{\mathtt{N}}\right)$, and ${\varphi }^{*}$ is another $(1,1)$ tensor field on $\overline{\mathtt{N}}$.

Motivated by Takano’s examples in Reference [4], we provide the following examples:

Example 1.

Let $\overline{\mathtt{N}}=\{(x^1,\cdots ,x^m,y^1,\cdots ,y^m,z)\in {\mathbb{R}}^{2m+1}\}$ be a (2m+1)-dimensional semi-Euclidean space which admits the following almost contact metric structure $(g,\varphi ,\xi ,\eta )$:

$$\begin{array}{ccc}\hfill \eta & =& \frac{1}{2}(dz-\sum _{i=1}^m{y}^{i}d{x}^i),\hfill \\ \hfill \xi & =& -2\partial z,\hfill \\ \hfill g& =& \frac{1}{4}(\eta \otimes \eta +\sum _{i=1}^m(-2{\left(d{x}^i\right)}^2+{\left(d{y}^i\right)}^2)).\hfill \end{array}$$

These equations can be rewritten as follows:

$$\begin{array}{ccc}\hfill \eta & =& \frac{1}{2}(-y^1,-y^2,\cdots ,-y^m,0,\cdots 0,1),\xi =\left(\begin{array}{c}0\\ ⋮\\ 0\\ -2\end{array}\right),\hfill \\ \hfill g& =& \frac{1}{4}\left(\begin{array}{ccc}-2{\delta }_{ij}+y^i{y}^j& 0& -y^i\\ 0& {\delta }_{ij}& 0\\ -y^i& 0& 1\end{array}\right).\hfill \end{array}$$

We also define a tensor field ϕ of type $(1,1)$ in matrix form as:

$$\begin{array}{ccc}\hfill \varphi & =& \left(\begin{array}{ccc}0& {\delta }_{ij}& 0\\ -{\delta }_{ij}& 0& 0\\ 0& y^j& 0\end{array}\right).\hfill \end{array}$$

We also find another tensor field ${\varphi }^{*}$ of type $(1,1)$ (see Reference [4]):

$$\begin{array}{ccc}\hfill {\varphi }^{*}& =& \frac{1}{2}\left(\begin{array}{ccc}0& -{\delta }_{ij}& 0\\ 4{\delta }_{ij}& 0& 0\\ 0& -y^j& 0\end{array}\right).\hfill \end{array}$$

The vector fields ${\mathtt{X}}_i=2\partial y^i$, ${\mathtt{X}}_{m+i}=2(\partial x^i+y^i\partial z)$, and ξ form a $\varphi$-basis for the contact metric-like structure. Now, we show that

$$\begin{array}{ccc}\hfill g(\varphi {\mathtt{X}}_i,{\mathtt{X}}_{m+i})+g({\mathtt{X}}_i,{\varphi }^{*}{\mathtt{X}}_{m+i})& =& 4g(\varphi \partial y^i,\partial x^i+y^i\partial z)+4g(\partial y^i,{\varphi }^{*}(\partial x^i+y^i\partial z))\hfill \\ & =& 4g(\partial x^i,\partial x^i)-4g(\partial x^i,y^i\partial z)+4g(\partial y^i,2\partial y^i)\hfill \\ & =& -2+{\left(y^i\right)}^2-{\left(y^i\right)}^2+2\hfill \\ & =& 0,\hfill \end{array}$$

and

$$\begin{array}{ccc}\hfill g(\varphi {\mathtt{X}}_{m+i},{\mathtt{X}}_i)+g({\mathtt{X}}_{m+i},{\varphi }^{*}{\mathtt{X}}_i)& =& -4g(\partial y^i,\partial y^i)-2g(\partial x^i,\partial x^i+y^i\partial z)\hfill \\ & =& -1-\frac{1}{2}(-2+{\left(y^i\right)}^2-{\left(y^i\right)}^2)\hfill \\ & =& 0.\hfill \end{array}$$

Hence $(\overline{\mathtt{N}},g,\varphi ,\xi ,\eta )$ is an almost contact metric-like manifold.

Example 2.

Consider a 7-dimensional semi-Euclidean space ${\mathbb{R}}^7$ endowed with a semi-Riemannian metric g:

$$\begin{array}{ccc}\hfill g& =& \frac{1}{4}\left(\begin{array}{ccc}-2{\delta }_{ij}& 0& 0\\ 0& {\delta }_{ij}& 0\\ 0& 0& 1\end{array}\right)\hfill \end{array}$$

and the coordinate system $(x^1,x^2,x^3,y^1,y^2,y^3,z)$. We define $\varphi ,\xi ,\eta$ by

$$\begin{array}{ccc}\hfill \varphi & =& \left(\begin{array}{ccc}0& {\delta }_{ij}& 0\\ -{\delta }_{ij}& 0& 0\\ 0& 0& 0\end{array}\right),\hfill \\ \hfill \eta & =& (0,0,0,0,0,0,\frac{1}{2}),\xi =-2\left(\begin{array}{c}0\\ 0\\ 0\\ 0\\ 0\\ 0\\ 1\end{array}\right).\hfill \end{array}$$

Then, we obtain the following tensor field:

$$\begin{array}{ccc}\hfill {\varphi }^{*}& =& \frac{1}{2}\left(\begin{array}{ccc}0& -{\delta }_{ij}& 0\\ 4{\delta }_{ij}& 0& 0\\ 0& 0& 0\end{array}\right).\hfill \end{array}$$

Hence, it is easy to show that $({\mathbb{R}}^7,g,\varphi ,\xi ,\eta )$ is an almost contact metric-like manifold.

Example 3.

Let ${\mathbb{R}}^9$ be a 9-dimensional semi-Euclidean space with the standard coordinate $(x^1,x^2,x^3,x^4,y^1,y^2,y^3,y^4,z)$ such that $y^1>0,\cdots ,y^4>0$. We define the almost contact metric structure $(g,\varphi ,\xi ,\eta )$ on ${\mathbb{R}}^9$ as follows:

$$\begin{array}{ccc}\hfill g& =& \left(\begin{array}{ccc}\frac{-2}{{\left(y^i\right)}^2}{\delta }_{ij}& 0& 0\\ 0& \frac{1}{{\left(y^i\right)}^2}{\delta }_{ij}& 0\\ 0& 0& 1\end{array}\right),\varphi =\left(\begin{array}{ccc}0& {\delta }_{ij}& 0\\ -{\delta }_{ij}& 0& 0\\ 0& 0& 0\end{array}\right),\hfill \\ \hfill \xi & =& \left(\begin{array}{c}0\\ 0\\ 0\\ 0\\ 0\\ 0\\ 0\\ 0\\ 1\end{array}\right),\eta =(0,0,0,0,0,0,0,0,1).\hfill \end{array}$$

Also, we find

$$\begin{array}{ccc}\hfill {\varphi }^{*}& =& \frac{1}{2}\left(\begin{array}{ccc}0& -{\delta }_{ij}& 0\\ 4{\delta }_{ij}& 0& 0\\ 0& 0& 0\end{array}\right).\hfill \end{array}$$

Then we can verify that $({\mathbb{R}}^9,g,\varphi ,\xi ,\eta )$ is an almost contact metric-like manifold.

Definition 3 (see Reference [4]).

A Sasaki-like statistical manifold $(\overline{\mathtt{N}},\overline{\nabla },\mathtt{g},\varphi ,\xi )$ is an almost contact metric-like manifold satisfying

$$\begin{array}{c}{\overline{\nabla }}_{\mathtt{X}}\xi =-\varphi \mathtt{X},\\ \left({\overline{\nabla }}_{\mathtt{X}}\varphi \right)\mathtt{Y}=\mathtt{g}(\mathtt{X},\mathtt{Y})\xi -\eta \left(\mathtt{Y}\right)\mathtt{X},\mathtt{X},\mathtt{Y}\in \mathsf{\Gamma }\left(T\overline{\mathtt{N}}\right).\end{array}$$

Example 4.

Let ${\mathbb{R}}^5$ be a 5-dimensional semi-Euclidean space with local coordinate system $(x^1,x^2,y^1,y^2,z)$. We put the following almost contact metric structure $(g,\varphi ,\xi ,\eta )$ on ${\mathbb{R}}^5$:

$$\begin{array}{ccc}\hfill g& =& \frac{1}{4}\left(\begin{array}{ccc}2{\delta }_{ij}& 0& 0\\ 0& -{\delta }_{ij}& 0\\ 0& 0& 1\end{array}\right),\varphi =\left(\begin{array}{ccc}0& {\delta }_{ij}& 0\\ -{\delta }_{ij}& 0& 0\\ 0& 0& 0\end{array}\right),\hfill \\ \hfill \xi & =& \left(\begin{array}{c}0\\ 0\\ 0\\ 0\\ 1\end{array}\right),\eta =(0,0,0,0,1).\hfill \end{array}$$

Another tensor field of type $(1,1)$ is given by

$$\begin{array}{ccc}\hfill {\varphi }^{*}& =& \frac{1}{2}\left(\begin{array}{ccc}0& -{\delta }_{ij}& 0\\ 4{\delta }_{ij}& 0& 0\\ 0& 0& 0\end{array}\right).\hfill \end{array}$$

The dual affine connections $\overline{\nabla }$ and ${\overline{\nabla }}^{*}$ are defined as

$$\begin{array}{c}{\overline{\nabla }}_{\partial x^i}\partial x^j={\overline{\nabla }}_{\partial y^i}\partial y^j={\overline{\nabla }}_{\partial z}\partial z=0,\hfill \\ {\overline{\nabla }}_{\partial x^i}\partial y^j={\overline{\nabla }}_{\partial y^j}\partial x^i=-2{\delta }_{ij}\partial z,\hfill \\ {\overline{\nabla }}_{\partial x^i}\partial z={\overline{\nabla }}_{\partial z}\partial x^i=\partial y^i=-\varphi \partial x^i,\hfill \\ {\overline{\nabla }}_{\partial y^i}\partial z={\overline{\nabla }}_{\partial z}\partial y^i=-\partial x^i=-\varphi \partial y^i,\hfill \\ {\overline{\nabla }}_{\partial x^i}^{*}\partial x^j={\overline{\nabla }}_{\partial y^i}^{*}\partial y^j={\overline{\nabla }}_{\partial z}^{*}\partial z=0,\hfill \\ {\overline{\nabla }}_{\partial x^i}^{*}\partial y^j={\overline{\nabla }}_{\partial y^j}^{*}\partial x^i={\delta }_{ij}\partial z,\hfill \\ {\overline{\nabla }}_{\partial x^i}^{*}\partial z={\overline{\nabla }}_{\partial z}^{*}\partial x^i=-2\partial y^i=-{\varphi }^{*}\partial x^i,\hfill \\ {\overline{\nabla }}_{\partial y^i}^{*}\partial z={\overline{\nabla }}_{\partial z}^{*}\partial y^i=\frac{1}{2}\partial x^i=-{\varphi }^{*}\partial y^i,\hfill \end{array}$$

for $i,j=1,2$. We compute the following:

$$\begin{array}{ccc}\hfill \left({\overline{\nabla }}_{\partial x^i}\varphi \right)\partial x^j& =& {\overline{\nabla }}_{\partial x^i}\varphi \partial x^j-\varphi {\overline{\nabla }}_{\partial x^i}\partial x^j\hfill \\ & =& -{\overline{\nabla }}_{\partial x^i}\partial y^j\hfill \\ & =& 2{\delta }_{ij}\partial z,\hfill \end{array}$$

(10)

and

$$\begin{array}{ccc}\hfill g(\partial x^i,\partial x^j)\partial z-\eta \left(\partial x^j\right)\partial x^i& =& 2{\delta }_{ij}\partial z-g(\partial x^j,\partial z)\partial x^i\hfill \\ & =& 2{\delta }_{ij}\partial z.\hfill \end{array}$$

(11)

From Equations (10) and (11), we conclude that

$$\begin{array}{c}\hfill \left({\overline{\nabla }}_{\partial x^i}\varphi \right)\partial x^j=g(\partial x^i,\partial x^j)\partial z-\eta \left(\partial x^j\right)\partial x^i.\end{array}$$

Thus, we say that $({\mathbb{R}}^5,\overline{\nabla },g,\varphi ,\xi ,\eta )$ is a Sasaki-like statistical manifold.

Definition 4 (see Reference [4]).

Let $(\overline{\mathtt{N}},\overline{\nabla },\mathtt{g},\varphi ,\xi )$ be Sasaki-like statistical manifold and $c\in \mathtt{R}$. The Sasaki-like statistical manifold is said to be of constant ϕ-sectional curvature c if $\overline{R}$ is defined by

$$\begin{array}{cc}\hfill \overline{R}(\mathtt{X},\mathtt{Y})\mathtt{Z}& =\frac{c+3}{4}\{\mathtt{g}(\mathtt{Y},\mathtt{Z})\mathtt{X}-\mathtt{g}(\mathtt{X},\mathtt{Z})\mathtt{Y}\}\hfill \\ & +\frac{c-1}{4}\{\mathtt{g}(\varphi \mathtt{Y},\mathtt{Z})\varphi \mathtt{X}-\mathtt{g}(\varphi \mathtt{X},\mathtt{Z})\varphi \mathtt{Y}\hfill \\ & -\mathtt{g}(\varphi \mathtt{X},\mathtt{Y})\varphi \mathtt{Z}+\mathtt{g}(\mathtt{X},\varphi \mathtt{Y})\varphi \mathtt{Z}-\mathtt{g}(\mathtt{Y},\xi )\mathtt{g}(\mathtt{Z},\xi )\mathtt{X}\hfill \\ & +\mathtt{g}(\mathtt{X},\xi )\mathtt{g}(\mathtt{Z},\xi )\mathtt{Y}+\mathtt{g}(\mathtt{Y},\xi )\mathtt{g}(\mathtt{Z},\mathtt{X})\xi -\mathtt{g}(\mathtt{X},\xi )\mathtt{g}(\mathtt{Z},\mathtt{Y})\xi \},\hfill \end{array}$$

(12)

where $\mathtt{X},\mathtt{Y},\mathtt{Z}\in T\overline{\mathtt{N}}$. We denote a Sasaki-like statistical manifold with constant ϕ-sectional curvature c by $\overline{\mathtt{N}}\left(c\right)$.

Remark 1.

The curvature tensor ${\overline{R}}^{*}$ can also be obtained by changing ϕ for ${\varphi }^{*}$ in Equation (12).

Definition 5 (see Reference [22]).

Let $\overline{\mathtt{N}}$ be a contact metric manifold. Then, $\overline{\mathtt{N}}$ is said to be an η-Einstein if its Ricci tensor S has the following form:

$$\begin{array}{c}\hfill S=\mu \mathtt{g}+\nu \eta \otimes \eta ,\end{array}$$

(13)

for any smooth function μ and ν on $\overline{\mathtt{N}}$. Moreover, if the function $\nu =0$ in Equation (13), then the manifold $\overline{\mathtt{N}}$ becomes Einstein, and if both the functions μ and ν vanish in Equation (13), then the manifolds are known as Ricci-flat manifolds.

Let $\{e_1,\cdots ,e_n,e_{n+1}=\xi \}$ and $\{e_{n+2},\cdots ,e_{2m+1}\}$ be the tangent orthonormal frame and normal orthonormal frame, respectively, on $\mathtt{N}$. The mean curvature vector fields are given by

$$\begin{array}{c}\hfill \mathtt{H}=\frac{1}{n}\sum _{i=1}^{n+1}\zeta (e_i,e_i),\end{array}$$

(14)

$$\begin{array}{c}\hfill {\mathtt{H}}^{*}=\frac{1}{n}\sum _{i=1}^{n+1}{\zeta }^{*}(e_i,e_i),\end{array}$$

(15)

and

$$\begin{array}{c}\hfill {\mathtt{H}}^{\circ }=\frac{1}{n}\sum _{i=1}^{n+1}{\zeta }^{\circ }(e_i,e_i).\end{array}$$

(16)

We also set

$$\begin{array}{c}\hfill {\parallel \zeta \parallel }^2=\sum _{i,j=1}^{n+1}\mathtt{g}(\zeta (e_i,e_j),\zeta (e_i,e_j)),\end{array}$$

(17)

$$\begin{array}{c}\hfill \parallel {\zeta }^{*}{\parallel }^2=\sum _{i,j=1}^{n+1}\mathtt{g}({\zeta }^{*}(e_i,e_j),{\zeta }^{*}(e_i,e_j)),\end{array}$$

(18)

and

$$\begin{array}{c}\hfill \parallel {\zeta }^{\circ }{\parallel }^2=\sum _{i,j=1}^{n+1}\mathtt{g}({\zeta }^{\circ }(e_i,e_j),{\zeta }^{\circ }(e_i,e_j)).\end{array}$$

(19)

Let $K\left(\pi \right)$ denote the sectional curvature of a Riemannian manifold $\mathtt{N}$ of the plane section $\pi \subset T_p\mathtt{N}$ at a point $p\in \mathtt{N}$. Then,

$$\begin{array}{c}\hfill \tau \left(p\right)=\sum _{1\le i<j\le n+1}K(e_i\wedge e_j),\end{array}$$

(20)

where $\tau$ is the scalar curvature. The normalized scalar curvature $\rho$ is defined as

$$\begin{array}{c}\hfill \rho =\frac{2\tau }{n(n+1)}.\end{array}$$

(21)

We also put

$${\zeta }_{ij}^{\gamma }=\mathtt{g}(\zeta (e_i,e_j),e_{\gamma }),{\zeta }_{ij}^{*\gamma }=\mathtt{g}({\zeta }^{*}(e_i,e_j),e_{\gamma }),$$

$i,j\in 1,2,\dots ,n,n+1,\gamma \in \{n+2,\dots ,2m+1\}$. The squared norms of the second fundamental form $\zeta$ and ${\zeta }^{*}$ are denoted by $\mathtt{C}$ and ${\mathtt{C}}^{*}$, respectively, and are given as

$$\begin{array}{c}\hfill \mathtt{C}=\frac{1}{n}\sum _{\gamma =n+2}^{2m+1}\sum _{i,j=1}^{n+1}{\left({\zeta }_{ij}^{\gamma }\right)}^2\mathrm{and}{\mathtt{C}}^{*}=\frac{1}{n}\sum _{\gamma =n+2}^{2m+1}\sum _{i,j=1}^{n+1}{\left({\zeta }_{ij}^{*\gamma }\right)}^2,\end{array}$$

(22)

called Casorati curvatures of the submanifold [19,23].

Let ${\mathtt{L}}_r$ be an r-dimensional subspace of $T\mathtt{N}$, $r\ge 2$, and $\{e_1,e_2,\cdots ,e_r\}$ is an orthonormal basis of ${\mathtt{L}}_r$. Then

$$\begin{array}{c}\hfill \tau \left({\mathtt{L}}_r\right)=\sum _{1\le \gamma <\beta \le r}K(e_{\gamma }\wedge e_{\beta }),\end{array}$$

is called the scalar curvature of the r-plane section. The Casorati curvatures $\mathtt{C}$ and ${\mathtt{C}}^{*}$ of that r-plane section are [19,23]:

$$\begin{array}{c}\hfill \mathtt{C}\left({\mathtt{L}}_r\right)=\frac{1}{r}\sum _{\gamma =n+2}^{2m+1}\sum _{i,j=1}^r{\left({\zeta }_{ij}^{\gamma }\right)}^2\mathrm{and}{\mathtt{C}}^{*}\left({\mathtt{L}}_r\right)=\frac{1}{r}\sum _{\gamma =n+2}^{2m+1}\sum _{i,j=1}^r{\left({\zeta }_{ij}^{*\gamma }\right)}^2.\end{array}$$

(23)

The normalized $\delta$-Casorati curvatures ${\delta }_c\left(n\right)$ and ${\widehat{\delta }}_c\left(n\right)$ are defined as [20,23]:

$$\begin{array}{c}\hfill {\left[{\delta }_c\left(n\right)\right]}_p=\frac{1}{2}{\mathtt{C}}_p+\frac{n+2}{2(n+1)}inf\left\{\mathtt{C}\left({\mathtt{L}}_n\right)\right|{\mathtt{L}}_n:\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_p\mathtt{N}\}\end{array}$$

(24)

and

$$\begin{array}{c}\hfill {\left[{\widehat{\delta }}_c\left(n\right)\right]}_p=2{\mathtt{C}}_p-\frac{2n+1}{2(n+1)}sup\left\{\mathtt{C}\left({\mathtt{L}}_n\right)\right|{\mathtt{L}}_n:\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_p\mathtt{N}\}.\end{array}$$

(25)

Similarly, the dual normalized ${\delta }^{*}$-Casorati curvatures ${\delta }_c^{*}\left(n\right)$ and ${\widehat{\delta }}_c^{*}\left(n\right)$ are defined as [14,19]:

$$\begin{array}{c}\hfill {\left[{\delta }_c^{*}\left(n\right)\right]}_p=\frac{1}{2}{\mathtt{C}}_p^{*}+\frac{n+2}{2(n+1)}inf\left\{{\mathtt{C}}^{*}\left({\mathtt{L}}_n\right)\right|{\mathtt{L}}_n:\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_p\mathtt{N}\}\end{array}$$

(26)

and

$$\begin{array}{c}\hfill {\left[{\widehat{\delta }}_c^{*}\left(n\right)\right]}_p=2{\mathtt{C}}_p^{*}-\frac{2n+1}{2(n+1)}sup\left\{{\mathtt{C}}^{*}\left({\mathtt{L}}_n\right)\right|{\mathtt{L}}_n:\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_p\mathtt{N}\}.\end{array}$$

(27)

For a positive real number $t\ne n(n+1)$, put

$$\begin{array}{c}\hfill b\left(t\right)=\frac{1}{(n+1)t}\left(n\right)(n+t+1)(n^2+n-t),\end{array}$$

(28)

then the generalized normalized $\delta$-Casorati curvatures ${\delta }_c(t;n)$ and ${\widehat{\delta }}_c(t;n)$ are given as [20,23]:

$$\begin{array}{c}\hfill {\left[{\delta }_c(t;n)\right]}_p=t{\mathtt{C}}_p+b\left(t\right)inf\left\{\mathtt{C}\left({\mathtt{L}}_n\right)\right|{\mathtt{L}}_n:\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_p\mathtt{N}\}\end{array}$$

if $0<t<n(n+1)$, and

$$\begin{array}{c}\hfill {\left[{\widehat{\delta }}_c(t;n)\right]}_p=t{\mathtt{C}}_p+b\left(t\right)sup\left\{\mathtt{C}\left({\mathtt{L}}_n\right)\right|{\mathtt{L}}_n:\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_p\mathtt{N}\}\end{array}$$

if $t>n(n+1).$

Further, the dual generalized normalized ${\delta }^{*}$-Casorati curvatures ${\delta }_c^{*}(t;n)$ and ${\widehat{\delta }}_c^{*}(t;n)$ are given as [14,19]:

$$\begin{array}{c}\hfill {\left[{\delta }_c^{*}(t;n)\right]}_p=t{\mathtt{C}}_p^{*}+b\left(t\right)inf\left\{{\mathtt{C}}^{*}\left({\mathtt{L}}_n\right)\right|{\mathtt{L}}_n:\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_p\mathtt{N}\}\end{array}$$

if $0<t<n(n+1)$, and

$$\begin{array}{c}\hfill {\left[{\widehat{\delta }}_c^{*}(t;n)\right]}_p=t{\mathcal{C}}_p^{*}+b\left(t\right)sup\left\{{\mathcal{C}}^{*}\left({\mathtt{L}}_n\right)\right|{\mathtt{L}}_n:\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_p\mathtt{N}\}\end{array}$$

if $t>n(n+1)$.

Lemma 1 (see Reference [23]).

Let

$$F=\{(x_1,\cdots ,x_{n+1})\in {\mathbb{R}}^{n+1}:x_1+\cdots +x_n+x_{n+1}=k\}$$

be a hyperplane of ${\mathbb{R}}^{n+1}$, and $f:{\mathbb{R}}^{n+1}\to \mathbb{R}$ a quadratic form given by

$$\begin{array}{c}\hfill f(x_1,\cdots ,x_{n+1})=a\sum _{i=1}^n{\left(x_i\right)}^2+b{\left(x_{n+1}\right)}^2-2\sum _{1\le i<j\le n+1}{x}_i{x}_j,a>0,b>0.\end{array}$$

Then f has a global solution,

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{x}_1=x_2=\cdots =x_n=\frac{1}{a+1}k,\hfill \\ x_{n+1}=\frac{1}{b+1}k,\hfill \end{array}\right.\end{array}$$

(29)

provided

$$b=\frac{n}{a-n+1}.$$

3. Normalized $\mathit{\delta }$-Casorati Curvature

In this section, we mainly show that the normalized scalar curvature $\rho$ is bounded above by the normalized $\delta$-Casorati curvatures for statistical submanifolds of Sasaki-like statistical manifold with constant $\varphi$-sectional curvature.

Theorem 1.

Let $\mathtt{N}$ be a statistical submanifold in a Sasaki-like statistical manifold $\overline{\mathtt{N}}\left(c\right)$ such that $\mathtt{N}$ is tangent to the structure vector field ξ of $\overline{\mathtt{N}}\left(c\right)$. Then, the normalized δ-Casorati curvatures ${\delta }_c\left(n\right)$ and ${\delta }_c^{*}\left(n\right)$ satisfy

$$\begin{array}{ccc}\hfill \rho & \le & 2{\delta }_c^{\circ }\left(n\right)+\frac{c+3}{4}+\frac{c-1}{4n(n+1)}{\{(1-n)-\left(tr\varphi \right)}^2+{2\parallel P\parallel }^2\}\hfill \\ & +& \frac{1}{n}{\mathtt{C}}^{\circ }-\frac{n+1}{2n}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2),\hfill \end{array}$$

(30)

for real t, $0<t<n(n+1)$, where $2{\delta }_c^{\circ }\left(n\right)={\delta }_c\left(n\right)+{\delta }_c^{*}\left(n\right)$, $2{\mathtt{C}}^{\circ }=\mathtt{C}+{\mathtt{C}}^{*}$ and ${\parallel P\parallel }^2=g^2(\varphi e_j,e_i)$. The equality case holds in Equation (30) if and only if the component of ζ satisfies

$$\left\{\begin{array}{l}{\zeta }_{11}^{\circ \gamma }={\zeta }_{22}^{\circ \gamma }=\cdots ={\zeta }_{nn}^{\circ \gamma }=\frac{1}{2}{\zeta }_{n+1n+1}^{\circ \gamma },\alpha \in \{n+2,\cdots ,2m+1\},\\ {\zeta }_{ij}^{\circ \gamma }=0,i,j\in \{1,\cdots ,n+1\},\alpha \in \{n+2,\cdots ,2m+1\}.\end{array}\right.$$

(31)

Proof. 

From Equations (7) and (12), we have

$$\begin{array}{cc}\hfill \mathtt{g}\left(\mathtt{R}\right(\mathtt{X},\mathtt{Y})\mathtt{Z},\mathtt{W})& =\frac{c+3}{4}\{\mathtt{g}(\mathtt{Y},\mathtt{Z})\mathtt{g}(\mathtt{X},\mathtt{W})-\mathtt{g}(\mathtt{X},\mathtt{Z})\mathtt{g}(\mathtt{Y},\mathtt{W}\}\hfill \\ & +\frac{c-1}{4}\{\mathtt{g}(\varphi \mathtt{Y},\mathtt{Z})\mathtt{g}(\varphi \mathtt{X},\mathtt{W})-\mathtt{g}(\varphi \mathtt{X},\mathtt{Z})\mathtt{g}(\varphi \mathtt{Y},\mathtt{W})\hfill \\ & -\mathtt{g}(\varphi \mathtt{X},\mathtt{Y})\mathtt{g}(\varphi \mathtt{Z},\mathtt{W})+\mathtt{g}(\mathtt{X},\varphi \mathtt{Y})\mathtt{g}(\varphi \mathtt{Z},\mathtt{W})\hfill \\ & -\mathtt{g}(\mathtt{Y},\xi )\mathtt{g}(\mathtt{Z},\xi )\mathtt{g}(\mathtt{X},\mathtt{W})+\mathtt{g}(\mathtt{X},\xi )\mathtt{g}(\mathtt{Z},\xi )\mathtt{g}(\mathtt{Y},\mathtt{W})\hfill \\ & +\mathtt{g}(\mathtt{Y},\xi )\mathtt{g}(\mathtt{Z},\mathtt{X})\mathtt{g}(\xi ,\mathtt{W})-\mathtt{g}(\mathtt{X},\xi )\mathtt{g}(\mathtt{Z},\mathtt{Y})\mathtt{g}(\xi ,\mathtt{W})\}\hfill \\ & -\mathtt{g}(\zeta (\mathtt{X},\mathtt{Z}),{\zeta }^{*}(\mathtt{Y},\mathtt{W}))+\mathtt{g}({\zeta }^{*}(\mathtt{X},\mathtt{W}),\zeta (\mathtt{Y},\mathtt{Z})).\hfill \end{array}$$

(32)

Putting $\mathtt{Y}=\mathtt{W}=e_i$ and $\mathtt{X}=\mathtt{Z}=e_j$ in Equation (32), we get

$$\begin{array}{cc}\hfill \mathtt{g}(\mathtt{R}(e_i,e_j)e_j,e_i)& =\frac{c+3}{4}\{\mathtt{g}(e_j,e_j)\mathtt{g}(e_i,e_i)-\mathtt{g}(e_i,e_j)\mathtt{g}(e_j,e_i)\}\hfill \\ & +\frac{c-1}{4}\{\mathtt{g}(\varphi e_j,e_j)\mathtt{g}(\varphi e_i,e_i)-\mathtt{g}(\varphi e_i,e_j)\mathtt{g}(\varphi e_j,e_i)\hfill \\ & -\mathtt{g}(\varphi e_i,e_j)\mathtt{g}(\varphi e_j,e_i)+\mathtt{g}(e_i,\varphi e_j)\mathtt{g}(\varphi e_j,e_i)\hfill \\ & -\mathtt{g}(e_j,\xi )\mathtt{g}(e_j,\xi )\mathtt{g}(e_i,e_i)+\mathtt{g}(e_i,\xi )\mathtt{g}(e_j,\xi )\mathtt{g}(e_j,e_i)\hfill \\ & +\mathtt{g}(e_j,\xi )\mathtt{g}(e_j,e_i)\mathtt{g}(\xi ,e_i)-\mathtt{g}(e_i,\xi )\mathtt{g}(e_j,e_j)\mathtt{g}(\xi ,e_i)\}\hfill \\ & -\mathtt{g}(\zeta (e_i,e_j),{\zeta }^{*}(e_j,e_i))+\mathtt{g}({\zeta }^{*}(e_i,e_i),\zeta (e_j,e_j)).\hfill \end{array}$$

(33)

Applying summation $1\le i,j\le n+1$ and using Equations (14)–(19) in Equation (33), we obtain

$$\begin{array}{cc}\hfill \sum _{1\le i,j\le n+1}\mathtt{g}(\mathtt{R}(e_i,e_j)e_j,e_i)& =\frac{c+3}{4}n(n+1)\hfill \\ & +\frac{c-1}{4}\{(1-n)-{\left(tr\varphi \right)}^2+2{\mathtt{g}}^2(\varphi e_j,e_i)\}\hfill \\ & +n^2\mathtt{g}(\mathtt{H},{\mathtt{H}}^{*})-\mathtt{g}(\zeta (e_i,e_j),{\zeta }^{*}(e_j,e_i))\hfill \\ & =\frac{c+3}{4}n(n+1)\hfill \\ & +\frac{{(n+1)}^2}{2}\left\{\mathtt{g}({\mathtt{H}}^{*}+\mathtt{H},{\mathtt{H}}^{*}+\mathtt{H})-\mathtt{g}(\mathtt{H},\mathtt{H})-\mathtt{g}({\mathtt{H}}^{*},{\mathtt{H}}^{*})\right\}\hfill \\ & +\frac{c-1}{4}\left\{(1-n)-{\left(tr\varphi \right)}^2+2{\mathtt{g}}^2(\varphi e_j,e_i)\right\}\hfill \\ & -\frac{1}{2}\{\mathtt{g}(\zeta (e_i,e_j)+{\zeta }^{*}(e_j,e_i),{\zeta }^{*}(e_i,e_j)+\zeta (e_j,e_i))\hfill \\ & -\mathtt{g}(\zeta (e_i,e_j),\zeta (e_i,e_j))-\mathtt{g}({\zeta }^{*}(e_j,e_i),{\zeta }^{*}(e_j,e_i))\}.\hfill \end{array}$$

(34)

Indeed, from Equation (2), $2{\mathtt{H}}^{\circ }=\mathtt{H}+{\mathtt{H}}^{*}$. Then, from Equations (22) and (34) we see that

$$\begin{array}{ccc}\hfill 2\tau & =& \frac{c+3}{4}n(n+1)+\frac{c-1}{4}\left\{(1-n)-{\left(tr\varphi \right)}^2+2{\parallel P\parallel }^2\right\}\hfill \\ & +& 2{(n+1)}^2\parallel {\mathtt{H}}^{\circ }{\parallel }^2-\frac{{(n+1)}^2}{2}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2)\hfill \\ & -& 2(n+1){\mathtt{C}}^{\circ }+\frac{(n+1)}{2}(\mathtt{C}+{\mathtt{C}}^{*}).\hfill \end{array}$$

(35)

Now we write a quadratic polynomial $\mathtt{Q}$ as

$$\begin{array}{cc}\hfill \mathtt{Q}& =n(n+1)C^{\circ }+n(n+2)C^{\circ }\left({\mathtt{L}}_n\right)+\frac{c+3}{4}n(n+1)\hfill \\ & +\frac{c-1}{4}\left\{(1-n)-{\left(tr\varphi \right)}^2+2{\parallel P\parallel }^2\right\}-2\tau +\frac{(n+1)}{2}(\mathtt{C}+{\mathtt{C}}^{*})\hfill \\ & -\frac{{(n+1)}^2}{2}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2),\hfill \end{array}$$

(36)

where ${\mathtt{L}}_n$ is the hyperplane of $T_{p}M$. Without loss of generality, let us assume that ${\mathtt{L}}_n$ is spanned by $e_1,\cdots ,e_n$, then Equation (36) yields

$$\begin{array}{ccc}\hfill \mathtt{Q}& =& 2(n+1)\sum _{\gamma =n+2}^{2m+1}\sum _{i=1}^n{\left({\zeta }_{ii}^{\circ \gamma }\right)}^2+4(n+2)\sum _{\gamma =n+2}^{2m+1}\sum _{i<j=1}^n{\left({\zeta }_{ij}^{\circ \gamma }\right)}^2\hfill \\ & +& n\sum _{\gamma =n+2}^{2m+1}{\left({\zeta }_{n+1n+1}^{\circ \gamma }\right)}^2+2(n+2)\sum _{\gamma =n+2}^{2m+1}\sum _{i=1}^n{\left({\zeta }_{in}^{\circ \gamma }\right)}^2-4\sum _{\gamma =n+2}^{2m+1}\sum _{i<j=1}^{n+1}{\zeta }_{ii}^{\circ \gamma }{\zeta }_{jj}^{\circ \gamma },\hfill \end{array}$$

which implies

$$\begin{array}{ccc}\hfill \frac{1}{2}\mathtt{Q}& =& (n+1)\sum _{\gamma =n+2}^{2m+1}\sum _{i=1}^n{\left({\zeta }_{ii}^{\circ \gamma }\right)}^2+2(n+2)\sum _{\gamma =n+2}^{2m+1}\sum _{i<j=1}^n{\left({\zeta }_{ij}^{\circ \gamma }\right)}^2\hfill \\ & +& \frac{n}{2}\sum _{\gamma =n+2}^{2m+1}{\left({\zeta }_{n+1n+1}^{\circ \gamma }\right)}^2+(n+2)\sum _{\gamma =n+2}^{2m+1}\sum _{i=1}^n{\left({\zeta }_{in}^{\circ \gamma }\right)}^2-2\sum _{\gamma =n+2}^{2m+1}\sum _{i<j=1}^{n+1}{\zeta }_{ii}^{\circ \gamma }{\zeta }_{jj}^{\circ \gamma }\hfill \\ & \ge & \sum _{\gamma =n+2}^{2m+1}\left[(n+1)\sum _{i=1}^n{\left({\zeta }_{ii}^{\circ \gamma }\right)}^2+\frac{n}{2}{\left({\zeta }_{n+1n+1}^{\circ \gamma }\right)}^2-2\sum _{i<j=1}^{n+1}{\zeta }_{ii}^{\circ \gamma }{\zeta }_{jj}^{\circ \gamma }\right].\hfill \end{array}$$

(37)

Now, we consider the quadratic forms $f_{\gamma }:{\mathbb{R}}^{n+1}\to \mathbb{R}$ such that

$$\begin{array}{ccc}\hfill f_{\gamma }({\zeta }_{11}^{\circ \gamma },{\zeta }_{22}^{\circ \gamma },& \cdots ,& {\zeta }_{n+1n+1}^{\circ \gamma })\hfill \\ & =& \sum _{\gamma =n+2}^{2m+1}\left[(n+1)\sum _{i=1}^n{\left({\zeta }_{ii}^{\circ \gamma }\right)}^2+\frac{n}{2}{\left({\zeta }_{n+1n+1}^{\circ \gamma }\right)}^2-2\sum _{i<j=1}^{n+1}{\zeta }_{ii}^{\circ \gamma }{\zeta }_{jj}^{\circ \gamma }\right].\hfill \end{array}$$

(38)

We start with the problem

$$\begin{array}{c}\hfill min{f}_{\gamma },\mathrm{subject}\mathrm{to}\mathsf{\Gamma }:{\zeta }_{11}^{\circ \gamma }+{\zeta }_{22}^{\circ \gamma }+\cdots +{\zeta }_{n+1n+1}^{\circ \gamma }=k^{\gamma },\end{array}$$

where $k^{\gamma }$ is a real constant. By comparing Equation (37) and Lemma 1, we get that

$$\begin{array}{c}\hfill a=n+1,b=\frac{n}{2}.\end{array}$$

Hence, a critical point of the problem has the following form:

$$\left\{\begin{array}{c}{\zeta }_{11}^{\circ \gamma }={\zeta }_{22}^{\circ \gamma }=\cdots ={\zeta }_{nn}^{\circ \gamma }=\frac{1}{n+2}{k}^{\gamma },\hfill \\ {\zeta }_{n+1n+1}^{\circ \gamma }=\frac{2}{n+2}{k}^{\gamma }.\hfill \end{array}\right.$$

(39)

Thus, we get

$$\mathtt{Q}\ge 0,$$

which implies

$$\begin{array}{ccc}\hfill 2\tau & \le & n(n+1)C^{\circ }+n(n+2)C^{\circ }\left({\mathtt{L}}_n\right)+\frac{c+3}{4}n(n+1)\hfill \\ & +& \frac{c-1}{4}\left\{(1-n)-{\left(tr\varphi \right)}^2+2{\parallel P\parallel }^2\right\}+\frac{(n+1)}{2}(\mathtt{C}+{\mathtt{C}}^{*})\hfill \\ & -& \frac{{(n+1)}^2}{2}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2).\hfill \end{array}$$

(40)

From this, it follows that

$$\begin{array}{ccc}\hfill \rho & \le & C^{\circ }+\frac{n+2}{n+1}{C}^{\circ }\left({\mathtt{L}}_n\right)+\frac{c+3}{4}\hfill \\ & +& \frac{c-1}{4n(n+1)}\left\{(1-n)-{\left(tr\varphi \right)}^2+2{\parallel P\parallel }^2\right\}+\frac{1}{2n}(\mathtt{C}+{\mathtt{C}}^{*})\hfill \\ & -& \frac{(n+1)}{2n}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2)\hfill \\ & =& 2{\delta }_c^{\circ }\left(n\right)+\frac{c+3}{4}+\frac{c-1}{4n(n+1)}{\{(1-n)-\left(tr\varphi \right)}^2+{2\parallel P\parallel }^2\}\hfill \\ & +& \frac{1}{2n}(\mathtt{C}+{\mathtt{C}}^{*})-\frac{n+1}{2n}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2),\hfill \end{array}$$

which is the required inequality, and the equality in Equation (30) holds if and only if we have the equality in the all the previous inequalities. Thus, the equality holds in Equation (30) if and only if the relations in Equation (31) are true. ☐

Remark 2.

A similar result can also be obtained for normalized δ-Casorati curvatures ${\widehat{\delta }}_c\left(n\right)$ and ${\widehat{\delta }}_c^{*}\left(n\right)$.

4. Generalized Normalized $\mathit{\delta }$-Casorati Curvature

In this section, we mainly show that the normalized scalar curvature is bounded above by the generalized normalized $\delta$-Casorati curvatures for statistical submanifolds of Sasaki-like statistical manifold with constant $\varphi$-sectional curvature. We mainly prove the following result.

Theorem 2.

Let $\mathtt{N}$ be a statistical submanifold in a Sasaki-like statistical manifold $\overline{\mathtt{N}}\left(c\right)$ such that $\mathtt{N}$ is tangent to the structure vector field ξ of $\overline{\mathtt{N}}\left(c\right)$. Then, the generalized normalized δ-Casorati curvatures ${\delta }_c(t;n)$ and ${\delta }_c^{*}(t;n)$ satisfy

$$\begin{array}{ccc}\hfill \rho & \le & \frac{2}{n(n+1)}{\delta }_c^{\circ }(t;n)+\frac{c+3}{4}+\frac{c-1}{4n(n+1)}{\{(1-n)-\left(tr\varphi \right)}^2+{2\parallel P\parallel }^2\}\hfill \\ & +& \frac{1}{n}{\mathtt{C}}^{\circ }-\frac{n+1}{2n}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2),\hfill \end{array}$$

(41)

for real t, $0<t<n(n+1)$, where $2{\delta }_c^{\circ }(t;n)={\delta }_c(t;n)+{\delta }_c^{*}(t;n)$, $2{\mathtt{C}}^{\circ }=\mathtt{C}+{\mathtt{C}}^{*}$ and ${\parallel P\parallel }^2=g^2(\varphi e_j,e_i)$. The equality case holds in Equation (41) if and only if the component of ζ satisfies

$$\left\{\begin{array}{c}{\zeta }_{ij}^{\circ \gamma }=0,i,j\in \{1,\cdots ,n+1\},\alpha \in \{n+2,\cdots ,2m+1\},\hfill \\ {\zeta }_{11}^{\circ \gamma }={\zeta }_{22}^{\circ \gamma }=\cdots ={\zeta }_{nn}^{\circ \gamma }=\frac{t}{n(n+1)}{\zeta }_{n+1n+1}^{\circ \gamma },\alpha \in \{n+2,\cdots ,2m+1\}.\hfill \end{array}\right.$$

(42)

Proof. 

Keeping in mind the scalar curvature in Equation (35), we may assume a quadratic polynomial $\mathtt{T}$ as

$$\begin{array}{cc}\hfill \mathtt{T}& =2t{C}^{\circ }+2b\left(t\right)C^{\circ }\left({\mathtt{L}}_n\right)+\frac{c+3}{2}n(n+1)+\frac{c-1}{4}\left\{(1-n)-{\left(tr\varphi \right)}^2+2{\parallel P\parallel }^2\right\}\hfill \\ & -2\tau +\frac{(n+1)}{2}(\mathtt{C}+{\mathtt{C}}^{*})-\frac{{(n+1)}^2}{2}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2),\hfill \end{array}$$

(43)

where ${\mathtt{L}}_n$ is the hyperplane of $T_{p}M$. Without loss of generality, let us assume that ${\mathtt{L}}_n$ is spanned by $e_1,\cdots ,e_n$, then from Equation (43) it follows that

$$\begin{array}{ccc}\hfill \mathtt{T}& =& 2\left(\frac{t}{n+1}+\frac{b\left(t\right)}{n}\right)\sum _{\gamma =n+2}^{2m+1}\sum _{i=1}^n{\left({\zeta }_{ii}^{\circ \gamma }\right)}^2\hfill \\ & +& 4\left(\frac{t}{n+1}+\frac{b\left(t\right)}{n}+1\right)\sum _{\gamma =n+2}^{2m+1}\sum _{i<j=1}^n{\left({\zeta }_{ij}^{\circ \gamma }\right)}^2+\left(\frac{2t}{n+1}\right)\sum _{\gamma =n+2}^{2m+1}{\left({\zeta }_{n+1n+1}^{\circ \gamma }\right)}^2\hfill \\ & +& 4\left(\frac{t}{n+1}+1\right)\sum _{\gamma =n+2}^{2m+1}\sum _{i=1}^n{\left({\zeta }_{in}^{\circ \gamma }\right)}^2-4\sum _{\gamma =n+2}^{2m+1}\sum _{i<j=1}^{n+1}{\zeta }_{ii}^{\circ \gamma }{\zeta }_{jj}^{\circ \gamma },\hfill \end{array}$$

which implies

$$\begin{array}{ccc}\hfill \frac{1}{2}\mathtt{T}& =& \left(\frac{t}{n+1}+\frac{b\left(t\right)}{n}\right)\sum _{\gamma =n+2}^{2m+1}\sum _{i=1}^n{\left({\zeta }_{ii}^{\circ \gamma }\right)}^2\hfill \\ & +& 2\left(\frac{t}{n+1}+\frac{b\left(t\right)}{n}+1\right)\sum _{\gamma =n+2}^{2m+1}\sum _{i<j=1}^n{\left({\zeta }_{ij}^{\circ \gamma }\right)}^2+\left(\frac{t}{n+1}\right)\sum _{\gamma =n+2}^{2m+1}{\left({\zeta }_{n+1n+1}^{\circ \gamma }\right)}^2\hfill \\ & +& 2\left(\frac{t}{n+1}+1\right)\sum _{\gamma =n+2}^{2m+1}\sum _{i=1}^n{\left({\zeta }_{in}^{\circ \gamma }\right)}^2-2\sum _{\gamma =n+2}^{2m+1}\sum _{i<j=1}^{n+1}{\zeta }_{ii}^{\circ \gamma }{\zeta }_{jj}^{\circ \gamma }\hfill \\ & \ge & \sum _{\gamma =n+2}^{2m+1}[\left(\frac{t}{n+1}+\frac{b\left(t\right)}{n}\right)\sum _{i=1}^n{\left({\zeta }_{ii}^{\circ \gamma }\right)}^2\hfill \\ & +& \left(\frac{t}{n+1}\right){\left({\zeta }_{n+1n+1}^{\circ \gamma }\right)}^2-2\sum _{i<j=1}^{n+1}{\zeta }_{ii}^{\circ \gamma }{\zeta }_{jj}^{\circ \gamma }].\hfill \end{array}$$

(44)

Now, we consider the quadratic forms $f_{\gamma }:{\mathbb{R}}^{n+1}\to \mathbb{R}$ such that

$$\begin{array}{ccc}\hfill f_{\gamma }({\zeta }_{11}^{\circ \gamma },{\zeta }_{22}^{\circ \gamma },\cdots ,{\zeta }_{n+1n+1}^{\circ \gamma })& =& \sum _{\gamma =n+2}^{2m+1}[\left(\frac{t}{n+1}+\frac{b\left(t\right)}{n}\right)\sum _{i=1}^n{\left({\zeta }_{ii}^{\circ \gamma }\right)}^2\hfill \\ & +& \left(\frac{t}{n+1}\right){\left({\zeta }_{n+1n+1}^{\circ \gamma }\right)}^2-2\sum _{i<j=1}^{n+1}{\zeta }_{ii}^{\circ \gamma }{\zeta }_{jj}^{\circ \gamma }].\hfill \end{array}$$

(45)

We start with the problem

$$\begin{array}{c}\hfill min{f}_{\gamma },\mathrm{subject}\mathrm{to}\mathsf{\Gamma }:{\zeta }_{11}^{\circ \gamma }+{\zeta }_{22}^{\circ \gamma }+\cdots +{\zeta }_{n+1n+1}^{\circ \gamma }=k^{\gamma },\end{array}$$

where $k^{\gamma }$ is a real constant.

By comparing Equation (44) and Lemma 1, it is easy to see that

$$\begin{array}{c}\hfill a=\frac{t}{n+1}+\frac{b\left(t\right)}{n},b=\frac{t}{n+1}.\end{array}$$

Hence, a critical point of the problem has the following form:

$$\left\{\begin{array}{c}{\zeta }_{11}^{\circ \gamma }={\zeta }_{22}^{\circ \gamma }=\cdots ={\zeta }_{nn}^{\circ \gamma }=\frac{1}{\frac{t}{n+1}+\frac{b\left(t\right)}{n}+1}{k}^{\gamma }\hfill \\ {\zeta }_{n+1n+1}^{\circ \gamma }=\frac{1}{\frac{t}{n+1}+1}{k}^{\gamma }.\hfill \end{array}\right.$$

(46)

Thus, we get

$$\mathtt{T}\ge 0,$$

which implies

$$\begin{array}{ccc}\hfill 2\tau & \le & 2t{C}^{\circ }+2b\left(t\right)C^{\circ }\left({\mathtt{L}}_n\right)+\frac{c+3}{4}n(n+1)\hfill \\ & +& \frac{c-1}{4}\left\{(1-n)-{\left(tr\varphi \right)}^2+2{\parallel P\parallel }^2\right\}+\frac{(n+1)}{2}(\mathtt{C}+{\mathtt{C}}^{*})\hfill \\ & -& \frac{{(n+1)}^2}{2}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2).\hfill \end{array}$$

(47)

From this it follows that

$$\begin{array}{ccc}\hfill \rho & \le & \frac{2t}{n(n+1)}{C}^{\circ }+\frac{2b\left(t\right)}{n(n+1)}{C}^{\circ }\left({\mathtt{L}}_n\right)+\frac{c+3}{4}\hfill \\ & +& \frac{c-1}{4n(n+1)}\left\{(1-n)-{\left(tr\varphi \right)}^2+2{\parallel P\parallel }^2\right\}+\frac{1}{2n}(\mathtt{C}+{\mathtt{C}}^{*})\hfill \\ & -& \frac{(n+1)}{2n}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2)\hfill \\ & =& \frac{2}{n(n+1)}{\delta }_c^{\circ }(t;n)+\frac{c+3}{4}+\frac{c-1}{4n(n+1)}{\{(1-n)-\left(tr\varphi \right)}^2+{2\parallel P\parallel }^2\}\hfill \\ & +& \frac{1}{2n}(\mathtt{C}+{\mathtt{C}}^{*})-\frac{n+1}{2n}{(\parallel \mathtt{H}\parallel }^2+\parallel {\mathtt{H}}^{*}{\parallel }^2),\hfill \end{array}$$

which is the required inequality. The equality in Equation (41) holds if and only if we have the equality in the all the previous inequalities. Thus, the equality holds in Equation (41) if and only if the relations in Equation (42) are true. ☐

Remark 3.

A similar result can also be obtained for generalized normalized δ-Casorati curvatures ${\widehat{\delta }}_c(t;n)$ and ${\widehat{\delta }}_c^{*}(t;n)$.

5. $\mathit{\eta }$-Einstein Sasaki-Like Statistical Manifolds

In 1962, Okumura [22] introduced and studied the $\eta$-Einstein manifold. In 1965, Sasaki [24] named it $\eta$-Einstein. Since then a number of papers have been published on this topic due to its application to the physics or in particular to the theory of relativity.

In this section, we obtain the following results.

Theorem 3.

A Sasaki-like statistical manifold $\overline{\mathtt{N}}\left(c\right)$ is η-Einstein if and only if $tr\varphi =0$. Moreover, μ and ν are constants and are equal to

$$\begin{array}{c}\mu =\frac{1}{4}(2nc+6n+3c-3),\hfill \\ \nu =\frac{1-c}{4}(2n+1).\hfill \end{array}$$

Proof. 

Taking the inner product of Equation (12) with $\mathtt{W}$, we find

$$\begin{array}{cc}\hfill \mathtt{g}(\overline{R}(\mathtt{X},\mathtt{Y})\mathtt{Z},\mathtt{W})& =\frac{c+3}{4}\{\mathtt{g}(\mathtt{Y},\mathtt{Z})\mathtt{g}(\mathtt{X},\mathtt{W})-\mathtt{g}(\mathtt{X},\mathtt{Z})\mathtt{g}(\mathtt{Y},\mathtt{W})\}\hfill \\ & +\frac{c-1}{4}\{\mathtt{g}(\varphi \mathtt{Y},\mathtt{Z})\mathtt{g}(\varphi \mathtt{X},\mathtt{W})-\mathtt{g}(\varphi \mathtt{X},\mathtt{Z})\mathtt{g}(\varphi \mathtt{Y},\mathtt{W})\hfill \\ & -2\mathtt{g}(\varphi \mathtt{X},\mathtt{Y})\mathtt{g}(\varphi \mathtt{Z},\mathtt{W})-\mathtt{g}(\mathtt{Y},\xi )\mathtt{g}(\mathtt{Z},\xi )\mathtt{g}(\mathtt{X},\mathtt{W})\hfill \\ & +\mathtt{g}(\mathtt{X},\xi )\mathtt{g}(\mathtt{Z},\xi )\mathtt{g}(\mathtt{Y},\mathtt{W})+\mathtt{g}(\mathtt{Y},\xi )\mathtt{g}(\mathtt{Z},\mathtt{X})\mathtt{g}(\xi ,\mathtt{W})\hfill \\ & -\mathtt{g}(\mathtt{X},\xi )\mathtt{g}(\mathtt{Z},\mathtt{Y})\mathtt{g}(\xi ,\mathtt{W})\}.\hfill \end{array}$$

(48)

Substituting $\mathtt{X}=\mathtt{W}=e_i$ in Equation (48) and taking summation $1\le i\le 2n+1$, we get

$$\begin{array}{cc}\hfill \sum _{i=1}^{2n+1}\mathtt{g}(\overline{R}(e_i,\mathtt{Y})\mathtt{Z},e_i)& =\frac{c+3}{4}\sum _{i=1}^{2n+1}\left\{\mathtt{g}(\mathtt{Y},\mathtt{Z})\mathtt{g}(e_i,e_i)-\mathtt{g}(e_i,\mathtt{Z})\mathtt{g}(\mathtt{Y},e_i)\right\}\hfill \\ & +\frac{c-1}{4}\sum _{i=1}^{2n+1}\{\mathtt{g}(\varphi \mathtt{Y},\mathtt{Z})\mathtt{g}(\varphi e_i,e_i)-\mathtt{g}(\varphi e_i,\mathtt{Z})\mathtt{g}(\varphi \mathtt{Y},e_i)\hfill \\ & -2\mathtt{g}(\varphi e_i,\mathtt{Y})\mathtt{g}(\varphi \mathtt{Z},e_i)-\mathtt{g}(\mathtt{Y},\xi )\mathtt{g}(\mathtt{Z},\xi )\mathtt{g}(e_i,e_i)\},\hfill \end{array}$$

(49)

which implies

$$\begin{array}{cc}\hfill S(\mathtt{Y},\mathtt{Z})& =\frac{1}{4}(2nc+6n+3c-3)\mathtt{g}(\mathtt{Y},\mathtt{Z})+\frac{c-1}{4}\mathtt{g}(\varphi \mathtt{Y},\mathtt{Z})\left(tr\varphi \right)\hfill \\ & -\frac{c-1}{4}(2n+1)\eta \left(\mathtt{Y}\right)\eta \left(\mathtt{Z}\right).\hfill \end{array}$$

(50)

With $tr\varphi =0$, the above equation takes the following form:

$$\begin{array}{cc}\hfill S(\mathtt{Y},\mathtt{Z})& =\frac{1}{4}(2nc+6n+3c-3)\mathtt{g}(\mathtt{Y},\mathtt{Z})-\frac{c-1}{4}(2n+1)\eta \left(\mathtt{Y}\right)\eta \left(\mathtt{Z}\right).\hfill \end{array}$$

(51)

Hence, $\overline{\mathtt{N}}\left(c\right)$ is $\eta$-Einstein with $\mu =\frac{1}{4}(2nc+6n+3c-3)$ and $\nu =\frac{1-c}{4}(2n+1)$. A straight-forward computation proves the converse part. ☐

Theorem 4.

The Ricci curvature tensor of η-Einstein Sasaki-like statistical manifold $\overline{\mathtt{N}}\left(c\right)$ in the direction of ξ is

$$\begin{array}{c}\hfill \frac{1}{4}(5c+8n+1).\end{array}$$

(52)

Proof. 

Setting $\mathtt{Y}=\mathtt{Z}=\xi$ in Equation (51), we obtain the required result. ☐

Theorem 5.

If the Ricci curvature tensor of an η-Einstein Sasaki-like statistical manifold $\overline{\mathtt{N}}\left(c\right)$ in the direction of ξ, then

$$\begin{array}{c}\mu =\frac{r}{2n}-\frac{5c+8n+1}{8n},\hfill \end{array}$$

(53)

$$\begin{array}{c}\nu =r-(2n-1)\left[\frac{r}{2n}-\frac{5c+8n+1}{8n}\right].\hfill \end{array}$$

(54)

Proof. 

From Equation (13) we have

$$\begin{array}{c}\hfill S(\xi ,\xi )=\mu +\nu .\end{array}$$

(55)

Also, from Equation (51), we get

$$\begin{array}{c}\hfill S(\xi ,\xi )=\frac{1}{4}(5c+8n+1).\end{array}$$

(56)

Combining Equations (55) and (56), we find

$$\begin{array}{c}\hfill \mu +\nu =\frac{1}{4}(5c+8n+1).\end{array}$$

(57)

Further, from Equation (13), we obtain

$$\begin{array}{c}\hfill r=(2n+1)\mu +\nu .\end{array}$$

(58)

Solving Equations (57) and (58) for $\mu$ and $\nu$, we have the required result. ☐

Theorem 6.

The scalar curvature of an η-Einstein Sasaki-like statistical manifold $\overline{\mathtt{N}}\left(c\right)$ is constant and equal to

$$\begin{array}{c}\hfill \frac{1}{4}(2n+1)(2nc+5c+6n+1).\end{array}$$

(59)

Proof. 

Putting $\mathtt{Y}=\mathtt{Z}=e_i$ in Equation (51) and taking summation $1\le i\le 2n+1$, we have our assertion. ☐

We give an example of Theorem 3, which is the following:

Example 5.

We recall from Example 2.2 of Reference [4] that $(\overline{\mathtt{N}}=\{(x^1,\cdots ,x^m,y^1,\cdots ,y^m,z)\in {\mathbb{R}}^{2m+1}\},\overline{\nabla },g,\varphi ,\xi ,\eta )$ is a Sasaki-like statistical manifold with $c=-3$ and the structure tensors $(g,\varphi ,\xi ,\eta )$ are defined by

$$\begin{array}{c}\hfill g=\left(\begin{array}{ccc}2{\delta }_{ij}+y^i{y}^j& 0& -y^i\\ 0& -{\delta }_{ij}& 0\\ -y^i& 0& 1\end{array}\right),\varphi =\left(\begin{array}{ccc}0& {\delta }_{ij}& 0\\ -{\delta }_{ij}& 0& 0\\ 0& y^j& 0\end{array}\right),\\ \hfill \xi =\left(\begin{array}{c}0\\ ⋮\\ 0\\ 1\end{array}\right),\eta =(-y^1,0,-y^2,0,\cdots ,-y^m,0,1).\end{array}$$

We see that trace$\left(\varphi \right)=0$. Thus, by Theorem 3, we conclude that ${\overline{\mathtt{N}}}^{2m+1}(-3)$ is an η-Einstein manifold.

Theorem 3 yields the following corollary.

Corollary 1.

The η-Einstein Sasaki-like statistical manifold $\overline{\mathtt{N}}\left(c\right)$ becomes Einstein if $c=1$. Moreover, in that case $\mu =2n$.

Proof. 

One can easily obtain the result by just substituting $c=1$ in Equation (51). ☐

6. Conclusions

We have the following conclusions from this work:

• By using a different approach, we obtained a relationship between a new extrinsic invariant called the Casorati curvature and an intrinsic invariant called the normalized scalar curvature of statistical manifolds with any co-dimension of Sasaki-like statistical space forms. The derived relations can motivate other researchers to obtain similar relationships for many kinds of invariants of similar nature, for statistical submanifolds in different ambient spaces, such as Kaehler-like statistical manifolds, Kenmotsu-like statistical manifolds, cosymplectic-like statistical manifolds, and statistical warped product manifolds.
• An Einstein Sasaki-like statistical manifold can not be Ricci-flat.
• The metric of the Sasaki-like statistical manifolds with constant curvature is a solution of the vacuum Einstein field equation if the manifold is $\eta$-Einstein with constant curvature $c=1$. In fact, the Einstein field equations consist of 10 equations in Einstein’s general theory of relativity. This theory tells us the fundamental interaction of gravitation. Actually, the Einstein field equations are used to obtain the spacetime geometry which are the the outcome of the presence of linear momentum and mass-energy. Therefore, it is of great interest to see what type of solution we can obtain for Einstein field equations in the case of the metric of Sasaki-like statistical manifold.