1: \begin{definition}\cite[Theorem 7.13]{G2009}

2: Suppose $(X,g)$ is a complete Riemannian manifold. The heat kernel $p_t(x,y) \in C^{\infty}(\Rb_{>0} \times X \times X)$ is the unique function satisfying:

3: \begin{enumerate}

4: \item $\frac{\partial}{\partial t} p_t = \Delta_x p_t = \Delta_y p_t$, 

5: \item $p_t(x,y) = p_t(y,x)$ for all $x,y  \in X$, 

6: \item $\lim_{t \searrow 0} p_t(x,y) = \delta_x(y)$ in the sense of distributions.

7: \end{enumerate}

8: \end{definition}

9: