arxiv: v2 [math.dg] 25 May 2017

Transcription

1 arxiv:60.06v math.dg] 5 May 07 Hamilton-Souplet-Zhang type gradient estimates for porous medium type equations on Riemannian manifolds WEN WANG, HUI ZHOU, Abstract. In this paper, by employ the cutoff function and the maximum principle, some Hamilton-Souplet-Zhang type gradient estimates for porous medium type equation are deduced. As a special case, an Hamilton-Souplet- Zhang type gradient estimates of the heat equation is derived hich is different from the result of Souplet-Zhang. Furthermore, our results generalize those of Zhu. As application, some Livillous theorems for ancient solution are derived.. Introduction and Main results In the paper, let M n,g be an n-dimensional complete Riemannian manifold. We consider the porous medium type equations u t = u m +λx,tu l,m >. on M n,g, here l and m are to real numbers, and λx,t 0 is defined on M n 0, hich is C in the first variable and C in the second variable. he famous porous medium equations PME for short u t = u m,m >. are of great interest because of important in mathematics, physics, and applications in many other fields. For m = it is the famous heat equation. As m >, it is called the porous medium equation, and it has arisen in different applications to model diffusive phenomena, such as, groundater infiltration Boussinesq s model, 903, ith m =, flo of gas in porous media Leibenzon-Muskat model, m, heat radiation in plasmas m > 4, liquid thin films moving under gravity m = 4, and others. We can read a ork by Cázqucz 9] for basic theory and various applications of the porous medium equation in the Euclidean space. In the case m <, it is said to be the fast diffusion equation. In 979, Aronson and Bénilan ] obtained a famous second order differential inequality i x i m u mu κ x i t, κ = n n+,.3 for all positive solutions of. on the Euclidean space R n ith m > n. 00 Mathematics Subject Classification. 58J35, 35K05, 53C. Key ords and phrases. Gradient estimate, Porous medium equation, Liouville theorem..school of Mathematics and Statistics, Hefei Normal University, Hefei 3060, P. R. China..School of mathematical Science, University of Science and echnology of China, Hefei 3006, China. Corresponding author: Wen Wang, en04@mail.ustc.edu.cn. his ork as supported by the Universities Natural Science Foundation of Anhui Province KJ06A30;07 Anhui Province outstanding young talent support projectgxyq07048.

2 W. WANG Generalized research on PME. also attracted many researchers interest. In 993, Hui 7] considered the asymptotic behaviour for solutions to equation u t = u m u p.4 as l. In 994, Zhao and Yuan 3] proved the uniqueness of the solutions to equation.4 ith initial datum a measure. In 997, Kaanago] demonstrated existence and behaviour for solutions to equation u t = u m +u l..5 In 00, E. Chasseigne 4] investigated the initial trace for the equation.4 in a cylinder Ω 0,], here Ω is a regular, bounded open subset of R n and > 0, m >, and q are constants. Recently, Xie, Zheng and Zhou ] studied global existence for equation u t = u m u px.6 in Ω 0,, here px > 0 is continuous function satisfying 0 < p = infpx px p + = suppx <. Recently, regularity estimates of PME. on manifolds are investigated. In 009, Lu, Ni, Vázquez and Villani 4] studied the PME on an n-dimensional complete manifold M n,g, they obtained a local Aronson-Bénilan estimate. Huang, Huang and Li in 8] improved the part results of Lu, Ni, Vázquez and Villani. In this article, e ill study Hamilton-Souplet-Zhang type gradient estimates to equation.. Let First recall some knon results. heorem A Hamilton 6]. Let M n,g be a closed Riemannian manifold ith RicciM k for some k 0. Suppose that u is arbitrary positive solution to the heat equation and u M. hen u x,t u x,t u t = u.7 C t +k M log ux,t..8 In 006, Souplet and Zhang 8] generalized Hamilton s result, and obtained the corresponding gradient estimate and Liouville theorem. heorem B Souplet-Zhang 8]. Let M n,g be a Riemannian manifolds ith n and RicciM k for some k 0. Suppose that u is arbitrary positive solution to the heat equation.7 in Q R, Bx 0,R t 0,t 0 ] M n, and u M in Q R,. hen ux, t ux, t C R + + k +log M ux, t.9 in Q R,, here C is a dimensional constant. In 03, Zhu 6] deduced a Hamilton s gradient estimate and Liouville theorem for PME. on noncompact Riemannian manifolds. Huang, Xu and Zeng in 9] improve the result of Zhu. heorem C Zhu 6]. Let M n,g be a Riemannian manifolds ith n and RicciM k for some k 0. Suppose that u is arbitrary positive solution to the

3 GRADIEN ESIMAES AND LIOUVILLE HEOREM 3 PME. in Q R, Bx 0,R t 0,t 0 ] M n,. Let v = m u and v M. hen for < m < + n+ v m 4 m + CM 4 R + + k..0 Recently, Cao and Zhu 3] obtained some Aronson and Bénilan estimates for PME. under Ricci flo. Our results of this paper are encouraged by the ork in Ref. 0,, 4, 5, 6, 7, 8,?,, 6]. We consider the porous medium type equation., and deduce some Hamilton-Souplet-Zhang type gradient estimates. Our main results state as follos. heorem.. Let M n,g be ariemannian manifold ith dimensional n. Suppose that RicM n k ith k 0. If ux,t is a positive solution of the equation. in Q R, := B x0 R t 0,t 0 ] M n,. Let v = m u and v M. Also suppose that there exist to positive numbers δ and ǫ such that λx,t δ and λ ǫ λ. hen for < m < + n x,t Cγ M β and l m, +C 3 δ M m+l +ǫ R + k + 3m+l 4 M 4. in Q R, here β =,, γ = 8 n, C 3 = C 3 m,n,l and C is a constant. When λx,t = 0, e get the folloing: Corollary.. Let M n,g be a Riemannian manifold ith dimensional n. Suppose that RicM n k ith k 0. If ux,t is a positive solution of the PME. in Q R, := B x0 R t 0,t 0 ] M n,. Let v = m and v M. hen for < m < + n x,t Cγ M β in Q R, here β =,, γ = 8 n R + k + and C is a constant. u. ake λx,t = 0 and m ց in Corollary., the folloing estimate is derived. Corollary.. Let M n,g be a Riemannian manifold of dimensional n. Suppose that RicM n k ith k 0. If ux,t is a positive solution of the heat equation u t = u, in Q R, := B x0 R t 0,t 0 ] M n,. hen e have for u M u x,t C u R + k +.3 in Q R, here C is a constant.,

4 4 W. WANG heorem.. Let M n,g be ariemannian manifold ith dimensional n. Suppose that RicM n k ith k 0. If ux,t is a positive solution of the equation. in Q R, := B x0 R t 0,t 0 ] M n,. Let v = m u and v M. Also suppose that there exist a positive number ǫ such that λ ǫ λ. hen for < m < + n and 3m l 3 m, x,t Cγ M β R + k + +C 3 ǫ 3m+l 4 M 4.4 in Q R, here β =,, γ = 8 n, C 3 = C 3 m,n,l and C is a constant. Remark: a Since + n > + n+, so the result of Corollary. in the paper generalize those of Zhu in 6]. b When λx,t = 0, the result of Corollary. in the paper is the result of Huang, Xie and Zeng in 9]. c.3 is different from Souplet-Zhang s result in 8]. Moreover, our results in form seem to be simpler than Souplet-Zhang s result. In this section, e derive a lemma.. Preliminary Lemma.. ] Let A = a ij be a nonzero n n symmetric matrix ith eigenvalues λ k, for any a,b R, then aa+btrain max v,v] = a+b +n b. A Sn; v = A Lemma.. Let < m < + n and θ = n 4 > 0. hen e have v t θ kv m v Proof. Let v = m u, then Let =, then t ] +λ β m+l λ + λ λ v t = v v + +λ m = v iv it = β v i v t + v i v v + +λ m vi β v v + +λ m +.. v + l.. ] l + v i ] l + v

5 GRADIEN ESIMAES AND LIOUVILLE HEOREM 5 = v i v jj + v iv jji +4v iv ij v j l +λ m+l m v v i + β v i v jj β v i v j λβ vβ+ v λ vi vβ,.3 j = v iv ij β v i v j,.4 jj = v ij + v iv ijj By.4 and.5 4β v iv ij v j + β v i v jj + +ββ +v i v j vβ+..5 v t = v ij +v iv ijj v iv jji 4βv iv ij v j +ββ + v i v j + v i v jj 4 v iv ij v j +β v i v j + λm+l vi v λ +λβ vi = v ij +R ijv i v j 4+β] v iv ij v j +β β ++ ]vi vj λm+l vβ+ v λ +λβ Since Adding ε.7 to.6, v t v = v iv ij v j v i v jj v i v i vβ,.6 β v i v j vβ+..7 = v ij +R ijv i v j + ε 4+β ] v i v ij v j v i v jj +β β ++ ε ]vi vj ε v vβ+ λm+l vi v λ +λβ vi

6 6 W. WANG = A +R ijv + ε 4+β ] Ae,e A A tra A A +β β ++ ε ] ε v λm+l +λβ v λ = A + { ε 4+β] ] Ae,e A tra } A A +R ij v +β β ++ ε ] ε v ] +λ β m+l { A = + ε 4+β] 8 4 ε 4+βn ] Ae,e A ] +λ β m+l v λ Ae,e tra ] A A ] tra A +R ij v +β β ++ ε ] ε v Ae,e ε 4+β] tra 8 A A v λ ] +R ij v +β β ++ ε ] ε v ] +λ β m+l v λ, here A ij = v ij and e = v/. By applying Lemma. ith a = ε 4+ βn and b =, v t { ε 4 +β ] ] +4 n } 8 +R ij v +β β ++ ε ] ε v ] +λ β m+l v λ = 8 fβ,ε +R ij v ε v ] +λ β m+l v λ,.8 }

7 GRADIEN ESIMAES AND LIOUVILLE HEOREM 7 here fβ,ε = ε 4 +β ] ] +4 n 8β β ++ ε ]..9 For the purpose of shoing that the coefficient of is positive, e minimize the function fβ,ε by letting ε = m and β =, such that hen.8 becomes fβ,ε = 4 n 4. v t n kv m v 4 ] +λ β m+l λ =θ kv m v ] +λ β m+l λ + λ λ,.0 here θ = n 4 > 0 as < m < + n, and in the last inequality e utilize the fact that λ λ + λ λ. 3. Proof of main results From here, e ill utilize the ell-knon cut-off function of Li and Yau to derive the desire bounds. Proof of heorem.. Assume that a function Ψ = Ψx,t is a smooth cutoff function supported in Q R,, satisfying the folloing properties, Ψ = Ψdx,x 0,t ψr,t; Ψr,t = in Q R/,/, 0 Ψ. Ψ is decreasing as a radial function in the spatial variables. 3 r Ψ /Ψ a C a /R, rψ /Ψ a C a /R hen 0 < a <. 4 t Ψ /Ψ / C/. Assume that the maximum of Ψ is arrived at point x,t. By 3], e can suppose,ithoutlossofgenerality,thatx isnotonthecut-locusofm n. herefore, at x,t, it yields Ψ 0, Ψ t 0 and Ψ = 0. Hence, by. and a straightforard calculation, it yields that ] 0 v t Ψ

8 8 W. WANG =Ψ v t ] +v Ψ Ψt + v Ψ Ψ Ψ v Ψ Ψ =Ψθ Ψkv p Ψ v +m v Ψ ] +Ψλ β m+l Ψ λ + λ λ +v Ψ Ψ t + v Ψ Ψ Ψ v Ψ Ψ. 3. hen 3. becomes at the point x,t Ψθ Ψkv m v Ψ v Ψ+v Ψ Ψ ] +Ψ t Ψλ β m+l +Ψ λ+ λ λ No setting θ = γ and γ = 8 n, then 3. gives. 3. Ψ γ Ψkv β γv β m v Ψ γv β Ψ + γv β Ψ Ψ +γψ tv β ] γψλ β m+l + γψ λ λ v β v β vβ. 3.3 No, e need to search for an upper bound for each term on the right-hand side of 3.3. After a siample calculation, it is not diffucult to find the folloing estimates. γ Ψkv β 4 Ψ +Cγ 4 M 4 β k, 3.4 γv β m v Ψ 4 Ψ +Cγ 4 M 4 β R4, 3.5 γv β Ψ 4 Ψ +Cγ 4 M 4 β R 4 + k R, 3.6 γv β Ψ Ψ 4 Ψ +Cγ 4 M 4 β R4, 3.7 γψ t v β 4 Ψ +Cγ 4 M 4 β, 3.8 here C is a constant and e used the fact that 0 < v M, β = < 0.

9 GRADIEN ESIMAES AND LIOUVILLE HEOREM 9 Applying 0 < v M, β = < 0 and m > e no give estimates for the last to items of 3.3. ] γψλ β + m+l v β 4 Ψ +C δ M m+l, 3.9 here C = C m,n,l, and inequality holds for l m. γψ λ v β λ C ǫm 3m+l. 3.0 here C = C m,n,l, and inequality is valid for l 3m. Hence, both 3.9 and 3.0 hold for l m. Substituting into 3.3, e have for l m and C 3 = C 3 m,n,l Ψ 3 Ψ +Cγ 4 M 4 β R 4 +k + +C 3 δ M m+l +ǫm 3m+l, 3. hich gives at the point x,t Ψ Cγ 4 M 4 β R 4 +k + +C 3 δ M m+l Hnece, for all the point x,t Q R,, +ǫm 3m+l. 3. Ψ x,t Ψ x,t Ψ x,t Cγ 4 M 4 β R 4 +k + +C 3 δ M m+l +ǫm 3m+l. 3.3 Notice that Ψ = in Q R/,/ and =. herefore, e have for l m, x,t Cγ M β R + k + +C 3 δ M m+l +ǫ 3m+l 4 M 4 Proof of Corollary.. By taking λx,t = 0 in., e deduce that x,t Cγ M β R + k Applying v = m u to 3.4, e obtain m m u u 3 mx,t Cγ M ] + R + k

10 0 W. WANG Since v = mu, e have v as m ց. herefore, e follo M as m ց. A sample computation yields ] ] lim M 4 = lim +M M M = e, m + m + Hence as m ց, 3.5 becomes here C = Cn. ] ] lim m = lim + = e, m + m + lim m + γ = lim m + 8 n = 8. u x,t C u R + k +, Proof of heorem.. Since β = < 0 and m >, then β m m+l 0 for l 3 m. Hence, 3.3 becomes Ψ γ Ψkv β γv β p v Ψ γv β Ψ + γv β Ψ Ψ +γψ tv β + γψ λ v β λ vβ. 3.6 A discussion of similar heorem. from , 3.0 and 3.6, e have for 3m l 3 m and C 3 = C 3 m,n,l x,t Cγ M β R + k + +C 3 ǫ 3m+l 4 M Applications In this section, e ill deduce some related Liouville type theorems. Applying Corollary., it follos the folloing Liouville type theorem. heorem 4. Liouville type theorem. Let M n,g be a complete, non-compact Riemannian manifold ith nonnegative Ricci curvature. Suppose that u is a positive ancient solution of the equation. such that vx,t = odx+, here v = m u. hen u is a constant. By utilize Corollary., the related Liouville type theorem is derived, as follos. heorem 4. Liouville type theorem. Let M n,g be a complete, non-compact Riemannian manifold ith nonnegative Ricci curvature. Suppose that u is a positive ancient solution of the heat equation.7 such that ux,t = odx+. hen u is a constant. he proof of heorem 4. and heorem 4. are the same. So e only prove heorem 4..

11 GRADIEN ESIMAES AND LIOUVILLE HEOREM Proof of heorem 4.. Fix x 0,t 0 in space time. Assume that ux,t is a positive ancient solution to PME. such that vx,t = odx + near infity. Applying. to u on the cube Bx 0,R t 0 R,t 0 ], then e have vx 0,t 0 vx0,t 0 C R or. Let R, e get vx 0,t 0 = 0. herefore, the result are derived. 5. Acknoledgement We are grateful to Professor Jiayu Li for his encouragement. We also thank Professor Qi S Zhang for introduction of this problem in the summer course. References ] D. G. Aronson, P. Bénilan, Régularité des I équatiomilieux poreux dans R n. C. R. Acad. Sci. Paris. Sér. A-B , A03-A05. MR i:35090 ] S. Asserda, A Liouville theorem forthe Schrodinger operator ith drift. C. R. Acad. Sci. Paris, Ser. I, 34, ] H. Cao, M. Zhu, Aronson-Bénilan estimates for the porous medium equation under the Ricci flo, Journal De Mathmatiques Pures Et Appliqus, 044:90-94, 05 4] E. Chasseigne, Initial trace for a porous medium equation: I. he strong absorption case, Annali Di Matematica Pura Ed Applicata, 79:43-458,, 00 5] B. Gidas, J. Spruck, Global andlocal behavior of positive solutions of nonlinear elliptic equations. Comm.Pure Appl. Math.,34, ] R. S. Hamilton, A matrix Harnack estimates for the teat equation, Comm. Anal. Geom.,, 3-6, 993 7] K. M. Hui, Asymptotic behaviour of solutions of u t = u m u p as l, Nonlinear Anal., 3: 9-95, 993 8] G. Huang, Z. Huang, H. Li, Gradient estimates for the porous medium equations on Riemannian manifolds, Journal of Geometric Analysis, 34:85-875, 0 9] G. Huang, R. Xie, F. Zeng, Hamilton s gradient estimates and liouville theorems for the porous medium equations, J. Inequal. Appl., 06, 37, 06 0] X. R. Jiang, Gradient estimate for a nonlinear heat equation on Riemannian manifolds, Procrrding of the American Math. Soc. 44 8: 3635C ]. Kaanago, Existence and behaviour of solutions for u t = u m +u l. Adv Math Sci Appl, 7 : , 997. ] J. Li, Gradient estimates and Harnack inequalities for nonlinear parabolic and nonlinear elliptic equationson Riemannian manifolds. J. Funct. Anal.,00, ] P. Li, S.. Yau, On the parabolic kernel of the Schröinger operator, Acta Math., 56: 53-0, ] P. Lu, L. Ni, J. Vázquez, C. Cillani, Local Aronson-Bénilan estimates and entropy formulae for porous nedium and fast diffusion equations on manifolds, J. Math. Pures Appl. 9: -9, 009 MR834687f:5856 5] L. Ma, L. Zhao, X. F. Song, Gradient estimate for the degenerate parabolic equation u t = Fu + Hu on manifolds, J. Differential Equations, 4: 57-77, 008 6] A. Melas, A Liouville type theorem for the Schrödinger operator. Proc. Amer. Math. Soc.,7, , 999 7] E. Negrin, Gradient estimates and a Liouville type theorem for the Schrödinger operator. J. Funct. Anal.,7, 98-03, 995 8] P. Souplet and Qi S. Zhang, Sharp gradient estimate and Yau s Liouville theorem for the heat equation on noncompact manifolds, Bull. London Math. Soc. 38: , 006 9] J. L. Vázquez, he porous medium equation, in: oxford mathematical monographs, he c;arendon Press, Oxford univ. Press, ] W. Wang, Complement of Gradient Estimates and Liouville heorems for Nonlinear Parabolic Equations on noncompact Riemannian Manifolds, Mathematical Methods in the Applied Sciences, 40 6: , 07

12 W. WANG ] X.J. Xu, Gradient estimates for u t = Fu on manifolds and some Liouville-type theorems. J. Differ. Equ. 5, ] Y. Xie, Z. Zheng, S. Zhou, Blo-up of porous medium equations ith variable source poer. Scientia Sinica Mathematica, 463: 65-84, 06 3] Y. Yang, Gradient estimates for the equation u+cu α = 0 on Riemannian manifolds. Acta. Math. Sin. 6B, 77C8, 00 4] J. Zhao and H. Yuan, Uniqueness of the solutions of u t = u m and u t = u m u p ith initial datum a measure: the fast diffusion case, Journal of PDE, 7 : 43-59, 994 5] X. B. Zhu, Gradient estimates and Liouville theorems for nonlinear parabolic equations on noncompact Riemannian manifolds, Nonlinear Analysis, 74: ,0 6] X. B. Zhu, Hamilton s gradient estimates and liouville theorems for porous medium equations on noncompact Riemannnian manifolds, J. Math. Anal. Appl. 40: 0-06, 03 W. Wang. School of Mathematics and Statistics, Hefei Normal University, Hefei 3060,P.R.China;. School of mathematical Science, University of Science and echnology of China, Hefei 3006, China address: en04@mail.ustc.edu.cn