arxiv: v1 [math.dg] 30 Mar 2018

Transcription

1 arxiv: v [math.dg] 30 Mar 08 UNIQUENESS OF CONVEX ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS SIMON BRENDLE AND KYEONGSU CHOI Abstract. In this paper, we consider noncompact ancient solutions to the mean curvature flow in R n+ (n 3) which are strictly convex, uniformly two-convex, and noncollapsed. We prove that such an ancient solution is a rotationally symmetric translating soliton.. Introduction Throughout this paper, we fix an integer n 3. Our goal in this paper is to classify all noncompact ancient solutions to mean curvature flow in R n+ which are convex, uniformly two-convex, and noncollapsed: Theorem.. Let M t, t (,0), be a noncompact ancient solution of mean curvature flow in R n+ which is strictly convex, uniformly two-convex, and noncollapsed. Then M t is a rotationally symmetric translating soliton. If we evolve a closed, embedded, two-convex hypersurface by mean curvature flow, then results of Brian White [0],[] (see also [5], Theorem.0) imply that any blow-up limit is an ancient solution which is weakly convex, uniformly two-convex, and noncollapsed. If we combine By combining this result with Theorem., we obtain the following result: Corollary.. Consider an arbitrary closed, embedded, two-convex hypersurface in R n+, and evolve it by mean curvature flow. At the first singular time, the only possible blow-up limits are shrinking round spheres; shrinking round cylinders; and the unique rotationally symmetric translating soliton.. Asymptotic analysis as t Suppose that M t, t (,0), is a noncompact ancient solution of mean curvature flow in R n+ which is strictly convex, uniformly two-convex, and noncollapsed. We consider the rescaled flow M τ = e τ M e τ. Moreover, we denote by Ω τ the region enclosed by M τ. The surfaces M τ move with velocity (H x,ν )ν. Given any sequence τ j, Theorem. in [5] implies that a subsequence of the surfaces M τj converges in C loc to a cylinder of radius (n ) with axis passing through the origin. Let us The first author was supported by the National Science Foundation under grant DMS and by the Simons Foundation.

2 SIMON BRENDLE AND KYEONGSU CHOI denote by Σ = {x +...+x n = (n )} the cylinder of radius (n ) around the x n+ -axis. Proposition.. For each τ, we have e x 4 M τ Σ e x 4. Proof. Byassumption, thehypersurface M τ isconvex. Consequently, Mτ is outward-minimizing. This implies area( (Ω τ B r (p))) area( B r (p)) for all p Ω τ and all r > 0. Therefore, area( M τ B r (p)) Cr n for all p R n+ and all r > 0. We next consider an arbitrary sequence τ j. After passing to a subsequence, the surfaces M τj converge in Cloc to a cylinder of radius (n ) with axis passing through the origin. Consequently, e x 4 M τj as j. On the other hand, the function τ Σ e x 4 M τ e x 4 is monotone decreasing in τ by work of Huisken [7]. From this, the assertion follows. In view of the discussion above, there exists a function S(τ) taking values in SO(n+) such that the rotated surfaces M τ = S(τ)M τ converge to the cylinder Σ in Cloc. Hence, we can find a function ρ(τ) with the following properties: lim τ ρ(τ) =. ρ(τ) ρ (τ) 0. The hypersurface M τ can be written as a graph of some function u(,τ) over Σ B ρ(τ) (0), so that {x+u(x,τ)ν Σ (x) : x Σ B ρ(τ) (0)} M τ, where ν Σ denotes the unit normal to Σ and u(,τ) C 4 (Σ B ρ(τ) (0)) o()ρ(τ). The hypersurfaces Mτ move with velocity (H x,ν A(τ)x,ν )ν, where A(τ) = S (τ)s(τ) so(n+). Let ϕ denote a nonnegative smooth cutoff function satisfying ϕ = on [, ] and ϕ = 0 outside [,]. By a suitable choice of S(τ), we can arrange that A(τ) = 0 and u(x,τ) satisfies the orthogonality relations xn+ ) e x 4 Ax,ν Σ u(x,τ)ϕ( = 0 ρ(τ) Σ B ρ(τ) (0) for every matrix A so(n+). Moreover, wecan arrange that M τ {x n+ 0} is noncompact and M τ {x n+ 0} is compact.

3 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS 3 Proposition.. There exists a constant L 0 such that for all L [L 0,ρ(τ)] e x 4 e x 4 e x 4 ω,ν fol. M τ { x n+ L} Σ { x n+ L} τ { x n+ =L} Here, ω = (0,...,0,) denotes the vertical unit vector in R n+, ν fol denotes the unit normal to the shrinker foliation in [], and τ denotes the region between Σ and M τ. Proof. Analogous to []. Proposition.3. There exists a constant L 0 such that e x 4 Σ u(x,τ) C Σ { x n+ L } e x 4 u(x,τ) and e x 4 u(x,τ) CL e Σ { L x n+ L} Σ { x x 4 u(x,τ) n+ L } for all L [L 0,ρ(τ)]. Proof. By Proposition., we have e x 4 M τ Σ e x 4 0. Lemma 4. in [] implies that ω,ν fol CL x +...+x n (n ) for each point x τ { x n+ = L}. This gives e x 4 ω,ν fol e x 4 x +...+x n τ { x N+ =L} hence e x 4 M τ { x n+ L} Σ { x n+ L} τ { x n+ =L} CL by Proposition.. We next observe that e x 4 M τ { x n+ L} ( = L L e z 4 [e ( (n )+u) S n Σ { x n+ =L} e x 4 CL e x 4 4 ( (n )+u) n ( (n )+u) (+ e n (n ) n ]) dz. e x 4 u, Σ { x n+ =L} e x 4 u ( u ) ) + z Sn u

4 4 SIMON BRENDLE AND KYEONGSU CHOI By assumption, the height function u satisfies u + u z + Sn u o(). From this, we deduce that e x 4 M τ { x n+ L} L ( z 4 L S n e L π e z 4 L 0 [e ( (n )+u) e n e x 4 4 ( (n )+u) n [ Cu + C Σ u ] dθdz (n ) n + C Σ u ]) dz where C > 0 is a large constant that depends only on n. Putting these facts together, we conclude that e x 4 Σ u C e x 4 u +CL Σ { x n+ =L} On the other hand, using the divergence theorem, we obtain L e x 4 u = div Σ (e x 4 u x tan ) Σ { x n+ =L} and consequently L C = To summarize, we have shown that e x 4 Σ u CL e x 4 e x 4 e x 4 u +L e x 4 u Σ { x n+ =L} If L is sufficiently large, this gives e x 4 Σ u C e x 4 u. ( u ) x n+ u +u x tan, Σ u ( u 4 x n+u +4 Σ u ), e x 4 Σ u +CL Σ { x e x 4 u. n+ L } e x 4 Σ u +C e x 4 u. Σ { x n+ L } Σ { x n+ L } e x 4 u.

5 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS 5 This proves the first statement. Using the inequality ( 0 e x 4 u 4 x n+u +4 Σ u ), the second statement follows. Let us denote by H the space of all functions f on Σ such that f H = e x 4 f <. We define an operator L on the cylinder Σ by This can be rewritten as Σ Lf = Σ f xtan, Σ f +f. Lf = z f + (n ) S n f z z f +f. Let Y m be a basis of eigenfunctions of Sn, and let λ m denote the corresponding eigenfunctions. Note that λ 0 = 0, λ =... = λ n = n, and λ n+ = n. Moreover, Y 0 =, Y = x(,...,y n = x n, up to scaling. The eigenfunctions of L are of the form H z l ) Ym, where H l denotes the Hermite polynomial of degree l. The corresponding eigenvalues are given by l λm (n ). Thus, there are n + eigenfunctions that correspond to positive eigenvalues of L, and these are given by,z,x,...,x n, up to scaling. The span of these eigenfunctions will be denoted by H +. Moreover, there are n + eigenfunctions of L with eigenvalue 0, and these are given by z,x z,...,x n z, up to scaling. The span of these eigenfunctions will be denoted by H 0. The span of all remaining eigenfunctions will be denoted by H. With this understood, we have Lf,f H f H for f H +, Lf,f H = 0 for f H 0, Lf,f H n f H for f H. As in [], we can show that the function u(x,τ) satisfies τ u = Lu+E + A(τ)x,ν Σ, where E is an error term satisfying E o() u +o() Σ u +o() A(τ). We next define û(x,τ) = u(x,τ)ϕ ( x n+ ) ρ(τ). The function û(x,τ) satisfies ( τû = Lû+Ê + A(τ)x,ν xn+ ) Σ ϕ, ρ(τ)

6 6 SIMON BRENDLE AND KYEONGSU CHOI where Ê is an error term satisfying Ê H o() û H + o() A(τ). The orthogonality relations used to define S(τ) imply A(τ) o() û H. This gives H τû Lû o() û H. We now define U + (τ) := P + û(,τ) H, U 0 (τ) := P 0 û(,τ) H, U (τ) := P û(,τ) H, where P +,P 0,P denote the orthogonal projections to H +,H 0,H, respectively. Then d dτ U +(τ) U + (τ) o()(u + (τ)+u 0 (τ)+u (τ)), d dτ U 0(τ) o()(u + (τ)+u 0 (τ)+u (τ)), d dτ U (τ) n U (τ)+o()(u + (τ)+u 0 (τ)+u (τ)). Clearly, U + (τ) + U 0 (τ) +U (τ) = û H 0 as τ. Hence, we can apply the ODE lemma of Merle and Zaag to conclude that U 0 (τ)+u (τ) o()u + (τ) or U + (τ) +U (τ) o()u 0 (τ) (cf. Lemma 5.4 in [] or Lemma A. in [9]). The second case can be ruled out as follows: Suppose U + (τ) +U (τ) û(,τ) o()u 0 (τ). Then û(,τ) H converges with respect to H to a linear combination of z,x z,...,x n z. The orthogonality relations used to define S(τ) imply that the limit is a non-zero multiple of z. Let A(z,τ) denote the area of the intersection Ω τ {x n+ = z}. By the Brunn-Minkowski inequality, the function z A(z,τ) n is concave. Since M τ is noncompact, it follows that the function z A(z,τ) n is monotone. Note that A(z,τ) = n S ( (n )+u(,τ)) n for z ρ(τ). Consequently, the function z S n [( (n ) +u(,τ)) n (n ) n ]dθ is n monotone. In particular, we either have ( [( (n )+u(,τ)) n ) (n ) n ] dz 3 S n ( [( (n )+u(,τ)) n ) (n ) n ] dz S n 3 ( [( (n )+u(,τ)) n ) (n ) n ] dz S n

7 or ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS ( [( (n )+u(,τ)) n ) (n ) n ] dz S ( n [( (n )+u(,τ)) n ) (n ) n ] dz S ( n [( (n )+u(,τ)) n ) (n ) n ] dz. S n However, this leads to a contradiction since sup u(,τ) 0 and û(,τ) û(,τ) H converges to a non-zero multiple of z. To summarize, we have shown that U 0 (τ)+u (τ) o()u + (τ). Substituting this back into the ODE for U + (τ) gives d dτ U +(τ) U + (τ) o()u + (τ). Consequently, for every ε > 0, we have U + (τ) o(e ( ε)τ ). Using the estimate U 0 (τ)+u (τ) o()u + (τ), we obtain û H = U +(τ)+u 0 (τ)+u (τ) o(e ( ε)τ ). Standard interpolation inequalities imply u(,τ) C 4 (S n [ 00,00]) o(e ( ε)τ ). Moreover, A(τ) o() û H o(e ( ε)τ ). Consequently, thelimitlim τ S(τ) exists. Without loss of generality, we may assume that lim τ S(τ) = id. Then S(τ) id o(e ( ε)τ ). This implies sup x x M +...+x n (n ) o(e ( ε)τ ). τ B 0 (0) In view of the convexity of Mτ, it follows that sup (x M τ { x n+ e 0} τ +...+x n ) (n )+e τ 0 if τ is sufficiently large. Let Σ a = {(x,...,x n,x n+ ) : x +...+x n = u a( x n+ ), a x n+ 0} be the self-similar shrinker constructed in []. By Lemma 4.4 in [], u a () (n ) a. Since M τ converges to Σ in C loc, the surface M τ {x 3 }encloses thesurfaceσ a {x 3 }if τ issufficiently large(depending on a). On the other hand, the estimate inf x Mτ B 0 (0) (x x n) (n ) o(e ( ε)τ ) guarantees that the boundary M τ {x 3 = } encloses the boundary Σ a {x 3 = } provided that τ is sufficiently large and a e ( ε)τ 4. By the maximum principle, the surface M τ {x 3 }

8 8 SIMON BRENDLE AND KYEONGSU CHOI encloses Σ a {x 3 } whenever τ is sufficiently large and a e ( ε)τ 4. This gives inf (x M τ { e 0 x τ +...+x n) (n ) e τ 0 3 } if τ is sufficiently large. An analogous argument gives inf (x M τ { x 3 e 0} τ +...+x n) (n ) e τ 0 if τ is sufficiently large. Putting these facts together, we conclude that sup x M τ { x 3 e 0} τ +...+x n (n ) e τ 0 if τ is sufficiently large. We now repeat the argument above, this time with ρ(τ) = e 00. τ As above, we consider the rotated surfaces Mτ = S(τ) M τ, where S(τ) is a function taking values in SO(n+). We write each surface M τ as a graph over the cylinder, so that {x+u(x,τ)ν Σ (x) : x Σ B e τ 00 (0)} M τ, where u(,τ) C 4 (Σ B τ (0)) O(e50). τ The matrices S(τ) are chosen so e 00 that the orthogonality relations Σ B e τ 00 (0) e x 4 Ax,ν Σ u(x,τ)ϕ(e τ 00 x n+ ) = 0 aresatisfiedforalla so(n+). Thenthefunctionû(x,τ) = u(x,τ)ϕ(e τ 00 x n+ ) satisfies H τû Lû O(e000) û τ H. Hence, if we define U + (τ) := P + û(,τ) H, U 0 (τ) := P 0 û(,τ) H, U (τ) := P û(,τ) H, then d dτ U +(τ) U + (τ) O(e000)(U τ + (τ)+u 0 (τ)+u (τ)), d dτ U 0(τ) O(e τ 000 )(U+ (τ)+u 0 (τ)+u (τ)), d dτ U (τ) U (τ)+o(e τ 000 )(U+ (τ)+u 0 (τ)+u (τ)). As above, the ODE lemma of Merle and Zaag (cf. Lemma 5.4 in []) gives U 0 (τ)+u (τ) o()u + (τ). This gives d dτ U +(τ) U + (τ) O(e τ 000)U + (τ),

9 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS 9 hence U + (τ) O(e τ ). This implies U 0 (τ) + U (τ) o()u + (τ) O(e τ ). From this, we deduce that û H O(e τ ), u(,τ) C 4 (S n [ 00,00]) O(e τ ), A(τ) O(e τ ), and S(τ) id O(e τ ). Consequently, sup x x M +...+x n (n ) O(e τ ). τ B 0 (0) 3. An improved barrier construction The results in the previous section imply that there exists a large constant K with the following property: if t is sufficiently large, then the crosssection ( t) (Mt {x n+ = ( t) }) lies outside the sphere {x +...+x n = ( (n ) K( t) ), x n+ = }. We now recall the self-similar shrinkers constructed in []. For a > 0 large, there exists a self-similar shrinker Σ a = {(x,...,x n,x n+ ) : x +...+x n = u a ( x n+ ), a x n+ 0} satisfying H = x,ν. Consequently, the hypersurfaces Σ a,t := ( t) Σ a +(0,...,0,Ka ) = {(x,...,x n,x n+ ) : x +...+x n = ( t)u a ( (x n+ Ka )( t) ), Ka a( t) x n+ Ka } evolve by mean curvature flow. Asin[], wecanusethehypersurfaceσ a,t {x n+ ( t) }asbarriers. In the limit as t, the rescaled surfaces ( t) M t converge in Cloc to the cylinder {x +...+x n = (n )}. Furthermore, the rescaled surfaces ( t) (Σ a,t {x n+ ( t) })convergetoσ a {x n+ }ast. Consequently, Σ a,t {x n+ ( t) } lies inside M t {x n+ ( t) } if t is sufficiently large (depending on a). By our choice of K, the cross-section lies outside the sphere ( t) (Mt {x n+ = ( t) }) {x +...+x n = ( (n ) K( t) ), x n+ = }. Moreover, the cross-section is a sphere ( t) (Σa,t {x n+ = ( t) }) {x +...+x n = u a (+Ka ( t) ), x n+ = }.

10 0 SIMON BRENDLE AND KYEONGSU CHOI Using Lemma 4.4 in [], we obtain u a () (n ) and u a () u a () a if a is sufficiently large. Since the function u a is concave, we obtain u a (+Ka ( t) ) ua ()+Ka ( t) (ua () u a ()) (n ) K( t) for t 4K a. Consequently, the cross-section Σ a,t {x n+ = ( t) } lies inside the cross-section M t {x n+ = ( t) } whenever t 4K a and a is sufficiently large. By the maximum principle, the hypersurface Σ a,t {x n+ ( t) }lies insidethehypersurfacem t {x n+ ( t) } whenever t 4K a and a is sufficiently large. For t = 4K a, the tip of Σ a,t has distance a( t) Ka = Ka = t 4K from the origin. Consequently, the intersection M t {x =... = x n = 0, x n+ t 4K } is nonempty if t is sufficiently large. In particular, limsup t H max (t) > 0. Since H max (t) is monotone increasing by the Harnack inequality (cf. [3]), we conclude that liminf t H max (t) > The neck improvement theorem Definition 4.. Let K = {K : n(n ) } be a collection of vector fields in R n+. We say that K is a normalized set of rotation vector fields if thereexists anorthonormal basis{j : n(n ) }ofso(n) so(n+), a matrix S O(n+) and a point q R n+ such that K (x) = SJ S (x q). Note that we do not require that the origin lies on the axis of rotation. Definition 4.. Let M t be a solution of mean curvature flow. We say that a point ( x, t) is ε-symmetric if there exists a normalized set K = {K : n(n ) } of rotation vector fields such that max K,ν H ε in the parabolic neighborhood ˆP( x, t,0,00). Lemma 4.3. We can find a large constant C and small constant ε 0 > 0 with the following property. Let M be a hypersurface in R n+, and assume that, after suitable rescaling, M is ε 0 -close (in the C 4 -norm) to a cylinder S [ 5,5] of radius. Suppose that K () = {K () and K () = {K () : n(n ) : n(n ) } } are two normalized sets of rotation vector fields such that max K (),ν H ε and max K (),ν H ε in a geodesic ball around x in M of radius H( x). Then inf ω O( n(n ) ) sup B 00H( x) ( x) max K() n(n ) β= See [8], pp , for the definition of ˆP( x, t,0,00). ω β K () β H( x) Cε.

11 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS Proof. Analogous to []. Theorem 4.4 (Neck Improvement Theorem). There exists a large constant L and a small constant ε with the following property. Suppose that M t is a solution of mean curvature flow. Moreover, suppose that ( x, t) is a point in space-time with the property that every point in ˆP( x, t,l,l ) lies at the center of an (ε,0,00)-neck and is ε-symmetric, where ε ε. Then ( x, t) is ε -symmetric. Proof. Step : Without loss of generality, we assume t = and n H( x, ) =. Given any point (x 0,t 0 ) ˆP( x,,l,l ), we can find a normalized set of rotation vector fields K (x 0,t 0 ) = {K (x 0,t 0 ) : n(n ) } such that max K (x 0,t 0 ),ν H ε on the parabolic neighborhood ˆP(x 0,t 0,0,00). Note that the axis of rotation depends on (x 0,t 0 ). Using Lemma 4.3, we obtain inf ω O( n(n ) ) sup B 00H( x) ( x) max K( x, ) n(n ) β= ω β K (x 0,t 0 ) β H( x) C(L)ε for each point (x 0,t 0 ) ˆP( x,,l,l ). Without loss of generality, we may assume sup max K( x, ) B K (x 0,t 0 ) H( x) C(L)ε 00H( x) ( x) for each point (x 0,t 0 ) ˆP( x,,l,l ). For abbreviation, we put K := K ( x, ). Without loss of generality, we may assume that the axis of rotation of K is the xn+ -axis; that is, K (x) = J x for some orthonormal basis {J : n(n ) } of so(n) so(n+). Step : In the parabolic neighborhood ˆP( x, t,l,l ), we can approximate M t by a cylinder Σ t = {x x n = (n )t, L x 3 L} in the C 4 -norm. Let us write M t as a graph over Σ t : { M t = (r(θ,z,t)θ,z) : θ S n, z [ L 4, L ]}, 4 where ( ε ) (n )t r(θ,z,t) (+ε ) (n )t. A straightforward computation gives ( ν = θ r Sn r, r ), +r Sn r +( r z z ) hence K J θ, Sn r,ν =, +r Sn r +( r z )

12 SIMON BRENDLE AND KYEONGSU CHOI where Sn r represents the gradient of the function r with respect to the angular variables. Hence, the estimate max K,ν H C(L)ε gives Sn r C(L)ε. Step 3: Let us fix an index {,..., n(n ) }. For each point (x 0,t 0 ) ˆP( x,,l,l ), the vector field K (x 0,t 0 ) satisfies K (x 0,t 0 ),ν Cε( t 0 ) on the parabolic neighborhood ˆP(x 0,t 0,0,00). There exist real numbers a,...,a n,b,...,b n (depending on (x 0,t 0 )) such that and a a n C(L)ε, b b n C(L)ε, K K (x 0,t 0 ),ν (a x +...+a n x n ) (b x +...+b n x n )z C(L)ε ε on theparabolicneighborhood ˆP(x 0,t 0,0,00). Consequently, the function u = K,ν satisfies u (a x +...+a n x n ) (b x +...+b n x n )z Cε( t 0 ) +C(L)ε ε on the parabolic neighborhood ˆP(x 0,t 0,0,00). The function u satisfies the evolution equation t u = M t u+ A u. Using standard interior estimates for parabolic equations, we obtain u + u + u C(L)ε on the parabolic neighborhood ˆP( x,, L, L ). This implies u t z u ( (n )t) S n u ( t) u C(L)ε ε for z [ L 4, L 4 ] and t [ L 6, ]. We denote by ũ the solution of the linear equation tũ = z ũ+ ( (n )t) S n ũ+ ( t) ũ in the parabolic cylinder {z [ L 4, L 4 the parabolic boundary { z = L 4 ], t [ L 6, ]} such that ũ = u on }. Then we have the estimate } {t = L 6 u ũ C(L)ε ε in the parabolic cylinder {z [ L 4, L 4 ], t [ L 6, ]}. We now perform separation of variables. For each m, we put v m (z,t) = ũ(θ,z,t)y m (θ)dθ. S n 4

13 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS 3 Then t v m(z,t) = λ m z v m(z,t)+ (n )t v m(z,t)+ ( t) v m(z,t). Hence, the rescaled function ˆv m (z,t) = ( t) λm (n ) v m (z,t) satisfies tˆv m(z,t) = z ˆv m(z,t). We first consider the case when m n+, so that λ m n. Using the estimate v m (z,t) (Cε+C(L)ε ε)( t), we obtain λm ˆv m (z,t) (Cε+C(L)ε ε)( t) (n ) in the parabolic cylinder {z [ L 4, L 4 deduce that m=n+ ], t [ L 6, ]}. Arguing as in [], we ˆv m (z,t) CL n ε+c(l)ε ε for z [ 0,0] and t [ 400, ]. We next consider the case when m n, so that λ m = n. Given any point (z 0,t 0 ) [ L 4, L 4 ] [ L 6, ], we can find real numbers a,...,a n,b,...,b n (depending on (x 0,t 0 )) such that and a a n C(L)ε, b b n C(L)ε, v m (z,t) (a m +b m z) Cε( t 0 ) +C(L)ε ε for z [z 0 ( t 0 ),z 0 +( t 0 ) ] and t [t 0,t 0 ]. Using interior estimates for the linear heat equation, we obtain v m z (z,t) Cε( t) +C(L)ε ε in the parabolic cylinder {z [ L 4, L 4 ], t [ L 6, ]}. Arguing as in [], we conclude that v m z (z,t) CεL +C(L)ε ε for z [ 0,0] and t [ 400, ]. Consequently, there exist real numbers A,...,A n,b,...,b n such that v m (z,t) (A m +B m z) CεL +C(L)ε ε for z [ 0,0] and t [ 400, ]. Finally, we consider the case m = 0. The function u = K,ν satisfies u K, r C(L)ε ε.

14 4 SIMON BRENDLE AND KYEONGSU CHOI This implies hence u(θ,z,t)dθ C(L)ε ε, S n v 0 (z,t) C(L)ε ε for z [ 0,0] and t [ 400, ]. Step 4: To summarize, for each {,..., n(n ) } we can find real numbers A,,...,A,n,B,,...,B,n such that and A, A,n C(L)ε, B, B,n C(L)ε, u (A, x +...+A,n x n ) (B, x +...+B,n x n )z CL n ε+c(l)ε ε for z [ 0,0] and t [ 400, ], where u (θ,z,t) := K,ν. Step 5: Recall that the vector field K is given by K (x) = J x, where J so(n) is an anti-symmetric n n matrix. Hence, the function u := K,ν satisfies u (θ,z,t)+ J θ, Sn r C(L)ε ε. For a point θ S n, we denote by θ,...,θ n the Cartesian coordinates of θ. A direct calculation gives hence J θ, Sn r = div Sn (r(θ,z,t)j θ), J θ, Sn r θ i = div Sn (r(θ,z,t)θ i J θ) r(θ,z,t) n J,ij θ j for i {,...,n}. Here, J,ij denote the components of the anti-symmetric matrix J. Putting these facts together, we obtain n u (θ,z,t)θ i +div Sn (r(θ,z,t)θ i J θ) r(θ,z,t) J,ij θ j C(L)ε ε j= for all i {,...,n}. We now integrate over θ S n. For abbreviation, let E i = r(θ,0, )θ i dθ S n and F i = [r(θ,, ) r(θ,, )]θ i dθ S n j=

15 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS 5 for i {,...,n}. The inequality Sn r C(L)ε implies E i, F i C(L)ε for i {,...,n}. Moreover, n max u (θ,0, )θ i dθ J,ij E j C(L)ε ε S n and max j= [u (θ,, ) u (θ,, )]θ i dθ S n n J,ij F j C(L)ε ε. On the other hand, using the estimate for u in Step 4, we obtain max u (θ,0, )θ i dθ c(n)a,i CL n ε+c(l)ε ε S n and max [u (θ,, ) u (θ,, )]θ i dθ c(n)b,i CL n ε+c(l)ε ε, S n where c(n) is a positive constant that depends only on the dimension. This gives n max A,i c(n) J,ij E j CL n ε+c(l)ε ε and max B,i c(n) j= n j= j= J,ij F j CL n ε+c(l)ε ε. Combining this with the estimate in Step 4, we finally conclude max K n,ν c(n) J,ij (E j x i +F j x i z) CL n ε+c(l)ε ε j= for z [ 0,0] and t [ 400, ]. Step 6: By the results in Step 4 and Step 5, we can find a normalized set of rotation vector fields K = { K : n(n ) } (with a different axis of rotation) such that max K,ν CL n ε+c(l)ε ε for z [ 0, 0] and t [ 400, ]. Note that the change in the axis of rotation is determined by the coefficients E i and F i defined in Step 5. Consequently, if we choose L sufficiently large, and ε is sufficiently small (depending on L), then we have max K,ν ε for z [ 0,0] and t [ 400, ]. This completes the proof of the Neck Improvement Theorem.

16 6 SIMON BRENDLE AND KYEONGSU CHOI 5. Proof of rotational symmetry In this section, we establish rotational symmetry. Let M t, t (,0), be a noncompact ancient solution of mean curvature flow in R n+ which is strictly convex, uniformly two-convex, and noncollapsed. As in [], if t is sufficiently large, there exists a unique point p t M t where the mean curvature attains its maximum. Moreover, this is a non-degenerate maximum in the sense that the Hessian of the mean curvature at p t is negative definite. Let ε and L be the constants in the Neck Improvement Theorem. Recall that H max (t) is uniformly bounded from below. By Proposition 3. in [6], we can find a large constant Λ such that the following holds. If x is a point on M t such that x p t Λ, then x lies at the center of an (ε,0,00)-neck and furthermore H(x,t) x p t 0 6 L. Proposition 5.. There exists a number T with the following property. If t T, x M t and x p t j 400 Λ, then (x,t) is j ε -symmetric. Proof. This follows by a repeated application of the Neck Improvement Theorem. The argument is analogous to []. Theorem 5.. The surface M t is rotationally symmetric for each t T. Proof. The argument is similar to []. We fix a time t T. For each j, let Ω (j) be the set of all points (x,t) in space-time satisfying t t and x p t j 400 Λ. If j is sufficiently large, then H(x,t) n j 400 for each point(x,t) Ω (j). Proposition5. guarantees that every point(x,t) Ω (j) is j ε -symmetric. Consequently, given any point (x,t) Ω (j), we can find a normalized set of rotation vector fields K (x,t) = {K (x,t) : n(n ) } such that max K (x,t),ν H j ε on ˆP(x,t,0,00). Lemma 4.3 allows us to control how the axis of rotation of K (x,t) varies as we vary the point (x,t). More precisely, if (x,t ) and (x,t ) are in Ω (j) and (x,t ) ˆP(x,t,,), then inf ω O( n(n ) ) sup B 0H(x,t ) (x ) C j H(x,t ). max K(x,t ) n(n ) β= ω β K (x,t ) β Therefore, we can find a normalized set of rotation vector fields K (j) = {K (j) : n(n ) } such that the following holds: if (x,t) is a point in Ω (j) satisfying 0 t t j inf max ω O( n(n ) ) 00, then K(j) n(n ) β= ω β K (x,t) β C j

17 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS 7 at the point (x,t). From this, we deduce that max K (j),ν C j for all points (x,t) Ω (j) satisfying 0 t t 00. j Finally, we note that max K (j),ν C j 00 whenever (x,t) Ω (j) and t t = 00. j For each {,..., n(n ) }, we define a function f (j) : Ω (j) R by f (j) := exp( 00( t t)) j K(j),ν. H j 400 The function f (j) satisfies the evolution equation t f(j) = f(j) + ( H, f (j) j A H j H j 400 On the set Ω (j), we have A j H H j n H j 400 By the maximum principle, we obtain sup (x,t) Ω (j),0 t t j 00 { max C j 4 f (j) (x,t) sup f (j) (x,t) Ω (j),0 t t 00 j (x,t), ) j 400 f (j). j 400 n H j sup (x,t) Ω (j), t t= j 00 f (j) (x,t) } for each {,..., n(n ) }. Thus, we conclude that K (j),ν C j 4 for all points (x,t) Ω j with t = t. Sending j, it follows that M t is rotationally symmetric. 6. Uniqueness of ancient solutions with rotational symmetry Let M t be an ancient solution to the mean curvature flow in R n+ which is strictly convex, uniformly two-convex, and noncollapsed. We may assume that M t is symmetric with respect to the x n+ -axis. Let us write M t as a graph of a rotationally symmetric function f on R n. The function f satisfies the equation f t = f rr +fr + n f r. r Note that f(r,t) may not be defined for all r. Conversely, we may write the radius r as a function of (z,t), so that Then r(z, t) satisfies the equation f ( r(z,t),t ) = z. r t = r zz +r z n. r

18 8 SIMON BRENDLE AND KYEONGSU CHOI Since M t is convex, we have r > 0, r z > 0, r t < 0, r zz < 0. Without loss of generality, we assume that the tip of M 0 is at the origin. In other words, f(0,0) = 0 and r(0,0) = 0. As in [], let q t = (0,...,0,f(0,t)) denote the tip of M t, and let H tip (t) denote the mean curvature of M t at the tip q t. By the Harnack inequality, the limit H := lim t H tip (t) exists. Using results in Section 3, we obtain q t c( t) for t sufficiently large. This gives H > 0. We first prove that f t (r,t) is monotone increasing in t. Proposition 6.. We have f tt (r,t) 0 everywhere. Proof. This is a consequence of Hamilton s Harnack inequality for mean curvature flow [3]. See [] for details. We next show that f t (r,t) is bounded from below. Proposition 6.. We have f t (r,t) H at each point in space-time. Moreover, for each R > 0, lim sup f t (r,t) = H. t r R Proof. Consider the flow M (j) t := M t+tj q tj for some arbitrary sequence of times t j. By Theorem.0 in [5], the sequence M (j) t converges in Cloc to a smooth eternal solution, which is rotationally symmetry. At each point in time, the mean curvature at the tip of the limit solution equals H. Consequently, we are in the equality case in the Harnack inequality. By [3], the limit solution must be a self-similar translator which is moving with speed H. This gives lim sup f t (r,t j ) H = 0 j r R for every R > 0. Since f tt (r,t) 0 by Proposition 6., it follows that f t (r,t) H for all r and t. Using the maximum principle, we can show that f t (r,t) is monotone increasing in r. Proposition 6.3. We have f tr (r,t) 0 everywhere. Proof. Consider a time t 0 and a radius R such that f(r,t 0 ) is defined. Denote by Q T the parabolic cylinder Q T = {x +...+x n R,t [T,t 0 ]}. It follows from the evolution equations for H and ω,ν that the maximum sup Qt H ω,ν must be attained on the parabolic boundary of Q T. This

19 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS 9 gives sup H ω,ν x +...+x n R,t=t 0 { max sup x +...+x n =R,T t t 0 H ω,ν, sup H ω,ν }. x +...+x n R,t=T Since f t (r,t) = H ω,ν, it follows that { } supf t (r,t 0 ) max sup f t (R,t), supf t (r,t) r R T t t 0 r R { } = max f t (R,t 0 ), supf t (r,t). r R Passing to the limit as T, we obtain sup r R f t (r,t 0 ) f t (R,t 0 ), as claimed. By assumption, M t is strictly convex, uniformly two-convex, and noncollapsed. Moreover, H tip (t) is bounded from below by H. Hence, there exists a small constant ε 0 (0, 0 ) and a decreasing function Λ : (0,ε 0] R such that given any ε (0,ε 0 ], if x q t Λ(ε), then ( x, t) is a center of ε-neck (cf. [6], Proposition 3.). We recall three estimates from []. These results were stated for n = in [], but the arguments carry over directly to higher dimensions. Lemma 6.4. In every ε 0 -neck, rr z = r f r (+ε 0 )(n )H. Lemma 6.5. There exists a constant C such that r m m z m r C holds for m =,,3 at center of ε 0 -necks with r. Proposition 6.6. If r C 0 then 0 r zz (z,t) C r(z,t) 5. For each z < 0, we define a real number T(z) by r(z,t) > 0 for t < T(z), lim r(z,t) = 0. t T (z) The following result allows us to estimate r(z,t) in terms of T (z) t. Corollary 6.7. For z < 0, we have (n )[T (z) t] r(z,t) (n )[T (z) t]+8c [T (z) t] 4 +C 0. Proof. Letusfixapoint( z, t). Theinequality(r +(n )t) t = rrzz +rz implies r( z, t) [T ( z) t]. < 0

20 0 SIMON BRENDLE AND KYEONGSU CHOI Moreover, ifr C 0, then(r +(n )t) t = rrzz C +rz r 3 byproposition 6.6. Let t 0 T( z) be chosen so that r( z,t 0 ) = C 0. Then r ( z, t) = C 0 +(n )(t 0 t) t0 t (r ( z,t)+(n )t) t dt t0 C0 +(n )(t 0 t)+c r( z,t) 3 dt t0 C0 +(n )(t 0 t)+c [T ( z) t] 3 4 dt C 0 +(n )(t 0 t) 8C [T ( z) t 0 ] 4 +8C [T ( z) t] 4 C 0 +(n )[T ( z) t]+8c [T ( z) t] 4. This proves the assertion. t t Lemma 6.8. Let δ be an arbitrary positive real number. Then provided that t is sufficiently large. r(0,t)r z (0,t) (n )(H δ) Proof. We may assume that R = r(0,t) C 0. Then every point (x,t) with x n+ = 0 lies at the center of an ε 0 -neck. Consequently, r(z,t) R ε 0 R for z R. Moreover, we have rr z ( + ε 0 )H by Lemma 6.4, and (rr z ) z = rr zz +r z C 3 R 3 for some constant C 3 by Proposition 6.6. Hence, if R 4C 3 δ, then we have r(z,t)r z (z,t) r(0,t)r z (0, t) C 3 R δ for all z [ R,R]. Using Corollary 6.7, we obtain and r( R,t) (n )[T ( R) t], r( R,t) (n )[T ( R) t], r( R,t) (n )[T ( R) t]+8c [T ( R) t] 4 +C 0 From this, we deduce that (n )[T ( R) t]+8c r( R,t) +C 0 (n )[T ( R) t]+8c R +C 0. r( R,t) r( R,t) (n )[T ( R) T ( R)] 8C R C 0. Moreover, if R is sufficiently large, then T( R) T( R) ( H δ ) R.

21 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS This finally implies hence r( R,t) r( R,t) (n ) ( H δ ) R, ( sup r(z,t)r z (z,t) (n ) H δ ) z [ R,R] if t is sufficiently large. Thus, if t is sufficiently large. r(0,t)r z (0,t) (n )(H δ) Proposition 6.9. Given δ > 0, there exists some time T (,0) (depending on δ) such that holds for all z 0 and t T. r(z,t)r z (z,t) (n )(H δ), Proof. Let ψ(z,t) denote the solution of the Dirichlet problem for the one-dimensional heat equation on the half line (see [], Proposition 6.9). By Lemma 6.8, we can find a time T so that r(0,t)r z (0,t) (n )(H δ) for t T, and r(z,t) C 0 +C for z 0 and t T. Given any s > T, we define a function ψ δ,s (z,t) by ψ δ,s (z,t) = (n )(H δ H ψ(z,t+s)) for t ( s,t]. We will show that rr z > ψ δ,s for all z 0 and all t ( s,t]. It is straightforward to verify that r(0,t)r z (0,t) H δ > ψ δ,s (z,0) for each t ( s,t]; liminf z r(z,t)r z (z,t) 0 > limsup z ψ δ,s (z,t) for each t ( s,t]; and r(z, s)r z (z, s) 0 > limsup t s ψ δ,s (z,t) for each z > 0. On the other hand, for z > 0 and t ( s,t], we have, we have +rr zz 0, hence Moreover, (rr z ) t (rr z) zz +rz. (ψ δ,s ) t = 4 (ψδ,s ) zz (ψδ,s ) zz +rz. Using the maximum principle, we conclude that rr z > ψ δ,s for all z 0 and all t ( s,t]. Sending s gives the desired result. Proposition 6.0. For each t, we have lim z r(z,t)r z (z,t) = (n )H.

22 SIMON BRENDLE AND KYEONGSU CHOI Proof. It suffices to prove that liminf z r(z,t)r z (z,t) (n )H. By Proposition 6.9, we know that liminf z r(z,t)r z (z,t) (n )(H δ) if t is sufficiently large. On the other hand, Lemma 6.5 gives (rr z ) t = r t r z +rr zt = r zr zz +rz + rr zzz +r z rr zrzz 4C 3 (+rz ) r forr C 0. Consequently, thequantity liminf z r(z,t)r z (z,t) doesnotdependont. Puttingthesefactstogether, weconcludethatliminf z r(z,t)r z (z,t) (n )H for each t. Theorem 6.. The solution M t is a rotationally symmetric translating soliton. Proof. Since rr z = r f r, Proposition 6.0 implies f r (r,t) lim = r r n H for each t. Using the evolution equation for f(r,t), we obtain lim f (n )f r (r,t) t(r,t) = lim = H r r r for each t. Using Proposition 6.3, we conclude that f t (r,t) H everywhere Therefore, Proposition 6. gives f t (r,t) = H everywhere. Consequently, M t is a translating solition. References [] S. Angenent, P. Daskalopoulos, and N. Šešum, Unique asymptotics of ancient convex mean curvature flow solutions, arxiv: v3 [] S. Brendle and K. Choi, Uniqueness of convex ancient solutions to mean curvature flow in R 3, arxiv: [3] R. Hamilton, Harnack estimate for the mean curvature flow, J. Diff. Geom. 4, 5 6 (995) [4] R. Haslhofer, Uniqueness of the bowl soliton, Geom. Topol. 9, (05) [5] R. Haslhofer and B. Kleiner, Mean curvature flow of mean convex hypersurfaces, Comm. Pure Appl. Math. 70, (07) [6] R. Haslhofer and B. Kleiner, Mean curvature flow with surgery, Duke Math. J. 66, (07) [7] G. Huisken, Asymptotic behavior for singularities of mean curvature flow, J. Diff. Geom. 3, (990) [8] G. Huisken and C. Sinestrari, Mean curvature flow with surgeries of two-convex hypersurfaces, Invent. Math. 75, 37 (009) [9] F. Merle and H. Zaag, Optimal estimates for blowup rate and behavior for nonlinear heat equations, Comm. Pure Appl. Math. 5, (998) [0] B. White, The size of the singular set in mean curvature flow of mean convex sets, J. Amer. Math. Soc. 3, (000) [] B. White, The nature of singularities in mean curvature flow of mean convex sets, J. Amer. Math. Soc. 6, 3 38 (003)

23 ANCIENT SOLUTIONS TO MEAN CURVATURE FLOW IN HIGHER DIMENSIONS 3 Department of Mathematics, Columbia University, 990 Broadway, New York, NY 007, USA. Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge MA 038, USA.