arxiv: v1 [math.dg] 25 Dec 2012

Transcription

1 A GAP THEOREM OF ELF-HRINKER arxv:11.608v1 [math.dg] 5 Dec 01 QING-MING CHENG AND GUOXIN WEI Abstract. In ths paper, we study complete self-shrnkers n Eucldean space and prove that an n-dmensonal complete self-shrnker wth polynomal volume growth n Eucldean space R n+1 s sometrc to ether R n, n ( n), or R n m m ( m), 1 m n 1, f the squared norm of the second fundamental form s constant and satsfes < Introducton Let X : M R n+1 be a smooth n-dmensonal mmersed hypersurface n the (n+1)-dmensonal Eucldean space R n+1. The mmersed hypersurface M s called a self-shrnker f t satsfes the quaslnear ellptc system: H = X N, where H denotes the mean curvature vector of M, X N denotes the orthogonal projecton of X onto the normal bundle of M. It t known that self-shrnkers play an mportant role n the study of the mean curvature flow because they descrbe all possble blow up at a gven sngularty of a mean curvature flow. For n = 1, Abresch and Langer [1] classfed all smooth closed self-shrnker curves n R and showed that the round crcle s the only embedded self-shrnkers. For n, Husken [9] studed compact self-shrnkers. He proved that f M s an n- dmensonal compact self-shrnker wth non-negatve mean curvature H n R n+1, then X(M) = n ( n). We should notce that the condton of non-negatve mean curvature s essental. In fact, let and denote the Laplacan and the gradent operator on the self-shrnker, respectvely and, denotes the standard nner product of R n+1. Because H X, H +H H = 0, we obtan H > 0 from the maxmum prncple f the mean curvature s non-negatve. Furthermore, Angenent [] has constructed compact embedded self-shrnker torus 1 n 1 n R n+1. Husken [10] and Coldng and Mncozz [5] have studed complete and noncompact self-shrnkers n R n+1. They have proved that f M s an n-dmensonal complete embedded self-shrnker n R n+1 wth H 0 and wth polynomal volume 001 Mathematcs ubject Classfcaton: 5C44, 5C4. Key words and phrases: the second fundamental form, ellptc operator, self-shrnkers. The frst author was partally supported by JP Grant-n-Ad for centfc Research (B): No The second author was partly supported by grant No of NFC. 1

2 QING-MING CHENG AND GUOXIN WEI growth, then M s sometrc to ether the hyperplane R n, the round sphere n ( n), or a cylnder m ( m) R n m, 1 m n 1. Wthout the condton H 0, Le and esum [11] proved that f M s an n- dmensonal complete embedded self-shrnker wth polynomal volume growth and < 1nEucldean space R n+1, then = 0andM ssometrc tothe hyperplane R n, where denotes the squared norm of the second fundamental form. Furthermore, Cao and L [] have studed the general case. They have proved that f M s an n-dmensonal complete self-shrnker wth polynomal volume growth and 1 n Eucldean space R n+1, then M s sometrc to ether the hyperplane R n, the round sphere n ( n), or a cylnder m ( m) R n m, 1 m n 1. Recently, Dng and Xn [6] have studed the second gap on the squared norm of the second fundamental form and they have proved that f M s an n-dmensonal complete self-shrnker wth polynomal volume growth n Eucldean space R n+1, there exsts a postve number δ = 0.0 such that f , then = 1. Motvated by the above results of Le and esum, Cao and L, Dng and Xn, we consder the second gap for the squared norm of the second fundamental form and prove the followng classfcaton theorem for self-shrnkers: Theorem 1.1. Let M be an n-dmensonal complete self-shrnker wth polynomal volume growth n R n+1. If the squared norm of the second fundamental form s constant and satsfes 1+ 7, then M s sometrc to one of the followng: (1) the hyperplane R n, () a cylnder R n m m ( m), for 1 m n 1, () the round sphere n ( n).. Prelmnares In ths secton, we gve some notatons and formulas. Let X : M R n+1 be an n-dmensonal self-shrnker n R n+1. Let {e 1,,e n,e n+1 } be a local orthonormal bass along M wth dual coframe {ω 1,,ω n,ω n+1 }, such that {e 1,,e n } s a local orthonormal bass of M and e n+1 s normal to M. Then we have ω n+1 = 0, ω n+1 = n h j ω j, h j = h j, j=1 where h j denotes the component of the second fundamental form of M. H = n j=1 h jje n+1 s the mean curvature vector feld, H = H = n j=1 h jj s the mean curvature and II =,j h jω ω j e n+1 s the second fundamental form of M. The Gauss equatons and Codazz equatons are gven by (.1) R jkl = h k h jl h l h jk, (.) h jk = h kj,

3 A GAP THEOREM OF ELF-HRINKER where R jkl s the component of curvature tensor, the covarant dervatve of h j s defned by n n n h jk ω k = dh j + h kj ω k + h k ω kj. Let k=1 k=1 k=1 F = F, F j = j F, h jk = k h j, and h jkl = l k h j, where j s the covarant dfferentaton operator, we have n n (.) h jkl h jlk = h m R mjkl + h mj R mkl. m=1 The followng ellptc operator L s ntroduced by Coldng and Mncozz n [5]: m=1 (.4) Lf = f < X, f >, where and denote the Laplacan and the gradent operator on the self-shrnker, respectvely and <, > denotes the standard nner product of R n+1. By a drect calculaton, we have (.5) Lh j = (1 )h j, LH = H(1 ), LX = X, L X = (n X ), (.6) 1 L = h jk +(1 ). If s constant, then we obtan from (.4) and (.6) (.7) = ( 1), h jk hence one has ether (.8) = 0, or = 1, or > 1. We can choose a local feld of orthonormal frames on M n such that, at the pont that we consder, { λ, f = j, h j = 0, f j. then = h j = λ,,j where λ s called the prncpal curvature of M. From (.1) and (.), we get (.9) h jj h jj = (λ λ j )λ λ j. By a drect calculaton, we obtan (.10) = ( 1)( )+(A B),,l h jkl where A = λ h jk, B = λ λ j h jk.

4 4 QING-MING CHENG AND GUOXIN WEI We defne two functons f and f 4 as follows: f = n j h jk h k = λ h j, f 4 = h j h jk h kl h l = then we have j=1,l n λ 4 j, Lemma.1. Let M be an n-dmensonal complete self-shrnker wthout boundary and wth polynomal volume growth n R n+1. Then (.11) Lf = (1 )f +6 λ h jk, j=1 (.1) Lf 4 = 4(1 )f 4 +4(A+B). Proof. By the defnton of f, f 4, Lf and Lf 4, we have the followng calculatons: f m = h jm h jk h k, f mm = h jk h k h jmm + h jm h jkm h k + h jm h jk h km, f = m f mm = h jk h k h j +6,j,mλ h jm, < X, f >= h jk h k < X, h j >, Lf = f < X, f > = h jk h k Lh j +6,j,mλ h jm = (1 )f +6 λ h jk, and f 4 = m f 4m = 4 h jm h jk h kl h l,,l f 4mm = 4 h jmm h jk h kl h l +4 h jm h jkm h kl h l f 4mm = 4,l,l +4 h jm h jk h klm h l +4 h jm h jk h kl h lm,,l,l jk h kl h l h j,lh +4,j,mλ h jm +4 λ j h λ jk +4,j,m < X, f 4 >= 4 h jk h kl h l < X, h j >,,l λ j h jm,

5 A GAP THEOREM OF ELF-HRINKER 5 Lf 4 = f 4 < X, f 4 > = 4,lh jk h kl h l Lh j +8,j,mλ h jm +4 λ λ j h jm,j,m = 4(1 )f 4 +4(A+B).. ome estmates In ths secton, we wll gve some estmates whch are needed to prove our theorem. From now on, we denote 1 = t, where t s a postve constant f we assume that s constant and > 1, then (1 t) = 1, h jk = t. By a drect calculaton, one obtans,lh jkl h + (h jj +h jj ) + (h jj h jj ) 4 4 j j (.1) = h + (h jj +h jj ) 4 j + [ λ 4 ( λ ) ], we next have to estmate λ4 ( λ ) snce we want to gve the estmate of,l h jkl. Defne f ( ) λ 4 1 λ = f 4 1 ( ). f Frstly, we have Lemma.1. There s one pont x M such that the followng dentty holds at the pont. ( ) t c λ λ 4 (.) ( ) =c λ h jk λ (A+B) +c j where c s a real number. ( ) λ h j,

6 6 QING-MING CHENG AND GUOXIN WEI Proof. Defne a functon F = 1 4 λ c ( λ ) = 1 4 f c( f ), we have from Lemma.1, (.) LF = L ( 1 4 f c( ) ) f ( = (1 )f 4 c (1 )f + h λ jkf + j ( λ h j) )+(A+B). On the other hand, we have from tokes formula, LFe X dv = 0, hence there s a pont x M such that ( (1 )f 4 c (1 )f + λ h jk f + j M ( λ h j) )+(A+B) = 0 at the pont because of the contnuty of the functon. econdly, we have Lemma.. f = f 4 f (λ 1 λ ) (λ λ 1 λ ), 1 +λ where λ 1 = max{λ }, λ = mn{λ }. Proof. nce then Thrdly, one has f 4 f = 1 (λ f λ ), f 4 f 1 ( ) λ 1 ( ) 1 f λ 1 + λ f λ = λ 4 1 +λ 4 + f (λ 1 +λ ) (λ 1 +λ )f (λ 4 1 +λ 4 ) λ 1 +λ (λ 1 +λ ) (λ 1 +λ ) = λ λ 1 +λ 1 λ (λ 1 λ ).

7 A GAP THEOREM OF ELF-HRINKER 7 Lemma.. (.4) A B 1 (λ 1 λ ) t (1 α), where α = h h jk = h t. Proof. By means of symmetry, we have A B = (λ λ λ j )h jk = 1 (λ +λ j +λ k λ λ j λ j λ k λ k λ )h jk = 1 (λ λ j ) h j + 1,j j k (λ +λ j +λ k λ λ j λ j λ k λ k λ )h jk. Wthout loss of generalty, we can assume that λ λ j λ k and consder z = λ +λ j +λ k λ λ j λ j λ k λ k λ as a functon of λ j, whch takes ts maxmum at one of the boundary ponts λ or λ k. On the other hand, Hence we get z λj =λ = z λj =λ k = (λ λ k ) (λ 1 λ ). [ A B 1 (λ λ j ) h j +,j 1 (λ 1 λ ) ( h jk j k h (λ 1 λ ) h jk ). ] Combnng (.7) and the defnton of α, we get 0 α < 1 and (.4). FromLemma.1,oneknowsthattheestmatesof k ( λ h k) and( h jk λ ) are needed. Lemma.4. (.5) where α = h t. ( ) λ h k 1+α t f, k

8 8 QING-MING CHENG AND GUOXIN WEI Proof. nce = j h j s constant, we have λ h k = 0, then ( ) λ h k = [ ] (λ aλ )h k k k h k, (λ aλ ),k for any constant a. Let a = 1f = 1 ( ) (.6) λ h k nce then (.7) k h k 1 (,k h jk = h jk + λ, we have ( ) λ 4 1 λ h k = f,k,k h + j combnng (.6) and (.7), we get (.5). h h j + j k h jk, h k. ) = 1 (1+α) h jk = 1 (1+α)t, Lemma.5. ( ( ) (.8) λ hjk) 1 (A+B) 4 1 λ +λ h k t. k k Proof. A straghtforward computaton gves ( ) λ h jk = { 1 } [(λ +λ j +λ k )h jk (a h jk +a j h k +a k h j )]h jk 1 [(λ +λ j +λ k )h jk (a h jk +a j h k +a k h j )] 9 h jk [ ] = 1 9 (A+B) 1,k a k λ h k + k ( +λ k )a k t, for any constant a k R. Let then (.8) follows. a k = λ h k, +λ k

9 A GAP THEOREM OF ELF-HRINKER 9 4. Proof of Theorem 1.1 In ths secton, we wll prove the Theorem 1.1. The proof has three parts. In the frst part of proof, we wll show that > 1+ 1 = 1. f > 1. In the second part, 5 we wll prove that > 1 > f > 6 = 1.. In the thrd part, we wll show that > 1+ f > 1 7 Proof of Theorem Part I: Clam: > 1+ 1 = 6 f > Lettng c = and applyng Lemma.1, we get 0 = ( 1)[ 1 f 4 f ]+( λ h jk )f (A+B)+ j ( λ h j) (4.1) ( 1)[ 1 f 4 f]+ 1 ( 1) ( λ h jk) + 1 f (A+B)+ j 1 (f 4 f )+ ( [ (A+B) 8 9 λ h j ) ( k λ h k ) ] (A+B)+ j ( λ h j) 1 (f 4 f ) 19 [A 5B]+ 6 7 (1+α)t f = 6 (A 5B)+[ α]t f, at the pont x, then t follows that (4.) 65 tf 65(A 5B) α. On the other hand, we have (4.) f ( 1)( )+(A B).

10 10 QING-MING CHENG AND GUOXIN WEI Combnng (4.) and (4.), we obtan 10 [1 7 t]f ( 1)( )+(A B) 65(A 5B) 65+76α = ( 1)( )+4(A B) 65(A B) 65+76α 76α(A+B) 65+76α ( 1)( )+[4 195 ](A B) (nce A+B 0) 65+76α ( 1)( )+[ α ]1 α (λ 1 λ ) t. Lettng y = 65+76α, we get ( α )(1 α) = (4 76 y )(141 y) = ( y) 1 76 y 76 ( ) γ 1, where γ 1 = < 0.4. nce we assume t 1, that s, = 6, then (4.4) ( 1)( )+ γ 1 (λ 1 λ ) t 10 (1 7 t)(λ 1 λ ) (λ λ 1 +λ 1 λ ). We next consder two cases: Case 1: λ 1 (x)λ (x) 0. We see from (4.4) that ( 1)( ) γ 1 (λ 1 λ ) t γ 1 t, that s, γ 1, then 1+γ > 1.4 > 1. = 6 5. Case : λ 1 (x)λ (x) < 0. From (4.4), we obtan that s, ( 1)( )+γ 1 t ( 1)( )+γ 1 (λ 1 +λ )t γ 1 λ 1 λ t + 10 (1 7 t)(λ 1λ ) γ 1 λ 1 λ t (1 7 6 )(λ 1λ ) 4γ1 t 16+7γ 1 8+8γ 1 +7γ 1 4[ ( )], > 1.86 > 1. = 6 5.

11 A GAP THEOREM OF ELF-HRINKER 11 Hence we have proved > = 6 5. Part II: Clam: > > f > 6 5. Lettng c = 9 5 and applyng Lemma.1, we have 0 = ( 1)[ 5 9 f 4 f ]+( λ h jk )f 5 9 (A+B)+ j ( λ h j) (4.5) ( 1)[ 5 9 f 4 f ]+ 9 16( 1) ( λ h jk ) + 4( 1) f (A+B)+ j ( λ h j) 5t 9 (f)+ 9 16t ( λ h jk ) 5 9 (A+B)+ ( λ h j) j t f t ( λ h jk) 5 9 (A+B) + 5 [ 4 16 (A+B) ( ] λ 9 9 h k) + ( λ h j) k j 5 9 t f t ( λ h jk ) (A+B) 5 16 (A+B) (1+α)t f = 5 9 t f t ( λ h jk) 5(A 5B) 7 at the pont x, that s, (1+α)t f, (4.6) 0 tf + 80t ( λ h jk) (A 5B) (1+α)tf, then (4.7) 98+6α tf 45 80t ( λ h jk) (A 5B).

12 1 QING-MING CHENG AND GUOXIN WEI nce (4.8) ( λ h jk) 4 [ h + 1 (h jj +h jj ) ] 4 j 4 [ h + (h jj +h jj ) ] 4 j 4 [ h jkl f],l = 4 [( 1)( )+(A B) f], then one obtans ( (4.9) f + λ h jk ) ( 1)( )+(A B). 4 We now assume 1 1 < t 0.198, that s,, then we wll get a contradcton From (4.7), we have (4.10) 98 5 f 9 40 ( λ h jk) α (A 5B). Notng A+B 0, we see from (4.9) and (4.10) that [ 79 f ( 1)( ) ] (A B) α (4.11) [ ( 1)( ) ] (λ1 λ ) t (1 α). 98+6α On the other hand, (4.1) ( 1 1 where Z = 98+6α. From (4.11), we have (4.1) 4 98 ) (1 α) 98+6α ( 4 98 Z = 6 1 = 6 ) (64 z) ( z ) Z 1 6 ( ) γ = < , 0 ( 1)( )+γ (λ 1 λ ) t f ( 1)( )+γ (λ 1 λ ) t (λ 1 λ ) (λ λ 1 +λ 1 λ ),

13 A GAP THEOREM OF ELF-HRINKER 1 then t follows that ( (4.14) ( 1)( ) (λ 1 λ ) γ t + 79 ) 450 (λ 1λ ). We next consder two cases: Case 1: λ 1 (x)λ (x) > 0. From (4.14), we have that s, then Case : λ 1 (x)λ (x) 0. From (4.1), we obtan that s, ( 1)( ) (λ 1 λ ) ( γ t ) γ t 1+γ γ, > ( 1)( )+γ t ( 1)( )+γ (λ 1 +λ ) t γ 1+γ γ It s a contradcton, hence we have proved (λ 1 λ ) (λ λ 1 +λ 1 λ ) +γ (λ 1 λ )t (λ 1λ ) +γ λ 1 λ t (γ t ) = γ t, > > > > Part III: Clam: > 10 7 f > Before we prove the above Clam, we wll prove the followng Lemma. Lemma 4.1. Let M be an n-dmensonal complete self-shrnker wthout boundary and wth polynomal volume growth n R n+1. If the squared norm of the second fundamental form s constant, then for any constant δ > 0, c 0 0 and c 1 satsfyng (4.15) (β +t)c 0 δ = (δ 1+δc 0 ), and β 0, there exsts a pont p 0 M such that, at p 0,

14 14 QING-MING CHENG AND GUOXIN WEI (4.16) t ( ) ( δt+c 1 δ)f (5 δ +c 1 δ + β )A+(6+δ +c 1δ β)b [ β + 4 t ] 1 t (1+c 0)δ ( λ h k). Proof. From [6], we have (4.17) M (A B f)e X dv = 0, then for any constant c 1, we have (4.18) c 1 (A B)e X dv = M snce s constant. From (.), we have (1 )(cf f 4 )e X dv M (4.19) = [(A+B) cf h M λ jk c j then (4.0) (c 1 f t f 4 +ctf)e X dv M { = cf h M λ jk (A+B) +c j } +c 1 (A B) e X dv, k M c 1 fe X dv thus we have that there exsts a pont p 0 M such that, at p 0, ( ( λ h j ) ]e X dv, λ h j ) (4.1) then, (4.) c 1 f t f 4 +ctf = cf λ h jk (A+B) +c j ( c 1 f t(f 4 f) = (1 c)tf +cf λ h jk (A+B) +c j ( λ h j) +c 1 (A B). λ h j ) +c 1 (A B),

15 A GAP THEOREM OF ELF-HRINKER 15 Puttng c = 1+c 0 wth c 0 0, we get (c 1 t )f = c 0 tf +(c 0 +1)f λ h jk (A+B) (4.) +(1+c 0 ) j ( For any postve constant δ > 0, we have from (4.), λ h j) +c 1 (A B). δtf = c 1 δf +c 0 δtf (1+c 0) f δ λ h jk (4.4) Puttng +(δ c 1 δ)a+(δ +c 1 δ)b (1+c 0 )δ 1 ( λ h j ). j (4.5) u jkl = 1 4 (h jkl +h jkl +h klj +h ljk ), by a drect computaton, we have h jkl u jkl + (h jj h jj ) 4 (4.6),l From (.10) and (4.6), we obtan,l,j = u jkl + (λ λ j ) λ 4 λ j,l,j = u jkl + (f 4 f ).,l (4.7) ( 1)( )+(A B) u jkl + f.,l By a drect calculaton, we can get u jkl 1 f + 4 λ t ( λ j h jj) A,l j (4.8) + f h λ jk + 1 ( λ h jk). Combnng (4.7) and (4.8), we have (4.9) ( 1)( )+(A B) f A+ 4 λ t ( λ jh jj ) j + f h λ jk + 1 ( λ h jk).

16 16 QING-MING CHENG AND GUOXIN WEI From (4.4), one has (4.0) δtf + 4 λ t ( j λ jh jj ) + f = c 1 δf +c 0 δtf [(1+c 0)δ 1]f h λ jk + 1 ( λ h jk + 1 ( λ h jk ) +(δ c 1 δ)a+(δ +c 1 δ)b + (4λ j t (1+c 0)δ ) 1 ( λ h j) j c 1 δf + [t [(1+c ] 0)δ 1] 1 c 0 δ t ( λ h jk ) +(δ c 1 δ)a+(δ +c 1 δ)b + 1 ( 4λ j t (1+c 0)δ)( j Takng δ and c, such that, λ h j). (4.1) (β +t)c 0 δ = [(c 0 +1)δ 1], wth β 0, we have from Lemma.5 (4.) δtf + 4 λ t ( j c 1 δf β [ 1 (A+B) 4 λ j h jj) + f +(δ c 1 δ)a+(δ +c 1 δ)b + 1 ( 4λ ) j t (1+c 0)δ ( j h λ jk + 1 ( 1 ( ] λ +λ h k) k k λ h j ) = c 1 δf +(δ c 1 δ β )A+(δ +c 1δ β )B + [ 4 β 1 + 4λ k +λ k k t (1+c ] 0)δ ( λ h k ) c 1 δf +(δ c 1 δ β )A+(δ +c 1δ β )B [ β + 4 t ] 1 t (1+c 0)δ ( λ h k). From (4.9), we have k λ h jk) λ h jk )

17 A GAP THEOREM OF ELF-HRINKER 17 t ( )+(A B) (4.) f A δtf +c 1 δf +(δ c 1 δ β )A+(δ +c 1δ β )B [ β + 4 t ] 1 t (1+c 0)δ ( λ h k ), k that s, t ( ) ( δt+c 1 δ)f (5 δ +c 1 δ + β )A (4.4) +(6+δ +c 1 δ β )B [ β + 4 t ] 1 t (1+c 0)δ ( k λ h k ). Takng 6 + δ + c 1 δ β = 5 δ + c 1 δ + β, we have from (4.15) that β = c 1 δ + δ + 1, (β + t)c 0 δ = ((c 0 + 1)δ 1). Takng δ = 17, c 5 0 = 6 and applyng 17 Lemma 4.1, we obtan β = 54 t, c 5 1 = 5 t, (4.5) t ( ) ( 8 5 t + 1 [ 4 5 )f (7 5 4t )(A B) (54 5t 1) t 69 ] ( 5 Puttng g 1 (t) = 4 (54 1) 69, we can obtan that 5t t 5 when t > nce g 1 (t) < 0, (4.6) (g 1 (t)) = t 6 6 < t t k λ h k). when 1 > t > 0.14, then we have g 1 (t) g 1 (0.1978) < 0 when < t 10.

18 18 QING-MING CHENG AND GUOXIN WEI From Lemma. and Lemma.4, we have (4.7) t ( ) ( 8 5 t 5 )f (7 5 4t )(A B) + 1 [ 4 (54 5t 1) t 69 ] ( λ 5 h k) k ( 8 5 t 5 )f (7 5 4t )1 α (λ 1 λ ) t [ + 4 (54 5t 1) t 69 ] 1+α tf 5 = ( t 9 )(1 α)(λ 1 λ ) t {[ 8 + 5t + 4 (54 5t 1) ] t 9 [ 8 + (54 5t 1) 4 t 46 ] } α tf. 5 If t >, the result s obvous true. If t, we wll obtan a contradcton. In ths case, we have t. Puttng 10 (4.8) a(t) = 8 5t + 4 (54 5t 1) t 9, (4.9) b(t) = 8 then we have (4.40) t ( ) nce a (t) = 14 15t 1 6 (54 5t 1)+ 4 t , ( t 9 )(1 α)(λ 1 λ ) t +[a(t) b(t)α]tf t t < 0, we have (4.41) a(t) a( 10 ) = > 0. nce b (t) = t t functon of t [0.198, 10 (4.4) b(t) b( 10 ) = > 0 f t > 0.14, we have that b(t) s an ncreasng t ], then > 0.

19 Therefore we get A GAP THEOREM OF ELF-HRINKER 19 t ( ) (4.4) ( t 9 )(1 α)(λ 1 λ ) t +[a( 10 ) b( 10 )α]tf. We next consder two cases: Case 1: a( ) b( )α In ths case a( 10 ) α 1. nce λ b( 1,λ 10 ) are the maxmum and mnmum of the prncpal curvatures at any pont of M, we obtan, for any j, o we get and then λ j +λ 1 λ +λ 1, (λ 1 λ j )(λ 1 +λ j ) (λ 1 λ j )(λ 1 +λ ). λ j (λ 1 +λ )λ j λ 1 λ, f 4 (λ 1 +λ )f λ 1 λ, (4.44) f = f 4 f f +(λ 1 +λ )f λ 1 λ, (4.45) f (λ 1 λ ). 4 From (4.4) and (4.45), we have t ( ) (4.46) ( t 9 )(1 α)(λ 1 λ ) t +[a( 10 ) b( 10 )α](λ 1 λ ) t. 4 nce a( ) b( )α 0, usng λ λ λ 1 +λ, we see from (4.46) { ( t 9 )+ 1 a( 10 ) (4.47) [ + ( t 9 ) 1 b( ] } 10 ) α. nce (4.48) we have from (4.47) ( t 9 ) 1 b( 10 ) ( ) = > 0, (4.49) ( t 9 ) On the other hand, [ 1 a( ) ] 10 b( ). 10 a( ) 10 b( > 0.86, ) 10

20 0 QING-MING CHENG AND GUOXIN WEI then from (4.49), we see (4.50) ( t 9 )(1 0.86) ( ) 0.14 > , hence (4.51) > > 1.8 > Ths s mpossble. Case : a( ) b( )α > In ths case a( 10 ) > α 0. From Lemma. and (4.4), we obtan b( ) 10 (4.5) t ( ) ( t 9 )(1 α)(λ 1 λ ) t + ( t 9 )(1 α)(λ 1 λ ) t [ + a( 10 ) b( ] 10 )α (λ1 λ ) (λ λ 1 +λ 1 λ ) t. [ a( 10 ) b( ] 10 )α tf Puttng y = λ 1λ, we have 1 y = λ 1λ (4.5) that 1 λ 1 +λ 1, then we nfer from (4.5) ( t [ 9 )(1 α)(1+y) + a( 10 ) b( ] 10 )α (1+y)( y) {[ = ( t 9 )(1+y)+a( ] 10 )(1+y)y [ + ( t 9 )(1+y) b( ] } 10 )(1+y)y α. Defnng two functons ρ(y) and (y) by (4.54) ρ(y) = ( t 9 )(1+y)+a( 10 )(1+y)y, (4.55) (y) = ( t 9 )(1+y) b( 10 )(1+y)y.

21 nce n >, we have 1+y > 0, then (4.56) (4.57) By a drect calculaton, we obtan (4.58) t follows that A GAP THEOREM OF ELF-HRINKER 1 (y) = ( t 9 )(1+y) b( 10 )(1+y)y = (1+y) [ t 9 b( 10 )y] > (1+y) [ ] = (1+y) > 0. ρ(y) = ( t 9 )(1+y)+a( 10 )(1+y)y = (1+y)[ t 9 +a( 10 )y ] < (1+y)[ ] = (1+y) ( ) < 0. ρ (y) = ( t 9 )+a( 10 )[y +6y ] = [ t 9 +a( 10 )y +a( 10 )y ] < [ a( 10 ) < [ ] < 0, 1 (4.59) ρ(y) ρ( 1 ) = ( t 9 )+ 1 a( 10 ). From the above arguments, we have (ρ(y)+ (y)α) ( ( t 9 )+ 1 a( 10 )) (4.60) > ( ( 1) ) = > , then (4.61) > > 1.54 > It s a contradcton. Hence, we have t >, that s, > 10 f > 1. Ths completes the proof of 10 7 Theorem 1.1.

22 QING-MING CHENG AND GUOXIN WEI References [1] U. Abresch and J. Langer, The normalzed curve shortenng flow and homothetc solutons, J. Dff. Geom., (1986), []. Angenent, hrnkng doughnuts, In nonlnear dffuson equatons and ther equlbrum states, Brkhaüser, Boston-Basel-Berln, 7, 1-8, 199. [] H. -D. Cao and H. L, A gap theorem for self-shrnkers of the mean curvature flow n arbtrary codmenson, to appear n Calc. Var. Partal Dfferental Equatons, arxv: [4] Q. -M. Cheng and H. C. Yang, Chern s conjecture on mnmal hypersurfaces, Math. Z., 7 (1998), [5] T. H. Coldng and W. P. Mncozz II, Generc mean curvature flow I; Generc sngulartes, Ann. of Math., 175 (01), [6] Q. Dng and Y. L. Xn, The rgdty theorems of self shrnkers, to appear n Trans. Amer. Math. oc., arxv: [7] Q. Dng and Y. L. Xn, Volume growth, egenvalue and compactness for self-shrnkers, to appear n Asa J. Math., arxv: [8] G. Husken, Flow by mean curvature of convex surfaces nto spheres, J. Dff. Geom., (1984), [9] G. Husken, Asymptotc behavor for sngulartes of the mean curvature flow, J. Dff. Geom., 1 (1990), [10] G. Husken, Local and global behavour of hypersurfaces movng by mean curvature, Dfferental geometry: partal dfferental equatons on manfolds, , Proc. ympos. Pure Math., 54 (199), Amer. Math. oc.. [11] Nam Q. Le and N. esum, Blow-up rate of the mean curvature durng the mean curvature flow and a gap theorem for self-shrnkers, Comm. Anal. Geom., 19 (011), 1-7. [1] H. L and Y. We, Classfcaton and rgdty of self-shrnkers n the mean curvature flow, to appear n J. Math. oc. Japan, arxv: Qng-Mng Cheng, Department of Appled Mathematcs, Faculty of cences, Fukuoka Unversty, , Fukuoka, Japan, cheng@fukuoka-u.ac.jp Guoxn We, chool of Mathematcal cences, outh Chna Normal Unversty, 51061, Guangzhou, Chna, weguoxn@tsnghua.org.cn