Skip to main content

On differential equations classifying a warped product submanifold of cosymplectic space forms

Abstract

In the present paper, we extend the study of (Ali et al. in J. Inequal. Appl. 2020:241, 2020) by using differential equations (García-Río et al. in J. Differ. Equ. 194(2):287–299, 2003; Pigola et al. in Math. Z. 268:777–790, 2011; Tanno in J. Math. Soc. Jpn. 30(3):509–531, 1978; Tashiro in Trans. Am. Math. Soc. 117:251–275, 1965), and we find some necessary conditions for the base of warped product submanifolds of cosymplectic space form \(\widetilde{M}^{2m+1}(\epsilon )\) to be isometric to the Euclidean space \(\mathbb{R}^{n}\) or a warped product of complete manifold N and Euclidean space \(\mathbb{R}\).

Background and motivation

In [11, 12, 1719], the authors gave the characterizations of Euclidean spaces by analyzing a differential equation. They have shown that a function ψ which is non-constant on a complete manifold \((\Omega ^{n},g)\) agrees with the following equation:

$$\begin{aligned} \nabla ^{2}\psi +cg=0 \end{aligned}$$
(1.1)

if and only if \((\Omega ^{n}, g)\) is isometric to the Euclidean spaces \(\mathbb{R}^{n}\), where c is any positive constant. There is another characterization by using differential equation which was discovered by Río, Kupeli, and Unal [12]. They demonstrated that the complete Riemannian manifold \((\Omega ^{n}, g)\) is isometric to the warped product of a complete Riemannian manifold N and an Euclidean line \(\mathbb{R}\) with warping function θ accomplishes the differential equation

$$\begin{aligned} \frac{d^{2}\theta }{dt^{2}}+\lambda _{1}\theta =0 \end{aligned}$$
(1.2)

if and only if there exists a real-valued non-constant function ψ associated with the negative eigenvalue \(\lambda _{1}<0\) that has the solution of the following differential equation:

$$\begin{aligned} \Delta \psi +\lambda _{1}\psi =0. \end{aligned}$$
(1.3)

These types of complete space classifications are extremely significant and were researched by several mathematicians (see [2, 6, 911, 16]). For example, by using (1.1), Al-Dayel, Deshmukh, and Belova [3] showed that a connected and complete Riemannian manifold \((\Omega ^{n}, g)\) is isometric to \(\mathbb{R}^{n}\) if and only if the nontrivial concircular vector field u along the function ψ satisfies \(R(\nabla \psi , \nabla \psi )=0\) or \(\Delta \mathbf{{u}=0.}\) In [7], Chen and Deshmukh proved that a complete Riemannian manifold admits a concurrent vector field if and only if it is isometric to an Euclidean space by using (1.1). Similarly, in [8] it has been shown that \((\Omega ^{n}, g)\) is isometric to the Euclidean space if and only if \((\Omega ^{n}, g)\) permits the nontrivial gradient conformal vector field which is named Jacobi-type vector field. On the other hand, Matsuyama [14] derived a characterization such that the complete totally real submanifold \(\Omega ^{n}\) of the complex projective space \(C\mathbb{P}^{n}\) with bounded Ricci curvature admits a function ψ satisfying (1.3) for \(\lambda _{1}\leq n\), then \(\Omega ^{n}\) is isometric to the hyperbolic space component that is connected if \((\nabla \psi )_{x}=0\) or it is isometric to the warped product of the complete Riemannian manifold and the Euclidean line if ψ is non-vanishing, where the warping function θ on \(\mathbb{R}\) ensures equation (1.2). Also, similar results have been obtained for generalized Sasakian space forms by Jamali and Shahid [13].

In the present paper, by using the Chen–Ricci inequality which was derived in [4], and influenced by the studies in [13, 6, 13], we derive similar characterization for C-totally real warped product submanifolds of cosymplectic space forms as rigidity theorems.

Notations and formulas

The almost contact metric manifold \((\widetilde{{M}}, g)\) with Riemannian metric g satisfies the conditions

$$\begin{aligned} &\phi ^{2}=-I+\xi \otimes \eta , \\ &\eta (\xi )=1,\qquad \phi (\xi )=0,\qquad \eta \circ \phi =0, \\ &g(\phi W_{1}, \phi W_{2})=g(W_{1}, W_{2})-\eta (W_{1})\eta (W_{2}), \\ &\eta (W_{1})=g(W_{1}, \xi ), \end{aligned}$$

for the almost contact structure \((\phi ,\eta ,\xi )\) and \(W_{1}, W_{2}\in \Gamma (T\widetilde{{M}})\). The manifold \(\widetilde{{M}}^{2m+1}\) is defined to be a cosymplectic manifold if the following relation holds:

$$\begin{aligned} (\widetilde{\nabla }_{W_{1}}\phi )W_{2}=0 \end{aligned}$$

for every \(W_{1}, W_{2}\in \Gamma (T\widetilde{{M}})\), where ̃ denotes the Riemannian connection with concern of the metric g. A cosymplectic space form is the cosymplectic manifold considering the constant ϕ-sectional curvature ϵ, it is also defined as \({\widetilde{M}}^{2m+1}(\epsilon )\); see [Eq. (6.2) in [5]], where the Riemannian curvature tensor of \({\widetilde{M}}^{2m+1}(\epsilon )\) is defined in detail.

In case the structure field ξ is perpendicular to the submanifold \(\Omega ^{n}\) in \({\widetilde{M}}^{2m+1}(\epsilon )\), \(\Omega ^{n}\) is a C-totally real submanifold of \({\widetilde{M}}^{2m+1}(\epsilon )\); also this case ϕ maps any tangent space of \(\Omega ^{n}\) into its correspondent to the normal space (see [3, 5]). Now, we remember the Bochner formula for a differential function on a Riemannian manifold \(\Omega ^{n}\), that is, \(\psi : \Omega ^{n}\rightarrow \mathbb{R}\), we have

$$\begin{aligned} \frac{1}{2}\Delta \vert \nabla \psi \vert ^{2}=\operatorname{Ric}_{\Omega ^{n}}(\nabla \psi , \nabla \psi )+ \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}+g \bigl( \nabla (\Delta \psi ), \nabla \psi \bigr) \end{aligned}$$
(2.1)

such that the Ricci tensor of \(\Omega ^{n}\) is denoted by Ric. Now, let ψ be a differential function defined on Ω. Thus, the gradient f is given as follows:

$$\begin{aligned} \mbox{(i)}\quad g(\nabla \psi , X)=X\psi ,\quad \text{and}\quad (\text{ii})\quad \nabla \psi =\sum_{i=1}^{n}e_{i}( \psi )e_{i}. \end{aligned}$$
(2.2)

The Laplacian Δψ of ψ is also given by

$$\begin{aligned} \Delta \psi =\sum_{i=1}^{n} \bigl\{ (\nabla _{e_{i}}e_{i})\psi -e_{i} \bigl(e_{i}( \psi ) \bigr) \bigr\} =-\sum _{i=1}^{n}g( \nabla _{e_{i}} \operatorname{grad}\psi , e_{i})=- \operatorname{traceHess}( \psi ). \end{aligned}$$
(2.3)

Theorem 2.1

(Green’s theorem [20])

Let Ω be a compact oriented Riemannian manifold without boundary, and let ψ be a differential function, then the following formula holds:

$$\begin{aligned} \int _{M}\Delta \psi \,\mathrm{d}V=0, \end{aligned}$$

where dV denotes the volume of Ω.

The main results

To prove our main result, the next lemma which is proved in [4], is stated.

Lemma 3.1

([4])

Suppose that \(\widetilde{M}^{2m+1}(\epsilon )\) is a cosymplectic space form, and let \(\Phi :\Omega ^{n}=\mathbb{B}\times _{f}\mathbb{F}\longrightarrow \widetilde{M}^{2m+1}(\epsilon )\) be a \(\mathbb{B}\)-minimal C-totally real isometric immersion of a warped product submanifold \(\Omega ^{n}\) into \(\widetilde{M}^{2m+1}(\epsilon )\). Then the Ricci inequality is given by

$$\begin{aligned} \operatorname{\mathcal{R}ic}(X)+q\Delta \ln f\leq \frac{n^{2}}{4} \Vert H \Vert ^{2}+q \Vert \nabla \ln f \Vert ^{2}+\frac{\epsilon }{4} \{pq+n-1 \} \end{aligned}$$
(3.1)

for every unit vector \(X\in T_{x}\Omega ^{n}\), where \(p=\dim \mathbb{B}\) and \(q=\dim \mathbb{F}\). The qualities in the above inequality have been discussed in detail in [4].

The next compositions will be used to the end of this paper: ‘CSF’ as cosymplectic space form, ‘WF’ as warping function, and ‘WPS’ as warped product submanifold. More precisely, we give the next theorem.

Theorem 3.1

Let \(\Phi :\Omega ^{n}=\mathbb{B}\times _{f}\mathbb{F}\longrightarrow \mathbb{M}^{2m+1}(\epsilon )\) be a \(\mathbb{B}\)-minimal C-totally real isometric immersion of the complete WPS \(\Omega ^{n}\) into the CSF \(\mathbb{M}^{2m+1}(\epsilon )\) such that Ricci curvature is bounded below by a positive constant \(K>0\). Then \(\mathbb{B}\) is isometric to an Euclidean space \(\mathbb{R}^{p}\) if the following equality holds:

$$\begin{aligned} (\lambda _{1}+q )K=\lambda _{1} \biggl\{ \frac{q\lambda _{1}}{p}+ \frac{n^{2}}{4} \Vert H \Vert ^{2}+ \frac{\epsilon }{4}(pq+n-1) \biggr\} , \end{aligned}$$
(3.2)

where \(f:\mathbb{B}\longrightarrow \mathbb{R}\) is a real-valued function and called a warping function.

Proof

In particular, \(\psi =\ln f\) such that \(f:\mathbb{B}\longrightarrow \mathbb{R}\) and Eq. (3.1) gives

$$\begin{aligned} \mathcal{R}ic(X)+q\Delta \psi \leq \frac{n^{2}}{4} \Vert H \Vert ^{2}+q \Vert \nabla \psi \Vert ^{2}+ \frac{\epsilon }{4} \{pq+n-1 \}. \end{aligned}$$

Assuming that the Ricci curvature is bounded below with any positive constant \(K>0\), that is, \(\operatorname{Ric}(X)\geq K\), we have

$$\begin{aligned} K+q\Delta \psi \leq \frac{n^{2}}{4} \Vert H \Vert ^{2}+q \Vert \nabla \psi \Vert ^{2}+ \frac{\epsilon }{4} \{pq+n-1 \}. \end{aligned}$$
(3.3)

One of the most famous results connecting the curvature and topology of the complete Riemannian manifold \(\Omega ^{n}\) is the famous theorem of Myers [15], which states that if the Ricci curvature with regard to unit vectors on \(\Omega ^{n}\) is bounded with a positive constant \(K>0\), then \(\Omega ^{n}\) is compact. This implies that \(\Omega ^{n}\) is compact, then taking integration (3.3) and using Green’s lemma, we find that

$$\begin{aligned} \operatorname{Vol} \bigl(\Omega ^{n} \bigr)K&\leq \frac{n^{2}}{4} \int _{\Omega ^{n}} \vert \mathbb{H} \vert ^{2}\,dV+q \int _{\Omega ^{n}} \vert \nabla \psi \vert ^{2}\,dV+ \int _{\Omega ^{n}}\frac{\epsilon }{4} (pq+n-1 )\,dV. \end{aligned}$$

This can be written as

$$\begin{aligned} \int _{\Omega ^{n}} \vert \nabla \psi \vert ^{2}\,dV \geq \frac{K}{q}\operatorname{Vol} \bigl( \Omega ^{n} \bigr)- \frac{n^{2}}{4q} \int _{\Omega ^{n}} \vert \mathbb{H} \vert ^{2}\,dV- \frac{1}{q} \int _{\Omega ^{n}}\frac{\epsilon }{4} (pq+n-1 )\,dV. \end{aligned}$$
(3.4)

On the other hand, we have

$$\begin{aligned} \bigl\vert \operatorname{Hess}(\psi )-tI \bigr\vert ^{2}= \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}+t^{2} \vert I \vert ^{2}-2tg \bigl(I, \operatorname{Hess}( \psi ) \bigr), \end{aligned}$$

which leads to the following: \(g(\operatorname{Hess}(\psi ), I^{*})=\mathit{tr}(I^{*}\operatorname{Hess}(\psi ))=\operatorname{trHess}(\psi )=-\Delta \psi \) and (2.3)

$$\begin{aligned} \bigl\vert \operatorname{Hess}(\psi )-tI \bigr\vert ^{2}=2t \Delta \psi +t^{2}p+ \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}. \end{aligned}$$

Substituting \(t=\frac{\lambda _{1}}{p}\) and integrating the preceding equation with respect to the volume element dV, we obtain

$$\begin{aligned} \int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )- \frac{\lambda _{1}}{p}I \biggr\vert ^{2}\,dV= \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV+ \int _{\Omega ^{n}} \frac{\lambda _{1}^{2}}{p}\,dV. \end{aligned}$$
(3.5)

Applying the integration in Bochner formula (2.1) with the fact that \(\Delta \psi =\lambda _{1}\psi \), we have

$$\begin{aligned} \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV=-\lambda _{1} \int _{\Omega ^{n}}| \nabla \psi \|^{2}\,dV- \int _{\Omega ^{n}}\operatorname{Ric}(\nabla \psi , \nabla \psi )\,dV. \end{aligned}$$
(3.6)

Combining Eqs. (3.5) and (3.6), we derive

$$\begin{aligned} \int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )- \frac{\lambda _{1}}{p}I \biggr\vert ^{2}\,dV= \int _{\Omega ^{n}}\frac{\lambda _{1}^{2}}{p}\,dV-\lambda _{1} \int _{ \Omega ^{n}}|\nabla \psi \|^{2}\,dV- \int _{\Omega ^{n}} \operatorname{Ric}(\nabla \psi , \nabla \psi ) \,dV. \end{aligned}$$

As we assumed that \(\operatorname{Ric}(\nabla \psi , \nabla \psi )\geq K\) for \(K>0\), then we proceed to the next expression

$$\begin{aligned} \int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )- \frac{\lambda _{1}}{p}I \biggr\vert ^{2}\,dV \leq \int _{\Omega ^{n}}\frac{\lambda _{1}^{2}}{p}\,dV-\lambda _{1} \int _{\Omega ^{n}}|\nabla \psi \|^{2}\,dV-K\operatorname{Vol} \bigl( \Omega ^{n} \bigr). \end{aligned}$$

Inserting Eq. (3.4) into the above equation, we derive

$$\begin{aligned} \int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )- \frac{\lambda _{1}}{p}I \biggr\vert ^{2}\,dV \leq {}& \int _{\Omega ^{n}}\frac{\lambda _{1}^{2}}{p}\,dV- \int _{\Omega ^{n}} \biggl(\frac{\lambda _{1}K}{q}+K \biggr)\,dV \\ &{}+\frac{\lambda _{1}n^{2}}{4q} \int _{\Omega ^{n}} \vert \mathbb{H} \vert ^{2}\,dV+ \frac{\lambda _{1}}{q} \int _{\Omega ^{n}}\frac{\epsilon }{4} (pq+n-1 )\,dV. \end{aligned}$$
(3.7)

If (3.2) is satisfied, then (3.7) implies that

$$\begin{aligned} \biggl\vert \operatorname{Hess}(\psi )-\frac{\lambda _{1}}{p}I \biggr\vert ^{2}=0. \end{aligned}$$

Hence, we get

$$\begin{aligned} \operatorname{Hess}(\psi ) (V, V)=cg(V, V) \end{aligned}$$

for any \(V\in \Gamma (\mathbb{B})\) with constant \(c=\frac{\lambda _{1}}{p}\). Therefore, by implementing Tashiro theorems [17, 19], we analyze that \(\mathbb{B}\) is isometric to an Euclidean space \(\mathbb{R}^{p}\). □

The next result comes from the motivation by the study of Río, Kupeli, and Unal [12]. We prove the following.

Theorem 3.2

Let \(\Phi :\Omega ^{n}=\mathbb{B}\times _{f}\mathbb{F}\longrightarrow \mathbb{M}^{2m+1}(\epsilon )\) be a \(\mathbb{B}\)-minimal C-totally real isometric immersion of a complete WPS \(\Omega ^{n}\) into the CSF \(\mathbb{M}^{2m+1}(\epsilon )\) such that the Ricci curvature is bounded below by a positive constant \(K>0\) and satisfies the following assumption:

$$\begin{aligned} \bigl\vert \nabla ^{2}\psi \bigr\vert ^{2}=\frac{\lambda _{1}}{4pq} \bigl\{ \epsilon (1-pq-n )+4K-n^{2} \vert \mathbb{H} \vert ^{2} \bigr\} \end{aligned}$$
(3.8)

for \(\lambda _{1}<0\). Then \(\mathbb{B}\) is isometric to the warped product of the form \(\mathbb{R}\times _{\theta }N\) with the warping function θ satisfying the following differential equation:

$$\begin{aligned} \frac{d^{2}\theta }{dt^{2}}+\lambda _{1}\theta =0. \end{aligned}$$

Proof

Let us define the following equation with \(\psi =\ln f\), we have

$$\begin{aligned} \bigl\vert t\psi I+\operatorname{Hess}(\psi ) \bigr\vert ^{2}=&t^{2}(\psi )^{2} \vert I \vert ^{2}+ \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}+2t\psi g \bigl(I, \operatorname{Hess}(\psi ) \bigr). \end{aligned}$$

However, it is known that \(|I |^{2}=\operatorname{trace}(\mathrm{II}^{*})=p\), also \(g(\operatorname{Hess}(\psi ), I^{*})=\mathit{tr}(I^{*}\operatorname{Hess}(\psi ))=\operatorname{trHess}(\psi )=-\Delta \psi \) from (2.3). Then the preceding equation takes the form

$$\begin{aligned} \bigl\vert t\psi I+\operatorname{Hess}(\psi ) \bigr\vert ^{2}= \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}+pt^{2}( \psi )^{2}-2t\psi \Delta \psi . \end{aligned}$$

If ψ is an eigenfunction associated with the eigenvalue \(\lambda _{1}\) such that \(\Delta \psi =\lambda _{1}\psi \) with implemented integration, then we get the following from the preceding equation:

$$\begin{aligned} \int _{\Omega ^{n}} \bigl\vert t\psi I+\operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV= \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV+ \int _{\Omega ^{n}} \bigl(pt^{2}-2t\lambda _{1} \bigr) (\psi )^{2}\,dV. \end{aligned}$$
(3.9)

On the other hand, we obtain

$$\begin{aligned} \Delta \frac{\psi ^{2}}{2}=\psi \Delta \psi - \vert \nabla \psi \vert ^{2}. \end{aligned}$$

Applying Green’s theorem along with \(\Delta \psi =\lambda _{1}\psi \), we arrive at

$$\begin{aligned} \int _{\Omega ^{n}}(\psi )^{2}\,dV=\frac{1}{\lambda _{1}} \int _{\Omega ^{n}} \vert \nabla \psi \vert ^{2}\,dV. \end{aligned}$$
(3.10)

From (3.9) and (3.10), we find that

$$\begin{aligned} \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi )+t\psi I \bigr\vert ^{2}\,dV= \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV+ \int _{\Omega ^{n}} \biggl( \frac{pt^{2}}{\lambda _{1}}-2t \biggr) \vert \nabla \psi \vert ^{2}\,dV. \end{aligned}$$
(3.11)

In particular, \(t=\frac{\lambda _{1}}{p}\) in (3.11), and taking integration, we get

$$\begin{aligned} \int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )+ \frac{\lambda _{1}}{p}\psi I \biggr\vert ^{2}\,dV= \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV-\frac{\lambda _{1}}{p} \int _{\Omega ^{n}} \vert \nabla \psi \vert ^{2}\,dV. \end{aligned}$$
(3.12)

Again taking integration on (3.1) and involving Green’s theorem, we have

$$\begin{aligned} \int _{\Omega ^{n}}\mathcal{R}ic_{M}(X)\,dV&\leq \frac{n^{2}}{4} \int _{ \Omega ^{n}} \vert \mathbb{H} \vert ^{2}\,dV+q \int _{\Omega ^{n}} \vert \nabla \psi \vert ^{2}\,dV+ \int _{\Omega ^{n}}\frac{\epsilon }{4} (pq+n-1 )\,dV. \end{aligned}$$
(3.13)

From (3.12) and (3.13), we derive

$$\begin{aligned} \frac{1}{q} \int _{\Omega ^{n}}\mathcal{R}ic_{M}(X)\,dV\leq{}& \frac{n^{2}}{4q} \int _{\Omega ^{n}} \vert \mathbb{H} \vert ^{2}\,dV- \frac{p}{\lambda _{1}} \int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )+ \frac{\lambda _{1}}{n}\psi I \biggr\vert ^{2}\,dV \\ &{}+\frac{p}{\lambda _{1}} \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV+ \int _{\Omega ^{n}}\frac{\epsilon }{4} \biggl(p+1+ \frac{p-1}{q} \biggr)\,dV. \end{aligned}$$

As we considered that the Ricci curvature is bounded \(\mathcal{R}ic(X)\geq K\) as \(K>0\), thus the preceding equation implies

$$\begin{aligned} \int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )+ \frac{\lambda _{1}}{p}\psi I \biggr\vert ^{2}\,dV \leq{}& \frac{n^{2}\lambda _{1}}{4pq} \int _{\Omega ^{n}} \vert \mathbb{H} \vert ^{2}\,dV+ \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV- \frac{\lambda _{1}}{pq} \int _{\Omega ^{n}}K\,dV \\ &{}+\frac{\lambda _{1}}{p} \int _{\Omega ^{n}}\frac{\epsilon }{4} \biggl(p+1+ \frac{p-1}{q} \biggr)\,dV, \end{aligned}$$

it is equivalent to the following:

$$\begin{aligned} \begin{aligned} \int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )+ \frac{\lambda _{1}}{p}\psi I \biggr\vert ^{2}\,dV \leq{}& \int _{\Omega ^{n}} \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}\,dV \\ &{}+\frac{\lambda _{1}}{p} \int _{\Omega ^{n}} \biggl\{ \frac{n^{2}}{4q} \vert \mathbb{H} \vert ^{2}+\frac{\epsilon }{4} \biggl(p+1+\frac{p-1}{q} \biggr)-\frac{K}{q} \biggr\} \,dV. \end{aligned} \end{aligned}$$

The above equation implies that

$$\begin{aligned} &\int _{\Omega ^{n}} \biggl\vert \operatorname{Hess}(\psi )+ \frac{\lambda _{1}}{p}\psi I \biggr\vert ^{2}\,dV \\ &\quad \leq \int _{\Omega ^{n}} \biggl\{ \frac{\lambda _{1}n^{2}}{4pq} \vert \mathbb{H} \vert ^{2}+\frac{\lambda _{1}\epsilon }{4p} \biggl(p+1+ \frac{p-1}{q} \biggr)-\frac{\lambda _{1}K}{pq}+ \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2} \biggr\} \,dV. \end{aligned}$$
(3.14)

Our assumption (3.8) is satisfied, that is,

$$\begin{aligned} \lambda _{1}n^{2} \vert \mathbb{H} \vert ^{2}+4pq \bigl\vert \operatorname{Hess}(\psi ) \bigr\vert ^{2}= \lambda _{1} \bigl(\epsilon (1-pq-n )+4K \bigr). \end{aligned}$$
(3.15)

From (3.14) and (3.15), we get the following:

$$\begin{aligned} \biggl\vert \operatorname{Hess}(\psi )+\frac{\lambda _{1}}{p}\psi I \biggr\vert ^{2}\leq 0. \end{aligned}$$

The above equation gives us

$$\begin{aligned} \operatorname{Hess}(\psi )+\frac{\lambda _{1}}{p}\psi I=0. \end{aligned}$$

Tracing the preceding equation, we derive

$$\begin{aligned} \Delta \psi +\lambda _{1}\psi =0. \end{aligned}$$
(3.16)

According to [12], the base \(\mathbb{B}\) is isometric to the connected components of hyperbolic space if \((\nabla \psi )_{x}=0\). But \((\nabla \psi )_{x}=0\) leads to a contradiction as \(\Omega ^{n}\) is a nontrivial warped product. Hence \(\mathbb{B}\) is isometric to the warped product of the type \(\mathbb{R}\times _{\theta }N\), where N is the complete Riemannian manifold, also \(\mathbb{R}\) is an Euclidean line. Moreover, the warping function θ ensures the following differential equation:

$$\begin{aligned} \frac{d^{2}\theta }{dt^{2}}+\lambda _{1}\theta =0. \end{aligned}$$

This proof is completed. □

For the minimality case, that is, \(\|H\|^{2}=0\), we give the following corollary.

Corollary 3.1

Let \(\Psi :\Omega ^{n}=\mathbb{B}\times _{f}\mathbb{F}\longrightarrow \mathbb{M}^{2m+1}(\epsilon )\) be a C-totally real minimal isometric immersion of a complete WPS \(\Omega ^{n}\) into the CSF \(\mathbb{M}^{2m+1}(\epsilon )\) such that the Ricci curvature is bounded below of a positive constant \(K>0\) which satisfies the condition

$$\begin{aligned} (\lambda _{1}+q )K=\lambda _{1} \biggl\{ \frac{q\lambda _{1}}{p}+ \frac{\epsilon }{4}(pq+n-1) \biggr\} . \end{aligned}$$

Then \(\mathbb{B}\) is isometric to an Euclidean space \(\mathbb{R}^{p}\).

We give the following corollary by using Theorem 3.2.

Corollary 3.2

Let \(\Phi :\Omega ^{n}=\mathbb{B}\times _{f}\mathbb{F}\longrightarrow \mathbb{M}^{2m+1}(\epsilon )\) be a C-totally real minimal isometric immersion of a complete WPS \(\Omega ^{n}\) into the CSF \(\mathbb{M}^{2m+1}(\epsilon )\) such that Ricci curvature is bounded below of a positive constant \(K>0\) satisfying the assumption

$$\begin{aligned} \bigl\vert \nabla ^{2}\psi \bigr\vert ^{2}= \frac{\lambda _{1}}{4pq} \bigl\{ \epsilon (1-pq-n )+4K \bigr\} . \end{aligned}$$

Then \(\mathbb{B}\) is isometric to the warped product of the form \(\mathbb{R}\times _{\theta }N\) with the warping function θ satisfying differential equation (1.2).

Classifying Dirichlet energy of smooth functions is treated as an integral part in the field of physics and engineering. Moreover, Dirichlet energy is formulated to be an equivalent of kinetic energy. Let ψ be any real-valued smooth function on a compact manifold, then the Dirichlet energy is defined by

$$\begin{aligned} \mathcal{E}(\psi )=\frac{1}{2} \int \Vert \nabla \psi \Vert ^{2}\,dV. \end{aligned}$$
(3.17)

By using the above formula and Lemma 3.1, we give the following theorem.

Theorem 3.3

Suppose that \(\widetilde{M}^{2m+1}(\epsilon )\) is a cosymplectic space form, and let \(\Phi :\Omega ^{n}=\mathbb{B}\times _{f}\mathbb{F}\longrightarrow \widetilde{M}^{2m+1}(\epsilon )\) be a C-totally real immersion of the warped product submanifold \(\Omega ^{n}\) into \(\widetilde{M}^{2m+1}(\epsilon )\) such that the base \(\mathbb{B}\) is minimal. Then the Dirichlet energy inequality is given by

$$\begin{aligned} \int _{\Omega ^{n}}\mathcal{R}ic(X)\,dV\leq \frac{n^{2}}{4} \int _{ \Omega ^{n}} \Vert H \Vert ^{2}\,dV+2q \mathcal{E}(\psi )+ \{pq+n-1 \} \int _{ \Omega ^{n}}\frac{\epsilon +3}{4}\,dV \end{aligned}$$
(3.18)

for every unit vector \(X\in T_{x}\Omega ^{n}\), where \(p=\dim \mathbb{B}\) and \(q=\dim \mathbb{F}\).

Proof

Taking integration in Eq. (3.1) and using Green’s lemma with (3.17), we get the required result (3.18). This completes the proof of the theorem. □

Availability of data and materials

There is no data use for this manuscript.

References

  1. 1.

    Al-Dayel, I., Deshmukh, S., Belova, O.: A remarkable property of concircular vector fields on a Riemannian manifold. Mathematics 8, 469 (2020)

    Article  Google Scholar 

  2. 2.

    Ali, A., Laurian-Ioan, P., Alkhaldi, A.H.: Ricci curvature on warped product submanifolds in spheres with geometric applications. J. Geom. Phys. 146, 103510 (2019)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Ali, A., Laurian-Ioan, P., Alkhaldi, A.H., Alqahtani, L.S.: Ricci curvature on warped product submanifolds of complex space forms and its applications. Int. J. Geom. Methods Mod. Phys. 16(9), 1950142 (2019)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Ali, A., Mofarreh, F., Mior Othman, W.A., Patra, D.S.: Applications of differential equations to characterize the base of warped product submanifolds of cosymplectic space forms. J. Inequal. Appl. 2020, 241 (2020)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Ali, A., Ozel, C.: Geometry of warped product pointwise semi-slant submanifolds of cosymplectic manifolds and its applications. Int. J. Geom. Methods Mod. Phys. 14, no. 3, 1750042, 29 (2017)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Ali, R., Mofarreh, F., Alluhaibi, N., Ali, A., Ahmad, I.: On differential equations characterizing Legendrian submanifolds of Sasakian space forms. Mathematics 8, 150 (2020)

    Article  Google Scholar 

  7. 7.

    Chen, B.Y., Deshmukh, S.: Some results about concircular vector fields on Riemannian manifolds. Filomat 34(3), 835–842 (2020)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Chen, B.Y., Deshmukh, S., Ishan, A.A.: On Jacobi-type vector fields on Riemannian manifolds. Mathematics 7(12), 1139 (2019)

    Article  Google Scholar 

  9. 9.

    Deshmukh, S.: Characterizing spheres and Euclidean spaces by conformal vector fields. Ann. Mat. Pura Appl. 196(6), 2135–2145 (2017)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Deshmukh, S., Al-Solamy, F.R.: Conformal gradient vector fields on a compact Riemannian manifold. Colloq. Math. 112(1), 157–161 (2008)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Erkekoğlu, F., García-Río, E., Kupeli, D.N., Ünal, B.: Characterizing specific Riemannian manifolds by differential equations. Acta Appl. Math. 76(2), 195–219 (2003)

    MathSciNet  Article  Google Scholar 

  12. 12.

    García-Río, E., Kupeli, D.N., Unal, B.: On differential equations characterizing Euclidean sphere. J. Differ. Equ. 194(2), 287–299 (2003)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Jamali, M., Shahid, M.H.: Application of Bochner formula to generalized Sasakian space forms. Afr. Math. 29(7–8), 1135–1139 (2018)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Matsuyama, Y.: Complete totally real submanifolds of a complex projective space. Differ. Geom.-Dyn. Syst. 20, 119–125 (2018)

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Myers, S.B.: Riemannian manifolds with positive mean curvature. Duke Math. J. 8(2), 401–404 (1941)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Obata, M.: Certain conditions for a Riemannian manifold to be isometric with a sphere. J. Math. Soc. Jpn. 14, 333–340 (1962)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Pigola, S., Rimoldi, M., Setti, A.G.: Remarks on non-compact gradient Ricci solitons. Math. Z. 268, 777–790 (2011)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Tanno, S.: Some differential equations on Riemannian manifolds. J. Math. Soc. Jpn. 30(3), 509–531 (1978)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Tashiro, Y.: Complete Riemannian manifolds and some vector fields. Trans. Am. Math. Soc. 117, 251–275 (1965)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Yano, K., Kon, M.: Structures on Manifolds. World Scientific, Singapore (1984)

    MATH  Google Scholar 

Download references

Acknowledgements

The first and third authors would like to express their gratitude to Deanship of Scientific Research at King Khalid University, Saudi Arabia for providing for funding this work through the General Research Project under grant number (G.R.P-316-42). This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University through the Fast-track Research Funding Program to support publication in the top journal (Grant no. 42-FTTJ-03).

Funding

The first and third authors would like to express their gratitude to Deanship of Scientific Research at King Khalid University, Saudi Arabia for providing for funding this work through the General Research Project under grant number (G.R.P-316-42). This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University through the Fast-track Research Funding Program to support publication in the top journal (Grant no. 42-FTTJ-03).

Author information

Affiliations

Authors

Contributions

All authors have equal contributions and finalized the paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Fatemah Mofarreh.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Ali, A., Mofarreh, F., Ali, R. et al. On differential equations classifying a warped product submanifold of cosymplectic space forms. J Inequal Appl 2021, 85 (2021). https://doi.org/10.1186/s13660-021-02620-z

Download citation

MSC

  • 53C40

Keywords

  • C-totally real warped products
  • Cosymplectic space forms
  • Ordinary differential equation
  • Isometric immersion