1: \begin{definition} (see \cite{Grigoryan}, Theorem 9.5.)

2: \label{definition:HeatKernel}

3: The heat kernel of $\Omega$ is defined as the smooth function

4: \begin{align*}

5: K_{\Omega}:\Omega\times\Omega\times (0,\infty)\rightarrow \mathbb{R},\quad (x,y,t)\mapsto K_{\Omega}(x,y;t), 

6: \end{align*}

7: such that for any $y\in\Omega$ the function $K_{\Omega}\left(\cdot, y;\cdot \right)$ is a non-negative solution to \eqref{equation:FundamentalSolution}, and it is \emph{minimal} in the following sense: If $u(x,t)$ is another smooth and non-negative solution to \eqref{equation:FundamentalSolution}, then $u(x,t)\geq K_{\Omega}\left(x, y;  t \right)$ for all $x\in\Omega$, $t>0$.

8: \end{definition}

9: