MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(M,g^{TM})$ a Riemannian manifold of dimension $n$ and $\Delta$ the Laplace–Beltrami operator. I would like to find a reference (analytic or probabilistic) for the following classic result.

If $p_t(x,y)$ is the kernel of the semigroup $e^{t\Delta}$, then there exist $C,c>0$, such that $$p_{t}(x,y)\leq \frac{C}{t^{n/2}}e^{-cd(x,y)^2/t}.$$

share|cite|improve this question
I don't have a copy so I don't know if it's in there, but one place I'd look is "Aspects of Sobolev-Type Inequalities" by Saloff-Coste. – Mark Meckes Feb 14 '12 at 15:05
Do you want the inequality to hold for every $0 < t$? That won't necessarily be the case for large $t$ without further hypothesis. – Adrian Gonzalez-Perez Jul 15 '15 at 18:05
up vote 2 down vote accepted

A probabilistic proof is given in the book: "Stochastic Analysis on Manifolds" by E. Hsu. See Theorem 5.3.4, which also gives the lower bound.

share|cite|improve this answer
It's worth noting that this proof is for compact Riemannian manifolds. – Nate Eldredge Feb 15 '12 at 22:18

I'm pretty sure this can be found in Davies, Heat kernels and spectral theory. I'll check when I get to my office in an hour or so.

share|cite|improve this answer
Thank you!I find it also in Davies's book. – shu Feb 15 '12 at 7:48

You may also be interested in the following paper of Grigoryan, Gaussian upper bounds for the heat kernel on arbitrary manifolds, which establishes the desired Gaussian bounds whenever one can show that there exists $C>0$ such that for all $x\in M$ and $t>0$, $p_t(x,x) \leq Ct^{-n/2}$. The latter estimate may be obtained via a Sobolev inequality or a Nash inequality or through other means (and I'm sure it's discussed in the Davies and Saloff-Coste books already mentioned). This paper also establishes Gaussian upper bounds even when the function appearing in the 'on-diagonal bound' is not of the form $t^{-n/2}$, or if one only has control of $p_t(x,x)$ at two points $x_1$ and $x_2$.

share|cite|improve this answer
Thank you, mfolz. It is a very interesting paper. – shu Feb 16 '12 at 10:17

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.