# Generalized inequalities on warped product submanifolds in nearly trans-Sasakian manifolds

- Abdulqader Mustafa
^{1}, - Siraj Uddin
^{1}Email author and - Bernardine Renaldo Wong
^{1}

**2014**:346

https://doi.org/10.1186/1029-242X-2014-346

© Mustafa et al.; licensee Springer. 2014

**Received: **17 December 2013

**Accepted: **3 July 2014

**Published: **4 September 2014

## Abstract

In this paper, we study warped product submanifolds of nearly trans-Sasakian manifolds. The non-existence of warped product semi-slant submanifolds of type ${N}_{\theta}{\times}_{f}{N}_{T}$ is shown, whereas some characterization and new geometric obstructions are obtained for the warped products of type ${N}_{T}{\times}_{f}{N}_{\theta}$. We establish two general inequalities for the squared norm of the second fundamental form. The first inequality generalizes derived inequalities for some contact metric manifolds (Kadri *et al.* in J. Korean Math. Soc. 42:1101-1110, 2005; Munteanu in Publ. Math. (Debr.) 66:75-120, 2005; Mustafa *et al.* in Taiwan. J. Math. 17:1473-1486, 2013; Uddin and Khan in J. Inequal. Appl. 2012:304, 2012), while by a new technique, the second inequality is constructed to express the relation between extrinsic invariant (second fundamental form) and intrinsic invariant (scalar curvatures). The equality cases are also discussed.

**MSC:**53C40, 53C42, 53C15.

## Keywords

## 1 Introduction

for any vector field *X* tangent to *M*, where ⋆ is the symbol for the tangent maps. A warped product manifold $M={N}_{1}\times {N}_{2}$ is said to be *trivial* or simply *Riemannian product* if the warping function *f* is constant. For the survey on warped products as Riemannian submanifolds, we refer to [4, 5].

*almost contact structure*if there exist on $\overline{M}$ a tensor field

*ϕ*of type $(1,1)$, a vector field

*ξ*, a 1-form

*η*and a Riemannian metric

*g*satisfying [6]

where *X* and *Y* are vector fields on $\overline{M}$ [7]. We shall use the symbol $\mathrm{\Gamma}(T\overline{M})$ to denote the Lie algebra of vector fields on the manifold $\overline{M}$.

*nearly trans-Sasakian structure*if

for any $X,Y\in \mathrm{\Gamma}(T\overline{M})$. Moreover, nearly trans-Sasakian of type $(\alpha ,\beta )$ is nearly-Sasakian, or nearly Kenmotsu, or nearly cosymplectic accordingly as *β* = 0 or *α* = 0 or $\alpha =\beta =0$.

Kim *et al.* [10] initiated the study of semi-invariant submanifolds of nearly trans-Sasakian manifolds and obtained many results on the extrinsic geometric aspects of these submanifolds, whereas the slant submanifolds were studied in the setting of nearly trans-Sasakian manifolds by Al-Solamy and Khan [11]. Recently, we have initiated the study of CR-warped product in nearly trans-Sasakian manifolds [12]. In the present paper, we consider a warped product of proper slant and invariant submanifolds of nearly trans-Sasakian manifolds, called warped product semi-slant submanifolds. The paper is organized as follows. Section 2 is devoted to providing the basic definitions and formulas which are useful to the next section. In Section 3, general and special non-existence results are proved for warped products. In the case of existence of warped products, the necessary lemmas for the two inequalities and some geometric obstructions are obtained. In Section 4, a general inequality which generalizes the obtained inequalities in [12–15] is established. In Section 5, we develop a new technique to construct a general inequality for the second fundamental form in terms of the scalar curvatures of submanifolds and the warping function.

## 2 Preliminaries

*M*be an

*n*-dimensional Riemannian manifold isometrically immersed in a Riemannian manifold $\overline{M}$. Then the Gauss and Weingarten formulas are respectively given by

*M*,

*N*is a vector field normal to $\overline{M}$,

*h*is the second fundamental form of

*M*, ${\mathrm{\nabla}}^{\perp}$ is the normal connection in the normal bundle ${T}^{\perp}M$ and ${A}_{N}$ is the shape operator of the second fundamental form. They are related as

*g*denotes the Riemannian metric on $\overline{M}$ as well as the metric induced on

*M*. For any $X\in \mathrm{\Gamma}(TM)$, we decompose

*ϕX*as follows:

where *PX* and *FX* are the tangential and normal components of *ϕX*, respectively.

For a submanifold *M* of an almost contact manifold $\overline{M}$, if *F* is identically zero then *M* is *invariant*, and if *P* is identically zero then *M* is *anti-invariant*.

*mean curvature vector*$\overrightarrow{H}(x)$ is given by

where $n=dim(M)$. The submanifold *M* is *totally geodesic* in $\overline{M}$ if $h=0$, and *minimal* if $H=0$. If $h(X,Y)=g(X,Y)H$ for all $X,Y\in \mathrm{\Gamma}(TM)$, then *M* is *totally umbilical*.

*g*. The

*equation of Gauss*is given by

for all $X,Y,Z,W\in \mathrm{\Gamma}(TM)$, where $\overline{R}$ and *R* are the curvature tensors of $\overline{M}$ and *M*, respectively, and *h* is the second fundamental form.

**Definition 2.1** [16]

An immersion $\phi :{N}_{1}{\times}_{f}{N}_{2}\to \overline{M}$ is called ${N}_{i}$-*totally geodesic* if the partial second fundamental form ${h}_{i}$ vanishes identically. It is called ${N}_{i}$-*minimal* if the partial mean curvature vector ${\overrightarrow{H}}_{i}$ vanishes for $i=1,2$.

*scalar curvature*$\tau (x)$ of

*M*is defined by

*sectional curvature*of the plane section spanned by ${e}_{i}$ and ${e}_{j}$ at $x\in M$. Let ${\mathrm{\Pi}}_{k}$ be a

*k*-plane section of ${T}_{x}M$, and let $\{{e}_{1},\dots ,{e}_{k}\}$ be any orthonormal basis of ${\mathrm{\Pi}}_{k}$. The scalar curvature $\tau ({\mathrm{\Pi}}_{k})$ of ${\mathrm{\Pi}}_{k}$ is given by [16]

The scalar curvature of $\tau (x)$ of *M* at *x* is identical with the scalar curvature of the tangent space ${T}_{x}M$ of *M* at *x*, that is, $\tau (x)=\tau ({T}_{x}M)$. Geometrically, $\tau ({\mathrm{\Pi}}_{k})$ is the scalar curvature of the image ${exp}_{x}({\mathrm{\Pi}}_{k})$ of ${\mathrm{\Pi}}_{k}$ at *x* under the exponential map at *x*. If ${\mathrm{\Pi}}_{2}$ is a 2-plane section, $\tau ({\mathrm{\Pi}}_{2})$ is simply the sectional curvature $K({\mathrm{\Pi}}_{2})$ of ${\mathrm{\Pi}}_{2}$, [4, 16, 17].

*x*in the submanifold

*M*and in the ambient manifold $\overline{M}$, respectively. Taking the summation over the orthonormal frame of the tangent space of

*M*in the above equation, we obtain

where $\overline{\tau}({T}_{x}M)={\sum}_{1\le i<j\le n}\overline{K}({e}_{i}\wedge {e}_{j})$ denotes the scalar curvature of the *n*-plane section ${T}_{x}M$ for each $x\in M$ in the ambient manifold $\overline{M}$.

There are different classes of submanifolds which we introduce briefly such as slant submanifolds, CR-submanifolds and semi-slant submanifolds. We shall always consider *ξ* to be tangent to the submanifold *M*. For a slant submanifold *M*, there is a non-zero vector *X* tangent to *M* at *x* such that *X* is not proportional to ${\xi}_{x}$. We denote by $0\le \theta (X)\le \pi /2$ the angle between *ϕX* and ${T}_{x}M$ called the Wirtinger angle. If the Wirtinger angle $\theta (X)$ is constant for all $X\in {T}_{x}M-\u3008{\xi}_{x}\u3009$ and $x\in M$, then *M* is said to be a *slant submanifold* and the angle $\theta (X)$ is called the *slant angle* of *M* [18]. Obviously, if $\theta =0$, *M* is invariant and if $\theta =\pi /2$, *M* is an anti-invariant submanifold. A slant submanifold is said to be *proper slant* if it is neither invariant nor anti-invariant.

We recall the following result for a slant submanifold of an almost contact metric manifold.

**Theorem 2.1** [18]

*Let M be a submanifold of an almost contact metric manifold*$\overline{M}$

*such that*$\xi \in \mathrm{\Gamma}(TM)$.

*Then M is slant if and only if there exists a constant*$\lambda \in [0,1]$

*such that*

*Furthermore*, *if* *θ* *is a slant angle*, *then* $\lambda ={cos}^{2}\theta $.

for all $X,Y\in \mathrm{\Gamma}(TM)$.

The idea of semi-slant submanifolds of almost Hermitian manifolds was given by Papaghuic [19]. In fact, semi-slant submanifolds were defined on the line of CR-submanifolds. These submanifolds are defined and investigated by Cabrerizo *et al.* for almost contact manifolds [20]. They defined these submanifolds as follows.

*M*of an almost contact manifold $\overline{M}$ is said to be a semi-slant submanifold if there exist two orthogonal distributions

*D*and ${D}_{\theta}$ such that:

- (i)
$TM=D\oplus {D}_{\theta}\oplus \u3008\xi \u3009$.

- (ii)
*D*is invariant,*i.e.*, $\varphi D\subseteq D$. - (iii)
${D}_{\theta}$ is a slant distribution with slant angle $\theta \ne \frac{\pi}{2}$.

*M*is contact CR-submanifold of $\overline{M}$. If

*ν*is the invariant subspace of the normal bundle ${T}^{\perp}M$, then in case of semi-slant submanifolds, the normal bundle ${T}^{\perp}M$ can be decomposed as follows:

*ψ*on

*M*, the gradient grad

*ψ*and the Laplacian Δ

*ψ*of

*ψ*are defined respectively by

for any vector field *X* tangent to *M*, where ∇ denotes the Riemannian connection on *M*.

## 3 Warped product submanifolds

In this section, we study warped product submanifolds of nearly trans-Sasakian manifolds. We recall the following results on warped products for later use.

**Lemma 3.1**

*Let*$M={N}_{1}{\times}_{f}{N}_{2}$

*be a warped product manifold with the warping function*

*f*.

*Then*

- (i)
${\mathrm{\nabla}}_{X}Y\in \mathrm{\Gamma}(T{N}_{1})$,

- (ii)
${\mathrm{\nabla}}_{X}Z={\mathrm{\nabla}}_{Z}X=(Xlnf)Z$,

- (iii)
${\mathrm{\nabla}}_{Z}W={{\mathrm{\nabla}}_{Z}}^{{N}_{2}}W-(g(Z,W)/f)gradf$

*for any* $X,Y\in \mathrm{\Gamma}(T{N}_{1})$ *and* $Z,W\in \mathrm{\Gamma}(T{N}_{2})$, *where* ∇ *and* ${\mathrm{\nabla}}^{{N}_{2}}$ *denote the Levi*-*Civita connections on* *M* *and* ${N}_{2}$, *respectively*, *and* grad*f* *is the gradient of* *f*.

**Corollary 3.1**

*On a warped product manifold*$M={N}_{1}{\times}_{f}{N}_{2}$,

*we have*:

- (i)
${N}_{1}$

*is totally geodesic in**M*, - (ii)
${N}_{2}$

*is totally umbilical in**M*.

In the following, we prove the non-existence of warped products of the form $M={N}_{1}{\times}_{f}{N}_{2}$ in a nearly trans-Sasakian manifold such that *ξ* is tangent to ${N}_{2}$.

**Theorem 3.1** *Let* $\overline{M}$ *be a nearly trans*-*Sasakian manifold which is not nearly Sasakian*, *and let* $M={N}_{1}{\times}_{f}{N}_{2}$ *be a warped product submanifold of* $\overline{M}$ *such that* *ξ* *is tangent to* ${N}_{2}$, *then* *M* *is simply a Riemannian product of* ${N}_{1}$ *and* ${N}_{2}$, *where* ${N}_{1}$ *and* ${N}_{2}$ *are any Riemannian submanifolds of* $\overline{M}$.

*Proof*For any $X\in \mathrm{\Gamma}(T{N}_{1})$, we have $({\overline{\mathrm{\nabla}}}_{X}\varphi )\xi +({\overline{\mathrm{\nabla}}}_{\xi}\varphi )X=-\alpha X-\beta \varphi X$. Since for a contact metric manifold $\overline{M}$, $({\overline{\mathrm{\nabla}}}_{\xi}\varphi )X=0$ [22], hence we get

Taking the inner product with *ϕX* in (3.1) and using Lemma 3.1(ii) and the fact that *ξ* is tangent to ${N}_{2}$, we get $\beta {\parallel X\parallel}^{2}=0$. This means that the first factor of the warped product vanishes, which proves the theorem completely. □

In view of the above theorem, we get a non-existence result about the warped product semi-slant submanifolds in a nearly trans-Sasakian manifold, *i.e.*, there do not exist warped product semi-slant submanifolds ${N}_{\theta}{\times}_{f}{N}_{T}$ and ${N}_{T}{\times}_{f}{N}_{\theta}$ of a nearly trans-Sasakian manifold when the characteristic vector field *ξ* is a tangent to the second factor. Now, we show that the warped products of type ${N}_{\theta}{\times}_{f}{N}_{T}$ are also Riemannian products if *ξ* is tangent to the first factor.

**Theorem 3.2** *There do not exist warped product semi*-*slant submanifolds of type* $M={N}_{\theta}{\times}_{f}{N}_{T}$ *of a nearly trans*-*Sasakian manifold* $\overline{M}$ *such that* *ξ* *is tangent to* ${N}_{\theta}$, *unless* $\overline{M}$ *is nearly* *β*-*Kenmotsu*.

*Proof*Consider an arbitrary vector

*X*tangent to ${N}_{T}$, then making use of (1.3) it follows $({\overline{\mathrm{\nabla}}}_{X}\varphi )\xi +({\overline{\mathrm{\nabla}}}_{\xi}\varphi )X=-\alpha X-\beta \varphi X$. Since $({\overline{\mathrm{\nabla}}}_{\xi}\varphi )X=0$, for any $X\in \mathrm{\Gamma}(T\overline{M})$, thus this relation can be simplified as

*X*in (3.2), we get

By orthogonality of the vector fields *X* and *ϕX* and by Lemma 3.1(ii), the left-hand side of (3.3) vanishes identically, hence we reach $\alpha {\parallel X\parallel}^{2}=0$, this means that the first factor of the warped product ${N}_{\theta}{\times}_{f}{N}_{T}$ vanishes, which proves the theorem. □

From the above discussion, we conclude that there do not exist warped product semi-slant submanifolds of type ${N}_{\theta}{\times}_{f}{N}_{T}$ in a nearly trans-Sasakian manifold $\overline{M}$ in both the cases either *ξ* is tangent to the first factor or to the second. Also, the warped product ${N}_{T}{\times}_{f}{N}_{\theta}$ is just a Riemannian product when the characteristic vector field *ξ* is tangent to ${N}_{\theta}$. Now, we discuss the warped product submanifolds ${N}_{T}{\times}_{f}{N}_{\theta}$ such that *ξ* is tangent to ${N}_{T}$.

First, we prove a key lemma characterizing geometric properties of the warped product submanifolds ${N}_{T}{\times}_{f}{N}_{\theta}$ of a nearly trans-Sasakian manifold $\overline{M}$.

**Lemma 3.2**

*Let*$M={N}_{T}{\times}_{f}{N}_{\theta}$

*be a warped product semi*-

*slant submanifold of a nearly trans*-

*Sasakian manifold*$\overline{M}$

*such that*

*ξ*

*is tangent to*${N}_{T}$.

*Then the following relations hold*:

- (i)
$\xi lnf=\beta $,

- (ii)
$g(h(X,Y),FZ)=0$,

- (iii)
$g(h(\xi ,Z),FW)=-\alpha g(Z,W)$,

- (iv)
$g(h(X,Z),FZ)=-\{(\varphi Xlnf)+\alpha \eta (X)\}{\parallel Z\parallel}^{2}$,

- (v)
$g(h(X,Z),FPZ)=-g(h(X,PZ),FZ)=\frac{1}{3}{cos}^{2}\theta \{(Xlnf)-\beta \eta (X)\}{\parallel Z\parallel}^{2}$,

- (vi)
$g(h(X,X),\zeta )=-g(h(\varphi X,\varphi X),\zeta )$

*for any* $X,Y\in \mathrm{\Gamma}(T{N}_{T})$ *and for any* $Z,W\in \mathrm{\Gamma}(T{N}_{\theta})$ *and* $\zeta \in \mathrm{\Gamma}(\nu )$.

*Proof*The first three parts can be proved by the same way as we have proved for contact CR-warped products in [12]. Now, as we consider

*ξ*is tangent to ${N}_{T}$, then for any $X\in \mathrm{\Gamma}(T{N}_{T})$ and $Z\in \mathrm{\Gamma}(T{N}_{\theta})$, we have

*Z*, we obtain

*Z*and using Lemma 3.1(ii), we obtain

*ξ*is tangent to ${N}_{T}$. Again, by Lemma 3.1(ii) and the Gauss-Weingarten formulas, we obtain

*Z*by

*PZ*in (3.10), we obtain

*ϕζ*, for any vector $\zeta \in \mathrm{\Gamma}(\nu )$, we deduce that

*X*by

*ϕX*in the above equation and making use of (1.1) and the fact that

*ν*is an invariant normal subbundle of ${T}^{\perp}M$, we have

*ϕζ*in (3.15), we obtain

*ζ*by

*ϕζ*in the first step and

*X*by

*ϕX*in the second one, taking in consideration that $h(\xi ,\xi )=0$, we obtain the following couple of tensorial relations:

*X*by

*ϕX*in this relation yields

Thus from (3.13) and (3.20) we get the assertion. □

## 4 An inequality for warped product submanifolds ${N}_{T}{\times}_{f}{N}_{\theta}$

In the setting of almost contact structures, many authors have proved general inequalities in terms of the squared norm of the second fundamental form and the gradient of the warping function in various structures [12–15]. In fact, all these inequalities are the extension of the original inequality constructed by Chen in the almost Hermitian setting [23]. However, no one proved this relation for warped product semi-slant submanifolds. For this reason, our inequality generalizes the inequalities obtained for CR-warped products in the almost contact setting. Another reason is that a nearly trans-Sasakian structure includes all almost contact structures as a special case.

From now on, we shall follow the following orthonormal basis frame of the ambient manifold $\overline{M}$ for the warped product semi-slant submanifold $M={N}_{T}{\times}_{f}{N}_{\theta}$ such that *ξ* is tangent to ${N}_{T}$. We shall denote by *D* and ${D}_{\theta}$ the tangent spaces of ${N}_{T}$ and ${N}_{\theta}$, respectively, instead of $T{N}_{T}$ and $T{N}_{\theta}$. –We set {${e}_{1},\dots ,{e}_{s},{e}_{s+1}$ = $\varphi {e}_{1},\dots ,{e}_{({n}_{1}-1=2s)}$ = $\varphi {e}_{s},{e}_{({n}_{1}=2s+1)}$ = $\xi ,{e}_{{n}_{1}+1}$ = ${e}_{1}^{\star},\dots ,{e}_{{n}_{1}+q}$ = ${e}_{q}^{\star},{e}_{{n}_{1}+q+1}$ = ${e}_{q+1}^{\star}$ = $sec\theta P{e}_{1}^{\star},\dots ,{e}_{(n={n}_{1}+{n}_{2})}$ = ${e}_{({n}_{2}=2q)}^{\star}$ = $sec\theta P{e}_{q}^{\star},{e}_{n+1}$ = $csc\theta F{e}_{1}^{\star},\dots ,{e}_{n+{n}_{2}}$ = $csc\theta F{e}_{{n}_{2}}^{\star},{e}_{n+{n}_{2}+1}$ = ${\overline{e}}_{1},\dots ,{e}_{2m+1}$ = ${\overline{e}}_{2l}$} as a basis frame of $T\overline{M}$, then {${e}_{1},\dots ,{e}_{s},{e}_{s+1}$ = $\varphi {e}_{1},\dots ,{e}_{{n}_{1}-1}$ = $\varphi {e}_{s},{e}_{{n}_{1}}$ = $\xi ,{e}_{{n}_{1}+1}$ = ${e}_{1}^{\star},\dots ,{e}_{{n}_{1}+q}$ = $4{e}_{q}^{\star},{e}_{{n}_{1}+q+1}$ = ${e}_{q+1}^{\star}$ = $sec\theta P{e}_{1}^{\star},\dots ,{e}_{(n={n}_{1}+{n}_{2})}$ = ${e}_{({n}_{2}=2q)}^{\star}$ = $sec\theta P{e}_{q}^{\star}$} are the basis of *TM* such that ${e}_{1},\dots ,{e}_{s},{e}_{s+1}=\varphi {e}_{1},\dots ,{e}_{{n}_{1}-1}=\varphi {e}_{s},{e}_{{n}_{1}}=\xi $ are tangent to *D* and ${e}_{1}^{\star},\dots ,{e}_{q}^{\star},{e}_{q+1}^{\star}=sec\theta P{e}_{1}^{\star},\dots ,{e}_{({n}_{2}=2q)}^{\star}=sec\theta P{e}_{q}^{\star}$ are tangent to ${D}_{\theta}$, hence $\{{e}_{n+1}=csc\theta F{e}_{1}^{\star},\dots ,{e}_{n+{n}_{2}}=csc\theta F{e}_{{n}_{2}}^{\star},{e}_{n+{n}_{2}+1}={\overline{e}}_{1},\dots ,{e}_{2m+1}={\overline{e}}_{2l}\}$ are the basis of the normal bundle ${T}^{\perp}M$ such that ${e}_{n+1}=csc\theta F{e}_{1}^{\star},\dots ,{e}_{n+{n}_{2}}=csc\theta F{e}_{{n}_{2}}^{\star}$ are tangent to $F{D}_{\theta}$ and ${e}_{n+{n}_{2}+1}={\overline{e}}_{1},\dots ,{e}_{2m+1}={\overline{e}}_{2l}$ are tangent to the invariant normal subbundle *ν* with dimension 2*l*. We use this frame in the following theorem.

**Theorem 4.1**

*Let*$M={N}_{T}{\times}_{f}{N}_{\theta}$

*be a warped product semi*-

*slant submanifold of a nearly trans*-

*Sasakian manifold*$\overline{M}$

*such that*

*ξ*

*is tangent to*${N}_{T}$,

*where*${N}_{T}$

*and*${N}_{\theta}$

*are invariant and proper slant submanifolds of*$\overline{M}$

*with real dimensions*$2s+1$

*and*2

*q*,

*respectively*.

*Then*

- (i)
*The second fundamental form**h**of**M**satisfies the following inequality*:${\parallel h\parallel}^{2}\ge 2q[\{\frac{2}{9}{cot}^{2}\theta +2{csc}^{2}\theta \}({\parallel grad(lnf)\parallel}^{2}-{\beta}^{2})+{\alpha}^{2}].$(4.1) - (ii)
*If the equality sign in*(i)*holds identically*,*then*${N}_{T}$*and*${N}_{\theta}$*are totally geodesic and totally umbilical submanifolds in*$\overline{M}$,*respectively*.

*Proof*In view of the adopted frame and the definition of the second fundamental form, it is straightforward to get the following expansion:

*D*and ${D}_{\theta}$ gives

*M*, then we get

This means that ${N}_{\theta}$ is totally umbilical in *M*, thus the second condition of (4.7) with (4.8) and Corollary 3.1(ii) imply that ${N}_{\theta}$ is totally umbilical in $\overline{M}$. Also, all three conditions of (4.7) give the minimality of *M*. □

**Note**In inequality (5.1), if $\alpha =0$ and $\beta =1$, then it reduces to

which is the inequality for nearly Kenmotsu manifolds. Also, if $\alpha =1$ and $\beta =0$, then the inequality reduces for the nearly Sasakian manifolds. The equality cases can also be discussed.

**Remark 1** Theorem 3.1 in [13], Theorem 3.4 in [14] and Theorem 3.2 in [15] are the special cases of the above inequality.

**Remark 2** The above inequality generalizes Theorem 4.1 in [12].

## 5 Another inequality for warped products

*c*. Denote by ${n}_{1}$, ${n}_{2}$,

*n*the dimensions of ${N}_{1},{N}_{2},{N}_{1}{\times}_{f}{N}_{2}$, respectively. Then for unit vector fields

*X*,

*Z*tangent to ${N}_{1}$, ${N}_{2}$, respectively, we have

for each $j={n}_{1}+1,\dots ,n$.

In this section, our aim is to develop a new method which is giving a useful formula for the squared norm of the mean curvature vector $\overrightarrow{H}$ under *φ*. Geometrically, this formula declares the ${N}_{T}$-minimality of *φ*.

*D*and the fact that $h(\xi ,\xi )=0$, then ${n}_{1}$ coefficients of the right-hand side can be decomposed as follows:

From (2.7) we know that ${e}_{r}$ belongs to the normal bundle $T{M}^{\perp}$ for every $r\in \{n+1,\dots ,2m+1\}$. Then in view of (2.13) we have two cases: either it belongs to $F{D}_{\theta}$ or to *ν*.

*Case*(i). If ${e}_{r}\in \mathrm{\Gamma}(F{D}_{\theta})$, then from Lemma 3.2(ii) we know that $g(h(X,X),FZ)=0$ for any $X\in \mathrm{\Gamma}(D)$ and $Z\in \mathrm{\Gamma}({D}_{\theta})$; consequently (5.3) reduces to

*Case*(ii). If ${e}_{r}\in \mathrm{\Gamma}(\nu )$, then by means of Lemma 3.2(vi), we can make an expansion of (5.3) as follows:

By the end of this discussion, we can state the following lemma.

**Lemma 5.1**

*Let*$\phi :M={N}_{T}{\times}_{f}{N}_{\theta}\u27f6\overline{M}$

*be an isometric immersion from a warped product semi*-

*slant submanifold into a nearly trans*-

*Sasakian manifold*$\overline{M}$.

*Then we have*

*i*.*e*., *φ* *is an* ${N}_{T}$-*minimal immersion*, *where* $\overrightarrow{H}$ *is the mean curvature vector and* ${n}_{1}$, ${n}_{2}$, *n* *and* ($2m+1$) *are the dimensions of* ${N}_{T}$, ${N}_{\theta}$, *M* *and* $\overline{M}$, *respectively*.

From the Gauss equation and the above key Lemma 5.1, we are able to state and prove the following general inequality.

**Theorem 5.1**

*Let*$\phi :M={N}_{T}{\times}_{f}{N}_{\theta}\u27f6\overline{M}$

*be an isometric immersion from a warped product semi*-

*slant submanifold into a nearly trans*-

*Sasakian manifold*$\overline{M}$

*such that*

*ξ*

*is tangent to*${N}_{T}$.

*Then we have*

- (i)
$\frac{1}{2}{\parallel h\parallel}^{2}\ge \overline{\tau}(TM)-\overline{\tau}(T{N}_{T})-\overline{\tau}(T{N}_{\theta})-\frac{{n}_{2}\mathrm{\Delta}f}{f}$,

*where*${n}_{2}$*is the dimension of*${N}_{\theta}$. - (ii)
*If the equality sign in*(i)*holds identically*,*then*${N}_{T}$*and*${N}_{\theta}$*are totally geodesic and totally umbilical submanifolds in*$\overline{M}$,*respectively*.

*Proof*We start by recalling (2.9) as a consequence of (2.5) as

From (5.6) and (5.7) we obtain that the immersion $\phi :M\to \overline{M}$ is totally geodesic. Also, from Corollary 3.1 we know that the immersion ${N}_{T}\to M$ is totally geodesic and the immersion ${N}_{\theta}\to M$ is totally umbilical, hence the result (ii). □

## Declarations

### Acknowledgements

The authors would like to express their hearty thanks to anonymous referees for their valuable suggestions and comments. The second author is supported by the Research Grant RG278-14AFR, University of Malaya.

## Authors’ Affiliations

## References

- Nolker S:
**Isometric immersions of warped products.***Differ. Geom. Appl.*1996,**6:**1-30. 10.1016/0926-2245(96)00004-6MathSciNetView ArticleGoogle Scholar - O’Neill B
**Pure and Applied Mathematics 103.**In*Semi-Riemannian Geometry with Applications to Relativity*. Academic Press, New York; 1983.Google Scholar - Bishop RL, O’Neill B:
**Manifolds of negative curvature.***Trans. Am. Math. Soc.*1969,**145:**1-49.MathSciNetView ArticleGoogle Scholar - Chen BY:
**Geometry of warped products as Riemannian submanifolds and related problems.***Soochow J. Math.*2002,**28:**125-156.MathSciNetGoogle Scholar - Uddin S, Khan VA, Khan KA:
**Warped product submanifolds of a Kenmotsu manifold.***Turk. J. Math.*2012,**36:**319-330.MathSciNetGoogle Scholar - Blair DE
**Lecture Notes in Math. 509.**In*Contact Manifolds in Riemannian Geometry*. Springer, Berlin; 1976.Google Scholar - Blair DE, Showers DK:
**Almost contact manifolds with killing structures tensors. II.***J. Differ. Geom.*1974,**9:**577-582.MathSciNetGoogle Scholar - Chinea D, Gonzalez C:
**A classification of almost contact metric manifolds.***Ann. Mat. Pura Appl.*1990,**156:**15-36. 10.1007/BF01766972MathSciNetView ArticleGoogle Scholar - Gherghe C:
**Harmonicity of nearly trans-Sasakian manifolds.***Demonstr. Math.*2000,**33:**151-157.MathSciNetGoogle Scholar - Kim JS, Ximin L, Tripathi MM:
**On semi-invariant submanifolds of nearly trans-Sasakian manifold.***Int. J. Pure Appl. Math. Sci.*2004,**1:**15-34.Google Scholar - Al-Solamy FR, Khan VA:
**A note on slant submanifolds of nearly trans-Sasakian manifolds.***Math. Slovaca*2010,**60:**129-136. 10.2478/s12175-009-0172-xMathSciNetView ArticleGoogle Scholar - Mustafa A, Uddin S, Khan VA, Wong BR:
**Contact CR-warped product submanifolds of nearly trans-Sasakian manifolds.***Taiwan. J. Math.*2013,**17:**1473-1486.MathSciNetGoogle Scholar - Kadri A, Ridvan E, Mihai I, Murathan C:
**Contact CR-warped product submanifolds in Kenmotsu space forms.***J. Korean Math. Soc.*2005,**42:**1101-1110.MathSciNetView ArticleGoogle Scholar - Munteanu MI:
**Warped product contact CR-submanifolds of Sasakian space forms.***Publ. Math. (Debr.)*2005,**66:**75-120.MathSciNetGoogle Scholar - Uddin S, Khan KA:
**An inequality for contact CR-warped product submanifolds of nearly cosymplectic manifolds.***J. Inequal. Appl.*2012. Article ID 304,**2012:**Article ID 304Google Scholar - Chen BY:
**On isometric minimal immersions from warped products into real space forms.***Proc. Edinb. Math. Soc.*2002,**45:**579-587.MathSciNetView ArticleGoogle Scholar - Chen BY:
**On warped product immersions.***J. Geom.*2005,**82:**36-49. 10.1007/s00022-005-1630-4MathSciNetView ArticleGoogle Scholar - Cabrerizo JL, Carriazo A, Fernandez LM, Fernandez M:
**Slant submanifolds in Sasakian manifolds.***Glasg. Math. J.*2000,**42:**125-138.MathSciNetView ArticleGoogle Scholar - Papaghuic N:
**Semi-slant submanifolds of a Kaehlerian manifold.***An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat.*1994,**40:**55-61.Google Scholar - Carriazo A:
*New Developments in Slant Submanifolds Theory*. Narosa Publishing House, New Delhi; 2002.Google Scholar - Cabrerizo JL, Carriazo A, Fernandez LM, Fernandez M:
**Semi-slant submanifolds of a Sasakian manifold.***Geom. Dedic.*1999,**78:**183-199. 10.1023/A:1005241320631MathSciNetView ArticleGoogle Scholar - Blair DE:
**Almost contact manifolds with killing structure tensors. I.***Pac. J. Math.*1971,**39:**285-292. 10.2140/pjm.1971.39.285MathSciNetView ArticleGoogle Scholar - Chen BY:
**Geometry of warped product CR-submanifolds in Kaehler manifolds II.***Monatshefte Math.*2001,**134:**103-119. 10.1007/s006050170002View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.