arxiv: v2 [math.dg] 21 Apr 2014

Transcription

1 PINCHING AND ASYMPTOTICAL ROUNDNESS FOR INVERSE CURVATURE FLOWS IN EUCLIDEAN SPACE JULIAN SCHEUER arxiv: v2 [math.dg] 21 Apr 2014 Abstract. We consider inverse curvature flows in the n + 1)-dimensional Euclidean space, n 2, expanding by arbitrary negative powers of a 1- homogeneous, monotone curvature function F with some concavity properties. We obtain new examples of curvature functions, for which a proper rescaling converges to the unit sphere smoothly. Furthermore, for powers p > 1 of F 1 in case n > 2 and for 0 < p < in case n = 2, we obtain asymptotical roundness, meaning that circumradius minus inradius of the flow hypersurfaces decays to zero and that the flow becomes close to a flow of spheres. Contents 1. Introduction 1 2. Notation and definitions 5 3. Pinching estimates 7 4. Oscillation decay Concluding remarks and open questions 15 References Introduction We consider inverse curvature flows in Euclidean space R n+1, n 2, 1.1) ẋ = F p ν, 0 < p <, where F is a symmetric, monotone, homogeneous of degree 1 and concave curvature function, which is defined in an open, convex cone of R n, such that F vanishes on its boundary, if p 1. In case p > 1 an additional assumption on F has to be made, namely F has to be inverse concave, compare Assumption 1.1. ν is the outward normal to the flow hypersurfaces of the flow 1.2) x: [0,T ) M R n+1 with starshaped initial hypersurface M 0, where in case p > 1 we assume, that M 0 is strictly convex. In [12] the same flow was considered. For p > 1, however, with a strong restriction to the curvature function, namely, F was supposed to vanish on the boundary of Γ + = {κ i ) R n : κ i > 0 1 i n}. This assumption is due to the fact, that general gradient estimates via maximum principle are not accessible in this case. Date: April 22, Mathematics Subject Classification. 35J60, 53C20, 53C21, 53C44, 58J05. Key words and phrases. curvature flows, inverse curvature flows, Euclidean space, pinching. This work is being supported by the DFG. 1

2 2 JULIAN SCHEUER Therefore, one needs to assume a convex initial hypersurface. Then the crucial step is to show, that convexity is preserved during the flow. In case F Γ+ = 0 this is trivial. Then, in [12] the author basically proves for any 0 < p <, that the maximal time of existence T is characterized by the property 1.3) inf x, t T, and that the rescaled surfaces 1.4) Mt = Θ 1 M t, where Θ = Θt) is the radius of a suitable expanding sphere, converges to the unit sphere in C, cf. [12, Thm. 1.1, Thm. 1.2]. This work deals with two different aspects. First of all, in case p > 1, we are able to drop the assumption F Γ+ = 0, if we assume F to be inverse concave instead. Then we are able to prove, that convexity of the flow hypersurfaces is preserved. The relevant ingredient here is the maximum principle for tensors as it was first proven by Hamilton, [13], and later generalized by Andrews, [3, Thm. 3.2]. The most important examples of essentially new curvature functions F, for which we can treat the powered inverse curvature flow with p > 1 are the k-th roots of the k-th elementary symmetric polynomials 1.5) σ k = H 1 k k, those of which only the case of the n-th root of the Gauss curvature is contained in [12], the fractions ) 1 Hk k l 1.6), 0 l < k < n and the power means H l 1.7) P r = n i=1 κ r i ) 1 r, r 1. For a proof, that these curvature functions satisfy Assumption 1.1, see [3, Ch. 2]. The second goal of this paper deals with the improvement of the asymptotical behavior of the flow. Let us explain our motivation to do this. To our knowledge, almost all of the existing results on classical smooth inverse curvature flows, cf. the end of this introduction for an overview, assume that the initial hypersurface may be written as a graph over a sphere. Of course, there are many possibilities to do this. Take, for example, a sphere S, centered at q R n+1, as initial hypersurface of a flow. It follows, that is evolves through expanding spheres centered at q as well. Now take another point z q in the interior of the ball enclosed by S and write S as a graph over a sphere S z around z, 1.8) S = {ux),x): x S z }. Let S evolve and let ut, ) denote the corresponding graph functions over S z. From the previousobservationsit isclear, thatthe oscillationofucannotdecaytozeroas t T, eventhough circumradiusminus inradiusofthe hypersurfacesis constantly zero. Thus the choice of the sphere S z is not optimal and u does not reflect the nice spherical shape of the evolving surfaces. The optimal sphere would be one around q. In this paper, we are going to show, that such an optimal sphere exists in the sense that the flow hypersurfaces will fit to a flow of spheres arbitrarily close. We are going to achieve this for p > 1 in any dimension and due to technical reasons we will have to restrict to surfaces, n = 2, if 0 < p 1. In case n = 2 the main

3 PINCHING AND ASYMPTOTICAL ROUNDNESS FOR INVERSE CURVATURE FLOWS 3 ingredient in the proof is an estimate of the oscillation of the support function as it appears in [18, Prop. 7.3]. In higher dimensions the author of the article at hand submitted a result on quantitative spherical closeness of pinched hypersurfaces, cf. [17]. This serves well in case of arbitrary dimension and p > 1. In order to treat the case 0 < p 1 in arbitrary dimension, we were not able to derive sufficient pinching of the flow hypersurfaces. Before we give an overview over previous results on expanding flows in Euclidean space, let us state the main result of this paper. We require the following assumptions for F Assumption. Let Γ R n be an open, convex and symmetric cone containing the positive cone 1.9) Γ + = {κ i ) R n : κ i > 0, 1 i n}. Let F be a positive, monotone, symmetric and concave curvature function, normalized to F1,...,1) = n, such that i) in case 0 < p 1 we have F C Γ) and F Γ = 0, ii) in case p > 1 the inverse of F C Γ + ), Fκi ) = F 1 κ 1 i ), is concave. Recall, that a hypersurface M is called F-admissable, if for all x M, Fκ i )x)) is well-defined, where κ i x) are the principal curvatures of M at x with respect to the inward unit normal. The main result of this paper is the following one Theorem. Let n 2, 0 < p < and let F satisfy Assumption 1.1. Let 1.10) x 0 : M M 0 R n+1 be the smooth embedding of a closed, orientable, connected and F-admissable hypersurface, which can be written as a graph over a sphere S n, 1.11) M 0 = {u0,x),x): x S n }. Then i) there exists a unique smooth solution on a maximal time interval 1.12) x: [0,T ) M R n+1, 1.13) which satisfies the flow equation ẋ = 1 F pν x0,ξ) = x 0 ξ), where ν = νt,ξ) is the outward unit normal to M t = xt,m) at xt,ξ) and F is evaluated at the principal curvatures of M t at xt,ξ). ii) In case p > 1 there exists a point Q R n+1 and a sphere S = S R Q) around Q with radius R, such that the spherical solutions S t with radii R t of 1.13) with M 0 = S R satisfy 1.14) distm t,s t ) cr α t t [0,T ), for suitable α > 0 and c = cp,m 0,F). Here dist denotes the Hausdorff distance of compact sets. iii) We obtain the same conclusion as in ii) in case 0 < p 1, if we assume n = 2.

4 4 JULIAN SCHEUER iv) For any 0 < p < and n 2 the rescaled hypersurfaces 1.15) Mt = R 1 t M t converge smoothly to the unit sphere. Statement i) is just the existence of a solution on a maximal time interval. This result is not new, holds in even more general situations and a proof can be found in [9, Thm , Lemma 2.6.1]. We stated it for better readability. Statement iv) is only new in case p > 1, since we obtain a different set of curvature functions. Also note, that the statements in ii) and iii) indeed say, that the flow becomes close to a flow of spheres. This is due to the fact, that the radii of spheres which satisfy 1.13) with a sphere as initial hypersurface do converge to infinity during the maximal time of existence, cf. [12, Rem. 3.1] and [8, Thm. 0.1]. Now we give a brief overview over the state of the art in classical expanding curvature flows. We leave aside the theory of contracting flows, weak solutions, flows with boundary conditions, other ambient spaces and evolving curves, due to the tremendous amount of literature, which is not of direct interest with respect to our results. For smooth, expanding flows in Euclidean space usually, except for [19], the asymptotic behavior of the flow hypersurfaces is described via the rescaling 1.16) Mt = Θ 1 M t, where Θt) is the radius of the evolution of an arbitrary geodesic sphere, such that M t is bounded below and above. In those works, the authors show that M t converges to the unit sphere smoothly, which is less than 1.14) on C 0 -level. Indeed, 1.14) also allows to improve the rate of convergence of Mt in iv) by choosing the optimal geodesic sphere to rescale. We will not carry this out here, but refer to [18, Sec. 7] for a rough outline of the arguments involved. Convergence of the rescaled surfaces M t was proven, for example, in the papers by Gerhardt, [8], and Urbas, [21], in the case p = 1 under similar assumptions on F as we do impose them. Results like this in the case 0 < p 1 and general F were derived in [22] and for more general, but still concave functions of the inverse Gauss curvature or the principal radii, compare the works by Chow and Tsai, [7] and [6] respectively, as well as [14]. Results for p > 1 have been accomplished for n = p = 2 and F = K 1 2, the classical inverse Gauss curvature flow in R 3, by Schnürer, [19] and for n = 2, 1 < p < 2 by Li, [15]. Probably the most general existing paper on inverse curvature flows in R n+1 is [12]. Besides those convergence results, Smoczyk has found an explicit representation for the solution of the inverse harmonic mean curvature flow, [20]. To our knowledge, the only situation, in which statement ii) is proven, is the case n = p = 2 and F = K 1 2, where K is the Gaussian curvature, cf. [19]. We are not aware of the existence of a convergence result of type 1.14) in the situation of statement iii). Furthermore, as mentioned above, the situation of our general set of curvature functions in case p > 1 does not seem to have appeared in any of the existing literature.

5 PINCHING AND ASYMPTOTICAL ROUNDNESS FOR INVERSE CURVATURE FLOWS 5 2. Notation and definitions Inthisarticleweconsiderclosed, embeddedandorientedhypersurfacesm R n+1, which can be written as graphs over a sphere S n, 2.1) M = {ux),x): x S n }. The coordinate representation ux), x) is to be understood in polar coordinates, in which the Euclidean metric reads 2.2) d s 2 = dr 2 +r 2 σ ij dx i dx j dr 2 +ḡ ij dx i dx j. We prefer the coordinate based notation for tensors. Note, that sometimes we use the slightly ambiguous notation to write x for an element x S n, where it is to be understood as x = x i ), latin indices ranging between 1 and n, or to write x as an element x R n+1, where it is then to be understood as x α ) = x 0,x i )), greek indices ranging from 0 to n. Then x 0 denotes the radial component r. We denote the standard induced metric of S n R n+1 by σ ij ). The geometric quantities of M are denoted via the following notation. The induced metric is denoted by g = g ij ) with inverse g 1 = g ij ) and the second fundamental form with respect to the inward normal is A = h ij ). Tensor indices of tensor fields on M are always lowered or lifted via g, unless stated otherwise, e.g. 2.3) h i j = g ik h kj. Covariant derivatives with respect to the induced metric will simply be denoted by indices, e.g. u i for a function u: M R, or by a semicolon, if ambiguities are possible, e.g. h ij;k. The outward normal vector field to M is given by 2.4) ν α ) = v 1 1, ǔ i ), where ǔ i = ḡ ik u k, ḡ ik ) = ḡ ik ) 1 and 2.5) v 2 = 1+ḡ ij u i u j 1+ Du 2. For a tensor field T = t i1,...i k j 1,...,j l ) on M the pointwise norm T is always defined with respect to the induced metric 2.6) T 2 = t i1,...,i k j 1,...,j l t j1,...,j l i 1,...,i k. A dot over a function or a tensor always denotes a total time derivative, e.g. 2.7) u = d dt u, whereas a prime denotes differentiation with respect to a direct argument. If for example f = fu), then 2.8) f = d du f and 2.9) f = f u. Note, that this notation partially deviates from those in [9] and [12].

6 6 JULIAN SCHEUER Curvature functions. The formulation of our assumptions on the curvature function F has used cones in R n, i.e. F depends smoothly on the principal curvatures, 2.10) F = Fκ i ). However, as it is shown in [9, Ch. 2.1] and the references therein, it is also possible to consider F as a smooth function of the second fundamental form and the metric, 2.11) F = Fh ij,g ij ), or, as well, as a function defined on the mixed tensor h i j ), 2.12) F = Fh i j ). Those formulations are basically equivalent. In the formulation of evolution equations we will use the first of those two. Note, that 2.13) F kl = F h kl defines a tensor field on M of two contravariant indices. Evolution equations. The following remark is standard Remark. The existence of a solution to 1.13) on a maximal time interval [0,T ) is well-known. We refer to [9, Thm , Lemma 2.6.1]. Furthermore, the solution x exists at least as long as the solution 2.14) u: [0, T) S n R of the scalar flow equation 2.15) t u = v F p u0, ) = u 0, where u 0 is the graph representation of the initial hypersurface, also compare [9, Thm ] and [9, p ]. Note as well, that under Assumption 1.1 we have T = T, cf. [12, Thm. 1.1, Thm. 1.2] and the remark after Proposition 3.1. For real numbers r > 0 define 2.16) Φr) = r p. The relevant evolution equations involved in the curvature flow are the following. The metric g ij ) satisfies, cf. [9, Lemma 2.3.1], 2.17) ġ ij = 2Φh ij, where Φ = ΦF). The second fundamental form h ij ) of the flow hypersurfaces evolves according to 2.18) ḣ ij Φ F kl h ij;kl = Φ F kl h rk h r lh ij Φ F +Φ)h ik h k j +Φ kl,rs h kl;i h rs;j and in mixed form 2.19) ḣ i j Φ h i j;kl = Φ F kl h rk h r lh i j Φ F Φ)h i kh k j +Φ kl,rs h kl;j h rs; i, cf. [9, Lemma 2.4.1]. The curvature function Φ satisfies 2.20) Φ Φ F kl Φ kl = Φ F kl h rk h r lφ,

7 PINCHING AND ASYMPTOTICAL ROUNDNESS FOR INVERSE CURVATURE FLOWS 7 cf. [9, Lemma 2.3.4]. In the sequel we will need two other derived evolution equations, namely for the mean curvature H = h i i, 2.21) Ḣ Φ F kl H kl = Φ F kl h rk h r lh Φ F Φ) A 2 +Φ kl,rs h kl;i h rs; i and for A 2 = h i j hj i, 2.22) d dt A 2 Φ F kl A ) kl = 2Φ F kl h rk h r l A 2 2Φ F Φ)h i kh k jh j i +2Φ kl,rs h kl;i h rs; j h i j 2Φ F kl h i j;k hj i;l Remark. For better readability of the subsequent results, we stick to the convention, that whenever we claim the existence of constants, c, γ etc., they are allowed and understood to depend on p, M 0 and F as given data of the initial value problem, without mentioning that over and over again. 3. Pinching estimates In this section we prove, that pinching of convex hypersurfaces is preserved for inverse curvature flows in Euclidean space by arbitrary powers. We formulate this extensively for better comprehensibility. Note that this result is also true for 0 < p 1, although in this case it is not new, cf. [22], and we do not need it to treat the curvature flow. In the situation of Theorem 1.2, we do not even assume convexity of the initial hypersurface in case p Proposition. Let x: [0,T ) M R n+1 be the solution of the inverse curvature flow ẋ = 1 Fpν, 0 < p <, 3.1) x0, ) = x 0, where F C Γ + ) is a symmetric, 1-homogeneous, monotone, concave and inverse concave curvature function and x 0 is the embedding a closed, orientable and strictly convex hypersurface. Then there exists a constant c > 0, such that the pointwise estimate 3.2) κ n cκ 1 holds for all t [0,T ). Proof. We adapt the method from [3, Sec. 7], also compare [11, Lemma 5.2]. Let 0 < ǫ < 1 n, such that 3.3) T ij = h ij ǫhg ij is positive definite at t = 0, which is possible due to the strict convexity of M 0. From 2.17), 2.18) and 2.21) we obtain T ij Φ F kl T ij;kl = Φ F kl h rk h r lt ij Φ F +Φ)h ik h k j 3.4) where +ǫφ F Φ) A 2 g ij +2ǫHΦh ij +Φ kl,rs h kl;i h rs;j ǫφ kl,rs h kl;m h rs; m g ij N ij +Ñij, 3.5) Ñ ij = Φ kl,rs h kl;i h rs;j ǫφ kl,rs h kl;m h rs; m g ij. Let η be a null eigenvector of T ij and suppose T ij 0 at a point t 0,ξ 0 ), i.e. 3.6) h ij η j = ǫhη i.

8 8 JULIAN SCHEUER Then N ij satisfies 3.7) where we used N ij η i η j = Φ F +Φ)ǫ 2 H 2 η 2 +ǫφ F Φ) A 2 η 2 +2ǫ 2 H 2 Φ η 2 Φ Φ F)ǫ 2 H 2 η 2 + ǫ n H2 Φ F Φ) η 2 = F p ǫh 2 η 2 1 n p+1) ǫp+1) ) > 0, 3.8) A 2 1 n H2, Φ = F p. Since Φ is increasing and concave as a function of F and satisfies ) ) ΦF) = Φ, F Φ is, as a function of the principal curvatures, symmetric, increasing, concave and inverse concave and thus it satisfies the conditions to apply [3, Thm. 4.1], from which we derive the generalized null eigenvector condition for Ñij, 3.10) Ñ ij η i η j +2supΦ kl 2Γ p k h pi;lη i ǫh l η p Γ p k γq l h pq ǫhg pq ))) 0. Γ Since we may assume g ij = δ ij at t 0,ξ 0 ), these are the exact requirements to apply Andrews maximum principle for tensors, [3, Thm. 3.2], to conclude T ij > 0 for all t [0,T ). Now we successively improve the pinching estimates. First we need to revisit some results from [12]. Let Θ = Θt,r) denote a geodesic sphere with initial radius r, that exists as long as the solution x of 1.13) and for which 3.11) ũ = uθ 1 is bounded below and above by positive constants, compare [12, Lemmata ] and [8, 4.8)]. Now the subsequent considerations for the case p > 1 in [12, Sec. 3, Sec. 4] do not depend on the fact Γ = Γ + anymore, since now we have uniformly pinched convex hypersurfaces. In particular, the following proposition holds Proposition. Let x be the solution of 1.13) under Assumption 1.1. Then the rescaled principal curvatures 3.12) κ i = κ i Θ satisfy 3.13) 0 < c 1 κ i c t [0,T ), if p > 1, and in case p 1 the κ i stay within a compact subset of Γ. Proof. For p < 1 this is [12, Lemma 4.11, Cor. 4.12] and for p = 1 we refer to [8, 4.9)]. In case p > 1 the proofs of [12, Lemmata 3.10, 4.7, 4.9] apply literally. Only in [12, Lemma 4.9] Γ = Γ + is used explicitly, but our conclusion still holds in view of the pinching estimates Remark. At this point we should mention, that point iv) in Theorem 1.2 now follows for the case p > 1 as well. The argumentation in [12, Sec. 5] does not use the cone of definition explicitly anymore, once one has proven uniform pinching. Furthermore, we obtain decay estimates for the gradient.

9 PINCHING AND ASYMPTOTICAL ROUNDNESS FOR INVERSE CURVATURE FLOWS Proposition. Let x be the solution of 1.13) under Assumption 1.1, 0 < p <. Then there exist positive constants c and γ, such that the function 3.14) ϕ = logu satisfies the gradient estimate 3.15) Dϕ = σ ij ϕ i ϕ j cθ γ t [0,T ). Proof. In case p > 1 this holds with γ = 1 2, cf. [12, Lemma 3.7]. In case p = 1 this follows from [8, Lemma 2.5]. In case p < 1 this follows from the formula [12, 3.45)], where one should also note [12, 3.41)], as well as the spherical growth ) 1 1 p 1 p 3.16) Θt, r) = n p t+r1 p, cf. [12, 3.11)]. From these observations we deduce, that the pinching of the hypersurfaces actually improves Proposition. Let x be the solution of 1.13) under Assumption 1.1, 0 < p <. Then there exist positive constants c and γ, such that the principal curvatures κ i of the flow hypersurfaces satisfy the pointwise estimate 3.17) κ i κ j ) 2 ch 2+γ t [0,T ). Proof. For this proof norms of tensors are formed with respect to σ ij, unless stated otherwise. The function logũ is bounded in C S n ), cf. [12, Lemma 5.1, Thm. 5.2]. Thus, via interpolation, compare [10, Cor. 6.2] and Proposition 3.4, we obtain 3.18) D 2 ϕ 2 c Dϕ D 3 ϕ cθ γ t [0,T ). The rescaled second fundamental form h i j = Θhi j satisfies 3.19) hi j = v 1 ũ 1 δ i j σik v 2 ϕ i ϕ k )ϕ kj ), cf. [12, 5.2)] and [9, Lemma 2.7.6]. Thus 3.20) h i j δ i j cθ γ 2, where we also used formula [12, 3.17)] and Proposition 3.4. Rescaling backwards yields 3.21) κ i Θ 1 cθ 1+γ 2), hence we obtain the result in view of 3.22) 0 < c 1 ΘH c. The final pinching improvement will allow us to derive asymptotical roundness of the flow hypersurfaces Proposition. Let x be the solution of 1.13) under Assumption 1.1, 0 < p <. Then for all δ < 4+2p there exists a constant c = c δ > 0, such that the principal curvatures κ i satisfy the pointwise estimate 3.23) κ i κ j ) 2 ch δ t [0,T ).

10 10 JULIAN SCHEUER Proof. Using Proposition 3.5 it suffices to show this for δ > 2. From 2.21) and 2.22) we obtain, that 3.24) w = A 2 1 n H2 satisfies 3.25) ẇ Φ F kl w kl = 2Φ F kl h rk h r lw 2Φ F Φ) h i kh k jh j i 1 ) n A 2 H +2Φ kl,rs j h kl;i h rs; h i j 1 ) n Hδi j 2Φ F kl h i j;kh j i;l 1 ) n H kh l andthus, forpositiveconstantscandδ > 2yettobechosen,weobtaintheevolution equation for 3.26) z = w ch δ, namely 3.27) ż Φ F kl z kl = 2Φ F kl h rk h r l z cδ 2)Φ F kl h rk h r l Hδ 2Φ F Φ) h ik hkj hji 1n A 2 H cδ2 ) Hδ 1 A 2 +2Φ kl,rs j h kl;i h rs; h i j 1 n Hδi j cδ ) 2 Hδ 1 δj i 2Φ F kl h i j;kh j i;l 1 ) n H kh l +cδδ 1)H δ 2 Φ F kl H k H l. From Proposition 3.5 we find 0 < t 0 < T, such that w ) ) max H 2,κ n < σ := δ α t [t 0,T ), nn 1) where α δ >> 1 will be chosen appropriately later. Thus t 0 will only depend on δ, p and M 0 as well and thus we may define σ 3.29) c = inf H δ 2. M t0 Note, that due to [4, Lemma 2.2], M t, t t 0, are strictly convex. On M t0 we have 3.30) z = w ch δ = H 2 w H 2 chδ 2) < 0. We wish to show, that this remains valid up to T. Thus suppose t 1 > t 0 to be the first time, such that there exists ξ 1 M t1, such that 3.31) zt 1,ξ 1 ) = 0. Define 3.32) ǫ := ch δ 2 t 1,ξ 1 ), then there holds 3.33) 0 < ǫ < σ,

11 PINCHING AND ASYMPTOTICAL ROUNDNESS FOR INVERSE CURVATURE FLOWS 11 due to 3.28). From 3.27) we obtain at t 1,ξ 1 ), that 3.34) 0 cδ 2)Φ F kl h rk h r lh δ 2Φ F Φ) h ik hkj hji 1n A 2 H cδ2 ) Hδ 1 A 2 +2Φ kl,rs j h kl;i h rs; h i j 1 n Hδi j cδ ) 2 Hδ 1 δj i 2Φ F kl h i j;k hj i;l 1 n H kh l )+cδδ 1)H δ 2 Φ F kl H k H l. From [4, Lemma 2.3] we have at t 1,ξ 1 ), note that w = ǫh 2, 3.35) ) 1 1 h i k hk j hj i )H A n +ǫ 2 ǫ n +ǫ 1 nn 1)ǫ)H 3 = ǫ 1 ) nn 1)ǫ A 2 H > 0 and we have 3.36) g kl h i j;k hj i;l 1 n H kh l ) = D A 1 ) 2 n Hg 2n 1) DA 2 3n 2n 1) nn+2) DH 2, cf. [4, Lemma 2.1]. In view of the concavity of F we have F H, [9, Lemma ], and thus from 3.34) we obtain 3.37) 0 2Φ F Φ) ǫ 2 ) nn 1)ǫ A 2 H ǫδ ) 2 A 2 H p ǫδ 2) p+1 Φ F Φ) A 2 H p ǫδ 2) p+1 Φ F Φ)F kl g kl )h rk h r lh +2HΦ kl,rs j h kl;i h rs; H 1 h i j 1 n δi j ǫδ ) 2 δi j 2n 1) nn+2) Φ DH 2 2n 1) Φ DA 2 2Φ F kl g kl ) h ij;kh ji;l 3n 1n ) H kh l +ǫδδ 1)Φ DH 2 +ǫδδ 1)Φ F kl g kl )H k H l. In view of 3.28) and due to to the fact that 3.38) F kl g kl 0, we may without loss of generality enlarge t 0 and α, such that the terms involving curvature derivatives are absorbed by the terms 3.39) 2n 1) nn+2) Φ DH 2 and 2n 1) Φ DA 2. 3n

12 12 JULIAN SCHEUER In this case we obtain at t 1,ξ 1 ) ) p+2 0 2Φ F Φ)ǫ A 2 δ H p+1 δ α 2 2p+1) 3.40) p ǫδ 2) p+1 Φ F Φ)F kl g kl )h rk h r lh < 0, if we choose 3.41) δ < 4+2p, α = αp,δ) large enough and again t 0 larger to ensure, that the term involving F kl g kl can be absorbed by the strictly negative, remaining part of the first line in 3.40). This contradiction shows, that z will remain negative up to the time T, which yields the result. 4. Oscillation decay Let ρ + t) denote the circumradius of M t, i.e. the radius of the smallest ball in R n+1 enclosing M t and analogously ρ t) the inradius of M t, the radius of the largest ball in R n+1 enclosed by M t. In this section we prove in the cases described in ii) and iii) of Theorem 1.2, that ρ + ρ converges to zero and that we find an expanding family of geodesic spheres S t with radii R t the flow hypersurfaces M t fit themselves to, 4.1) distm t,s t ) < cr α t for some α > 0. Note that the R t represent a suitable choice of the Θt). Let ˆM t denote the convex body defined by M t, which is well defined for large t. For an interior point y intm t ) let u y denote the graph representation of M t around the standard sphere centered in y, 4.2) M t = {u y x),x): x S n y)} Proposition. Let x be the solution of 1.13) under Assumption 1.1, 1 < p <. Then there holds 4.3) ρ + t) ρ t) oscu yt cθ α t [0,T ) for suitable α > 0, where y t is the center of mass of M t. Proof. First note, that Θ is still an arbitrary rescaling factor as in Proposition 3.2. From 3.23) we deduce, that the rescaled principal curvatures κ i = Θκ i satisfy 4.4) κ i κ j ) 2 c H 2 H δ 2 c H 2 Θ 2 δ for suitable δ > 6. Thus the traceless second fundamental form 4.5) Ã = Ã 1 n H g satisfies the pointwise estimate 4.6) Ã 2 c H 2 Θ β ) δ 2 β, where β > 1 is chosen, such that 4.7) δ 2 β > 4.

13 PINCHING AND ASYMPTOTICAL ROUNDNESS FOR INVERSE CURVATURE FLOWS 13 Then the M t satisfy the assumptions of [17, Thm. 1.1] for large t, also compare [17, Rem 4.2]. We deduce the existence of geodesic spheres Sỹ t ), such that 4.8) dist M t, Sỹ t )) < Θ β for all large t and after rescaling 4.9) distm t,sy t )) < Θ 1 β, from which the claim follows. Incaseofsurfaceevolution,n = 2,wecanproveasimilarresultfor0 < p Proposition. Let x be the solution of 1.13) under Assumption 1.1. Let n = 2 and 0 < p 1. Then we have for large t, 4.10) ρ + t) ρ t) oscu qt cθ α, where α = p 2 and q t is the Steiner point of M t. Proof. In [2, Prop. 4, Lemma 5], also compare [1, Thm. 5.1], it was shown, that the support function 4.11) ū qt = x q t,ν with respect to the Steiner point 4.12) q t = 1 4π satisfies 4.13) Since x q t,ν 1 ˆ 8π ˆ M t H M t Kx 4.14) M t cθ 2 and 4.15) κ 1 κ 2 cθ 2+p 2 ), we obtain the result, also having in mind that 4.16) oscu q oscū q, compare [12, 3.22), 3.23)]. c κ 1 κ 2 M t. In order to find an optimally fitted spherical flow, we need the centers of mass y t from Proposition 4.1 and the Steiner points q t from Proposition 4.2 to converge Lemma. The centers of mass y t and the Steiner points q t from Proposition 4.1 and Proposition 4.2 converge in R n+1. In particular we have for α as in the propositions 4.1 and 4.2, that 4.17) y t Q cθ α for a limit Q R n+1 and similarly for q t. Proof. This is a standard argument, using that the oscillation of the support function with respect to a fixed point is decreasing, cf. [16, Thm. 3.1], originally proved by Chow and Gulliver, [5]. The argument is performed in detail in [18, Lemma 7.5].

14 14 JULIAN SCHEUER We finish this paper by showing, that the flow actually becomes close to a flow of spheres Theorem. Let x be the solution of 1.13) under Assumption 1.1. If 0 < p 1, assume n = 2. Then there exists a geodesic sphere S R Q), where Q is the limit from Lemma 4.3, such that the spherical leaves S t of the initial value problem ẏ = ) F pν y0,m) = S R Q) and the flow hypersurfaces M t of the flow x satisfy 4.19) distm t,s t ) < cr α t, for suitable α > 0, where R t is the radius of S t. Proof. In case p > 1, R is determined by the requirement, that the spherical flow exists as long as the flow x. Then we must have 4.20) S t M t, compare the arguments at the end of the proof of [19, Lemma 5.1]. The result follows from the propositions 4.1 and 4.3. In case p 1 we need a different argument to show, that there exists an expanding flow of spheres with the property 4.20), since we have T = and R is not determined clearly. Recall 3.16), that for initial radius r the radius R of a sphere evolves according to ) 1 1 p 1 p 4.21) Rt, r) = n p t+r1 p, if p 1 and 4.22) Rt,r) = re t n, if p = 1. We see, that in any case 4.23) R t = Rt, ) is an increasing diffeomorphism from 0, ) onto its image p < 1 and 0, ) in case p = 1. Define sequences 4.24) Rk = R 1 k supuk, )), 4.25) Rk = R 1 k infuk, )) and 4.26) R k = 1 2 R k + R k ). There holds 4.27) S k k M k, 1 p n t ) 1 ) 1 p, in case p where Sk k denotes the spherical leave at time k with initial radius Rk. Since in case p < 1 ) p d 1 p 4.28) dr R kr) = n p k 1 p +r1 p r p and in case p = ) d dr R kr) = e k n,

15 PINCHING AND ASYMPTOTICAL ROUNDNESS FOR INVERSE CURVATURE FLOWS 15 d dr R k is uniformly bounded from below and since 4.30) oscu 0, we obtain, at least for subsequences, that R k, R k and R k all converge to the same limit R. We claim, that the initial sphere S R around Q leads to a spherical flow satisfying 4.20). Otherwise there existed a time k 0, such that without loss of generality 4.31) Rk 0,R ) < infuk 0, ). By continuity of ODE orbits with respect to initial values on compact intervals, there is R > R, such that 4.32) Rk,R ) < Rk, R) < infuk, ) k k 0, where we also used the maximum principle. Applying R 1 k we find 4.33) R < R < R k k k 0, since R 1 k is increasing with respect to r. This is a contradiction to R k R. So the spherical leaves of the flow with initial value S R Q) intersect the M t for all large times and due to the oscillation estimates we obtain the desired result. 5. Concluding remarks and open questions The pinching estimates, Proposition 3.6, turned out to improve, whenever p becomes larger. This fact is somewhat surprising, since the evolution equation of the gradient function 5.1) v 2 = 1+ Du 2 does not allow to apply the classical maximum principle, also compare the proof of [12, Lemma 3.6], so one could expect that it should become harder to control oscillations. As we have seen, however, the equation for the traceless second fundamental form serves as a way out. Unfortunately, due to the lack of a sufficient pinching in case p 1, recall that we obtain δ < 4 + 2p 6, we could not treat the case n > 2, 0 < p 1. There are at least three ways to resolve this problem, which are worth a try. Either one improves the pinching to δ > 6, one sharpens the results in [17], such that the pinching δ < 4 + 2p will be sufficient, or one shows, that the methods from [2] apply in higher dimensions as well. However, scanning the literature we were not able to find a result like this. In addition it would certainly be interesting to find the optimal α in Theorem 4.4. References 1. Ben Andrews, Contraction of convex hypersurfaces in Euclidean space, Calc. Var. Partial Differ. Equ ), no. 2, , doi: /bf , Gauss curvature flow: the fate of the rolling stones, Invent. Math ), no. 1, , doi: /s , Pinching estimates and motion of hypersurfaces by curvature functions, J. Reine Angew. Math ), 17 33, doi: /crelle Ben Andrews and James McCoy, Convex hypersurfaces with pinched principal curvatures and flow of convex hypersurfaces by high powers of curvature, Trans. Am. Math. Soc ), no. 7, , doi: /s x.

16 16 JULIAN SCHEUER 5. Bennett Chow and Robert Gulliver, Aleksandrov reflection and nonlinear evolution equations, I: The n-sphere and n-ball, Calc. Var. Partial Differ. Equ ), no. 3, , doi: /bf Bennett Chow and Dong-Ho Tsai, Expansion of convex hypersurfaces by nonhomogeneous functions of curvature, Asian J. Math ), no. 4, , Nonhomogeneous Gauss curvature flows, Indiana Univ. Math. J ), no. 3, , doi: /iumj Claus Gerhardt, Flow of nonconvex hypersurfaces into spheres, J. Differ. Geom ), no. 1, , Curvature problems, vol. 39, Intern. Press, Somerville, MA, , Inverse curvature flows in hyperbolic space, J. Differ. Geom ), no. 3, , Curvature flows in the sphere, preprint, 2013, arxiv: v3. 12., Non-scale-invariant inverse curvature flows in Euclidean space, Calc. Var. Partial Differ. Equ ), no. 1-2, , doi: /s x. 13. Richard S. Hamilton, Three-manifolds with positive Ricci curvature, J. Differ. Geom ), no. 2, Nina Ivochkina, Thomas Nehring, and Friedrich Tomi, Evolution of starshaped hypersurfaces by nonhomogeneous curvature functions, Algebra i Anal ), no. 1, Qi-Rui Li, Surfaces expanding by the power of the Gauss curvature flow, Proc. Amer. Math. Soc ), no. 11, , doi: /s James McCoy, The surface area preserving mean curvature flow, Asian J. Math ), no. 1, Julian Scheuer, Quantitative oscillation estimates for almost-umbilical closed hypersurfaces in Euclidean space, preprint, 2014, arxiv: Oliver C. Schnürer, Surfaces expanding by the inverse Gauss curvature flow, arxiv, 2006, arxiv:math/ v2. 19., Surfaces expanding by the inverse Gauß curvature flow, J. Reine Angew. Math ), , doi: /crelle Knut Smoczyk, A representation formula for the inverse harmonic mean curvature flow, Elem. Math ), no. 2, John Urbas, On the expansion of starshaped hypersurfaces by symmetric functions of their principal curvatures, Math. Z ), no. 1, , doi: /bf , An expansion of convex hypersurfaces, J. Differ. Geom ), no. 1, Dr. Julian Scheuer, Ruprecht-Karls-Universität, Institut für Angewandte Mathematik, Im Neuenheimer Feld 294, Heidelberg, Germany address: scheuer@math.uni-heidelberg.de