arxiv: v1 [math.dg] 19 Aug 2009

Transcription

1 arxiv: v1 [math.dg] 19 Aug 009 CURVATURE BOUND FOR CURVE SHORTENING FLOW VIA DISTANCE COMPARISON AND A DIRECT PROOF OF GRAYSON S THEOREM BEN ANDREWS AND PAUL BRYAN Abstract. A new isoperimetric estimate is prove for embee close curves evolving by curve shortening flow, normalize to have total length π. The estimate bouns the length of any chor from below in terms of the arc length between its enpoints an elapse time. Applying the estimate to short segments we euce irectly that the maximum curvature ecays exponentially to 1. This gives a self-containe proof of Grayson s theorem which oes not require the monotonicity formula or the classification of singularities. 1. Introuction Uner the curve shortening flow, a curve in R moves in its normal irection with spee given by its curvature. More precisely, if F0 : S 1 R is a smooth immersion, we are concerne with the solution F : [0, T) R of the initial value problem 1) F τ = k N F,0) = F 0 ) where k is the curvature with respect to the unit normal N. It is well known [6, Section ] that there exists a unique solution F : S 1 [0, T) R such that F.,τ) is a smooth immersion for each τ, an the maximum curvature k max τ) = max{ ks,τ) : s S 1 } becomes unboune as τ approaches the maximal time T. Following work by Gage [4], [5] an Gage an Hamilton [6] on the solution of 1) for convex curves, Grayson [7] prove that any embee close curve evolves to become convex, an subsequently shrinks to a point while becoming circular in shape. His argument was rather elicate, requiring separate analyses of what may happen uner various geometric configurations, an special arguments in each case to show that the curve must inee become convex. More recently the proof has been simplifie by using isoperimetric estimates to rule out certain kins of behaviour: Huisken [11] gave an isoperimetric estimate relating chor length to arc length, an Hamilton [9] gave an estimate controlling the ratio of the isoperimetric profile to that of a circle of the same area. Either of these arguments can be use to euce Grayson s theorem, by making use of previous results concerning the classification of singularities: If the maximum curvature remains comparable to that of a circle with the same extinction time, Huisken s monotonicity formula [10] implies that the curve has asymptotic shape given by a self-similar solution of 000 Mathematics Subject Classification. 53C44, 35K55, 58J35. Key wors an phrases. Curve shortening flow, isoperimetric estimate, curvature boun. 1

2 BEN ANDREWS AND PAUL BRYAN curve-shortening flow, which by the classification of Abresch an Langer[1] must be a circle. Otherwise, one can use a blow-up proceure to prouce a convex limiting curve to which Hamilton s Harnack estimate [8] for the curve-shortening flow can be applie to show that it is a grim reaper curve see for example the argument given in [, Section 8]). But this implies that the isoperimetric boun must be violate, proving Grayson s theorem. Our purpose in this paper is to give a proof of Grayson stheorem which oes not require any of the aitional machinery escribe above: By refining the isoperimetric argument of Huisken, we obtain stronger control on the chor istances, sufficient to imply a curvature boun. The curvature boun we obtain is remarkably strong, an immeiately implies that after rescaling the evolving curves to have length π the maximum curvature approaches 1 at a sharp rate. The convergence of the rescale curves to circles is then straightforwar. Our result is most easily formulate in terms of a normalize flow, which we now introuce: Given a solution F of 1), we efine F : S 1 [0,T) R by π Fp,t) = Fp,τ), L[ F.,τ)] where t = τ 0 π L[ F.,τ )] ) T τ, an T = 0 π L[ F.,τ )] ) τ. ThenL[F.,t)] = π foreveryt, anf evolvesaccoringtothenormalizeequation F ) = k F kn where k enotes the curvature of the normalize curve F, an we introuce the averagecurvaturek = π) 1 S k. Ourmainresultisanisoperimetricbounfor 1 embee curves evolving by Equation ), controlling lengths of chors in terms of the arc length between their enpoints an elapse time.. Distance comparison for smooth embee curves We enote the chor length by p,q,t) = Fq,t) Fp,t), an the arc length along the curve F.,t) by lp,q,t). Our main result is the following: Theorem 1. Let F : S 1 [0,T) R be a smooth embee solution of the normalise curve-shortening flow ) with fixe total length π. Then there exists t R such that for every p an q in S 1 an every t 0, 3) p,q,t) f lp,q,t),t t), where f is efine by fx,t) = e t arctan e t sin x )) for t R an x [0,π]. Proof. We begin by proving that for any smooth embee close curve F 0 the inequality fl, t) hols for sufficiently large t. In particular this implies there exists t R such that the inequality 3) is satisfie at t = 0. First we compute fx,t) = et [ arctane t sinx/)) e t sinx/) 1+e t sin x/)) ] = e t ge t sinx/)), where gz) = arctanz z 1+z. Then g0) = 0 an g z) = z 1+z ) > 0 for z > 0, so gz) > 0, an f is strictly increasing in t. Also note that lim t fx,t) = sinx/),anlim t fx,t) = 0. Defineap,q) = inf{e t : p,q) flp,q), t)}

3 GRAYSON S THEOREM BY DISTANCE COMPARISON 3 for p q in S 1. Then by the implicit function theorem a is continuous, an smooth an positive where 0 < < sinl/) where it is efine by the ientity 4) p,q) = flp,q), logap,q))). Lemma. The function a extens to a continuous function on S 1 S 1 by efining max{kp) 1,0} ap,p) =. In particular ā = sup{ap,q) : p q} is finite. Proof. Wemustshowthataiscontinuousateachpointp,p). Fixpanparametrise by arc length s so that F 0 0) =. The Taylor expansion of F 0 about s 1 gives F 0 s ) F 0 s 1 ) = s s 1 ) Ts 1 ) s s 1 ) ks 1 ) Ns 1 ) s s 1 ) 3 k s s 1 ) Ns 6 ) 1 )+ks 1 ) Ts1 ) +o s s 1 4 ). Computing the square length of this we fin s 1,s ) = s s 1 1 s s 1 ) ) ks 1 ) +O s s 1 3 ) 1 = s s 1 1 s s 1 ) ) k0) +O s + s 1 ) s s 1 ). 1 Since ls,s 1 ) = s s 1, it follows that s 1,s ) = ls 1,s ) ls 1,s ) 3 k0) +O s + s 1 )) ). 4 Now the Taylor expansion of f about x = 0 gives fx, loga) = x 1+a x 3 +Ox 4 ), 4 so since sinx/) = x 1 4 x3 +Ox 4 ), the ientity 4) gives for k0) > 1 that k0) l 4 +O s 1 + s ) )l 3 = l 1+a l 3 +Ol 4 ), 4 so that max{k0),1} = 1+as 1,s ) +O s 1 + s ). In particular we have 5) lim as max{k0) 1,0} 1,s ) =, s 1,s ) 0,0) proving that a is continuous. By the construction of a an the monotonicity of f in a we have p,q) flp,q), logap,q)) flp,q), t), where t = logā, so the inequality in the Theorem hols for t = 0. To show the result for positive times we use a maximum principle argument. Define Z : S 1 S 1 [0,T) R by 6) Zp,q,t) = p,q,t) f lp,q,t),t t). Note that Z is continuous on S 1 S 1 [0,T) an smooth where p q. Fix t 1 0,T), an choose C > sup{k t) : 0 t t 1 } We prove by contraiction that Z ε = Z +εe Ct remains positive on S 1 S 1 [0,t 1 ] for any ε > 0. At t = 0

4 4 BEN ANDREWS AND PAUL BRYAN an on the iagonal {p,p) : p S 1 } we have Z ε ε > 0, so if Z ε oes not remain positive then there exists t 0 0,t 1 ] an,q 0 ) S 1 S 1 with q 0 such that Z ε,q 0,t 0 ) = 0 = inf{z ε p,q,t) : p,q S 1, 0 t t 0 }. It follows that at,q 0,t 0 ) we have Z = εe Ct0, Z + = CεeCt0 Zε 0, while the first spatial erivative of Z vanishes an the secon is non-negative. We parametrizeusingthe arc-lengthparameterattimet 0, anchoosethenormal N to point out of the region enclose by the curve. For arbitrary real ξ an η, let σu) = +ξu,q 0 +ηu,t 0 ). Then we compute 7) u Zσu)) = ξ w, T p +f ) +η w, T q f ), where f enotes the erivative in the first argument, T p = F s p,t), an we efine for p q wp,q,t) = Fq,t) Fp,t). p,q,t) The right-han sie of Equation 7) vanishes at u = 0, so we have 8) f = w, T p0 = w, T q0. There are two possibilities: Either T q0 = T p0 w, or w bisects T p0 an T q0. We begin by ruling out the first case. Since T p0 = T q0 w, the normal makes an acute angle with the chor q 0 at one enpoint, an an obtuse angle at the other. Therefore points on the chor near one enpoint are insie the region, while points near the other enpoint are outsie, implying that there is at least one other point where the curve F.,t 0 ) meets the chor. We may assume that an intersection occurs at s with < s < q 0. Then we have,q 0 ) =,s)+s,q 0 ) l,q 0 ) = min{l,s)+ls,q 0 ),π l,s) ls,q 0 )} f = f.,a) is strictly concave, so fx+y) = fx+y)+f0) fx)+fy) whenever x,y > 0 an x+y < π. Noting also that fx) = fπ x), we have Z,q 0 ) =,q 0 ) f l,q 0 ),a) =,s)+s,q 0 ) f l,s)+ls,q 0 ),a) >,s) f l,s),a)+s,q 0 ) f ls,q 0 ),a) = Z,s)+Zs,q 0 ) an so either Z,s) < Z,q 0 ) or Zs,q 0 ) < Z,q 0 ), which is impossible. Now let us consier the secon case. The secon erivative of Z along σ is [ u=0 1 u Zσu)) = ξ 1 w, T ) ] p0 + w,k p0np0 f [ 1 +η 1 w, T ) ] q0 w,k q0nq0 f [ 1 +ξη w, T p0 w, T ] q0 Tp0, T q0 )+f

5 GRAYSON S THEOREM BY DISTANCE COMPARISON 5 Sincew bisectst p0 ant q0 wecanwrite Tp0,w = Tq0,w cosθ an Tp0, T q0 = cos θ 1. Choosing ξ = 1 an η = 1 then gives 9) 0 w,k p0np0 k q0nq0 4f. Uner the rescale flow equation ), an l evolve as follows: = 1 k p0np0 +k F p0 +k q0nq0 k F q0,f p0 F q0 = w,k p0 k q0 +k ; l q0 = k l k s. The latter is obtaine from Equation ) as in [6, Lemma 3.1.1] to compute F p = k k ) F p. From these we obtain an expression for the time erivative of Z: Cεe Ct0 Z = f l f = w,k p0 N p0 k q0 N q0 +k f k l From equation 9), q0 ) k s q0 = w,k p0np0 k q0nq0 +k εe Ct0 +f f l)+f 10) Cεe Ct0 4f +k εe Ct0 +f f l ) +f q0 k s f. f k s f. Now we observe that since f is concave, f f l) = f l > 0, so f f l > 0 for l > 0. We estimate the coefficient k of f f l using Höler s inequality, to give k k ) = 1, since ks = π = s. Since l π we also have f 0, so we can also estimate the secon-last term in 10) using Höler s inequality: q0 k s q0 k s l ) θ l, where θ is the angle between T p0 an T q0. This is twice the angle between T p0 an w, so by Equation 8) we have θ = arccosf ), an 10) becomes Cεe Ct0 Lf +k εe Ct0 an hence Lf < 0 by our choice of C, where Lf = 4f +f f l+4 f l arccosf )) f. We make one further estimation: Observing that z hz) := arccosz)) is a convex function on [0, 1] we estimate hf ) hcosl/))+h cosl/))f cosl/)) = l 4 This gives Lf Lf, where Lf = 4f +f 4f sinl/) f cosl/)) f. l sinl/) f cosl/)).

6 6 BEN ANDREWS AND PAUL BRYAN Thus we have a contraiction if Lf 0, an f is concave for each t. We leave it to the reaer to check that f is in fact a solution of Lf = 0. We remark that while our own iscovery of the function f was purely serenipitous, it coul reasonably be prouce by changing variable from l to sinl/) an seeking a similarity solution of Lf = The curvature boun an long time existence Theorem 3. With t as in Theorem 1, we have for 0 t < T. sup{kp,t) : p S 1 } 1+e t t) Proof. By Lemma an Theorem 1, for t 0 we have for each p S 1 max{kp,t) 1,0} = ap,p,t) sup{ap,q,t) : p q} e t t. Corollary 4. T =, an n k s n Cn, t)1+t n/ ) for each n > 0 an t > 0. Proof. Suppose T <. Theorem 3 gives a boun on curvature of the form kp, t) C for all t [0, T]. The un-normalize equation can be recovere from the normalize one by setting λt) = L[ F 0] π exp t 0 k t )t ), an efining Fp,τ) = λt)fp,t), where τ = t 0 λt ) t. In particular, k max τ) is boune for τ [0, T), which is impossible. The bouns follow from a stanar bootstrapping argument. For example, bouns on k s can be obtaine by applying the maximum principle to the evolution equation for t k s +k, given that k is boune. 4. Exponential convergence of the Normalise Flow Now we euce exponential convergence of the curvature to 1. First we observe that since ks = L = π, ks) 1) s = k s ks+l = k 1)s e t t). Stronger convergence via Gagliaro-Nirenberg inequalities see [3, Theorem 19]) which state that since k 1)s = 0, D i k Cm,i) D m k i+1 m i) m+1 m+1 k 1 Ci, t,ε)e 1 ε)t for t 1 an any ε > 0, using the estimates from Corollary 1 an with m chosen large enough for given ε > 0. Thus ks) 1 in C as t. It follows that the normalize curves converge moulo translations to a unit circle, exponentially fast in C k for any k. The result of Grayson s theorem follows using the formulae for the unnormalize curves given in the proof of Corollary 4.

7 GRAYSON S THEOREM BY DISTANCE COMPARISON 7 References [1] U. Abresch an J. Langer. The normalize curve shortening flow an homothetic solutions. J. Differential Geom., 3): , [] Steven J. Altschuler. Singularities of the curve shrinking flow for space curves. J. Differential Geom., 34): , [3] Ben Anrews. The affine curve-lengthening flow. J. Reine Angew. Math., 506: 43 83, [4] Michael E. Gage. An isoperimetric inequality with applications to curve shortening. Duke Math. J., 504):15 19, [5] Michael E. Gage. Curve shortening makes convex curves circular. Invent. Math., 76): , [6] Michael E. Gage an R. S. Hamilton. The heat equation shrinking convex plane curves. J. Differential Geom., 31):69 96, [7] Matthew A. Grayson. The heat equation shrinks embee plane curves to roun points. J. Differential Geom., 6):85 314, [8] Richar S. Hamilton. Harnack estimate for the mean curvature flow. J. Differential Geom., 411):15 6, [9] Richar S. Hamilton. Isoperimetric estimates for the curve shrinking flow in the plane. In Moern methos in complex analysis Princeton, NJ, 199), volume 137 of Ann. of Math. Stu., pages 01. Princeton Univ. Press, Princeton, NJ, [10] Gerhar Huisken. Asymptotic behavior for singularities of the mean curvature flow. J. Differential Geom., 311):85 99, [11] Gerhar Huisken. A istance comparison principle for evolving curves. Asian J. Math., 1):17 133, MSI, ANU, ACT 000, Australia aress: Ben.Anrews@anu.eu.au MSI, ANU, ACT 000, Australia aress: Paul.Bryan@anu.eu.au