arxiv: v1 [math.dg] 15 Dec 2016

Transcription

1 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATING SOLITONS arxiv:161531v1 [mathdg] 15 Dec 16 QIANG GUANG Abstract We study volume growth, entropy and stability for translating solitons of mean curvature flow First, we prove that every complete properly immersed translator has at least linear volume growth Then, by using Huisken s monotonicity formula, we compute the entropy of the grim reaper and the bowl solitons We also give a curvature estimate for translators in R 3 with small entropy Finally, we estimate the spectrum of the stability operator L for translators and give a rigidity result of L-stable translators 1 Introduction A smooth hypersurface n R n+1 is called a translating soliton (translator for short) if it satisfies the equation (11) H = y,n, where H is the mean curvature, n is the unit normal and y R n+1 is a constant vector Translators play an important role in the study of mean curvature flow ( MCF ) defined as ( t x) = Hn, where x is the position vector On one hand, every translator gives a special translating solution { t = +ty} t R to MCF On the other hand, they arise as blow-up solutions of MCF at type II singularities For instance, Huisken and Sinestrari [15] proved that at type IIsingularity of a mean convex flow (a MCF with mean convex solution), there exists a blow-up solution which is a convex translating solution Translators have been extensively studied in recent years; see, eg, [7], [13], [16], [18], [], [4], and [6] For simplicity, we assume that the constant vector y = E n+1, so translators satisfy the equation (1) H = E n+1,n In R n+1, there is a unique (up to rigid motion) rotationally symmetric, strictly convex translator, denoted by Γ n (see [3]) For n = 1, the translator Γ 1 is the grim reaper and given as the graph of the function (13) u(x) = logcosx, x ( π/,π/) Mathematics Subject Classification 53C44 Key words and phrases translators, volume growth, entropy, stability, mean curvature flow 1

2 QIANG GUANG For n, the translator Γ n is an entire graph and is usually called the bowl soliton We assume Γ n = {(x,f(x)) R n+1 : x R n }, where f is a convex function on R n such that ( f ) 1 (14) div =, 1+ f 1+ f and f() = f() = In [4], Wang proved that when n =, every entire convex translator must be rotationally symmetric However, in every dimension greater than two, there exist non-rotationally symmetric, entire convex translators Recently, Haslhofer [13] obtained the uniqueness theorem of the bowl soliton in all dimensions under the assumptions of uniformly -convexity and noncollapsing condition In this paper, we study translators from three aspects: volume growth, entropy and stability In the first part of the paper, we consider the volume growth of translators Understanding the volume growth of certain geometric solitons is always a fundamental and interesting topic in the study of geometric flows, such as the volume growth of self-shrinkers for MCF and the volume growth of gradient shrinking solitons for Ricci flow For instance, Cao and Zhou [5] proved that every complete noncompact gradient shrinking Ricci soliton has at most Euclidean volume growth In [1], Ding and Xin showed that this is also true for complete properly immersed self-shrinkers (see also [6]) Concerning the lower volume growth estimate, Munteanu and Wang [19] proved that any complete noncompact gradient shrinking Ricci soliton has at least linear volume growth Li and Wei [17] proved that every complete noncompact properly immersed self-shrinker also has at least linear volume growth For properly immersed translators, by an easy argument, an analog of Li-Wei s result can be obtained Theorem 11 Let n R n+1 be a complete properly immersed translator Then for any x, there exists a constant C > such that Vol( B r (x)) = dµ Cr for all r 1 B r(x) Remark 1 Unlike self-shrinkers, translators do not necessarily have Euclidean volume growth; see the example constructed in [] In a recent work of Xin [6], the author considered the volume growth of translators in certain conformal metric The second part of this paper is concerned with the entropy of translators Recall that given t > and z R n+1, the F-functional F z,t of a hypersurface R n+1 is defined by (15) F z,t () = (4πt ) n e x z 4t dµ,

3 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 3 and the entropy of is defined by (16) λ() = sup z,t F z,t (), where the supremum is taken over all t > and z R n+1 Moreover, it is easy to see that λ( R) = λ() Note that the entropy is invariant under dilations and rigid motions By Huisken s monotonicity formula [14], the entropy is non-increasing under MCF Therefore, the entropy of the initial hypersurface gives a bound for the entropy of all future singularities It was proved in [8] that the entropy of a self-shrinker is equal to the F-functional F,1, so no supremum is needed Colding-Ilmanen-Minicozzi-White [9] showed that the round sphere minimizes entropy among all closed self-shrinkers Recently, Bernstein and Wang [4] extended this result and proved that the round sphere minimizes entropy among all closed hypersurfaces up to dimension six A nature question is what is the entropy of the grim reaper and the bowl solitons Using Huisken s monotonicity formula and various estimates, we obtain the following theorems Theorem 13 The entropy of the grim reaper Γ 1 R is Theorem 14 The entropy of the rotationally symmetric convex translating soliton Γ n R n+1 (n ) is equal to the entropy of the sphere S n 1, ie, ( n 1 )n 1 λ(γ n ) = λ(s n 1 ) = nα(n), πe where α(n) is the volume of unit ball in R n If we consider weak solutions of the translator equation, more precisely, an integral rectifiable varifold, using the idea of boundary-less varifold from [5] and standard geometric measure theory, then these boundary-less weak solutions with small entropy are indeed smooth Combining this regularity result with Allard s compactness theorem, we are able to prove a curvature estimate for translators with small entropy in R 3 In the last part, we study translators from the point of view of minimal hypersurfaces Following the notation in [], for any hypersurface n R n+1, we define the weighed functional F by F() = e x n+1 dµ, where x n+1 is the (n+1)-th coordinate of the position vector of The first variation of the functional F gives that the critical points are translators Therefore, translators can be viewed as minimal hypersurfaces in a conformal metric They can also be viewed as f-minimal hypersurfaces with an appropriate function f; see [16] where the authors study translators by using the theory of f-minimal hypersurfaces By computing the second variation of the functional F, it is natural to define the corresponding stability

4 4 QIANG GUANG operator L as (17) L = + E n+1, + A For translators, there may not be a lowest eigenvalue for the operator L, but we can still define the bottom of the spectrum µ 1 Using the fact that LH = for translators, we show that µ 1 is nonpositive if the weighed L norm of H satisfies certain growth As a direct corollary, we obtain the following theorem Theorem 15 For all grim reaper hyperplanes Γ R n 1, we have µ 1 (Γ R n 1 ) = In[16], Impera and Rimoldi proved a rigidity theorem that if an L-stable translator satisfies a weighted L condition on the norm of the second fundamental form A, then it must be a hyperplane By relaxing the condition on the weighted L growth of A, we obtain the following rigidity result, improving Theorem A in [16] Theorem 16 Let n R n+1 beacompletel-stable translatorsatisfying H = E n+1,n If the norm of the second fundamental form satisfies the following weighted L growth B R A e x n+1 C R α, for any R > 1, where C is a positive constant and α <, then is one of the following: (1) a hyperplane; () the grim reaper Γ, when n = 1; (3) a grim reaper hyperplane, ie, Γ R, when n = and 1 α < Acknowledgements The author would like to thank Professor William Minicozzi for his valuable and constant support Background and Preliminaries In this section, we recall some background and useful identities for translators 1 Notion and conventions Let n R n+1 be a smooth hypersurface, its Laplace operator, A its second fundamental form, and H=div n its mean curvature If e i is an orthonormal frame for, then the coefficients of the second fundamental form are given by a ij = ei e j,n For any hypersurface n R n+1, the functional F is defined by F() = e x n+1 dµ, where x n+1 is the (n+1)-th coordinate of the position vector of FromthefirstvariationofthefunctionalF,weknowthatthecriticalpointsaretranslators The second variation formula of the functional F is the following

5 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 5 Lemma 1 ([]) Suppose n R n+1 is a translator satisfying H = E n+1,n If s is a normal variation of with variation vector filed = fn, then d ( ) s= F( ds s ) = f + A f + E n+1, f fe x n+1 dµ From the second variation, the stability operator L is defined by (1) L = + E n+1, + A, and the corresponding drifted operator L is defined by () L = + E n+1, = e x n+1 div(e x n+1 ) Example We consider the stability operator L for the grim reaper The grim reaper Γ is given by Γ = (x, logcosx), x ( π/,π/) For any function f(x) on Γ, by a simple computation, we have In particular, if f satisfies Lf =, then for some a,b R Lf = f + E, f + A f = (f xx +f)cos (x) f(x) = acosx+bsinx, Definition 3 We say that a translator is L-stable, if for any compactly supported function f, we have ( flf)e x n+1 dµ It was proved by Shahriyari [] that all translating graphs are L-stable Therefore, the grim reaper, the bowl solitons and hyperplanes are all L-stable translators In the next lemma, we recall some useful identities for translators Lemma 4 If n R n+1 is a translator satisfying H = E n+1,n, then LA =, LH =, L A = A A 4, Lx n+1 = 1 Proof Recall that for a general hypersurface, the second fundamental form A satisfies (3) A = A A HA Hess H We fix a point p, and choose a local orthonormal frame e i such that its tangential covariant derivatives vanish By the equation of translators, we obtain that (4) ej ei H = a ij,k E n+1,e k a ik a jk H

6 6 QIANG GUANG Note that E n+1, A ij = a ij,k E n+1,e k Combining (3) and (4) gives (LA) ij = ( A) ij + A a ij + E n+1, A ij = This is the first identity Taking the trace gives the second identity For the third identity, we have L A = L A + A 4 = A,LA + A + A 4 = A A 4 For the last identity, recall that in general we have x = Hn Hence, Lx n+1 = x n+1 + E n+1, x n+1 = Hn,E n+1 + E T n+1 = 1 We conclude this section with the following lemma which shows that the operator L is self-adjoint in a weighted L space Lemma 5 If n R n+1 is a translator satisfying H = E n+1,n, u is a C function with compact support, and v is a C function, then u(lv)e x n+1 = u, v e x n+1 Proof The lemma follows immediately from Stokes theorem and () 3 volume growth In this section, we consider the volume growth for translators and show that every properly immersed translator has at least linear volume growth Suppose n R n+1 is a properly immersed translator For any x, let B r (x ) be the extrinsic ball in R n+1, and denote the volume and the weighed volume of B r (x ) by V(r) = Vol( B r (x )) = dµ, and Ṽ(r) = B r(x ) B r(x ) e x n+1 dµ We will first show that the weighed volume has at least exponential growth, and this relies on the following key ingredient Lemma 31 If n R n+1 is a translator satisfying H = E n+1,n, then Proof First, we have e x n+1 = e x n+1 e x n+1 = div (e x n+1 x n+1 ) = e x n+1 E T n+1 +e x n+1 x n+1 Hence, the identity follows from Lemma 4 and the fact that E T n+1 = 1 H

7 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 7 For simplicity, we may assume x = By the co-area formula, we have r Ṽ(r) = e x 1 n+1 x ds B s Note that x = x T = x x, so we get (31) Ṽ (r) = B r On the other hand, by Lemma 31, we obtain that Ṽ(r) = e x n+1 dµ = B (3) r = e x n+1 x x T B r B r Combining (31) and (3), we conclude that for any r >, (33) Ṽ(r) Ṽ (r) e x x T n+1, x T x T x n+1, e x n+1 x T This implies the quantity Ṽ(r)e r is monotone non-decreasing We summarize this result in the following proposition Proposition 3 Let n R n+1 be a complete properly immersed translator Then for any x, there exists a constant C > such that Ṽ(r) = e x n+1 dµ Ce r, for all r 1 B r(x) With the help of Proposition 3, we can now estimate the volume growth For any R > 1, we have Ṽ (R) e R x x T = er V (R) B R Combining this with Proposition 3 and (33) gives that V(R) has at least linear growth Theorem 33 Let n R n+1 be a complete properly immersed translator Then for any x, there exists a constant C > such that Vol( B r (x)) = dµ Cr for all r 1 B r(x) 4 Entropy of the grim reaper and the bowl solitions The aim of this section is to estimate the entropy of thegrim reaper andthe bowl solitions, ie, proving Theorem 13 and Theorem 14 Moreover, using a regularity result with Allard s compactness theorem, we will give a curvature estimate for translators with small entropy in R 3

8 8 QIANG GUANG 41 Huisken s monotonicity formula We state the main ingredient Huisken s monotonicity formula [14] First we define the function Φ on R n+1 (,) by Φ(x,t) = ( 4πt) n x e 4t andthen set Φ z,τ(x,t) = Φ(x z,t τ) Huisken proved thefollowing monotonicity formula for MCF: Theorem 41 ([14]) If M t is a solution to MCF and u is a C function, then we have d uφ (z,τ) = dt Hn (x z ) M t (τ t) uφ (z,τ) + (u t u)φ (z,τ) M t M t When u is identically one, we get d (41) Φ (z,τ) = dt M t M t Hn (x z ) (τ t) The F-functional can be expressed as the following: F z,t () = (4πt ) n e x z 4t = Φ (z,τ) Φ z,t (x,) Moreover, for any z in R n+1 and t >, if M t gives a MCF and suppose t > s, then by Huisken s monotonicity formula (41), we have (4) F z,t (M t ) F z,t +(t s)(m s ) A direct consequence of (4) is that the entropy is non-increasing under MCF Now we apply Huisken s monotonicity formula to translating solitons The grim reaper or the bowl solition Γ gives a solution of MCF Γ t = {(x,t + f(x)) R n+1 : x R n }(for n = 1, x ( π/,π/)) for all t R Forany point (x,y ) R n+1 (x R n,y R) andt >, we have the following identity: (43) F (x,y ),t (Γ t ) = F (x,y t),t (Γ) By (4), for any t > s, we get Combining this with (43) gives F (x,y ),t (Γ t ) F (x,y ),t +(t s)(γ s ) F (x,y t),t (Γ) F (x,y s),t +(t s)(γ) Therefore, we obtain the following crucial lemma Lemma 4 For any point ( (x,y ), t ) R n+1 (, ) and arbitrary N >, we have F (x,y ),t (Γ) F (x,y +N),t +N(Γ)

9 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 9 4 The entropy of the grim reaper Recall that the entropy is taking the supremum of the F-functional, so we will first consider the upper bound of the F-functional F (x,y +N),t +N(Γ) by taking N +, and this will yield that the entropy of the grim reaper is less than or equal to For any fixed point (x,y ) R and t >, by Lemma 4, we may choose N sufficiently large such that F (x,y ),t (Γ) F (x,n+δ),n(γ), where δ = y t By the equation of the grim reaper (13), we have Note that F (x,n+δ),n(γ) = (4πN) 1 π F (x,n+δ),n(γ) (πn) 1 Now we define a function g(n) by g(n) = (πn) 1 π π e (x x ) +(logcosx+n+δ) 4N π e (logcosx+n+δ) 4N e (logcosx+n+δ) 4N 1 cosx dx 1 cosx dx 1 cosx dx We make a change of variable and let u = logcosx and t = u/n This gives g(n ) = 1 N π = 1 π e (u N δ) 4N e (N +δ) 4N e u e u 1 du e t 4 +(3N + δ N )t 1 e Nt 1 dt Next we estimate the value of g(n ) when N goes to infinity by splitting it into two parts, A and B For the first part, (44) A = 1 N 6 π 1 e (N +δ) 4N π 1 N π e Here we use the fact that +δ) e (N 4N e t 4 +(3N + δ N )t 1 e Nt 1 dt N + N 4 + δ 6 1 δ N 4N 5 1 δ 3 1 e Nt 1 dt 1 et 1 dt π 1 dt = π et 1 N π e δ 4N 5 1 δ

10 1 QIANG GUANG For the second part, (45) The last inequality uses B = 1 π N 6 +δ) e (N 4N e t 4 +(3N + δ N )t 1 e Nt 1 dt 1 ( ) 1+e N 6 e 1 4 (t N δ N ) dt π N 6 1 ( ) 1+e N 6 π 1 π 5N 6 δ N ( ) e t 4 dt 1+e N 6 e t 4 dt = Taking N +, by Lemma 4, (44) and (45), we obtain the following result Lemma 43 For any point ((x,y ), t ) R (, ), we have F (x,y ),t (Γ), ie, λ(γ) Using the similar method as above, it is easy to prove that (46) lim N F (,N),N(Γ) = Finally, combining Lemma 43 and (46), we conclude that λ(γ) =, which completes the proof of Theorem The entropy of the bowl solitons In this subsection, we deal with the case when n The idea of the proof of Theorem 14 is similar to the one dimensional case The only difference is, unlike the grim reaper, we do not have explicit expression for the function f in (14) Therefore, we need to recall some important properties of the function f (see also [7] and [4]) Bythe propertyof rotationallysymmetry, we have f(x) = f(r)with r = x The equation (14) gives the following ODE ( (47) f rr = (1+fr ) 1 (n 1)f ) r r with f() = lim r f (r) = for f : R + R Proposition 44 The function f in the ODE (47) satisfies the following properties: (1) f (r) < r n 1 and f(r) r (n 1) () For any ǫ >, f (r) > ( 1 ǫ)r, especially, n f (r) > r n (3) For any ǫ >, there exists r = r (ǫ) > such that f (r) > (1 ǫ) r for r r n 1 (4) For any ǫ >, there exists a constant M = M(ǫ) > such that f(r) > 1 ǫ (n 1) r M

11 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 11 Proof Set g(r) = f (r) For part (1), we prove by contradiction Set h(r) = g(r) r and n 1 observe that lim r +h(r) = and lim (r) = 1 r +h n 1 n 1 < Suppose that d is the positive infimum of r such that h(r) = ; that is, h(d) = andh(r) < for r (,d) Hence, we have h (d) = g (d) 1 n 1 By the equation (47), we get g (d) = since h(d) = This gives a contradiction and completes the proof of part (1) Similarly, we can prove part () For part (3), we first claim that for any R >, there exists r 1 R such that g(r 1 ) > r 1 n 1 (1 ǫ) If this is not true, then g (r) (1 + (g(r)) )ǫ for r > R However, this is a contradiction, since our solution exists for all r > Set k(r) = g(r) r (1 ǫ) Fix R n 1 > to be chosen later, but depending only on ǫ The first claim implies that there exists r R such that k(r ) > We next claim that k(r) > for all r r If this is not the case, then there exists t > r such that Hence, we get that k(t) =, k(r) > for r (r,t), and k (t) k (t) = g (t) 1 ǫ n 1 = ǫ ( 1+ ( 1 ǫ ) t ) 1 ǫ n 1 n 1, which is a contradiction provided that R is chosen sufficiently large This gives the proof of part (3) The part (4) follows directly from part (3) Next we show that the entropy of Γ is less than or equal to the entropy of the sphere S n 1 Just as in the proof of Theorem 13, we consider the upper bound of the F-functional F (x,y +N),t +N(Γ) by taking N + For any fixed point (x,y ) R n+1 (x R n,y R) and t >, by Lemma 4, we may choose N large enough so that where δ = y t Then we have 1 F (x,n+δ),n(γ) = (4πN) n 1 = (4πN) n F (x,y ),t (Γ) F (x,n+δ),n(γ), e R n x x +(f(x) N δ) 4N (1+ f ) 1 dx B r e x x +(f(x) N δ) 4N (1+ f ) 1 dsr dr

12 1 QIANG GUANG Now we fix an arbitrarily small constant ǫ > By Proposition 44, there exists a constant M = M(ǫ) > such that f(r) > 1 ǫ (n 1) r M By the absorbing inequality, we have x,x ǫ x +ǫ 1 x Therefore, we obtain that x x (1 ǫ) x +(1 ǫ 1 ) x This gives 1 { F (x,n+δ),n(γ) (1+ f ) 1 1 ( (4πN) n exp (1 ǫ) x B r 4N +(1 ǫ 1 ) x +(f(x) N δ) )}ds r dr = nα(n) { e (1 ǫ 1 ) (4πN) n 4N x r n 1 exp 1 ( (1 ǫ)r 4N +(f(r) N δ) )}(1+(f (r)) ) 1 dr Since e (1 ǫ 1 ) 4N x goes to 1 when N +, we only need to consider the integral: g(n) = nα(n) (4πN) n r n 1 e (1 ǫ)r +(f(r) N δ) 4N 1+(f (r)) dr Note that f(r) is monotone and strictly increasing, we can make a change of variable and set f(r) N δ u = N Assume h is the inverse function of f(r), then we have h( Nu+N +δ) = r By Proposition 44, we get that (48) r (n 1)f(r) = (n 1)( Nu+N +δ), (49) Combining this with f (r) > r g(n) nα(n) (4πN) n = nα(n) (4πN) n nα(n) (4πN) n Nu+N +δ = f(r) > 1 ǫ (n 1) r M n implies that e (1 ǫ)r +(f(r) N δ) 4N (r n 1 +r n 1 f (r))dr e N δ N N δ N e u u 4 e 1 ǫ 4N h (h n 1 +h n 1 h ) N du 4 (1 ǫ)(n 1) N ( Nu+N+δ) ( Q n 1 +nq n ) N 1 du,

13 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 13 where h = h( Nu+N +δ) and Q = (n 1)(M + Nu+N +δ) 1 ǫ Next, we split the above integral into two parts, A and B For part A, we have It is easy to see that For part B, we get A = nα(n) (4πN) n B = nα(n) (4πN) n N δ N e u 4 e (1 ǫ)(n 1) N ( Nu+N+δ) Q n 1 N du ( )n 1 lim A = nα(n) n 1 N + π(1 ǫ)e 1 ǫ e u N δ N 4 e (1 ǫ)(n 1) N ( Nu+N+δ) nq n N du, and when N +, B converges to Combining all the results above, we obtain that for any ǫ >, ( )n 1 n 1 F (x,y ),t (Γ) nα(n) π(1 ǫ)e 1 ǫ Since ǫ is an arbitrarily small number, we get an upper bound of the entropy Lemma 45 For any point (x,y ) R n+1 (x R n,y R) and t >, we have ( n 1 )n 1 F (x,y ),t (Γ) nα(n), ie, λ(γ) nα(n) πe The next lemma shows that this upper bound can be achieved Lemma 46 (41) lim N + F (,N),N(Γ) = nα(n) Proof By definition, we get (411) F (,N),N (Γ) = (4πN) n = nα(n) (4πN) n e R n ( n 1 πe )n 1 ( n 1 πe x +(f(x) N) 4N 1+ f dx )n 1 r n 1 e r +(f(r) N) 4N 1+(f (r)) dr

14 14 QIANG GUANG Following the same method and using the same notations as in the proof of Lemma 45, by (48) and (49), we have F (,N),N (Γ) = nα(n) (4πN) n Taking N + gives nα(n) (4πN) n (n 1) 4(1 ǫ)n N N e u 4 e 4N( h h n 1 +h n 1 h ) N du ( )n 1 (n 1)( Nu+N) N exp { u 4 ( Nu+N +M ) } du ( n 1 lim F (,N),N(Γ) nα(n) N + π e )n ǫ Since ǫ is arbitrary, by Lemma 45, the claim now easily follows Finally, Lemma 46 and Lemma 45 complete the proof of Theorem A curvature estimate for translators in R 3 with small entropy Inorder to geta curvature estimate for translators in R 3 with small entropy, we will use Allard s compactness theorem [1] for integral rectifiable varifolds with locally bounded first variation Moreover, we will restrict to boundary-less varifolds [5] where the rectifiable varifold is mod two equivalent to an integral current without boundary Following the notation in [5, Definition 41], we say that an integral rectifiable varifold V is cyclic mod (boundary-less) provided [V] =, where [V] is the rectifiable mod flat chain associated to V Note that a varifold which consists of unions of an odd number of multiplicity-one half-planes meeting along a commonlineisnotcyclicmod Undertheassumptionsofsmallentropyandthe boundaryless condition, the following regularity result holds which is implicit in section 5 in [9] (see also section 41 in [4]) For convenience of the reader, we also include a proof here Lemma 47 Let R 3 be a boundary-less (cyclic mod ) integral rectifiable varifold with λ() < If is a weak solution of either the self-shrinker equation or the translator equation, then is smooth Proof We will analyze tangent cones to prove this lemma By a standard result from [1] (see also section 4 in [3]), any integral n-rectifiable varifold has stationary integral rectifiable tangent cones as long as the generalized mean curvature H is locally in L p for some p > n In our case, both equations guarantee that H is locally bounded This gives the existence of stationary tangent cones at every point Moreover, it follows from [5, Theorem 11] that those tangent cones must also be boundary-less Next, we will show that any such tangent cone V is a multiplicity-one hyperplane If y Sing(V) \ {} (Sing(V) denotes the singular set of V), then a dimension reduction argument [9, Lemma 58] gives that every tangent cone to V at y is of the form V R y Here R y is the line in the direction y and V is a one-dimensional integral stationary cone

15 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 15 in R By the lower semi-continuity of entropy, we have λ(v ) λ(v) < Since any onedimensional cone is the union of rays, the small entropy condition implies that V consists of at most three rays Moreover, boundary-less property rules out three rays Therefore, the only such configuration that is stationary is when there are two rays to form a multiplicityone line and this implies that Sing(V) {} By [], we conclude that the intersection of V with unit sphere S is a smooth closed geodesic, ie, a great circle, and this gives that V is a multiplicity-one hyperplane Now combining the fact that H is locally bounded, Allard s regularity theorem [1] (see also Theorem 4 in [3]) gives that is a C 1,β manifold for some β > Then elliptic theory for the self-shrinker or translator equation gives estimates on higher derivatives, and this implies that is smooth Theorem 48 Let R 3 be a smooth complete translator with λ() α < Then there exists a constant C = C(α) > such that A C Proof We will argue by contradiction Suppose therefore that there is a sequence i R 3 of smooth translators with λ( i ) α and points x i i with (41) A (x i ) > i Then we translate i to i such that x i is the origin Note that at any point, we have density bounds for i coming from the entropy bound Since each i has bounded mean curvature, Allard s compactness theorem [1] gives a subsequence of the i s that converges to an integral rectifiable varifold which weakly satisfies the translator equation and has λ( ) α < The small entropy condition implies that the convergence is multiplicity one As i is smooth complete embedded, the Brakke flow associated to i is cyclic mod, ie, boundary-less, in the sense of [5, Definition 41] Therefore, by [5, Theorem 4], the limit isalso boundary-less Thus, Lemma 47gives that issmooth Finally, Allard sregularity theorem [1] implies that the convergence is also smooth, which contradicts (41) Remark 49 A similar result holds for L-stable translators in R 3 More precisely, there exists a constant C > such that the curvature of any L-stable translator in R 3 is bounded by C, ie, A C (see [1]) The translating graph case of this result was proved by Shahriyari [, Theorem 3] 5 L-stability and Rigidity results In this section, we first consider the spectrum of the operator L for translators and compute the bottom of the spectrum for grim reaper hyperplanes Then, by using a cut off argument and a uniqueness lemma, we give a rigidity result for translators in terms of the weighed L norm of the second fundamental form 51 The spectrum of L for translators Let n R n+1 be a translator Note that all translators are noncompact, so there may not be a lowest eigenvalue for the operator L

16 16 QIANG GUANG However, we can still define the bottom of the spectrum µ 1 by ( f A f ) e x n+1 µ 1 = inf = inf f(lf)ex n+1, f f e x n+1 f f e x n+1 where the infimum is taken over all smooth functions with compact support Note that standard density arguments imply that we get the same µ 1 if we take the infimum over Lipschitz functions with compact support It is possible that µ 1 = since all translators are noncompact By the definition of µ 1 and the minimal surface theory (see [11]; cf[8, Lemma 95]), we have the following characterization of L-stability for translators Lemma 51 If n R n+1 is a translator, then the following are equivalent: (1) is L-stable; () µ 1 () ; (3) there exists a positive function u satisfying Lu = Next, we show that ifthe meancurvature H ofatranslatorhas atmost quadraticweighted L growth, then the bottom of the spectrum µ 1 is nonpostive Lemma 5 Let n R n+1 be a complete properly immersed translator If the mean curvature H satisfies the following weighted L growth (51) H e x n+1 C R α, for any R > 1, B R where C is a positive constant and α <, then we have µ 1 () Proof Given any fixed δ >, if we can construct a compactly supported function u such that (5) u(lu)e x n+1 < δ u e x n+1, then this implies µ 1 Wewill use the meancurvature H andthefact that LH = toconstruct our test function Suppose η is a function with compact support and let u = ηh Then It follows that (53) Applying Lemma 5 gives (54) L(ηH) = ηlh +HLη+ η, H = HLη+ η, H [ ] ηhl(ηh)e x n+1 = ηh Lη+ηH η, H e x n+1 H L(η )e x n+1 = H, η e x n+1

17 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 17 Note that Lη = ηlη+ η Combining this with (53) and (54) yields that (55) ηhl(ηh)e x n+1 = H η e x n+1 If we choose η to be one on B R and cut off linearly to zero on B R \B R, then (55) gives ( ηhl(ηh)+δη H ) e x n+1 1 H e x n+1 R B (56) R δ H e x n+1 B R By the assumption (51), the right-hand side of (56) must be negative for sufficiently large R Therefore, when R is large, the function u = ηh satisfies (5), and this completes the proof Lemma 51 and Lemma 5 imply that any complete L-stable translator satisfying (51) has µ 1 = In particular, the following result, ie, Theorem 15 holds Corollary 53 For all grim reaper hyperplanes Γ R n 1, we have µ 1 (Γ R n 1 ) = Remark 54 If n 3, Corollary 53 does not follow directly from Lemma 5, but we can slightly modify the argument in the proof of Lemma 5 to get the result Using a similar argument as in the proof of [8, Lemma 95], we have the following characterization of µ 1 for translators Lemma 55 If n R n+1 is a complete properly immersed translator and µ 1 (), then there is a positive function u on such that Lu = µ 1 u 5 Uniqueness lemma and rigidity results The proof of Theorem 16 relies on the following standard uniqueness lemma for general hypersurfaces Lemma 56 Let n R n+1 be a smooth complete hypersurface If g > and h are two functions on which satisfy (57) g + f, g +Vg =, and (58) h+ f, h +Vh =, where f and V are smooth functions on If is closed or h satisfies the weighted L growth (59) h e f C R α, for any R > 1, B R where C is a positive constant and α <, then h = Cg for some constant C

18 18 QIANG GUANG Proof For convenience, we let L = + f, Thus, Lg +Vg = and Lh+Vh = Let w = h Then by (57) and (58), we have g (51) Lw = glh hlg g We define a drifted operator L g by w, g g = w, g g (511) L g = e f g div(g e f ) = L+, g g Then (51) gives (51) L g w = wl g w+ w = w Now, if is closed, then integrating (51) finishes the proof If is noncompact, we choose a cut off function φ By (511) and (51) (513) e f g div(φ g e f w ) = φ, w +φ L g w = φ, w +φ w Using the Stokes theorem, (513) gives [ (514) = φ, w +φ L g w ] g e f Applying the absorbing inequality, (514) gives ] [ φ w 4w φ +φ w g e f This is equivalent to φ w g e f 4 w φ g e f If we choose φ to be identically one on B R and cuts off linearly to zero from B R to B R, then φ 1/R Combining the weighted growth of h, ie, (59) and taking R, we conclude that w = This completes the proof Remark 57 We can slightly modify the proof of Lemma 56 to show that it still holds if we assume h+ f, h +Vh and h, which is a special case of [1, Theorem 8] As an application of Lemma 56 to L-stable translators, we have the following lemma Lemma 58 Let n R n+1 be a complete L-stable translator If the mean curvature H satisfies the weighed L growth (515) H e x n+1 C R α, for any R > 1, B R where C is a positive constant and α <, then H or H does not change sign

19 VOLUME GROWTH, ENTROPY AND STABILITY FOR TRANSLATORS 19 Proof This follows from Lemma 51, Lemma 56 and the fact that LH = We are now ready to prove Theorem 16 Proof of Theorem 16 First by Lemma 58, we conclude that H or H does not change sign If H, then is just a hyperplane, which is the first case Next, we assume H does not change sign and H > Then A does not vanish By Lemma 4, we have L A = A A A Since LH = and L A, applying Lemma 56 with g = H and h = A, by Remark 57, we conclude that there exists a constant C such that A = CH It follows that is the grim reaper or a grim reaper hyperplane Γ R n 1 (see Theorem B in [18] or [16]) Note that if n 3, the norm of the second fundamental form A of a grim reaper hyperplane Γ R n 1 has at least quadratic weighted L growth Therefore, by our assumption, we conclude that n If n = 1, then is the grim reaper Γ, which is the second case If n =, then is a grim reaper hyperplane Γ R and 1 α <, which is the last case References [1] WK Allard On the first variation of a varifold Ann of Math (), 95: , 197 [] WK Allard and F J Almgren, Jr The structure of stationary one dimensional varifolds with positive density Invent Math, 34():83 97, 1976 [3] S J Altschuler and L F Wu Translating surfaces of the non-parametric mean curvature flow with prescribed contact angle Calc Var Partial Differential Equations, (1):11 111, 1994 [4] J Bernstein and L Wang A sharp lower bound for the entropy of closed hypersurfaces up to dimension six Invent Math, 6(3):61 67, 16 [5] H Cao and D Zhou On complete gradient shrinking Ricci solitons J Differential Geom, 85(): , 1 [6] X Cheng and D Zhou Volume estimate about shrinkers Proc Amer Math Soc, 141(): , 13 [7] T Clutterbuck, O C Schnürer, and F Schulze Stability of translating solutions to mean curvature flow Calc Var Partial Differential Equations, 9(3):81 93, 7 [8] TH Colding and WP Minicozzi II Generic mean curvature flow I: generic singularities Ann of Math, 175(): , 1 [9] TH Colding, T Ilmanen, WP Minicozzi II, and B White The round sphere minimizes entropy among closed self-shrinkers J Differential Geom, 95(1):53 69, 13 [1] Q Ding and YL Xin Volume growth, eigenvalue and compactness for self-shrinkers Asian J Math, 17(3): , 13 [11] D Fischer-Colbrie and R Schoen The structure of complete stable minimal surfaces in 3-manifolds of nonnegative scalar curvature Comm Pure Appl Math, 33():199 11, 198 [1] Q Guang and JJ Zhu Rigidity and curvature estimates for graphical self-shrinkers arxiv:151661, 15 [13] R Haslhofer Uniqueness of the bowl soliton Geom Topol, 19(4):393 46, 15

20 QIANG GUANG [14] G Huisken Asymptotic behavior for singularities of the mean curvature flow J Differential Geom, 31(1):85 99, 199 [15] G Huisken and C Sinestrari Convexity estimates for mean curvature flow and singularities of mean convex surfaces Acta Math, 183(1):45 7, 1999 [16] D Impera and M Rimoldi Rigidity results and topology at infinity of translating solitons of the mean curvature flow Commun Contemp Math, to appear, arxiv: , 14 [17] Haizhong Li and Yong Wei Lower volume growth estimates for self-shrinkers of mean curvature flow Proc Amer Math Soc, 14(9): , 14 [18] F Martín, A Savas-Halilaj, and K Smoczyk On the topology of translating solitons of the mean curvature flow Calc Var Partial Differential Equations, 54(3):853 88, 15 [19] Ovidiu Munteanu and Jiaping Wang Analysis of weighted Laplacian and applications to Ricci solitons Comm Anal Geom, (1):55 94, 1 [] X H Nguyen Doubly periodic self-translating surfaces for the mean curvature flow Geom Dedicata, 174: , 15 [1] M Rimoldi On a classification theorem for self-shrinkers Proc Amer Math Soc, 14(1): , 14 [] L Shahriyari Translating graphs by mean curvature flow Geom Dedicata, 175(1):57 64, 15 [3] L Simon Lectures on geometric measure theory, volume 3 of Proceedings of the Centre for Mathematical Analysis, Australian National University Australian National University, Centre for Mathematical Analysis, Canberra, 1983 [4] Xu-Jia Wang Convex solutions to the mean curvature flow Ann of Math (), 173(3): , 11 [5] B White Currents and flat chains associated to varifolds, with an application to mean curvature flow Duke Math J, 148(1):41 6, 9 [6] Y L Xin Translating solitons of the mean curvature flow Calc Var Partial Differential Equations, 54(): , 15 Department of Mathematics, University of California, Santa Barbara, CA , USA address: guang@mathucsbedu