arXiv:math/0701335v1 [math.AP] 12 Jan 2007 oue0,Nme ,Pgs000–000 0002-9939(XX)0000-0 Pages S 0, Number 00, Volume SOCIETY MATHEMATICAL AMERICAN THE OF PROCEEDINGS o all for oprdt h eetetmt fSultadZagi S]wiha which [SZ] in Zhang with and manifolds Souplet on of kernel estimate heat recent the to compared 2 scmaal oteretmt tscales at estimate their to comparable is (2) (2) that H tscales at h oaih fapstv ouint h etequation. heat the to Theorem. solution positive a of logarithm the mletpstv udmna ouint h etequation.) be 1. heat may Theorem the kernel to heat solution the fundamental k manifold, heat positive non-compact the smallest on complete, estimate a following the on [LY], Yau that o below. and then Li bounded we of curvature, bounds curvature known Ricci non-negative Ricci of with restriction additional manifolds non-compact plete, (1) oiieslto oteha qainon equation heat the to solution positive uhthat such AITNSGAIN SIAEFRTEHA KERNEL HEAT THE FOR ESTIMATE GRADIENT HAMILTON’S hoe ssapi h re of order the in sharp is 1 Theorem 2000 n[] ihr aitnetbihdtefloigetmt ntegradie the on estimate following the established Hamilton Richard [H], In nti ae,w rvd ro htHmlo’ hoe lohlsf holds also theorem Hamilton’s that proof a provide we paper, this In t etkre.Te,frall for Then, kernel. heat its x ahmtc ujc Classification. Subject Mathematics , Abstract. tv ouin ncmlt,nncmatmnflswith manifolds manifolds non-compact closed complete, on on equation solutions heat the itive to solutions positive ntegain fteha enlfrcmlt aiod wit of manifolds order complete the in for yie sharp kernel Yau, is heat S.T. that and the curvature A Li Ricci of P. gradient of solution. bounds the the the on of with Karp gradient together L. the result, of our on principle estimate maximum Bernstein-type a a via extension this accomplish
M ∈ c ,y x, ct − 97Aeia ahmtclSociety Mathematical American 1997 0 n ffr nimprovement an offers and δ and ) ) ) n . 2 t Rc obuddpos- bounded to and plcto of application n d nestimate an lds non-negative h K − ≥ n .L and Li P. and ti,vatewell- the via btain, R C ≥ > t K n Kg R 0 = ,inequality 0, = n n hudbe should and enda the as defined 0 re.(Recall ernel. . We . r constants are n has one , C pist the to pplies Rc ( ne the Under ,δ n, ≥ rcom- or 0 ) and , tof nt such u a 2 B. KOTSCHWAR
Additionally, such an estimate is required to prove that the integrand in the entropy functional for the linear heat equation (cf. [N2]) is pointwise non- positive for the fundamentalW solution to the heat equation. The proof that the integrand in Perelman’s -functional is non-positive for fundamental solutions to the conjugate heat equationW seems also to require a non-linear analog of this result (see [N]). Perhaps the approach detailed here could serve as a model for the proof of such an estimate. In Section 2, we obtain a Bernstein-type estimate for bounded solutions to the heat equation which affords pointwise control on the product of the squared norm of the gradient by the elapsed time. The estimate is similar in form to those found by W.-X. Shi [S] in the Ricci Flow setting for derivatives of curvature. Such estimates have found considerable service in that setting and continue to have importance in work towards the verification of the claims of Perelman. Acknowledgement. This work is based on a suggestion of Professor Lei Ni, to whom the author is also indebted for several useful discussions. The author would also like to thank Professor Bennett Chow for his support and encouragement, and the referee for helpful suggestions pertaining to the exposition of this paper.
2. A Bernstein-Type Estimate Henceforth we shall assume that ( n,g) is a smooth, complete, non-compact Riemannian manifold with Ricci curvatureM uniformly bounded below by K, and for this section, suppose u is a smooth solution to the heat equation on some− open U n for 0 t T , satisfying u M. Our aim is to establish a ⊂ M ≤ ≤ ≤ ∞ | | ≤ preliminary estimate on u 2 so that the maximum principle of Ni and Tam [NT] may be applied to the quantity|∇ | of interest in Hamilton’s gradient estimate. To do this, we employ a technique of W.-X. Shi [S] from the estimation of deriva- tives of curvature under the Ricci Flow (see also the treatment in the forthcoming book [CLN]), and define F (x, t) =(4M 2 + u2) u 2 for t> 0. The evolution of F then possesses an advantageous F 2 term, as we|∇ see| below. − Lemma 2. There exist positive constants C1 and C2 such that ∂F C (3) ∆F + C KF 2 F 2. ∂t ≤ 1 − M 4 Proof. We have ∂ ∆ u 2 = 2 u 2 2Rc( u, u) 2 u 2 +2K u 2 , ∂t − |∇ | − |∇∇ | − ∇ ∇ ≤− |∇∇ | |∇ | and ∂ ∆ u2 = 2 u 2 . ∂t − − |∇ | So ∂ ∆ F (4M 2 + u2)(2K u 2 2 u 2) 2 u 4 ∂t − ≤ |∇ | − |∇∇ | − |∇ | 8u( u)( u, u) − ∇∇ ∇ ∇ 10u2 u 2 + 10M 2K u 2 2 u 4 ≤− |∇∇ | |∇ | − |∇ | 8u( u)( u, u). − ∇∇ ∇ ∇ HAMILTON’S ESTIMATE ON COMPLETE MANIFOLDS 3
Since 8 8 u u u 2 10u2 u 2 + u 4 , | | |∇∇ | |∇ | ≤ |∇∇ | 5 |∇ | and 4M 2 u 2 F 5M 2 u 2, we find |∇ | ≤ ≤ |∇ | ∂ 2 ∆ F 10M 2K u 2 u 4 ∂t − ≤ |∇ | − 5 |∇ | 5 2 KF F 2 ≤ 2 − 625M 4 as claimed. Now, as in [LY], for any p n and R> 0 we may find a cut-off function η(x)= ∈M ηp,R(x) equal to 1 on Bp(R) and supported in Bp(2R) satisfying the conditions C (4) η 2 3 η |∇ | ≤ R2 and C (5) ∆η 3 1+ R√K ≥−R2 for some C3 = C3(n) > 0. Strictly speaking, the above estimates need only hold away from the cut-locus of p, however, for the purposes of applying the maximum principle to ηF , the well-known argument of Calabi [C] allows us to assume that they hold everywhere. The main result of this section is the following local estimate: Theorem 3. Suppose u is a smooth solution to the heat equation satisfying u M n | |≤ on Bp(2R) [0,T ] for some p and M, R, T > 0. Then there exists a constant × ∈M C4 = C4(K) such that 1 (6) t u 2 C M 2 1+ T 1+ |∇ | ≤ 4 R2 holds on Bp(R) [0,T ] × Proof. Define F as in Lemma 2. On supp(η) [0,T ], we have, by Lemma 2 and equations (4) and (5), × ∂ ∂ ∆ (tηF )= ηF + tη ∆ F tF ∆η 2t η, F ∂t − ∂t − − − h∇ ∇ i η 2 ∂ = η +2t|∇ | t∆η F + tη ∆ F η − ∂t − ! η 2 (tηF ), ∇ − ∇ η C C (1 + C Kt) η +3t 3 1+ R√K F 2 tηF 2 ≤ 1 R2 − M 4 η 2 (tηF ), ∇ . − ∇ η If ηF is not identically zero (i.e., if u is not constant on supp(η)), then tηF n attains a positive maximum at (x0,t0) (0,T ]. At this point, ∈M × (tηF )=0 ∇ 4 B. KOTSCHWAR and ∂ ∆ (tηF ) 0, ∂t − ≥ so C C 2 t ηF 2 1+ C KT +3T 3 1+ R√K F. M 4 0 ≤ 1 R2 Consequently, for any (x, t) Bp(R) [0,T ], ∈ × tF (x, t)= tF (x, t)η(x) t F (x ,t )η(x ) ≤ 0 0 0 0 4 M C3 √ 1+ C1KT +3T 2 1+ R K . ≤ C2 R But u 2 (1/4M 2)F , and the claim follows. |∇ | ≤ Remark 4. If Rc 0, the above proof shows ≥ T t u 2 CM 2 1+ |∇ | ≤ R2 on Bp(R) [0,T ]. × Sending R in the penultimate line of the above proof, we at once obtain → ∞ Corollary 5. Suppose the solution u is defined on all of n [0,T ]. Then there M × exists a constant C5 such that (7) t u 2 C M 2(1 + KT ) |∇ | ≤ 5 on n [0,T ]. M × 3. Proof of Main Theorem Next, using the estimate of the previous section, we apply a maximum principle due originally to Karp and Li, whose statement we found (in more generalized form) in a paper of Ni and Tam. The statement of their theorem in our (stationary metric) case is as follows. Here f (x, t) := max f(x, t), 0 . + { } Theorem. (Karp-Li, [KL]; Ni-Tam, [NT], 1.2) Suppose ( n,g) is a complete Riemannian manifold and f(x, t) a smooth function on Mn [0,T ] such that M × ∂ ∆ f(x, t) 0 whenever f(x, t) 0. Assume that ∂t − ≤ ≤ T −ar2(x) 2 (8) e f+(x, s) dV ds < Mn ∞ Z0 Z for some a > 0, where r(x) is the distance to x from some fixed p n. If f(x, 0) 0 for all x n, then f(x, t) 0 for all (x, t) n [0,T ].∈ M ≤ ∈M ≤ ∈M × Hamilton’s theorem in the complete case reads as Theorem 6. Suppose ( n,g) is a complete manifold with Rc Kg for some K 0. If 0 < u(x, t) MM is a solution to the heat equation on≥ −n [0,T ] for 0 Proof. Defining uǫ = u + ǫ for ǫ > 0, we obtain a solution satisfying ǫ 1 2 P (x, t) t uǫ . + ≤ ǫ |∇ | Thus using equation (7), for any p n, and R> 0, we have ∈M T T −r2(x) 2 1 −r2(x) 2 2 e P (x, t) dV dt e (t uǫ ) dV dt + ≤ ǫ2 |∇ | Z0 ZBp(R) Z0 ZBp(R) 2 4 T C5 Mǫ 2 −r2(x) 2 (1 + KT ) e dV dt. ≤ ǫ Mn Z0 Z Since we assume that Rc Kg, it follows from the Bishop volume comparison theorem that the rightmost≥ integral − in the above inequality is finite. Hence, T T −r2(x) 2 −r2(x) 2 e P+(x, t) dV dt lim inf e P+(x, t) dV dt Mn ≤ R→∞ Z0 Z Z0 ZBp(R) < , ∞ and we conclude that P (x, t) 0 for all t T . ≤ ≤ Proof of Theorem 1. Let H(x,y,t) denote the heat kernel of ( n,g). For any t > 0 and y n, set u(x, s) := H(x,y,s + t/2). Then u is a smooth,M positive solution to the∈ heatM equation on [0, ). By Corollary 3.1 and Theorem 4.1 of [LY], ∞ for all δ > 0, there is a constant C6 = C6(δ) > 0 such that u satisfies − 2 − − 1 −d (x,y) 1 (9) C 1V s + t/2 e (4−δ)(s+t/2) u(x, s) C V s + t/2 6 ≤ ≤ 6 np p for all x, y , and s 0, where V ( s + t/2) := Vol(By( t + s/2)). ∈M ≥ −1 Defining M = C6V t/2 , thep left inequality in (9)p implies u M for ≤ all x and s. Moreover, sincep we assume Rc 0, there exists a positive constant C = C (n) such that for all 0 s t/2 ≥ 7 7 ≤ ≤ V t/2+ s V √t C V t/2 . ≤ ≤ 7 Thus, by the right-handp inequality in (9) and Theoremp 6, we have M d2(x, y) s log u 2 log log(C2C )+ |∇ | ≤ u ≤ 6 7 (4 δ)(s + t/2) − on n [0,t/2]. M × 6 B. KOTSCHWAR 2 Setting C = log(C6 (δ)C7(n)) and evaluating at s = t/2, we conclude that d2(x, y) (t/2) log H 2 (x,y,t) = (t/2) u 2 (x,t/2) C + |∇ | |∇ | ≤ (4 δ)t − for all x, y n and t> 0. ∈M References [C] Calabi, E. An extension of E. Hopf’s maximum principle with an application to Riemannian geometry. Duke Math. J. 25 (1957) 45–56. [CLN] Chow Bennett; Lu, Peng; Ni, Lei. Hamilton’s Ricci Flow. Lectures in Contemporary Mathe- matics, Science Press and Graduate Studies in Mathematics, American Mathematical Society (co-publication). To appear. [H] Hamilton, Richard S. A matrix Harnack estimate for the heat equation. Comm. Anal. Geom. 1 (1993), no.1, 113-126. [KL] Leon Karp and Peter Li. The heat equation on complete riemannian manifolds. Unpublished notes, 1982. [LY] Li, Peter and Yau, S.-T. On the parabolic kernel of the Schr¨odinger operator. Acta Math. 156 (1986), no. 3-4, 153-201. [N] Ni, Lei. A note on Perelman’s LYH inequality. arXiv:math.DG/0602337 [N2] Ni, Lei. The entropy formula for linear heat equation. J. Geom Anal. 14 (2004), no. 1, 87–100. [NT] Ni, Lei and Tam, L. F. K¨ahler-Ricci flow and the Poincar`e-Lelong equation. Comm. Anal. Geom 12 (2004), no. 1-2, 111-141. [P] Perelman, Grisha. The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG/0211159 [S] Shi, Wan-Xiong Deforming the metric on complete Riemannian manifolds. J. Differential Geom. 30 (1989), no. 1, 223-301. [SZ] Souplet, P. and Zhang, Q.S. Sharp gradient estimate and Yau’s Liouville theorem for the heat equation on non-compact manifolds, arXiv:math.DG/0502079 University of California, San Diego E-mail address: [email protected]