Abstract
We obtain height estimates and half-space theorems concerning a wide class of hypersurfaces immersed into a product space , the so-called generalized linear Weingarten hypersurfaces, which extends that one having some constant higher order mean curvature.
Key words
Product spaces; generalized linear Weingarten hypersurfaces; height estimates; half-space theorems
1 - INTRODUCTION
The last decades have seen a steadily growing interest in the study of a priori estimates for the height function of constant mean curvature compact graphs or, more generally, compact hypersurfaces with boundary having some constant higher order mean curvature. This problem has gained special attention, being considered by several authors probably motivated by the fact that these estimates turn out to be a very useful tool in order to investigate existence and uniqueness results for complete hypersurfaces with constant higher order mean curvature, as well as to obtain information on the topology at infinity of such hypersurfaces (see, for instance, Aledo et al. 2008ALEDO JA, ESPINAR JM & GÁLVEZ JA. 2008. Height estimates for surfaces with positive constant mean curvature in 𝕄2×ℝ. Illinois J Math 52(1): 203–211. , 2010ALEDO JA, ESPINAR JM & GÁLVEZ JA. 2010. The Codazzi equation for surfaces. Adv Math 224(6): 2511-2530., Alías & Dajczer 2007ALÍAS LJ & DAJCZER M. 2007. Constant mean curvature hypersurfaces in warped product spaces. Proc Edinb Math Soc 50: 511–526. , Cheng & Rosenberg 2005, Espinar et al. 2009ESPINAR JM, GÁLVEZ JA & ROSENBERG H. 2009. Complete surfaces with positive extrinsic curvature in product spaces. Comment Math Helv 84(2): 351–386. , Heinz 1969HEINZ E. 1969. On the nonexistence of a surface of constant mean curvature with finite area and prescribed rectifiable boundary. Arch Rational Mech Anal 35: 249–252. , Hoffman et al. 2006HOFFMAN D, LIRA J & ROSENBERG H. 2006. Constant mean curvature surfaces in M2×ℝ. Trans Amer Math Soc 358: 491–507. , Korevaar et al. 1992KOREVAAR N, KUSNER R, MEEKS W & SOLOMON B. 1992. Constant Mean Curvature Surfaces in Hyperbolic Space. Amer J Math 114: 1–43. , 1989KOREVAAR N, KUSNER R & SOLOMON B. 1989. The Structure of Complete Embedded Surfaces with Constant Mean Curvature. J Differ Geom 30: 465–503. , Rosenberg 1993ROSENBERG H. 1993. Hypersurfaces of constant curvature in space forms. Bull Sci Math 117: 211–239. ).
A height estimate of compact graphs with positive constant mean curvature in the Euclidean space and boundary in a hyperplane, were first obtained by Heinz 1969HEINZ E. 1969. On the nonexistence of a surface of constant mean curvature with finite area and prescribed rectifiable boundary. Arch Rational Mech Anal 35: 249–252. . More specifically, denoting by the mean curvature, Heinz proved that the height of such a graph can rise at most . More than twenty years after that, Korevaar et al. 1992KOREVAAR N, KUSNER R, MEEKS W & SOLOMON B. 1992. Constant Mean Curvature Surfaces in Hyperbolic Space. Amer J Math 114: 1–43. obtained a sharp bound for compact graphs and for compact embedded hypersurfaces in the hyperbolic space with nonzero constant mean curvature and boundary in a horosphere. More generally, given an arbitrary Riemannian manifold , height estimates in the product space for constant mean curvature compact embedded hypersurfaces with boundary in a slice were exhibited by Hoffman et al. 2006HOFFMAN D, LIRA J & ROSENBERG H. 2006. Constant mean curvature surfaces in M2×ℝ. Trans Amer Math Soc 358: 491–507. and Aledo et al. 2008, for , and by Alías & Dajczer 2007ALÍAS LJ & DAJCZER M. 2007. Constant mean curvature hypersurfaces in warped product spaces. Proc Edinb Math Soc 50: 511–526. , for an arbitrary dimension .
Regarding hypersurfaces having some constant higher order mean curvature, this was done firstly by Rosenberg 1993ROSENBERG H. 1993. Hypersurfaces of constant curvature in space forms. Bull Sci Math 117: 211–239. , who proved height estimates for compact embedded hypersurfaces with zero boundary values either in the Euclidean space or in the hyperbolic space, generalizing the previous estimates of Heinz and Korevaar. Later on, Cheng & Rosenberg 2005CHENG X & ROSENBERG H. 2005. Embedded positive constant r-mean curvature hypersurfaces in Mm×ℝ. An Acad Bras Cienc 77: 183–199. were able to generalize these estimates for compact graphs with some constant higher order mean curvature in the product manifold , with boundary in a slice. As application of their height estimates, they used the Alexandrov’s reflection technique to prove that a noncompact properly embedded hypersurface having constant higher order mean curvature in , where is a compact manifold with sectional curvature bounded from below, has at least two ends or, equivalently, it cannot lie in a half-space. The same technique was used by Hoffman et al. 2006HOFFMAN D, LIRA J & ROSENBERG H. 2006. Constant mean curvature surfaces in M2×ℝ. Trans Amer Math Soc 358: 491–507. in order to obtain some information on the topology at infinity of properly embedded surfaces of constant mean curvature in . More recently, Rosenberg et al. 2013ROSENBERG H, SCHULZE F & SPRUCK J. 2013. The Half-Space Property and Entire Positive Minimal Graphs in M×ℝ. J Diff Geom 95: 321–336. showed that an entire minimal graph with nonnegative height function in a product space , whose base is a complete Riemannian manifold having non-negative Ricci curvature and with sectional curvature bounded from below, must be a slice.
Proceeding with the picture described above, in this paper our aim is to obtain height estimates and half-space theorems of a wide class of hypersurfaces immersed into a product space , which extends that one having some constant higher order mean curvature. Precisely, we consider in generalized linear Weingarten hypersurfaces, by meaning that there exists a linear relation involving some of the corresponding higher order mean curvatures (for more details, see Section 3). We point out that our results offer improvements of those ones obtained in Alías & Dajczer 2007ALÍAS LJ & DAJCZER M. 2007. Constant mean curvature hypersurfaces in warped product spaces. Proc Edinb Math Soc 50: 511–526. , Alías et al. 2016ALÍAS LJ, MASTROLIA P & RIGOLI M. 2016. Maximum Principles and Geometric Applications. Springer: Monographs in Mathematics, 595 p., Cheng & Rosenberg 2005CHENG X & ROSENBERG H. 2005. Embedded positive constant r-mean curvature hypersurfaces in Mm×ℝ. An Acad Bras Cienc 77: 183–199. and Hoffman et al. 2006HOFFMAN D, LIRA J & ROSENBERG H. 2006. Constant mean curvature surfaces in M2×ℝ. Trans Amer Math Soc 358: 491–507. . Furthermore, we are able to prove half-space theorems for complete noncompact generalized linear Weingarten hypersurfaces in , generalizing some results of Cheng & Rosenberg 2005CHENG X & ROSENBERG H. 2005. Embedded positive constant r-mean curvature hypersurfaces in Mm×ℝ. An Acad Bras Cienc 77: 183–199. and Hoffman et al. 2006. Recently, the authors proved similar results for the case of hypersurfaces immersed into warped product manifolds (see de Lima & de Lima 2018DE LIMA EL & DE LIMA HF. 2018. Height estimates and topology at infinity of hypersurfaces immersed in a certain class of warped products. Aequat Math 92: 737–761. ). However, as we will see, the results presented there do not contemplate those obtained here.
This manuscript is organized in the following way: In Section 2 we introduce some basic facts and notations that will appear in the proofs of our results. In particular, we recall some geometric conditions which guarantee the ellipticity of the linearized operator of the higher order mean curvature (see Lemmas 2 and 3). In Section 3, we establish our first main results concerning height estimates of compact generalized linear Weingarten hypersurfaces in (see Theorems 1 and 2). In Section 4, as application of our height estimates, we prove half-space theorems related to noncompact generalized linear Weingarten hypersurface immersed in , supposing that the fiber is compact (see Theorems 3 and 4). Finally, when is not necessarily compact, using a generalized version of the Omori-Yau maximum principle for trace type differential operators, we prove other half-space theorem, which is of independent interest by itself (see Theorem 5).
2 - PRELIMINARIES
In this section we will introduce some basic facts and notations that will appear along the paper. In this sense, along this work we will always consider a (connected) -dimensional Riemannian manifold and an open interval in . Let us denote by the product manifold endowed with the Riemannian metric
where and denote the canonical projections from onto each factor, is the Riemannian metric on the fiber and is endowed with the metric . Observe that is a unitary vector field globally defined on , which determines on a codimension one foliation by totally geodesic slices .Throughout this paper, we will study (connected) two-sided hypersurfaces immersed into the product Riemannian manifold , which means that there exists a unitary normal vector field globally defined on . As usual, we also denote by the metric of induced via . In this setting, we consider two particular functions naturally attached to the two-sided hypersurface , namely, the (vertical) height function and the angle function .
Let us denote by the shape operator (or Weingarten endomorphism) of in with respect to , which is given by , where stands for the Levi-Civita connection of . A fact well known is that the curvature tensor of the hypersurface can be described in terms the shape operator and of the curvature tensor of the ambient space by the Gauss equation given by
for every tangent vector fields , where denotes the tangential component of a vector field in along .Associated with the shape operator there are algebraic invariants, which are the elementary symmetric functions of its principal curvatures , given by
As it is well known, the -mean curvature of the hypersurface is defined by In particular, when , is just the mean curvature of . When , defines a geometric quantity which is related to the (intrinsic) scalar curvature of the hypersurface. For instance, when the ambient space has constant sectional curvature , it follows from the Gauss equation that . In general, it also follows from Gauss equation of the hypersurface that when is odd is extrinsic (and its sign depends on the chosen orientation), while when is even is an intrinsic geometric quantity.It is a classical fact that the higher order mean curvatures satisfy a very useful set of inequalities, usually alluded as Newton’s inequalities. For future reference, we collect them here. A proof can be found in Hardy et al. 1989HARDY G, LITTLEWOOD JE & PÓLYA G. 1989. Inequalities. 2nd ed. Cambridge Mathematical Library. 338 p. .
Lemma 1. Let be a two-sided hypersurface immersed into a product space . For each , if are nonnegative on , then:
-
(a) ;
-
(b) ,
and equality holds only at umbilical points.
For each , one defines the -th Newton transformation of the hypersurface by setting (the identity operator) and, for , via the recurrence relation
Equivalently, so that the Cayley-Hamilton theorem gives . Observe also that when is even, the definition of does not depend on the chosen unitary normal vector field , but when is odd there is a change of sign in the definition of . Moreover, it is easy to see that each is a self-adjoint operator which commutes with shape operator , that is, if a local orthonormal frame on diagonalizes , then it also diagonalizes each . More specifically, if is such a local orthonormal frame with , then where It follows from here that for each , we haveLet stand for the Levi-Civita connection of the two-sided hypersurface . Associated to each Newton transformation , one has the second order linear differential operator for , defined by
where denotes the self-adjoint linear operator metrically equivalent to the Hessian of , , which are given by respectively, for all . In particular, , the Laplacian of , which is always an elliptic operator in divergence form. More generally, it is well known that the operator is elliptic if and only if is positive definite.For our applications, it will be useful to have some geometric conditions which guarantee the ellipticity of when . For , the next lemma assures the ellipticity of (see Lemma 3.10 of Elbert 2002ELBERT MF. 2002. Constant positive 2-mean curvature hypersurfaces. Illinois J Math 46: 247–267. ).
Lemma 2. Let be a two-sided hypersurface immersed into a product space . If on , then is elliptic or, equivalently, is positive definite (for an appropriate choice of the orientation ).
When , the following lemma give us sufficient conditions to guarantee the ellipticity of . The proof is given in Proposition 3.2 of Cheng & Rosenberg 2005CHENG X & ROSENBERG H. 2005. Embedded positive constant r-mean curvature hypersurfaces in Mm×ℝ. An Acad Bras Cienc 77: 183–199. (see also Proposition 3.2 of Barbosa & Colares 1997BARBOSA JLM & COLARES AG. 1997. Stability of hypersurfaces with constant r-mean curvature. Ann Global Anal Geom 15: 277–297. ).
Lemma 3. Let be a two-sided hypersurface (with or without boundary) immersed into a product space with on , for some . If there exists an interior point of such that all the principal curvatures at are nonnegative, then for all the operator is elliptic and the -mean curvature is positive.
Next, we close this section with the following formulas, which will be essential for the proofs of our main results (for more details see Proposition 6 and Lemma 27 of Alías et al. 2013ALÍAS LJ, IMPERA D & RIGOLI M. 2013. Hypersurfaces of constant higher order mean curvature in warped products. Trans Am Math Soc 365(2): 591-621. ).
Proposition 1. Let be a two-sided hypersurface immersed into a product space . For every :
-
(a) The height function satisfies
where. -
(b) The angle function satisfies
whereis an orthonormal frame ondiagonalizing, denotes the sectional curvature of the fiber, stands for the eigenvalues ofand, for every vector field, is the orthogonal projection on.
3 - HEIGHT ESTIMATES OF GENERALIZED LINEAR WEINGARTEN HYPERSURFARCES
This section is devoted to establish our results concerning to estimates of the height function of a wide class of two-sided hypersurfaces immersed into a product Riemannian manifold , which extends that one having some constant higher order mean curvature. Specifically, let us consider a two-sided hypersurface immersed into a product space . We say that is -linear Weingarten, for some , if there exist nonnegative real numbers (at least one of them nonzero) such that the following linear relation holds on :
Thus, naturally attached to a -linear Weingarten two-sided hypersurface we have the constant given by (3.1). We note that the -linear Weingarten two-sided hypersurfaces are exactly the two-sided hypersurfaces having constant. On the other hand, if the ambient space has zero sectional curvature and taking into account that in this case , where stands for the normalized scalar curvature of , we observe that the -linear Weingarten two-sided hypersurfaces are called simply linear Weingarten two-sided hypersurfaces. Throughout this paper, we will always denote by the constant given by equation (3.1).
Now, we are in position to state and prove our first main result. More precisely, we will establish an estimate for the height function concerning -linear Weingarten two-sided hypersurface in a product space .
Theorem 1. Let be a product space whose the fiber has nonnegative sectional curvature . Let be a compact -linear Weingarten two-sided hypersurface with -mean curvature on , for some , and boundary contained into the slice for some . Suppose that the angle function does not change sign on . Then,
-
(a) Either and
-
(b) or and
Proof. First of all it is clear from our hypothesis on the -mean curvature that either or . So, we begin by assuming that and let us choose an interior point of such that the height function reaches its maximum and the orientation so that . Then, Proposition 1 yields
that is, at all the principal curvatures are nonnegative. Since we are assume that on , we must have on . In particular, we can apply Lemma 3 (or Lemma 2 if ) to guarantee the ellipticity of the operator for every and is positive on for every . So, for instance, we have and, consequently, by the weak maximum principle we obtain that on .Now let us consider on the smooth function , where is a positive constant to be chosen in an appropriate way. Then Proposition 1 gives
where is an orthonormal frame on diagonalizing with , for every and , and denotes the orthogonal projection on .Since is positive for every , from Lemma 1 we get
By using once more Lemma 1 it follows from here that Then, the previous inequality implies that provided that .On the other hand, since the operator is elliptic for every or, equivalently, is positive definite, we get that its eigenvalues are all positive on . Then, by our assumption on the sectional curvature of the fiber we have
Hence, by using (3.3) and taking into account that , we infer from (3.2) and the previous inequality thatProceeding, we introduce the following second order linear differential operator defined by
where the tensor is given by Since for every and each operator is elliptic (equivalently, each is positive definite) we see that the operator is positive definite and, consequently, the operator is elliptic too. So, equation (3.4) and the fact that is -linear Weingarten imply that By using once more the weak maximum principle for the elliptic operator we get that is, Therefore, we conclude that This proves .In the case , we choose an interior point of satisfying and the orientation so that . Then,
that is, at all the principal curvatures must be nonnegative. So, reasoning as in the previous case we see that each operator is elliptic for every , is positive on for every and on .Besides, keeping the notation of case , it follows that satisfies, by equations (3.2), (3.3) and our assumption on ,
which implies that . Therefore, by weak maximum principle we conclude that that is, This finishes the proof of the theorem. ◻Remark 1. We observe that the estimate given in Theorem 1 is sharp in the sense that it is reached by the hemisphere of the standard sphere in . Indeed, it follows easily that is a totally umbilical hypersurface (in fact, it is a vertical graph) with , boundary and has the maximum height 1.
We observe that Theorem 1 above does not follow from Theorem 1 of de Lima & de Lima 2018, because there the authors just assume that and, with this constraint, it is not possible to obtain item (b) above.
Let us also point out that when , that is, the hypersurface has constant -mean curvature , Theorem 1 improves the estimate obtained in Theorem 4.1(i) of Cheng & Rosenberg 2005. Indeed, it is easy to see that the inequality
holds for every . Moreover, this result is also an extension of Theorem 3.5 of Alías & Dajczer 2007 (case ) and Proposition 1 of Hoffman et al. 2006HOFFMAN D, LIRA J & ROSENBERG H. 2006. Constant mean curvature surfaces in M2×ℝ. Trans Amer Math Soc 358: 491–507. (case ).It is still worth pointing out that the same argument done in the proof of Theorem 4.2 of Cheng & Rosenberg 2005CHENG X & ROSENBERG H. 2005. Embedded positive constant r-mean curvature hypersurfaces in Mm×ℝ. An Acad Bras Cienc 77: 183–199. by using the Alexandrov reflection technique, enable us to get the following consequence of Theorem 1 concerning compact embedded -linear Weingarten hypersurfaces:
Corollary 1. Let be a product space whose the fiber has nonnegative sectional curvature . Let be a compact embedded -linear Weingarten two-sided hypersurface with -mean curvature on , for some . Suppose that the angle function does not change sign on . Then is symmetric about some slice , , and the extrinsic vertical diameter of is no more than .
Proceeding, we are able to relax the assumption on the sectional curvature of the fiber letting it be bounded from below by a negative constant. For this, we will assume that the mean curvature satisfies a certain condition, which holds automatically when the sectional curvature of the fiber is nonnegative. In what follows, we will denote by . So, we get the following result.
Theorem 2. Let be a product space whose the fiber has sectional curvature satisfying , for some positive constant . Let be a compact -linear Weingarten two-sided hypersurface with -mean curvature on , for some , and boundary contained into the slice for some . Suppose that the angle function does not change sign on and for every . Then,
-
(a) Either and
whereis given by (3.1) and . -
(b) or and
where is given by (3.1) and.
Remark 2. We note that in the case of hypersurfaces having constant -mean curvature , our assumption on in Theorem 2 becomes . In particular, it is weaker than assumption (7.77) of Theorem 7.19 of Alías et al. 2016ALÍAS LJ, MASTROLIA P & RIGOLI M. 2016. Maximum Principles and Geometric Applications. Springer: Monographs in Mathematics, 595 p.. Moreover, the constant is just given by . Furthermore, by Lemma 1 we have , which implies that
In this setting, our estimate improves that one given in Theorem 7.19 of Alías et al. 2016ALÍAS LJ, MASTROLIA P & RIGOLI M. 2016. Maximum Principles and Geometric Applications. Springer: Monographs in Mathematics, 595 p. for the compact case.On the other hand, we also observe that, since can be negative in Theorem 2, it does not follow from Theorem 1 of de Lima & de Lima 2018.
Proof of Theorem 2. In what follows, we keep the notations established in Theorem 1. Let us suppose first. Then, as in the previous result, taking the angle function nonpositive, it is easy to see that the operator is elliptic for every , the -mean curvature is positive for every and . Besides, by equations (3.4) and (3.3) we get that the function defined in Theorem 1 satisfies
Since the eigenvalues are all positive on and using our assumption on we have for every and . With a straightforward computation, we can show that which jointly with (3.6) imply that From here and (3.5) we infer that where . On the other hand, by using Proposition 1 we get thatSo, let us consider on the smooth function given by
Then, equations (3.7) and (3.8) yield Hence, we can apply once more the weak maximum principle to conclude that that is, Now, the assumption on gives Therefore, from equation (3.9) we arrive to as desired.Finally, the case follows as above and this finishes the proof of the theorem. ◻
As consequence of Theorem 2, the analogue of Corollary 1 also holds in this situation:
Corollary 2. Let be a product space whose the fiber has sectional curvature satisfying , for some positive constant . Let be a compact embedded -linear Weingarten two-sided hypersurface with -mean curvature on , for some . Suppose that the angle function does not change sign on and for every . Then is symmetric about some slice , , and the extrinsic vertical diameter of is no more than .
4 - HALF-SPACE THEOREMS
The aim of this section is to give nonexistence results, in the form of half-space theorems, concerning complete two-sided hypersurfaces in the product Riemannian manifold . We point out that our results do not assume that some higher order mean curvature of the hypersurface is constant. In this setting, when the fiber is compact, our results generalize those one obtained by Cheng & Rosenberg 2005 and Hoffman et al. 2006HOFFMAN D, LIRA J & ROSENBERG H. 2006. Constant mean curvature surfaces in M2×ℝ. Trans Amer Math Soc 358: 491–507. for the case in which the mean curvature or some higher order mean curvature is constant (see Theorems 3 and 4 below). Moreover, in the case in which is not necessarily compact, by using a generalized version of the Omori-Yau maximum principle for trace type differential operators, we prove other interesting half-space theorem (see Theorem 5 below).
According to Hoffman et al. 2006HOFFMAN D, LIRA J & ROSENBERG H. 2006. Constant mean curvature surfaces in M2×ℝ. Trans Amer Math Soc 358: 491–507. , we say that a two-sided hypersurface in a product space lies in an upper or lower half-space if it is, respectively, contained in a region of of the form
for some real number .As an application of Theorem 1 we get the following result:
Theorem 3. Let be a product space whose fiber is compact and has nonnegative sectional curvature. Let be a noncompact -linear Weingarten two-sided properly immersed hypersurface with -mean curvature bounded away from zero, for some , and such that its angle function does not change sign. Then, cannot lie in a half-space.
Proof. Let us assume by contradiction that lies in an upper half-space, that is, , for some . For any number , we denote by the hypersurface
Then, is a compact -linear Weingarten two-sided hypersurface with boundary contained into the slice and , because is compact and the immersion is proper. Hence, by Theorem 1 we must have on and , where , that is, Because is bounded away from zero we get , which implies . Thus Then choosing large enough we reached a contradiction.Finally, if is contained into a lower half-space, we may apply the same argument above to arrive at a contradiction. ◻
Similarly, we can reason as in Theorem 3 to obtain as consequence of Theorem 2 the following result, where we keep the notation .
Theorem 4. Let be a product space whose fiber is compact with sectional curvature satisfying , for some positive constant . Let be a noncompact -linear Weingarten two-sided properly immersed hypersurface with bounded away from zero -mean curvature, for some , and such that its angle function does not change sign. Suppose that for every . Then, cannot lie in a half-space.
In order to treat the case in which the fiber is not compact, we will make use of a generalized version of the Omori-Yau maximum principle for trace type differential operators proved in Alías et al. 2016. Let be a Riemannian manifold and let be a semi-elliptic operator, where is a positive semi-definite symmetric tensor. Following the terminology introduced by Pigola et al. 2005PIGOLA S, RIGOLI M & SETTI AG. 2005. Maximum principles on Riemannian manifolds and applications. Mem American Math Soc 174(822): 109. , we say that the Omori-Yau maximum principle holds on for the operator if, for any function with , there exists a sequence of points satisfying
for every . Equivalently, for any smooth function with there exists a sequence of points satisfying for every .We quote a suitable version of the Omori-Yau maximum principle for trace type differential operators on a complete noncompact Riemannian manifold (see Theorem 6.13 of Alías et al. 2016ALÍAS LJ, MASTROLIA P & RIGOLI M. 2016. Maximum Principles and Geometric Applications. Springer: Monographs in Mathematics, 595 p.).
Lemma 4. Let be a complete noncompact Riemannian manifold; let be a reference point and denote by the Riemannian distance function from . Assume that the sectional curvature of satisfies
with satisfyingLet be a positive semi-definite symmetric tensor on . If , then the Omori-Yau maximum principle holds on for the semi-elliptic operator .In particular, Lemma 4 remains true if we replace condition (4.1) by the stronger condition of having sectional curvature bounded from below by a constant.
Remark 3. As it is well known, especially significant examples of functions satisfying the condition (4.2) in Lemma 4 are given by (see, for instance Alías et al. 2016ALÍAS LJ, MASTROLIA P & RIGOLI M. 2016. Maximum Principles and Geometric Applications. Springer: Monographs in Mathematics, 595 p. and Pigola et al. 2005PIGOLA S, RIGOLI M & SETTI AG. 2005. Maximum principles on Riemannian manifolds and applications. Mem American Math Soc 174(822): 109. )
where stands for the -th iterated logarithm.Now, we are in ready to state and prove our last half-space theorem.
Theorem 5. Let be a product space whose fiber has sectional curvature satisfying , for some positive constant . Let be a complete noncompact -linear Weingarten two-sided hypersurface with positive -mean curvature, for some . Suppose that and, if , there exists an elliptic point in . Assume further that the shape operator satisfies , where satisfies (4.2) and is the distance function from a reference point of . The following holds:
-
(a) either or cannot lie in an upper half-space;
-
(b) either or cannot lie in a lower half-space.
Proof. We begin stating that the sectional curvature of satisfies the assumption (4.1) of Lemma 4. Indeed, denoting by the sectional curvature of the ambient space, it follows from Gauss equation (2.1) that if is an orthonormal basis for an arbitrary plane tangent to , then
where the last inequality follows from the fact that for every unitary vector tangent to . Taking into account that we obtain from our hypothesis on that , because . Hence, since the shape operator satisfies , equation (4.3) yields which concludes the claim.We prove part (a) first. To do this, we assume that and argue by contradiction, that is, we suppose that lies in an upper half-space. Equivalently, the height function of satisfies .
We set the second order linear differential operator by
where the tensor is given by Since has an elliptic point (that is, all the principal curvatures are positive in such a point), the operator is elliptic for every or, equivalently, is positive definite. Then, is a positive linear combination of the ’s, so that it is positive definite. Thus, is a trace type elliptic operator. Besides, by using the identity we obtain from Lemma 1 that which implies that . Hence, we are ready to apply Lemma 4 to guarantee that the Omori-Yau maximum principle holds on for the operator . Then, there exists a sequence of points having the following properties: In particular, by Proposition 1 we get Since , we see that . So, taking limits we conclude that , which gives a contradiction.In case (b), we reason again by contradiction, that is, by assuming that and is contained into a lower half-space so that the height function satisfies . Then, reasoning as in part (a), it is not difficult to see once more that , characterizing a contradiction. This concludes the proof of the theorem. ◻
Let us observe that the proof of Theorem 5 remains true with the stronger assumption that is bounded from below by a constant, which implies the validity of the Omori-Yau’s maximum principle. For instance, reasoning as in the proof of Theorem 5 we see that is bounded from below since . On the other hand, the hypothesis on in Theorem 5, , can be replaced by , because of Lemma 1. In this case, taking into account the relation
it follows that the condition is equivalent to . This proves the following result:Corollary 3. Let be a product space whose fiber has sectional curvature satisfying , for some positive constant . Let be a complete noncompact -linear Weingarten two-sided hypersurface with positive -mean curvature, for some . Suppose that and, if , there exists an elliptic point in . The following holds:
-
(a) either or cannot lie in an upper half-space;
-
(b) either or cannot lie in a lower half-space.
In the case of hypersurfaces having constant mean curvature the assumption of existence of an elliptic point can be dropped as follows.
Corollary 4. Let be a product space whose fiber has sectional curvature satisfying , for some positive constant . Let be a complete noncompact two-sided hypersurface with positive constant mean curvature and such that . The following holds:
-
(a) either or cannot lie in an upper half-space;
-
(b) either or cannot lie in a lower half-space.
In other words we have:
-
(a’) There is no complete noncompact two-sided hypersurface having positive constant mean curvature, angle function nonpositive and contained into an upper half-space;
-
(b’) There is no complete noncompact two-sided hypersurface having positive constant mean curvature, angle function nonnegative and contained into a lower half-space.
Proof. It is enough to prove part (a). We suppose that and let us reason by contradiction, that is, . As in the proof of Theorem 5 and by remark above, we might see that the Omori-Yau maximum principle holds on for the Laplacian. Then, there is a sequence of points satisfying
By applying Proposition 1 we find Since the angle function is nonpositive, taking limits here we conclude that , which gives a contradiction. ◻More generally, for hypersurfaces having some constant higher order mean curvature we get the following result:
Corollary 5. Let be a product space whose fiber has sectional curvature satisfying , for some positive constant . Let be a complete noncompact two-sided hypersurface with positive constant -mean curvature, for some . Suppose that and, if , there exists an elliptic point in . The following holds:
-
(a) either or cannot lie in an upper half-space;
-
(b) either or cannot lie in a lower half-space.
In other words we have:
-
(a’) there is no complete noncompact two-sided hypersurface having , an elliptic point, with , angle function nonpositive and contained into an upper half-space;
-
(b’) there is no complete noncompact two-sided hypersurface having , an elliptic point, with , angle function nonnegative and contained into a lower half-space.
Finally we collect (a) and (b) in the previous corollaries in order to obtain the following result.
Corollary 6. Let be a product space whose fiber has sectional curvature satisfying , for some positive constant . Let be a complete noncompact two-sided hypersurface with positive constant -mean curvature, for some . Suppose that and, if , there exists an elliptic point in . In addition, if assume that . Then, either does not vanishes identically or cannot lie in a half-space. In other words, there is no complete noncompact two-sided hypersurface having , an elliptic point, with , angle function vanishes identically and contained into a half-space.
ACKNOWLEDGMENTS
The second author is partially supported by Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), Brazil, grant 301970/2019-0. The authors would like to thank the referee for reading the manuscript in great detail and for his/her valuable suggestions and useful comments which improved the paper.
- ALEDO JA, ESPINAR JM & GÁLVEZ JA. 2008. Height estimates for surfaces with positive constant mean curvature in Illinois J Math 52(1): 203–211.
- ALEDO JA, ESPINAR JM & GÁLVEZ JA. 2010. The Codazzi equation for surfaces. Adv Math 224(6): 2511-2530.
- ALÍAS LJ & DAJCZER M. 2007. Constant mean curvature hypersurfaces in warped product spaces. Proc Edinb Math Soc 50: 511–526.
- ALÍAS LJ, IMPERA D & RIGOLI M. 2013. Hypersurfaces of constant higher order mean curvature in warped products. Trans Am Math Soc 365(2): 591-621.
- ALÍAS LJ, MASTROLIA P & RIGOLI M. 2016. Maximum Principles and Geometric Applications. Springer: Monographs in Mathematics, 595 p.
- BARBOSA JLM & COLARES AG. 1997. Stability of hypersurfaces with constant r-mean curvature. Ann Global Anal Geom 15: 277–297.
- CHENG X & ROSENBERG H. 2005. Embedded positive constant -mean curvature hypersurfaces in An Acad Bras Cienc 77: 183–199.
- DE LIMA EL & DE LIMA HF. 2018. Height estimates and topology at infinity of hypersurfaces immersed in a certain class of warped products. Aequat Math 92: 737–761.
- ELBERT MF. 2002. Constant positive 2-mean curvature hypersurfaces. Illinois J Math 46: 247–267.
- ESPINAR JM, GÁLVEZ JA & ROSENBERG H. 2009. Complete surfaces with positive extrinsic curvature in product spaces. Comment Math Helv 84(2): 351–386.
- HARDY G, LITTLEWOOD JE & PÓLYA G. 1989. Inequalities. 2nd ed. Cambridge Mathematical Library. 338 p.
- HEINZ E. 1969. On the nonexistence of a surface of constant mean curvature with finite area and prescribed rectifiable boundary. Arch Rational Mech Anal 35: 249–252.
- HOFFMAN D, LIRA J & ROSENBERG H. 2006. Constant mean curvature surfaces in Trans Amer Math Soc 358: 491–507.
- KOREVAAR N, KUSNER R, MEEKS W & SOLOMON B. 1992. Constant Mean Curvature Surfaces in Hyperbolic Space. Amer J Math 114: 1–43.
- KOREVAAR N, KUSNER R & SOLOMON B. 1989. The Structure of Complete Embedded Surfaces with Constant Mean Curvature. J Differ Geom 30: 465–503.
- PIGOLA S, RIGOLI M & SETTI AG. 2005. Maximum principles on Riemannian manifolds and applications. Mem American Math Soc 174(822): 109.
- ROSENBERG H. 1993. Hypersurfaces of constant curvature in space forms. Bull Sci Math 117: 211–239.
- ROSENBERG H, SCHULZE F & SPRUCK J. 2013. The Half-Space Property and Entire Positive Minimal Graphs in J Diff Geom 95: 321–336.
Publication Dates
-
Publication in this collection
03 Dec 2021 -
Date of issue
2021
History
-
Received
20 May 2019 -
Accepted
8 Feb 2020