ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION AND APPLICATIONS arxiv: v1 [math.dg] 1 Mar 2016

Transcription

1 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION AND APPLICATIONS arxiv: v [math.dg] Mar 206 JIA-YONG WU Abstract. In this paper, we study elliptic gradient estimates for a nonlinear f-heat equation, which is related to the gradient Ricci soliton and the weighted log-sobolev constant of smooth metric measure spaces. Precisely, we obtain Hamilton s and Souplet-Zhang s gradient estimates for positive solutions to the nonlinear f-heat equation only assuming the Bakry-Émery Ricci tensor is bounded below. As applications, we prove parabolic Liouville properties for some kind of ancient solutions to the nonlinear f-heat equation. Some special cases are also discussed.. Introduction.. Background. This is a sequel to our previous work [26]. In that paper we proved elliptic gradient estimates for positive solutions to the f-heat equation on smooth metric measurespaces with only the Bakry-Émery Ricci tensor bounded below. We also applied the results to get parabolic Liouville theorems for some ancient solutions to the f-heat equation. In this paper we will investigate elliptic gradient estimates and Liouville properties for positive solutions to a nonlinear f-heat equation see equation.3 below on complete smooth metric measure spaces. Recall thatann-dimensionalsmoothmetricmeasurespacem n,g,e f dv is a complete Riemannian manifold M n,g endowed with a weighted measure e f dv for some f C M, where dv is the volume element of the metric g. The associated m-bakry-émery Ricci tensor [2] is defined by Ric m f := Ric+ 2 f df df m for some constant m > 0, where Ric and 2 denote the Ricci tensor and the Hessian of the metric g. When m =, we have the -Bakry-Émery Ricci tensor Ric f := Ric+ 2 f. Date: December 7, Mathematics Subject Classification. Primary 53C2, 58J35; Secondary 35B53, 35K55. Key words and phrases. Gradient estimate; Liouville theorem; smooth metric measure space; Bakry-Émery Ricci tensor; log-sobolev inequality. This work is partially supported by NSFC 0267, 2732.

2 2 JIA-YONG WU The Bochner formula for Ric m f. can be read as see also [26] 2 f u 2 = 2 u 2 + f u, u +Ric f u, u fu 2 m+n + fu, u +Ric m f u, u for any u C M. When m <,. could be viewed as the Bochner formula for the Ricci tensor of an n + m-dimensional manifold. Hence many geometric and topological properties for manifolds with Ricci tensor bounded below can be possibly extended to smooth metric measure spaces with m-bakry-émery Ricci tensor bounded below, see for example [6, 9]. When m =, the -Bakry-Émery Ricci tensor is related to the gradient Ricci soliton Ric f = λg for some constant λ, which plays an important role in Hamilton s Ricci flow as it corresponds to the self-similar solution and arises as limits of dilations of singularities in the Ricci flow []. A Ricci soliton is said to be shrinking, steady, or expanding according to λ > 0, λ = 0 or λ < 0. On the gradient estimate, the smooth function f is often called a potential function. We refer [5] and the references therein for further discussions. On smooth metric measure space M,g,e f dv, the f-laplacian f is defined by f := f, which is self-adjoint with respect to the weighted measure. The associated f-heat equation is defined by u.2 t = f u If u is independent of time t, then it is f-harmonic function. In the past few years, various Liouville properties for f-harmonic functions were obtained, see for example [3], [6], [7], [2], [23], [25], [27], [28], and the references therein. Recently, the author [26] proved elliptic gradient estimates and parabolic Liouville properties for f-heat equation under some assumptions of -Bakry-Émery Ricci tensor. In this paper, we will study analytical and geometrical properties for positive solutions to the equation.3 u t = f u+aulnu, where a R, on complete smooth metric measure spaces M,g,e f dv with only the Bakry-Émery Ricci tensor bounded below. Here we assume M has no boundary. It is well-known that all solutions to its Cauchy problem exist for all time. Under the assumption of Ric f, we shall prove local elliptic Hamilton s type and Souplet-Zhang s type gradient estimates for positive

3 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION 3 solutions to the nonlinear f-heat equation.3. As applications, we prove parabolic Liouville properties for the nonlinear f-heat equation.3. Historically, gradient estimates for the harmonic function on manifolds were discovered by Yau [30] and Cheng-Yau [7] in 970s. It was extended to the so-called Li-Yau gradient estimate for the heat equation by Li and Yau [5] in 980s. In 990s, Hamilton [0] gave an elliptic type gradient estimate for the heat equation on closed manifolds, which was later generalized to the non-compact case by Kotschwar [3]. In 2006, Souplet and Zhang [22] proved a localized Cheng-Yau type estimate for the heat equation by adding a logarithmic correction term. Integrating Hamilton s or Souplet-Zhang s gradient estimates along space-time paths, their estimates exhibit an interesting phenomenon that one can compare the temperature of two different points at the same time provided the temperature is bounded. However, Li-Yau gradient estimate only provides the comparison at different times. Equation.3 has some relations to the geometrical quantities. On one hand, the time-independent version of.3 with constant function f is linked with gradient Ricci solitons, for example, see [20, 29] for detailed explanations. On the other hand, the steady-state version of.3 is closely related to weighted log-sobolev constants of smooth metric measure spaces Riemmann manifolds case due to Chung-Yau[8]. Recall that, weighted log- Sobolev constants S M, associated to a closed smooth metric measure space M n,g,e f dv, are the smallest positive constants such that the weighted logarithmic-sobolev inequality u 2 lnu 2 e f dv S M u 2 e f dv M holds for all smooth function u on M satisfying M u2 e f dv = V f M. In particular, the case of Euclidean space R n equipped with the Gaussian measure e f dv := 4π n 2 exp x 2 dx 4 is inequivalent to the original log-sobolev inequality due to L. Gross [9]. If function u achieves the weighted log-sobolev constant and satisfies M u2 e f dv = V f M, that is, M S M = u 2 e f dv M u2 lnu 2 e f dv = inf M φ 2 e f dv φ 0 M φ2 lnφ 2 e f dv. Using the Lagrange s method with respect to weighted measure e f dv, we have 2 f u M u2 lnu 2 e f dv M u 2 e f dv 2ulnu 2 M u2 lnu 2 e f dv 2 +2u +c u = 0 for some constant c. By the definition of S M, this can be reduced to.4 f u S M ulnu 2 +u+c 2 u = 0 M

4 4 JIA-YONG WU for the constant c 2 = c u 2 lnu 2 e f dv. 2 M Notice that multiplying.4 by u and integrating it with respect to the weighted measure e f dv, we have u 2 e f dv S M u 2 lnu 2 +e f dv +c 2 u 2 e f dv = 0, M M which implies S M = c 2. Therefore.4 can be simplified as.5 f u+s M ulnu 2 = 0, which is an elliptic version of.3. For.5, if Ric m f 0, using. instead of the classical Bochner formula for the Ricci tensor and following Chung-Yau s arguments [8], we immediately get and supu e n+m/2, M lnu 2 +S M lnu 2 n+ms M { λ S M min 8e, n+md 2 where λ and d denote the first nonzero eigenvalue of the f-laplacian and the diameter of M n,g,e f dv..2. Main results. Our first result gives a local Hamilton s gradient estimate for any positive solution to the equation.3. Theorem.. Let M,g,e f dv be an n-dimensional complete smooth metric measure space. For any point x 0 M and R 2, Ric f n K for some constant K 0 in Bx 0,R. Let 0 < ux,t D for some constant D, be a smooth solution to the equation.3 in Q R,T Bx 0,R [t 0 T,t 0 ] M,, where t 0 R and T > 0. }, i If a 0, then there exists a constant cn such that.6 u cn D u R + α R + t t0 +T + K+ c n,k,a,d in Q R/2,T with t t 0 T, where c n,k,a,d = max{2n K + a2+lnd, 0}. ii If a < 0, further assuming that δ ux,t D for some constant δ > 0, then there exists a constant cn such that.7 u u cn D R + α R + t t0 +T + K + c 2 n,k,a,δ in Q R/2,T with t t 0 T, where c 2 n,k,a,δ = max{2n K + a2+lnδ, 0}. Here, α := max {x dx,x0 =} f rx, where rx is the distance function to x from base point x 0.

5 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION 5 Remark.2. Cao, Fayyazuddin Ljungberg and Liu [6] proved Li-Yau type gradient estimates for equation.3 with constant function f; our results belong to the elliptic type. An distinct feature of Theorem. is that the gradient estimates hold only assuming the -Bakry-Émery Ricci tensor is bounded below without any assumption on f. We also remarkthat ourproofis alittle different fromyau s original proof [30]. In Yau s case, the proof is to compute the evolution of quantity lnu, then multiply by a cut-off function and apply the maximum principle. In our case, we compute the evolution of quantity u /3 instead of lnu. Moreover, our proof not only applies some arguments of Souplet-Zhang [22], where the maximum principle in a local space-time supported set is discussed, but also uses some proof tricks of Bailesteanua-Cao-Pulemotov [], Li [4] and Wei-Wylie s comparison theorem [23]. An immediate application of Theorem. is the parabolic Liouville property for the nonlinear f-heat equation. Similar results appeared in [2]. Theorem.3. Let M,g,e f dv be an n-dimensional complete smooth metric measure space with Ric f 0. i When a > 0, if ux,t is a positive ancient solution to equation.3 that is, a solution defined in all space and negative time such that 0 < ux,t e 2, then u does not exist. ii When a < 0, let ux,t be a positive ancient solution to equation.3. If e 2 ux,t D for some constant D <, then u does not exist; if e 2 ux,t D for some constant D, then u. iii When a = 0, if ux,t is a positive ancient solution to equation.2 such that ux,t = o [r /2 x+ t /4] 2 near infinity, then u is constant. Theorem.3 immediately implies the following result. Corollary.4. Let M,g,e f dv be an n-dimensional closed smooth metric measure space with Ric f 0. If positive smooth function ux achieves the weighted log-sobolev constant S M and satisfies u 2 e f dv = V f M, then ux > e 2. M For more interesting special cases and applications of Theorem., see Section 3 for furthermore discussion. Our second result gives a Souplet-Zhang s elliptic gradient estimate for positive solutions to the nonlinear f-heat equation.3. The proof mainly adopts the arguments of Bailesteanua-Cao-Pulemotov [], Souplet-Zhang [22] and Brighton [3] see also [26].

6 6 JIA-YONG WU Theorem.5. Let M,g,e f dv be an n-dimensional complete smooth metric measure space. For any point x 0 M and R 2, Ric f n K for some constant K 0 in Bx 0,R. Let 0 < ux,t D for some constant D, be a smooth solution to f-heat equation.3 in Q R,T Bx 0,R [t 0 T,t 0 ] M,, where t 0 R and T > 0. i If a 0, then there exists a constant cn such that.8 u + α u cn R + t t0 +T + K + aκ+ +ln D u in Q R/2,T with t t 0 T, where κ = max{ lnd,}. ii If a < 0, then there exists a constant cn such that.9 u + α u cn R + t t0 +T + K+ c 3 n,a,k+ aκ +ln D u in Q R/2,T with t t 0 T. where c 3 n,a,k = max{a+n K,0}, and κ = max{ lnd,}. Here, α := max {x dx,x0 =} f rx, where rx is the distance function to x from base point x 0. If a = 0, theorem recovers the result in [26]. We point out that, similar to Theorem., gradient estimates of Theorem.5 also hold provided that only the Bakry-Emery Ricci tensor is bounded below. Remark.6. In [24] the author proved similar estimates when m-bakry- Émery Ricci tensor is bounded below. He also remarked that m-bakry- Émery Ricci tensor could be replaced by -Bakry-Émery Ricci tensor see Remark.3 ii in [24]. Professor Xiang-Dong Li pointed out to me that the remark is not accurate because of the lack of global f-laplacian comparison except some special constraint of f is given. However, Theorem.5 corrects my previous remark and provides an answer to this question. The rest of this paper is organized as follows. In Section 2, we will give some auxiliary lemmas and introduce a space-time cut-off function. These results are prepared to prove Theorem. and Theorem.5. In Section 3, we will give completely detail proofs of Theorem. by the classical Yau s gradient estimate technique. Then we will apply Theorem. to prove Theorem.3 and Corollary.4. Meanwhile we will also discuss some special cases of Theorem.. In Section 4, we will adopt the arguments of Theorem. in [26] to prove Theorem Basic lemmas In this section, we will give some useful lemmas, which are prepared to prove Theorem. and Theorem.5 in the following sections. Consider the

7 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION 7 nonlinear f-heat equation u 2. t = f u+aulnu, where a is a real constant, on an n-dimensional complete smooth metric measure space M,g,e f dv. For any point x 0 M and any R > 0, let 0 < ux,t D for some constant D, be a smooth solution to 2. in Q R,T : Bx 0,R [t 0 T,t 0 ] M,, where t 0 R and T > 0. Similar to [4, 8], we introduce a new smooth function in Q R,T. Then hx,t := u /3 x,t 0 < hx,t D /3 in Q R,T. By 2., hx,t satisfies 2.2 f h+2h h 2 +ahlnh = 0. t Using above, we derive the following evolution formula, which is a generalization of Lemma 2. in [2]. Lemma 2.. Let M,g,e f dv be an n-dimensional complete smooth metric measure space. For any point x 0 M and R > 0, Ric f n K for some constant K 0 in Bx 0,R. Let 0 < ux,t D for some constant D, be a smooth solution to 2. in Q R,T. Let ωx,t := h h 2, where h := u /3. For any x,t Q R,T, i if a 0, then ω satisfies f ω 4h h, ω +4h 3 ω 2 [2n K +alnd +2a]ω. t ii if a < 0, further assuming that 0 < δ ux,t D for some constant δ > 0, then ω satisfies f ω 4h h, ω +4h 3 ω 2 [2n K +alnδ +2a]ω. t Proof. Following the computation method of [5], let e,e 2,...,e n be a local orthonormal frame field on M n. We adopt the notation that subscripts in i, j, and k, with i,j,k n, mean covariant differentiations in the e i, e j and e k, directions respectively. Differentiating ψ in the direction of e i, we have 2.3 ω j = h j h 2 +2hh i h ij

8 8 JIA-YONG WU and once more differentiating ψ in the direction of e i, ω = 2h h ij 2 +2hh i h ijj +4h i h j h ij +h 2 i h jj, where h i := i h and h ijj := j j i h, etc. Hence we have f ω = ω f, ω = 2h h ij 2 +2hh i h ijj +4h i h j h ij +h 2 i h jj 2hh ij h i f j h 2 i h jf j = 2h h ij 2 +2hh i f h i +2hRic f h, h+4h i h j h ij +h 2 i f h. By 2.2, we also have ω t = 2h ih i f h+2h h 2 j +ahlnh +h t h 2 j = 2h h f h+8h i h j h ij 4h h 4 i +2ahlnh+h2 i +h 2 i fh+2h h 4 +ahlnh h 2 i = 2h h f h+8h i h j h ij 2h h 4 i +3lnh+2ahh 2 i +h 2 i f h. Combining the above two equations, we get f ω = 2h h ij 2 +2hRic f t ij h ih j 4h i h j h ij +2h h 4 i 3lnh+2ahh2 i. Since Ric f n K for some constant K 0, then f ω 2h h ij 2 +4h i h j h ij +2h h 4 i t 2n K ω 8h i h j h ij 3lnh+2aω. Using 2h h ij 2 +4h i h j h ij +2h h 4 i 0, we further get 2.4 f ω 8h i h j h ij [2n K +3alnh+2a]ω. t Since 2.3 implies ω j h j = 2hh i h j h ij +h 4 i, using this, 2.4 can be written by f ω 4h 3 ω 2 4h h, ω [2n K +3alnh+2a]ω. t Finally, we notice that if a 0, then 0 < h D /3 and hence lnh /3lnD. If a < 0, then δ /3 h D /3 and hence /3lnδ lnh /3lnD. The above two cases imply the desired results.

9 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION 9 For equation 2., if we introduce another new function g = lnu, then g satisfies 2.5 f g + g 2 +ag = 0. t Using this, we can get the following lemma, which is also a generalization of previous results in [22, 24, 26]. Lemma 2.2. Let M,g,e f dv be an n-dimensional complete smooth metric measure space. For any point x 0 M and R > 0, Ric f n K for some constant K 0 in Bx 0,R. Let 0 < ux,t D be a smooth solution to equation 2. in Q R,T. Let g := lnu and µ := + lnd. Then for all x,t Q R,T, the function satisfies 2.6 ω := lnµ g 2 = g 2 µ g 2 f 2g lnd ω g, ω t µ g +2µ gω 2 2a+n Kω 2ag µ g ω. Proof. The proof of lemma is almost the same as that of [24]. In fact, in Lemma 2. of [24], if we let α = +lnd, which means α = µ, then we have δ =. Therefore from 2.4 of [24], we immediately get 2.6. In the rest of this section, we introduce a smooth cut-off function originated by Li-Yau [5] see also [] and [26]. This will also be used in the proof of our theorems. Lemma 2.3. Fix t 0 R and T > 0. For any τ t 0 T,t 0 ], there exists a smooth function ψ : [0, [t 0 T,t 0 ] R such that: 2 0 ψr,t in [0,R] [t 0 T,t 0 ], and it is supported in a subset of [0,R] [t 0 T,t 0 ]. ψr,t = and ψ r r,t = 0 in [0,R/2] [τ,t 0 ] and [0,R/2] [t 0 T,t 0 ], respectively.

10 0 JIA-YONG WU 3 4 ψ t C ψ 2 τ t 0 T in [0, [t 0 T,t 0 ] for some C > 0, and ψr,t 0 T = 0 for all r [0,. C ǫ ψ ǫ R ψ r 0 and 2 ψ r 2 C ǫ ψ ǫ R 2 in [0, [t 0 T,t 0 ] for each ǫ 0, with some constant C ǫ depending on ǫ. We remindthereadersthat Lemma2.3 isalittle different fromthat of[5] and [22]. Here, the cut-off function was previously used by M. Bailesteanua, X. Cao and A. Pulemotov []. 3. Proof of Theorem. In this section, we will apply Lemmas 2. and 2.3, the localization technique of Souplet-Zhang [22], some tricks of Bailesteanua-Cao-Pulemotov [], Li [4], Brighton [3] and Jiang [2] to prove Theorem.. Proof of Theorem.. We only prove the case i a 0. The case ii a < 0 is similar. Pick any number τ t 0 T,t 0 ] and choose a cutoff function ψr, t satisfying propositions of Lemma 2.3. We will show that.6 holds at the space-time point x,τ for all x such that dx,x 0 < R/2, where R 2. Since τ is arbitrary, the conclusion then follows. Introduce a cutoff function ψ : M [t 0 T,t 0 ] R, such that ψ = ψdx,x 0,t ψr,t. Then, ψx,t is supported in Q R,T. Our aim is to estimate f t ψω and carefully analyze the result at a space-time point where the function ψω attains its maximum. By Lemma 2.i, we can calculate that 3. f ψω+ 4h h 2 ψ ψω t ψ 4h 3 ω 2 ψ +4h h, ψ ω 2 ψ 2 ψ ω + f ψω ψ t ω [2n K +alnd +2a]ψω. Let x,t be a maximum space-time point for ψω in the closed set {x,t M [t 0 T,τ] dx,x 0 R}. Assume that ψωx,t > 0; otherwise, ωx,τ 0 and.6 naturally holds at x,τ whenever dx,x 0 < R 2. Here t t 0 T, since we assume ψωx,t > 0. We can also assume that function ψx,t is smooth at

11 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION x,t due to the standard Calabi s argument [4]. Since x,t is a maximum space-time point, at this point, f ψω 0, ψω t 0 and ψω = 0. Using these, 3. at space-time x,t can be simplified as 4ω 2 ψ 4h 2 h, ψ +2 ψ ψ h3 ω f ψh 3 ω +ψ t h 3 ω +c n,k,a,d ψh 3 ω, where c n,k,a,d := max{2n K +alnd +2a, 0}. We apply 3.2 to prove the theorem. If x Bx 0,, then ψ is constant in space direction in Bx 0,R/2 according to our assumption, where R 2. So at x,t, 3.2 yields ω D D 4 ψt ψ + c n,k,a,d 4 C τ t 0 T + c n,k,a,d 4 where we used proposition 3 of Lemma 2.3. Since ψx,τ = when dx,x 0 < R/2 by the proposition 2 of Lemma 2.3, the above estimate indeed gives ωx,τ = ψωx,τ ψωx,t, ωx,t C D τ t 0 T + c n,k,a,d 4 for all x M such that dx,x 0 < R/2. By the definition of wx,τ and the fact that τ t 0 T,t 0 ] was chosen arbitrarily, we prove that u x,t C D u t t0 +T + 2 c n,k,a,d for all x,t Q R/2,T with t t 0 T. This implies.6. Now, we assumex Bx 0,. SinceRic f n K andrx,x 0 in Bx 0,R, we have the f-laplacian comparison see Theorem 3. in [23] 3.3 f rx α+n KR, where α := max {x dx,x0 =} f rx. This comparison theorem holds without any grow condition of f, which is critical in our latter proof. Below we will estimate upperboundsfor each term of theright-hand sideof 3.2, similar to the arguments of Souplet-Zhang [22]. Meanwhile, we also repeatedly use the Young s inequality a a 2 a p p + a q 2 q, a,a 2,p,q > 0 with p + q =.

12 2 JIA-YONG WU In the following c denotes a constant depending only on n whose value may change from line to line. First, we have the estimates of first term of the right hand side of 3.2: 3.4 4h 2 h, ψ ω 4h 3/2 ψ ω 3/2 4D /2 ψ ψ 3/4 ψω 2 3/4 3 5 ψω2 +cd 2 ψ 4 ψ ψω2 +c D2 R 4. For the second term of the right hand side of 3.2, we have ψ 2 ψ h3 ω 2D ψ 2 ψ 3/2 ψ /2 ω 3 5 ψω2 +cd 2 ψ 4 ψ ψω2 +c D2 R 4. For thethird term of the right handsideof 3.2, sinceψ is a radial function, then at x,t, using 3.3 we have 3.6 f ψh 3 ω = [ r ψ f r + 2 r ψ r 2] h 3 ω [ r ψα+n KR + 2 r ψ] h 3 ω D [ 2 r ψ + α +n KR rψ ] ω = Dψ /2 ω 2 rψ ψ /2 +D α +n KR ψ/2 ω rψ ψ [ /2 3 5 ψω2 +cd r ψ α r ψ 2 ] KR r ψ 2 ψ /2 + ψ /2 + ψ /2 3 5 ψω2 +c D2 R 4 +cα2 D 2 R 2 +ck 2 D 2, where in the last inequality we used proposition 4 of Lemma 2.3. Then we estimate the fourth term of the right hand side of 3.2: 3.7 ψ t h 3 ω = ψ /2 ω h3 ψ t 3 5 ψ /2 2 h ψ /2 3 ψ t ω +c 3 5 ψω2 + ψ /2 cd 2 τ t 0 +T 2. 2

13 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION 3 Finally, we estimate the last term of the right hand side of 3.2: 3.8 c n,k,a,dψh 3 ω 3 5 ψω2 +cd 2 c 2 n,k,a,d. We now substitute into the right hand side of 3.2, and get that 3.9 ψω 2 cd 2 R 4+α2 R 2 + τ t 0 +T 2 +K2 +c 2 n,k,a,d at x,t. This implies that ψ 2 ω 2 x,t ψω 2 x,t cd 2 R 4+α2 R 2 + τ t 0 +T 2 +K2 +c 2 n,k,a,d Since ψx,τ = when dx,x 0 < R/2 by the proposition 2 of Lemma 2.3, from the above estimate, we have ωx,τ = ψωx,τ ψωx,t cd R 2+ α R + τ t 0 +T +K +c n,k,a,d for all x M such that dx,x 0 < R/2. By the definition of wx,τ and the fact that τ t 0 T,t 0 ] was chosen arbitrarily, we in fact show that α h h x,t c D R + + R t t0 +T + K+ c n,k,a,d for all x,t Q R/2,T Bx 0,R/2 [t 0 T,t 0 ] with t t 0 T. We have finished the proof of theorem since h = u /3 and R 2.. In particular, if a = 0, Theorem. implies a local elliptic gradient estimate for the f-heat equation: u 3.0 cn α D u R + R + t t0 +T + K in Q R/2,T with t t 0 T, for any R 2. Compared with author s recent result [26], though 3.0 is not sharp from Example.2 of [26], it seems to be a new form of elliptic type gradient estimates for f-heat equation. Furthermore, if a = 0 and f is constant, by using the classical Laplacian comparison r n /r + K instead of Wei-Wylie s f-laplacian

14 4 JIA-YONG WU comparison see 3.3, the proof of Theorem. in fact implies the following gradient estimate for the heat equation: u 3. cn D u R + t t0 +T + K in Q R/2,T with t t 0 T, for all R > 0. Compared with Hamilton s estimate [0] and Souplet-Zhang s estimate [22] for the heat equation, this elliptic gradient estimate seems to be new. Moreover, gradient estimate 3.0 implies Corollary 3.. Let M,g,e f dv be an n-dimensional complete smooth metric measure space with Ric f n K for some constant K 0. If ux,t is a positive ancient solution to the f-heat equation.2 such that 0 < ux,t D for some constant D, then u cnd K. Remark 3.2. Corollary 3. implies Brighton s result[3]: any positive bounded f-harmonic function on complete noncompact smooth metric measure spaces with Ric f 0 must be constant. In the rest of this section, we shall apply Theorem. to prove Theorem.3, Corollary.4 and Corollary 3.. Proof of Theorem.3. When a > 0, since K = 0 and D = e 2, then c n,k,a,d = 0. Fixing any space-time point x 0,t 0 and using Theorem. for 0 < u e 2 in the set Bx 0,R t 0 R 2,t 0 ], we have u u x 0,t 0 cne 2 + α R + R for all R 2. Letting R, then ux 0,t 0 = 0. Since x 0,t 0 is arbitrary, u must be constant in x. By equation.3, then Solving this ODE, we get du dt = aulnu. u = expce at, where c is some constant and a > 0. For such a solution, if we let t, then u = expce at, which is contradiction with the theorem assumption: 0 < ux,t e 2. Therefore such u does not exist.

15 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION 5 When a < 0, since K = 0 and δ = e 2, then c 2 n,k,a,d = 0. For any space-time point x 0,t 0, we apply Theorem. for e 2 ux,t D in the set Bx 0,R t 0 R 2,t 0 ], u u x 0,t 0 cn D + α R + R for all R 2. Similar to the above arguments, letting R, then u is constant in x, and u = expce at for some constant c. When t, we observe that: u = expce at + if c > 0; u = expce at 0 if c < 0; u = if c = 0. Moreover, the theorem assumption requires e 2 ux,t D. Hence u only exists when D and the desired result follows. When a = 0, K = 0, and assume that ux,t is a positive ancient solution to equation.2 such that ux,t = o [r /2 x + t /4] 2 near infinity. Fixing any space-time x 0,t 0 and using 3.0 for u on the set Bx 0,R t 0 R 2,t 0 ], we obtain u + α x 0,t 0 cn u R + o R R for all R 2. Letting R, it follows that ux 0,t 0 = 0. Since x 0,t 0 is arbitrary, we get u is constant in space-time. Theorem.3 in fact implies Corollary.4. Proof of Corollary.4. If positive smooth function ux achieves the weighted log-sobolev constant S M and satisfies M u2 e f dv = V f M, then from the introduction above, ux satisfies elliptic equation.5. Assume that our conclusion is incorrect, that is, 0 < u e 2. Since S M > 0, by Theorem.3 Case i, there does not exist such function u satisfying.5. This is a contradiction. Proof of Corollary 3.. When a = 0, for any space-time point x 0,t 0, using estimate 3.0 for 0 < u D in the set Bx 0,R t 0 R 2,t 0 ], u x 0,t 0 cn + α D u R + R + K for all R 2. Letting R, then ux 0,t 0 cnd K. Since x 0,t 0 is arbitrary, the result follows.

16 6 JIA-YONG WU 4. Proof of Theorem.5 In this section, we will prove Theorem.5. The proof is analogous to Theorem. in [26]. For the readers convenience, we provide a detailed proof. Compared with the previous proof, here we need to carefully deal with an extra nonlinear term. Proof of Theorem.5. We only consider the case a 0. The case a < 0 is similar. Using Lemma 2.2, we calculate that 4. 2g lnd f ψω g ψω 2 ψ µ g ψ ψω ψω t [ 2g lnd 2ψµ gω 2 g ψ ]ω 2 ψ 2 µ g ψ ω + f ψω ψ t ω 2a+n Kψω 2ag µ g ψω. Let x,t be a point where ψω achieves the maximum. We first consider the case x Bx 0,. By Li-Yau [5], without loss of generality we assume that x is not in the cut-locus of M. Then at this point, we have Hence by 4., at x,t, we get f ψω 0, ψω t 0, ψω = ψµ gω 2 { 2g lnd µ g g ψ ω +2 ψ 2 ψ ω fψω +ψ t ω +2a+n Kψω + 2ag µ g ψω }. We will carefully estimate the upper bounds for each term of the right-hand side of 4.2. Similar to arguments of Section 3, we still repeatedly use the Young s inequality. For the first term of right hand side of 4.2, we have 4.3 2g lnd µ g g ψ ω µ gψω 2 lnd g +c R 4. For the second term of the right hand side of 4.2, we get ψ 2 ψ ω 0 ψω2 + c R 4.

17 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION 7 For the third term of the right hand side of 4.2, we have 4.5 f ψω = [ r ψ f r+ 2 r ψ r 2] ω [ r ψα+n KR + 2 rψ ] ω [ 2 rψ + α +n KR r ψ ] ω = ψ /2 ω 2 r ψ ψ /2 + α +n KR ψ/2 ω rψ ψ [ /2 ψω c r ψ α r ψ 2 ] KR r ψ ψ /2 ψ /2 ψ /2 0 ψω2 + c R 4 +cα2 R 2 +ck2, where the f-laplacian comparison was used. Here, since Ric f n K and rx,x 0 in Bx 0,R, we have the f-laplacian comparison see Theorem 3. in [23] f rx α+n KR, where α = max {x dx,x0 =} f rx. For the fourth term of the right hand side of 4.2, we have 4.6 ψ t ω = ψ /2 ω ψ t ψ /2 2 ψ /2 ψt ω +c 0 ψ /2 c 0 ψω2 + τ t 0 +T 2. For the fifth term of the right hand side of 4.2, we have 4.7 2a+n Kψω 0 ψω2 +ca+n K 2. For the sixth term of the right hand side of 4.2, we have 4.8 2ag µ g ψω 0 ψω2 + ca2 g 2 µ g 2. Now at x,t, we substitute to the right hand side of 4.2 and obtain 2ψµ gω 2 ψµ gω 2 lnd g +c R ψω2 2 + c τ t 0 +T 2 + c R 4 +cα2 R 2 +ck2 +ca+n K 2 + ca2 g 2 µ g 2. Recalling that µ g and lnd g µ g 2,

18 8 JIA-YONG WU then 4.9 implies ψω 2 c R 4 + c τ t 0 +T c α2 R 2 +ck2 +ca+n K 2 + ca2 g 2 µ g 2 at space-time x,t. By some basic analysis, we claim that: 4. g 2 µ g 2 κ2, where κ := max{ lnd,}, for all g lnd, where the constant µ := +lnd. To see this, notice that g function 2 has only one critical point g = 0, and it is continuous on µ g 2, ln D] satisfying lim g g 2 µ g 2 = and lim g lnd Hence 4. easily follows. Using 4., inequality 4.0 becomes α ψω x,t c R 2 + where we used R 2. This implies that ψ 2 ω 2 x,t ψω 2 x,t α 2 + c R 2 + g 2 µ g 2 = lnd 2. τ t 0 +T 2 +K2 +a+n K 2 +a 2 κ 2 τ t 0 +T 2 +K2 +a+n K 2 +a 2 κ 2 Since ψx,τ = when dx,x 0 < R/2 by the proposition 2 of Lemma 2.3, from the above estimate, we have ωx,τ = ψωx,τ ψωx,t α + c R + τ t 0 +T +K +a+n K +aκ for all x M such that dx,x 0 < R/2. By the definition of wx,τ and the fact that τ t 0 T,t 0 ] was chosen arbitrarily, we in fact show that g + α µ g x,t c R + t t0 +T + K + aκ+ for all x,t Q R/2,T Bx 0,R/2 [t 0 T,t 0 ] with t t 0 T. Since g = lnu and µ = +lnd, the theorem follows when x Bx 0,. Now we consider the other case: x Bx 0,. In this case, ψ is constant in space direction in Bx 0,R/2 by our assumption, where R 2. So at,.

19 ELLIPTIC GRADIENT ESTIMATES FOR A NONLINEAR HEAT EQUATION 9 x,t, 4.2 yields 2µ gω ψ t 2ag +2a+n K+ ψ µ g C τ t 0 T +2a+n K+2aκ, where we used proposition 3 of Lemma 2.3. Since µ g and ψx,τ = when dx,x 0 < R/2 by the proposition 2 of Lemma 2.3, the above estimate indeed gives ωx,τ = ψωx,τ ψωx,t ωx,t C τ t 0 T +a+n K+aκ for all x M such that dx,x 0 < R/2. By the definition of wx,τ and the fact that τ t 0 T,t 0 ] was chosen arbitrarily, we in fact prove that g µ g x,t C t t0 +T + n K + aκ+ for all x,t Q R/2,T with t t 0 T. So.6 is still true. References. M. Bailesteanua, X.-D. Cao, A. Pulemotov, Gradient estimates for the heat equation under the Ricci flow, J. Funct. Anal , D. Bakry, M. Emery, Diffusion hypercontractivitives, in: Séminaire de Probabilités XIX, Lecture Notes in Math., vol. 23, Springer-Verlag, Berlin, 985, pp K. Brighton, A Liouville-type theorem for smooth metric measure spaces, J. Geom. Anal , E. Calabi, An extension of E. Hopf s maximum principle with an application to Riemannian geometry, Duke Math. J , H.-D. Cao, Recent progress on Ricci solitons, Recent advances in geometric analysis, Adv. Lect. Math. ALM, -38, International Press, Somerville, MA X.-D. Cao, B. Fayyazuddin Ljungberg, B.-W. Liu, Differential Harnack estimates for a nonlinear heat equation, J. Funct. Anal., , S.-Y. Cheng, S.-T. Yau, Differential equations on Riemannian manifolds and their geometric applications, Commun. Pure Appl. Math , F. Chung, S.-T. Yau, Logarithmic Harnack inequalities, Math. Res. Lett , L. Gross, Logarithmic Sobolev inequalities, Amer. J. Math , R. Hamilton, A matrix Harnack estimate for the heat equation, Comm. Anal. Geom. 993, R. Hamilton, The formation of singularities in the Ricci flow, Surveys in Differential Geom , 7-36, International Press. 2. X.-R. Jiang, Hamilton s gradient estimates for a nonlinear parabolic equation on Riemannian manifolds, Proc. AMS, to appear. 3. B. Kotschwar, Hamilton s gradient estimate for the kernel on complete manifolds, Proc. AMS, ,

20 20 JIA-YONG WU 4. J.-Y. Li, Gradient estimates and Harnack inequalities for nonlinear parabolic and nonlinear elliptic equations on Riemannian manifolds, J. Funct. Anal , P. Li, S.-T. Yau, On the parabolic kernel of the Schrodinger operator, Acta Math , X.-D. Li, Liouville theorems for symmetric diffusion operators on complete Riemannian manifolds, J. Math. Pure. Appl , X.-D. Li, Hamilton s Harnack inequality and the W-entropy formula on complete Riemannian manifolds, arxiv: Y. Li, X.-R. Zhu, Harnack estimates for a heat-type equation under the Ricci flow, J. Differential Equations, , J. Lott, Some geometric properties of the Bakry-Émery-Riccitensor, Comment. Math. Helv , L. Ma, Gradient estimates for a simple elliptic equation on complete non-compact Riemannian manifolds, J. Funct. Anal , O. Munteanu, J. Wang, Smooth metric measure spaces with nonnegative curvature, Comm. Anal. Geom. 9 20, P. Souplet, Q S. Zhang, Sharp gradient estimate and Yau s Liouville theorem for the heat equation on noncompact manifolds, Bull. London Math. Soc , G.-F. Wei, W. Wylie, Comparison geometry for the Bakry-Émery Ricci tensor, J. Diff. Geom , J.-Y. Wu, Gradient estimates for a nonlinear diffusion equation on complete manifolds, J. Partial Differential Equations, , J.-Y. Wu, L p -Liouville theorems on complete smooth metric measure spaces, Bull. Sci. Math , J.-Y. Wu, Elliptic gradient estimates for a weighted heat equation and applications, Math. Z., , J.-Y. Wu, P. Wu, Heat kernels on smooth metric measure spaces with nonnegative curvature, Math. Ann., , J.-Y. Wu, P. Wu, Heat kernel on smooth metric measure spaces and applications, to appear in Math. Ann., DOI: 0.007/s Y.-Y. Yang, Gradient estimates for a nonlinear parabolic equation on Riemannian manifolds, Proc. Amer. Math. Soc , S.-T. Yau, Harmonic functions on complete Riemannian manifolds, Commun. Pure Appl. Math , Department of Mathematics, Shanghai Maritime University, 550 Haigang Avenue, Shanghai 20306, P. R. China address: jywu8@yahoo.com