 Research
 Open Access
 Published:
Generalized inequalities on warped product submanifolds in nearly transSasakian manifolds
Journal of Inequalities and Applications volume 2014, Article number: 346 (2014)
Abstract
In this paper, we study warped product submanifolds of nearly transSasakian manifolds. The nonexistence of warped product semislant 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:11011110, 2005; Munteanu in Publ. Math. (Debr.) 66:75120, 2005; Mustafa et al. in Taiwan. J. Math. 17:14731486, 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.
1 Introduction
In a natural way, warped products appeared in differential geometry generalizing the class of Riemannian product manifolds to a much larger one, called warped product manifolds, which are applied in general relativity to model the standard space time, especially in the neighborhood of massive stars and black holes [1, 2]. These manifolds were introduced by Bishop and O’Neill [3]. They defined warped products as follows: Let {N}_{1} and {N}_{2} be two Riemannian manifolds with Riemannian metrics {g}_{1} and {g}_{2}, respectively, and let f>0 be a differentiable function on {N}_{1}. Consider the product manifold {N}_{1}\times {N}_{2} with its projections {\pi}_{1}:{N}_{1}\times {N}_{2}\to {N}_{1} and {\pi}_{2}:{N}_{1}\times {N}_{2}\to {N}_{2}. Then their warped product manifold M={N}_{1}{\times}_{f}{N}_{2} is the Riemannian manifold {N}_{1}\times {N}_{2}=({N}_{1}\times {N}_{2},g) equipped with the Riemannian structure such that
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].
A (2m+1)dimensional {C}^{\mathrm{\infty}} manifold (\overline{M},g,\varphi ,\xi ,\eta ) is said to have an almost contact structure if there exist on \overline{M} a tensor field ϕ of type (1,1), a vector field ξ, a 1form η 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}.
In the classification of almost contact structures, Chinea and Gonzalez [8] divided these structures into twelve wellknown classes; one of the class that appears in this classification is denoted by {C}_{1}\oplus {C}_{5}\oplus {C}_{6}. According to their classification, an almost contact metric manifold is a nearly transSasakian manifold if it belongs to this class. Another line of thought was developed by Gherghe [9] who introduced nearly transSasakian structure of type (\alpha ,\beta ), which generalizes transSasakian structure in the same sense as nearly Sasakian generalizes Sasakian one. In this sense an almost contact metric structure (\varphi ,\xi ,\eta ,g) on \overline{M} is called a nearly transSasakian structure if
for any X,Y\in \mathrm{\Gamma}(T\overline{M}). Moreover, nearly transSasakian of type (\alpha ,\beta ) is nearlySasakian, or nearly Kenmotsu, or nearly cosymplectic accordingly as β = 0 or α = 0 or \alpha =\beta =0.
Kim et al. [10] initiated the study of semiinvariant submanifolds of nearly transSasakian manifolds and obtained many results on the extrinsic geometric aspects of these submanifolds, whereas the slant submanifolds were studied in the setting of nearly transSasakian manifolds by AlSolamy and Khan [11]. Recently, we have initiated the study of CRwarped product in nearly transSasakian manifolds [12]. In the present paper, we consider a warped product of proper slant and invariant submanifolds of nearly transSasakian manifolds, called warped product semislant 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 nonexistence 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
Let M be an ndimensional Riemannian manifold isometrically immersed in a Riemannian manifold \overline{M}. Then the Gauss and Weingarten formulas are respectively given by
and
for all X,Y\in \mathrm{\Gamma}(TM), where ∇ is the induced Riemannian connection on 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
where 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 antiinvariant.
For the orthonormal basis \{{e}_{1},\dots ,{e}_{n}\} of the tangent space {T}_{x}M, the 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.
Let (M,g) be a submanifold of a Riemannian manifold \overline{M} equipped with a Riemannian metric 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.
The scalar curvature \tau (x) of M is defined by
where K({e}_{i}\wedge {e}_{j}) is the sectional curvature of the plane section spanned by {e}_{i} and {e}_{j} at x\in M. Let {\mathrm{\Pi}}_{k} be a kplane 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 2plane section, \tau ({\mathrm{\Pi}}_{2}) is simply the sectional curvature K({\mathrm{\Pi}}_{2}) of {\mathrm{\Pi}}_{2}, [4, 16, 17].
Now, let us put
where i,j\in \{1,\dots ,n\} and r\in \{n+1,\dots ,2m+1\}. Then, in view of the equation of Gauss, we have
where K({e}_{i}\wedge {e}_{j}) and \overline{K}({e}_{i}\wedge {e}_{j}) denote the sectional curvature of the plane section spanned by {e}_{i} and {e}_{j} at 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 nplane 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, CRsubmanifolds and semislant submanifolds. We shall always consider ξ to be tangent to the submanifold M. For a slant submanifold M, there is a nonzero 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 antiinvariant submanifold. A slant submanifold is said to be proper slant if it is neither invariant nor antiinvariant.
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.
The following relations are straightforward consequences of equation (2.10)
for all X,Y\in \mathrm{\Gamma}(TM).
The idea of semislant submanifolds of almost Hermitian manifolds was given by Papaghuic [19]. In fact, semislant submanifolds were defined on the line of CRsubmanifolds. These submanifolds are defined and investigated by Cabrerizo et al. for almost contact manifolds [20]. They defined these submanifolds as follows.
A submanifold M of an almost contact manifold \overline{M} is said to be a semislant 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}.
In the above definition, if \theta =\pi /2 then M is contact CRsubmanifold of \overline{M}. If ν is the invariant subspace of the normal bundle {T}^{\perp}M, then in case of semislant submanifolds, the normal bundle {T}^{\perp}M can be decomposed as follows:
For the differential function ψ 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 transSasakian 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 LeviCivita connections on M and {N}_{2}, respectively, and gradf 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 nonexistence of warped products of the form M={N}_{1}{\times}_{f}{N}_{2} in a nearly transSasakian manifold such that ξ is tangent to {N}_{2}.
Theorem 3.1 Let \overline{M} be a nearly transSasakian 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 nonexistence result about the warped product semislant submanifolds in a nearly transSasakian manifold, i.e., there do not exist warped product semislant submanifolds {N}_{\theta}{\times}_{f}{N}_{T} and {N}_{T}{\times}_{f}{N}_{\theta} of a nearly transSasakian 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 semislant submanifolds of type M={N}_{\theta}{\times}_{f}{N}_{T} of a nearly transSasakian 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
Taking the inner product with X in (3.2), we get
By orthogonality of the vector fields X and ϕX and by Lemma 3.1(ii), the lefthand 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 semislant submanifolds of type {N}_{\theta}{\times}_{f}{N}_{T} in a nearly transSasakian 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 transSasakian manifold \overline{M}.
Lemma 3.2 Let M={N}_{T}{\times}_{f}{N}_{\theta} be a warped product semislant submanifold of a nearly transSasakian 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 CRwarped 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
Taking the inner product with Z, we obtain
Also, we have
Taking the inner product with Z and using Lemma 3.1(ii), we obtain
Similarly, we can obtain
Then from (3.4), (3.5) and (3.6) we obtain part (iv) of the lemma. Now, from the structure equation (1.3) and Lemma 3.1(ii), we have
for any X\in \mathrm{\Gamma}(T{N}_{T}) and Z\in \mathrm{\Gamma}(T{N}_{\theta}) such that ξ is tangent to {N}_{T}. Again, by Lemma 3.1(ii) and the GaussWeingarten formulas, we obtain
and
Thus from (3.7), (3.8) and (3.9) we derive
Interchanging Z by PZ in (3.10), we obtain
Then, by (3.10) and (3.11), we get
which is the first equality of the fifth part of the lemma. The second equality of (v) follows from (3.10) and (3.12). For the last part of the lemma, for any X\in \mathrm{\Gamma}(T{N}_{T}), we have {\overline{\mathrm{\nabla}}}_{X}\varphi X\varphi {\overline{\mathrm{\nabla}}}_{X}X=\alpha {\parallel X\parallel}^{2}\xi \eta (X)X\beta \eta (X)\varphi X. By means of (2.1), this relation reduces to
Taking the inner product in the above equation with ϕζ, for any vector \zeta \in \mathrm{\Gamma}(\nu ), we deduce that
Interchanging 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
Now, by means of (1.3), we derive
Taking the inner product with ϕζ in (3.15), we obtain
Interchanging ζ 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:
and
From (3.16) and (3.17) we deduce that
In view of (3.17) and (3.18), we get g(h(X,\xi ),\varphi \zeta )=0. Again, interchanging X by ϕX in this relation yields
Then, by (3.14) and (3.19), we reach
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 semislant submanifolds. For this reason, our inequality generalizes the inequalities obtained for CRwarped products in the almost contact setting. Another reason is that a nearly transSasakian 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 semislant 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 2l. We use this frame in the following theorem.
Theorem 4.1 Let M={N}_{T}{\times}_{f}{N}_{\theta} be a warped product semislant submanifold of a nearly transSasakian 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 2q, 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:
Using the orthonormal frame of D and {D}_{\theta} gives
By Lemma 3.2(ii), the first term of the righthand side in (4.2) is identically zero, so let us compute the next term
Making use of Lemma 3.2(iii), the second term of the righthand side in (4.3) can be evaluated, while by means of the orthonormal frame the first term is expanded to give four terms; as a result (4.3) takes the following form:
Using Lemma 3.2(iii)(v), we derive
In view of the assumed orthonormal frame, the 1form \eta ({e}_{i}) is identically zero for all i\in \{1,\dots ,2s\}, hence we reach
Then from (2.14) and Lemma 3.2(i) the above inequality takes the form
which is the inequality (i). Now, assume that the equality sign in (4.1) holds identically, then from (4.2), (4.3) and Lemma 3.2(ii) we deduce that
Hence, combining statement of Corollary 3.1(i) with the first condition in (4.7) shows that {N}_{T} is totally geodesic in \overline{M}. On the other hand, if we denote by {h}^{\theta} the second fundamental form of {N}_{\theta} in M, then we get
which is equivalent to
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
Let \phi :M={N}_{1}{\times}_{f}{N}_{2}\u27f6\overline{M} be an isometric immersion of the warped product {N}_{1}{\times}_{f}{N}_{2} into the Riemannian manifold \overline{M} of constant sectional curvature 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
If we choose the local orthonormal frame {e}_{1},\dots ,{e}_{n} such that {e}_{1},\dots ,{e}_{{n}_{1}} are tangent to {N}_{1} and {e}_{{n}_{1}+1},\dots ,{e}_{n} are tangent to {N}_{2}, then 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 φ.
We know that
Taking in consideration that (n={n}_{1}+{n}_{2}), where {n}_{1} and {n}_{2} are the dimensions of {N}_{T} and {N}_{\theta}, respectively, we obtain
Moreover, for every r\in \{n+1,\dots ,2m+1\}, using the frame of D and the fact that h(\xi ,\xi )=0, then {n}_{1} coefficients of the righthand 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:
Then from (5.4) and (5.5) we can deduce that
for every normal vector {e}_{r} belongs to the normal bundle {T}^{\perp}M. In other words,
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 semislant submanifold into a nearly transSasakian 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 semislant submanifold into a nearly transSasakian 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
Making use of (2.6) in the above equation, we deduce
Then from Lemma 3.2 and relation (2.8) it follows
The above equation is equivalent to the following form:
The above equation takes the following form when we add and subtract the same term on the righthand side:
Similarly, we can add and subtract the same term for the sixth term in the above equation; and finally, we derive
Taking account of Lemma 5.1, we get the inequality (i). For the equality case, from the last relation we get
and
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). □
References
Nolker S: Isometric immersions of warped products. Differ. Geom. Appl. 1996, 6: 130. 10.1016/09262245(96)000046
O’Neill B Pure and Applied Mathematics 103. In SemiRiemannian Geometry with Applications to Relativity. Academic Press, New York; 1983.
Bishop RL, O’Neill B: Manifolds of negative curvature. Trans. Am. Math. Soc. 1969, 145: 149.
Chen BY: Geometry of warped products as Riemannian submanifolds and related problems. Soochow J. Math. 2002, 28: 125156.
Uddin S, Khan VA, Khan KA: Warped product submanifolds of a Kenmotsu manifold. Turk. J. Math. 2012, 36: 319330.
Blair DE Lecture Notes in Math. 509. In Contact Manifolds in Riemannian Geometry. Springer, Berlin; 1976.
Blair DE, Showers DK: Almost contact manifolds with killing structures tensors. II. J. Differ. Geom. 1974, 9: 577582.
Chinea D, Gonzalez C: A classification of almost contact metric manifolds. Ann. Mat. Pura Appl. 1990, 156: 1536. 10.1007/BF01766972
Gherghe C: Harmonicity of nearly transSasakian manifolds. Demonstr. Math. 2000, 33: 151157.
Kim JS, Ximin L, Tripathi MM: On semiinvariant submanifolds of nearly transSasakian manifold. Int. J. Pure Appl. Math. Sci. 2004, 1: 1534.
AlSolamy FR, Khan VA: A note on slant submanifolds of nearly transSasakian manifolds. Math. Slovaca 2010, 60: 129136. 10.2478/s121750090172x
Mustafa A, Uddin S, Khan VA, Wong BR: Contact CRwarped product submanifolds of nearly transSasakian manifolds. Taiwan. J. Math. 2013, 17: 14731486.
Kadri A, Ridvan E, Mihai I, Murathan C: Contact CRwarped product submanifolds in Kenmotsu space forms. J. Korean Math. Soc. 2005, 42: 11011110.
Munteanu MI: Warped product contact CRsubmanifolds of Sasakian space forms. Publ. Math. (Debr.) 2005, 66: 75120.
Uddin S, Khan KA: An inequality for contact CRwarped product submanifolds of nearly cosymplectic manifolds. J. Inequal. Appl. 2012. Article ID 304, 2012: Article ID 304
Chen BY: On isometric minimal immersions from warped products into real space forms. Proc. Edinb. Math. Soc. 2002, 45: 579587.
Chen BY: On warped product immersions. J. Geom. 2005, 82: 3649. 10.1007/s0002200516304
Cabrerizo JL, Carriazo A, Fernandez LM, Fernandez M: Slant submanifolds in Sasakian manifolds. Glasg. Math. J. 2000, 42: 125138.
Papaghuic N: Semislant submanifolds of a Kaehlerian manifold. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 1994, 40: 5561.
Carriazo A: New Developments in Slant Submanifolds Theory. Narosa Publishing House, New Delhi; 2002.
Cabrerizo JL, Carriazo A, Fernandez LM, Fernandez M: Semislant submanifolds of a Sasakian manifold. Geom. Dedic. 1999, 78: 183199. 10.1023/A:1005241320631
Blair DE: Almost contact manifolds with killing structure tensors. I. Pac. J. Math. 1971, 39: 285292. 10.2140/pjm.1971.39.285
Chen BY: Geometry of warped product CRsubmanifolds in Kaehler manifolds II. Monatshefte Math. 2001, 134: 103119. 10.1007/s006050170002
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 RG27814AFR, University of Malaya.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Mustafa, A., Uddin, S. & Wong, B.R. Generalized inequalities on warped product submanifolds in nearly transSasakian manifolds. J Inequal Appl 2014, 346 (2014). https://doi.org/10.1186/1029242X2014346
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014346
Keywords
 warped products
 almost contact manifold
 nearly transSasakian manifold
 semislant submanifold
 scalar curvature
 isometric immersion
 minimal immersion
 {N}_{T}minimal immersion