- Research
- Open access
- Published:
Generalized inequalities on warped product submanifolds in nearly trans-Sasakian manifolds
Journal of Inequalities and Applications volume 2014, Article number: 346 (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 is shown, whereas some characterization and new geometric obstructions are obtained for the warped products of type . 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.
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 and be two Riemannian manifolds with Riemannian metrics and , respectively, and let be a differentiable function on . Consider the product manifold with its projections and . Then their warped product manifold is the Riemannian manifold 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 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 -dimensional manifold is said to have an almost contact structure if there exist on a tensor field ϕ of type , a vector field ξ, a 1-form η and a Riemannian metric g satisfying [6]
where X and Y are vector fields on [7]. We shall use the symbol to denote the Lie algebra of vector fields on the manifold .
In the classification of almost contact structures, Chinea and Gonzalez [8] divided these structures into twelve well-known classes; one of the class that appears in this classification is denoted by . According to their classification, an almost contact metric manifold is a nearly trans-Sasakian manifold if it belongs to this class. Another line of thought was developed by Gherghe [9] who introduced nearly trans-Sasakian structure of type , which generalizes trans-Sasakian structure in the same sense as nearly Sasakian generalizes Sasakian one. In this sense an almost contact metric structure on is called a nearly trans-Sasakian structure if
for any . Moreover, nearly trans-Sasakian of type is nearly-Sasakian, or nearly Kenmotsu, or nearly cosymplectic accordingly as β = 0 or α = 0 or .
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
Let M be an n-dimensional Riemannian manifold isometrically immersed in a Riemannian manifold . Then the Gauss and Weingarten formulas are respectively given by
and
for all , where ∇ is the induced Riemannian connection on M, N is a vector field normal to , h is the second fundamental form of M, is the normal connection in the normal bundle and is the shape operator of the second fundamental form. They are related as
where g denotes the Riemannian metric on as well as the metric induced on M. For any , 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 , if F is identically zero then M is invariant, and if P is identically zero then M is anti-invariant.
For the orthonormal basis of the tangent space , the mean curvature vector is given by
where . The submanifold M is totally geodesic in if , and minimal if . If for all , then M is totally umbilical.
Let be a submanifold of a Riemannian manifold equipped with a Riemannian metric g. The equation of Gauss is given by
for all , where and R are the curvature tensors of and M, respectively, and h is the second fundamental form.
Definition 2.1 [16]
An immersion is called -totally geodesic if the partial second fundamental form vanishes identically. It is called -minimal if the partial mean curvature vector vanishes for .
The scalar curvature of M is defined by
where is the sectional curvature of the plane section spanned by and at . Let be a k-plane section of , and let be any orthonormal basis of . The scalar curvature of is given by [16]
The scalar curvature of of M at x is identical with the scalar curvature of the tangent space of M at x, that is, . Geometrically, is the scalar curvature of the image of at x under the exponential map at x. If is a 2-plane section, is simply the sectional curvature of , [4, 16, 17].
Now, let us put
where and . Then, in view of the equation of Gauss, we have
where and denote the sectional curvature of the plane section spanned by and at x in the submanifold M and in the ambient manifold , respectively. Taking the summation over the orthonormal frame of the tangent space of M in the above equation, we obtain
where denotes the scalar curvature of the n-plane section for each in the ambient manifold .
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 . We denote by the angle between ϕX and called the Wirtinger angle. If the Wirtinger angle is constant for all and , then M is said to be a slant submanifold and the angle is called the slant angle of M [18]. Obviously, if , M is invariant and if , 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 such that . Then M is slant if and only if there exists a constant such that
Furthermore, if θ is a slant angle, then .
The following relations are straightforward consequences of equation (2.10)
for all .
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.
A submanifold M of an almost contact manifold is said to be a semi-slant submanifold if there exist two orthogonal distributions D and such that:
-
(i)
.
-
(ii)
D is invariant, i.e., .
-
(iii)
is a slant distribution with slant angle .
In the above definition, if then M is contact CR-submanifold of . If ν is the invariant subspace of the normal bundle , then in case of semi-slant submanifolds, the normal bundle 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 trans-Sasakian manifolds. We recall the following results on warped products for later use.
Lemma 3.1 Let be a warped product manifold with the warping function f. Then
-
(i)
,
-
(ii)
,
-
(iii)
for any and , where ∇ and denote the Levi-Civita connections on M and , respectively, and gradf is the gradient of f.
Corollary 3.1 On a warped product manifold , we have:
-
(i)
is totally geodesic in M,
-
(ii)
is totally umbilical in M.
In the following, we prove the non-existence of warped products of the form in a nearly trans-Sasakian manifold such that ξ is tangent to .
Theorem 3.1 Let be a nearly trans-Sasakian manifold which is not nearly Sasakian, and let be a warped product submanifold of such that ξ is tangent to , then M is simply a Riemannian product of and , where and are any Riemannian submanifolds of .
Proof For any , we have . Since for a contact metric manifold , [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 , we get . 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 and 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 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 of a nearly trans-Sasakian manifold such that ξ is tangent to , unless is nearly β-Kenmotsu.
Proof Consider an arbitrary vector X tangent to , then making use of (1.3) it follows . Since , for any , 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 left-hand side of (3.3) vanishes identically, hence we reach , this means that the first factor of the warped product vanishes, which proves the theorem. □
From the above discussion, we conclude that there do not exist warped product semi-slant submanifolds of type in a nearly trans-Sasakian manifold in both the cases either ξ is tangent to the first factor or to the second. Also, the warped product is just a Riemannian product when the characteristic vector field ξ is tangent to . Now, we discuss the warped product submanifolds such that ξ is tangent to .
First, we prove a key lemma characterizing geometric properties of the warped product submanifolds of a nearly trans-Sasakian manifold .
Lemma 3.2 Let be a warped product semi-slant submanifold of a nearly trans-Sasakian manifold such that ξ is tangent to . Then the following relations hold:
-
(i)
,
-
(ii)
,
-
(iii)
,
-
(iv)
,
-
(v)
,
-
(vi)
for any and for any and .
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 , then for any and , 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 and such that ξ is tangent to . Again, by Lemma 3.1(ii) and the Gauss-Weingarten 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 , we have . By means of (2.1), this relation reduces to
Taking the inner product in the above equation with ϕζ, for any vector , 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 , 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 , 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 . 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
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 for the warped product semi-slant submanifold such that ξ is tangent to . We shall denote by D and the tangent spaces of and , respectively, instead of and . –We set { = = = = = = = = = = = = = } as a basis frame of , then { = = = = = = = = = } are the basis of TM such that are tangent to D and are tangent to , hence are the basis of the normal bundle such that are tangent to and are tangent to the invariant normal subbundle ν with dimension 2l. We use this frame in the following theorem.
Theorem 4.1 Let be a warped product semi-slant submanifold of a nearly trans-Sasakian manifold such that ξ is tangent to , where and are invariant and proper slant submanifolds of with real dimensions and 2q, respectively. Then
-
(i)
The second fundamental form h of M satisfies the following inequality:
(4.1) -
(ii)
If the equality sign in (i) holds identically, then and are totally geodesic and totally umbilical submanifolds in , 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 gives
By Lemma 3.2(ii), the first term of the right-hand 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 right-hand 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 1-form is identically zero for all , 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 is totally geodesic in . On the other hand, if we denote by the second fundamental form of in M, then we get
which is equivalent to
This means that is totally umbilical in M, thus the second condition of (4.7) with (4.8) and Corollary 3.1(ii) imply that is totally umbilical in . Also, all three conditions of (4.7) give the minimality of M. □
Note In inequality (5.1), if and , then it reduces to
which is the inequality for nearly Kenmotsu manifolds. Also, if and , 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 be an isometric immersion of the warped product into the Riemannian manifold of constant sectional curvature c. Denote by , , n the dimensions of , respectively. Then for unit vector fields X, Z tangent to , , respectively, we have
If we choose the local orthonormal frame such that are tangent to and are tangent to , then we have
for each .
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 under φ. Geometrically, this formula declares the -minimality of φ.
We know that
Taking in consideration that (), where and are the dimensions of and , respectively, we obtain
Moreover, for every , using the frame of D and the fact that , then coefficients of the right-hand side can be decomposed as follows:
From (2.7) we know that belongs to the normal bundle for every . Then in view of (2.13) we have two cases: either it belongs to or to ν.
Case (i). If , then from Lemma 3.2(ii) we know that for any and ; consequently (5.3) reduces to
Case (ii). If , 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 belongs to the normal bundle . In other words,
By the end of this discussion, we can state the following lemma.
Lemma 5.1 Let be an isometric immersion from a warped product semi-slant submanifold into a nearly trans-Sasakian manifold . Then we have
i.e., φ is an -minimal immersion, where is the mean curvature vector and , , n and () are the dimensions of , , M and , 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 be an isometric immersion from a warped product semi-slant submanifold into a nearly trans-Sasakian manifold such that ξ is tangent to . Then we have
-
(i)
, where is the dimension of .
-
(ii)
If the equality sign in (i) holds identically, then and are totally geodesic and totally umbilical submanifolds in , 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 right-hand 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 is totally geodesic. Also, from Corollary 3.1 we know that the immersion is totally geodesic and the immersion is totally umbilical, hence the result (ii). □
References
Nolker S: Isometric immersions of warped products. Differ. Geom. Appl. 1996, 6: 1-30. 10.1016/0926-2245(96)00004-6
O’Neill B Pure and Applied Mathematics 103. In Semi-Riemannian 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: 1-49.
Chen BY: Geometry of warped products as Riemannian submanifolds and related problems. Soochow J. Math. 2002, 28: 125-156.
Uddin S, Khan VA, Khan KA: Warped product submanifolds of a Kenmotsu manifold. Turk. J. Math. 2012, 36: 319-330.
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: 577-582.
Chinea D, Gonzalez C: A classification of almost contact metric manifolds. Ann. Mat. Pura Appl. 1990, 156: 15-36. 10.1007/BF01766972
Gherghe C: Harmonicity of nearly trans-Sasakian manifolds. Demonstr. Math. 2000, 33: 151-157.
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.
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-x
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.
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.
Munteanu MI: Warped product contact CR-submanifolds of Sasakian space forms. Publ. Math. (Debr.) 2005, 66: 75-120.
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 304
Chen BY: On isometric minimal immersions from warped products into real space forms. Proc. Edinb. Math. Soc. 2002, 45: 579-587.
Chen BY: On warped product immersions. J. Geom. 2005, 82: 36-49. 10.1007/s00022-005-1630-4
Cabrerizo JL, Carriazo A, Fernandez LM, Fernandez M: Slant submanifolds in Sasakian manifolds. Glasg. Math. J. 2000, 42: 125-138.
Papaghuic N: Semi-slant submanifolds of a Kaehlerian manifold. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 1994, 40: 55-61.
Carriazo A: New Developments in Slant Submanifolds Theory. Narosa Publishing House, New Delhi; 2002.
Cabrerizo JL, Carriazo A, Fernandez LM, Fernandez M: Semi-slant submanifolds of a Sasakian manifold. Geom. Dedic. 1999, 78: 183-199. 10.1023/A:1005241320631
Blair DE: Almost contact manifolds with killing structure tensors. I. Pac. J. Math. 1971, 39: 285-292. 10.2140/pjm.1971.39.285
Chen BY: Geometry of warped product CR-submanifolds in Kaehler manifolds II. Monatshefte Math. 2001, 134: 103-119. 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 RG278-14AFR, University of Malaya.
Author information
Authors and 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 trans-Sasakian manifolds. J Inequal Appl 2014, 346 (2014). https://doi.org/10.1186/1029-242X-2014-346
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-346