This paper provides sharp Dirichlet heat kernel estimates in inner uniform domains, including bounded inner uniform domains, in the context of certain (possibly non-symmetric) bilinear forms resembling Dirichlet forms. For instance, the results apply
to the Dirichlet heat kernel associated with a uniformly elliptic divergence form operator with symmetric second order part and bounded measurable coefficients in inner uniform domains in $mathbb R^n$. The results are applicable to any convex domain, to the complement of any convex domain, and to more exotic examples such as the interior and exterior of the snowflake.
In the context of a metric measure Dirichlet space satisfying volume doubling and Poincare inequality, we prove the parabolic Harnack inequality for weak solutions of the heat equation associated with local nonsymmetric bilinear forms. In particular,
we show that these weak solutions are locally bounded.
We prove a scale-invariant boundary Harnack principle for inner uni- form domains in metric measure Dirichlet spaces. We assume that the Dirichlet form is symmetric, strongly local, regular, and that the volume doubling property and two-sided sub-Gau
ssian heat kernel bounds are satisfied. We make no assumptions on the pseudo-metric induced by the Dirichlet form, hence the underlying space can be a fractal space.
We prove a scale-invariant boundary Harnack principle in inner uniform domains in the context of local regular Dirichlet spaces. For inner uniform Euclidean domains, our results apply to divergence form operators that are not necessarily symmetric, a
nd complement earlier results by H. Aikawa and A. Ancona.
