Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

we know the sobolev embedding theorem of Saloff-Coste

$\Big(\int_B|F|^{2q}d\mu\Big)^{\frac1q}\le e^{C(1+\sqrt KR)}V^{-2/n}R^2\int_B\Big(|\nabla F|^2+R^{-2}F^2\Big)d\mu $

wtih $Ric\ge-(n-1)K$, for all '$B$' of radius $R$ and volume $V$, $F\in C^{\infty}_0(B)$, $q=n/(n-2)$.

My question is whether this inequality was established in the smooth metric measure space,i.e. $(M,g,e^{-f}d\mu)$ with Bakry-Emery Ricci curvature bouneded below $Ric_f=Ric+Hess f\ge-(n-1)K$?

Thank you!

share|improve this question
I took the liberty of adding some tags from the standard pool. Hope that they are not too inaccurate –  Yemon Choi Apr 20 '12 at 5:07

1 Answer 1

The Sobolev-inequality holds for general metric measure spaces satisfying CD(K,n), in particular for your smooth ones.

See e.g. Theorem 21.15 in Villani's book http://math.univ-lyon1.fr/~villani/Cedrif/B07D.StFlour.pdf

Also note that the $L^2$-version of the Sobolev-inequality follows from the $L^1$-version by inserting a suitable power of the function and using Hölder.

share|improve this answer
Thank you for your answer. Can we also obtain the explicit constant on the right hand side the same as Riemannian case? The original proof of Saloff-Coste is based on the heat semigroup. the inequality still holds for $CD(K,\infty)$? –  mathsnail Apr 20 '12 at 17:55
1) I don't know the explicit constant, but I think you should be able to extract a good estimate for it from Villani's proof. 2) see chapter 25 of Villani's book for heat flow proofs of (related) functional inequalities. 3) With CD(K,$\infty$) you get a logarithmic Sobolev inequality. –  Robert Haslhofer Apr 20 '12 at 18:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.