LOCAL MONOTONICITY AND MEAN VALUE FORMULAS FOR EVOLVING RIEMANNIAN MANIFOLDS


 Marcia Cameron
 1 years ago
 Views:
Transcription
1 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS FOR EVOLVING RIEMANNIAN MANIFOLDS KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING Abstract. We erive ietities for geeral ows of Riemaia metrics that may be regare as local meavalue, mootoicity, or Lyapuov formulae. These geeralize previous work of the rst author for mea curvature ow a other oliear i usios. Our results apply i particular to Ricci ow, where they yiel a local mootoe quatity irectly aalogous to Perelma s reuce volume ~ V a a local ietity relate to Perelma s average eergy F.. Itrouctio To motivate the local formulas we erive i this paper, cosier the followig simple but quite geeral strategy for ig mootoe quatities i geometric ows, whose core iea is simply itegratio by parts. Let (M ; g(t)) be a smooth oeparameter family of complete Riemaia maifols evolvig for t [a; b] by (.) t g = h: Observe that the formal cojugate of the timeepeet heat operator t o the evolvig maifol (M ; g(t)) is ( t + + tr gh). If '; : M [a; b]! R are smooth fuctios for which the ivergece theorem is vali (e.g. if M is compact or if ' a a their erivatives ecay rapily eough at i ity), oe has (.) ' = f [( )'] + '[( t M M t t + + tr gh) ]g : If ' solves the heat equatio a solves the ajoit heat equatio, it follows that the itegral R ' is iepeet of time. More geerally, if [( M t )'] a '[( t + + tr gh) ] both have the same sig, the R ' will be mootoe i M t. If the prouct ' is geometrically meaigful, this ca yiel useful results. Here are but a few examples. Example. The simplest example uses the heat equatio o Eucliea space. Let (.3) (x; t) = [4(s t)] e jy xj = 4(s t) (x R ; t < s) eote the backwar heat kerel with sigularity at (y; s) R R. If ' solves the heat equatio a either it or its erivatives grow too fast at i ity, the '(y; s) = lim '(x; t) (x; t) x: t%s R R Because t '(x; t) (x; t) x = 0, oe has '(y; s) = R '(x; t) (x; t) x for all R R y R a t < s, which illustrates the averagig property of the heat operator. Here a throughout this paper, eotes the volume form associate to g(t).
2 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING Example. Let F t : M,! M t R + be a oeparameter family of hypersurfaces evolvig by mea curvature ow, t F t = H, where H is the mea curvature a the outwar uit ormal of the hypersurface M t. This correspos to h = HA i (.), where A is the seco fuametal form. De e by formula (.3) applie to x R + a t < s. Usig tr g h = H, oe calculates that ( t + H ) = (x y)? H (s t) : Hece by (.), ' = [( )'] (x y)? t t H (s t) ' : M t M t This is establishe for ' by Huiske [0, Theorem 3.] a geeralize by Huiske a the rst author [8, ] to ay smooth ' for which the itegrals are ite a itegratio by parts is permissible. Hece R is mootoe oicreasig i time a is costat precisely M t o homothetically shrikig solutios. The mootoicity implies that the esity MCF O := lim t%0 of the limit poit O = (0; 0) is well e e. Aother RM t cosequece is that sup M b ' sup M a ' if ( t )' 0 for t [a; b]. Example 3. A compact Riemaia maifol (M ; g(t)) evolvig by Ricci ow correspos to h = Rc i (.), so that tr g h = R. If ' a = (f jrfj + R) + f (4) = e f ; the Perelma s etropy may be writte as W (g(t); f(t); (t)) = R M '. If =t = a ( t + )f = jrfj R, the ( t + R) = j Rc +rrf gj (4) = e f : I this case, (.) becomes W(g(t); f(t); (t)) = j Rc +rrf t M gj (4) = e f ; which is formula (3.4) of [3]. I particular, W is mootoe icreasig a is costat precisely o compact shrikig graiet solitos. Example 4. Agai for (M ; g(t)) evolvig smoothly by Ricci ow for t [a; b], let ` eote Perelma s reuce istace [3] from a origi (y; b). Take ' a choose v to be the reucevolume esity 3 v(x; t) = M t [4(b t)] = e `(x;b t) (x M ; t < b): The Perelma s reuce volume is give by V ~ (t) = R '. By [3, 7], M ( t + R)v 0 hols i the barrier sese, hece i the istributioal sese.4 Throughout this paper, r represets the spatial covariat erivative, a = trgrr. 3 The formula use here a throughout this paper i ers from Perelma s by the costat factor (4) =. This ormalizatio is more coveiet for our applicatios. 4 It is a staar fact that a suitable barrier iequality implies a istributioal iequality. See [4] for relevat e itios a a proof. A irect proof for v is fou i [38, Lemma.].
3 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS 3 Thus oe obtais mootoicity of the reuce volume if M is compact or if its Ricci curvature is boue. More geerally, oe gets mootoicity of R ' for ay oegative supersolutio ' of the heat equatio. I particular, takig '(x; t) = R(x; t) R mi (0) M o a compact maifol a otig that ( t )' 0 hols poitwise, oe veri es that R [R R M mi (0)]v is oecreasig i time. I [], Felma, Ilmae, a the thir author itrouce a expaig etropy a a forwar reuce volume for compact maifols evolvig by Ricci ow. Mootoicity of these quatities may also be erive from (.) with '. Similar ieas play importat roles i Perelma s proofs of i eretial Harack estimates [3, 9] a pseuolocality [3, 0]. The strategy of itegratio by parts ca be aapte to yiel local mootoe quatities for geometric ows. We shall preset a rigorous erivatio i Sectio whe we prove our mai result, Theorem 7. Before oig so, however, we will explai the uerlyig motivatios by a purely formal argumet. Suppose for the purposes of this argumet that = S atb t is a smooth, precompact subset of M [a; b]. Assume that t is smooth with outwar uit ormal, a let eote the measure o t iuce by g(t). If the prouct ' vaishes o, the (.4) [( f )'] + '[( t t + + tr gh) ]g t b = ' t + (' hr ; i hr'; i) t: a t t This formula may be regare as a spacetime aalog of Gree s seco ietity. I the special case that is the superlevel set f(x; t) : (x; t) > 0g a both a a b are empty, the = jr j r, whece (.4) reuces to (.5) [( f >0gf )']+'[( t t ++tr gh) ]g t+ 'jr j t = 0: f =0g Formula (.5) eables a strategy for the costructio of local mootoe quatities. Here is the strategy, agai presete as a purely formal argumet. Let ' a > 0 be give. De e = log, a for r > 0, let (r) = log(r ). Notice that r (r) = r for all r > 0. Take to be the set e e for r > 0 by (.6) := f(x; t) : (x; t) > r g = f(x; t) : (r) > 0g: (Whe is a fuametal solutio 5 of a backwar heat equatio, the set is ofte calle a heatball.) Assume for the sake of this formal argumet that the outwar uit ormal to the time slice (t) := \(M ftg) is = jr j r. Observe that (.7) ( t + ) = ( t + + tr gh) jr j tr g h: Applyig the coarea formula to each time slice (t), followe by a itegratio i t, oe obtais (.8) jr j ' t = jr j' t: r r 5 See Sectio 5 below.
4 4 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING Similarly, oe has (.9a) (tr g h) (r) ' t = (tr g h)[ r r log(r )]' t = (.9b) (tr g h)' t; r because the bouary itegral vaishes i this case. Now by rearragig (.5) a usig (.7) (.9), oe gets f (r) [( )'] + [( t t + + tr gh) ]'g t = jr j (tr g h) (r) ' t 'jr j t + (tr g h)' t E r = jr j r (tr g h) (r) ' t jr j (tr g h) (r) ' t: r De ig (.0) P '; (r) := jr log j (tr g h) log(r ) ' t a applyig a itegratig factor, oe obtais the followig formal ietity. Sice log(r ) = (r) > 0 i, this ietity prouces a local mootoe quatity wheever ( t )' a '( t + + tr gh) have the same sig. Prototheorem. Wheever the steps above ca be rigorously justi e a all itegrals i sight make sese, the ietity (.) r P'; (r) = r r + log(r will hol i a appropriate sese. )( t )' + [( t + + tr gh) ]' t I spirit, (.) is a parabolic aalogue of the formula! r r '(x) = jx yj<r r + (r jx yj )' ; jx yj<r which for harmoic ' (i.e. ' = 0) leas to the classical local meavalue represetatio formulae '(y) =! r '(x) = jx yj<r! r '(x) : jx yj=r The mai result of this paper, Theorem 7, is a rigorous versio of the motivatioal prototheorem above. We establish Theorem 7 i a su cietly robust framework to provie ew proofs of some classical meavalue formulae (Examples 5 8), to geerate several ew results (Corollaries 3, 5, 8, 9, 3, 6, 7) a to permit geeralizatios for future applicatios. Our immeiate origial results are orgaize as follows: i Sectio 4, we stuy Perelma s reuce volume for maifols evolvig by Ricci ow; i Sectio 5, we iscuss heat kerels o evolvig Riemaia maifols (icluig xe maifols as a iterestig special case); a i Sectio 6, we cosier Perelma s average eergy for maifols evolvig by Ricci ow. I [7], the thir author applies some of these results to obtai local regularity theorems
5 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS 5 for Ricci ow. Potetial future geeralizatios that we have i mi cocer varifol (Brakke) solutios of mea curvature ow, solutios of Ricci ow with surgery, a fuametal solutios i the cotext of weak (Bakry Émery) Ricci curvature, e.g. [3]. As ote above, Theorem 7 allows ew proofs of several previously kow local mootoicity formulae, all of which shoul be compare with (.). To wit: Example 5. Cosier the Eucliea metric o M = R with h = 0. If is the backwars heat kerel (.3) cetere at (y; s) a the heatball (y; s) is e e by (.6), the (.0) becomes P '; (r) = '(x; t) jy xj t: 4(s t) Thus (.) reuces to P'; (r) (.) r r = jy xj (y;s) r + log(r (y;s) )( t )' t: Sice R (y;s) 4(s t) t =, this implies the mea value ietity (.3) '(y; s) = r '(x; t) jy xj t 4(s t) (y;s) for all ' satisfyig ( t )' = 0. This localizes Example. To our kowlege, Pii [8, 9, 30] was the rst to prove (.3) i the case =. This was later geeralize to > by Watso [35]. The geeral formula (.) appears i Evas Gariepy [9]. There are may similar meavalue represetatio formulae for more geeral parabolic operators. For example, see Fabes Garofalo [0] a Garofalo Lacoelli [4]. (Also see Corollaries 3 a 6, below.) Example 6. Surface itegrals over heatballs rst appear i the work of Fulks [3], who proves that a cotiuous fuctio ' o R (a; b) satis es '(y; s) = jy xj r '(x; t) p 4jy xj (s t) + [jy xj (s t)] for all su cietly small r > 0 if a oly if ' is a solutio of the heat equatio. (Compare to Corollary 5 below.) Example 7. Previous results of the rst author [5] localize Example for mea curvature ow. O R + ( ; 0), e e (x; t) := ( 4t) = e jxj =4t. Substitute ( t + + tr gh) = jr? + Hj a tr g h = H ito (.0) a (.). If the spacetime track M = S t<0 M t of a solutio to mea curvature ow is well e e i the cylier B(0; p r =) ( r =4; 0), the [5] proves that formula (.), with the itegrals take over \ M, hols i the istributioal sese for ay r (0; r) a ay ' for which all itegral expressios are ite. I particular, P ; (r)=r is mootoe icreasig i r. The esity MCF O := lim t%0 (x; t) of the limit poit O = (0; 0) ca thus be calculate RM t locally by MCF P ; (r) O = lim r&0 r :
6 6 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING (Compare to Corollary 8 below.) Relate work of the rst author for other oliear i usios is fou i [7]. Example 8. Perelma s scale etropy W a the forwar reuce volume + are localize by the thir author [5, Propositios 5., 5.3, 5.4]. Although oly state there for Kähler Ricci ow, these localizatios remai vali for Ricci ow i geeral. They are motivate by the rst author s work o mea curvature ow [6] a arise from (.) by takig ' to be a suitable cuto fuctio e e with respect to ` a `+, respectively. The remaier of this paper is orgaize as follows. I Sectio, we rigorously erive Theorem 7: the geeral local mootoicity formula motivate by formula (.) above. I Sectio 3, we erive a local graiet estimate for solutios of the cojugate heat equatio. I Sectios 4 5, we apply this machiery to obtai ew results i some special cases where our assumptios ca be checke a i which (.) simpli es a becomes more familiar. The Appeix (Sectio 7) reviews some relevat properties of Perelma s reuce istace a volume. Ackowlegmets. K.E. was partially supporte by SFB 647. D.K. was partially supporte by NSF grats DMS0584, DMS , a a Uiversity of Texas Summer Research Assigmet. L.N. was partially supporte by NSF grats a a Alfre P. Sloa Fellowship. P.T. was partially supporte by a EPSRC Avace Research Fellowship. L.N. thaks both Professor Beett Chow a Professor Peter Ebefelt for brigig Watso s meavalue equality to his attetio. This motivate him to stuy heatball costructios a i particular [0] a [5]. He also thaks Professor Peter Li for may helpful iscussios.. The rigorous erivatio Let < a < b <, a let (M ; g(t)) be a smooth oeparameter family of complete Riemaia maifols evolvig by (.) for t [a; b]. As ote above, the formal cojugate of the heat operator t o (M ; g(t)) is ( t + + tr gh). For R, we aopt the staar otatio [] + := maxf; 0g. Let be a give positive fuctio o M [a; b). As i Sectio, it is coveiet to work with (.) := log a the fuctio e e for each r > 0 by (.) (r) := + log r: For r > 0, we e e the spacetime superlevel set ( heatball ) (.3a) (.3b) = f(x; t) M [a; b) : > r g = f(x; t) M [a; b) : (r) > 0g: We woul like to allow to blow up as we approach time t = b; i particular, we have i mi various fuctios which have a sigularity that agrees asymptotically with a (backwars) heat kerel cetere at some poit i M at time t = b. (See Sectios 6 5.) I this cotext, we make, for the momet, the followig three assumptios about.
7 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS 7 Assumptio. The fuctio is locally Lipschitz o M [a; s] for ay s (a; b). Assumptio. There exists a compact subset M such that outsie [a; b). Assumptio 3. There exists r > 0 such that! j j = 0 a lim s%b \(M fsg) jr j t < : is boue Remark 4. By the cotiuity of from Assumptio a its boueess from Assumptio, we ca be sure, after reucig r > 0 if ecessary, that r outsie some compact subset of M (a; b]. I particular, we the kow that the superlevel sets lie isie this compact subset for r (0; r]. Remark 5. By Assumptio 3 a compactess of, oe has R j j t <. Remark 6. We make o irect assumptios about the regularity of the sets themselves. Let ' be a arbitrary smooth fuctio o M (a; b]. By Assumptio 3, the quatity (.4) P '; (r) := [jr j (r)(tr g h)]' t is ite for r (0; r]. Our mai result is as follows: Theorem 7. Suppose that (M ; g(t)) is a smooth oeparameter family of complete Riemaia maifols evolvig by (.) for t [a; b], that : M [a; b)! (0; ) satis es Assumptios 3, that r > 0 is chose accorig to Assumptio 3 a Remark 4, a that 0 < r 0 < r r. If is smooth a the fuctio belogs to L ( ), the (.5) P '; (r ) r r r 0 r + If, istea, iequality P '; (r 0 ) r 0 [ ( t + + tr gh) = ( t + + jr j + tr g h)' t + + jr j + tr g h ( + log r)( ' t ')] t r: is merely locally Lipschitz i the sese of Assumptio, a the ( t + + tr gh) 0 hols i the istributioal sese, a ' 0, the P '; (r ) P '; (r 0 ) r (.6) r r0 r + ( + log r)( ' t r 0 ') t r:
8 8 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING Remark 8. If ' solves the heat equatio a solves the cojugate heat equatio, the (.5) implies that P '; (r)=r is iepeet of r. See Example 5 (above) a Corollary 3 (below). Proof of Theorem 7. We begi by assumig that is smooth. I the proof, we write P () P '; (). For most of the proof, we will work with a moi e fuctio, amely (.7) P (r; s) := [jr j \(M [a;s]) (r)(tr g h)]' t; arisig from restrictio to the time iterval [a; s], for some s (a; b). As a result, we will oly be workig o omais o which a its erivatives are boue, a the covergece of itegrals will ot be i oubt. A limit s % b will be take at the e. Let : R! [0; ] be a smooth fuctio with the properties that (y) = 0 for y 0 a 0 (y) 0. Let : R! [0; ) eote the primitive of e e by (y) = R (x) x. Oe shoul keep i mi that ca be mae very close to y the Heavisie fuctio, i which case (y) will lie a little below [y] +. For r (0; r] a s (a; b), we e e (.8) Q(r; s) := [jr j ( (r) ) M [a;s] ( (r) )(tr g h)]' t; which shoul be regare as a perturbatio of P (r; s), a will relieve us of some techical problems arisig from the fact that we have o cotrol o the regularity of. Note that ( (r) ) a ( (r) ) have support i. Therefore, the covergece of the itegrals is guaratee. I the followig computatios, we suppress the epeece of Q o s a assume that each itegral is over the spacetime regio M [a; s] uless otherwise state. Oe has (.9) r + r Q(r) r = r Q0 (r) Q(r) = [jr j 0 ( (r) ) 0 ( (r) )(tr g h)]' t Q(r) = [jr j 0 ( (r) )]' t [( (r) )(tr g h)]' t [jr j ( (r) )]' t + [( (r) )(tr g h)]' t: The rst itegral a the last itegral i the last equality o the rightha sie require further attetio.
9 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS 9 For the rst of these, we keep i mi that r = r (r) a compute (.0) [jr j 0 ( (r) )]' t r = ; r(( (r) )) ' t = [( )( (r) )' + r (r) ; r' ( (r) )] t = [ ( )( (r) )' + (') (r) ( (r) ) + hr ; r'i (r) 0 ( (r) )] t; the calculatio beig vali o each time slice. For the fourth itegral, we compute that at each time t (a; b), oe has ( (r) )' = [ 0 ( (r) ) t t '+( (r)) ' t +( (r))'(tr g h)] ; M ftg M ftg the al term comig from i eretiatio of the volume form. Itegratig over the time iterval [a; s] a usig the facts that 0 = a that ( (r) ) = 0 at t = a (which hols because (r) 0 at t = a by Remark 4), we that (.) ( (r) )(tr g h)' t = [( (r) ) t ' + ( (r)) ' ] t t + ( (r) )' ; M fsg where the itegrals are still over M [a; s] uless otherwise iicate. We ow combie (.9) with (.0) a (.) to obtai r + Q(r) (.) r r = ( t + + jr j + tr g h)( (r) )' t ' + (') (r) ( (r) ) t t ( (r)) t + hr ; r'i (r) 0 ( (r) ) t + ( (r) )' : M fsg The etire ietity may ow be multiplie by =r + a itegrate with respect to r betwee r 0 a r, where 0 < r 0 < r r, to get a ietity for the quatity Q(r ; s)=r Q(r 0 ; s)=r0. We may simplify the resultig expressio by pickig a appropriate sequece of vali fuctios a passig to the limit. Precisely, we pick a smooth : R! [0; ] with the properties that (y) = 0 for y =, (y) = for y, a (y) 0 0. The we e e a sequece k : R! [0; ] by k (y) = ( k y). As k icreases, this sequece icreases poitwise to the characteristic fuctio of (0; ). The correspoig k coverge uiformly to the fuctio y 7! [y] +. Crucially, we also ca make use of the facts that k ( (r) ) coverges to the characteristic fuctio of i L (M [a; b]) a that (r) k 0 ( (r)) is a boue sequece of fuctios o M [a; b) with isjoit supports for each k. Iee, the support of k 0 lies withi the iterval ( k ; k ).
10 0 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING For each r (0; r], we have Q(r; s)! P (r; s) as k!. Usig the omiate covergece theorem, our expressio becomes (.3) P (r ; s) r = + P (r 0 ; s) r0 r r 0 r r 0 r r 0 r + r + r + \(M [a;s]) \(M [a;s]) M fsg ( t + + jr j + tr g h)' t r (r)( ' t [ (r) ] + ' r: ') t r Now we may take the limit as s % b. By Assumptio 3, the al term coverges to zero, a we e up with (.5) as esire. Next we tur to the case that is merely Lipschitz, i the sese of Assumptio. Give s (a; b) a fuctios a as above, there exists a sequece of smooth fuctios j o M [a; b] such that j! i both W ; a C 0 o the set \ (M [a; s]). By hypothesis o our Lipschitz, we have I := M [a;s] ( t + + jr j + tr g h)( (r) )' t 0; where we make sese of the Laplacia term via itegratio by parts, amely ( )( (r) )' t := [hr ; r'i ( (r) ) + jr j 0 ( (r) )'] t: By e itio of j, we have lim j! M [a;s] ( j t + j + jr j j + tr g h)(( j ) (r) )' t = I 0; uiformly i r (0; r]. Cosequetly, we may carry out the same calculatios that we i i the rst part of the proof to obtai a iequality for the quatity Q(r ; s)=r Q(r 0 ; s)=r0, with j i place of. We the pass to the limit as j! to obtai the iequality Q(r ; s) Q(r 0 ; s) r (.4) r r0 r + (') (r) ( (r) ) t r M [a;s] + + r 0 r r 0 r r 0 r r 0 r + r + r + M [a;s] M [a;s] M fsg ' t ( (r)) t r hr ; r'i (r) 0 ( (r) ) t r ( (r) )' r for our Lipschitz. Fially, we replace with the same sequece of cuto fuctios k that we use before (thus approximatig the Heavisie fuctio), take the limit as k!, a the take the limit as s % b. This gives the iequality (.6).
11 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS The argumet above may be compare to proofs of earlier results, especially the proof [5] of the local mootoicity formula for mea curvature ow. There is a alterative formula for (.4) that we useful i the sequel: Lemma 9. Suppose that (M ; g(t)) is a smooth oeparameter family of complete Riemaia maifols evolvig by (.) for t [a; b], that : M [a; b)! (0; ) satis es Assumptios 3, that r > 0 is etermie by Assumptio 3 a Remark 4, a that 0 < r 0 < r r. If ' a t + jr j L ( ), the for all r (0; r], oe has P '; (r) = ( t + jr j ) t: Proof. I the case that ', substitutig formula (.) ito formula (.8) yiels Q(r; s) = ( t + jr j )( (r) ) t ( (r) ) : M [a;s] M fsg Although (.) was erive assumig smoothess of, oe ca verify that it hols for locally Lipschitz satisfyig Assumptio by approximatig by a sequece of smooth j (as i the proof of Theorem 7) a the passig to the limit as j!. The if t + jr j L ( ), oe may (agai as i the proof of Theorem 7) choose a sequece k alog which Q(r; s)! P (r; s) as k! a the let s % b to obtai the state formula. 3. A local graiet estimate I orer to apply Theorem 7 to a fuametal solutio of the heat equatio of a evolvig maifol i Sectio 5, we ee a local graiet estimate. Oe approach woul be to aapt existig theory of local heat kerel asymptotics. Istea, we prove a more geeral result which may be of iepeet iterest. Compare [7], [], [4], the recet [33], [34], a [36, 37]. Let (M ; g(t)) be a smooth oeparameter family of complete Riemaia maifols evolvig by (.) for t [0; t]. We shall abuse otatio by writig g() to mea g((t)), where (t) := t t: I the remaier of this sectio, we state our results solely i terms of. particular, g() satis es g = h o M [0; t]. Give x M a > 0, e e (3.) () := [ B g() (x; ) fg M [0; t]: 0t We ow prove a local a priori estimate for boue positive solutios of the cojugate heat equatio (3.) ( We will apply this i Sectio 5. tr g h)v = 0: I
12 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING Theorem 0. Let (M ; g()) be a smooth oeparameter family of complete Riemaia maifols evolvig by g = h for 0 t. Assume there exist k ; k ; k 3 0 such that h k g; Rc k g; a jr(tr g h)j k 3 i the spacetime regio () give by (3.). Assume further that v() solves (3.) a satis es 0 < v A i (). The there exist a costat C epeig oly o a a absolute costat C such that at all (x; ) (), oe has jrvj v ( + log A v ) + C k + k + k 3 + p k 3 + C Proof. By scalig, we may assume that A =. We e e 6 computig that f := log v a w := jr log( f)j ; p k coth( p k ) + C ( )f = jrfj + (tr g h): The usig Bocher Weitzeböck, we calculate that ( )jrfj = h(rf; rf) Rc(rf; rf) jrrfj + r(tr g h + jrfj ); rf a ( )w = ( f) [h(rf; rf) Rc(rf; rf) + hr(tr gh); rfi] " rjrfj ( f) jrrfj ; rf # + + jrfj4 f ( f) 4 jrfj4 ( f) 4 + (tr gh)jrfj + jrfj 4 rjrfj ; rf ( f) 3 f ( f) 3 : By rewritig the last term above as rjrfj ; rf f ( f) 3 = f jrfj4 hrw; rfi + 4 f ( f) 4 4 jrfj4 ( f) 3 a cacellig terms, we obtai ( )w = ( f) [h(rf; rf) Rc(rf; rf) + hr(tr gh); rfi] " rjrfj ( f) jrrfj ; rf # + + jrfj4 f ( f) + (tr gh)jrfj jrfj 4 f ( f) 3 + hrw; rfi : f Now let (s) be a smooth oegative cuto fuctio such that (s) = whe s a (s) = 0 whe s, with 0 0, j 0 j C, ( 0 ) C, a 00 C. De e g() (x; x) u(x; ) := : 6 Note that w is use by Souplet hag [33, Theorem.] i geeralizig Hamilto s result [7]. A similar fuctio is employe by Yau [36]. Also see relate work of the thir author [6]. :
13 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS 3 Observe that at each xe, u is smooth i space o of the g() cut locus of x. However, for our purposes of applyig the maximum priciple, Calabi s trick allows us to procee as though u were smooth everywhere. Thus, we calculate that a a jruj Now let G := uw a compute that ( )(G) = G + u ( u C u C k u C p k coth( p k ) + C : )w + w ( )u hru; rwi : For ay > 0, cosier G o M [0; ]. At ay poit (x 0 ; 0 ) where G attais its maximum o M [0; ], we have 0 ( )( G) a ( )(G) G hru; rwi h(rf; rf) Rc(rf; rf) + hr(trg h); rfi + u ( f) + (tr gh)jrfj ( f) 3 f + u f hrw; rfi jrfj 4 ( f) 3 + w C k + C p k coth( p k ) + C : Usig the fact that rg(x 0 ; t 0 ) = 0, we ca replace urw by wru above. The multiplyig both sies of the iequality by u [0; ] a usig =( f), we obtai p o 0 G + [( + )k + k ]G + k 3 G f + Gjrujjrfj ( f)g f + G C k + C p k coth( p k ) + C : p Noticig that k 3 G k3 (G + ) a that f Gjrujjrf j G f jrfj f u + jruj u f f ( f)g + G C f f ; we estimate at (x 0 ; t 0 ) that 0 k 3 + G + C k + k + k 3 + C p k coth( p k ) + C + G C f f ( f)g :
14 4 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING Diviig both sies by ( f) while otig that =( f) a f=( f), we get 0 k 3 + G + C k + k + k 3 + C p k coth( p k ) + C G ; from which we ca coclue that G + C k + k + k 3 + p k 3 + C p k coth( p k ) + C at (x 0 ; 0 ). Hece W ( ) := sup xbg() (x;) w(x; ) may be estimate by W ( ) 0 G(x 0 ; 0 ) + 0 C k + k + k 3 + p k 3 + C p k coth( p k ) + C + C k + k + k 3 + p k 3 + C Sice > 0 was arbitrary, the result follows. p k coth( p k ) + C : Remark. I the special case that h 0, we have jrvj v ( + log A v ) + k + C p k coth( p k ) + C at (x; ), for all times [0; t] a poits x B g() (x; ), which slightly improves a result of [33]. 4. Reuce volume for Ricci flow Our rst applicatio of Theorem 7 is to Ricci ow. Let (M ; g(t)) be a complete solutio of Ricci ow that remais smooth for 0 t t. This correspos to h = Rc a tr g h = R i (.). 4.. Localizig Perelma s reuce volume. Perelma [3, 7] has iscovere a remarkable quatity that may be regare as a ki of parabolic istace for Ricci ow. De e (t) := t t, otig that g((t)) the satis es g = Rc for 0 t. Fix x M a regar (x; 0) (i (x; ) cooriates) as a spacetime origi. The spacetime actio of a smooth path with (0) = (x; 0) a () = (x; ) is p L() := j (4.a) 0 j + R p (4.b) = j s j + s R s (s = p ): 0 Takig the i mum over all such paths, Perelma e es the reuce istace from (x; 0) to (x; ) as (4.) `(x; ) = `(x;0) (x; ) := p if L(); a observes that (4.3) v(x; ) = v (x;0) (x; ) := `(x;) e (4) =
15 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS 5 is a subsolutio of the cojugate heat equatio u = u Ru i the barrier sese [3], hece i the istributioal sese. 7 It follows that the reuce volume (essetially a Gaussia weighte volume) (4.4) V ~ (t) = V(x;0) ~ (t) := v(x; ) M is a mootoically icreasig fuctio of t which is costat precisely o shrikig graiet solitos. (Compare to Example 4 above.) The iterpretatios of ` as parabolic istace a V ~ as Gaussia weighte volume are eluciate by the followig examples. Example 9. Let (M ; g) be a Riemaia maifol of oegative Ricci curvature, a let q be ay smooth superharmoic fuctio (q 0). I their semial paper [], Li a Yau e e (x; ) = if 4 0 j j + 0 q(()) ; where the i mum is take over all smooth paths from a origi (x; 0). As a special case of their more geeral results [, Theorem 4.3], they observe that (4) = e (x;) is a istributioal subsolutio of the liear parabolic equatio ( + q)u = 0. Example 0. Let (R ; g) eote Eucliea space with its staar at metric. Give R, e e X = gra( 4 jxj ). The oe has 0 = Rc = g L X g. Hece there is a Ricci solito structure (i.e. a i itesimal Ricci solito) o Eucliea space, calle the Gaussia solito. It is otrivial wheever 6= 0. Take = to give (R ; g) the structure of a graiet shrikig solito. The () = p = x is a Lgeoesic from (0; 0) to (x; ). Thus the reuce istace is `(0;0) (x; ) = jxj =4 a the reuce volume itegra is exactly the heat kerel v (0;0) (x; ) = (4) = e jxj =4. Hece V ~ (0;0) (t). (Compare [, 5].) Example. Let Sr() eote the rou sphere of raius r() = p ( ). This is a positive Eistei maifol, hece a homothetically shrikig (i t) solutio of Ricci ow. Alog ay sequece (x k ; k ) of smooth origis approachig the sigularity O at = 0, oe gets a smooth fuctio `O(x; ) := lim k! `(xk ; k )(x; ) = measurig the reuce istace from O. Hece V ~ O (t) [( )=(e)] = Vol(S ) for all t < 0. (See [4, 7.].) Our rst applicatio of Theorem 7 is where is Perelma s reucevolume esity v (4.3). Let ` eote the reuce istace (4.) from a smooth origi (x; t) a assume there exists k (0; ) such that Rc kg o M [0; t]. I what follows, we will freely use results from the Appeix (Sectio 7, below). Lemma 39 guaratees that ` is locally Lipschitz, hece that Assumptio is satis e. (Also see [38] or [4].) The estimate i Part () of Lemma 8 esures that Assumptio is satis e. Assumptio 3 follows from combiig that estimate, Corollary 3, a Lemma 40. Here we may take ay r > 0 satisfyig r < mift=c; 4g, where c = e 4kt=3 =(4). So for r (0; r], cosier P ';v (r) := [jr`j r + R( log p `)]' t: 4 7 See [38] for a irect proof of the istributioal iequality.
16 6 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING Notice that jr`j replaces the term jx xj 4 i the heatball formulas for Eucliea space a solutios of mea curvature ow. See Examples 5 a 7, respectively. Remark. For r (0; r], oe may write P ;v (r) i either alterative form (4.5a) P ;v (r) = ( + ` + jr`j ) t = ( (4.5b) 3= K) t: Here K(x; ) = R 0 3= H(=) is compute alog a miimizig Lgeoesic, where H(X) = Rc(X; X) (R + hrr; Xi+R=) is Hamilto s trace i eretial Harack expressio. If R 0 a ' 0 o, the for all r (0; r], oe has (4.6) P ';v (r) = [jr`j + R (r) ]' t jr`j ' t 0: If (M ; g(0)) has oegative curvature operator a r < 4t( some C >, the for all r (0; r], = + C` (4.7) P ;v (r) t: =C) for Proof. By Part () of Lemma 39, the argumets of Lemma 40 apply to show that t + jr j = + ` + jr`j L ( ). Hece Lemma 9 a ietities (7.5) a (7.6) of [3] imply formulae (4.5). Sice (r) > 0 i, the iequalities i (4.6) are clear. If (M ; g(0)) has oegative curvature operator, Hamilto s trace i eretial Harack iequality [8] implies that alog a miimizig Lgeoesic. Hece H( ) R( + t ) = t R t 3= t K 3= t 0 p (R + j j ) = By Lemma 3, oe has < r =4, which gives estimate (4.7). t t ` : Our mai result i this sectio is as follows. Recall that (r) := log( p 4 ) `. Corollary 3. Let (M ; g(t)) be a complete solutio of Ricci ow that remais smooth for 0 t t a satis es Rc kg. Let ' be ay smooth oegative fuctio of (x; t) a let c = e 4kt=3 =(4). The wheever 0 < r 0 < r < mif p t=c; p g, oe has (4.8) Furthermore, P ';v (r ) r P ';v (r 0 ) r 0 r r 0 r + (4.9) '(x; t) = lim r&0 P ';v (r) r : (r)( ' t ') t r: r
17 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS 7 I particular, (4.0) '(x; t) P ';v(r ) r r + 0 r + (r)[( t )'] t r: Proof. The quatity = v satis es v t + v Rv 0 as a istributio. (This is implie by Perelma s barrier iequality [3, (7.3)]; see [38, Lemma.] for a irect proof.) Hece we may apply Theorem 7 i the form (.6) to obtai (4.8). Formula (7.6) of Perelma [3] implies that P ';v (r) = [ ` + R (r) R 3= K]' t: By Corollary 3, there is a precompact eighborhoo U of x with U [0; cr ] for all r > 0 uer cosieratio. By Lemma 35, there exists a precompact set V such that the images of all miimizig Lgeoesics from (x; 0) to poits i U [0; cr ] are cotaie i the set V [0; cr ], i which oe has uiform bous o all curvatures a their erivatives. So by Lemma 8, oe has ` 4 + O( ) a r R (r) = R( log p 4 `) = O( ) as & 0. By Corollary 37, 3= K is also O( ) as & 0. Aaptig the argumets i the proof of Lemma 40, oe coclues that P ';v (r) lim r&0 r = lim 0(x; x) r&0 r 4 ' t = '(x; t); exactly as i the calculatio for Eucliea space. (Also see Corollary 3, below.) = 0 (x;x) A example of how this result may be applie is the followig local Harack iequality, which follows irectly from (4.0). Remark 4. Assume the hypotheses of Corollary 3 hol. If R 0 o, the R(x; t) r r [jr`j + R (r) ]R t + 0 r + (r) jrcj t r: The iequality (4.8) is sharp i the followig sese. Corollary 5. Let (M ; g(t)) be a complete solutio of Ricci ow that is smooth for 0 t t, with Rc kg. If equality hols i (4.8) for ', the ( ; g(t)) is isometric to a shrikig graiet solito for all r < mif p t=c; p g. Proof. From the proof of Theorem 7, it is easy to see that P;v (r) ( r r = r Er t + + tr gh)v + t v for almost all r < mif p t=c; p g. Therefore, equality i (4.8) implies that v is a istributioal solutio of the parabolic equatio ( + R)v = 0 i for almost all small r. By parabolic regularity, v is actually smooth. This implies that oe has equality i the chai of iequalities ` jr`j + R ` = ( R + 3= K) + ` ` + ` that follow from equatios (7.3), (7.5), a (7.0) of [3]. Hece oe has u := (` jr`j + R) + ` = 0:
18 8 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING By equatio (9.) of [3] (where the roles of u a v are reverse), this implies that 0 = ( + R)(uv) = j Rc +rr` gj v: This is possible oly if ( ; g(t)) has the structure of a shrikig graiet solito with potetial fuctio `. Remark 6. For applicatios of Corollary 5 to regularity theorems for Ricci ow, see [7] by the thir author. 4.. Comparig global a local quatities. Corollaries 3 a 5 suggest a atural questio: how oes the purely local mootoe quatity P ;v (r)=r compare to Perelma s global mootoe quatity V ~ (t) = R v? A path to a partial M aswer begis with a observatio that geeralizes Example above. Cao, Hamilto, a Ilmae [] prove that ay complete graiet shrikig solito (M ; g(t)) that exists up to a maximal time T < a satis es certai ocollapsig a curvature ecay hypotheses coverges as t % T to a icomplete (possibly empty) metric coe (C; ), which is smooth except at the parabolic vertex O. The covergece is smooth except o a compact set (possibly all of M ) that vaishes ito the vertex. 8 Furthermore, they prove that alog a sequece (x k ; k ) approachig O, a limit `O(x; ) := lim `(xk ; k )(x; ) exists for all x M a (t) > 0. They show that the cetral esity fuctio RF O (t) := V ~ O (t) = lim ~V (xk ; k )(t) k! of the parabolic vertex O is iepeet of time a satis es RF O (t) e, where is the costat etropy of the solito (M ; g()). O a compact solito, there is a poitwise versio of the Cao Hamilto Ilmae result, ue to Beett Chow a the thir author: Lemma 7. If (M ; g()) is a compact shrikig (ecessarily graiet) solito, the the limit `O(x; ) exists for all x M a (t) > 0. This limit agrees up to a costat with the solito potetial fuctio f(x; ). See [4] for a proof. Recall that the etropy of a compact Riemaia maifol (M ; g) is (M ; g) := if W (g; f; ) : f C0 ; > 0; (4) = e f = ; M where (4.) W (g; f; ) : = (jrfj + R) + f (4) = e f : M (Compare to Example 3.) Uer the couple system (4.a) (4.b) (4.c) t g = Rc ( t + )f = jrfj R + t = ; 8 See [] for examples where (C; ) = lim&0 (M ; g()) is oempty.
19 LOCAL MONOTONICITY AND MEAN VALUE FORMULAS 9 the fuctioal W(g(t); f(t); (t)) is mootoe icreasig i time a is costat precisely o a compact shrikig graiet solito with potetial fuctio f, where (after possible ormalizatio) oe has (4.3) Rc +rrf g $ 0: Here a i the remaier of this sectio, the symbol $ eotes a ietity that hols o a shrikig graiet solito. We are ow reay to aswer the questio we pose above regarig the relatioship betwee P ;v (r)=r a V ~ (t). (Compare to Example 7.) Corollary 8. Let (M ; g(t)) be a compact shrikig Ricci solito that vaishes ito a parabolic vertex O at time T. The for all t < T a r > 0, oe has where P ;v (r) = R [jr`j + R( log RF O (t) := ~ V O (t) = P ;v(r) r ; r p 4 `)] t is compute with ` = `O. Proof. It will be easiest to regar everythig as a fuctio of (t) := T t > 0. Because (M ; g()) is a compact shrikig solito, there exist a timeiepeet metric g a fuctio f o M such that Rc(g) + r r f g = 0. The solutio of Ricci ow is the g() = (g), where f g >0 is a oeparameter family of i eomorphisms such that = i a (x) = gra g f(x). The solito potetial fuctio satis es f(x; ) = f(x) a f = jrfj. (Notice that (4.3) implies that system (4.) hols.) Let = (4) = e `(x;), where ` is the reuce istace from the parabolic vertex O. By Lemma 7, ` = f + C. So Assumptios a are clearly satis e. Because j j = O[ = log( = )] a jr j = O( = ) M fg M fg as & 0, Assumptio 3 is satis e as well. Because = jrfj, Lemma 9 implies that P ;v (r) = ( + ` + jr`j ) t $ t: (Compare Remark.) Computig V ~ () = V ~ O (), oe s that ~V () = (4) = e `(x;) (g()) M = $ = = E $ P ;v (): Vol g() fx : (4) = e `(x;) zg z h Vol g() Vol g()fy : `(y; ) < log t i fx : (4) = e `(x;) g (z = = ) p 4 g
20 0 KLAUS ECKER, DAN KNOPF, LEI NI, AND PETER TOPPING But o a shrikig graiet solito, P ;v (r)=r is iepeet of r > 0, while ~V () is iepeet of > 0. Sice they agree at r = a =, they agree everywhere. Sice the reuce istace a reuce volume are ivariat uer parabolic rescalig, similar cosieratios apply to solutios whose rescale limits are shrikig graiet solitos Localizig forwar reuce volume. I [], Felma, Ilmae, a the thir author itrouce a forwar reuce istace t `+(x; t) := if p p s j t s j + R s: 0 Here the i mum is take over smooth paths from a origi (x; 0) to (x; t). De e u(x; t) = (4t) = e `+(x;t) a = log u. I [5], it is prove that ( t R)u 0 hols i the istributioal sese if (M ; g(t)) is a complete solutio of Ricci ow with boue oegative curvature operator for 0 t T. Followig the same argumets as i the proof of Corollary 3 the leas to the followig result for P ';u (r) = [jr`+j R( log r p 4t `+)]' t: Corollary 9. Let (M ; g(t)) be a complete solutio of Ricci ow with boue oegative curvature operator for 0 t T. Let ' be ay smooth oegative fuctio. The wheever 0 < r 0 < r < p 4T, oe has (4.4) P ';u (r ) r P ';u (r 0 ) r 0 r r 0 r + ( + log r)( ' t I irect aalogy with Corollary 5, oe also has the followig. + ') t r: Corollary 0. Let (M ; g(t)) be a complete solutio of Ricci ow with boue oegative curvature operator for 0 t T. If equality hols i (4.4) with ', the ( ; g(t)) is isometric to a expaig graiet solito for all r < p 4T. 5. Meavalue theorems for heat kerels I this sectio, we apply Theorem 7 to heat kerels of evolvig Riemaia maifols, especially those evolvig by Ricci ow, with statioary (i.e. timeiepeet) maifols appearig as a iterestig special case. Let (M ; g(t)) be a smooth family of Riemaia maifols evolvig by (.) for t [0; t]. We will agai abuse otatio by regarig certai evolvig quatities, where coveiet, as fuctios of x M a (t) := t t. A smooth fuctio : (M [0; t])(x; 0)! R + is calle a fuametal solutio of the cojugate heat equatio (5.) ( tr g h) = 0 with sigularity at (x; 0) if satis es (5.) at all (x; ) M (0; t], with lim &0 (; ) = x i the sese of istributios. We call a miimal fuametal solutio of (5.) a heat kerel.
In nite Sequences. Dr. Philippe B. Laval Kennesaw State University. October 9, 2008
I ite Sequeces Dr. Philippe B. Laval Keesaw State Uiversity October 9, 2008 Abstract This had out is a itroductio to i ite sequeces. mai de itios ad presets some elemetary results. It gives the I ite Sequeces
More informationSAMPLE QUESTIONS FOR FINAL EXAM. (1) (2) (3) (4) Find the following using the definition of the Riemann integral: (2x + 1)dx
SAMPLE QUESTIONS FOR FINAL EXAM REAL ANALYSIS I FALL 006 3 4 Fid the followig usig the defiitio of the Riema itegral: a 0 x + dx 3 Cosider the partitio P x 0 3, x 3 +, x 3 +,......, x 3 3 + 3 of the iterval
More informationAsymptotic Growth of Functions
CMPS Itroductio to Aalysis of Algorithms Fall 3 Asymptotic Growth of Fuctios We itroduce several types of asymptotic otatio which are used to compare the performace ad efficiecy of algorithms As we ll
More informationProperties of MLE: consistency, asymptotic normality. Fisher information.
Lecture 3 Properties of MLE: cosistecy, asymptotic ormality. Fisher iformatio. I this sectio we will try to uderstad why MLEs are good. Let us recall two facts from probability that we be used ofte throughout
More informationConvexity, Inequalities, and Norms
Covexity, Iequalities, ad Norms Covex Fuctios You are probably familiar with the otio of cocavity of fuctios. Give a twicedifferetiable fuctio ϕ: R R, We say that ϕ is covex (or cocave up) if ϕ (x) 0 for
More informationSequences and Series
CHAPTER 9 Sequeces ad Series 9.. Covergece: Defiitio ad Examples Sequeces The purpose of this chapter is to itroduce a particular way of geeratig algorithms for fidig the values of fuctios defied by their
More informationLecture 4: Cauchy sequences, BolzanoWeierstrass, and the Squeeze theorem
Lecture 4: Cauchy sequeces, BolzaoWeierstrass, ad the Squeeze theorem The purpose of this lecture is more modest tha the previous oes. It is to state certai coditios uder which we are guarateed that limits
More informationSequences II. Chapter 3. 3.1 Convergent Sequences
Chapter 3 Sequeces II 3. Coverget Sequeces Plot a graph of the sequece a ) = 2, 3 2, 4 3, 5 + 4,...,,... To what limit do you thik this sequece teds? What ca you say about the sequece a )? For ǫ = 0.,
More informationClass Meeting # 16: The Fourier Transform on R n
MATH 18.152 COUSE NOTES  CLASS MEETING # 16 18.152 Itroductio to PDEs, Fall 2011 Professor: Jared Speck Class Meetig # 16: The Fourier Trasform o 1. Itroductio to the Fourier Trasform Earlier i the course,
More informationLecture 13. Lecturer: Jonathan Kelner Scribe: Jonathan Pines (2009)
18.409 A Algorithmist s Toolkit October 27, 2009 Lecture 13 Lecturer: Joatha Keler Scribe: Joatha Pies (2009) 1 Outlie Last time, we proved the BruMikowski iequality for boxes. Today we ll go over the
More informationA probabilistic proof of a binomial identity
A probabilistic proof of a biomial idetity Joatho Peterso Abstract We give a elemetary probabilistic proof of a biomial idetity. The proof is obtaied by computig the probability of a certai evet i two
More information4.1 Sigma Notation and Riemann Sums
0 the itegral. Sigma Notatio ad Riema Sums Oe strategy for calculatig the area of a regio is to cut the regio ito simple shapes, calculate the area of each simple shape, ad the add these smaller areas
More informationModule 4: Mathematical Induction
Module 4: Mathematical Iductio Theme 1: Priciple of Mathematical Iductio Mathematical iductio is used to prove statemets about atural umbers. As studets may remember, we ca write such a statemet as a predicate
More informationChapter 7 Methods of Finding Estimators
Chapter 7 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 011 Chapter 7 Methods of Fidig Estimators Sectio 7.1 Itroductio Defiitio 7.1.1 A poit estimator is ay fuctio W( X) W( X1, X,, X ) of
More informationOur aim is to show that under reasonable assumptions a given 2πperiodic function f can be represented as convergent series
8 Fourier Series Our aim is to show that uder reasoable assumptios a give periodic fuctio f ca be represeted as coverget series f(x) = a + (a cos x + b si x). (8.) By defiitio, the covergece of the series
More informationDistributions of Order Statistics
Chapter 2 Distributios of Order Statistics We give some importat formulae for distributios of order statistics. For example, where F k: (x)=p{x k, x} = I F(x) (k, k + 1), I x (a,b)= 1 x t a 1 (1 t) b 1
More informationInfinite Sequences and Series
CHAPTER 4 Ifiite Sequeces ad Series 4.1. Sequeces A sequece is a ifiite ordered list of umbers, for example the sequece of odd positive itegers: 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29...
More informationDepartment of Computer Science, University of Otago
Departmet of Computer Sciece, Uiversity of Otago Techical Report OUCS200609 Permutatios Cotaiig May Patters Authors: M.H. Albert Departmet of Computer Sciece, Uiversity of Otago Micah Colema, Rya Fly
More informationU.C. Berkeley CS270: Algorithms Lecture 9 Professor Vazirani and Professor Rao Last revised. Lecture 9
U.C. Berkeley CS270: Algorithms Lecture 9 Professor Vazirai a Professor Rao Scribe: Aupam Last revise Lecture 9 1 Sparse cuts a Cheeger s iequality Cosier the problem of partitioig a give graph G(V, E
More informationTrigonometric Form of a Complex Number. The Complex Plane. axis. ( 2, 1) or 2 i FIGURE 6.44. The absolute value of the complex number z a bi is
0_0605.qxd /5/05 0:45 AM Page 470 470 Chapter 6 Additioal Topics i Trigoometry 6.5 Trigoometric Form of a Complex Number What you should lear Plot complex umbers i the complex plae ad fid absolute values
More informationTHE ABRACADABRA PROBLEM
THE ABRACADABRA PROBLEM FRANCESCO CARAVENNA Abstract. We preset a detailed solutio of Exercise E0.6 i [Wil9]: i a radom sequece of letters, draw idepedetly ad uiformly from the Eglish alphabet, the expected
More informationWHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER?
WHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER? JÖRG JAHNEL 1. My Motivatio Some Sort of a Itroductio Last term I tought Topological Groups at the Göttige Georg August Uiversity. This
More informationIncremental calculation of weighted mean and variance
Icremetal calculatio of weighted mea ad variace Toy Fich faf@cam.ac.uk dot@dotat.at Uiversity of Cambridge Computig Service February 009 Abstract I these otes I eplai how to derive formulae for umerically
More informationSoving Recurrence Relations
Sovig Recurrece Relatios Part 1. Homogeeous liear 2d degree relatios with costat coefficiets. Cosider the recurrece relatio ( ) T () + at ( 1) + bt ( 2) = 0 This is called a homogeeous liear 2d degree
More informationThe Euler Totient, the Möbius and the Divisor Functions
The Euler Totiet, the Möbius ad the Divisor Fuctios Rosica Dieva July 29, 2005 Mout Holyoke College South Hadley, MA 01075 1 Ackowledgemets This work was supported by the Mout Holyoke College fellowship
More informationExample 2 Find the square root of 0. The only square root of 0 is 0 (since 0 is not positive or negative, so those choices don t exist here).
BEGINNING ALGEBRA Roots ad Radicals (revised summer, 00 Olso) Packet to Supplemet the Curret Textbook  Part Review of Square Roots & Irratioals (This portio ca be ay time before Part ad should mostly
More informationMARTINGALES AND A BASIC APPLICATION
MARTINGALES AND A BASIC APPLICATION TURNER SMITH Abstract. This paper will develop the measuretheoretic approach to probability i order to preset the defiitio of martigales. From there we will apply this
More informationTAYLOR SERIES, POWER SERIES
TAYLOR SERIES, POWER SERIES The followig represets a (icomplete) collectio of thigs that we covered o the subject of Taylor series ad power series. Warig. Be prepared to prove ay of these thigs durig the
More informationTHE HEIGHT OF qbinary SEARCH TREES
THE HEIGHT OF qbinary SEARCH TREES MICHAEL DRMOTA AND HELMUT PRODINGER Abstract. q biary search trees are obtaied from words, equipped with the geometric distributio istead of permutatios. The average
More informationTaylor Series and Polynomials
Taylor Series ad Polyomials Motivatios The purpose of Taylor series is to approimate a fuctio with a polyomial; ot oly we wat to be able to approimate, but we also wat to kow how good the approimatio is.
More informationIrreducible polynomials with consecutive zero coefficients
Irreducible polyomials with cosecutive zero coefficiets Theodoulos Garefalakis Departmet of Mathematics, Uiversity of Crete, 71409 Heraklio, Greece Abstract Let q be a prime power. We cosider the problem
More informationON THE DENSE TRAJECTORY OF LASOTA EQUATION
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 2005 ON THE DENSE TRAJECTORY OF LASOTA EQUATION by Atoi Leo Dawidowicz ad Najemedi Haribash Abstract. I preseted paper the dese trajectory
More informationTheorems About Power Series
Physics 6A Witer 20 Theorems About Power Series Cosider a power series, f(x) = a x, () where the a are real coefficiets ad x is a real variable. There exists a real oegative umber R, called the radius
More information7. Sample Covariance and Correlation
1 of 8 7/16/2009 6:06 AM Virtual Laboratories > 6. Radom Samples > 1 2 3 4 5 6 7 7. Sample Covariace ad Correlatio The Bivariate Model Suppose agai that we have a basic radom experimet, ad that X ad Y
More informationNotes on exponential generating functions and structures.
Notes o expoetial geeratig fuctios ad structures. 1. The cocept of a structure. Cosider the followig coutig problems: (1) to fid for each the umber of partitios of a elemet set, (2) to fid for each the
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 13
EECS 70 Discrete Mathematics ad Probability Theory Sprig 2014 Aat Sahai Note 13 Itroductio At this poit, we have see eough examples that it is worth just takig stock of our model of probability ad may
More informationOverview of some probability distributions.
Lecture Overview of some probability distributios. I this lecture we will review several commo distributios that will be used ofte throughtout the class. Each distributio is usually described by its probability
More informationPartial Di erential Equations
Partial Di eretial Equatios Partial Di eretial Equatios Much of moder sciece, egieerig, ad mathematics is based o the study of partial di eretial equatios, where a partial di eretial equatio is a equatio
More informationINFINITE SERIES KEITH CONRAD
INFINITE SERIES KEITH CONRAD. Itroductio The two basic cocepts of calculus, differetiatio ad itegratio, are defied i terms of limits (Newto quotiets ad Riema sums). I additio to these is a third fudametal
More information1 Introduction to reducing variance in Monte Carlo simulations
Copyright c 007 by Karl Sigma 1 Itroductio to reducig variace i Mote Carlo simulatios 11 Review of cofidece itervals for estimatig a mea I statistics, we estimate a uow mea µ = E(X) of a distributio by
More informationAP Calculus BC 2003 Scoring Guidelines Form B
AP Calculus BC Scorig Guidelies Form B The materials icluded i these files are iteded for use by AP teachers for course ad exam preparatio; permissio for ay other use must be sought from the Advaced Placemet
More information7 b) 0. Guided Notes for lesson P.2 Properties of Exponents. If a, b, x, y and a, b, 0, and m, n Z then the following properties hold: 1 n b
Guided Notes for lesso P. Properties of Expoets If a, b, x, y ad a, b, 0, ad m, Z the the followig properties hold:. Negative Expoet Rule: b ad b b b Aswers must ever cotai egative expoets. Examples: 5
More informationDivide and Conquer. Maximum/minimum. Integer Multiplication. CS125 Lecture 4 Fall 2015
CS125 Lecture 4 Fall 2015 Divide ad Coquer We have see oe geeral paradigm for fidig algorithms: the greedy approach. We ow cosider aother geeral paradigm, kow as divide ad coquer. We have already see a
More informationCS103A Handout 23 Winter 2002 February 22, 2002 Solving Recurrence Relations
CS3A Hadout 3 Witer 00 February, 00 Solvig Recurrece Relatios Itroductio A wide variety of recurrece problems occur i models. Some of these recurrece relatios ca be solved usig iteratio or some other ad
More informationBuilding Blocks Problem Related to Harmonic Series
TMME, vol3, o, p.76 Buildig Blocks Problem Related to Harmoic Series Yutaka Nishiyama Osaka Uiversity of Ecoomics, Japa Abstract: I this discussio I give a eplaatio of the divergece ad covergece of ifiite
More informationCME 302: NUMERICAL LINEAR ALGEBRA FALL 2005/06 LECTURE 8
CME 30: NUMERICAL LINEAR ALGEBRA FALL 005/06 LECTURE 8 GENE H GOLUB 1 Positive Defiite Matrices A matrix A is positive defiite if x Ax > 0 for all ozero x A positive defiite matrix has real ad positive
More informationApproximating the Sum of a Convergent Series
Approximatig the Sum of a Coverget Series Larry Riddle Ages Scott College Decatur, GA 30030 lriddle@agesscott.edu The BC Calculus Course Descriptio metios how techology ca be used to explore covergece
More information3. Greatest Common Divisor  Least Common Multiple
3 Greatest Commo Divisor  Least Commo Multiple Defiitio 31: The greatest commo divisor of two atural umbers a ad b is the largest atural umber c which divides both a ad b We deote the greatest commo gcd
More informationThe second difference is the sequence of differences of the first difference sequence, 2
Differece Equatios I differetial equatios, you look for a fuctio that satisfies ad equatio ivolvig derivatives. I differece equatios, istead of a fuctio of a cotiuous variable (such as time), we look for
More information1 Set Theory and Functions
Set Theory ad Fuctios. Basic De itios ad Notatio A set A is a collectio of objects of ay kid. We write a A to idicate that a is a elemet of A: We express this as a is cotaied i A. We write A B if every
More informationThe analysis of the Cournot oligopoly model considering the subjective motive in the strategy selection
The aalysis of the Courot oligopoly model cosiderig the subjective motive i the strategy selectio Shigehito Furuyama Teruhisa Nakai Departmet of Systems Maagemet Egieerig Faculty of Egieerig Kasai Uiversity
More informationNATIONAL SENIOR CERTIFICATE GRADE 11
NATIONAL SENIOR CERTIFICATE GRADE MATHEMATICS P EXEMPLAR 007 MARKS: 50 TIME: 3 hours This questio paper cosists of pages, 4 diagram sheets ad a page formula sheet. Please tur over Mathematics/P DoE/Exemplar
More informationI. Chisquared Distributions
1 M 358K Supplemet to Chapter 23: CHISQUARED DISTRIBUTIONS, TDISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad tdistributios, we first eed to look at aother family of distributios, the chisquared distributios.
More information4.3. The Integral and Comparison Tests
4.3. THE INTEGRAL AND COMPARISON TESTS 9 4.3. The Itegral ad Compariso Tests 4.3.. The Itegral Test. Suppose f is a cotiuous, positive, decreasig fuctio o [, ), ad let a = f(). The the covergece or divergece
More informationTHE REGRESSION MODEL IN MATRIX FORM. For simple linear regression, meaning one predictor, the model is. for i = 1, 2, 3,, n
We will cosider the liear regressio model i matrix form. For simple liear regressio, meaig oe predictor, the model is i = + x i + ε i for i =,,,, This model icludes the assumptio that the ε i s are a sample
More information8.1 Arithmetic Sequences
MCR3U Uit 8: Sequeces & Series Page 1 of 1 8.1 Arithmetic Sequeces Defiitio: A sequece is a comma separated list of ordered terms that follow a patter. Examples: 1, 2, 3, 4, 5 : a sequece of the first
More information4 n. n 1. You shold think of the Ratio Test as a generalization of the Geometric Series Test. For example, if a n ar n is a geometric sequence then
SECTION 2.6 THE RATIO TEST 79 2.6. THE RATIO TEST We ow kow how to hadle series which we ca itegrate (the Itegral Test), ad series which are similar to geometric or pseries (the Compariso Test), but of
More informationA sharp TrudingerMoser type inequality for unbounded domains in R n
A sharp TrudigerMoser type iequality for ubouded domais i R Yuxiag Li ad Berhard Ruf Abstract The TrudigerMoser iequality states that for fuctios u H, 0 (Ω) (Ω R a bouded domai) with Ω u dx oe has Ω
More information3. Covariance and Correlation
Virtual Laboratories > 3. Expected Value > 1 2 3 4 5 6 3. Covariace ad Correlatio Recall that by takig the expected value of various trasformatios of a radom variable, we ca measure may iterestig characteristics
More informationSECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES
SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,
More informationAnnuities Under Random Rates of Interest II By Abraham Zaks. Technion I.I.T. Haifa ISRAEL and Haifa University Haifa ISRAEL.
Auities Uder Radom Rates of Iterest II By Abraham Zas Techio I.I.T. Haifa ISRAEL ad Haifa Uiversity Haifa ISRAEL Departmet of Mathematics, Techio  Israel Istitute of Techology, 3000, Haifa, Israel I memory
More informationFIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. 1. Powers of a matrix
FIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. Powers of a matrix We begi with a propositio which illustrates the usefuless of the diagoalizatio. Recall that a square matrix A is diogaalizable if
More informationNUMBERS COMMON TO TWO POLYGONAL SEQUENCES
NUMBERS COMMON TO TWO POLYGONAL SEQUENCES DIANNE SMITH LUCAS Chia Lake, Califoria a iteger, The polygoal sequece (or sequeces of polygoal umbers) of order r (where r is r > 3) may be defied recursively
More informationLecture 4: Cheeger s Inequality
Spectral Graph Theory ad Applicatios WS 0/0 Lecture 4: Cheeger s Iequality Lecturer: Thomas Sauerwald & He Su Statemet of Cheeger s Iequality I this lecture we assume for simplicity that G is a dregular
More informationAnalysis Notes (only a draft, and the first one!)
Aalysis Notes (oly a draft, ad the first oe!) Ali Nesi Mathematics Departmet Istabul Bilgi Uiversity Kuştepe Şişli Istabul Turkey aesi@bilgi.edu.tr Jue 22, 2004 2 Cotets 1 Prelimiaries 9 1.1 Biary Operatio...........................
More informationLecture 3. denote the orthogonal complement of S k. Then. 1 x S k. n. 2 x T Ax = ( ) λ x. with x = 1, we have. i = λ k x 2 = λ k.
18.409 A Algorithmist s Toolkit September 17, 009 Lecture 3 Lecturer: Joatha Keler Scribe: Adre Wibisoo 1 Outlie Today s lecture covers three mai parts: CouratFischer formula ad Rayleigh quotiets The
More informationUniversity of California, Los Angeles Department of Statistics. Distributions related to the normal distribution
Uiversity of Califoria, Los Ageles Departmet of Statistics Statistics 100B Istructor: Nicolas Christou Three importat distributios: Distributios related to the ormal distributio Chisquare (χ ) distributio.
More informationAn example of nonquenched convergence in the conditional central limit theorem for partial sums of a linear process
A example of oqueched covergece i the coditioal cetral limit theorem for partial sums of a liear process Dalibor Volý ad Michael Woodroofe Abstract A causal liear processes X,X 0,X is costructed for which
More informationx(x 1)(x 2)... (x k + 1) = [x] k n+m 1
1 Coutig mappigs For every real x ad positive iteger k, let [x] k deote the fallig factorial ad x(x 1)(x 2)... (x k + 1) ( ) x = [x] k k k!, ( ) k = 1. 0 I the sequel, X = {x 1,..., x m }, Y = {y 1,...,
More informationNPTEL STRUCTURAL RELIABILITY
NPTEL Course O STRUCTURAL RELIABILITY Module # 0 Lecture 1 Course Format: Web Istructor: Dr. Aruasis Chakraborty Departmet of Civil Egieerig Idia Istitute of Techology Guwahati 1. Lecture 01: Basic Statistics
More informationGregory Carey, 1998 Linear Transformations & Composites  1. Linear Transformations and Linear Composites
Gregory Carey, 1998 Liear Trasformatios & Composites  1 Liear Trasformatios ad Liear Composites I Liear Trasformatios of Variables Meas ad Stadard Deviatios of Liear Trasformatios A liear trasformatio
More information1.3 Binomial Coefficients
18 CHAPTER 1. COUNTING 1. Biomial Coefficiets I this sectio, we will explore various properties of biomial coefficiets. Pascal s Triagle Table 1 cotais the values of the biomial coefficiets ( ) for 0to
More informationFOUNDATIONS OF MATHEMATICS AND PRECALCULUS GRADE 10
FOUNDATIONS OF MATHEMATICS AND PRECALCULUS GRADE 10 [C] Commuicatio Measuremet A1. Solve problems that ivolve liear measuremet, usig: SI ad imperial uits of measure estimatio strategies measuremet strategies.
More information.04. This means $1000 is multiplied by 1.02 five times, once for each of the remaining sixmonth
Questio 1: What is a ordiary auity? Let s look at a ordiary auity that is certai ad simple. By this, we mea a auity over a fixed term whose paymet period matches the iterest coversio period. Additioally,
More information0.7 0.6 0.2 0 0 96 96.5 97 97.5 98 98.5 99 99.5 100 100.5 96.5 97 97.5 98 98.5 99 99.5 100 100.5
Sectio 13 KolmogorovSmirov test. Suppose that we have a i.i.d. sample X 1,..., X with some ukow distributio P ad we would like to test the hypothesis that P is equal to a particular distributio P 0, i.e.
More informationQuantum Mechanics for Scientists and Engineers. David Miller
Quatum Mechaics for Scietists ad Egieers David Miller Measuremet ad expectatio values Measuremet ad expectatio values Quatummechaical measuremet Probabilities ad expasio coefficiets Suppose we take some
More informationOn the L p conjecture for locally compact groups
Arch. Math. 89 (2007), 237 242 c 2007 Birkhäuser Verlag Basel/Switzerlad 0003/889X/0302376, ublished olie 2007080 DOI 0.007/s0003007993x Archiv der Mathematik O the L cojecture for locally comact
More informationSection 11.3: The Integral Test
Sectio.3: The Itegral Test Most of the series we have looked at have either diverged or have coverged ad we have bee able to fid what they coverge to. I geeral however, the problem is much more difficult
More informationA note on the boundary behavior for a modiﬁed Green function in the upperhalf space
Zhag ad Pisarev Boudary Value Problems (015) 015:114 DOI 10.1186/s136610150363z RESEARCH Ope Access A ote o the boudary behavior for a modiﬁed Gree fuctio i the upperhalf space Yulia Zhag1 ad Valery
More informationChapter 6: Variance, the law of large numbers and the MonteCarlo method
Chapter 6: Variace, the law of large umbers ad the MoteCarlo method Expected value, variace, ad Chebyshev iequality. If X is a radom variable recall that the expected value of X, E[X] is the average value
More information23 The Remainder and Factor Theorems
 The Remaider ad Factor Theorems Factor each polyomial completely usig the give factor ad log divisio 1 x + x x 60; x + So, x + x x 60 = (x + )(x x 15) Factorig the quadratic expressio yields x + x x
More informationChapter 7  Sampling Distributions. 1 Introduction. What is statistics? It consist of three major areas:
Chapter 7  Samplig Distributios 1 Itroductio What is statistics? It cosist of three major areas: Data Collectio: samplig plas ad experimetal desigs Descriptive Statistics: umerical ad graphical summaries
More informationSUMS OF nth POWERS OF ROOTS OF A GIVEN QUADRATIC EQUATION. N.A. Draim, Ventura, Calif., and Marjorie Bicknell Wilcox High School, Santa Clara, Calif.
SUMS OF th OWERS OF ROOTS OF A GIVEN QUADRATIC EQUATION N.A. Draim, Vetura, Calif., ad Marjorie Bickell Wilcox High School, Sata Clara, Calif. The quadratic equatio whose roots a r e the sum or differece
More informationSolving DivideandConquer Recurrences
Solvig DivideadCoquer Recurreces Victor Adamchik A divideadcoquer algorithm cosists of three steps: dividig a problem ito smaller subproblems solvig (recursively) each subproblem the combiig solutios
More informationMetric, Normed, and Topological Spaces
Chapter 13 Metric, Normed, ad Topological Spaces A metric space is a set X that has a otio of the distace d(x, y) betwee every pair of poits x, y X. A fudametal example is R with the absolutevalue metric
More informationThe Field Q of Rational Numbers
Chapter 3 The Field Q of Ratioal Numbers I this chapter we are goig to costruct the ratioal umber from the itegers. Historically, the positive ratioal umbers came first: the Babyloias, Egyptias ad Grees
More informationRobust Disturbance Rejection with Time Domain Specifications in Control Systems Design
Robust Disturbace Rejectio with Time Domai Speciicatios i Cotrol Systems Desig Fabrizio Leoari Mauá Istitute o Techology, Electrical Egieerig Departmet Praça Mauá, o.1 CEP 09580900 São Caetao o Sul SP
More informationA Combined Continuous/Binary Genetic Algorithm for Microstrip Antenna Design
A Combied Cotiuous/Biary Geetic Algorithm for Microstrip Atea Desig Rady L. Haupt The Pesylvaia State Uiversity Applied Research Laboratory P. O. Box 30 State College, PA 168040030 haupt@ieee.org Abstract:
More informationRecursion and Recurrences
Chapter 5 Recursio ad Recurreces 5.1 Growth Rates of Solutios to Recurreces Divide ad Coquer Algorithms Oe of the most basic ad powerful algorithmic techiques is divide ad coquer. Cosider, for example,
More informationExploratory Data Analysis
1 Exploratory Data Aalysis Exploratory data aalysis is ofte the rst step i a statistical aalysis, for it helps uderstadig the mai features of the particular sample that a aalyst is usig. Itelliget descriptios
More informationSection 1.6: Proof by Mathematical Induction
Sectio.6 Proof by Iductio Sectio.6: Proof by Mathematical Iductio Purpose of Sectio: To itroduce the Priciple of Mathematical Iductio, both weak ad the strog versios, ad show how certai types of theorems
More informationHere are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.
This documet was writte ad copyrighted by Paul Dawkis. Use of this documet ad its olie versio is govered by the Terms ad Coditios of Use located at http://tutorial.math.lamar.edu/terms.asp. The olie versio
More informationwhere: T = number of years of cash flow in investment's life n = the year in which the cash flow X n i = IRR = the internal rate of return
EVALUATING ALTERNATIVE CAPITAL INVESTMENT PROGRAMS By Ke D. Duft, Extesio Ecoomist I the March 98 issue of this publicatio we reviewed the procedure by which a capital ivestmet project was assessed. The
More informationLinear Algebra II. 4 Determinants. Notes 4 1st November Definition of determinant
MTH6140 Liear Algebra II Notes 4 1st November 2010 4 Determiats The determiat is a fuctio defied o square matrices; its value is a scalar. It has some very importat properties: perhaps most importat is
More informationMaximum Likelihood Estimators.
Lecture 2 Maximum Likelihood Estimators. Matlab example. As a motivatio, let us look at oe Matlab example. Let us geerate a radom sample of size 00 from beta distributio Beta(5, 2). We will lear the defiitio
More information2.7 Sequences, Sequences of Sets
2.7. SEQUENCES, SEQUENCES OF SETS 67 2.7 Sequeces, Sequeces of Sets 2.7.1 Sequeces Defiitio 190 (sequece Let S be some set. 1. A sequece i S is a fuctio f : K S where K = { N : 0 for some 0 N}. 2. For
More informationFactors of sums of powers of binomial coefficients
ACTA ARITHMETICA LXXXVI.1 (1998) Factors of sums of powers of biomial coefficiets by Neil J. Cali (Clemso, S.C.) Dedicated to the memory of Paul Erdős 1. Itroductio. It is well ow that if ( ) a f,a = the
More informationLiteral Equations and Formulas
. Literal Equatios ad Formulas. OBJECTIVE 1. Solve a literal equatio for a specified variable May problems i algebra require the use of formulas for their solutio. Formulas are simply equatios that express
More informationLecture 5: Span, linear independence, bases, and dimension
Lecture 5: Spa, liear idepedece, bases, ad dimesio Travis Schedler Thurs, Sep 23, 2010 (versio: 9/21 9:55 PM) 1 Motivatio Motivatio To uderstad what it meas that R has dimesio oe, R 2 dimesio 2, etc.;
More informationA Recursive Formula for Moments of a Binomial Distribution
A Recursive Formula for Momets of a Biomial Distributio Árpád Béyi beyi@mathumassedu, Uiversity of Massachusetts, Amherst, MA 01003 ad Saverio M Maago smmaago@psavymil Naval Postgraduate School, Moterey,
More information