Expansion of pinched hypersurfaces of the Euclidean and hyperbolic space by high powers of curvature
We prove convergence results for expanding curvature flows in the Euclidean and hyperbolic space. The flow speeds have the form , where and is a positive, strictly monotone and -homogeneous curvature function. In particular this class includes the mean curvature . We prove that a certain initial pinching condition is preserved and the properly rescaled hypersurfaces converge smoothly to the unit sphere. We show that an example due to Andrews-McCoy-Zheng can be used to construct strictly convex initial hypersurfaces, for which the inverse mean curvature flow to the power loses convexity, justifying the necessity to impose a certain pinching condition on the initial hypersurface.
Key words and phrases:Inverse curvature flow; Pinching
2010 Mathematics Subject Classification:53C21, 53C44
We consider inverse curvature flows in either the Euclidean space or the hyperbolic space with sectional curvature , i.e. a family of embeddings
where is a closed, connected and orientable manifold of dimension , which solves
Here is the outward pointing normal to the flow hypersurface and is evaluated at the principal curvatures at the point .
Let us first state our main theorem. Therefore we will use the following assumptions for the curvature function and the initial hypersurface .
Let be a positive, strictly monotone and symmetric curvature function which is homogeneous of degree one and normalized to .
Let satisfy Assumption 1.1. Let
be the smooth embedding of a hypersurface with which can be written as a graph over a geodesic sphere ,
In the following statement of our main theorem, we let
be the mean curvature, the Weingarten operator, be its norm with respect to the induced metric and the identity. The principal curvatures , , will always be labelled according to
Let and let be either the Euclidean space or the hyperbolic space of constant sectional curvature Let and let , satisfy Assumptions 1.2, LABEL: and 1.1. Furthermore, we assume that in case , satisfies the pinching condition
and in case , that satisfies the pinching condition
where is sufficiently small. Then:
There exists a unique smooth solution on a maximal time interval
of the equation
where in case and in case , where is the outward unit normal to at and is evaluated at the principal curvatures of at .
The flow hypersurfaces can be written as graphs of a function over so that
and properly rescaled flow hypersurfaces converge for all in to a geodesic sphere.
In case there exists a point and a sphere around with radius such that the spherical solutions with radii of (1.11) with satisfy
. Here denotes the Hausdorff distance of compact sets.
(i) The rescalings, mentioned in (ii) of this theorem, are given by
in case and by
in case where is the unique radius of a sphere which exists exactly as long as the flow, i.e. for the time
(iii) For flows by high powers of curvature, pinching conditions similar to (1.9) and (1.11) have already appeared for contracting flows in  and . Indeed we can mimic a counterexample to preserved convexity for contracting flows by Andrews-McCoy-Zheng [4, Thm. 3] and show that in general strict convexity (in particular general pinching) will be lost if and .
Theorem 1.3 shows the following: If we remove the assumptions , as well as the concavity of in [17, Theorem 1.2] and [34, Theorem 1.2] and replace them by a certain pinching condition for the initial hypersurface then the resulting theorems are true. This allows us e.g. to consider the interesting case and more generally
where is the -th elementary symmetric polynomial.
Expanding curvature flows of the form (1.2) with have attracted a lot of attention, since they have proven to be useful in the deduction and generalization of several geometric inequalities, like the Riemannian Penrose inequality, , some Minkowski type inequalities,  and , and Alexandrov-Fenchel type inequalities as in . The case has been treated in broad generality, cf.  and [40, 41] for the Euclidean case,  for the hyperbolic case and [6, 11, 18, 23, 25, 28, 29, 36, 43] for other ambient spaces. For the case there are fewer results. In the Euclidean case there is [17, 26, 38] and in the hyperbolic case there is . All of these papers share the fact that only curvature functions are considered which vanish on the boundary of , a property which forces preservation of convexity by definition. The goal of the present paper is the generalisation of both of these works. The second author already obtained an improvement of  in , where he could drop the pinching assumption on the initial hypersurface for some powers of the inverse Gauss curvature flow. But in particular for powers of the inverse mean curvature flow there are no results, up to the authors’ knowledge. In the recent preprint  Li, Wang and Wei proved convergence results for the case in and . The novelty in this paper is that they could also treat non-concave curvature functions, since for parabolic equations in two variables one can replace the Krylov-Safonov estimates by a regularity result due to Andrews . Wei provided some new pinching estimates in the cases for a broad class of curvature functions in . Some non-homogeneous flow speeds are considered in  and .
The paper is organised as follows. In sections 3 and 2 we collect some notation and evolution equations. In section 4 we give the counterexample. In section 5 we prove the crucial preservation of a specific pinching of the initial hypersurface, whereafter in sections 7 and 6 we give an outline on how to finish the proof of Theorem 1.3. Here one could basically follow the lines of  and , but due to the pinching estimates several aspects of the proofs in these references simplify so we present these simplified arguments for convenience.
2. Notation and preliminaries
Let and be either the Euclidean space or the hyperbolic space with constant sectional curvature of dimension . Let be a compact, connected, smooth manifold and
be an embedding with unit outward normal vector field (compare the nice note ). Let be the induced metric on , where are the components of with respect to the basis , . In tensor expressions latin indices always range between and and greek indices range from to indicating components of tensors of the ambient space. The coordinate expression of a covariant derivative with respect to the Levi-Civita connection of of a tensor field are indicated by a semi-colon,
The second fundamental form is given by the Gaussian formula
and the Weingarten map is denoted by .
For any the pointed Euclidean as well as the hyperbolic space is diffeomorphic to and is covered by geodesic polar coordinates. The metric is given by
where is the geodesic distance to , is the round metric on and
The principal curvatures of the coordinates slices are given by
Since our hypersurfaces will all be convex, they can be written as graphs in geodesic polar coordinates over
where is a smooth function on Define
In terms of a graph, the second fundamental form of can be expressed as
cf. [15, Rem. 1.5.1].
Let us also make some comments on the speed functions under which the family of embeddings evolve. By Assumption 1.1 these are given by smooth, symmetric functions on an open, symmetric and convex cone . It is well known, that such a function can be written as a smooth function of the elementary symmetric polynomials ,
compare . The associated functions to , which are defined on endomorphisms of the tangent space, are traditionally denoted by and given by
for all , cf. [15, equ. (2.1.31)]. Hence also can be viewed as a function defined on the endomorphism bundle , i.e.
We will, however, mostly use a different description of , namely as being defined on two variables by setting
where is the inverse of the positive definite -tensor and . We denote by and the first and second derivatives of with respect to , i.e.
Due to the monotonicity assumption on as a function of the principal curvatures, the tensor is positive definite at all pairs , such that has eigenvalues in . Compare , [15, Ch. 2] and  for more details.
We also note that we will in the sequel use the same symbol for both functions and . This will not cause confusion, since in expressions like it only makes sense to think of .
We always assume that , set for and write
3. Evolution equations
Under the flow (1.11) the geometric quantities
and evolve as follows
where denotes the mean curvature of the coordinate slice
Under the flow (1.11) the Weingarten map form evolves by
For the tensor
and hence evolves by
4. A counterexample to preserved convexity
For contracting flows, i.e. flows of the form
with positive , Andrews-McCoy-Zheng  gave an example of a (weakly) convex hypersurface in which develops a negative principal curvature instantly for a certain class of speeds . By continuity with respect to initial values this shows that for these one can also find strictly convex initial hypersurfaces which develop negative principal curvatures quickly.
In this section we briefly sketch that we generally face the same phenomenon in our case of expanding flows. Precisely we will see that for powers of the inverse mean curvature flow convexity might be lost, indicating that a stronger pinching condition as for example in Theorem 1.3 is needed.
We will show that the loss of convexity can occur along the flow
for simplicity in . Contrary to the contracting case, where a more sophisticated speed is needed, here we can make use of the strong concavity of the function , which gives an additional negative term in
Let us briefly recall the method in [4, Thm. 3] how to construct such a convex initial hypersurface. First they construct a local graph using the function
where are arbitrary positive numbers and
There holds and hence at , compare [4, equ. (16),(17),(18)],
where indices appearing after a comma denote usual partial derivatives. In the proof of [4, Thm. 2] it is shown that the graph of over a small ball is a convex hypersurface, which is strictly convex in , and that this graph can be closed up to a convex hypersurface, respecting the strict convexity in . Due to , the hypersurface is strictly mean convex and (4.2) is defined for short time.
for a suitable arrangement of and , due to . Hence drops below zero instantly and the example is complete.
5. The pinching estimates
We define where or . We set and in both cases.
While in the Euclidean case the proof is similar to the proof of [35, Prop. 3.4] we need further arguments in the hyperbolic case. We begin with some facts which hold in both cases. Let and define the quantity
Then, due to Lemma 3.2, satisfies the evolution equation
and due to [3, Lemma 2.1] we have
Using (5.3) we conclude that
in . Due to [3, equ. (4.3)],
for a constant only depending on and , so the terms in the second, fourth and fifth line of (5.6) can be absorbed by the terms in the third line of (5.6). Then the right-hand side of (5.6) is negative, a contradiction. Note, to estimate the term in the second line of (5.6) we used the homogeneity of ,
in where are positive constants depending only on . For further details we refer to [3, equ. (4.2), (4.3)].
(ii) We assume that . The quantity
where a small and a large will be specified later, satisfies the evolution equation
Assuming that is small we have in view of (5.1). We want to show that for all . For this we assume that there is a minimal and so that . Due to minimality of we conclude for all . Especially,
and is strictly horospherically convex for all due to [3, Lemma 2.2]. We deduce that
Note, that . From [3, Lemma 2.3] we deduce that
in if . If then is umbilical point of , so let us write . Then we have
For sufficiently small, the term
is small and the terms in the second, fourth and fifth line of (5.19) can be absorbed by the terms in the third line of (5.19). Then the right-hand side of (5.19) is negative if is large, a contradiction. ∎
6. The Euclidean case
The aim of this section is to prove Theorem 1.3 for the case . Due to the pinching estimates of the previous section we are in the situation that the proof in  basically carries over literally. For convenience of the reader, and since several elements of the proof simplify due to our pinching estimates, we give an outline of the arguments involved. Throughout this section it is understood that the assumptions of Theorem 1.3 hold.
We recall some simple observations. If the initial hypersurface is a sphere of radius , i.e. , then the flow hypersurfaces of the flow (1.11) remain spheres and for their radii at time we obtain the ODE
From the avoidance principle we conclude the following corollary.
If are positive constants so that
where is the solution of (1.11) then we have
The next aim is to show that blows up, when the time approaches
The flow (1.11) only exists in a finite time interval and there holds
In view of Lemma 5.1 the hypersurfaces are convex and from (6.5) we deduce that the maximal time has to be finite. Due to the convexity we may write the flow hypersurfaces as radial graphs over the sphere,
for some Then satisfies the scalar flow equation
where the dot indicates the total time derivative, or
when we consider the partial time derivative, cf. [15, p. 98-99]. Under the assumption that is bounded, which is equivalent to we also obtain the -estimate
which, due to Lemma 3.1, satisfies the evolution equation
At spatial maxima of there holds (recall )
where we used