Inequalities for the Casorati Curvature of Totally Real Spacelike Submanifolds in Statistical Manifolds of Type Para-Kähler Space Forms

Abstract

The purpose of this article is to establish some inequalities concerning the normalized $\delta$-Casorati curvatures (extrinsic invariants) and the scalar curvature (intrinsic invariant) of totally real spacelike submanifolds in statistical manifolds of the type para-Kähler space form. Moreover, this study is focused on the equality cases in these inequalities. Some examples are also provided.

1. Introduction

One of the basic problems in information geometry is to study the geometric properties of a statistical manifold, a concept introduced by Amari [1]. There is great interest in researching statistical manifolds with applications not only in information geometry but also in differential geometry, physics, statistics, machine learning, etc. The natural relationship between statistical manifolds and entropy has been investigated by many researchers. Mishra and Kumar studied in [2] the structure of statistical manifolds with respect to a relative $\alpha$-entropy in a Bayesian framework to obtain a generalized Bayesian Cramér-Rao inequality. The entropic dynamics on statistical manifolds of Gibbs distributions are investigated in [3], which can provide new insight in fields such as economics and ecology. Very recently, the authors in [4] studied the information-geometric properties of the statistical manifold to reduce predictive uncertainly via data assimilation. On the other hand, statistical manifolds provide a setting for the theory of submanifolds, where a basic problem is to find out simple relationships between the main intrinsic and extrinsic curvature invariants of submanifolds [5]. In this regard, many geometers studied certain types of geometric inequalities in (statistical) submanifolds. Comprehensive surveys on such inequalities are provided by Chen in [5,6,7].

Recently, there has been growing interest in the study of optimal inequalities involving the extrinsic δ-Casorati curvatures defined by Decu, Haesen, and Verstraelen in [8,9]. A long time ago, Casorati introduced a new measure of curvature of a surface (now called the Casorati curvature) following a common idea of curvature, more accurate than the Gauss and mean curvature [10]. Only in modern times did mathematical models involving Casorati curvature begin to be studied, e.g., in computer vision [11]. Furthermore, Verstraelen described qualitatively geometrical models for human early vision [12]. In this respect, the corresponding (visual) perceptions can be defined as the surfaces $M^2$ given by the Casorati curvatures $\mathcal{C}=\frac{1}{2}(k_1^2+k_2^2)$ in ${\mathbb{E}}^3$, where $k_1$ and $k_2$ are the principal curvatures of $M^2$ in ${\mathbb{E}}^3$ [12]. A geometrical interpretation of this curvature for submanifolds in Riemannian spaces was proved in [13]. In economics, the isotropical Casorati curvature of production surfaces was investigated in [14]. Initially, the $\delta$-Casorati curvatures were studied in optimal inequalities for submanifolds in real space forms in [8,9]. Later, this topic was extensively studied (e.g., see [5]). Recently, Suceavă and Vajiac established inequalities involving some Chen invariants, mean curvature, and Casorati curvature for strictly convex Euclidean hypersurfaces [15].

Para-Kähler geometry refers to the algebra of para-complex numbers (or hyperbolic numbers) and, especially, to the study of para-Kähler structures and their derived forms. Para-complex numbers were defined by Graves [16] in 1845 as a generalization of complex numbers using the expression $x+yj$, where x and y $\in \mathbb{R}$, and j satisfies $j^2=1$ and $j\ne 1$. Para-Kähler manifolds were first investigated as stratified spaces by Rashevskij [17] (1948). These manifolds were explicitly defined independently in 1949 by Rozenfeld [18] and Ruse [19]. This is a challenging topic now, related to many applications in mathematics, physics, and mechanics [20]. Defever, Deszcz, and Verstraelen considered para-Kähler manifolds that satisfy curvature conditions of the pseudosymmetric type, with applications in the theory of general relativity [21]. Mihai and Rosca dealt with $CR$-submanifolds of para-Kählerian manifolds, which carry skew-symmetric vector fields [22]. Recently, Fei and Zhang introduced in [23] the notion of a Codazzi-para-Kähler structure and studied the interaction of Codazzi couplings with para-Kähler geometry; essentially, a Codazzi-para-Kähler structure is simultaneously a statistical structure and a para-Kähler structure [23]. Very recently, Vîlcu investigated statistical manifolds endowed with almost product structures and para-Kähler-like statistical submersions [24].

Totally real and, particularly, Lagrangian submanifolds in Kähler manifolds, complex space forms, etc. have been explored widely (see, for instance, [25,26,27,28,29,30,31]). However, not much is known about totally real and Lagrangian submanifolds in para-Kähler manifolds. Chen proved general optimal inequalities involving the scalar curvature and mean curvature for Lagrangian submanifolds of the flat para-Kähler manifold $(E^{2n},g,P)$ [32]. In addition, he studied Lagrangian H-umbilical submanifolds of para-Kähler manifolds [33]. Anciaux and Georgiou surveyed the Hamilton stability of Hamiltonian minimal Lagrangian submanifolds in para-Kähler manifolds [34].

In this paper, we establish optimal inequalities between the intrinsic scalar curvature and the extrinsic $\delta$-Casorati curvatures of totally real spacelike submanifolds of statistical manifolds of the type para-Kähler space form. Moreover, we investigate the equality cases in these inequalities. We present also some examples.

2. Preliminaries

Let ($\overline{M}$, $\overline{g}$) be a semi-Riemannian manifold, let $\overline{g}$ be a semi-Riemannian metric on $\overline{M}$, and let $\tilde{\nabla }$ be an affine connection on $\tilde{M}$.

In the following, we will denote by ${\overline{\nabla }}^{*}$ the conjugate (dual) affine connection of $\overline{\nabla }$, expressed by

$$X_1\tilde{g}(X_2,X_3)=\overline{g}({\overline{\nabla }}_{X_1}{X}_2,X_3)+\overline{g}(X_2,{\overline{\nabla }}_{X_1}^{*}{X}_3),$$

for any $X_1$, $X_2$, $X_3$ $\in \mathsf{\Gamma }\left(T\overline{M}\right)$, where $\mathsf{\Gamma }\left(T\overline{M}\right)$ is the set of smooth tangent vector fields on $\overline{M}$.

If the torsion tensor field of $\tilde{\nabla }$ vanishes and $\overline{\nabla }\overline{g}$ is symmetric, then $(\overline{\nabla },\overline{g})$ is called a statistical structure on $\overline{M}$. Thus, ($\overline{M}$, $\overline{g}$, $\overline{\nabla }$) is named a statistical manifold [35]. Clearly, if $(\overline{M}$, $\overline{g}$, $\overline{\nabla })$ is a statistical manifold, then $(\overline{M}$, $\overline{g}$, ${\overline{\nabla }}^{*})$ is as well. Moreover, one easily can see that $\overline{\nabla }={\left({\overline{\nabla }}^{*}\right)}^{*}$ and ${\overline{\nabla }}^0=\frac{\overline{\nabla }+{\overline{\nabla }}^{*}}{2}$, where ${\overline{\nabla }}^0$ is the Levi–Civita connection of $\overline{M}$ [36].

Let N be an n-dimensional submanifold of a $2m$-dimensional statistical manifold $(\overline{M}$, $\overline{g}$, $\overline{\nabla })$, with g as the induced metric on N and ∇ as the induced connection on N. $(N,g,\nabla )$ is then also a statistical manifold. For any $X_1,X_2\in \mathsf{\Gamma }\left(TN\right)$, we have the following formulas of Gauss [35]:

$$\begin{array}{c}\hfill {\tilde{\nabla }}_{X_1}{X}_2={\nabla }_{X_1}{X}_2+h(X_1,X_2),\\ \hfill {\tilde{\nabla }}_{X_1}^{*}{X}_2={\nabla }_{X_1}^{*}{X}_2+h^{*}(X_1,X_2),\end{array}$$

where the $(0,2)$-tensors h and $h^{*}$ (bilinear and symmetric) are said to be the imbedding curvature tensor of N in $\overline{M}$ with respect to $\overline{\nabla }$ and ${\overline{\nabla }}^{*}$, respectively.

The mean curvature vector fields of N for $\overline{\nabla }$ and ${\overline{\nabla }}^{*}$ are given by, respectively,

$$H=\frac{1}{n}t{r}_g\left(h\right),H^{*}=\frac{1}{n}t{r}_g\left(h^{*}\right),$$

where $t{r}_g$ is the trace with respect to g.

For the Levi–Civita connection ${\overline{\nabla }}^0$, we denote by $h^0=\frac{h+h^{*}}{2}$ the second fundamental form and by

$$H^0=\frac{H+H^{*}}{2}$$

(1)

the mean curvature vector field of N.

Let $\{e_1,\dots ,e_n\}$ and $\{e_{n+1},\dots ,e_{2m}\}$ be orthonormal bases of the tangent space $T_{x}N$ and $T_x^{\perp }N$, respectively, at a point $x\in N$. The squared mean curvatures of N for ∇ and ${\nabla }^{*}$ then satisfy

$${\parallel H\parallel }^2=\frac{1}{n^2}\sum _{\alpha =n+1}^{2m}{\left(\sum _{i=1}^n{h}_{ii}^{\alpha }\right)}^2,{\parallel H^{*}\parallel }^2=\frac{1}{n^2}\sum _{\alpha =n+1}^{2m}{\left(\sum _{i=1}^n{h}_{ii}^{*\alpha }\right)}^2,$$

where $h_{ij}^{\alpha }=g(h(e_i,e_j),e_{\alpha })$ and $h_{ij}^{*\alpha }=g(h^{*}(e_i,e_j),e_{\alpha })$ for $i,j\in \{1,\dots ,n\}$, $\alpha \in \{n+1,\dots ,2m\}$.

Denote by $\mathcal{C}$ and ${\mathcal{C}}^{*}$ the Casorati curvatures of the submanifold N, defined by the squared norms of h and $h^{*}$, respectively, over the dimension n of N, as follows:

$$\mathcal{C}=\frac{1}{n}{\parallel h\parallel }^2=\frac{1}{n}\sum _{\alpha =n+1}^{2m}\sum _{i,j=1}^n{\left(h_{ij}^{\alpha }\right)}^2,$$

$${\mathcal{C}}^{*}=\frac{1}{n}{\parallel h^{*}\parallel }^2=\frac{1}{n}\sum _{\alpha =n+1}^{2m}\sum _{i,j=1}^n{\left(h_{ij}^{*\alpha }\right)}^2.$$

We denote by ${\mathcal{C}}^0$ the following expression:

$${\mathcal{C}}^0=\frac{\mathcal{C}+{\mathcal{C}}^{*}}{2}.$$

(2)

Consider V as an k-dimensional subspace of $T_{x}N$, $k\ge 2$, and $\{e_1,\dots ,e_k\}$ as an orthonormal frame of V. Thus, the Casorati curvatures $\mathcal{C}\left(V\right)$ and ${\mathcal{C}}^{*}\left(V\right)$ of V are revealed by

$$\mathcal{C}\left(V\right)=\frac{1}{k}\sum _{\alpha =n+1}^{2m}\sum _{i,j=1}^k{\left(h_{ij}^{\alpha }\right)}^2,{\mathcal{C}}^{*}\left(V\right)=\frac{1}{k}\sum _{\alpha =n+1}^{2m}\sum _{i,j=1}^k{\left(h_{ij}^{*\alpha }\right)}^2.$$

Denote by ${\delta }_{\mathcal{C}}(r;n-1)$ and ${\widehat{\delta }}_{\mathcal{C}}(r;n-1)$ the generalized normalized δ-Casorati curvatures of N, defined in [9] as

$${\delta }_{\mathcal{C}}{(r;n-1)|}_x=r\mathcal{C}{\mid }_x+a\left(r\right)\inf \{\mathcal{C}\left(V\right)\mid V\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_{x}N\},$$

if $0<r<n(n-1)$, and

$${\widehat{\delta }}_{\mathcal{C}}{(r;n-1)|}_x=r\mathcal{C}{\mid }_x+a\left(r\right)\sup \{\mathcal{C}\left(V\right)\mid V\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_{x}N\},$$

if $r>n(n-1)$, for an $a\left(r\right)$ set as

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

where $r\in {\mathbb{R}}_{+}$ and $r\ne n(n-1)$.

Additionally, denote by ${\delta }_{\mathcal{C}}^{*}(r;n-1)$ and ${\widehat{{\delta }^{*}}}_{\mathcal{C}}(r;n-1)$ the dual generalized normalized ${\delta }^{*}$-Casorati curvatures of the submanifold N, defined as follows:

$${\delta }_{\mathcal{C}}^{*}{(r;n-1)|}_x=r{\mathcal{C}}^{*}{\mid }_x+a\left(r\right)\inf \{{\mathcal{C}}^{*}\left(V\right)\mid V\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_{x}N\},$$

if $0<r<n(n-1)$, and

$${\widehat{\delta }}_{\mathcal{C}}^{*}{(r;n-1)|}_x=r{\mathcal{C}}^{*}{\mid }_x+a\left(r\right)\sup \{{\mathcal{C}}^{*}\left(V\right)\mid V\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_{x}N\},$$

if $r>n(n-1)$, for the $a\left(r\right)$ set above.

The normalized δ-Casorati curvatures ${\delta }_{\mathcal{C}}(n-1)$ and ${\widehat{\delta }}_{\mathcal{C}}(n-1)$ of the submanifold N are defined by

$${\delta }_{\mathcal{C}}{(n-1)|}_x=\frac{1}{2}\mathcal{C}{\mid }_x+\frac{n+1}{2n}\inf \left\{\mathcal{C}\left(V\right)\right|V\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_{x}N\}$$

and

$${\widehat{\delta }}_{\mathcal{C}}{(n-1)|}_x=2\mathcal{C}{\mid }_x-\frac{2n-1}{2n}\sup \left\{\mathcal{C}\left(V\right)\right|V\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_{x}N\}.$$

Furthermore, the dual normalized ${\delta }^{*}$-Casorati curvatures ${\delta }_{\mathcal{C}}^{*}(n-1)$ and ${\widehat{\delta }}_{\mathcal{C}}^{*}(n-1)$ of the submanifold N in $\overline{M}$ can be written as

$${\delta }_{\mathcal{C}}^{*}{(n-1)|}_x=\frac{1}{2}{\mathcal{C}}^{*}{\mid }_x+\frac{n+1}{2n}\inf \left\{{\mathcal{C}}^{*}\left(V\right)\right|V\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_{x}N\}$$

and

$${\widehat{\delta }}_{\mathcal{C}}^{*}{(n-1)|}_x=2{\mathcal{C}}^{*}{\mid }_x-\frac{2n-1}{2n}\sup \left\{{\mathcal{C}}^{*}\left(V\right)\right|V\mathrm{a}\mathrm{hyperplane}\mathrm{of}{T}_{x}N\}.$$

A statistical submanifold $(N,g,\nabla )$ of $(\overline{M},\overline{g},\overline{\nabla })$ is said to be totally geodesic with respect to $\overline{\nabla }$ if the second fundamental form of N vanishes identically [35].

Let R and $\overline{R}$ be the $(0,4)$-curvature tensors for the connections ∇ and $\overline{\nabla }$, respectively.

For the vector fields $X_1,X_2,X_3,X_4$ tangent to N, the equation of Gauss on the connection $\overline{\nabla }$ is then [36]

$$\begin{array}{ccc}\hfill \overline{g}(\overline{R}(X_1,X_2)X_3,X_4)& =& g(R(X_1,X_2)X_3,X_4)+\overline{g}(h(X_1,X_3),h^{*}(X_2,X_4))\hfill \\ & -& \overline{g}(h^{*}(X_1,X_4),h(X_2,X_3)).\hfill \end{array}$$

(3)

Similarly, let $R^{*}$ and ${\overline{R}}^{*}$ be the $(0,4)$-curvature tensors for the connections ${\nabla }^{*}$ and ${\overline{\nabla }}^{*}$, respectively.

Next, for the vector fields $X_1,X_2,X_3,X_4$ tangent to N, the equation of Gauss on the connection ${\overline{\nabla }}^{*}$ becomes [36]

$$\begin{array}{ccc}\hfill \overline{g}({\overline{R}}^{*}(X_1,X_2)X_3,X_4)& =& g(R^{*}(X_1,X_2)X_3,X_4)+\overline{g}(h^{*}(X_1,X_3),h(X_2,X_4))\hfill \\ & -& \overline{g}(h(X_1,X_4),h^{*}(X_2,X_3)).\hfill \end{array}$$

(4)

In general, $g(R(X_1,X_2)X_3,X_4)$ is not skew-symmetric for $X_3$, $X_4$ [37], i.e.,

$$\begin{array}{c}\hfill g(R(X_1,X_2)X_3,X_4)\ne -g(R(X_1,X_2)X_4,X_3).\end{array}$$

(5)

In order to define the sectional curvature of a statistical manifold, the property (5) of R is inconvenient. To overcome this, we define according to [35] the statistical curvature tensor field denoted by S for the statistical manifold $(N,g,\nabla )$:

$$S(X_1,X_2)X_3=\frac{1}{2}\{R(X_1,X_2)X_3+R^{*}(X_1,X_2)X_3\},$$

(6)

for $X_1,X_2,X_3\in \mathsf{\Gamma }\left(TN\right)$. Naturally, S is skew-symmetric relative to $X_3$, $X_4$. Moreover, S satisfies the first Bianchi identity. It follows that S is a Riemann-curvature-like tensor [37].

For a non-degenerate 2-dimensional subspace $\pi$ of the tangent space $T_{x}N$, at a point $x\in N$, we can define immediately the sectional curvature of $(N,\nabla ,g)$ [35] by

$$\begin{array}{c}\hfill K\left(\pi \right)=K(X\wedge Y)=\frac{g\left(S\right(X,Y)Y,X)}{g(X,X)g(Y,Y)-g^2(X,Y)},\end{array}$$

(7)

where $\{X,Y\}$ is a basis of $\pi$.

The scalar curvature $\tau$ of $(N,\nabla ,g)$ at a point $x\in N$ is defined by the following expression:

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

(8)

where $\{e_1,\dots ,e_n\}$ is an orthonormal frame at x.

Moreover, the normalized scalar curvature $\rho$ of N is defined as

$$\rho =\frac{2\tau }{n(n-1)}.$$

(9)

An almost product structure on a smooth manifold $\overline{M}$ is a $(1,1)$-tensor field $P\ne \pm I$, such that

$$P^2=I,$$

where I is the identity tensor field of type $(1,1)$ on $\overline{M}$. A manifold $\overline{M}$ is called an almost para-Hermitian manifold [7] if $\overline{M}$ is endowed with an almost product structure P and a semi-Riemannian metric $\overline{g}$ such that

$$\begin{array}{c}\hfill \overline{g}(P{X}_1,P{X}_2)=-\overline{g}(X_1,X_2),\end{array}$$

(10)

for all vector fields $X_1$, $X_2$ on $\overline{M}$.

Hence, the dimension of an almost para-Hermitian manifold denoted by $(\overline{M},P,\overline{g})$ is even, i.e., dim $\overline{M}=2m$, and the metric is neutral. If $\overline{\nabla }P=0$, then $(\overline{M},P,\overline{g})$ is named a para-Kähler manifold [7], where $\overline{\nabla }$ is the Levi–Civita connection of $\overline{M}$.

Next, a triple $(\overline{M},P,\overline{g})$ is said to be an almost para-Hermitian-like manifold [24] if a semi-Riemannian manifold $(\overline{M},\overline{g})$ is endowed with an almost product structure P such that

$$\overline{g}(P{X}_1,X_2)+\overline{g}(X_1,P^{*}{X}_2)=0,$$

(11)

for all vector fields $X_1$, $X_2$ on $\overline{M}$, where $P^{*}$ is (1,1)-tensor field on $\overline{M}$.

Let $(\overline{M},P,\overline{g})$ be an almost para-Hermitian-like manifold. If $(\overline{\nabla },\overline{g})$ is a statistical structure on $\overline{M}$ such that $\overline{\nabla }P=0$, then $(\overline{M},\overline{\nabla },P,\overline{g})$ is called a para-Kähler-like statistical manifold [24].

Consequently, the notion of a para-Kähler-like statistical manifold is a generalization of the notion of the para-Kähler manifold (when, in particular, we have $P=P^{*}$, i.e., Formula (11) reduces to Formula (10), and $\overline{\nabla }$ is the Levi–Civita connection).

A para-Kähler-like statistical manifold $(\overline{M},\overline{\nabla },P,\overline{g})$ is called a statistical manifold of a type para-Kähler space form if the following formula holds [24]:

$$\begin{array}{c}\hfill \overline{R}(X_1,X_2)X_3=\frac{c}{4}\{\overline{g}(X_2,X_3)X_1-\overline{g}(X_1,X_3)X_2+\overline{g}(P{X}_2,X_3)P{X}_1\\ \hfill -\overline{g}(P{X}_1,X_3)P{X}_2+\overline{g}(X_1,P{X}_2)P{X}_3-\overline{g}(P{X}_1,X_2)P{X}_3\},\end{array}$$

(12)

for any vector fields $X_1,X_2,X_3$, where $\overline{R}$ is the curvature tensor of the connection $\overline{\nabla }$, and c is a real constant.

A submanifold N in an almost para-Hermitian (like) manifold $(\overline{M},P,\overline{g})$ is called totally real if P maps each tangent space $T_{x}N$ into its corresponding normal space $T_x^{\perp }N$. In the particular case, when P interchanges each tangent space with its corresponding normal space, then N is said to be Lagrangian.

Next, we consider the constrained extremum problem

$$\underset{x\in N}{min}f\left(x\right),$$

(13)

where N is a submanifold of a (semi)-Riemannian manifold $(\overline{M},\overline{g})$, and $f:\overline{M}\to \mathbb{R}$ is a function of differentiability class $C^2$.

Theorem 1

([38]). If N is complete and connected, $\left(gradf\right)\left(x_0\right)\in T_{x_0}^{\perp }N$ for a point $x_0\in N$, and the bilinear form $\mathcal{F}:T_{x_0}N\times T_{x_0}N\to \mathbb{R}$ defined by

$$\mathcal{F}(X_1,X_2)=\mathrm{Hess}\left(f\right)(X_1,X_2)+\overline{g}(h(X_1,X_2),\mathrm{grad}f)$$

(14)

is positive definite in $x_0$, then $x_0$ is the optimal solution of the problem (13), where h is the second fundamental form of N.

Remark 1

([38]). If the bilinear form $\mathcal{F}$ defined by (14) is positive semi-definite on the submanifold N, then the critical points of $f|N$ are global optimal solutions of the problem (13).

3. Main Inequalities

It is well-known that one of the most fundamental problems in submanifold theory is the following (see, e.g., [39]).

Problem. Establish a simple relationship between the main extrinsic invariants and the main intrinsic invariants of a submanifold.

The following theorem provides an answer to this problem.

Theorem 2.

Let N be an n-dimensional totally real spacelike submanifold of a $2m$-dimensional statistical manifold of a type para-Kähler space form ($\overline{M},\overline{\nabla },P,\overline{g}$). The following inequalities involving the generalized normalized δ-Casorati curvatures then hold:

(i) 

$$\begin{array}{ccc}\hfill {\delta }_{\mathcal{C}}^0(r;n-1)& \ge & 2\tau +2n^2{\parallel H^0\parallel }^2-n{\mathcal{C}}^0-n^2\overline{g}(H,H^{*})+\frac{c}{4}n(1-n),\hfill \end{array}$$

(15)

where $r\in \mathbb{R}$ such that $0<r<n(n-1)$, $2{\delta }_{\mathcal{C}}^0(r;n-1)={\delta }_{\mathcal{C}}(r;n-1)+{\delta }_{\mathcal{C}}^{*}(r;n-1)$, $2{\mathcal{C}}^0=\mathcal{C}+{\mathcal{C}}^{*}$, and

(ii) 

$$\begin{array}{ccc}\hfill {\widehat{\delta }}_{\mathcal{C}}^0(r;n-1)& \ge & 2\tau +2n^2{\parallel H^0\parallel }^2-n{\mathcal{C}}^0-n^2\overline{g}(H,H^{*})+\frac{c}{4}n(1-n),\hfill \end{array}$$

(16)

where $r\in \mathbb{R}$ such that $r>n(n-1)$, $2{\widehat{\delta }}_{\mathcal{C}}^0(r;n-1)={\widehat{\delta }}_{\mathcal{C}}(r;n-1)+{\widehat{\delta }}_{\mathcal{C}}^{*}(r;n-1)$.

Moreover, the equality sign of (15) and (16) holds identically at all points $x\in N$ if and only if we have

$$h+h^{*}=0,$$

(17)

where h and $h^{*}$ are the imbedding curvature tensors of the submanifold associated to the dual connections $\tilde{\nabla }$ and ${\tilde{\nabla }}^{*}$, respectively.

Proof. 

From Formulas (3), (4), and (6), it follows that

$$\begin{array}{c}\hfill 2\overline{g}(\overline{S}(X_1,X_2)X_3,X_4)=2g(S(X_1,X_2)X_3,X_4)-\overline{g}(h(X_2,X_3),h^{*}(X_1,X_4))\\ \hfill +\overline{g}(h(X_1,X_3),h^{*}(X_2,X_4))-\overline{g}(h^{*}(X_2,X_3),h(X_1,X_4))+\overline{g}(h^{*}(X_1,X_3),h(X_2,X_4)),\end{array}$$

(18)

where $X_1,X_2,X_3,X_4\in \mathsf{\Gamma }\left(TN\right)$.

For $x\in N$, let $\{e_1,\dots ,e_n\}$ be an orthonormal frame in $T_{x}N$, and let $\{e_{n+1},\dots ,e_{2m}\}$ be an orthonormal frame in $T_x^{\perp }N$. Considering $X_1=X_3=e_i$ and $X_2=X_4=e_j$ with $i,j\in \{1,\dots ,n\}$, from Equation (18), we obtain

$$\begin{array}{ccc}\hfill 2\tau \left(x\right)& =& n^2\overline{g}(H,H^{*})-\sum _{1\le i,j\le n}\overline{g}(h(e_i,e_j),h^{*}(e_i,e_j))+\frac{c}{4}n(n-1).\hfill \end{array}$$

(19)

Using notations $H^0$ and ${\mathcal{C}}^0$ given by (1) and (2), then Equation (19) can be written as

$$\begin{array}{ccc}\hfill 2\tau \left(x\right)& =& \frac{c}{4}n(n-1)+2n^2\parallel H^0{\parallel }^2-\frac{n^2}{2}{\parallel H\parallel }^2-\frac{n^2}{2}{\parallel H^{*}\parallel }^2\hfill \\ & & -2n{\mathcal{C}}^0+\frac{n}{2}(\mathcal{C}+{\mathcal{C}}^{*}).\hfill \end{array}$$

(20)

We choose $\mathcal{Q}$, a quadratic polynomial expressed by

$$\begin{array}{ccc}\hfill \mathcal{Q}& =& r{\mathcal{C}}^0+a\left(r\right){\mathcal{C}}^0\left(V\right)+\frac{n}{2}(\mathcal{C}+{\mathcal{C}}^{*})-\frac{n^2}{2}{(\parallel H\parallel }^2+\parallel H^{*}{\parallel }^2)\hfill \\ & & -2\tau \left(x\right)+\frac{c}{4}n(n-1),\hfill \end{array}$$

(21)

where V is a hyperplane of $T_{x}N$.

Let V be a hyperplane spanned by the tangent vectors $e_1,\dots ,e_{n-1}$, without losing the generality. We see that

$$\begin{array}{c}\hfill \mathcal{Q}=\sum _{\alpha =n+1}^{2m}\left[\frac{2n+r}{n}\sum _{i,j=1}^n{\left(h_{ij}^{0\alpha }\right)}^2+a\left(r\right)\frac{1}{n-1}\sum _{i,j=1}^{n-1}{\left(h_{ij}^{0\alpha }\right)}^2-2{\left(\sum _{i=1}^n{h}_{ii}^{0\alpha }\right)}^2\right].\end{array}$$

(22)

Moreover, (22) becomes

$$\begin{array}{ccc}\hfill \mathcal{Q}& =& \sum _{\alpha =n+1}^{2m}\{\left[\frac{2(2n+r)}{n}+\frac{2a\left(r\right)}{n-1}\right]\sum _{1\le i<j\le n-1}{\left(h_{ij}^{0\alpha }\right)}^2+\left[\frac{2(2n+r)}{n}+\frac{2a\left(r\right)}{n-1}\right]\sum _{i=1}^{n-1}{\left(h_{in}^{0\alpha }\right)}^2\hfill \\ & & +\left(\frac{2n+r}{n}+\frac{a\left(r\right)}{n-1}-2\right)\sum _{i=1}^{n-1}{\left(h_{ii}^{0\alpha }\right)}^2\hfill \\ & & -4\sum _{1\le i<j\le n}{h}_{ii}^{0\alpha }{h}_{jj}^{0\alpha }+\left(\frac{2n+r}{n}-2\right){\left(h_{nn}^{0\alpha }\right)}^2\}\hfill \\ & \ge & \sum _{\alpha =n+1}^{2m}\left[\frac{r(n-1)+a\left(r\right)n}{n(n-1)}\sum _{i=1}^{n-1}{\left(h_{ii}^{0\alpha }\right)}^2+\left(\frac{r}{n}\right){\left(h_{nn}^{0\alpha }\right)}^2-4\sum _{1\le i<j\le n}{h}_{ii}^{0\alpha }{h}_{jj}^{0\alpha }\right].\hfill \end{array}$$

We choose $q_{\alpha }$, a quadratic form defined by $q_{\alpha }:{\mathbb{R}}^n\to \mathbb{R}$ for any $\alpha \in \{n+1,\dots ,2m\}$,

$$\begin{array}{ccc}\hfill q_{\alpha }(h_{11}^{0\alpha },h_{22}^{0\alpha },\dots ,h_{nn}^{0\alpha })& =& \sum _{i=1}^{n-1}\frac{r(n-1)+a\left(r\right)n}{n(n-1)}{\left(h_{ii}^{0\alpha }\right)}^2\hfill \\ & & +\frac{r}{n}{\left(h_{nn}^{0\alpha }\right)}^2-4\sum _{1\le i<j\le n}{h}_{ii}^{0\alpha }{h}_{jj}^{0\alpha }.\hfill \end{array}$$

Our aim is to study the constrained extremum problem

$$min{q}_{\alpha }$$

with the condition

$$T:h_{11}^{0\alpha }+h_{22}^{0\alpha }+\dots +h_{nn}^{0\alpha }=k^{\alpha },$$

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

We solve the following system of first order partial derivatives:

$$\left\{\begin{array}{c}\frac{\partial q_{\alpha }}{\partial h_{ii}^{0\alpha }}=2\frac{r(n-1)+a\left(r\right)n}{n(n-1)}{h}_{ii}^{0\alpha }-4\left(\sum _{k=1}^n{h}_{kk}^{0\alpha }-h_{ii}^{0\alpha }\right)=0\hfill \\ \frac{\partial q_{\alpha }}{\partial h_{nn}^{0\alpha }}=\frac{2r}{n}{h}_{nn}^{0\alpha }-4\sum _{k=1}^{n-1}{h}_{kk}^{0\alpha }=0,\hfill \end{array}\right.$$

for every $i\in \{1,\dots ,n-1\}$, $\alpha \in \{n+1,\dots ,2m\}$.

The above system solutions are

$$h_{ii}^{0\alpha }=\frac{2n(n-1)}{(n-1)(2n+r)+na\left(r\right)}{k}^{\alpha }$$

$$h_{nn}^{0\alpha }=\frac{2n}{2n+r}{k}^{\alpha },$$

for any $i\in \{1,\dots ,n-1\}$, $\alpha \in \{n+1,\dots ,2m\}$.

For $p\in$ W, let $\mathcal{F}$ be a 2-form, $\mathcal{F}:T_{p}W\times T_{p}W\to \mathbb{R}$ defined by

$$\mathcal{F}(X_1,X_2)=\mathrm{Hess}\left(q_{\alpha }\right)(X_1,X_2)+\langle h^{{}^{\prime }}(X_1,X_2),\left(\mathrm{grad}{q}_{\alpha }\right)\left(p\right)\rangle ,$$

where $h^{\prime }$ is the second fundamental form of W in ${\mathbb{R}}^{n+1}$, and $\langle ·,·\rangle$ is the standard inner product on ${\mathbb{R}}^n$.

The Hessian matrix of $q_{\alpha }$ is as follows:

$$\mathrm{Hess}\left(q_{\alpha }\right)=\left(\begin{array}{ccccc}\lambda & -4& \cdots & -4& -4\\ -4& \lambda & \cdots & -4& -4\\ ⋮& ⋮& \ddots & ⋮& ⋮\\ -4& -4& \cdots & \lambda & -4\\ -4& -4& \cdots & -4& \frac{2r}{n}\end{array}\right),$$

where $\lambda =2\frac{(n-1)(r+2n)+na\left(r\right)}{n(n-1)}$ is a real constant.

The hyperplane W is totally geodesic in ${\mathbb{R}}^n$, so we have ${\sum }_{i=1}^n{U}_i=0$, for a vector field $X_1\in T_{p}W$. We obtain

$$\begin{array}{cc}\hfill \mathcal{F}(X_1,X_1)& =\lambda \sum _{i=1}^{n-1}{U}_i^2+\frac{2r}{n}{U}_n^2-8\sum _{i,j=1(i\ne j)}^n{U}_i{U}_j\hfill \\ \hfill & =\lambda \sum _{i=1}^{n-1}{U}_i^2+\frac{2r}{n}{U}_n^2+4{\left(\sum _{i=1}^n{U}_i\right)}^2-8\sum _{i,j=1(i\ne j)}^n{U}_i{U}_j\hfill \\ \hfill & =\lambda \sum _{i=1}^{n-1}{U}_i^2+\frac{2r}{n}{U}_n^2+4\sum _{i=1}^n{U}_i^2\hfill \\ \hfill & \ge 0.\hfill \end{array}$$

From Remark 1, the critical point $(h_{11}^{0\alpha },\dots ,h_{nn}^{0\alpha })$ of $q_{\alpha }$ is the global minimum point of the problem. We then achieve $\mathcal{Q}\ge 0$.

We have thus proved the inequalities (15) and (16), considering infimum and supremum, respectively, over all tangent hyperplanes V of $T_{x}N$.

Similarly, we investigated the equality cases of the inequalities (15) and (16). The critical points of $\mathcal{Q}$ denoted by

$$h^c=(h_{11}^{0n+1},h_{12}^{0n+1},\dots ,h_{nn}^{0n+1},\dots ,h_{11}^{02m},\dots ,h_{nn}^{02m})$$

are the solutions of the following system of linear homogeneous equations:

$$\left\{\begin{array}{c}\frac{\partial \mathcal{Q}}{\partial h_{ii}^{0\alpha }}=2\left[\frac{2n+r}{n}+\frac{a\left(r\right)}{n-1}-2\right]h_{ii}^{0\alpha }-4\sum _{k\ne i,k=1}^n{h}_{kk}^{0\alpha }=0,\hfill \\ \frac{\partial \mathcal{Q}}{\partial h_{nn}^{0\alpha }}=2\frac{r}{n}{h}_{nn}^{0\alpha }-4\sum _{k=1}^{n-1}{h}_{kk}^{0\alpha }=0,\hfill \\ \frac{\partial \mathcal{Q}}{\partial h_{ij}^{0\alpha }}=4\left[\frac{2n+r}{n}+\frac{a\left(r\right)}{n-1}\right]h_{ij}^{0\alpha }=0,i\ne j,\hfill \\ \frac{\partial \mathcal{Q}}{\partial h_{in}^{0\alpha }}=4\left[\frac{2n+r}{n}+\frac{a\left(r\right)}{n-1}\right]h_{in}^{0\alpha }=0.\hfill \end{array}\right.$$

We find that the critical points satisfy $h_{ij}^{0\alpha }=0$, with $i,j\in \{1,\dots ,n\}$ and $\alpha \in \{n+1,\dots ,2m\}$. However, because of the conditions $\mathcal{Q}\ge 0$ and $\mathcal{Q}\left(h^c\right)=0$, the critical point $h^c$ is a minimum point of $\mathcal{Q}$. Thus, both inequalities (15) and (16) satisfy the equality cases if and only if $h_{ij}^{\alpha }=-h_{ij}^{*\alpha },$ for $i,j$$\in \{1,\dots ,n\}$, $\alpha \in \{n+1,\dots ,2m\}$. □

Remark 2.

The equality cases of inequalities (15) and (16) hold for all unit tangent vectors at x if and only if x is a totally geodesic point with respect to the Levi–Civita connection. It is argued that the submanifold N is totally geodesic with respect to the Levi–Civita connection ${\overline{\nabla }}^0$ in Equation (17).

Next, we consider the normalized $\delta$-Casorati curvatures ${\delta }_{\mathcal{C}}(n-1)$ and ${\delta }_{\mathcal{C}}^{*}(n-1)$, respectively ${\widehat{\delta }}_{\mathcal{C}}(n-1)$ and ${\widehat{\delta }}_{\mathcal{C}}^{*}(n-1)$. We then see the following consequences of Theorem (2).

Corollary 1.

Let N be an n-dimensional totally real spacelike submanifold of a $2m$-dimensional statistical manifold of a type para-Kähler space form ($\overline{M},\overline{\nabla },P,\overline{g}$). The following δ-Casorati curvatures then satisfy

(i) 

$$\begin{array}{ccc}\hfill \rho & \le & {\delta }_{\mathcal{C}}^0(n-1)+\frac{1}{n-1}{\mathcal{C}}^0-\frac{2n}{n-1}{\parallel H^0\parallel }^2\hfill \\ & +& \frac{n}{n-1}\overline{g}(H,H^{*})+\frac{c}{4}n(n-1),\hfill \end{array}$$

(23)

where $2{\delta }_{\mathcal{C}}^0(n-1)={\delta }_{\mathcal{C}}(n-1)+{\delta }_{\mathcal{C}}^{*}(n-1)$ and $2{\mathcal{C}}^0=\mathcal{C}+{\mathcal{C}}^{*}$, and

(ii) 

$$\begin{array}{ccc}\hfill \rho & \le & {\widehat{\delta }}_{\mathcal{C}}^0(n-1)+\frac{1}{n-1}{\mathcal{C}}^0-\frac{2n}{n-1}{\parallel H^0\parallel }^2\hfill \\ & +& \frac{n}{n-1}\tilde{g}(H,H^{*})+\frac{c}{4}n(n-1),\hfill \end{array}$$

(24)

where $2{\widehat{\delta }}_{\mathcal{C}}^0(n-1)={\widehat{\delta }}_{\mathcal{C}}(n-1)+{\widehat{\delta }}_{\mathcal{C}}^{*}(n-1)$.

Moreover, the equality cases of (23) and (24) hold identically at all points if and only if h and $h^{*}$ satisfy the condition (17), which implies that N is a totally geodesic submanifold with respect to the Levi–Civita connection.

Corollary 2.

Let N be a spacelike Lagrangian submanifold of the para-Kähler space form ${\overline{M}}_n^{2n}$. We then have

(i) 

$$\begin{array}{ccc}\hfill {\delta }_{\mathcal{C}}(r;n-1)& \ge & 2\tau +n^2{\parallel H\parallel }^2-n\mathcal{C}+\frac{c}{4}n(1-n),\hfill \end{array}$$

(25)

where $r\in \mathbb{R}$ such that $0<r<n(n-1)$, and

(ii) 

$$\begin{array}{ccc}\hfill {\widehat{\delta }}_{\mathcal{C}}(r;n-1)& \ge & 2\tau +n^2{\parallel H\parallel }^2-n\mathcal{C}+\frac{c}{4}n(1-n),\hfill \end{array}$$

(26)

where $r\in \mathbb{R}$ such that $r>n(n-1)$.

Furthermore, the equality sign of (25) and (26) holds identically at all points $x\in N$ if and only if N is a totally geodesic submanifold.

Remark 3.

In a future article, we will investigate the optimality of the inequalities in the previous corollary. Due to additional properties that the second fundamental form h has in the Lagrangian case (see [33], Lemma 3.2), it is expected that the inequalities can be improved, and the case of equality can be achieved for another class of submanifolds.

Remark 4.

In the main inequalities demonstrated in this section, we established several elementary relationships between some fundamental extrinsic and intrinsic curvature invariants of totally real spacelike submanifolds in statistical manifolds of the type para-Kähler space form. The geometric significance of these inequalities is as follows. It is known that curvature invariants play basic roles in Riemannian geometry and in mathematical physics. It is worth mentioning that, due to the fact that Riemannian invariants model the behavior of a Riemannian space, these invariants are called Riemannian DNA [7]. The extrinsic curvature invariant that measures the shape of submanifolds in the most natural, best agreement with our intuitive, common-sense idea or feeling of curvature very likely is the Casorati curvature [40]. Obtaining elementary relationships between extrinsic and intrinsic curvature invariants is a fundamental problem in modern Riemannian geometry, since it is essential to be able to control the extrinsic quantities relative to intrinsic ones [41]. As inequalities provide such elementary relationships, the relevance of the results stated in this paper is clear. By carefully analyzing the nature of the terms in the main inequalities proved above, one can deduce that the simplest intrinsic curvature invariant, namely, the (normalized) scalar curvature, has an upper bound expressed in terms of some basic extrinsic curvature invariants.

4. Examples

Example 1.

We notice that any para-Kähler manifold is a para-Kähler-like statistical manifold, while para-Kähler space forms provide particular examples of statistical manifolds of type para-Kähler space forms. The prototype of flat para-Kähler spaces is given by the para-Kähler n-plane ${\mathbb{E}}_n^{2n}$ (see [42]). The complete classification of para-Kähler space forms of nonzero para-sectional curvature was realized by Gadea and Montesinos-Amilibia [43]. In particular, any totally geodesic totally real spacelike submanifold in such spaces provides examples of submanifolds satisfying the equality case in the inequalities stated above at all points. In the case of non-totally geodesic points, it is clear that the inequalities are strict. Both totally geodesic and non-totally geodesic examples of spacelike Lagrangian submanifolds in ${\mathbb{E}}_n^{2n}$ can be found in [32,33,44]. Next, we will present two such examples of submanifolds in ${\mathbb{E}}_n^{2n}$.

Example 2.

The spacelike n-dimensional plane provides a very natural example of a totally geodesic spacelike Lagrangian submanifold of ${\mathbb{E}}_n^{2n}$. This submanifold satisfies the equality cases of the inequalities stated above at all points.

Example 3.

If $(a_1\left(t\right),a_{n+1}\left(t\right))$ is a non-degenerate spacelike curve in ${\mathbb{E}}_1^2$, then the submanifold of ${\mathbb{E}}_n^{2n}$ defined by

$$f(t,x_2,\dots ,x_n)=(a_1\left(t\right),0,\dots ,0,a_{n+1}\left(t\right),x_2,\dots ,x_n),$$

is a spacelike Lagrangian submanifold without totally geodesic points. In this case, the inequalities stated above are strictly satisfied at all points, and the case of equality cannot be reached.

Example 4.

On ${\mathbb{R}}^{2n}$ with the coordinates $(x_1,\dots ,x_n,y_1,\dots ,y_n)$, we consider the flat affine connection ∇ and the pseudo-Riemannian metric g expressed by

$$g=\sum _{i=1}^n(-\alpha \mathrm{d}{x}_i^2+\mathrm{d}{y}_i^2),$$

where $\alpha \ne 0$ is a real constant. Consider on ${\mathbb{R}}^{2n}$ the almost product structure P given by

$$P\left({\partial }_{x_i}\right)={\partial }_{y_i},P\left({\partial }_{y_i}\right)={\partial }_{x_i},i=1,\dots ,n.$$

It is then easy to check that $({\mathbb{R}}^{2n},\nabla ,P,g)$ is a statistical manifold of the type para-Kähler space form, being a flat para-Kähler-like statistical manifold. Note that the conjugate connection ${\nabla }^{*}$ is also flat, and $P^{*}$ is given by

$$P^{*}\left({\partial }_{x_i}\right)=\alpha {\partial }_{y_i},P^{*}\left({\partial }_{y_i}\right)=\frac{1}{\alpha }{\partial }_{x_i}.$$

Let X be an open set of ${\mathbb{R}}^n$, and define an isometric immersion $u:X\to {\mathbb{R}}^{2n}$ by

$$u(y_1,\dots ,y_n)=(0,\dots ,0,y_1,\dots ,y_n).$$

u then defines a spacelike Lagrangian submanifold of $({\mathbb{R}}^{2n},\nabla ,P,g)$. Moreover, we have $h=-h^{*}$ and the equality case holds in the inequalities stated above at all points.

5. Conclusions

In this paper, we proved new inequalities between extrinsic and intrinsic invariants ($\delta$-Casorati curvatures and a scalar curvature) of totally real spacelike submanifolds in statistical manifolds of the type para-Kähler space form. Furthermore, we investigated the equality cases and obtained some examples. This research may be a challenge for new developments focused on new relationships in terms of various invariants, for different types of statistical submanifolds in this ambient space.