1
$\begingroup$

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!

$\endgroup$
1
  • $\begingroup$ I took the liberty of adding some tags from the standard pool. Hope that they are not too inaccurate $\endgroup$
    – Yemon Choi
    Apr 20, 2012 at 5:07

1 Answer 1

6
$\begingroup$

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.

$\endgroup$
3
  • $\begingroup$ 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)$? $\endgroup$
    – mathsnail
    Apr 20, 2012 at 17:55
  • $\begingroup$ 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. $\endgroup$ Apr 20, 2012 at 18:28
  • $\begingroup$ The link in the answer is broken. The book referenced (of his many) is Optimal Transport, Old and New. It is now available here: cedricvillani.org/wp-content/uploads/2012/08/preprint-1.pdf and a more stable page to find it may be here: cedricvillani.org/for-mathematicians/surveys-books $\endgroup$
    – Tim Carson
    Mar 30, 2016 at 17:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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